Algebraic Geometry
- [1] arXiv:2405.17586 [pdf, ps, html, other]
-
Title: Schottky-Invariant $p$-Adic Diffusion OperatorsComments: 24 pagesSubjects: Algebraic Geometry (math.AG); Analysis of PDEs (math.AP); Number Theory (math.NT)
A parametrised diffusion operator on the regular domain $\Omega$ of a $p$-adic Schottky group is constructed. It is defined as an integral operator on the complex-valued functions on $\Omega$ which are invariant under the Schottky group $\Gamma$, where integration is against the measure defined by an invariant regular differential 1-form $\omega$. It is proven that the space of Schottky invariant $L^2$-functions on $\Omega$ outside the zeros of $\omega$ has an orthonormal basis consiting of $\Gamma$-invariant extensions of Kozyrev wavelets which are eigenfunctions of the operator. The eigenvalues are calculated, and it is shown that the heat equation for this operator provides a unique solution for its Cauchy problem with Schottky-invariant continuous initial conditions supportes outside the zero set of $\omega$, and gives rise to a strong Markov process on the corresponding orbit space for the Schottky group whose paths are càdlàg.
- [2] arXiv:2405.17689 [pdf, ps, html, other]
-
Title: Higher Dimensional Brill-Noether Loci and Moduli for Very Ample Line BundlesComments: 13 pages. Comments are welcome!Subjects: Algebraic Geometry (math.AG)
In this paper, we study Brill-Noether loci for higher dimensional varieties. Let $M$ be a moduli space of coherent sheaves on $X$. The Brill-Noether loci of $M$ are the closed subsets $\{\mathcal{F} \in M : h^0(X,\mathcal{F}) \geq k+1\}$. When $X$ is a smooth curve and $M = \textbf{Pic}_X^d$, the space of degree $d$ line bundles on $X$, the Brill-Noether loci have a natural determinantal scheme structure coming from a map of vector bundles on $\textbf{Pic}_X^d$, which is the main tool in studying their geometry. In [CMR10], the authors generalize this to the case where $X$ is any variety and $M$ is the moduli space of stable vector bundles on $X$ with fixed invariants but require that $H^i(X,E) = 0$ for all $E \in M$ and $i \geq 2$. We generalize these results by showing how to give a natural determinantal scheme structure to the Brill-Noether loci for any $X$ and any $M$. In doing so we develop the theory of Fitting ideals for a complex which can be used to define natural scheme structures in other cases as well, such as the locus of points where the projective dimension of a coherent sheaf jumps up. As an application of our results, we construct moduli spaces for very ample line bundles on a variety.
- [3] arXiv:2405.17854 [pdf, ps, html, other]
-
Title: Quantum $K$-theory of Lagrangian Grassmannian via parabolic Peterson isomorphismComments: 18 pagesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); K-Theory and Homology (math.KT); Representation Theory (math.RT)
We study Schubert calculus in the torus-equivariant quantum $K$-ring of the Lagrangian Grassmannian $\mathrm{LG}(n)$. Our main tool is the $K$-theoretic Peterson map due to Kato. The map is from the (localized) equivariant $K$-homology ring $K_{*}^{T}(\mathrm{Gr}_{G})$ of the affine Grassmannian $\mathrm{Gr}_{G}$ of the symplectic group $G=\mathrm{Sp}_{2n}(\mathbb{C})$ to the (localized) torus-equivariant quantum $K$-ring $QK_{T}(\mathrm{LG}(n))$. We determine explicitly the kernel of this map.
- [4] arXiv:2405.17982 [pdf, ps, html, other]
-
Title: Homomorphisms between the semirings of Boolean functions on 1-dimensional tropical fansComments: 19 pages, 0 figuresSubjects: Algebraic Geometry (math.AG)
In a previous work, we stated the conjecture that any semiring homomorphism between the Boolean function semirings on 1-dimensional tropical fans has the property called geometric. In this paper, we show that the conjecture is true. As an application, we establish a way to find all the morphisms between given 1-dimensional tropical fans.
- [5] arXiv:2405.18022 [pdf, ps, html, other]
-
Title: Syzygies of algebraic varieties through symmetric products of algebraic curvesComments: 22 pages, survey paper for Proceedings of MSJ-KMS Joint Meeting held in Sendai in September 2023Subjects: Algebraic Geometry (math.AG)
This is a survey paper on recent work on syzygies of algebraic varieties. We discuss the gonality conjecture on weight-one syzygies of algebraic curves, syzygies of secant varieties of algebraic curves, syzygies of tangent developable surfaces and Green's conjecture on syzygies of canonical curves, and asymptotic syzygies of algebraic varieties. All results considered in this paper were proven using the geometry of symmetric products of algebraic curves.
- [6] arXiv:2405.18122 [pdf, ps, html, other]
-
Title: Projective structures and Hodge theoryComments: This paper is based on the plenary conference "Strutture proiettive e teoria di Hodge" given by the second author at the XXII Congress of the "Unione Matematica Italiana", held in Pisa in September 5, 2023Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
Every compact Riemann surface $X$ admits a natural projective structure $p_u$ as a consequence of the uniformization theorem. In this work we describe the construction of another natural projective structure on $X$, namely the Hodge projective structure $p_h$, related to the second fundamental form of the period map. We then describe how projective structures correspond to $(1,1)$-differential forms on the moduli space of projective curves and, from this correspondence, we deduce that $p_u$ and $p_h$ are not the same structure.
- [7] arXiv:2405.18201 [pdf, ps, html, other]
-
Title: Automorphisms of unstable ${\mathbb P}^1$-bundlesSubjects: Algebraic Geometry (math.AG)
Let $P\to X$ be a ${\mathbb P}^1$-bundle over a variety $X$. The aim of this note is to understand all connected, algebraic groups $$ \operatorname{Aut}^\circ(P)\subset G\subset \operatorname{Bir}( X\times {\mathbb P}^1). $$ We get a quite complete answer if $\operatorname{Aut}^\circ(X)$ is a maximal, connected, algebraic subgroup of $\operatorname{Bir}(X)$, and $P$ is sufficiently unstable.
This gives examples of connected, algebraic subgroups of $\operatorname{Bir}({\mathbb P}^4)$ that are not contained in any maximal one. - [8] arXiv:2405.18268 [pdf, ps, html, other]
-
Title: Motivic realization of rigid G-local systems on curves and tamely ramified geometric LanglandsSubjects: Algebraic Geometry (math.AG)
For a reductive group $G$, we prove that complex irreducible rigid $G$-local systems with quasi-unipotent monodromies and finite order abelianization on a smooth curve are motivic, generalizing a theorem of Katz for $GL_n$. We do so by showing that the Hecke eigensheaf corresponding to such a local system is itself motivic. Unlike other works in the subject, we work entirely over the complex numbers. In the setting of de Rham geometric Langlands, we prove the existence of Hecke eigensheaves associated to any irreducible $G$-local system with regular singularities. We also provide a spectral decomposition of a naturally defined automorphic category over the stack of regular singular local systems with prescribed eigenvalues of the local monodromies at infinity. Finally, we establish a relationship between rigidity for complex local systems and automorphic rigidity, answering a conjecture of Yun in the tame complex setting.
- [9] arXiv:2405.18282 [pdf, ps, html, other]
-
Title: A Topological Approach to Simple Descriptions of Convex Hulls of Sets Defined by Three QuadricsComments: 30 pages, 6 figuresSubjects: Algebraic Geometry (math.AG); Optimization and Control (math.OC)
We study the convex hull of a set $S\subset \mathbb{R}^n$ defined by three quadratic inequalities. A simple way of generating inequalities valid on $S$ is to take nonnegative linear combinations of the defining inequalities of $S$. We call such inequalities aggregations. We introduce a new technique relating aggregations to properties of the spectral curve, i.e. the curve defined by the vanishing of the determinant polynomial, and utilizing known spectral sequences (Agrachev and Lerario, 2012). We find new families beyond those identified in (Dey, Muñoz, and Serrano, 2022; Blekherman, Dey, and Sun, 2024), where the convex hull is defined by aggregations. We also prove a characterization of the emptiness of the projective variety defined by $3$ homogeneous quadratics in terms of the spectral curve generalizing results of (Agrachev, 1988).
- [10] arXiv:2405.18313 [pdf, ps, html, other]
-
Title: Automorphisms and deformations of regular semisimple Hessenberg varietiesComments: 48 pagesSubjects: Algebraic Geometry (math.AG)
We show that regular semisimple Hessenberg varieties can have moduli. To be precise, suppose $X$ is a regular semisimple Hessenberg variety, which is a divisor in the flag variety $G/B$, where $G$ is a simple algebraic group of rank $r$ over $\mathbb{C}$. Then we show that the space $\mathrm{H}^1(X,TX)$ of first order deformations of $X$ has dimension $r-1$ except in type $A_2$. (In type $A_2$, the Hessenberg varieties in question are all isomorphic to the permutahedral toric surface. So $\dim\mathrm{H}^1(X,TX) = 0$.) We also show that the connected component of the automorphism group of $X$ is the maximal torus of $G$, and we show that $\mathrm{H}^i(X,TX) = 0$ for $i \geq 2$.
In type $A$, we can give an even more precise statement determining when two regular semisimple Hessenberg varieties, which are divisors in $G/B$, are isomorphic. We also compute the automorphism groups explicitly in type~$A_{n-1}$ in the terms of stabilizer subgroups of the action of the symmetric group $S_{n}$ on the moduli space $M_{0,n+1}$ of smooth genus $0$ curves with $n + 1$ marked points. Using this, we describe the moduli stack of the regular semisimple Hessenberg varieties $X$ explicitly as a quotient stack of $M_{0,n+1}$.
We prove several analogous results for Hessenberg varieties in generalized flag varieties. In type $A$, these are used in the proofs of the results for $G/B$, but they are also independently interesting because the associated moduli stacks are related directly to the action of $S_n$ on $M_{0,n}$. - [11] arXiv:2405.18389 [pdf, ps, other]
-
Title: Stability of the Parabolic Picard SheafSubjects: Algebraic Geometry (math.AG)
Let $X$ be a smooth irreducible complex projective curve of genus $g\,\geq\, 2$, and let $D\,=\,x_1+\dots+x_r$ be a reduced effective divisor on $X$. Denote by $U_{\alpha}(L)$ the moduli space of stable parabolic bundles on $X$ of rank $n$, determinant $L$ of degree $d$ with flag type $\{k^i_j\}$ and generic parabolic weights $\{\alpha^i_j\}$ at each $x_i$, $1\, \leq\, i\,\leq \, r$. There is a universal family on $X\times U_{\alpha}(L)$; its direct image to $U_{\alpha}(L)$ is called the parabolic Picard sheaf. We prove that the parabolic Picard sheaf is stable.
- [12] arXiv:2405.18398 [pdf, ps, html, other]
-
Title: Unramified Gromov-Witten and Gopakumar-Vafa invariantsComments: 61 pagesSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph); Symplectic Geometry (math.SG)
Kim, Kresch and Oh defined unramified Gromov-Witten invariants. For a threefold, Pandharipande conjectured that they are equal to Gopakumar-Vafa invariants (BPS invariants) in the case of Fano classes and primitive Calabi-Yau classes. We prove the conjecture using a wall-crossing technique. This provides an algebro-geometric construction of Gopakumar-Vafa invariants in these cases.
New submissions for Wednesday, 29 May 2024 (showing 12 of 12 entries )
- [13] arXiv:2405.17645 (cross-list from math.CO) [pdf, ps, other]
-
Title: Degrees of P-Grothendieck polynomials and regularity of Pfaffian varietiesComments: 24 pagesSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
We prove a formula for the degrees of Ikeda and Naruse's $P$-Grothendieck polynomials using combinatorics of shifted tableaux. We show this formula can be used in conjunction with results of Hamaker, Marberg, and Pawlowski to obtain an upper bound on the Castelnuovo-Mumford regularity of certain Pfaffian varieties known as vexillary skew-symmetric matrix Schubert varieties. Similar combinatorics additionally yields a new formula for the degree of Grassmannian Grothendieck polynomials and the regularity of Grassmannian matrix Schubert varieties, complementing a 2021 formula of Rajchgot, Ren, Robichaux, St. Dizier, and Weigandt.
- [14] arXiv:2405.17826 (cross-list from math.NT) [pdf, ps, html, other]
-
Title: Canonical local heights and Berkovich skeletaSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We discuss canonical local heights on abelian varieties over non-archimedean fields from the point of view of Berkovich analytic spaces. Our main result is a refinement of Néron's classical result relating canonical local heights with intersection multiplicities on the Néron model. We also revisit Tate's explicit formulas for Néron's canonical local heights on elliptic curves. Our results can be viewed as extensions of Tate's formulas to higher dimensions.
- [15] arXiv:2405.18141 (cross-list from hep-th) [pdf, ps, other]
-
Title: One-form symmetries and the 3d $\mathcal{N}=2$ $A$-model: Topologically twisted indices for any $G$Comments: 75 pages + appendices, 8 figuresSubjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG)
We study three-dimensional $\mathcal{N}=2$ supersymmetric Chern-Simons-matter gauge theories with a one-form symmetry in the $A$-model formalism on $\Sigma_g\times S^1$. We explicitly compute expectation values of topological line operators that implement the one-form symmetry. This allows us to compute the topologically twisted index on the closed Riemann surface $\Sigma_g$ for any real compact gauge group $G$. All computations are carried out in the effective $A$-model on $\Sigma_g$, whose ground states are the so-called Bethe vacua. We discuss how the 3d one-form symmetry acts on the Bethe vacua, and how its 't Hooft anomaly constrains the vacuum structure. In the special case of the $SU(N)_K$ $\mathcal{N}=2$ Chern-Simons theory, we obtain results for the $(SU(N)/\mathbb{Z}_r)^{\theta}_K$ $\mathcal{N}=2$ Chern-Simons theories, for all non-anomalous $\mathbb{Z}_r \subseteq \mathbb{Z}_N$ subgroups of the center of the gauge group, and with the associated $\mathbb{Z}_r$ $\theta$-angle turned on, reproducing and extending various results in the literature. In particular, we find an interesting mixed 't Hooft anomaly between gravity and the $\mathbb{Z}_r$ one-form symmetry of the $SU(N)_K$ theory (for $N$ even, $\frac{N}{r}$ odd and $\frac{K}{r}$ even). This plays a key role in our derivation of the Witten index, which we explicitly compute for any $N$, $K$ and $r$ in terms of refinements of Jordan's totient function. Our results lead to precise conjectures about integrality of indices, which appear to have a strong number-theoretic flavour. Note: this paper directly builds upon unpublished notes by Brian Willett from 2020.
- [16] arXiv:2405.18152 (cross-list from math.NT) [pdf, ps, html, other]
-
Title: A geometric approach to functional equations for general multiple Dirichlet series over function fieldsComments: 42 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Sawin recently gave an axiomatic characterization of multiple Dirichlet series over the function field $\mathbb{F}_{q}(T)$ and proved their existence by exhibiting the coefficients as trace functions of specific perverse sheaves. However, he did not prove that these series actually converge anywhere, instead treating them as formal power series.
In this paper, we prove that these series do converge in a certain region, and moreover that the functions obtained by analytically continuing them satisfy functional equations.
For convergence, it suffices to obtain bounds on the coefficients, for which we use the decomposition theorem for perverse sheaves, in combination with the Kontsevich moduli space of stable maps to construct a suitable compactification.
For the functional equations, the key identity is a multi-variable generalization of the relationship between a Dirichlet character and its Fourier transform; in the multiple Dirichlet series setting, this uses a density trick for simple perverse sheaves and an explicit formula for intermediate extensions from the complement of a normal crossings divisor. - [17] arXiv:2405.18212 (cross-list from math.NT) [pdf, ps, html, other]
-
Title: Some Singular Examples of Relative Langlands DualitySubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Relative Langlands duality structures the study of automorphic periods around a putative duality between certain group actions of Langlands dual reductive groups.
In this article, after giving a self-contained exposition of the relevant ingredients from relative Langlands duality, we examine this proposal for some interesting pairs of singular spaces: one pair arising from the cone of nilpotent (3 x 3)-matrices, and the other pair arising from the nilpotent cone of (2,2,2)-tensors. These relate, respectively, to Rankin--Selberg integrals discovered by Ginzburg and Garrett. - [18] arXiv:2405.18231 (cross-list from math.NT) [pdf, ps, html, other]
-
Title: Relative Langlands Duality of Toric PeriodsSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
The relative Langlands program introduced by Ben-Zvi--Sakellaridis--Venkatesh posits a duality structure exchanging automorphic periods and L-functions, which can be encoded by pairs of dual Hamiltonian actions. In work of the author and Venkatesh, an extension of the definitions to certain singular spaces was made with the objective of restoring duality in some well-known automorphic integrals. In this companion article we apply these definitions to establish duality in the context of affine toric varieties, and study finer structures regarding regularization and stabilizers that are instructive for the general case.
- [19] arXiv:2405.18245 (cross-list from math.NT) [pdf, ps, other]
-
Title: Prismatic $F$-crystals and Wach modulesComments: Comments are always welcome!Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We show a direct equivalence between the category of analytic/completed prismatic $F$-crystals on the absolute prismatic site of a small (unramified at $p$) base ring and the category of relative Wach modules from the theory of $(\varphi, \Gamma)$-modules. The result is obtained by showing that the data of the Galois action on a Wach module is equivalent to the data of a prismatic stratification on the underlying $\varphi$-module.
Cross submissions for Wednesday, 29 May 2024 (showing 7 of 7 entries )
- [20] arXiv:2210.14146 (replaced) [pdf, ps, html, other]
-
Title: On Postnikov completeness for replete topoiComments: Revision based on referee comments. 14 pages; comments still welcomeSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG)
We show that the hypercomplete $\infty$-topos associated with any replete topos is Postnikov complete, positively answering a question of Bhatt and Scholze; this will be deduced from the Milnor sequences for sheaves of spaces on replete topoi that we construct. As a corollary, we generalize a result of Toën on affine stacks.
- [21] arXiv:2304.10135 (replaced) [pdf, ps, html, other]
-
Title: Morphisms of character varietiesComments: 9 pages, comments welcome! Minor editsSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
Let $k$ be a field, let $H \subset G$ be (possibly disconnected) reductive groups over $k$, and let $\Gamma$ be a finitely generated group. Vinberg and Martin have shown that the induced morphism of character varieties \[ \underline{\mathrm{Hom}}_{k\textrm{-gp}}(\Gamma, H)//H \to \underline{\mathrm{Hom}}_{k\textrm{-gp}}(\Gamma, G)//G \] is finite. In this note, we generalize this result (with a significantly different proof) by replacing $k$ with an arbitrary locally noetherian scheme, answering a question of Dat. Along the way, we use Bruhat-Tits theory to establish a few apparently new results about integral models of reductive groups over discrete valuation rings.
- [22] arXiv:2402.02869 (replaced) [pdf, ps, other]
-
Title: Heat Equations and Hearing the Genus on p-adic Mumford Curves via Automorphic FormsComments: 40 pages. Typos fixed, some statements rectifiedSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
A self-adjoint operator is constructed on the $L_2$-functions on the $K$-rational points $X(K)$ of a Mumford curve $X$ defined over a non-archimedean local field $K$. It generates a Feller semi-group, and the corresponding heat equation describes a Markov process on $X(K)$. Its spectrum is non-positive, contains zero and has finitely many limit points which are the only non-eigenvalues, and correspond to the zeros of a given regular differential 1-form on $X(K)$. This allows to recover the genus of X from the spectrum. The hyperelliptic case allows in principle an explicit genus extraction.
- [23] arXiv:2404.08954 (replaced) [pdf, ps, html, other]
-
Title: Weak abelian direct summands and irreducibility of Galois representationsComments: Title changedSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Representation Theory (math.RT)
Let $\rho_\ell$ be a semisimple $\ell$-adic representation of a number field $K$ that is unramified almost everywhere. We introduce a new notion called weak abelian direct summands of $\rho_\ell$ and completely characterize them, for example, if the algebraic monodromy of $\rho_\ell$ is connected. If $\rho_\ell$ is in addition $E$-rational for some number field $E$, we prove that the weak abelian direct summands are locally algebraic (and thus de Rham). We also show that the weak abelian parts of a connected semisimple Serre compatible system form again such a system.
Using our results on weak abelian direct summands, when $K$ is totally real and $\rho_\ell$ is the three-dimensional $\ell$-adic representation attached to a regular algebraic cuspidal automorphic, not necessarily polarizable representation $\pi$ of $\mathrm{GL}_3(\mathbb{A}_K)$ together with an isomorphism $\mathbb{C}\simeq \overline{\mathbb{Q}}_\ell$, we prove that $\rho_\ell$ is irreducible. We deduce in this case also some $\ell$-adic Hodge theoretic properties of $\rho_\ell$ if $\ell$ belongs to a Dirichlet density one set of primes. - [24] arXiv:2405.15211 (replaced) [pdf, ps, html, other]
-
Title: Duality, K\"unneth formulae, and integral transforms in microlocal geometryComments: 29 pages, 3 figures. This article extends certain results from arXiv:2210.06643, which no longer includes them since version 4. Notably, the Künneth formula, duality, and the Fourier-Mukai property are now established for microsheaves, as summarized in Theorem 1.4. A mistake regarding what is known about Theorem 1.8 from the Floer literature is also fixedSubjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG)
We study the dualizability of sheaves on manifolds with isotropic singular supports $\operatorname{Sh}_\Lambda(M)$ and microsheaves with isotropic supports $\operatorname{\mu sh}_\Lambda(\Lambda)$ and obtain a classification result of colimit-preserving functors by convolutions of sheaf kernels. Moreover, for sheaves with isotropic singular supports and compact supports $\operatorname{Sh}_\Lambda^b(M)_0$, the standard categorical duality and Verdier duality are related by the wrap-once functor, which is the inverse Serre functor in proper objects, and we thus show that the Verdier duality extends naturally to all compact objects $\operatorname{Sh}_\Lambda^c(M)_0$ when the wrap-once functor is an equivalence, for instance, when $\Lambda$ is a full Legendrian stop or a swappable Legendrian stop.