We gratefully acknowledge support from
the Simons Foundation and member institutions.

Algebraic Geometry

New submissions

[ total of 28 entries: 1-28 ]
[ showing up to 1000 entries per page: fewer | more ]

New submissions for Tue, 28 Mar 23

[1]  arXiv:2303.14266 [pdf, other]
Title: Equivariant Segre and Verlinde invariants for Quot schemes
Subjects: Algebraic Geometry (math.AG)

The problem of studying the two seemingly unrelated sets of invariants forming the Segre and the Verlinde series has gone through multiple different adaptations including a version for the virtual geometries of Quot schemes on surfaces and Calabi-Yau fourfolds. Our work is the first one to address the equivariant setting for both $\mathbb{C}^2$ and $\mathbb{C}^4$ by examining higher degree contributions which have no compact analogue. (1) For $\mathbb{C}^2$, we work mostly with virtual geometries of Quot schemes. After connecting the equivariant series in degree zero to the existing results of the first author for compact surfaces, we extend the Segre-Verlinde correspondence to all degrees and to the reduced virtual classes. Apart from it, we conjecture an equivariant symmetry between two different Segre series building again on previous work. (2) For $\mathbb{C}^4$, we give further motivation for the definition of the Verlinde series. Based on empirical data and additional structural results, we conjecture the equivariant Segre-Verlinde correspondence and the Segre-Segre symmetry analogous to the one for $\mathbb{C}^2$.

[2]  arXiv:2303.14319 [pdf, ps, other]
Title: Results on virtual resolutions for toric varieties
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)

We give a short, new proof of a recent result of Hanlon-Hicks-Lazarev about toric varieties. As in their work, this leads to a proof of a conjecture of Berkesch-Erman-Smith on virtual resolutions and to a resolution of the diagonal in the simplicial case.

[3]  arXiv:2303.14327 [pdf, ps, other]
Title: The Lefschetz standard conjectures for IHSMs of generalized Kummer deformation type in certain degrees
Authors: Josiah Foster
Comments: 37 pages
Subjects: Algebraic Geometry (math.AG)

For a projective $2n$-dimensional irreducible holomorphic symplectic manifold $Y$ of generalized Kummer deformation type and $j>1$ the smallest divisor of $n+1$, we prove the Lefschetz standard conjectures in degree $<2(n+1)(j-1)/j$. We show that the restriction homomorphism from the cohomology of a projective deformation of a moduli space of Gieseker-stable sheaves on an abelian surface to the cohomology of $Y$ is surjective in these degrees. A corollary is that the Lefschetz standard conjectures hold for $Y$ when $n+1$ is prime. The proofs rely on Markman's description of the monodromy of generalized Kummer varieties, Verbitsky's theory of hyperholomorphic sheaves, and the decomposition theorem.

[4]  arXiv:2303.14599 [pdf, ps, other]
Title: General hyperplane sections of log canonical threefolds in positive characteristic
Authors: Kenta Sato
Comments: 28pages, 4figures
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)

In this paper, we prove that if a $3$-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section $H$ of $X$. We also show that the same is true for klt singularities, which is a slight extension of \cite{ST20}. In the course of the proof, we provide a sufficient condition for log canonical (resp.~klt) surface singularities to be geometrically log canonical (resp.~geometrically klt) over a field.

[5]  arXiv:2303.14807 [pdf, other]
Title: Tautological integrals on Hilbert scheme of points
Authors: Gergely Bérczi
Comments: 51 pages. Preliminary version, comments are welcome. arXiv admin note: substantial text overlap with arXiv:2112.15502
Subjects: Algebraic Geometry (math.AG)

We develop a new method to study intersection theory of the main component of the Hilbert scheme of points on complex manifolds. The main result is an iterated residue formula for tautological integrals. We formulate a Chern-Segre-type positivity conjecture for these integrals, and we introduce higher dimensional Segre and Chern integrals.

[6]  arXiv:2303.14812 [pdf, ps, other]
Title: Tautological integrals on Hilbert scheme of points II: Geometric subsets
Authors: Gergely Bérczi
Comments: 47 pages. Preliminary version, comments are welcome. arXiv admin note: text overlap with arXiv:2112.15502; text overlap with arXiv:1712.09270 by other authors
Subjects: Algebraic Geometry (math.AG)

