要約:
We show that the (2-)category of categorical representations of the loop group embeds fully faithfully into the (2-)category of factorization module categories with respect to the affine Grassmannian.
要約:
We introduce the AdditiveToricVarieties package for Macaulay2, a software system for algebraic geometry and commutative algebra, with methods for working with additive group actions on complete toric varieties. More precisely, we implement algorithms, based on results by Arzhantsev, Dzhunusov and Romaskevich, to determine whether a complete toric variety admits an action of the commutative unipotent group and whether it is unique or not. We also observe that every smooth complete toric variety of Picard rank two is additive. We apply our methods to the class of smooth Fano toric varieties and notably determine all such varieties of dimension up to 6 admitting an additive action.
要約:
Using Saito's theory of mixed Hodge modules, we study a generalization of Hellus-Schenzel's "cohomologically complete intersection" property. This property is equivalent to perversity of the shifted constant sheaf. We relate the generalized version to the Hodge filtration on local cohomology, depth of Du Bois complexes, Hodge-Lyubeznik numbers and prove a striking inequality on the codimension of the non-perverse locus of the shifted constant sheaf.
We study the case of cones over projective rational homology manifolds. We study when such varieties satisfy the weakened condition mentioned above as well as the partial Poincar\'{e} duality. To do this, we completely describe their higher local cohomology modules in terms of the Hodge theory of the corresponding projective variety. We apply this to the study of Hodge-Lyubeznik numbers and the intersection cohomology.
要約:
In this paper, we establish a real closed analogue of Bertini's theorem. Let $R$ be a real closed field and $X$ a formally real integral algebraic variety over $R$. We show that if the zero locus of a nonzero global section $s$ of an invertible sheaf on $X$ has a formally real generic point, then $s$ does not change sign on $X$, and vice versa under certain conditions. As a consequence, we demonstrate that there exists a nonempty open subset of hypersurface sections preserving formal reality and integrality for quasi-projective varieties of dimension $\geq 2$ under these conditions.
要約:
Ardila and Brugall\'e conjectured that double tropical Welschinger invariants of Hirzebruch surfaces are piecewise quasipolynomial. In this work, we prove the conjecture holds in full generality, i.e. for toric surfaces corresponding to h-transverse polygons. Furthermore, we define new combinatorial Welschinger-type numbers for h-transverse polygons and show that they are likewise piecewise quasipolynomial.
要約:
In this article, first we give two formulae for the delta invariant of a complex curve singularity that can be embedded as a ${\mathbb Q}$-Cartier divisor in a normal surface singularity with rational homology sphere link. Next, we consider representable numerical semigroups, they are semigroups associated with normal weighted homogeneous surface singularities with rational homology sphere links (via the degrees of the homogeneous functions). We then prove that such a semigroup can be interpreted as the value semigroup of a generic orbit (as a curve singularity) given by the $\mathbb{C}^*$-action on the weighted homogeneous germ. Furthermore, we use the delta invariant formula to derive a combinatorially computable formula for the genus of representable semigroups. Finally, we characterize topologically those representable semigroups which are symmetric.
要約:
In the authors book, Associative Algebraic Geometry, 2023, and the following article Shemes of Associative Algebras,\\ https://doi.org/10.48550/arXiv.2410.17703,2024, we use an algebraization of the semi-local formal moduli of simple modules to construct associative schemes. Here, we consider a commutative ring for which we can use the localization in maximal ideals as local moduli. This gives a categorical definition of schemes that is equivalent to the definition in Hartshorne's book, Algebraic Geometry, 1977. The definition includes a construction of the sheaf associated to a presheaf using projective limits, and this makes the basic results in scheme theory more natural.
要約:
We investigate the Hilbert scheme of points on curves with n-fold singularities, that is curves that look locally around their singular points as the axis in an affine space. We describe the structure and number of its irreducible components, and provide a detailed analysis of their singularities, revealing rich combinatorial patterns governing its geometry.
要約:
We study the cohomology groups of tautological bundles on Quot schemes over the projective line, which parametrize rank $r$ quotients of a vector bundle $V$ on $\mathbb{P}^1$. Our main result is an analogue of the Borel--Weil--Bott theorem for Quot schemes. As a corollary, we prove recent conjectures of Marian, Oprea, and Sam on the exterior and symmetric powers of tautological bundles.
要約:
We decategorify the Heisenberg 2-category of Gyenge-Koppensteiner-Logvinenko using Hochschild homology. We use this to generalise the Heisenberg algebra action of Grojnowski and Nakajima to all smooth and proper noncommutative varieties in the noncommutative geometry setting proposed by Kontsevich and Soibelman. For ordinary commutative varieties, we compute the resulting action on Chen-Ruan orbifold cohomology. As tools, we prove results about Heisenberg algebras of a graded vector space which might be of independent interest.
要約:
In this paper, we generalize Ahlfors' lemma on logarithmic derivative to holomorphic tangent curves of directed projective manifolds intersecting closed subschemes. As a consequence, we obtain Algebro-Geometric Ahlfors' Lemma on Logarithmic Derivative (AALD for short) and General form of Algebro-Geometric Version of Ahlfors' Lemma on Logarithmic Derivative (GAALD for short) for holomorphic tangent curves of directed projective manifolds. We also get a transform of AALD and GAALD with respect to a linear system. Finally, we get the Second Main Theorem type results for holomorphic curves as the applications of GAALD and its transform.
要約:
We prove a conjecture by Belmans, Fu and Krug concerning the Hochschild homology of the symmetric powers of a small dg category $\mathscr{C}$. More precisely, we show that these groups decompose into pieces that only depend on the Hochschild homology of the dg category $\mathscr{C}$.
要約:
Applications of algebraic geometry have sparked much recent work on algebraic matroids. An algebraic matroid encodes algebraic dependencies among coordinate functions on a variety.
We study the behavior of algebraic matroids under joins and secants of varieties. Motivated by Terracini's lemma, we introduce the notion of a Terracini union of matroids, which captures when the algebraic matroid of a join coincides with the matroid union of the algebraic matroids of its summands. We illustrate applications of our results with a discussion of the implications for toric surfaces and threefolds.
要約:
Efficient algorithms for convex optimization, such as the ellipsoid method, require an a priori bound on the radius of a ball around the origin guaranteed to contain an optimal solution if one exists. For linear and convex quadratic programming, such solution bounds follow from classical characterizations of optimal solutions by systems of linear equations. For other programs, e.g., semidefinite ones, examples due to Khachiyan show that optimal solutions may require huge coefficients with an exponential number of bits, even if we allow approximations. Correspondingly, semidefinite programming is not even known to be in NP. The unconstrained minimization of convex polynomials of degree four and higher has remained a fundamental open problem between these two extremes: its optimal solutions do not admit a linear characterization and, at the same time, Khachiyan-type examples do not apply. We resolve this problem by developing new techniques to prove solution bounds when no linear characterizations are available. Even for programs minimizing a convex polynomial (of arbitrary degree) over a polyhedron, we prove that the existence of an optimal solution implies that an approximately optimal one with polynomial bit length also exists. These solution bounds, combined with the ellipsoid method, yield the first polynomial-time algorithm for convex polynomial programming, settling a question posed by Nesterov (Math. Program., 2019). Before, no polynomial-time algorithm was known even for unconstrained minimization of a convex polynomial of degree four.
要約:
Consider a bounded prism $(A,I)$ and a bounded quasi-l.c.i algebra $R$ over $\overline{A}$. In this paper, for any prism $S/A$ with a surjection $S\to R$ such that $\widehat{\mathbb L}_{\overline{S}/\overline{A}}$ is a $p$-completely flat module over $\overline{S}$, we establish an equivalence of categories between rational Hodge-Tate crystals on $(R/A)_{\Delta}$ and topologically nilpotent integrable connections on the Hodge--Tate cohomology ring $\overline{\Delta}_{R/S}$. As an application, for a non-zero divisor $a\in \overline{A}$, we introduce the concept of $a$-smallness for a rational Hodge-Tate prismatic crystal on $(R/A)_{\Delta}$. Finally, we focus on some special algebras $R$ over $\mathcal O_{\mathbb C_p}$ (or generally, the ring of integers of an algebraic closed and complete non-archimedean field) including all $p$-completely smooth algebras, $p$-complete algebras with semi-stable reductions and geometric valuation rings. By using our equivalence, we analyze the restriction functor from the category of $a$-small rational Hodge-Tate prismatic crystals to the category of $v$-vector bundles. This yields some new results in $p$-adic non-abelian Hodge Theory.
要約:
For every $d\geq 2$, we construct a subset $D\subseteq \{1,2,\dots,n\}^d$ of size $n-o(n)$ such that every affine hyperplane of $\mathbb{R}^d$ intersects $D$ in at most $d$ points, and every hypersphere of $\mathbb{R}^n$ intersects $D$ in at most $d+1$ points. This construction is the largest one currently known, and strongly builds on ideas of Dong, Xu, and also of Thiele. More generally, we prove that the role of hyperspheres can be replaced by $Q$-quadrics, i.e. by quadratic surfaces given by an equation whose degree two homogeneous part equals a fixed quadratic form $Q$. We formulate analogous statements in affine spaces over (finite) fields. Essentially, every construction is given by a suitable rational normal curve in a $d$-dimensional projective space.
要約:
In a previous paper, the orbifold Bogomolov-Gieseker inequality is proved for a stable reflexive sheaf on a compact K\"ahler variety with klt singularities. In this paper, we give a characterization on the stable reflexive sheaf when the Bogomolov-Gieseker equality holds.
要約:
We prove that if $X$ is a compact complex analytic variety, which has quotient singularities in codimension 2, then there is a projective bimeromorphic morphism $f\colon Y\to X$, such that $Y$ has quotient singularities, and that the indeterminacy locus of $f^{-1}$ has codimension at least 3 in $X$. As an application, we deduce the Bogomolov-Gieseker inequality on orbifold Chern classes for stable reflexive coherent sheaves on compact K\"ahler varieties which have quotient singularities in codimension 2.
要約:
In this paper we develop the generalised Schur theory offered in the recent paper by the second author in dimension one case, and apply it to obtain a new explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups.
This parametrisation is obtained with the help of normal forms - a notion we introduce in this paper. Namely, considering the ring of ordinary differential operators $D_1=K[[x]][\partial ]$ as a subring of a certain complete non-commutative ring $\hat{D}_1^{sym}$, the normal forms of differential operators mentioned here are obtained after conjugation by some invertible operator ("Schur operator"), calculated using one of the operators in a ring. Normal forms of commuting operators are polynomials with constant coefficients in the differentiation, integration and shift operators, which have a restricted finite order in each variable, and can be effectively calculated for any given commuting operators.
要約:
We define the type of a plane curve as the initial degree of the corresponding Bourbaki ideal. Then we show that this invariant behaves well with respect to the union of curves. Curves of type $0$ are precisely the free curves, while curves of type $1$ are the plus-one generated curves. In this paper, we first show that line arrangements and conic-line arrangements can exhibit all the theoretically possible types. In the second part, we study the properties of the curves of type $2$ and construct families of line arrangements and conic-line arrangements of this type.
要約:
In this paper, we prove that for a threefold of Fano type $X$ and a movable $\mathbb{Q}$-Cartier Weil divisor $D$ on $X$, the number of smooth varieties that arise during the running of a $D$-MMP is bounded by $1 + h^1(X, 2D)$. Additionally, we prove a partial converse to the Kodaira vanishing theorem for a movable divisor on a threefold of Fano type.
要約:
By extending methods of Favale-Pirola arXiv:2108.02157 and Gonz\'alez-Alonso-Torelli arXiv:2402.15158 to toric surfaces via toric Jacobian ring, we are able to show there exists trigonal curve with trigonal deformation of rank $g$ for $g=5,7,9,11,13,15$ by giving an explicit example. Also, we give a computable criterion to determine whether a nondegenerate ample section of toric surface has first order deformation of rank $g$ within the linear system.
要約:
In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action and the geometry of its fixed locus. We take a different perspective, that of non-abelian localization: a localization theorem relates the geometry of an algebraic stack that is equipped with a $\Theta$-stratification to the geometry of the centers of this stratification. We establish a ``virtual'' $K$-theoretic non-abelian localization formula, meaning it applies to algebraic derived stacks with perfect cotangent complexes. We also establish a categorical upgrade of this theorem, by introducing a category of ``highest weight $K$-homology cycles'' with respect to the stratification, and relating the category of highest weight cycles on the stack to those on the centers of its $\Theta$-stratification. We apply these results to prove a universal wall-crossing formula, and establish a new finiteness theorem for the cohomology of tautological complexes on the stack of one-dimensional sheaves on an algebraic surface.
要約:
We describe a novel method for computing sheaf cohomology over weighted projective spaces and stacks using exterior algebra and differential module techniques, generalizing an algorithm due to Eisenbud-Fl\o ystad-Schreyer over projective space.
要約:
The theory of rational motives admits several models, including those of Morel, Beilinson, Ayoub, and Voevodsky. An open question has been the equivalence of Voevodsky's Nisnevich-based $\mathrm{DM}(S, \mathbb{Q})$ with the others, which was only known over excellent and geometrically unibranch base schemes.
In this paper, we prove that modules over rational motivic Eilenberg Maclane spectrum $\mathbf{H}\mathbb{Q}$ is equivalent to Morel/Beilinson/Ayoub's rational motives over any Noetherian semi-normal base scheme $S$.
Our main technical result is a stable motivic equivalence between the free $\mathbb{Q}$-linear spectrum $\mathbb{Q}[\mathbb{S}]$ and the motivic rational Eilenberg MacLane spectrum $\mathbf{H}\mathbb{Q}$. This equivalence is established by reducing the problem to an unstable comparison, where we apply our rational $\mathbb{A}^1$-Dold-Thom theorem, which depends on rational motivic Whitehead theorem that we develop.
As a byproduct, we partially confirm that rational variant of Voevodsky's conjecture that the formation of $\mathbf{H}\mathbb{Q}$ is stable under base change between any Noetherian semi-normal schemes.
要約:
We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the splitting-order sequence. Our main theorem shows that if all entries of the sequence are at most $p-1$, then the hypersurface is perfectoid pure, and the perfectoid-pure threshold can be computed explicitly from it. As a consequence, we prove that for any regular local ring $R$, the perfectoid pure threshold $\mathrm{ppt}(R,p)$ with respect to $p$ is always a rational number. Moreover, we show that for sufficiently large primes $p$, the cone over a Fermat type Calabi-Yau hypersurface is perfectoid pure, revealing new and unexpected examples of perfectoid pure singularities. Moreover, we show that for sufficiently large primes $p$, the cone over a Fermat type Calabi-Yau hypersurface is perfectoid pure, revealing new and unexpected examples of perfectoid pure singularities.
要約:
We study the injectivity of the Kudla-Millson lift of genus 2 Siegel cusp forms, vector-valued with respect to the Weil representation associated to an even lattice L. We prove that if L splits off two hyperbolic planes and is of sufficiently large rank, then the lift is injective. As an application, we deduce that the image of the lift in the degree 4 cohomology of the associated orthogonal Shimura variety has the same dimension as the lifted space of cusp forms. Our results also cover the case of moduli spaces of quasi-polarized K3 surfaces. To prove the injectivity, we introduce vector-valued indefinite Siegel theta functions of genus 2 and of Jacobi type attached to L. We describe their behavior with respect to the split of a hyperbolic plane in L. This generalizes results of Borcherds to genus higher than 1.
要約:
In this paper we establish a connection between Gromov-Witten invariants and the number of degenerate fixed points of Hamiltonian diffeomorphisms on a closed rational symplectic manifold via deformed Hamiltonian spectral invariants. We prove a new cuplength estimate, in particular including Arnol'd conjecture over complex numbers, for fixed points of Hamiltonian diffeomorphisms on closed rational symplectic manifolds admitting nonzero Gromov-Witten invariants with two point insertions. We extend Schwarz's quantum cuplength to the notion of deformed quantum cuplength for symplectic periods and employ it to estimate the number of fixed points of Hamiltonian diffeomorphisms on monotone symplectic manifolds with nonzero mixed Gromov-Witten invariants. We generalize Givental's symplectic fixed point theorem for toric manifolds to closed rational symplectic manifolds admitting nonzero Gromov-Witten invariants with fixed marked points and one point insertion.