Algebraic Geometry
New submissions
[ 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 schemesSubjects: 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 CalabiYau 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 SegreVerlinde 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 SegreVerlinde correspondence and the SegreSegre symmetry analogous to the one for $\mathbb{C}^2$.
 [2] arXiv:2303.14319 [pdf, ps, other]

Title: Results on virtual resolutions for toric varietiesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
We give a short, new proof of a recent result of HanlonHicksLazarev about toric varieties. As in their work, this leads to a proof of a conjecture of BerkeschErmanSmith 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 degreesAuthors: Josiah FosterComments: 37 pagesSubjects: 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)(j1)/j$. We show that the restriction homomorphism from the cohomology of a projective deformation of a moduli space of Giesekerstable 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 characteristicAuthors: Kenta SatoComments: 28pages, 4figuresSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
In this paper, we prove that if a $3$dimensional quasiprojective 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 pointsAuthors: Gergely BércziComments: 51 pages. Preliminary version, comments are welcome. arXiv admin note: substantial text overlap with arXiv:2112.15502Subjects: 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 ChernSegretype 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 subsetsAuthors: Gergely BércziComments: 47 pages. Preliminary version, comments are welcome. arXiv admin note: text overlap with arXiv:2112.15502; text overlap with arXiv:1712.09270 by other authorsSubjects: 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 rankone approximation decrease tensor rank?Authors: Emil HorobetComments: 14 pagesSubjects: Algebraic Geometry (math.AG); Metric Geometry (math.MG); Optimization and Control (math.OC)
Subtracting a critical rankone 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 rankone 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 rankone 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 noncompact preimagesAuthors: Naoki KitazawaComments: 10 pages, 1 figureSubjects: 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 noncompact 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 HurwitzBrillNoether TheorySubjects: Algebraic Geometry (math.AG)
We generalize the Embedding Theorem of EisenbudHarris from classical BrillNoether theory to the setting of HurwitzBrillNoether theory.
More precisely, in classical BrillNoether 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 BrillNoether theory.
In the context of HurwitzBrillNoether 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 kgonal curves, which lie on scrolls in \(\mathbb{P}^r\).  [10] arXiv:2303.15249 [pdf, ps, other]

Title: Computational approach to the Schottky problemSubjects: Algebraic Geometry (math.AG); Mathematical Physics (mathph)
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 SchottkyIgusa modular form, known to give the Jacobi locus in this case. It is shown that the same residuals are achieved by the SchottkyIgusa 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 bundleAuthors: Angel Israel Toledo CastroSubjects: Algebraic Geometry (math.AG); KTheory 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 wellknown BondalOrlov reconstruction theorem.
 [12] arXiv:2303.15392 [pdf, ps, other]

Title: Syzygies of Kummer varietiesAuthors: Federico CaucciComments: 12 pagesSubjects: 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 GreenLazarsfeld property $(N_p)$, if $m > \frac{p+2}{2}$.
Crosslists for Tue, 28 Mar 23
 [13] arXiv:2303.13143 (crosslist from math.CO) [pdf, ps, other]

Title: The amoeba dimension of a linear spaceSubjects: 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 (crosslist from math.AC) [pdf, ps, other]

Title: Noncommutative resolutions for Segre products and CohenMacaulay rings of hereditary representation typeAuthors: Norihiro HaniharaComments: 35 pagesSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)
We study commutative CohenMacaulay rings whose CohenMacaulay 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 CohenMacaulay rings of hereditary representation type. First we give a general existence theorem of cluster tilting module or noncommutative 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 onedimensional CohenMacaulay nondomains, and among them we provide one family of Gorenstein rings of hereditary representation type. Furthermore, we discuss a $4$dimensional nonGorenstein CohenMacaulay 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 CohenMacaulay modules, which turns out to be only finitely many.
 [15] arXiv:2303.14810 (crosslist from cs.DM) [pdf, ps, other]

Title: Permutation Inequalities for Walks in GraphsSubjects: 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 (crosslist from math.NT) [pdf, ps, other]

Title: The size of semigroup orbits modulo primesComments: 17 pagesSubjects: 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: ShafarevichTate groups of holomorphic Lagrangian fibrationsComments: 28 pages. v3: added Theorem 2.6 and Remark 4.6, improved exposition in subsections 2.2 and 5.1, and corrected minor mistakesSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
 [18] arXiv:2205.12326 (replaced) [pdf, ps, other]

Title: On the boundedness of singularities via normalized volumeComments: 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 pairsSubjects: Algebraic Geometry (math.AG)
 [19] arXiv:2206.06095 (replaced) [pdf, ps, other]

Title: Moderate Growth and Rapid Decay Nearby Cycles via Enhanced IndSheavesComments: 40 pages; v3: revised presentation, and improved results extending proof of Sabbah's conjecture from SNCD case to arbitrary divisorsSubjects: Algebraic Geometry (math.AG)
 [20] arXiv:2207.02053 (replaced) [pdf, ps, other]

Title: A derived equivalence of the LibgoberTeitelbaum and the BatyrevBorisov mirror constructionsAuthors: Aimeric MalterComments: Minor revision, 28 pages, to appear in IMRNSubjects: Algebraic Geometry (math.AG)
 [21] arXiv:2209.11022 (replaced) [pdf, ps, other]

Title: The Fano variety of lines of a cuspidal cyclic cubic fourfoldComments: Tobias Heckel added as an author: the results of the paper are partially contained in his PhD thesisSubjects: Algebraic Geometry (math.AG)
 [22] arXiv:2209.15039 (replaced) [pdf, ps, other]

Title: Stabilizer Reduction for Derived Stacks and Applications to SheafTheoretic InvariantsComments: 70 pages. Comments welcome! v2: Added new Section 7 on stabilizer reduction of quasismooth Artin stacks. Corrected definition of Kirwan blowup and changed indexing notation in Sections 8 and 9Subjects: Algebraic Geometry (math.AG)
 [23] arXiv:2211.12661 (replaced) [pdf, ps, other]

Title: Curves with semistable normal bundle on Fano hypersurfacesAuthors: Ziv RanComments: arXiv admin note: text overlap with arXiv:2209.05410 The section on curves on hypersurfaces is new; latest version added result on lowerdegree hypersurfacesSubjects: Algebraic Geometry (math.AG)
 [24] arXiv:2301.00862 (replaced) [pdf, ps, other]

Title: A geometric realization of Catalan functionsAuthors: Syu KatoComments: v5, 29pages, revised Sections 1.5, reorganized Section 4, and other overall improvements and minor correctionsSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Representation Theory (math.RT)
 [25] arXiv:2303.06323 (replaced) [pdf, ps, other]

Title: Deformations over noncommutative baseAuthors: Yujiro KawamataComments: 12 pages. Section 5 is deletedSubjects: Algebraic Geometry (math.AG)
 [26] arXiv:2303.11990 (replaced) [pdf, ps, other]

Title: Blowups and normal bundles in connective and nonconnective derived geometriesComments: 50 pagesSubjects: Algebraic Geometry (math.AG)
 [27] arXiv:2110.06112 (replaced) [pdf, ps, other]

Title: A MurnaghanNakayama rule for Grothendieck polynomials of Grassmannian typeComments: 12 pages, 7 figuresSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); KTheory and Homology (math.KT); Representation Theory (math.RT)
 [28] arXiv:2205.05791 (replaced) [pdf, ps, other]

Title: CalabiYau/LandauGinzburg Correspondence for WeilPeterson Metrics and $tt^*$ StructuresComments: 34 pagesSubjects: Mathematical Physics (mathph); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
[ 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)