The Feigin-Odesskii Wheel Conditions and Sheaves on Surfaces

Yu Zhao

DOI: https://doi.org/10.48550/arXiv.1909.07870

2019-09-17

Abstract:In this paper, we start the study of Feigin-Odesskii wheel conditions from a geometric viewpoint, and generalize it to the K-theory Hall algebra of any surface.

Algebraic Geometry

What problem does this paper attempt to address?

Equivariant Moduli Theory on $ K3 $ Surfaces

Yuhang Chen

2023-07-13

Abstract:In this paper we study equivariant moduli spaces of sheaves on a $ K3 $ surface $ X $ under a symplectic action of a finite group. We prove that under some mild conditions, equivariant moduli spaces of sheaves on $ X $ are irreducible symplectic manifolds deformation equivalent to Hilbert schemes of points on $ X $ via a connection between Gieseker and Bridgeland moduli spaces, as well as the derived McKay correspondence.

Algebraic Geometry
The wheel classes in the locally finite homology of $\mathrm{GL}_n(\mathbb{Z})$, canonical integrals and zeta values

Francis Brown,Oliver Schnetz

2024-03-16

Abstract:We compute the canonical integrals associated to wheel graphs, and prove that they are proportional to odd zeta values. From this we deduce that wheel classes define explicit non-zero classes in: the locally finite homology of the general linear group $\GL_n(\ZZ)$ in both odd and even ranks, the homology of the moduli spaces of tropical curves, and the moduli space of tropical abelian varieties. We deduce the existence of a doubly infinite family of auxiliary classes in the even commutative graph complex.

Number Theory,Mathematical Physics,K-Theory and Homology
Kuznetsov's Fano threefold conjecture via Hochschild-Serre algebra

Xun Lin,Shizhuo Zhang

2024-08-16

Abstract:Let $Y$ be a smooth quartic double solid regarded as a degree 4 hypersurface of the weighted projective space $\mathbb{P}(1,1,1,1,2)$. We study the multiplication of Hochschild-Serre algebra of its Kuznetsov component $\mathcal{K}u(Y)$, via matrix factorization. As an application, we give a new disproof of Kuznetsov's Fano threefold conjecture.

Algebraic Geometry
Euler characteristics of the generalized Kloosterman sheaves for symplectic and orthogonal groups

Yu Fu,Miao Pam Gu

2024-07-29

Abstract:We study the monodromy of certain $\ell$-adic local systems attached to the generalized Kloosterman sheaves constructed by Yun and calculate their Euler characteristics under standard representations in the cases of symplectic and split/quasi-split orthogonal groups. This provides evidence for the conjectural description of their Swan conductors at $\infty$ which is predicted by Reeder-Yu on the Langlands parameters attached to the epipelagic representations.

Number Theory,Algebraic Geometry,Representation Theory
The Degeneracy Loci for Smooth Moduli of Sheaves

Yu Zhao

2024-08-26

Abstract:Let S be a smooth projective surface over $\mathbb{C}$. We prove that, under certain technical assumptions, the degeneracy locus of the universal sheaf over the moduli space of stable sheaves is either empty or an irreducible Cohen-Macaulay variety of the expected dimension. We also provide a criterion for when the degeneracy locus is non-empty. This result generalizes the work of Bayer, Chen, and Jiang for the Hilbert scheme of points on surfaces. The above result is a special case of a general phenomenon: for a perfect complex of Tor-amplitude [0,1], the geometry of the degeneracy locus is closely related to the geometry of the derived Grassmannian. We analyze their birational geometry and relate it to the incidence varieties of derived Grassmannians. As a corollary, we prove a statement previously claimed by the author in <a class="link-https" data-arxiv-id="2408.06860" href="https://arxiv.org/abs/2408.06860">arXiv:2408.06860</a>.

Algebraic Geometry
On the arithmetic Siegel--Weil formula for GSpin Shimura varieties

Chao Li,Wei Zhang

DOI: https://doi.org/10.48550/arXiv.2106.15038

2021-06-29

Abstract:We formulate and prove a local arithmetic Siegel--Weil formula for GSpin Rapoport--Zink spaces, which is a precise identity between the arithmetic intersection numbers of special cycles on GSpin Rapoport--Zink spaces and the derivatives of local representation densities of quadratic forms. As a first application, we prove a semi-global arithmetic Siegel--Weil formula as conjectured by Kudla, which relates the arithmetic intersection numbers of special cycles on GSpin Shimura varieties at a place of good reduction and the central derivatives of nonsingular Fourier coefficients of incoherent Siegel Eisenstein series.

