Theta Operator Equals Fontaine Operator on Modular Curves

Inspired by Pan's work, this paper provides a new proof that an overconvergent modular eigenform of weight $1+k$with an irreducible Galois representation is classical if and only if its representation is de Rham at$p$, achieved by demonstrating that the theta operator coincides with the Fontaine operator.

The Gist

Here is an explanation of the paper "Theta Operator Equals Fontaine Operator on Modular Curves" by Yuanyang Jiang, translated into everyday language with creative analogies.

The Big Picture: A Detective Story in Math

Imagine the world of numbers as a massive, ancient library. Inside this library, there are two distinct types of books:

1. Classical Books: These are the "old masters." They are well-behaved, follow strict rules, and have been studied for centuries. In math, these are called Classical Modular Forms.
2. Overconvergent Books: These are "modern drafts." They are looser, more flexible, and can stretch beyond the usual boundaries. They are called Overconvergent Modular Forms.

For a long time, mathematicians have asked a tricky question: "How can we tell if one of these flexible, modern drafts is actually just a disguised version of one of the strict, classical books?"

The author of this paper, Yuanyang Jiang, solves this mystery by finding a secret "translation key" that connects two different languages used to describe these books.

---

The Two Languages: The "Theta" and the "Fontaine"

To solve the mystery, we need to understand two special tools (or operators) that mathematicians use to analyze these numbers.

1. The Theta Operator ($\theta$): The "Stress Test"

Think of the Theta operator as a stress test or a quality control machine.

• If you feed a "Classical Book" into this machine, it behaves predictably.
• If you feed it a "Modern Draft" that is not actually classical, the machine reacts differently.
• In simple terms, the Theta operator checks if a number pattern has a specific kind of "smoothness" or structure. If it passes the test, it's likely a classical form.

2. The Fontaine Operator ($N$): The "De Rham Detector"

Now, imagine a different tool used by a different team of mathematicians (the "Galois" team). They don't look at the books directly; they look at the shadow the book casts on a wall (this shadow is called a Galois Representation).

• The Fontaine operator is a detector that checks if this shadow has a specific property called being "de Rham."
• If the shadow is "de Rham," it means the underlying object is very well-behaved and structured. If it's not, the object is chaotic.

The Big Question: Does the shadow being "de Rham" (Fontaine says "Yes") mean the book is "Classical" (Theta says "Yes")?

---

The Breakthrough: "They Are the Same Person!"

For decades, mathematicians suspected the answer was "Yes," but proving it was like trying to prove two people are twins when they speak different languages and live in different cities.

Jiang's Discovery:
Jiang proves that the Theta Operator and the Fontaine Operator are actually the same mechanism, just viewed from two different angles.

• The Analogy: Imagine you have a mysterious machine in a basement.
  • If you look at it from the North Door (the world of Modular Forms), you see a lever labeled Theta. You pull it, and it checks if a book is classical.
  • If you look at it from the South Door (the world of Galois Representations), you see a lever labeled Fontaine. You pull it, and it checks if a shadow is "de Rham."
  • Jiang opens the walls and shows that North Door and South Door lead to the exact same machine. The lever is the same lever.

The Result:
Because they are the same machine, the result is automatic:

If the shadow is "de Rham" (Fontaine says yes), then the book MUST be "Classical" (Theta says yes).

This solves a major conjecture (the Fontaine-Mazur conjecture) for a specific type of number pattern.

---

How Did He Do It? The "Perfectoid" Bridge

To prove that the North Door and South Door are the same, Jiang had to build a bridge between two very different mathematical worlds.

1. The Infinite Library: He used a concept called a Perfectoid Space. Imagine taking the library of modular curves and zooming in infinitely close, until the shelves blur into a continuous, perfect fluid. This is a "Perfectoid" space.
2. The Period Map: On this infinite fluid, there is a map (a GPS) that connects the fluid back to a simple shape called a Flag Variety (which looks like a sphere or a line).
3. The Translation: Jiang showed that on this simple shape, the complex math of the "Fontaine" side and the "Theta" side collapse into a single, simple equation.

