Modular Theta Correspondence Overview

• Modular theta correspondence is an algebraic framework linking automorphic representations, cycles, or moduli via theta functions and Weil representations in arithmetic geometry.
• It leverages explicit constructions like rank filtrations and Bernstein centers to associate irreducible representations across type II dual pairs and compute multiplicities through modular representation theory.
• Its applications span both representation theory and arithmetic geometry, enabling explicit correspondences in moduli spaces and geometric theta lifts on Hilbert modular surfaces.

A modular theta correspondence is an explicit algebraic or representation-theoretic transformation connecting objects—typically automorphic representations, cycles, or moduli—across different symmetry types, often via the algebraic or analytic machinery of theta functions, modular forms, or the Weil representation. In the modular context, these correspondences are constructed not only over the complex numbers but uniformly in families, over coefficient rings (such as ℓ-modular or integral settings), moduli of parameters, and for various types of dual pairs, giving rise to deep connections in arithmetic geometry, modular representation theory, and the theory of automorphic forms (Moss et al., 2023, Droschl, 18 Jan 2026, 0910.4668).

1. Definitions and Foundational Structures

The modular theta correspondence, in both representation-theoretic and arithmetic geometric settings, arises from the interplay between the Weil representation, Heisenberg group modules, moduli spaces with theta-structures, and dual pairs of groups. Given a non-archimedean local field $F$ of residue characteristic $p$, and a commutative $\mathbb{Z}[1/p]$-algebra $R$, type II dual pairs $(G_n,G_m)$ are formed by general linear groups $G_n=\mathrm{GL}_n(F), G_m=\mathrm{GL}_m(F)$ with $m\leq n$.

The $R$-valued Weil representation is constructed as the smooth $R[G_n\times G_m]$-module of compactly supported, locally constant functions $C_c^{\infty}(\mathrm{Mat}_{n\times m}(F),R)$, with group action $(g_n,g_m)\cdot f: x\mapsto f(g_n^{-1} x g_m)$. The theta correspondence associates irreducible smooth $R$-representations of $G_n$ and $G_m$ via explicit constructions on this module, and generalizes the framework of Howe duality and local theta lifting to families and modular settings (Moss et al., 2023).

For abelian varieties, modular theta correspondences are realized as algebraic correspondences (e.g., $\Phi_\ell$) between moduli spaces of principally polarized abelian varieties with theta structures, governed by explicit systems of algebraic equations and the geometry of their torsion subgroups (0910.4668).

2. Rank Filtration, Bernstein Center, and Family Structure

A core component in the construction for type II dual pairs is the rank filtration of the Weil representation. Matrix spaces $\mathrm{Mat}_{n \times m}(F)$ decompose into orbits $O_k$ of matrices of rank $k$, yielding a decreasing filtration $\omega^{(k)} = C_c^{\infty}(U_k,R)$ with $U_k=\cup_{i\geq k} O_i$. Each associated graded piece, $\mathrm{gr}_k\omega \simeq C_c^{\infty}(O_k,R)$, is induced from stabilizers of representative matrices and is directly related to representations of the Levi subgroups.

The endomorphism rings of these induced models are isomorphic to the (Bernstein) center $Z_R(G_k)$, and this facilitates the construction of a canonical ring homomorphism $\theta_R^\# : Z_R(G_n) \to Z_R(G_m)$—the "theta-pull-back"—which encodes the central control of the theta correspondence. This morphism is characterized by compatibility with the action on the Weil module and, via scalar extension and preservation of depth (Moy–Prasad decomposition), extends to arbitrary $R$ (Moss et al., 2023).

In the classical or $\ell$-banal cases ($R=\mathbb{C}$ or algebraically closed field of non-critical characteristic), this construction recovers the known local theta correspondence as a closed immersion at the level of supercuspidal supports.

3. Modular and Integral Structures: Rationality and Descent

Modular theta correspondence theory is built to function over general coefficient rings, including fields of positive characteristic, integral models, and families. Recent advances settle the rationality properties of the Weil representation and the corresponding theta lifts:

• The Weil representation admits realization over explicit number fields, determined by the residue characteristic and the additive character used, and over modular coefficient fields $\mathbb{F}_\ell$ or rings of integers $\mathcal{O}_E[1/p2]$ (Trias, 22 Jan 2026).
• For any perfect field $R$ (e.g., an algebraic closure or finite field of characteristic $\ell\neq p$), the validity of the local theta correspondence over $R$ is equivalent to its validity over $\bar{R}$, the algebraic closure. Every irreducible theta-lift has its rationality field contained in the compositum of those of the source representation and the Weil representation. For $\ell$-modular fields, all relevant Schur indices are $1$, hence each lift is defined over its minimal field of realization (Trias, 22 Jan 2026).

The scalar extension behavior is completely controlled: the process of theta lifting commutes with field extension, and the properties of irreducibility, non-vanishing, and uniqueness of the correspondence are equivalent over $R$ and its algebraic closure.

