P-adic L-functions for GL(3)

This paper constructs the first $p$-adic $L$-functions for regular algebraic cuspidal automorphic representations of $\mathrm{GL}_3(\mathbb{Q})$ of general type by utilizing spherical varieties to build a Betti Euler system that interpolates critical values and confirms conjectures by Coates-Perrin-Riou and Panchishkin.

The Gist

Imagine you are a detective trying to solve a massive, cosmic mystery. The "crime scene" is a set of numbers called L-functions. These aren't just random numbers; they are deep, complex formulas that hold the secrets to the structure of numbers, geometry, and even the shape of the universe.

For decades, mathematicians have known that these complex formulas have "special moments" (called critical values) where they reveal crucial information about the universe. However, these complex numbers are hard to work with directly.

The Goal: The $p$-adic L-function
The detectives wanted to create a "translation device." They wanted to take these complex, hard-to-handle numbers and translate them into a new language called $p$-adic numbers. In this new language, the numbers behave more like integers (whole numbers), making them easier to study, compare, and use to prove deep theorems about the universe. This translation device is called a $p$-adic L-function.

The Problem: The "General Type" Puzzle
For simple cases (like $n=1$ or $n=2$), mathematicians had already built this translation device decades ago. But for more complex cases (like $n=3$, which is the focus of this paper), the device was missing.

Why? Because most previous attempts relied on the complex formulas having a special "mirror symmetry" (self-duality) or being built from simpler, known pieces (functorial lifts). But the authors of this paper were interested in the "General Type" cases: the messy, asymmetrical, unique formulas that don't have a mirror and aren't built from simpler parts. These were the "ghosts" that no one had been able to catch before.

The Solution: A New Construction Kit
Loeffler and Williams (the authors) built a brand-new machine to catch these ghosts. Here is how they did it, using some creative analogies:

1. The "Betti Euler System" (The Conveyor Belt)

Imagine you have a factory (a geometric space called a "locally symmetric space"). Inside this factory, there are conveyor belts carrying special packages called Eisenstein classes.

• The Old Way: Previous mathematicians tried to grab these packages one by one. They could grab a package for a specific number $j$, but they couldn't grab the whole line of packages at once, and they couldn't guarantee the packages wouldn't fall apart (lose their "integrality") as they moved.
• The New Way: The authors built a conveyor belt system (a "norm-compatible system"). They realized that if they used a specific type of package called a "Motivic Eisenstein class" (which is like a pre-packaged, indestructible gift), they could move the whole line of packages from a smaller factory ($GL_2$) to a bigger, more complex factory ($GL_3$) without them breaking.

2. The "Branching Law" (The Adapter Plug)

To move the packages from the small factory to the big one, they needed an adapter.

• Think of the small factory as having a specific type of plug (a representation of $GL_2$).
• The big factory has a different socket (a representation of $GL_3$).
• The authors used a mathematical "branching law" (an adapter) to show exactly how the small plug fits into the big socket. They proved that for every specific "weight" or "shape" of the package, there is a perfect fit.

3. The "Machine" (The Interpolation Engine)

The authors built a machine that takes these packages, runs them through the adapter, and pushes them into the big factory.

• The Magic: They didn't just push one package; they pushed a whole family of packages simultaneously.
• The Result: This machine produced a single, smooth, continuous object (a measure) that acts like a master key. This key can unlock any of the special moments (critical values) of the complex formula, no matter which specific number you are looking at.

4. The "Smoothness" Check (The Final Polish)

There was one last hurdle. The machine produced a result, but the authors needed to make sure the "translation" was perfect. They needed to ensure that the numbers on the other side matched the theoretical predictions exactly, not just "close enough."

• They used a clever trick: They compared their new machine's output for a known, simple case (a "symmetric square" lift) against existing, trusted results.
• Since the machine worked perfectly for the simple case, and the "shape" of the machine is consistent, they proved it must work perfectly for the complex, "General Type" cases too.

The Big Picture

In simple terms, this paper is the first time anyone successfully built a universal translator for a specific, very difficult class of mathematical objects ($GL_3$ automorphic representations) that don't have the usual symmetries.