Number Theory,Algebraic Geometry,Representation Theory
On the arithmetic Siegel–Weil formula for GSpin Shimura varieties

Chao Li,Wei Zhang

DOI: https://doi.org/10.1007/s00222-022-01106-z

IF: 3.128

2022-03-16

Inventiones mathematicae

Abstract:We formulate and prove a local arithmetic Siegel–Weil formula for GSpin Rapoport–Zink spaces, which is a precise identity between the arithmetic intersection numbers of special cycles on GSpin Rapoport–Zink spaces and the derivatives of local representation densities of quadratic forms. As a first application, we prove a semi-global arithmetic Siegel–Weil formula as conjectured by Kudla, which relates the arithmetic intersection numbers of special cycles on GSpin Shimura varieties at a place of good reduction and the central derivatives of nonsingular Fourier coefficients of incoherent Siegel Eisenstein series.

mathematics
On finiteness theorems for automorphic forms

Takuya Yamauchi

2024-12-07

Abstract:In this paper, for any Shimura datum $(G,\mathcal{D})$ satisfying reasonable conditions so that many interesting cases satisfy, we prove some finiteness theorems for any graded vector space consisting of automorphic forms on $\mathcal{D}$ of some weights over the graded ring of automorphic forms on $X$ with positive parallel weights. We also discuss the integral base ring which we can work on. To realize automorphic forms as global sections on some coherent sheaves on the minimal compactification, we use the notion of reflexive sheaves and higher Koecher principle due to Kai-Wen Lan. Further, we give a more finer version of finiteness results for Siegel modular forms by using only the results of Chai-Faltings.

Algebraic Geometry,Number Theory
Autoequivalences of Derived Category of A K3 Surface and Monodromy Transformations

S Hosono,BH Lian,K Oguiso,ST Yau

DOI: https://doi.org/10.1090/s1056-3911-04-00364-9

2004-01-01

Journal of Algebraic Geometry

Abstract:We consider autoequivalences of the bounded derived category of coherent sheaves on a K3 surface. We prove that the image of the autoequivalences has index at most two in the group of the Hodge isometries of the Mukai lattice. Motivated by homological mirror symmetry, we also consider the mirror counterpart, i.e., the symplectic version of it. In the case of rho(X) = 1, we find an explicit formula which reproduces the number of Fourier-Mukai (FM) partners from the monodromy problem of the mirror K3 family. We present an explicit example in which a monodromy action does not come from an autoequivalence of the mirror side.
The Shafarevich conjecture for hypersurfaces in abelian varieties

Brian Lawrence,Will Sawin

2024-05-27

Abstract:Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many smooth hypersurfaces in $A$, with good reduction outside $S$, representing a given ample class in the Néron-Severi group of $A$, up to translation, as long as the dimension of $A$ is at least $4$. Our approach builds on the approach of arXiv:1807.02721 which studies $p$-adic variations of Hodge structure to turn finiteness results for $p$-adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.

Number Theory
Tilting sheaves for real groups and Koszul duality

Andrei Ionov,Zhiwei Yun

2023-06-09

Abstract:For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a fully faithful embedding of the category of tilting sheaves to a real analog of the category of Soergel bimodules, establishing real group analogs of Soergel's Structure Theorem and Endomorphism Theorem. We apply these results to give a purely geometric proof of the theorem of Bezrukavnikov and Vilonen which proves Soergel's conjecture for quasi-split groups.

Algebraic Geometry,Representation Theory
Elliptic Stable Envelopes for Certain Non-Symplectic Varieties and Dynamical $R$-Matrices for Superspin Chains from the Bethe/Gauge Correspondence

Nafiz Ishtiaque,Seyed Faroogh Moosavian,Yehao Zhou

DOI: https://doi.org/10.3842/SIGMA.2024.099

2024-10-31

Abstract:We generalize Aganagic-Okounkov's theory of elliptic stable envelopes, and its physical realization in Dedushenko-Nekrasov's and Bullimore-Zhang's works, to certain varieties without holomorphic symplectic structure or polarization. These classes of varieties include, in particular, classical Higgs branches of 3d $\mathcal N=2$ quiver gauge theories. The Bethe/gauge correspondence relates such a gauge theory to an anisotropic/elliptic superspin chain, and the stable envelopes compute the $R$-matrix that solves the dynamical Yang-Baxter equation (dYBE) for this spin chain. As an illustrative example, we solve the dYBE for the elliptic $\mathfrak{sl}(1|1)$ spin chain with fundamental representations using the corresponding 3d $\mathcal N=2$ SQCD whose classical Higgs branch is the Lascoux resolution of a determinantal variety. Certain Janus partition functions of this theory on $I \times \mathbb E$ for an interval $I$ and an elliptic curve $\mathbb E$ compute the elliptic stable envelopes, and in turn the geometric elliptic $R$-matrix, of the anisotropic $\mathfrak{sl}(1|1)$ spin chain. Furthermore, we consider the 2d and 1d reductions of elliptic stable envelopes and the $R$-matrix. The reduction to 2d gives the K-theoretic stable envelopes and the trigonometric $R$-matrix, and a further reduction to 1d produces the cohomological stable envelopes and the rational $R$-matrix. The latter recovers Rimányi-Rozansky's results that appeared recently in the mathematical literature.

