🔢 mathematics

Arithmetic volume of Shtukas and Langlands duality

This paper extends the Feng–Yun–Zhang theory by establishing uniform formulas for the arithmetic volume of Shtukas with arbitrary coweights for split semisimple groups, revealing a novel structural connection to the Langlands dual group through eigenweights that govern derivatives of L-functions.

Original authors: Zeyu Wang, Wenqing Wei

Published 2026-04-07

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Zeyu Wang, Wenqing Wei

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 measure the "size" or "volume" of a very strange, invisible landscape. This isn't a landscape of mountains and rivers, but a mathematical universe made of algebraic groups (complex symmetries) living over a curve (a shape like a circle or a donut).

In the world of numbers (like 1, 2, 3), mathematicians have long known that the "volume" of certain special shapes (Shimura varieties) is secretly connected to the derivatives of zeta functions. Think of a zeta function as a musical score that encodes the rhythm of prime numbers. The "first derivative" is like the first note you play after the silence—it tells you something profound about the structure of the music.

This paper, by Zeyu Wang and Wenqing Wei, takes that idea and moves it to a different world: the world of function fields (where numbers are replaced by functions on a curve). Here, the "shapes" are called Shtukas.

Here is the breakdown of their discovery using simple analogies:

1. The Problem: Measuring the Unmeasurable

In the old days (specifically in a previous paper by Feng, Yun, and Zhang), mathematicians could only measure the volume of these Shtuka landscapes if they were very simple, "small" shapes (called minuscule types). It was like being able to measure the volume of a perfect sphere, but if the shape got a little bumpy or complex, the measuring tape broke.

Furthermore, when they did measure these simple shapes, the formula for the volume involved mysterious numbers called eigenweights. These were like secret ingredients in a recipe. The recipe worked, but no one knew why those specific ingredients were there, or how to calculate them for more complex shapes.

2. The Breakthrough: A Universal Measuring Tape

Wang and Wei have invented a new, universal measuring tape. They extended the theory to handle any shape, no matter how complex or "bumpy" (arbitrary coweights).

But the real magic is in how they solved the mystery of the eigenweights.

3. The Secret Key: The "Shadow" Group (Langlands Duality)

The most exciting part of this paper is the discovery of a "Shadow Group."

In mathematics, there is a famous idea called Langlands Duality. Imagine every complex shape (Group $G$ ) has a secret twin or "shadow" (Group $\check{G}$ , the Langlands dual).

The Old Way: To calculate the volume of the shape, you had to do incredibly complicated calculations involving the shape's own internal structure (like looking at the symmetry of a snowflake and trying to count every single crystal individually).
The New Way: Wang and Wei discovered that you don't need to look at the shape itself. Instead, you just need to look at its Shadow.

They found that the mysterious eigenweights (the secret ingredients) are actually just simple properties of this Shadow Group.

Analogy: Imagine you want to know the weight of a heavy, locked box. Instead of trying to lift it or weigh it directly, you realize that the box casts a shadow on the wall. The length of that shadow exactly tells you the weight of the box.
In this paper, the "Shadow" is the Langlands dual group. The "length of the shadow" is the eigenweight. This is the first time this "Shadow" has been used to directly explain formulas involving the derivatives of zeta functions.

4. The Result: A Clean Formula

Because they can now calculate these "shadow weights" easily, they have written a new, clean formula for the volume of these Shtuka landscapes.

The Formula: The volume is equal to a specific derivative of the zeta function (the musical score), multiplied by these new "shadow weights."
The Impact: This unifies the theory. Before, every different type of shape required a different, messy calculation. Now, there is one uniform rule that works for everything, governed by the elegant structure of the dual group.

5. Why Does This Matter?

This is like finding a "Grand Unified Theory" for a specific branch of math.

It solves a mystery: It explains what those mysterious "eigenweights" actually are (they are invariants of the dual group).
It simplifies the complex: It turns calculations that used to require massive tables of data (like character tables of symmetric groups) into manageable formulas.
It connects worlds: It strengthens the bridge between the "Automorphic" world (shapes and symmetries) and the "Spectral" world (zeta functions and derivatives), suggesting a deep, underlying harmony in mathematics.