• Before: We could only translate the "easy" or "symmetrical" cases.
• Now: We have a tool that works for the "hard," "asymmetrical," and "unique" cases.

Why does this matter?
This translation device is the foundation for Iwasawa Theory, a field that tries to understand how numbers behave in infinite towers of extensions. By proving these $p$-adic L-functions exist, the authors have opened the door to proving major conjectures (like the Birch and Swinnerton-Dyer conjecture, but for higher dimensions) that were previously out of reach. They didn't just find a needle in a haystack; they built a machine that can find any needle in any haystack, even the ones that look nothing like the others.

Technical Summary

Here is a detailed technical summary of the paper "p-adic L-functions for GL(3)" by David Loeffler and Chris Williams.

1. Problem Statement and Context

The Core Problem:
The paper addresses the existence and construction of $p$-adic $L$-functions for Regular Algebraic Cuspidal Automorphic Representations (RACARs) of $GL_3(\mathbb{A}_{\mathbb{Q}})$. While $p$-adic $L$-functions are well-understood for $GL_1$ (Dirichlet characters) and $GL_2$ (modular forms), the case for $GL_n$ with $n \ge 3$ has remained largely open, particularly for representations of "general type" (those not arising as functorial lifts from smaller groups, such as symmetric squares).

Specific Challenges:

• Interpolation: The goal is to construct a $p$-adic measure on $\mathbb{Z}_p^\times$ that interpolates the critical values of the complex $L$-function $L(\Pi \times \eta, s)$ at specific integers $s$ and Dirichlet characters $\eta$.
• Ordinarity Conditions: Previous constructions for $n \ge 3$ often required the representation to be "Borel-ordinary" (ordinary for the full Borel subgroup) or restricted to specific functorial lifts. The authors aim to work under the weaker condition of $P_i$-near-ordinarity (ordinary along a maximal parabolic subgroup $P_i$ with Levi factor $GL_i \times GL_{3-i}$).
• Algebraicity: A prerequisite is proving the algebraicity of the critical $L$-values (up to periods), a conjecture by Coates and Perrin-Riou refined by Panchishkin.

2. Methodology

The authors employ a novel synthesis of automorphic forms, cohomology of locally symmetric spaces, and the theory of spherical varieties.

A. The "Betti Euler System" Approach:
Instead of constructing the $p$-adic $L$-function directly via $p$-adic interpolation of $L$-values, the authors construct a norm-compatible system of classes in the Betti cohomology of locally symmetric spaces.

• Source: They utilize Beilinson's motivic Eisenstein classes ($Eis^{mot}$) on $GL_2$ (specifically for the group $H = GL_2 \times GL_1$).
• Realization: These are realized as Betti-Eisenstein classes ($Eis$) in the cohomology of the locally symmetric space $Y(GL_2)$.
• Transfer: They construct a "machine" to push these classes from $GL_2$ to $GL_3$ using the embedding $\iota: H \hookrightarrow GL_3$.

B. Key Technical Innovations:

1. Spherical Varieties and Branching Laws:

   • The construction relies on the geometry of the spherical variety $GL_3/H$.
   • They utilize a specific branching law (restriction of the $GL_3$ representation $V_\lambda$ to $H$) to define a pairing between the cohomology of $GL_3$ and the Eisenstein classes of $GL_2$.
   • This pairing allows them to "spread out" the cohomology classes over the group algebra $\mathbb{Z}_p[\Delta_n]$, effectively creating a measure.

2. Norm Compatibility and Integrality:

   • A major hurdle in previous works (e.g., Mahnkopf, Geroldinger) was controlling the denominators of Eisenstein classes to ensure the resulting object is a bounded measure rather than a distribution.
   • The authors use $c$-smoothed Eisenstein classes (where $c$ is an auxiliary integer) to ensure integrality.
   • They prove a norm relation (Theorem 6.10): The pushforward of the classes at level $n+1$ relates to the Hecke operator $U_{p,1}$ acting on the classes at level $n$. This allows them to define a limit in the Iwasawa algebra $\Lambda = \mathbb{Z}_p[[\mathbb{Z}_p^\times]]$.

