Higher Hida Theory

• Higher Hida theory is the extension of classical Hida theory that constructs p-adic families from higher coherent cohomology across modular and Shimura settings.
• It employs idempotent projectors and Hecke correspondences to isolate ordinary parts and form finite projective modules over Iwasawa weight algebras.
• The framework enables precise interpolation, control theorems, and duality results, which underpin constructions of p-adic L‑functions and the study of Galois representations.

Higher Hida theory is the extension of classical ordinary Hida theory from degree-zero spaces of modular forms to $p$-adic families arising from coherent cohomology in higher degrees, and, in several higher-rank settings, from ordinary or $\mu$-ordinary loci on Shimura varieties. In the classical template one projects onto the $U_p$-invertible summand by the idempotent $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$ and organizes the resulting ordinary forms into modules over an Iwasawa weight algebra. Higher Hida theory retains this ordinary-projector philosophy but replaces $H^0$ by higher coherent cohomology, perfect complexes, or more general ordinary Hecke modules that interpolate across weight space. This framework now appears for Siegel and Hilbert modular varieties, Drinfeld modular curves, and $\mu$-ordinary Shimura varieties of Hodge type (Loeffler et al., 2019, Grossi, 2021, Salazar et al., 10 Jul 2025, Zhang, 2021).

1. Classical template and the passage to higher degree

Classical Hida theory, in the number-field case, starts with the modular curve $X_1(Np^r)$ over $\mathbf Q_p$, the line bundle $\omega$, and the Hecke operator $U_p$ acting on

$\mu$0

The ordinary idempotent is defined by

$\mu$1

projecting onto the $\mu$2-invertible summand. The corresponding weight space

$\mu$3

parametrizes continuous characters, and a universal character $\mu$4 recovers the classical line bundles $\mu$5 after specialization. The control theorem asserts that ordinary parts of $\mu$6 arise by specializing a single finite-flat $\mu$7-algebra, and for $\mu$8 these ordinary parts do not depend on the $\mu$9-power level (Salazar et al., 10 Jul 2025).

Higher Hida theory preserves this architecture while changing the cohomological input. Instead of restricting attention to $U_p$0, it studies ordinary parts of coherent cohomology in positive degrees. On the Drinfeld modular curve, the two relevant coherent groups are

$U_p$1

which are the only nonzero coherent cohomology groups on the curve (Salazar et al., 10 Jul 2025). On the Siegel threefold for $U_p$2, one studies

$U_p$3

and for regular weights the ordinary part is concentrated in degree $U_p$4 (Loeffler et al., 2019). For Hilbert modular varieties of degree $U_p$5, the relevant coherent cohomology runs through $U_p$6, producing modules $U_p$7 that interpolate ordinary parts of $U_p$8 (Grossi, 2021).

The defining extension is therefore cohomological rather than merely formal: ordinary $U_p$9-adic families are built not only from holomorphic sections but from higher coherent classes, often packaged as perfect complexes over weight space.

2. Geometric input: automorphic sheaves, ordinary loci, and Igusa towers

The geometric realization of higher Hida theory depends on an ordinary-type locus and a $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$0-adic family of sheaves over that locus.

For $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$1, let $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$2 be a toroidal compactification of the Siegel threefold over $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$3, $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$4 its boundary divisor, and $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$5 the universal semi-abelian surface. The vector bundle

$e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$6

has Hodge filtration

$e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$7

An algebraic representation $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$8 of the Siegel parabolic determines a canonical extension $e_{\mathrm{ord}}=\lim_{n\to\infty} U_p^{n!}$9 to a locally free sheaf on $H^0$0, and over the $H^0$1-ordinary locus $H^0$2 the Igusa tower

$H^0$3

trivializes the conormal bundle of the canonical subgroup. This produces Banach sheaves $H^0$4 parametrized by a two-variable weight $H^0$5 (Loeffler et al., 2019).

For Hilbert modular varieties in the totally split case, one works with the compactified Shimura variety

