🔢 mathematics

Eisenstein cohomology and congruences for the ratios of Rankin--Selberg $L$ -functions

This paper establishes a congruence between the ratios of critical values of Rankin–Selberg $L$ -functions for pairs of holomorphic cuspforms by utilizing refined Eisenstein cohomology techniques for integral cohomology.

Original authors: P. Narayanan, A. Raghuram

Published 2026-04-14

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: P. Narayanan, A. Raghuram

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 a detective trying to solve a mystery about numbers. In the world of mathematics, there are special "objects" called modular forms. Think of these as incredibly complex, multi-layered musical instruments. Each instrument plays a specific tune, and that tune is written down as a long list of numbers (called Fourier coefficients).

Sometimes, two different instruments might look completely different on the outside, but if you listen closely to their tunes, you might notice that their notes are almost identical. In math, we say these two instruments are congruent. It's like two pianos where, if you press the same key, they produce notes that differ only by a tiny, almost invisible amount (like a whisper of static).

The Big Question

The authors of this paper, Narayanan and Raghuram, are investigating a famous idea in number theory: If two instruments are congruent (their notes match up closely), does that mean the "energy" they produce also matches up closely?

In this context, the "energy" is a special value calculated from a complex formula called an L-function. These L-functions are like the "fingerprint" or the "total score" of the musical instrument. The paper focuses on a specific type of fingerprint called the Rankin–Selberg L-function, which is created by playing two instruments together (a pair of modular forms).

The Problem with "Total Scores"

Usually, comparing the total scores of two congruent instruments is tricky. The scores are huge, messy numbers involving things like $\pi$ (3.14159...) and other constants. It's hard to say if two messy numbers are "close" to each other because of the noise in the calculation.

However, the authors discovered a clever trick. Instead of comparing the raw scores, they decided to compare the ratio of two consecutive scores.

Imagine Instrument A plays a song that gets a score of 100, then 102, then 104.
Imagine Instrument B (which is congruent to A) plays a song that gets a score of 100.0001, then 102.0001, then 104.0001.
If you look at the raw numbers, they are slightly different.
But if you look at the ratio of the second score to the first (102/100 vs 102.0001/100.0001), the tiny errors cancel out, and the ratios turn out to be almost exactly the same!

The paper proves that if two modular forms are congruent, the ratios of their L-function scores are also congruent.

How They Solved It: The "Eisenstein" Elevator

To prove this, the authors used a sophisticated mathematical tool called Eisenstein Cohomology. Let's use an analogy to understand this.

Imagine you have a giant, multi-story building (representing the complex mathematical space where these numbers live).

The Inner Rooms: The modular forms live in the cozy, inner rooms of this building.
The Elevator Shaft: The authors built a special "Eisenstein elevator" (the Eisenstein operator) that connects the inner rooms to the outer walls of the building.
The Journey: They took the two congruent modular forms (the two instruments) and sent them up this elevator.
The Observation: As the forms travel up the elevator, they interact with the structure of the building. The authors showed that because the two forms started out congruent (their notes matched), the way they interacted with the elevator shaft was also congruent.

The tricky part was making sure the elevator worked with "integers" (whole numbers) rather than just smooth, floating-point decimals. The authors had to refine their elevator design to handle "integral cohomology," which is like ensuring the elevator doesn't wobble or break when carrying heavy, whole-number loads.

The "Magic" of Ratios

Why is this ratio thing so important?
In the famous work of mathematicians like Langlands, there is a theorem that says the "constant term" of an Eisenstein series (the sound you hear when the elevator reaches the top) is directly related to the ratio of L-values.

By proving that the congruence survives the trip up the Eisenstein elevator, the authors proved that the ratios of the L-values must also be congruent.

The Catch (The "Fine Print")

The paper isn't a magic wand that works for every situation. The authors had to set some ground rules:

