🔢 mathematics

Subconvexity Problem on $\operatorname{GL}_3$ over number fields: the twist aspect

The paper establishes a subconvexity bound for the central value of the twisted $L$ -function $L(\pi \otimes \chi, 1/2)$ associated with a fixed unitary cuspidal automorphic representation $\pi$ of $\operatorname{GL}_3$ over a number field $F$ , proving that the value is bounded by $N(\mathfrak{q})^{3/4-\kappa}$ for any $\kappa < 1/36$ as the norm of the prime conductor $\mathfrak{q}$ tends to infinity.

Original authors: Filippo Berta

Published 2026-02-24

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Filippo Berta

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to listen to a very faint radio signal (a mathematical object called an L-function) that is broadcasting from deep space. The signal carries important information about the structure of numbers.

The problem mathematicians face is that there is a lot of "static" or noise interfering with the signal. In the world of number theory, this noise comes from the size of the numbers involved (specifically, the "conductor" of the signal).

For a long time, mathematicians could only estimate how loud this signal was using a very rough, "safe" guess. They knew the signal wasn't too loud, but their guess was too conservative. It was like saying, "This radio station is definitely not louder than a jet engine," when in reality, it's barely louder than a whisper.

The Goal: The "Subconvexity" Problem
The goal of this paper is to prove that the signal is actually much quieter than the "safe" guess suggests. In math terms, they want to prove a subconvexity bound. Think of it as tuning your radio to cut through the static and hear the music clearly, proving the signal is weaker than previously thought.

The Specific Challenge: The "Twist"
Usually, mathematicians study these signals in a straight line. But this paper focuses on the "Twist Aspect." Imagine taking that radio signal and spinning it around a specific axis (multiplying it by a "character" $\chi$ ). This twisting makes the signal behave erratically, making it much harder to measure.

The author, Filippo Berta, is working in a complex landscape called a Number Field.

The Analogy: Imagine standard numbers (1, 2, 3...) are a flat, two-dimensional map. A "Number Field" is like a multi-dimensional, warped terrain with hills and valleys. Navigating this terrain is much harder than walking on a flat plain.

The Solution: The "GL(2)-Delta" Trick
To solve this, Berta uses a clever technique developed by Holowinsky and Nelson.

The Problem: You have a sum of millions of tiny numbers, and you need to know the total. Most of them cancel each other out, but the ones that don't are the "signal."
The Trick: He uses a mathematical "sieve" or "detector" (called a GL(2)-delta symbol). This detector is like a highly sensitive metal detector that only beeps when two specific numbers are exactly equal.
The Twist: By twisting the signal, he forces the numbers to interact in a way that creates a lot of "cancellation" (noise cancelling out noise).

The Journey of the Proof
The paper is a long, step-by-step construction of a machine to measure this signal:

Step 1: Setting the Stage (The Map): He defines the rules of the multi-dimensional terrain (the Number Field) and chooses a specific path (a "fundamental domain") to walk on so he doesn't get lost in infinite loops.
Step 2: The Key Identity (The Blueprint): He derives a master equation. This equation splits the problem into two parts:
- The Main Term: The part that gives the answer.
- The Error Term: The messy leftovers.
- Analogy: It's like separating the gold dust from the dirt in a river. He needs to prove the dirt (error) is small enough that the gold (the answer) shines through.
Step 3: The Voronoi Summation (The Magic Mirror): This is the most magical part. He uses a formula (Voronoi summation) that acts like a magic mirror. It takes a difficult, messy sum of numbers and reflects it into a different sum that is much easier to calculate. It's like turning a tangled knot of yarn into a straight line.
Step 4: Amplification (The Microphone): To make the signal even clearer, he uses "amplification." He doesn't just listen to one frequency; he listens to a whole choir of similar frequencies and combines them. This boosts the signal-to-noise ratio, making the true value stand out.

The Result
By combining these tools, Berta proves that for a specific type of signal (automorphic forms on GL3 over a number field), the signal is bounded by a specific power of the noise level.

He shows that the signal is roughly $N(q)^{3/4 - 1/36}$ .