$H^0$6

where $H^0$7, together with the universal semi-abelian scheme $H^0$8 and the Hodge bundle

$H^0$9

A cohomological weight $\mu$0 defines an automorphic sheaf $\mu$1. Over the ordinary locus $\mu$2, the $\mu$3-adic Igusa tower

$\mu$4

leads to the invertible $\mu$5-module

$\mu$6

whose specialization recovers $\mu$7 on the ordinary locus. The geometry is refined by partial Hasse invariants

$\mu$8

with divisors $\mu$9, which control the stratification used in the cohomological construction (Grossi, 2021).

For Shimura varieties of Hodge type, the ordinary locus may be empty, and the relevant substitute is the $X_1(Np^r)$0-ordinary locus

$X_1(Np^r)$1

A partial Hasse invariant cuts out precisely the non-$X_1(Np^r)$2-ordinary locus, and over $X_1(Np^r)$3 there is a $X_1(Np^r)$4-Igusa tower

$X_1(Np^r)$5

with Galois group $X_1(Np^r)$6. The Hodge–Tate map identifies classical sections of automorphic bundles $X_1(Np^r)$7 with $X_1(Np^r)$8-equivariant functions on the Igusa tower, making possible a $X_1(Np^r)$9-ordinary Hida theory over the weight space

$\mathbf Q_p$0

(Zhang, 2021).

In the function-field case of Drinfeld modular curves, the ordinary locus $\mathbf Q_p$1 similarly supports families of line bundles

$\mathbf Q_p$2

for continuous characters $\mathbf Q_p$3, interpolating the integral powers $\mathbf Q_p$4 (Salazar et al., 10 Jul 2025).

3. Ordinary correspondences and idempotent projectors

The central operator-theoretic input is the construction of ordinary projectors from Hecke correspondences or Frobenius operators that are compact or locally finite on the relevant cohomology.

For $\mathbf Q_p$5, the usual $\mathbf Q_p$6-operator coming from the Klingen-level correspondence acts compactly on the Banach sheaves $\mathbf Q_p$7 and on each cohomology group of the complex computing $\mathbf Q_p$8. Because $\mathbf Q_p$9 is locally finite on cohomology, the limit

$\omega$0

exists and cuts out the unit-root subspace (Loeffler et al., 2019).

For Hilbert modular varieties, the higher-degree construction requires partial operators. Given a subset $\omega$1, one forms

$\omega$2

acting on complexes built from twists by the divisors $\omega$3. After applying the idempotent

$\omega$4

the resulting complex is independent of the auxiliary choices and perfect of Tor-amplitude in $\omega$5 (Grossi, 2021).

The Drinfeld case makes the degree dependence especially explicit. Let

$\omega$6

be the Iwahori-at-$\omega$7 correspondence with universal isogeny $\omega$8. One first defines a naive correspondence

$\omega$9

and then normalizes it by

$U_p$0

On the ordinary locus this decomposes as a Frobenius part $U_p$1, acting on degree-$U_p$2 cohomology, and a $U_p$3-operator, acting on degree-$U_p$4 cohomology. Since these operators are locally finite on

$U_p$5

one obtains the idempotents

$U_p$6

defining the ordinary parts in degrees $U_p$7 and $U_p$8 (Salazar et al., 10 Jul 2025).

For Shimura varieties of Hodge type, the $U_p$9-ordinary projector is built from partial operators $\mu$00 indexed by simple positive coroots. Their product

$\mu$01

is compact and integral, invertible on the $\mu$02-ordinary locus, and yields

$\mu$03

which kills the non-$\mu$04-ordinary part (Zhang, 2021).

Related $\mu$05-ordinary theories replace the Borel-ordinary operator by projectors attached to a parabolic subgroup $\mu$06. In Siegel and unitary settings these take the form

$\mu$07

reflecting a parabolic notion of ordinarity rather than the classical one (Liu et al., 2018, Marcil, 2024).