High Energy Physics - Theory,Statistical Mechanics,Algebraic Geometry,Quantum Algebra,Representation Theory
Slopes of modular forms and geometry of eigencurves

Ruochuan Liu,Nha Xuan Truong,Liang Xiao,Bin Zhao

DOI: https://doi.org/10.48550/arXiv.2302.07697

2023-02-15

Abstract:Under a stronger genericity condition, we prove the local analogue of ghost conjecture of Bergdall and Pollack. As applications, we deduce in this case (a) a folklore conjecture of Breuil--Buzzard--Emerton on the crystalline slopes of Kisin's crystabelian deformation spaces, (b) Gouvea's $\lfloor\frac{k-1}{p+1}\rfloor$-conjecture on slopes of modular forms, and (c) the finiteness of irreducible components of the eigencurve. In addition, applying combinatorial arguments by Bergdall and Pollack, and by Ren, we deduce as corollaries in the reducible and strongly generic case, (d) Gouvea--Mazur conjecture, (e) a variant of Gouvea's conjecture on slope distributions, and (f) a refined version of Coleman's spectral halo conjecture.

Number Theory
Algebraic cycles and Hitchin systems

Davesh Maulik,Junliang Shen,Qizheng Yin

2024-07-07

Abstract:The purpose of this paper is to study motivic aspects of the Hitchin system for $\mathrm{GL}_n$. Our results include the following. (a) We prove the motivic decomposition conjecture of Corti-Hanamura for the Hitchin system; in particular, the decomposition theorem associated with the Hitchin system is induced by algebraic cycles. This yields an unconditional construction of the motivic perverse filtration for the Hitchin system, which lifts the cohomological/sheaf-theoretic perverse filtration. (b) We prove that the inverse of the relative Hard Lefschetz symmetry is induced by a relative algebraic correspondence, confirming the relative Lefschetz standard conjecture for the Hitchin system. (c) We show a strong perversity bound for the normalized Chern classes of a universal bundle with respect to the motivic perverse filtration; this specializes to the sheaf-theoretic result obtained earlier by Maulik-Shen. (d) We prove a $\chi$-independence result for the relative Chow motives associated with Hitchin systems. Our methods combine Fourier transforms for compactified Jacobian fibrations associated with integral locally planar curves, nearby and vanishing cycle techniques, and a Springer-theoretic interpretation of parabolic Hitchin moduli spaces.

Algebraic Geometry,Representation Theory
Endomorphism algebras of QM abelian surfaces

Chia-Fu Yu

DOI: https://doi.org/10.48550/arXiv.1210.1125

2013-10-05

Abstract:We determine endomorphism algebras of abelian surfaces with quaternion multiplication.

Number Theory
Elliptic surfaces and toroidal superalgebras

Samuel DeHority

2023-11-01

Abstract:The equivariant cohomology of certain moduli spaces of sheaves on isotrivial elliptic surfaces are shown to admit representations of infinite dimensional Lie (super)algebras. The construction is based on work of Billig and Chen-Li-Tan on vertex representations of toroidal extended affine Lie algebras, and a geometric interpretation of bc-ghost systems on Hilbert schemes of points on ruled surfaces. The role of higher-nullity toroidal extended affine lie algebras are discussed in relation to tensor products of modules of a Yangian-like associative algebra. Applications to enumerative geometry are discussed in the introduction.

Quantum Algebra,Representation Theory
G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Stephen Pietromonaco

DOI: https://doi.org/10.1007/s40687-021-00298-9

2021-12-07

Research in the Mathematical Sciences

