Hilbert modular Eisenstein congruences of local origin

This paper establishes the existence of Eisenstein congruences between parallel weight Hilbert eigenforms and Eisenstein series over arbitrary totally real fields, demonstrating that these congruences arise from special values of Hecke $L$-functions and determining conditions under which they can be satisfied by newforms.

The Gist

Imagine you are a master chef trying to create the perfect recipe for a complex dish called a "Hilbert Modular Form."

In the world of mathematics, these "dishes" are incredibly sophisticated functions that encode deep secrets about numbers. They are like musical compositions where every note (coefficient) tells a story about the structure of a specific number system (a "totally real field").

For decades, mathematicians have known a fascinating trick: sometimes, a very complex, "cusp" dish (which vanishes at the edges) tastes almost exactly like a simpler, "Eisenstein" dish (which is built from basic ingredients) when you taste them through a specific filter. This is called a congruence.

The paper you provided, by Dan Fretwell and Jenny Roberts, is like a new cookbook that explains how and when these complex dishes can be swapped for simpler ones, specifically in a high-dimensional, multi-flavored kitchen.

Here is the breakdown of their discovery using everyday analogies:

1. The Setting: A Multi-Flavored Kitchen

In the old days (classical number theory), mathematicians worked in a kitchen with just one flavor dimension (the rational numbers, $\mathbb{Q}$). They knew that a complex dish (like Ramanujan's $\Delta$ function) could be swapped for a simple one (Eisenstein series) if you looked at the ingredients through a specific "modulus" (like a sieve with holes of size 691).

This paper moves the kitchen to a multi-dimensional space (a "totally real field" $F$). Imagine instead of just tasting "sweet" or "sour," you are tasting a dish with $d$ different flavor profiles simultaneously. The "ingredients" are now spread out across a complex landscape of numbers.

2. The Problem: The "Local" Glitch

The authors are looking for a specific type of swap: a congruence of local origin.

• The Analogy: Imagine you are baking a cake. Usually, the flavor of the whole cake depends on the mix of all ingredients. But sometimes, the flavor is dominated by just one specific ingredient added at a specific step (a "local" factor).
• The Discovery: The authors prove that if you have a complex Hilbert dish and a simple Eisenstein dish, they will taste identical (modulo a prime number $l$) if a specific "local" condition is met. This condition involves the value of a special mathematical function (a Hecke L-function) at a specific point.

Think of the L-function as a "flavor meter." If the meter reads a value that is divisible by a specific prime number (meaning the flavor is "zero" or "weak" at that point), then the complex dish and the simple dish become indistinguishable to that prime.

3. The Recipe: The Constant Terms

To prove this, the authors had to do some heavy lifting in the kitchen: calculating the "constant terms" of their dishes.

• The Analogy: In cooking, the "constant term" is like the base broth or the stock that everything else is built upon. In classical math, calculating this is easy. In this multi-dimensional Hilbert kitchen, the "stock" is messy and hard to measure because the kitchen has strange corners (cusps) and complex geometry.
• The Breakthrough: In Section 3, the authors derived a new, explicit formula for this "stock." It's like finally writing down the exact recipe for the broth in this complex kitchen. They found that the strength of this broth is directly tied to the "flavor meter" (the L-function values) mentioned earlier.

4. The Main Event: Swapping the Dishes

Once they knew how to measure the broth, they could prove Theorem 1.1:

• The Scenario: You have a complex, high-weight Hilbert dish (level $mp$) and a simple Eisenstein dish (level $m$).
• The Condition: If the "flavor meter" (L-function) hits a specific weak spot (is divisible by a prime $l$), and a specific "local ingredient" (related to the prime $p$) behaves a certain way...
• The Result: There must exist a complex dish (a "newform") that tastes exactly like the simple dish when viewed through the prime $l$.

It's like saying: "If the sugar content in the base stock drops below a certain threshold, and the local spice is just right, then there is guaranteed to be a secret, complex recipe that tastes exactly like the plain vanilla cake."

5. The "Newform" Hunt: Finding the Real Deal

The paper doesn't just say "a dish exists." It asks: "Is there a pure dish?"
In math, you can often make a complex dish by mixing a simple one with a "leftover" from a smaller kitchen (this is called an "oldform"). The authors want to find a "newform"—a dish that is truly unique to this high-level kitchen and hasn't been copied from a simpler one.

Theorem 5.2 gives the rules for this:

• Necessary Conditions: If you find a pure dish that matches the simple one, the "flavor meter" must be weak, and the local ingredients must satisfy a specific equation.
• Sufficient Conditions: If the flavor meter is weak and the local ingredients satisfy that equation (plus a few safety checks to ensure the kitchen isn't too crowded), then you can guarantee a pure, unique dish exists.

Summary: Why Does This Matter?

Think of these congruences as bridges.

• On one side of the bridge is the simple, predictable world of Eisenstein series (where we know all the rules).
• On the other side is the complex, mysterious world of cusp forms (where deep secrets about number theory, like class numbers and Galois groups, are hidden).

This paper builds a sturdy bridge between these two worlds in a high-dimensional setting. It tells us exactly when the complex world "collapses" into the simple world. This is crucial because it allows mathematicians to use the simple side to prove deep, difficult theorems about the complex side, specifically regarding the Bloch-Kato Conjecture (a massive, unsolved puzzle about how numbers relate to geometry and symmetry).

In a nutshell: The authors figured out the exact recipe for when a complex, multi-dimensional number-theoretic object can be perfectly mimicked by a simpler one, provided a specific "local" condition in the number system is met. This helps unlock secrets about the fundamental structure of numbers.

Technical Summary

1. Problem Statement

The paper addresses the existence and characterization of Eisenstein congruences for Hilbert modular forms over an arbitrary totally real field $F$. Specifically, it investigates congruences between:

• Cuspidal Hilbert eigenforms of parallel weight $k \geq 3$ and level $mp$ (where $m$ is an arbitrary ideal and $p$ is a prime ideal not dividing $m$).
• Hilbert Eisenstein series of level $m$.

The central problem is to determine under what conditions such congruences exist, where the modulus of the congruence arises from special values of Hecke L-functions and their local Euler factors (hence "local origin"). While such congruences are well-understood in the classical case ($F=\mathbb{Q}$), the extension to Hilbert modular forms is complicated by:

1. The non-trivial structure of the narrow class group $Cl_F^+$.
2. The complexity of the cusps on Hilbert modular varieties.
3. The difficulty in calculating constant terms of Eisenstein series at arbitrary cusps.

The authors aim to generalize Ramanujan-type congruences (e.g., $\tau(n) \equiv \sigma_{11}(n) \pmod{691}$) and local-origin congruences to the Hilbert setting, providing necessary and sufficient conditions for the existence of newforms satisfying these congruences.

2. Methodology

The authors employ a combination of classical analytic number theory, geometric modular forms, and Galois representation theory.

• Explicit Constant Term Formulae (Section 3):

  • The authors generalize a formula by Ozawa to compute the constant terms of Hilbert Eisenstein series at arbitrary cusps.
  • They utilize the bijection between cusps and the ideal class group $Cl_F$ (Proposition 3.1) to handle the obstruction caused by the non-trivial class group.
  • They derive explicit formulae for the constant terms of Eisenstein series under level raising (from level $m$ to $mp$). This involves analyzing the action of the matrix $A_\lambda$ that maps the cusp $\infty$ to an arbitrary cusp $x$.
  • Crucially, they construct specific linear combinations of Eisenstein series, denoted $E_\delta$, which vanish at all cusps modulo a prime $\Lambda$ if specific L-value conditions are met.

• Geometric Mod $l$ Theory (Section 4):

  • The paper utilizes the geometric theory of Hilbert modular forms (following Andreatta, Goren, Lan, and Suh) to define mod $l$ Hilbert modular forms.
  • They employ Hilbert-Blumenthal abelian schemes and the $q$-expansion principle to lift mod $l$ cusp forms to characteristic zero.
  • A key tool is the Lan-Suh lifting theorem (Theorem 4.6), which guarantees that mod $l$ cusp forms of weight $k > 2$ can be lifted to characteristic zero cusp forms, provided the level structure is "small enough" (Definition 4.4).
  • They use the $\theta$-operator and partial Hasse invariants to analyze the filtration of modular forms and ensure injectivity in the lifting process.

• Galois Representations and Level Raising (Section 5):

  • To prove the existence of newforms, the authors attach $\Lambda$-adic Galois representations to the eigenforms.
  • They use the Ribet method (via the Brauer-Nesbitt theorem and Cebotarev density) to show that if a congruence exists, the residual Galois representation is reducible.
  • They apply Taylor's level-raising theorem to construct a newform of level $mp$ from a form of level $m$, provided specific local conditions at $p$ are satisfied.

3. Key Contributions

A. Explicit Constant Term Formulae

The authors provide the first explicit formulae for the constant terms of Hilbert Eisenstein series at all cusps for arbitrary totally real fields. This generalizes previous work (e.g., Ozawa) and reveals the direct connection between these constant terms and:

• Special values of Hecke L-functions: $L(\eta^{-1}\psi, 1-k)$.
• Euler factors at the prime $p$.
• Gauss sums and signatures of the characters.

B. Existence of Eisenstein Congruences (Theorem 5.1)

They prove that if a prime $\Lambda$ divides the product of an L-value and an Euler factor:
$$\text{ord}_\Lambda \left( L(\eta^{-1}\psi, 1-k) \cdot (\eta(p) - \psi(p)N(p)^k) \right) > 0$$
then there exists a normalized Hilbert eigenform $f$ of level $mp$ such that its Fourier coefficients are congruent to those of the Eisenstein series modulo $\Lambda$.

C. Necessary and Sufficient Conditions for Newforms (Theorem 5.2)

This is the paper's most significant result. It establishes a precise characterization for when such congruences can be satisfied by newforms (forms that do not arise from lower levels).

• Necessary Conditions: If a newform exists, then:
  1. The L-value condition holds.
  2. $\Lambda$ divides $(\eta(p) - \psi(p)N(p)^k)(\eta(p) - \psi(p)N(p)^{k-2})$.
• Sufficient Conditions: Conversely, if the above hold and an additional technical condition regarding the "level raising obstruction" (related to the size of the class group and specific Hecke eigenvalues) is met, then a newform exists.

4. Key Results

• Theorem 1.1 (Special Case): For a totally real field with narrow class number $h^+=1$ and prime level $\pi$, if $l > k+1$ and $l$ divides $L(\dots)(1-N(\pi)^k)$, there exists a Hilbert eigenform $f$ such that $a(q) \equiv 1 + N(q)^{k-1} \pmod \Lambda$.
• Theorem 5.2 (General Case): Provides the full necessary and sufficient conditions for the existence of newforms satisfying the congruence. It highlights two distinct cases for the local behavior at $p$:
  • Case A: $\eta(p) \equiv \psi(p)N(p)^k \pmod \Lambda$.
  • Case B: $\eta(p) \equiv \psi(p)N(p)^{k-2} \pmod \Lambda$.
    The proof involves analyzing the local components of the Galois representation at $p$ to distinguish these cases.

5. Significance

1. Generalization of Classical Results: The paper successfully extends the theory of Eisenstein congruences of "local origin" from $\mathbb{Q}$ to arbitrary totally real fields. This fills a gap in the literature, as previous results for Hilbert modular forms were limited to weight $k=2$ or lacked explicit constant term formulae.
2. Connection to Bloch-Kato Conjecture: The moduli of these congruences arise from special values of motivic L-functions (Hecke L-functions). The results provide concrete evidence and a framework for the Bloch-Kato conjecture in the context of Hilbert modular forms, linking $p$-divisibility of L-values to the Galois structure of Selmer groups.
3. Technical Advancement: The derivation of constant terms at arbitrary cusps is a major technical achievement, overcoming the obstructions posed by the class group. This methodology is likely applicable to other problems involving Hilbert modular forms and their L-functions.
4. Newform Theory: By establishing necessary and sufficient conditions for newforms, the paper clarifies the relationship between level raising and the existence of congruences, offering a pathway to study the arithmetic of Hilbert modular forms at higher levels.

In summary, Fretwell and Roberts provide a rigorous framework for understanding when and how Hilbert cusp forms can be congruent to Eisenstein series, grounding these congruences in the arithmetic of Hecke L-functions and providing a complete characterization for the existence of newforms in this context.