The Prime Number Filter: The congruence only works if you are looking at it through a specific "lens" (a prime number $l$ ). If you pick a prime that is too small or divides the "level" (complexity) of the forms, the lens gets blurry, and the congruence breaks.
The Weight Rule: The two instruments must have different "weights" (a measure of their complexity). If they are too similar in weight, the math gets stuck.
The "Super-Congruence": Sometimes, the instruments match up so perfectly that the difference is divisible by a high power of the prime number. The paper handles these "super-congruences" beautifully.

The Real-World Test

The authors didn't just do the math on paper; they also checked their theory with a computer. They found specific examples where the modular forms were congruent, and they verified that the ratios of their L-values were indeed congruent. They even found a "non-example" (a case where it didn't work) to show exactly where the rules break down, proving they understood the limits of their own theory.

Summary

In simple terms, this paper proves a beautiful symmetry in the universe of numbers:
If two complex mathematical "songs" are almost identical in their notes, then the way their "scores" grow and change is also almost identical.

They proved this by building a mathematical bridge (Eisenstein cohomology) that connects the notes of the songs to their scores, showing that the tiny differences in the notes cancel out perfectly when you look at the ratio of the scores. It's a triumph of connecting the discrete (whole numbers) with the continuous (complex analysis) to reveal a hidden pattern in the fabric of mathematics.

1. Problem Statement

The paper addresses a fundamental principle in number theory, originating from Iwasawa theory, which posits that a congruence between arithmetic objects (such as modular forms) should induce a corresponding congruence between the special values of their associated $L$ -functions.

Specifically, the authors investigate the Rankin–Selberg $L$ -functions $L(s, h \times h')$ attached to pairs of primitive holomorphic cusp forms $h$ and $h'$ . While congruences for individual $L$ -values (divided by periods) are well-studied (e.g., by Vatsal), this paper focuses on the ratios of successive critical values:
$\frac{L(m, h \times h')}{L(m+1, h \times h')}$
The central question is: If two cusp forms $h'$ and $h''$ are congruent modulo a prime power $\mathfrak{l}^n$ (i.e., their Fourier coefficients satisfy $a(p, h') \equiv a(p, h'') \pmod{\mathfrak{l}^n}$ ), does the ratio of their Rankin–Selberg $L$ -values (with a fixed auxiliary form $h$ ) satisfy a similar congruence?

A key challenge addressed is that ratios of $L$ -values often do not require the normalization by periods (which are transcendental and difficult to define integrally), making the study of their congruences more intrinsic but technically demanding regarding integral structures.

2. Methodology

The authors employ the machinery of Eisenstein Cohomology, refining the framework established by Harder and Raghuram (specifically their work in [6]) to operate strictly within the realm of integral cohomology.

Key Technical Steps:

