Algebraic Geometry

New submissions

• New submissions
• Cross-lists
• Replacements

New submissions for Tue, 28 Mar 23

[1]  arXiv:2303.14266 [pdf, other]

Title: Equivariant Segre and Verlinde invariants for Quot schemes

Authors: Arkadij Bojko, Jiahui Huang

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

Authors: Michael K. Brown, Daniel Erman

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

Authors: Kaelin Cook-Powell, David Jensen, Eric Larson, Hannah Larson, Isabel Vogt

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

Authors: E. Brandon de Leon, J. Frauendiener, C. Klein

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

Authors: Angel Israel Toledo Castro

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

Authors: Jan Draisma, Sarah Eggleston, Rudi Pendavingh, Johannes Rau, Chi Ho Yuen

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

Authors: Norihiro Hanihara

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

Authors: Nadja Willenborg, Sven Kosub

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

Authors: Wade Hindes, Joseph H. Silverman

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

Authors: Anna Abasheva, Vasily Rogov

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

Authors: Yuchen Liu, Joaquín Moraga, Hendrik Süß

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

Authors: Brian Hepler, Andreas Hohl

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

Authors: Samuel Boissiere, Tobias Heckel, Alessandra Sarti

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

Authors: Jeroen Hekking, David Rydh, Michail Savvas

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

Authors: Oren Ben-Bassat, Jeroen Hekking

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

Authors: Duc-Khanh Nguyen, Dang Tuan Hiep, Tran Ha Son, Do Le Hai Thuy

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

Authors: Xinxing Tang, Junrong Yan

Comments: 34 pages

Subjects: Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Differential Geometry (math.DG)

• New submissions
• Cross-lists
• Replacements