Abstract:For an Abelian surface A with a symplectic action by a finite group G, one can define the partition function for G-invariant Hilbert schemes ZA,G(q)=∑d=0∞e(Hilbd(A)G)qd.\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\begin{aligned} Z_{A, G}(q) = \sum _{d=0}^{\infty } e(\text {Hilb}^{d}(A)^{G})q^{d}. \end{aligned}$$\end{document}We prove the reciprocal ZA,G-1$$Z_{A,G}^{-1}$$ is a modular form of weight 12e(A/G)$$\frac{1}{2}e(A/G)$$ for the congruence subgroup Γ0(|G|)$$\Gamma _{0}(|G|)$$ and give explicit expressions in terms of eta products. Refined formulas for the χy$$\chi _{y}$$-genera of Hilb(A)G$$\text {Hilb}(A)^{G}$$ are also given. For the group generated by the standard involution τ:A→A$$\tau : A \rightarrow A$$, our formulas arise from the enumerative geometry of the orbifold Kummer surface [A/τ]$$[A/\tau ]$$. We prove that a virtual count of curves in the stack is governed by χy(Hilb(A)τ)$$\chi _{y}(\text {Hilb}(A)^{\tau })$$. Moreover, the coefficients of ZA,τ$$Z_{A, \tau }$$ are true (weighted) counts of rational curves, consistent with hyperelliptic counts of Bryan, Oberdieck, Pandharipande, and Yin.

mathematics
Feigin-Odesskii brackets associated with Kodaira cycles and positroid varieties

Zheng Hua,Alexander Polishchuk

2024-04-05

Abstract:We establish a link between open positroid varieties in the Grassmannians $G(k,n)$ and certain moduli spaces of complexes of vector bundles over Kodaira cycle $C^n$, using the shifted Poisson structure on the latter moduli spaces and relating them to the standard Poisson structure on $G(k,n)$. This link allows us to solve a classification problem for extensions of vector bundles over $C^n$. Based on this solution we further classify the symplectic leaves of all positroid varieties in $G(k,n)$ with respect to the standard Poisson structure. Moreover, we get an explicit description of the moduli stack of symplectic leaves of $G(k,n)$ with the standard Poisson structure as an open substack of the stack of vector bundles on $C^n$.

Algebraic Geometry,Combinatorics,Quantum Algebra,Representation Theory
O'Grady tenfolds as moduli spaces of sheaves

Camilla Felisetti,Franco Giovenzana,Annalisa Grossi

DOI: https://doi.org/10.1017/fms.2024.46

2024-05-11

Forum of Mathematics Sigma

Abstract:We give a lattice-theoretic characterization for a manifold of type to be birational to some moduli space of (twisted) sheaves on a K3 surface. We apply it to the Li–Pertusi–Zhao variety of type associated to any smooth cubic fourfold. Moreover, we determine when a birational transformation is induced by an automorphism of the K3 surface, and we use this to classify all induced birational symplectic involutions.

mathematics, applied
Perverse sheaves on varieties with large fundamental groups

Donu Arapura,Botong Wang

2023-09-26

Abstract:We conjecture that any perverse sheaf on a compact aspherical Kähler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the Kähler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid local system. The first result is proved by expressing the Euler characteristic as an intersection number involving the characteristic cycle, and then using the curvature conditions to deduce non-negativity. For the second result, we have that the local system underlies a complex variation of Hodge structure. We then deduce the desired inequality from the curvature properties of the image of the period map.

Algebraic Geometry,Differential Geometry

The Feigin-Odesskii Wheel Conditions and Sheaves on Surfaces

Equivariant Moduli Theory on $ K3 $ Surfaces

The wheel classes in the locally finite homology of $\mathrm{GL}_n(\mathbb{Z})$, canonical integrals and zeta values

Kuznetsov's Fano threefold conjecture via Hochschild-Serre algebra

Euler characteristics of the generalized Kloosterman sheaves for symplectic and orthogonal groups

The Degeneracy Loci for Smooth Moduli of Sheaves

On the arithmetic Siegel--Weil formula for GSpin Shimura varieties

On the arithmetic Siegel–Weil formula for GSpin Shimura varieties

On finiteness theorems for automorphic forms

Autoequivalences of Derived Category of A K3 Surface and Monodromy Transformations

The Shafarevich conjecture for hypersurfaces in abelian varieties

Tilting sheaves for real groups and Koszul duality

Elliptic Stable Envelopes for Certain Non-Symplectic Varieties and Dynamical $R$-Matrices for Superspin Chains from the Bethe/Gauge Correspondence

Slopes of modular forms and geometry of eigencurves

Algebraic cycles and Hitchin systems

Endomorphism algebras of QM abelian surfaces

Elliptic surfaces and toroidal superalgebras

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Feigin-Odesskii brackets associated with Kodaira cycles and positroid varieties

O'Grady tenfolds as moduli spaces of sheaves

Perverse sheaves on varieties with large fundamental groups