🔢 mathematics

Eisenstein classes and generating series of modular symbols in $\mathrm{SL}_N$

This paper defines a theta lift from the homology of $\mathrm{SL}_N$ locally symmetric spaces to modular forms of weight $N$ , demonstrating that its Fourier coefficients correspond to Poincaré duals of modular symbols and that, in the case $N=2$ , the lift surjects onto a specific subspace of weight 2 modular forms.

Original authors: Romain Branchereau

Published 2026-01-27

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Romain Branchereau

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 understand a vast, complex landscape called SLN. In mathematics, this is a specific type of geometric space that looks very different depending on how you look at it. On one side, it's a rigid, symmetrical shape made of matrices (grids of numbers). On the other side, it's a playground for "modular forms," which are like highly intricate, repeating musical patterns that live in the complex number world.

For a long time, mathematicians have known how to translate between similar landscapes (specifically those related to orthogonal groups, like the work of Kudla and Millson). But the landscape of SLN was a bit of a mystery. This paper, by Romain Branchereau, builds a new "bridge" or elevator to translate information between the geometry of SLN and the music of modular forms.

Here is a simple breakdown of what the paper does, using everyday analogies:

1. The Two Worlds

The Geometric World (Homology): Imagine a giant, multi-dimensional room. Inside this room, there are specific "paths" or "loops" you can draw. In this paper, these paths are called modular symbols. They are like trails left by specific types of travelers (related to the edges of the room). The paper focuses on trails that wrap around the "walls" of this room.
The Musical World (Modular Forms): Imagine a radio station broadcasting complex songs. These songs are made of waves that repeat in a very specific, mathematical way. The paper focuses on songs of a specific "pitch" (called weight $N$ ).

2. The Bridge: The "Theta Lift"

The author invents a machine called a Theta Lift. Think of this as a special translator.

How it works: You take a specific path (a modular symbol) from the geometric world and feed it into the machine.
The Output: The machine spits out a song (a modular form).
The Magic: The paper proves that the "notes" in this new song (called Fourier coefficients) are directly related to how your original path intersects with other special paths in the geometric room. If your path crosses a special wall, the song gets a specific note. If it doesn't cross, the note is silent.

3. The "Ghost" at the Beginning (The Constant Term)

Every song has a starting note, or a "constant term." In this machine, the starting note isn't random. It comes from a very specific, pre-existing mathematical object called the Eisenstein class.

Analogy: Imagine the machine has a "default setting" or a "factory tone" that it always plays before the music starts. This tone is a fundamental, canonical sound that exists because of the shape of the room itself (related to the "Euler class" of a torus bundle). The paper shows exactly what this tone is and how it connects to the geometry.

4. What Happens When N = 2? (The Simple Case)

The paper gets very technical for general numbers ( $N$ ), but it zooms in on the simplest case where $N=2$ .

The Setting: When $N=2$ , the geometric room is just the famous "upper half-plane" (the shape used in the study of the Riemann Hypothesis and elliptic curves). The "paths" are the classic modular symbols connecting points like 0 and infinity.
The Result: The author shows that this machine is incredibly powerful here. It can generate every important song in the space of weight-2 modular forms, provided the song isn't "dead" (mathematically, provided its L-function doesn't vanish).
The Takeaway: It proves that the "special paths" (modular symbols) are rich enough to create the entire library of these specific musical patterns.

5. The "Special Cycles"

The paper introduces a way to count how many times a path intersects with a "special wall" (a cycle).

Analogy: Imagine you are walking through a forest. The "special cycles" are like specific types of trees. The paper creates a formula that counts how many times your walking path hits these trees. The resulting count becomes the rhythm of the song generated by the machine.

Summary of the Achievement

In plain English, this paper says:
"We have built a new machine that turns geometric paths in a high-dimensional number space into musical patterns (modular forms). We proved that the 'notes' in these patterns tell us exactly how the paths cross each other. We also showed that for the simplest version of this space, this machine can create every possible important song, proving that these geometric paths are the fundamental building blocks of this mathematical music."

The paper does not claim to solve real-world engineering problems or medical issues; it is purely a theoretical construction that connects two deep areas of pure mathematics: geometry and number theory.

Technical Summary: Eisenstein Classes and Generating Series of Modular Symbols in $SL_N$

1. Problem Statement
The paper addresses the construction of a geometric theta lift for the symmetric space associated with $SL_N(\mathbb{R})$ , analogous to the well-established Kudla-Millson lift for orthogonal groups. The central problem is to relate the homology of the locally symmetric space $S_\Gamma = \Gamma \backslash SL_N(\mathbb{R})/SO(N)$ to the space of modular forms of weight $N$ . Specifically, the author seeks to define a lift whose Fourier coefficients correspond to the Poincaré duals of specific "special cycles" (modular symbols) associated with maximal parabolic subgroups, and to characterize the constant term of this lift as a canonical Eisenstein class.

2. Methodology
The construction relies on the Mathai-Quillen formalism to produce differential forms representing Thom classes and their transgressions.