We develop a formula for tautological integrals over geometric subsets of the Hilbert scheme of points on complex manifolds. As an illustration of the theory, we derive a new iterated residue formula for the number of nodal curves in sufficiently ample linear systems.

[7]  arXiv:2303.14985 [pdf, ps, other]
Title: When does subtracting a rank-one approximation decrease tensor rank?
Authors: Emil Horobet
Comments: 14 pages
Subjects: Algebraic Geometry (math.AG); Metric Geometry (math.MG); Optimization and Control (math.OC)

Subtracting a critical rank-one approximation from a matrix always results in a matrix with a lower rank. This is not true for tensors in general. We ask the question: what is the closure of the set of those tensors for which subtracting a critical rank-one approximation does result in lowering the rank? In this article we show how to construct this variety of tensors and we show how this is connected to the bottleneck points of the variety of rank-one tensors (and in general to the singular locus of the hyperdeterminant) and how this variety can be more than orthogonally decomposable tensors.

[8]  arXiv:2303.14988 [pdf, ps, other]
Title: Real algebraic functions which may have both compact and non-compact preimages
Authors: Naoki Kitazawa
Comments: 10 pages, 1 figure
Subjects: Algebraic Geometry (math.AG); General Topology (math.GN); Geometric Topology (math.GT)

The author has obtained explicit real algebraic functions with preimages satisfying some nice conditions. More precisely, we have given answers to a considerably revised version of Sharko's question. Sharko originally asked whether we can have nice smooth functions whose Reeb graphs are as desired. The Reeb graph of a smooth function of a certain nice class is a natural graph whose underlying space is the space of all connected components. Such graphs can have some important topological information of the manifolds.
Our answers are new in having real algebraic functions on non-compact manifolds with no boundaries and considering real algebraic functions on manifolds which may not be real algebraic, for example.

[9]  arXiv:2303.15189 [pdf, other]
Title: The embedding theorem in Hurwitz-Brill-Noether Theory
Subjects: Algebraic Geometry (math.AG)

We generalize the Embedding Theorem of Eisenbud-Harris from classical Brill-Noether theory to the setting of Hurwitz-Brill-Noether theory.
More precisely, in classical Brill-Noether theory, the embedding theorem states that a general linear series of degree d and rank r on a general curve of genus g is an embedding if r is at least 3. If \(f \colon C \to \mathbb{P}^1\) is a general cover of degree k, and L is a line bundle on C, recent work of the authors shows that the splitting type of \(f_* L\) provides the appropriate generalization of the pair (r, d) in classical Brill--Noether theory.
In the context of Hurwitz-Brill-Noether theory, the condition that r is at least 3 is no longer sufficient to guarantee that a general such linear series is an embedding. We show that the additional condition needed to guarantee that a general linear series |L| is an embedding is that the splitting type of \(f_* L\) has at least three nonnegative parts. This new extra condition reflects the unique geometry of k-gonal curves, which lie on scrolls in \(\mathbb{P}^r\).

[10]  arXiv:2303.15249 [pdf, ps, other]
Title: Computational approach to the Schottky problem
Subjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph)

We present a computational approach to the classical Schottky problem based on Fay's trisecant identity for genus $g\geq 4$. For a given Riemann matrix $\mathbb{B}\in\mathbb{H}^{g}$, the Fay identity establishes linear dependence of secants in the Kummer variety if and only if the Riemann matrix corresponds to a Jacobian variety as shown by Krichever. The theta functions in terms of which these secants are expressed depend on the Abel maps of four arbitrary points on a Riemann surface. However, there is no concept of an Abel map for general $\mathbb{B} \in \mathbb{H}^{g}$. To establish linear dependence of the secants, four components of the vectors entering the theta functions can be chosen freely. The remaining components are determined by a Newton iteration to minimize the residual of the Fay identity. Krichever's theorem assures that if this residual vanishes within the finite numerical precision for a generic choice of input data, then the Riemann matrix is with this numerical precision the period matrix of a Riemann surface. The algorithm is compared in genus 4 for some examples to the Schottky-Igusa modular form, known to give the Jacobi locus in this case. It is shown that the same residuals are achieved by the Schottky-Igusa form and the approach based on the Fay identity in this case. In genera 5, 6 and 7, we discuss known examples of Riemann matrices and perturbations thereof for which the Fay identity is not satisfied.