4. Interpolation, control, and algebraic structure

The outcome of the projector formalism is a family of ordinary modules or perfect complexes over weight space, together with specialization isomorphisms recovering classical cohomology.

Setting	Weight algebra or space	Interpolated ordinary object
Classical $\mu$08	$\mu$09	$\mu$10
$\mu$11 Siegel threefold	$\mu$12	degree-$\mu$13 ordinary coherent cohomology
Hilbert modular variety	$\mu$14	$\mu$15 interpolating $\mu$16
Drinfeld modular curve	$\mu$17	$\mu$18 in degree $\mu$19, $\mu$20 in degree $\mu$21
Hodge type Shimura variety	$\mu$22	$\mu$23-ordinary $\mu$24-families

For $\mu$25, Pilloni’s existence and control theorem states that, for $\mu$26 sufficiently close to classical regular weights, the ordinary part

$\mu$27

is concentrated in degree $\mu$28, is a finite projective $\mu$29-module, and specializes canonically to

$\mu$30

with Hecke equivariance. Equivalently, one obtains a single perfect complex of $\mu$31-modules of amplitude $\mu$32, interpolating the ordinary part of $\mu$33 for regular cohomological weights (Loeffler et al., 2019).

For Hilbert modular varieties, the complexes

$\mu$34

lie in $\mu$35, and their cohomology in degree $\mu$36 is denoted $\mu$37. The interpolation theorem gives

$\mu$38

hence

$\mu$39

Each $\mu$40 is finitely generated, torsion-free, and $\mu$41-projective of finite rank (Grossi, 2021).

For Drinfeld modular curves, one sets

$\mu$42

and defines

$\mu$43

These are direct summands finite over the semilocal, non-Noetherian Iwasawa algebra $\mu$44. For $\mu$45,

$\mu$46

and for $\mu$47,

$\mu$48

so both cohomological degrees are interpolated (Salazar et al., 10 Jul 2025).

For Hodge-type Shimura varieties, Zhang proves that

$\mu$49

is finite projective over $\mu$50, and for an arithmetic weight $\mu$51,

$\mu$52

For sufficiently regular algebraic $\mu$53, higher cohomology vanishes and the specialization map is an isomorphism (Zhang, 2021).

5. Duality, $\mu$54-adic Hodge theory, and arithmetic applications

Higher Hida theory is not only an interpolation statement; it also carries structural dualities and arithmetic output.

In the Drinfeld setting, the family version of Serre duality is explicit. There is a perfect pairing of $\mu$55-modules

$\mu$56

whose specialization recovers the usual Serre duality pairing between

$\mu$57

(Salazar et al., 10 Jul 2025).

Cais’s work on the geometry of Hida families provides a $\mu$58-adic Hodge-theoretic underpinning for ordinary families. It constructs $\mu$59-adic Dieudonné and crystalline cohomology, proves $\mu$60-adic comparison isomorphisms with de Rham and étale cohomology, gives a cohomological construction of the family of $\mu$61-modules attached to Hida’s ordinary $\mu$62-adic étale cohomology, supplies a new geometric proof of Hida’s finiteness and control theorems, and establishes compatible $\mu$63-adic duality theorems in Dieudonné, crystalline, and étale realizations (Cais, 2014).

On the analytic side, the theory has become a tool for constructing $\mu$64-adic $\mu$65-functions from coherent cohomology. For $\mu$66, Loeffler–Pilloni–Skinner–Zerbes use higher Hida theory to $\mu$67-adically interpolate periods of non-holomorphic automorphic forms and to construct $\mu$68-adic $\mu$69-functions for the degree $\mu$70 spin $\mu$71-function of automorphic representations of $\mu$72 and for the degree $\mu$73 $\mu$74-function of $\mu$75 (Loeffler et al., 2019). In the Hilbert case, the higher Hida modules are described as essential in constructing $\mu$76-adic $\mu$77-functions via coherent cohomology classes, including Asai and triple-product $\mu$78-functions, and in formulating Bloch–Kato conjectures in higher rank (Grossi, 2021).