Geometric Setup: The author considers the symmetric space $X \cong GL_N(\mathbb{R})^+/SO(N)$ and its subspace $S \cong SL_N(\mathbb{R})/SO(N)$ . A vector space $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$ is equipped with a quadratic form $Q$ of signature $(N, N)$ . The group $GL_N(\mathbb{Q})$ acts on $V$ via a representation $\rho$ , embedding $X$ into an orthogonal symmetric space $D$ .
Special Cycles: For vectors $v \in V$ with $Q(v) > 0$ , the author defines submanifolds $S_v \subset S$ of codimension $N-1$ . These are images of embeddings of smaller symmetric spaces $GL_{N-1}(\mathbb{R})^+/SO(N-1)$ . The homology classes $Z[v]$ are defined as the projections of these submanifolds to the quotient $S_\Gamma$ . Linear combinations $Z_n(\chi)$ are formed using test functions $\chi$ on the discriminant group of a lattice.
Theta Kernel Construction:
- Using the Mathai-Quillen formalism, a closed, $GL_N(\mathbb{R})^+$ -invariant form $\phi \in \Omega^N(X) \otimes S(V_\mathbb{R})$ is constructed. This form is the pullback of the Kudla-Millson form via the embedding $X \hookrightarrow D$ .
- A theta series $\Theta_{\phi, \chi}(z, \tau)$ is defined by summing $\phi$ over the lattice, twisted by the Weil representation.
- The form $\phi$ is decomposed relative to the fibration $X \cong S \times \mathbb{R}_{>0}$ . The component along the fiber $\mathbb{R}_{>0}$ is integrated out to produce a form $E_{\phi, \chi}(z_1, \tau)$ on $S_\Gamma$ . This integration corresponds to a transgression of the Euler class.
Fourier Expansion: The Fourier coefficients of the resulting series are computed using Poisson summation and explicit formulas for the partial Fourier transforms of the Mathai-Quillen forms.

3. Key Contributions and Results

The Eisenstein Class Lift (Theorem 1.1): The paper defines a lift $E_{\phi, \chi}: H^{N-1}(S_\Gamma; \mathbb{Z}) \to M_N(\Gamma')$ (where $M_N$ denotes modular forms of weight $N$ ). The lift is given by the integral of the theta kernel over a homology cycle.
- The Fourier expansion is shown to be:
  $\int_Z E_{\phi, \chi}(z_1, \tau) = \int_Z z(\chi) + (-1)^{\frac{N(N-1)}{2}} \sum_{n=1}^\infty (Z, Z_n(\chi)) q^n$
- Here, $(Z, Z_n(\chi))$ is the intersection pairing between the cycle $Z$ and the special cycle $Z_n(\chi)$ .
- The constant term $z(\chi)$ is identified as a canonical Eisenstein class obtained by transgressing the Euler class of a torus bundle, matching constructions by Bergeron-Charollois-Garcia.
Kernel and Image Characterization (Theorem 1.2): The paper establishes that the kernel of the lift consists of homology classes orthogonal to the span of the special cycles $Z_n(\chi)$ . Conversely, the image of the adjoint lift (from cusp forms to homology) is contained within the span of these special cycles.
Evaluation on Modular Symbols (Theorems 1.3 & 1.4):
- The lift is evaluated on modular symbols $Z_Q$ associated with split tori (generalizing classical modular symbols). The result is expressed as a product of weight-one Eisenstein series and a discrete Fourier transform of the test function.
- When evaluated on cycles attached to totally real fields (compact tori), the lift yields the diagonal restriction of a Hilbert-Eisenstein series.
The Case $N=2$ (Section 5):
- For the modular curve $Y_0(p)$ , the special cycles $Z_n(\chi)$ are identified as the Hecke translates $T_n\{0, \infty\}$ of the standard modular symbol.
- The lift is shown to surject onto the subspace of weight 2 modular forms spanned by the Eisenstein series and newforms with non-vanishing $L$ -function at $s=1$ .
- This recovers and refines results by Darmon-Pozzi-Vonk regarding the diagonal restriction of Hilbert-Eisenstein series as generating series of intersection numbers.

4. Significance and Claims
The paper claims to extend the Kudla-Millson theta correspondence from the orthogonal setting to the $SL_N$ setting. Its primary significance lies in:

Unification: Providing a unified framework where the Fourier coefficients of a theta lift are explicitly identified with the Poincaré duals of modular symbols associated with maximal parabolic subgroups.
Canonical Classes: Constructing the constant term of the lift as a specific cohomology class (the Eisenstein class) derived from the Euler class, linking differential geometry (Mathai-Quillen) with arithmetic geometry.
Surjectivity in Rank 2: Demonstrating that for $N=2$ , the lift captures the entire space of modular forms generated by Eisenstein series and specific eigenforms, thereby characterizing the span of modular symbols in the homology of the modular curve.

The author notes that while the differential forms constructed differ from those of Bergeron-Charollois-Garcia, the periods over cycles attached to totally real fields agree, strongly suggesting the lifts are equivalent. The work serves as a generalization of previous results on special cycles and modular symbols to higher-rank groups.