He essentially said: "If we zoom in far enough, the complicated difference between these two operators disappears, and we can see they are identical."

Why Does This Matter?

In the real world of mathematics, this is a huge deal because:

• It Simplifies Proof: Before this, proving that a number pattern was "classical" required very heavy, complicated machinery. Now, you just need to check one condition (is it de Rham?), and the rest follows automatically.
• It Unifies Fields: It connects the study of Geometry (shapes and curves) with Number Theory (properties of numbers). It shows that deep down, the rules governing shapes and the rules governing numbers are speaking the same language.
• It's a New Tool: The method Jiang used (using "b-cohomology" and "perverse sheaves") is like finding a new type of wrench that fits bolts in other parts of the library too. It might help solve other unsolved mysteries in the future.

Summary in One Sentence

Yuanyang Jiang proved that two different mathematical tools used to check if a number pattern is "well-behaved" are actually the same tool, meaning that if a number pattern's shadow looks perfect, the pattern itself must be a classic masterpiece.

Technical Summary

Here is a detailed technical summary of the paper "Theta Operator Equals Fontaine Operator on Modular Curves" by Yuanyang Jiang.

1. Problem Statement

The paper addresses a central question in the $p$-adic Langlands program and the theory of overconvergent modular forms: the classicality of overconvergent modular eigenforms.

Specifically, let $f$ be an overconvergent modular eigenform of weight $1+k$(where$k \in \mathbb{Z}{\geq 1}$) associated with an irreducible Galois representation$\rho_f: \text{Gal}{\mathbb{Q}} \to \text{GL}_2(\overline{\mathbb{Q}}_p)$. The **Fontaine-Mazur conjecture** predicts that if$\rho_f$is de Rham at$p$, then$f$ must be a classical modular form.

While this result was previously established for forms of finite slope (by Coleman) and generally proven by Lue Pan (in [Pan26]) using different methods, Jiang aims to provide a new, simpler, and more geometric proof. The core of the problem lies in characterizing the "de Rhamness" of $\rho_f$ in terms of the geometry of the modular curve and the action of specific operators on overconvergent cohomology.

2. Methodology

The proof relies on Geometric Sen Theory and the Perfectoid Modular Curve framework developed by Scholze, Pan, and Pilloni. The methodology proceeds through the following steps:

• Geometric Realization: The author realizes the Galois representation $\rho_f$ inside Emerton's completed cohomology $\tilde{H}^1(K_p, \mathbb{Q}_p)$. By restricting to the locally analytic vectors and applying the Hodge-Tate period map $\pi_{HT}: X_{K_p} \to \text{Fl} \cong \mathbb{P}^1$, the problem is translated from arithmetic Galois representations to sheaves on the flag variety $\text{Fl}$.
• Functorial Translation: Using the functor $V_B$ (introduced by Pilloni and Rodriguez Camargo), the author relates equivariant sheaves on the flag variety to automorphic sheaves on the modular curve. This allows the computation of cohomology groups associated with $\rho_f$ via sheaf cohomology on $\text{Fl}$.
• Identification of Operators:
  • The Arithmetic Sen operator ($\Theta$) acts on the completed cohomology. Its eigenspaces correspond to the Hodge-Tate weights (0 and $k$).
  • The Fontaine operator ($N$) is a morphism between these eigenspaces that detects de Rhamness (a representation is de Rham iff $N=0$).
  • The Theta operator ($\theta_k$) is the classical differential operator acting on overconvergent modular forms (defined by Coleman).
• Geometric Comparison: The core technical innovation is proving that the Geometric Fontaine operator (defined via the Sen operator on the period sheaf $B_{dR}$) coincides exactly with the Theta operator acting on the relevant sheaves of overconvergent modular forms.

3. Key Contributions

A. The Main Theorem (Theorem 1.5 & 3.12)

