🔢 mathematics

Algebraicity of ratios of special $L$ -values for $\mathrm{GL}(n)$

This paper establishes the algebraicity of the ratio of special $L$ -values $L(m, \Pi \times \chi)/L(m, \Pi \times \chi')$ for a cuspidal automorphic cohomological unitary representation $\Pi$ of $\mathrm{GL}_n(\mathbb{A}_\mathbb{Q})$ twisted by finite order Hecke characters, extending the methods of Mahnkopf to prove this result under specific assumptions regarding the archimedean components of the characters.

Original authors: Ankit Rai, Gunja Sachdeva

Published 2026-06-15

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Ankit Rai, Gunja Sachdeva

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. Specifically, you are looking at a special family of mathematical formulas called L-functions. These formulas are like complex recipes that, when you plug in specific numbers, spit out a result. Mathematicians have long suspected that when you plug in "special" numbers (called critical points) into these recipes, the results aren't just random messy decimals; they are deeply connected to algebraic numbers (numbers you can build using simple fractions and roots, like $\sqrt{2}$ or $1/3$ ).

This paper, written by Ankit Rai and Gunja Sachdeva, is a report on a successful investigation into one specific type of these formulas. Here is the story of what they did, explained without the heavy math jargon.

The Characters in the Story

The Main Recipe ( $\Pi$ ): Think of this as a very complex, high-level mathematical object called a "cuspidal automorphic representation." In our analogy, imagine it as a master chef who works in a giant, infinite kitchen (the world of numbers). This chef follows very strict rules and creates a specific flavor profile.
The Side Dishes ( $\chi$ and $\chi'$ ): These are "Hecke characters." Think of them as seasonings or spices. The authors are interested in what happens when the Master Chef cooks a dish using Seasoning A versus Seasoning B.
The Special Ingredient ( $\Sigma$ ): To compare the two dishes, the authors had to create a new, slightly simpler dish called $\Sigma$ . This wasn't a random dish; it was constructed by taking a few specific ingredients (smaller chefs and spices) and mixing them together in a very precise way.

The Mystery: The Ratio of Results

The authors wanted to know: If you take the result of the Master Chef's recipe with Seasoning A, and divide it by the result of the same recipe with Seasoning B, what do you get?

$\frac{\text{Result with Seasoning A}}{\text{Result with Seasoning B}}$

Mathematicians have a famous guess (Deligne's Conjecture) that this ratio should be a "nice" number (an algebraic number). The authors set out to prove this is true for their specific setup.

The Detective Work: How They Solved It

To prove this, the authors couldn't just calculate the numbers directly; the formulas are too messy. Instead, they used a clever trick involving geometry and topology (the study of shapes and spaces).

1. Building a Bridge (The Eisenstein Series)
They built a mathematical "bridge" called an Eisenstein series. Imagine trying to cross a wide river (the gap between the complex formula and simple numbers). They built a bridge using a specific type of construction (induction) that connects the Master Chef's world to a simpler world where the rules are easier to understand.

2. The Topological Map (Cohomology)
They realized that these complex formulas have a hidden "shape" or "skeleton" (cohomology). They showed that the value of the formula is actually related to how these shapes fit together.

They treated the formulas like vibrating strings on a musical instrument.
They showed that the "sound" (the L-value) produced by the Master Chef and the Side Dish is actually a measurement of how two specific geometric shapes overlap.

3. The "Rational" Connection
The key insight was that while the individual numbers might look messy, the way they are built is "rational" (based on simple fractions).

They proved that the "bridge" they built (the Eisenstein series) preserves this rational structure.
They showed that the "overlap" of the shapes (the pairing of differential forms) results in a number that is purely algebraic.

The Big Reveal (The Theorems)

The paper presents two main findings:

Theorem 1.1: They proved that the value of the combined recipe (the Rankin-Selberg L-function) is equal to a specific "period" (a constant number that measures the size of the geometric shapes) multiplied by some other known factors. This confirms that the value is "algebraic" up to these known constants.
Theorem 1.2 (The Main Prize): This is the punchline. They proved that when you take the ratio of the Master Chef's results with two different seasonings (as long as the seasonings are distinct and follow certain rules), the result is a rational number.

In other words, the messy decimals cancel out perfectly, leaving behind a clean, simple fraction.

Why This Matters (According to the Paper)

The authors note that this work is a generalization of previous work by a mathematician named Mahnkopf.

The Challenge: Previous methods worked well when the "ingredients" were very regular and predictable.
The Innovation: This paper handles a "messier" case where the ingredients are not perfectly regular (specifically when the dimension $n$ is odd).
The Method: They avoided doing extremely difficult, messy calculations at every single "step" (ramified places). Instead, they used abstract logic and the work of others to prove that the "messy" parts must behave nicely, allowing them to focus on the big picture.

Summary in One Sentence

Rai and Sachdeva proved that for a specific class of complex mathematical recipes involving a Master Chef and two different seasonings, the ratio of their results is always a simple, "nice" number, by showing that these recipes are secretly just measurements of how geometric shapes fit together in a rational way.

Technical Summary: Algebraicity of Ratios of Special L-values for GL(n)

Problem Statement
The paper investigates the algebraic properties of special values of automorphic $L$ -functions associated with the general linear group $GL(n)$ over $\mathbb{Q}$ . Specifically, it addresses the algebraicity of the ratio of two twisted $L$ -values, $L(m, \Pi \times \chi) / L(m, \Pi \times \chi')$ , where $\Pi$ is a cuspidal automorphic cohomological unitary representation of $GL(n, \mathbb{A}_{\mathbb{Q}})$ , and $\chi, \chi'$ are distinct finite-order Hecke characters. The study focuses on the case where $n$ is odd and the coefficient system is non-regular (specifically, the highest weight $\mu$ satisfies specific symmetry conditions). While the case of even $n$ and regular weights was previously treated by Mahnkopf [Mah05], this work extends the methodology to non-regular coefficients and odd $n$ , aiming to provide partial confirmation of Deligne's conjecture regarding the algebraic nature of special values in the automorphic setting.

Methodology
The authors employ a cohomological approach, generalizing the methods of Mahnkopf [Mah05] and Raghuram [Rag12, Rag16]. The core strategy involves relating the $L$ -value to a topological pairing of cohomology classes on locally symmetric spaces.

Construction of Induced Representations: The authors construct a representation $\Sigma$ on $GL(n-1)$ via parabolic induction from a Levi subgroup $M_{P_{n-1}} \cong GL(2)^{\lfloor (n-3)/2 \rfloor} \times \mathbb{G}_m \times \mathbb{G}_m$ . This induced representation $\Sigma = \text{Ind}(\pi \otimes \chi)$ is designed to be cohomological with respect to a specific finite-dimensional representation $E_\lambda$ . Crucially, $\Sigma$ is non-unitary, distinguishing this work from many existing results that rely on unitary representations.
Eisenstein Series and Rationality: The paper utilizes the Eisenstein series construction to embed the induced representation $\Sigma_f$ (the finite part) into the cohomology of the locally symmetric space associated with $GL(n-1)$. The authors prove the holomorphy and injectivity of the Eisenstein series map at the critical point $s = 2\mu_{\lfloor n/2 \rfloor} + 1$ . They establish the Galois equivariance of this embedding, comparing the rational structure on the induced representation (derived from the Whittaker model) with the Betti rational structure on the cohomology.
Rankin–Selberg Integral: The central $L$ $L$ -value $L(1/2, \Pi \times \Sigma)$ $L (1/2, Π \times Σ)$ is interpreted as a global period integral (Rankin–Selberg integral). The authors carefully select local Whittaker vectors for $\Pi$ $Π$ and $\Sigma$ $Σ$ at both unramified and ramified places.
- At unramified places, standard new vectors are used.
- At ramified places, the authors rely on Lemma 5.1 (generalizing results from [GrH16] and [Mah05]) to choose Whittaker vectors such that the local Rankin–Selberg integrals are non-zero algebraic numbers. This avoids explicit computation of Whittaker vectors at ramified places, relying instead on abstract existence and rationality properties.
Cohomological Pairing: The global integral is shown to equal the Poincaré pairing of specific cohomology classes $\vartheta_\Pi$ and $\vartheta_\Sigma$ defined over $\mathbb{Q}$ . This pairing yields the algebraicity of the $L$ -value up to periods $p(\Pi_f)$ , $p(\Sigma_f)$ , and a complex number $p(\Pi_\infty, \Sigma_\infty)$ arising from the archimedean pairing.

Key Contributions and Results

Theorem 1.1 (Algebraicity of the Central $L$ -value): Under the assumption that the cuspidal components $\pi_i$ of the inducing data satisfy a non-vanishing condition (Assumption $(\mu, \chi_{n-2}, \chi_{n-1})$ ), the authors prove that:
$L(1/2, \Pi \times \Sigma) \sim_{\mathbb{Q}} p(\Pi_f) p(\Sigma_f) p(\Pi_\infty, \Sigma_\infty)$
Here, $\sim_{\mathbb{Q}}$ denotes equality up to a non-zero element in the algebraic closure $\overline{\mathbb{Q}}$ . The periods $p(\Pi_f)$ and $p(\Sigma_f)$ arise from the comparison of rational structures (Betti-Whittaker periods).
Theorem 1.2 (Algebraicity of Ratios): The primary result of the paper is the algebraicity of the ratio of two twisted $L$ -values. For distinct finite-order Hecke characters $\chi, \chi'$ with specific infinity types, and under the condition that either $n=5$ or $\mu_{\lfloor n/2 \rfloor} \ge 1$ :
$\frac{L(\mu_{\lfloor n/2 \rfloor} + 1, \Pi \times \chi')}{L(\mu_{\lfloor n/2 \rfloor} + 1, \Pi \times \chi)} \in \overline{\mathbb{Q}}^\times$
This result is derived by applying Theorem 1.1 to a ratio of $L$ -functions involving the induced representation $\Sigma$ , where the periods $p(\Sigma_f)$ cancel out or reduce to known rational ratios of lower-rank $L$ -values (specifically $GL(2)$ and $GL(1)$ cases, whose rationality is known from Shimura's work).

Significance and Claims
The paper claims to provide partial confirmation of Deligne's conjecture for regular algebraic cuspidal representations that are cohomological with respect to non-regular weights. The authors explicitly note that their work treats the case of non-unitary induced representations $\Sigma$ , which contrasts with many other works in the field (e.g., [Gro18], [GrL17]) that assume unitarity.

The authors are modest regarding the strength of their result compared to Mahnkopf's [Mah05]. They acknowledge that Theorem 1.1 is a weaker statement than Mahnkopf's Theorem B because it does not prove the Galois equivariance of the ratio of $L$ -values directly, but rather the algebraicity of the ratio itself. This limitation is attributed to the "softer methods" employed, which avoid explicit computations with Whittaker vectors at ramified places.

The paper also clarifies that while the methods are presented for the base field $\mathbb{Q}$ to simplify the representation theory at infinity, the techniques are expected to extend to arbitrary number fields. The results are shown to be distinct from recent work by Chen [Che23], which handles non-unitary representations induced from parabolics with at most one odd component, as the current paper's setup (parabolic of type $(2, \dots, 2, 1)$ ) does not follow from Chen's assumptions.

In summary, the paper successfully generalizes the cohomological interpretation of special $L$ -values to the case of odd $n$ and non-regular coefficients, establishing the algebraicity of the ratio of twisted $L$ -values by leveraging the rationality of lower-rank $L$ -values and the topological interpretation of the Rankin–Selberg integral.