Integral Cohomology Structures:
- The authors define integral structures on the cohomology of locally symmetric spaces for $GL(2)$ and $GL(4)$.
- They utilize the Gorenstein property of the Hecke algebra acting on the inner cohomology of $GL(2)$. This ensures that congruent modular forms give rise to congruent cohomology classes in the inner cohomology.
- They construct specific cohomology classes $\circ v_{\mu'}(h'\rho)$ and $\circ v_{\mu'}(h''\rho)$ associated with the forms $h'$ and $h''$ (twisted by the character $\rho$ ) which are congruent modulo $\mathfrak{l}^n$ .
Rank-One Eisenstein Cohomology on $GL(4)$:
- The problem is lifted to the group $G_4 = GL(4)$ via the parabolic subgroup $P$ of type $(2,2)$ .
- The authors consider the Eisenstein operator ( $T_{Eis}$ ), which maps cohomology classes from the boundary of the locally symmetric space to the interior. This operator is the cohomological avatar of the standard intertwining operator between induced representations.
- They define integral lattices in the induced representations and the Eisenstein cohomology groups, carefully tracking the primes that must be avoided to maintain integrality (primes dividing levels, small primes relative to weights, and primes supporting torsion).
Double Coset Representatives and Local Calculations:
- A significant portion of the technical work involves calculating double coset representatives for the Mirahoric subgroups of $GL(4)$ to understand the action of the intertwining operator on specific vectors.
- They perform explicit local calculations at finite primes (Section 9) to determine the scalar factors arising from the intertwining operator. They prove that for square-free, coprime levels, these local constants are exactly the ratios of local $L$ -factors.
Period Relations:
- The authors establish that the periods associated with the cohomology classes of $h'$ and $h''$ (and their twists) are identical. This is crucial because it allows the congruence of the cohomology classes to translate directly into a congruence of the $L$ -value ratios without introducing unknown period factors.

3. Key Contributions

Refinement of Eisenstein Cohomology: The paper successfully adapts the transcendental framework of Eisenstein cohomology to an integral setting. This allows for the direct comparison of $L$ -values modulo primes without relying on the canonical choice of periods.
Proof of Congruence for Ratios: The authors prove that if $h' \equiv h'' \pmod{\mathfrak{l}^n}$ , then:
$\frac{L(m, h \times h')}{L(m+1, h \times h')} \equiv \frac{L(m, h \times h'')}{L(m+1, h \times h'')} \pmod{\mathfrak{l}^n}$
This holds for critical values $m$ in specific ranges, provided the level conditions and irreducibility of Galois representations are met.
Explicit Local Constants: In Section 9, the authors provide a rigorous local calculation showing that the scalar factor relating the intertwining operator to the $L$ -value ratio is exactly the ratio of local $L$ -factors when the levels are square-free and coprime. This removes the need for "unknown constants" in the final congruence statement.
Handling of Tate Twists: The paper systematically handles Tate twists ( $m$ ) to cover a range of critical values, distinguishing between cases where the weights lie on the right or left of the unitary axis.

4. Main Results

The main theorems (Theorems 8.2, 8.3, and 8.4) establish the following:

Theorem 8.2 (General Case): Under general hypotheses (irreducible mod- $\mathfrak{l}$ Galois representations, $h' \equiv h'' \pmod{\mathfrak{l}^n}$ ), the ratios of $L$ -values are congruent up to explicit constants $c_{S_f}(m)$ and $c''_{S_f}(m)$ which depend on the local data at primes dividing the levels.
Theorem 8.3 (Square-free/Coprime Levels): If the levels $N$ and $N'$ are square-free and relatively prime, the local constants $c_{S_f}$ become exactly the ratios of local $L$ -factors. Consequently, the completed $L$ -function ratios are congruent modulo $\mathfrak{l}^n$ without any extra constants:
$\frac{L(m, h \times h')}{L(m+1, h \times h')} \equiv \frac{L(m, h \times h'')}{L(m+1, h \times h'')} \pmod{\mathfrak{l}^n}$
Theorem 8.4 (Lower Weight Variation): The results are extended to cases where the auxiliary form $h$ has a weight different from the standard setup, covering a broader range of critical points.

Constraints: The results require avoiding a finite set of primes:

Small primes relative to the weights ( $p \le k, k'$ ).
Primes dividing the levels ( $N, N'$ ).
Primes supporting torsion in the integral Eisenstein cohomology.
Primes related to archimedean considerations.
Additionally, the mod- $\mathfrak{l}$ Galois representations attached to $h'$ and $h''$ must be irreducible.

5. Significance

Validation of a Principle: This work provides a rigorous proof of the principle that congruences between modular forms induce congruences between the ratios of their $L$ -values, a phenomenon previously verified computationally but not theoretically proven in this generality.
Independence from Periods: By focusing on ratios, the authors bypass the difficult problem of defining and comparing canonical periods integrally. This makes the results more robust and applicable to arithmetic questions where period normalization is ambiguous.
Connection to Langlands: The proof interprets Langlands' constant term theorem (relating Eisenstein series to intertwining operators) within the framework of integral cohomology, bridging the gap between automorphic forms and arithmetic cohomology.
Foundation for Further Research: The techniques developed, particularly the integral structure on induced representations and the local calculations for $GL(4)$, provide a toolkit for studying congruences in higher-rank groups and other types of $L$ -functions.

In summary, the paper is a significant advancement in the arithmetic theory of automorphic forms, successfully translating the geometric machinery of Eisenstein cohomology into a tool for proving precise congruences of $L$ -function ratios.