The paper establishes a precise equality between two seemingly distinct operators:
$$N^k = \theta_k$$
Where:

• $N^k$ is the Fontaine operator acting on the geometric realization of the Galois representation (specifically, the map between the weight 0 and weight $k$ components of the completed cohomology).
• $\theta_k$ is the classical theta operator acting on the space of overconvergent modular forms.

This is proven by constructing a "Geometric Fontaine operator" between perverse sheaves on the flag variety and showing it is induced by the theta operator via the $q$-expansion principle and properties of the BGG (Bernstein-Gelfand-Gelfand) complex.

B. Simplification via $b$-Cohomology

A significant methodological contribution is the use of $b$-cohomology (cohomology with respect to the Borel subgroup).

• In previous work (Pan [Pan26]), the proof required non-canonical liftings and complex computations involving the full structure of the period sheaf.
• Jiang shows that after taking $b$-cohomology, the relevant objects become perverse sheaves on the flag variety. This simplifies the structure significantly, allowing the Fontaine operator to be identified directly with the theta operator without needing to construct explicit lifts.

C. Perverse Sheaf Formalism

The author introduces a perverse $t$-structure on the derived category of sheaves on the flag variety. This allows the decomposition of the cohomology of the period sheaf into simple perverse sheaves (involving $i_*$ and $j_!$ functors), making the action of the Sen operator transparent and computable.

4. Key Results

1. Classicality Theorem (Theorem 1.1 / Corollary 5.9):
   Let $f$ be an overconvergent modular eigenform of weight $1+k$($k \geq 1$) with an irreducible associated Galois representation$\rho_f$. Then:
   $$f \text{ is classical} \iff \rho_f \text{ is de Rham at } p.$$
   Proof Sketch: $\rho_f$ is de Rham iff the Fontaine operator $N$ vanishes. Since $N = \theta_k$, this is equivalent to $\theta_k$ vanishing on the relevant space. By the $q$-expansion principle, $\theta_k$ is injective on the space of overconvergent forms modulo classical forms. Thus, $N=0$ implies the form lies in the kernel of the map to the "new" overconvergent part, forcing it to be classical.

2. Geometric Description of the Fontaine Operator:
   The Fontaine operator is explicitly described as the composition:
   $$N^k: N_0 \xrightarrow{\text{projection}} i_* \omega_{1-k, \text{sm}} \xrightarrow{\theta_k} i_* \omega_{1+k, \text{sm}} \cong N_k$$
   This provides a concrete geometric interpretation of the arithmetic condition of being de Rham.

3. Relation to BGG Complex:
   The paper demonstrates that the relationship between the weight 0 and weight $k$ components of the cohomology is governed by the BGG complex, and the "error term" (the Fontaine operator) is precisely the differential operator connecting these components.

5. Significance

• Conceptual Clarity: The paper offers a more transparent and geometric proof of the classicality theorem compared to [Pan26]. By identifying the Fontaine operator directly with the Theta operator, it bridges the gap between $p$-adic Hodge theory (Fontaine operators) and the theory of modular forms (Theta operators) in a direct, structural way.
• Generalizability: The author notes that the use of $b$-cohomology and the resulting symmetries are generalizable to Shimura varieties beyond modular curves. This suggests a pathway to proving similar classicality results for Hilbert modular forms and other higher-dimensional Shimura varieties.
• Technical Advancement: The rigorous use of condensed mathematics (solid formalism) and perverse sheaves on the flag variety provides a robust framework for handling derived categories of locally analytic vectors, which is becoming a standard tool in modern $p$-adic Langlands theory.
• Simplicity: The proof avoids the heavy machinery of non-canonical liftings used in previous approaches, relying instead on the intrinsic properties of the period sheaf and the geometry of the flag variety.

In summary, Jiang's paper provides a definitive geometric explanation for why the de Rham condition implies classicality for overconvergent modular forms, unifying the arithmetic Fontaine operator with the geometric Theta operator through the lens of perverse sheaves on the flag variety.