Adjacent ordinary theories lead to related arithmetic applications. Non-cuspidal Hida theory for Siegel modular forms is used to construct improved $\mu$79-adic $\mu$80-functions and prove a derivative formula at a semi-stable trivial zero, verifying a higher-rank analogue of the Mazur–Tate–Teitelbaum/Greenberg conjecture for standard $\mu$81-functions of $\mu$82-ordinary Siegel cusp forms (Liu et al., 2018). For unitary groups, $\mu$83-ordinary Hida families together with Schneider–Zink types support a doubling-method construction of $\mu$84-adic $\mu$85-functions interpolating standard $\mu$86-values (Marcil, 2024).

The Drinfeld theory also points toward Galois-theoretic applications: each ordinary summand $\mu$87 and $\mu$88 is expected to carry a Galois representation valued in $\mu$89, interpolating the $\mu$90-adic Galois representations associated to classical Drinfeld cuspforms, and local–global compatibility at places $\mu$91 is expected for these families (Salazar et al., 10 Jul 2025).

6. Variants, scope, and common ambiguities

The current literature shows that “higher Hida theory” is not a single construction with uniform inputs. In one direction, it means interpolation of higher coherent cohomology, as in the Siegel, Hilbert, and Drinfeld settings (Loeffler et al., 2019, Grossi, 2021, Salazar et al., 10 Jul 2025). In another direction, it denotes higher-rank ordinary theories on more general Shimura varieties, where the cohomological realization may remain in $\mu$92 but the ordinary geometry is replaced by the $\mu$93-ordinary locus and its associated parabolic $\mu$94 (Zhang, 2021). A further extension replaces Borel ordinarity by $\mu$95-ordinarity, as in the Siegel and unitary-group theories attached to a parabolic subgroup $\mu$96 (Liu et al., 2018, Marcil, 2024).

A common ambiguity concerns the adjective “higher.” In the coherent-cohomological literature it refers to higher degrees of automorphic cohomology; in higher-rank ordinary theories it may refer instead to the group or the parabolic structure. Another nearby but distinct theme is higher codimension Iwasawa theory for tensor products of Hida families. Lei–Palvannan study Galois representations such as $\mu$97 and $\mu$98, two $\mu$99-adic $U_p$00-functions arising from distinct Panchishkin conditions, and codimension-two cycles

$U_p$01

attached to the ideal generated by these $U_p$02-adic $U_p$03-functions. This is built from Hida families, but its central objects are pseudo-null modules and height-two cycles rather than higher coherent cohomology (Lei et al., 2019).

The term also intersects with local characterization results for Hida families. For genus-two Siegel modular forms, Hida families arising from stable Yoshida lifts can be characterized by density of de Rham specializations at singular weights $U_p$04 and by local decomposability at $U_p$05 of the associated $U_p$06-adic Galois representation, under pseudo-nullity assumptions on stricter Selmer groups (Deo et al., 24 Feb 2026). These results are not a construction of higher coherent cohomology, but they illustrate how ordinary $U_p$07-adic families interact with local $U_p$08-adic Hodge-theoretic conditions.

Several open directions are explicit in the existing works. In the Drinfeld setting, analogues for higher-rank Drinfeld and more general function-field Shimura varieties are expected to follow similar lines (Salazar et al., 10 Jul 2025). In the tensor-product setting, the unbalanced $U_p$09-variable $U_p$10 remain conjectural (Lei et al., 2019). For $U_p$11-ordinary unitary groups, the big $U_p$12-ordinary Hecke algebra is conjecturally finite-flat over $U_p$13, while the Borel case is known by Hida (Marcil, 2024).

Taken together, these developments show that higher Hida theory has become a cohomological and geometric framework for packaging ordinary automorphic data into $U_p$14-adic families over weight space, with control theorems, dualities, and arithmetic applications that extend far beyond the original degree-zero theory.