4. Modular Type II Theta Correspondence and Multiplicities

In the context of $\ell$-modular local theta correspondence for type II pairs over a finite or $p$-adic field $F$, the $\ell$-modular Weil representation is $S_K(\mathrm{Mat}_{n,m})$, the space of $K$-valued functions with $K=\overline{\mathbb{F}_\ell}$. The representation-theoretic theta correspondence is realized by the evaluation of the theta-Hom space

$$m(\pi,\pi') = \dim_K \mathrm{Hom}_{G_n\times G_m}( \omega_{n,m},\,\pi\otimes\pi')$$

for irreducible $K$-representations $\pi$, $\pi'$ of $G_n$, $G_m$ respectively.

A key phenomenon in the modular setting, absent in complex coefficients, is the emergence of non-trivial multiplicities in the correspondence. These are governed by the modular representation theory of symmetric groups: the multiplicities $m(\pi,\pi')$ are determined by the K-decomposition numbers $d_{\lambda,\mu}$, themselves calculated as symmetric group branching coefficients of partial permutation modules indexed by $\ell$-regular partitions and governed by combinatorial formulas such as the modular Pieri rule. This reduces the theta correspondence to a problem in the modular representation theory of $S_n \times S_m$, with explicit computation possible for $\operatorname{rank} \leq d \ell$ (Droschl, 18 Jan 2026).

Structure	Modular Setting	Complex Setting
Theta multiplicity $m(\pi,\pi’)$	May exceed $1$, via symmetric group theory	Always $0$ or $1$ (Howe duality)
Skeleton parameterization	By $\ell$-regular partitions $(\lambda,\mu)$	By unramified or supercuspidal type
Arithmetic consequences	Reflects automorphic congruence phenomena	Classical local matching

5. Geometric and Moduli-Theoretic Modular Correspondences

In arithmetic geometry, modular theta correspondences arise as explicit algebraic correspondences between moduli spaces, such as the map

$$\Phi_{\ell}: \mathcal{M}_{\ell n} \to \mathcal{M}_n \times \mathcal{M}_n$$

for polarized abelian varieties with theta structures of type $n$. Quotienting by maximally isotropic $\ell$-torsion in the theta group structure produces two abelian varieties, corresponding to the two factors in the target. The image of the modular correspondence is defined by explicit algebraic systems combining Riemann’s quartic relations and theta-sum relations in coordinates, with degree, symmetry, and computational properties determined by the geometry of isotropic subgroups in the commutator pairing on torsion points. In low genus, this recovers classical modular and Siegel modular polynomials (0910.4668).

6. Analytic and Geometric Modular Theta Lifts

In the real-analytic and geometric setting, as for Hilbert modular surfaces (quotients of type $SO(2,2)$), the modular theta correspondence is expressed via geometric theta lifts: pairings between theta kernels (constructed from Schwartz forms of given weight under the Weil representation) and geometric cycles such as Hirzebruch–Zagier cycles. The resulting generating series—encoding intersection numbers and linking numbers of cycles in the Borel–Serre compactification—form holomorphic modular forms whose modularity and weight are imposed by the properties of the Schwartz kernel and the nature of the theta lift (Funke et al., 2011).

This geometric correspondence interweaves topological, analytic, and modular data; for example, the generating function for the intersection numbers of capped cycles is a modular form of weight $2$, with the analytic theta kernel determined by Kudla–Millson theory.

7. Comparison with Classical and Integral Correspondences

The modular theta correspondence in families refines the classical (complex) Howe correspondence in several directions:

• The canonical ring homomorphism $\theta_R^\#$ between Bernstein centers is described in terms of the Langlands parameter moduli, inducing a closed immersion on spectra and recovering the classical correspondence for $R=\mathbb{C}$ or banally characteristic $R$ (Moss et al., 2023).
• Surjectivity of $\theta_R^\#$ for arbitrary $R$ is established via local gamma factors and recursive reduction to lower rank cases. For tamely ramified situations, surjectivity follows from explicit descriptions using algebraic geometry of invariant rings.
• Modular correspondences account for $\ell$-torsion congruences and degeneration phenomena: the emergence of multiplicity higher than $1$ in theta lifts (absent in the archimedean theory) is controlled by the modular representation theory of symmetric groups, reflecting “genuine ℓ-congruences among automorphic forms and modify[ing] the usual behavior of Godement–Jacquet L–factors and γ–factors” (Droschl, 18 Jan 2026).

In summary, the modular theta correspondence generalizes classical theta correspondence across families of coefficient rings and structures, tying together representation theory, arithmetic geometry, and the theory of moduli, with new phenomena such as higher multiplicities and explicit arithmetic congruences controlled by symmetric group combinatorics and moduli of Langlands parameters. Its formulation over general coefficient rings, surjectivity properties, and rationality results ensure its applicability in both local and global arithmetic settings (Moss et al., 2023, Droschl, 18 Jan 2026, Trias, 22 Jan 2026, 0910.4668, Funke et al., 2011).