The "safe" guess was $N(q)^{3/4}$ .
He proved it is actually smaller by a tiny fraction ( $1/36$ ).

Why Does This Matter?
In the world of mathematics, proving that a signal is smaller than the "safe" guess is a massive victory. It implies that the underlying numbers are more organized and less chaotic than we thought.

The Analogy: If you thought a storm was a Category 5 hurricane, but you proved it was actually a Category 4, you've gained a deeper understanding of the weather system.
This result helps solve other deep problems in number theory, such as understanding how prime numbers are distributed or solving equations that have stumped mathematicians for centuries.

In Summary
Filippo Berta took a very difficult problem involving complex, multi-dimensional number landscapes and a twisting signal. He built a sophisticated mathematical machine using "mirrors" (Voronoi formulas) and "sieves" (delta symbols) to filter out the noise. He successfully proved that the signal is quieter than anyone had previously managed to show, pushing the boundaries of our understanding of the hidden structure of numbers.

1. Problem Statement

The paper addresses the subconvexity problem for $L$ -functions associated with automorphic representations on $GL_3$ over a general number field $F$ . Specifically, it focuses on the twist aspect.

Context: Let $\pi$ be a fixed unitary cuspidal automorphic representation of $GL_3(\mathbb{A}_F)$ (where $\mathbb{A}_F$ is the ring of adeles of $F$ ). Let $\chi$ be a sequence of finite-order characters of $F^\times \backslash \mathbb{A}_F^\times$ with conductor equal to a prime ideal $\mathfrak{q} \subset \mathcal{O}_F$ , where the norm $N(\mathfrak{q}) \to \infty$ .
Goal: To establish a subconvex bound for the central value of the twisted $L$ -function:
$L(\pi \otimes \chi, 1/2) \ll N(\mathfrak{q})^{3/4 - \kappa}$
for some $\kappa > 0$ .
Significance: The convexity bound (derived from the functional equation and Phragmén-Lindelöf principle) gives an exponent of $3/4$ . Breaking this barrier (subconvexity) is a central problem in analytic number theory. While solved for $GL_2$ (by Michel-Venkatesh), the $GL_3$ case is significantly harder due to the lack of a simple spectral decomposition and the complexity of the Voronoi summation formulas. Previous results for $GL_3$ were limited to self-dual forms or specific number fields (like $\mathbb{Q}$ ).

2. Methodology

Berta generalizes the method introduced by Holowinsky and Nelson (2018) for $GL_3/\mathbb{Q}$ to arbitrary number fields. The core strategy involves:

A. Integral Representation and Periods

The $L$ -value is related to an adelic period integral:
$I(\phi, \chi, s) = \int_{F^\times \backslash \mathbb{A}^\times} P_\phi \begin{pmatrix} y & 1 \\ & 1 \end{pmatrix} \chi(y) |y|^{s-1/2} d^\times y$
where $P_\phi$ is a non-complete global Whittaker function derived from a cusp form $\phi \in \pi$ . The author chooses a specific test vector $\phi = \phi_0 u_{12}(\zeta_\mathfrak{q})$ , where $\phi_0$ is a global newform and $u_{12}(\zeta_\mathfrak{q})$ is a unipotent shift designed to introduce oscillation.

B. Approximate Functional Equation

Using an approximate functional equation, the problem is reduced to bounding the period integral over a specific range of the archimedean parameter $t \approx N(\mathfrak{q})^{-3/2}$ .

C. The Key Identity (Amplification and Reciprocity)

The core innovation is a "Key Identity" that splits the period integral into a main term ( $F_t$ ) and an error term ( $O_t$ ):
$N(\mathfrak{q})^{-1/2} I_t \approx F_t - O_t$