3. Handling the "Manin Relations":

   • The construction yields a family of measures $\Xi[j]$ for each critical integer $j$.
   • Using the theory of spherical varieties and results from [LRZ], they prove that these measures are Tate twists of each other: $\int x^j d\Xi[0] = \int d\Xi[j]$. This allows them to construct a single measure interpolating all critical values, rather than a separate one for each integer.

4. Local Zeta Integrals:

   • To identify the interpolated values with $L$-values, they compute global Rankin-Selberg integrals as products of local zeta integrals.
   • They explicitly compute the local integrals at $p$ (Theorem 8.7) and at $\infty$ (Lemma 8.10), matching the result to the Coates-Perrin-Riou interpolation formula.

3. Key Contributions and Results

Main Theorems:

• Theorem A (Algebraicity): Proves the Algebraicity Conjecture (Conjecture 1.1) for $GL_3$. Specifically, it confirms that the critical values $L(\Pi \times \eta, t)$ are algebraic up to explicit periods $\Omega^\pm_\Pi$ and modified Euler factors at infinity.

  • Significance: This resolves a gap in the work of Mahnkopf and Kasten-Schmidt by identifying the "inexplicit" factor at infinity with the precise Coates-Perrin-Riou factor.

• Theorem B (Existence of $p$-adic $L$-functions): Proves Conjecture 1.2 (Panchishkin's refinement of Coates-Perrin-Riou) for $GL_3$.

  • Left-Half ($Crit^-$): If $\Pi$ is $P_1$-nearly-ordinary (ordinary along the parabolic with Levi $GL_1 \times GL_2$), there exists a bounded $p$-adic measure $L_p^-(\Pi)$ on $\mathbb{Z}_p^\times$ interpolating $L(\Pi \times \eta, -j)$.
  • Right-Half ($Crit^+$): If $\Pi$ is $P_2$-nearly-ordinary (ordinary along $GL_2 \times GL_1$), there exists a measure $L_p^+(\Pi)$ interpolating $L(\Pi \times \eta, j+1)$.
  • Generality: The construction works for arbitrary cohomological weights, allows arbitrary ramification at $p$ (as long as near-ordinarity holds), and makes no self-duality assumption.

Specific Technical Achievements:

• First "General Type" Construction: This is the first construction of $p$-adic $L$-functions for RACARs of $GL_n$ ($n>2$) that are not functorial lifts (e.g., not symmetric squares of modular forms).
• Single Measure for All Critical Points: Unlike previous approaches that constructed separate distributions for each critical integer, this paper constructs a single bounded measure that interpolates the entire critical strip (within the near-ordinary region).
• Optimality: The authors argue their conditions are "optimal," meaning $p$-adic $L$-functions as bounded measures likely do not exist if the near-ordinarity condition fails.

4. Significance

• Resolution of Long-Standing Conjectures: The paper provides a complete proof of the Coates-Perrin-Riou and Panchishkin conjectures for $GL_3$, a major open problem in Iwasawa theory.
• New Paradigm for Higher Rank: By utilizing the theory of spherical varieties and Betti cohomology, the authors establish a framework that bypasses the difficulties of constructing motivic Eisenstein classes for higher-rank groups directly. This "Betti shadow" approach is potentially generalizable to $GL_n$ for $n > 3$.
• Applications to Arithmetic: The existence of these $p$-adic $L$-functions is a crucial prerequisite for formulating and proving Iwasawa Main Conjectures for $GL_3$, which relate $p$-adic $L$-functions to Selmer groups and Galois representations.
• Flexibility: The ability to handle non-self-dual representations and arbitrary ramification at $p$ significantly broadens the scope of automorphic forms to which Iwasawa theory can be applied.

In summary, Loeffler and Williams have successfully bridged the gap between the cohomological theory of automorphic forms and $p$-adic analysis for $GL_3$, providing the first robust construction of $p$-adic $L$-functions for general automorphic representations in rank 3.