[11]  arXiv:2303.15382 [pdf, other]
Title: Tensor triangulated category structures in the derived category of a variety with big (anti-)canonical bundle
Subjects: Algebraic Geometry (math.AG); K-Theory and Homology (math.KT)

Let $X$ be a smooth projective variety over $\mathbb{C}$ with big (anti-)canonical bundle. It is known that in this situation the Balmer spectrum of the tensor triangulated category of perfect complexes $Perf(X)$ of $X$ equipped with the derived tensor product $\otimes_{X}^{\mathbb{L}}$ recovers the space $X$. In this work we study the possible tensor triangulated category structures one can put on $Perf(X)$. As an application we prove a monoidal version of the well-known Bondal-Orlov reconstruction theorem.

[12]  arXiv:2303.15392 [pdf, ps, other]
Title: Syzygies of Kummer varieties
Authors: Federico Caucci
Comments: 12 pages
Subjects: Algebraic Geometry (math.AG)

We study syzygies of Kummer varieties proving that their behavior is half of the abelian varieties case. Namely, an $m$-th power of an ample line bundle on a Kummer variety satisfies the Green-Lazarsfeld property $(N_p)$, if $m > \frac{p+2}{2}$.

Cross-lists for Tue, 28 Mar 23

[13]  arXiv:2303.13143 (cross-list from math.CO) [pdf, ps, other]
Title: The amoeba dimension of a linear space
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Complex Variables (math.CV)

Given a complex vector subspace $V$ of $\mathbb{C}^n$, the dimension of the amoeba of $V \cap (\mathbb{C}^*)^n$ depends only on the matroid of $V$. Here we prove that this dimension is given by the minimum of a certain function over all partitions $P_1, \dots, P_k$ of the ground set into nonempty parts $P_i$, as previously conjectured by Rau. We also prove that this formula can be evaluated in polynomial time.

[14]  arXiv:2303.14625 (cross-list from math.AC) [pdf, ps, other]
Title: Non-commutative resolutions for Segre products and Cohen-Macaulay rings of hereditary representation type
Comments: 35 pages
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)

We study commutative Cohen-Macaulay rings whose Cohen-Macaulay representation theory are controlled by representations of quivers, which we call hereditary representation type. Based on tilting theory and cluster tilting theory, we construct some commutative Cohen-Macaulay rings of hereditary representation type. First we give a general existence theorem of cluster tilting module or non-commutative crepant resolutions on the Segre product of two commutative Gorenstein rings whenever each factor has such an object. As an application we obtain three examples of Gorenstein rings of hereditary representation type coming from Segre products of polynomial rings. Next we introduce extended numerical semigroup rings which generalize numerical semigroup rings and form a class of one-dimensional Cohen-Macaulay non-domains, and among them we provide one family of Gorenstein rings of hereditary representation type. Furthermore, we discuss a $4$-dimensional non-Gorenstein Cohen-Macaulay ring whose representations are still controlled by a finite dimensional hereditary algebra. We show that it has a unique $2$-cluster tilting object, and give a complete classification of rigid Cohen-Macaulay modules, which turns out to be only finitely many.

[15]  arXiv:2303.14810 (cross-list from cs.DM) [pdf, ps, other]
Title: Permutation Inequalities for Walks in Graphs
Subjects: Discrete Mathematics (cs.DM); Algebraic Geometry (math.AG)

Using spectral graph theory, we show how to obtain inequalities for the number of walks in graphs from nonnegative polynomials and present a new family of such inequalities.

[16]  arXiv:2303.14819 (cross-list from math.NT) [pdf, ps, other]
Title: The size of semigroup orbits modulo primes
Comments: 17 pages
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Dynamical Systems (math.DS)

Let $V$ be a projective variety defined over a number field $K$, let $S$ be a polarized set of endomorphisms of $V$ all defined over $K$, and let $P\in V(K)$. For each prime $\mathfrak{p}$ of $K$, let $m_{\mathfrak{p}}(S,P)$ denote the number of points in the orbit of $P\bmod\mathfrak{p}$ for the semigroup of maps generated by $S$. Under suitable hypotheses on $S$ and $P$, we prove an analytic estimate for $m_{\mathfrak{p}}(S,P)$ and use it to show that the set of primes for which $m_{\mathfrak{p}}(S,P)$ grows subexponentially as a function of $\operatorname{\mathsf{N}}_{K/\mathbb{Q}}\mathfrak{p}$ is a set of density zero. For $V=\mathbb{P}^1$ we show that this holds for a generic set of maps $S$ provided that at least two of the maps in $S$ have degree at least four.