Additive Reciprocity: The author uses the fact that the character $\chi$ can be viewed as a trace function. By applying Poisson summation and additive reciprocity (swapping the roles of the conductor $\mathfrak{q}$ and the summation variable $\delta$ ), the oscillatory term $\psi(\gamma \delta^{-1} \zeta_\mathfrak{q})$ is transformed.
Voronoi Summation: The transformed sum allows the application of the Ichino-Templier Voronoi summation formula for $GL_3$ . This formula converts the sum over $\gamma$ into a dual sum involving Bessel transforms and Kloosterman sums.
Amplification: To optimize the bounds, the author introduces an amplification technique using auxiliary prime ideals $\mathcal{K}$ and $\mathcal{L}$ coprime to $\mathfrak{q}$ . This allows for the selection of parameters that minimize the resulting bounds.

D. Handling Number Fields

A major technical hurdle is the infinite unit group $\mathcal{O}_F^\times$ in general number fields.

Dirichlet's Unit Theorem: The author carefully constructs fundamental domains for $F^\times \backslash \mathbb{A}^\times$ and handles the integration over units using lattice counting arguments (Lemmas 3.2–3.4).
Bessel Transforms: The paper extends the theory of complex Bessel transforms (developed by Zhi Qi) to handle the archimedean places of general number fields, ensuring the necessary decay properties for the Voronoi formula.

3. Key Contributions

Generalization to Number Fields: The paper successfully extends the $GL_3$ subconvexity result from $\mathbb{Q}$ to any number field $F$ . This requires a sophisticated handling of the adele ring, class groups, and unit groups.
Non-Self-Dual Forms: Unlike previous results by Qi (which relied on self-duality and complex Bessel transforms), this method works for non-self-dual cuspidal representations $\pi$ .
Optimal Exponent: The paper achieves the exponent $\kappa < 1/36$ . This matches the best known result for $GL_3/\mathbb{Q}$ (Holowinsky-Nelson) and improves upon Munshi's earlier results for $GL_3$ over number fields (which had much smaller exponents like $1/308$ ).
Simplification of Arguments: By adapting the Holowinsky-Nelson framework, the author avoids some of the more intricate spectral analysis required in other approaches, relying instead on the "delta symbol" method and Voronoi summation.

4. Main Results

Theorem 1.1: Let $F$ be a number field, $\pi$ a fixed unitary cuspidal automorphic representation of $GL_3/F$ with conductor $C(\pi)$ coprime to the discriminant of $F$ . Let $\chi$ be a sequence of finite-order characters with prime conductor $\mathfrak{q}$ . Then:
$L(\pi \otimes \chi, 1/2) \ll N(\mathfrak{q})^{3/4 - \kappa}$
for any $\kappa < 1/36$ . The implied constant depends polynomially on $C(\pi)$ and the invariants of $F$ .

Technical Bounds:
The proof relies on bounding two main terms derived from the Key Identity:

Main Term ( $F_T$ ): Bounded by $N(\mathfrak{q})^{-1 + \epsilon} N(\mathfrak{q})^{3/4 - \kappa/2}$ .
Error Term ( $O_T$ ): Bounded by $N(\mathfrak{q})^{-1 + 3/4 - 1/36 + \epsilon}$ .
The optimization of parameters (sizes of amplification sets $\mathcal{K}, \mathcal{L}$ and the archimedean parameter $\Delta$ ) leads to the final exponent $1/36$ .

5. Significance and Future Directions

Unification: This work unifies the subconvexity theory for $GL_3$ across different base fields, removing the restriction to $\mathbb{Q}$ or imaginary quadratic fields.
Robustness: The method is robust enough to handle non-self-dual forms, which are more generic and harder to treat than self-dual forms.
Trace Functions: The author notes that the method treats $\chi$ as an $\ell$ -adic trace function. This suggests that the technique could be extended to prove non-correlation results between $GL_3$ automorphic forms and other trace functions (e.g., Kloosterman sums or more general geometric trace functions) over number fields, a direction hinted at in the introduction.
Hybrid Bounds: While the current paper focuses on the twist aspect (finite conductor), the author mentions that combining this with Zhi Qi's complex Bessel transform theory could lead to hybrid subconvexity bounds involving both the conductor and the archimedean spectral parameter ( $t$ -aspect).

In summary, this paper represents a significant advancement in the analytic theory of automorphic forms, providing a powerful, generalizable framework for subconvexity on $GL_3$ over arbitrary number fields.