The \delta-invariant theory of Hecke correspondences on \mathcal A_g

arXiv2208.00286MaRDI QIDQ6406550FDOQ6406550

Adrian Vasiu, Alexandru Buium

Publication date: 30 July 2022

Abstract: Let $p$ be a prime, let $Ngeq3$ be an integer prime to $p$, let $R$ be the ring of $p$-typical Witt vectors with coefficients in an algebraic closure of $mathbb{F}_p$, and consider the correspondence $mathcalA{\text{'}}_{g,1,N,R}ightrightarrowsmathcal{A}_{g,1,N,R}$ obtained by taking the union of all prime to $p$ Hecke correspondences on Mumford's moduli scheme of principally polarized abelian schemes of relative dimension $g$ endowed with symplectic similitude level-$N$ structure over $R$-schemes. It is well-known that the coequalizer $mathcal{A}_{g,1,N,R}/mathcalA{\text{'}}_{g,1,N,R}$ of the above correspondence exists and is trivial in the category of schemes, i.e., is $extSpec(R)$. We construct and study in detail such a coequalizer (categorical quotient) in a more refined geometry (category) referred to as {it $delta$-geometry}. This geometry is in essence obtained from the usual algebraic geometry by equipping all $R$-algebras with {it $p$-derivations}. In particular, we prove that our substitute of $mathcal{A}_{g,1,N,R}/mathcalA{\text{'}}_{g,1,N,R}$ in $delta$-geometry has the same `dimension' as $mathcal{A}_{g,1,N,R}$, thus solving a main open problem in the work of Barcu{a}u--Buium. We also give applications to the study of various Zariski dense loci in $mathcal{A}_{g,1,N,R}$ such as of isogeny classes and of points with complex multiplication. To prove our results we develop a Serre--Tate expansion theory for {it Siegel $delta$-modular forms} of arbitrary genus which we then combine with old and new results from the geometric invariant theory of multiple quadratic forms and of multiple endomorphisms.

Mathematics Subject Classification ID

Eigenvalues, singular values, and eigenvectors (15A18) Multilinear algebra, tensor calculus (15A69) Vector and tensor algebra, theory of invariants (15A72) Determinants, permanents, traces, other special matrix functions (15A15) Abelian varieties of dimension (> 1) (11G10) Complex multiplication and moduli of abelian varieties (11G15) Group actions on varieties or schemes (quotients) (14L30) Group actions on affine varieties (14R20) Modular representations and characters (20C20) Quadratic forms over general fields (11E04) Siegel modular groups; Siegel and Hilbert-Siegel modular and automorphic forms (11F46) Modular and Shimura varieties (14G35) Geometric invariant theory (14L24) Affine spaces (automorphisms, embeddings, exotic structures, cancellation problem) (14R10) Matrix equations and identities (15A24) Representation theory for linear algebraic groups (20G05) Structure of modular groups and generalizations; arithmetic groups (11F06) Other groups and their modular and automorphic forms (several variables) (11F55) Arithmetic aspects of modular and Shimura varieties (11G18) Abelian varieties and schemes (14K99) Classical groups (algebro-geometric aspects) (14L35) Discontinuous groups and automorphic forms (11F99) Isogeny (14K02) Hecke-Petersson operators, differential operators (several variables) (11F60)

This page was built for publication: The $\delta$-invariant theory of Hecke correspondences on $\mathcal A_g$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6406550)