Replacements for Tue, 28 Mar 23

[17]  arXiv:2112.10921 (replaced) [pdf, ps, other]
Title: Shafarevich-Tate groups of holomorphic Lagrangian fibrations
Comments: 28 pages. v3: added Theorem 2.6 and Remark 4.6, improved exposition in subsections 2.2 and 5.1, and corrected minor mistakes
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
[18]  arXiv:2205.12326 (replaced) [pdf, ps, other]
Title: On the boundedness of singularities via normalized volume
Comments: 43 pages; substantially extended and improved version: the paper now also settles the case of threefold singularities and many results now also cover the case of pairs
Subjects: Algebraic Geometry (math.AG)
[19]  arXiv:2206.06095 (replaced) [pdf, ps, other]
Title: Moderate Growth and Rapid Decay Nearby Cycles via Enhanced Ind-Sheaves
Comments: 40 pages; v3: revised presentation, and improved results extending proof of Sabbah's conjecture from SNCD case to arbitrary divisors
Subjects: Algebraic Geometry (math.AG)
[20]  arXiv:2207.02053 (replaced) [pdf, ps, other]
Title: A derived equivalence of the Libgober-Teitelbaum and the Batyrev-Borisov mirror constructions
Authors: Aimeric Malter
Comments: Minor revision, 28 pages, to appear in IMRN
Subjects: Algebraic Geometry (math.AG)
[21]  arXiv:2209.11022 (replaced) [pdf, ps, other]
Title: The Fano variety of lines of a cuspidal cyclic cubic fourfold
Comments: Tobias Heckel added as an author: the results of the paper are partially contained in his PhD thesis
Subjects: Algebraic Geometry (math.AG)
[22]  arXiv:2209.15039 (replaced) [pdf, ps, other]
Title: Stabilizer Reduction for Derived Stacks and Applications to Sheaf-Theoretic Invariants
Comments: 70 pages. Comments welcome! v2: Added new Section 7 on stabilizer reduction of quasi-smooth Artin stacks. Corrected definition of Kirwan blow-up and changed indexing notation in Sections 8 and 9
Subjects: Algebraic Geometry (math.AG)
[23]  arXiv:2211.12661 (replaced) [pdf, ps, other]
Title: Curves with semistable normal bundle on Fano hypersurfaces
Authors: Ziv Ran
Comments: arXiv admin note: text overlap with arXiv:2209.05410 The section on curves on hypersurfaces is new; latest version added result on lower-degree hypersurfaces
Subjects: Algebraic Geometry (math.AG)
[24]  arXiv:2301.00862 (replaced) [pdf, ps, other]
Title: A geometric realization of Catalan functions
Authors: Syu Kato
Comments: v5, 29pages, revised Sections 1.5, reorganized Section 4, and other overall improvements and minor corrections
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Representation Theory (math.RT)
[25]  arXiv:2303.06323 (replaced) [pdf, ps, other]
Title: Deformations over non-commutative base
Authors: Yujiro Kawamata
Comments: 12 pages. Section 5 is deleted
Subjects: Algebraic Geometry (math.AG)
[26]  arXiv:2303.11990 (replaced) [pdf, ps, other]
Title: Blow-ups and normal bundles in connective and nonconnective derived geometries
Comments: 50 pages
Subjects: Algebraic Geometry (math.AG)
[27]  arXiv:2110.06112 (replaced) [pdf, ps, other]
Title: A Murnaghan-Nakayama rule for Grothendieck polynomials of Grassmannian type
Comments: 12 pages, 7 figures
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); K-Theory and Homology (math.KT); Representation Theory (math.RT)
[28]  arXiv:2205.05791 (replaced) [pdf, ps, other]
Title: Calabi-Yau/Landau-Ginzburg Correspondence for Weil-Peterson Metrics and $tt^*$ Structures
Comments: 34 pages
Subjects: Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
[ total of 28 entries: 1-28 ]
[ showing up to 1000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2303, contact, help  (Access key information)