Summary

Think of the authors as explorers who found a map to a hidden treasure (the volume of Shtukas). Previously, they could only find the treasure if the map was simple. Now, they have a compass (the Langlands dual group) that points the way to the treasure no matter how complex the terrain is. The "secret numbers" they were looking for are just the coordinates on the map of the shadow world, making the whole journey much clearer and more beautiful.

1. Problem Statement and Motivation

The paper addresses the computation of the arithmetic volume of moduli stacks of Shtukas over function fields. This work extends the foundational results of Feng, Yun, and Zhang (FYZ), who established a relationship between these volumes and the derivatives of zeta functions of curves.

Context: In the number field setting, the volume of Shimura varieties relates to Dirichlet $L$ -functions, while their arithmetic volume relates to the first derivative. In the function field setting (Shtukas), derivatives of arbitrary order naturally appear.
Limitations of Previous Work: The FYZ results were restricted to minuscule modification types (specific coweights). This restriction obscured the conceptual unity of the theory. Furthermore, the "eigenweights" appearing in the volume formulas were defined geometrically but lacked a uniform, structural description, often requiring complex computations involving character tables of symmetric groups (even for Type A groups).
Goal: The authors aim to:
1. Extend the arithmetic volume formulas to arbitrary dominant coweights (non-minuscule cases).
2. Provide a uniform, conceptual description of the eigenweights and other constants in terms of the Langlands dual group ( $\check{G}$ ), marking the first time the dual group plays a direct structural role in formulas governing $L$ -function derivatives.

2. Methodology and Framework

The authors develop a new framework based on local-global compatibility and relative Langlands duality, moving away from the Vinberg semigroup and wonderful compactification methods used in the minuscule case.

A. General Formalism: Volume Data and Hecke Operators

Local Volume Data: Defined as a triple $v = (K, c_l, d_l)$ involving a sheaf $K$ on the local Hecke stack and cohomological correspondences.
Global Volume Data: Constructed from local data via restriction to the formal disc.
Relative Hecke Operators: The core of the computation involves defining global relative Hecke operators $\Gamma_{c, v}$ acting on the cohomology of the moduli stack of $G$ -bundles ( $\text{Bun}_G$ ). The arithmetic volume is defined as the trace of the Frobenius map composed with these operators:
$\text{vol} = \text{tr}(\text{Frob} \circ \Gamma_{c, v}, H^*_c(\text{Bun}_G))$
Local-to-Global Strategy: Instead of computing global operators directly, the authors compute local relative Hecke operators ( $\Gamma^l_v$ ) on the local Hecke stack and relate them to the global ones via a commutator relation (Theorem 3.2).

B. Key Technical Innovations

Local-Global Compatibility (Theorem 3.2): The authors prove a commutator relation relating the difference of pullbacks of cohomology classes on the global Hecke stack to a Gysin map involving the local difference. This generalizes previous results and allows handling non-minuscule cases.
Associated Graded Analysis: They analyze the action of these operators on the associated graded ring of the cohomology of $\text{Bun}_G$ $Bun_{G}$ with respect to the Ran filtration and augmentation filtration.
- Using the Atiyah–Bott formula, the cohomology is identified with a symmetric algebra $\text{Sym}(V \otimes H^\bullet(C))$ , where $V$ is the "Gross motive."
- The global operator is shown to act as a derivation on this symmetric algebra.
Spectral Description via Langlands Duality:
- The local operators induce endomorphisms on the Gross motive $V$ .
- The authors identify $V$ with the Kostant slice $\check{\mathfrak{s}}$ of the Lie algebra of the Langlands dual group $\check{G}$ .
- The eigenweights and constants are computed as invariants of representations of $\check{G}$ , specifically involving the adjoint action and Kostant sections.

3. Key Contributions and Results

