Search arXiv⌕ Search

arXiv · 2610.12384

Local Constancy of the Betti Automorphic Category over the Moduli of Curves

Abstract

Nadler and Yun conjectured that the automorphic side of the Betti geomet- ric Langlands correspondence forms a local system of categories over the moduli of curves. We prove this local constancy conjecture using purely microlocal methods, independent of the recently estab- lished Betti geometric Langlands conjecture. In particular, it follows that the Betti automorphic category depends only on the genus of the curve, verifying a conjecture of Ben-Zvi and Nadler.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Joakim Færgeman, Marius Kjærsgaard. 2026-10-08. Local Constancy of the Betti Automorphic Category over the Moduli of Curves. https://arxiv.org/abs/2610.12384

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Lawson Homology for projective varieties with C^*-action

We establish a decomposition of integral Lawson homology compatible with cycle class maps for projective varieties filtered by Zariski locally trivial affine space bundles over smooth projective bases. Resolving the graph closures produces liftings without a flatness assumption on the graph projections. We prove that these liftings are independent of the chosen resolutions and yield compatible projectors and filtrations on Lawson homology and singular homology. When the bases have dimension at most two, the comparison maps are injective, are isomorphisms in degrees $k>2p$, and have torsion free diagonal cokernels determined by the surface bases. In this case all integral Hodge homology classes are algebraic. For smooth projective varieties with a multiplicative group action and fixed components of dimension at most two, the ranks of the diagonal cokernels form a symmetric polynomial. We also describe the change of this polynomial under blow-ups and compute it for rational varieties obtained by blowing up quartic surfaces. We recover the known smooth motivic decomposition and distinguish its consequences from these refinements. Applications include cones, singular hypersurfaces, toric varieties, finite quotients, symmetric products, and Hilbert schemes of points on surfaces with integral Tate motives.

math.AG↗

Valuations and henselization

We study the extension of valuations centered in a local domain to its henseliza-tion. We prove that a valuation $ν$ centered in a local domain R uniquely determines a minimal prime H($ν$) of the henselization R h of R and an extension of $ν$ centered in R h /H($ν$), which has the same value group as $ν$. Our method, which assumes neither that R is noetherian nor that it is integrally closed, is to reduce the problem to the extension of the valuation to a quotient of a standard {é}tale local R-algebra and in that situation to draw valuative consequences from the observation that the Newton-Hensel algorithm for constructing roots of polynomials produces sequences that are always pseudo-convergent in the sense of Ostrowski. We then apply this method to the study of the approximation of elements of the henselization of a valued field by elements of the field and give a characterization of the henselian property of a local domain (R, m R) in terms of the limits of certain pseudo-convergent sequences of elements of m R for a valuation centered in it. Another consequence of our work is to establish in full generality a bijective correspondence between the minimal primes of the henselization of a local domain R and the connected components of the Riemann-Zariski space of valuations centered in R.

math.AG↗

Algebra of global sections of $ψ$-bundles on $\bar{M}_{0,n}$

We consider the ${\mathbb Z}^n$-graded algebra of global sections of line bundles generated by the standard line bundles $L_1,\ldots,L_n$ on $\bar{M}_{0,n}$. We find a simple presentation of this algebra by generators and quadratic relations. As an application we prove that the moduli space $\bar{M}_{0,n}[ψ]$ of $ψ$-stable curves of genus $0$ is Cohen-Macaulay and normal, and the natural map $\bar{M}_{0,n}\to \bar{M}_{0,n}[ψ]$ is a rational resolution.

math.AG↗