A. Main Theorem (Generalized Volume Formula)

The paper establishes a uniform formula for the arithmetic volume of Shtukas with arbitrary modification types $\lambda_I = (\lambda_1, \dots, \lambda_r)$ .

Theorem 1.5 / 2.13:
$\text{vol}(\text{Sht}_{G, \leq \lambda_I}, \dots) = |\pi_1(G)| q^{\dim \text{Bun}_G} \left[ \left( \prod_{i=1}^r D_{\lambda_i} \right) \mathcal{L}_{C,G}(s_1, \dots, s_n) \right]_{s_1=\dots=s_n=0}$
Where:

$\mathcal{L}_{C,G}$ is a product of zeta functions of the curve $C$ .
$D_{\lambda_i}$ are differential operators defined by:
$D_{\lambda_i} = (2g-2)b_{\lambda_i} - (\log q)^{-1} \sum_{j=1}^n \epsilon_{\lambda_i, j} \partial_{s_j}$
The constants $b_\lambda$ and $\epsilon_{\lambda, j}$ are the eigenweights and scaling factors.

B. Structural Role of the Langlands Dual Group

The most significant theoretical contribution is the explicit description of the constants $b_\lambda$ and $\epsilon_{\lambda, j}$ using the Langlands dual group $\check{G}$ :

Eigenweights ( $\epsilon_{\lambda, j}$ ): These are identified as eigenvalues of an endomorphism $E_\lambda$ $E_{λ}$ acting on the Kostant slice $\check{\mathfrak{s}} \cong V$ $\overset{ˇ}{s} ≅ V$ . This endomorphism is constructed from the representation $V_\lambda$ $V_{λ}$ of $\check{G}$ $\overset{ˇ}{G}$ and the invariant bilinear form $\kappa_{\min}$ $κ_{m i n}$ .
- Specifically, $\epsilon_{\lambda, j}$ relates to the restriction of a bilinear form $\kappa_\lambda$ (derived from the representation $V_\lambda$ ) to specific graded pieces of the Lie algebra.
Scaling Factors ( $b_\lambda$ ): These are expressed as traces involving the Casimir element and the representation $V_\lambda$ of $\check{G}$ .
Significance: This provides the first instance where the Langlands dual group appears structurally in formulas for derivatives of $L$ -functions, linking arithmetic intersection numbers to the geometry of the dual group's Hamiltonian spaces (Whittaker periods).

C. Explicit Computations

The authors provide explicit, elementary formulas for these constants for:

Classical Groups: Types $A_n, B_n, C_n, D_n$ . The formulas are significantly simpler than previous results (e.g., avoiding symmetric group character tables).
Exceptional Groups: $G_2, F_4, E_6, E_7, E_8$ .
Tables: The paper includes comprehensive tables (Tables 1–7) listing values for $\deg_\lambda$ , $d_\lambda$ , $\epsilon_{\lambda, j}$ , and $b_\lambda$ for fundamental weights and various ranks.

4. Significance and Impact

Unification: The work unifies the theory of arithmetic volumes for Shtukas across all modification types, removing the artificial restriction to minuscule weights.
Conceptual Clarity: By expressing eigenweights via the Langlands dual group, the paper reveals a deep structural connection between the arithmetic geometry of Shtukas and the representation theory of $\check{G}$ . This aligns with the philosophy of Relative Langlands Duality (BZSV24).
Computational Efficiency: The new formulas for eigenweights are more elementary and computationally tractable than previous methods, facilitating further research in the function field Langlands program.
Gross-Zagier Analogy: The results suggest a unified framework for understanding Gross-Zagier type formulas over function fields, where higher derivatives of $L$ -functions arise naturally from the geometry of moduli spaces.

In summary, Wang and Wei successfully generalize the arithmetic volume formula for Shtukas, replacing ad-hoc geometric definitions with a robust, dual-group-theoretic framework that clarifies the nature of eigenweights and opens new avenues for exploring the Langlands correspondence over function fields.