🔢 mathematics

The image of the constant sheaf under the geometric Langlands equivalence

This paper computes the image of arbitrary finite-rank local systems on $\mathrm{Bun}_G(X)$ under the geometric Langlands equivalence for a reductive group $G$ over a smooth projective curve, thereby confirming V. Lafforgue's conjecture specifically for the constant sheaf.

Original authors: Kenta Suzuki

Published 2026-08-27

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Kenta Suzuki

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

In the vast landscape of modern mathematics, there exists a deep and mysterious bridge connecting two seemingly unrelated worlds: the geometry of shapes and the algebra of symmetries. On one side of this bridge lies the study of curves, smooth loops that can twist and turn in complex ways, and the bundles of data that can be attached to them. On the other side lies the study of groups, which are abstract collections of symmetries that describe how objects can be rotated, reflected, or transformed without changing their essential nature. For decades, mathematicians have suspected that these two worlds are not just related, but are actually two different languages describing the same underlying reality. This suspicion, known as the geometric Langlands correspondence, suggests that for every geometric object on a curve, there is a perfect algebraic twin on the symmetry side, and vice versa. While the general rules of this bridge have been established, a specific, fundamental question remained unanswered: what happens to the simplest possible object on the geometric side when it crosses over?

The simplest object in this geometric world is the constant sheaf. Imagine a curve as a piece of fabric, and imagine painting it with a single, unchanging color from edge to edge. This uniform, unvarying state is the constant sheaf. It is the mathematical equivalent of a blank canvas or a flat, featureless plain. In the complex machinery of the geometric Langlands correspondence, this object is unique because it is so basic that it often disappears or gets lost when mathematicians try to translate it into the language of the symmetry side. Previous attempts to map this object suggested it might vanish entirely, leaving a hole in the theory. However, a new paper by Kenta Suzuki confirms that the object does not disappear; instead, it transforms into a highly specific, intricate structure that had been predicted but never explicitly calculated.

Suzuki's work focuses on a reductive group, which is a type of symmetry group that is well-behaved and central to many areas of physics and mathematics, and a smooth projective curve, which is the geometric stage where the action takes place. The author sets out to compute exactly what the constant sheaf becomes after passing through the geometric Langlands equivalence, a sophisticated mathematical machine that translates between the two worlds. The result is a confirmation of a conjecture made by the mathematician Vincent Lafforgue. The paper demonstrates that the constant sheaf does not vanish; rather, it emerges on the other side as a "spectral Poincaré sheaf." This new object is not a simple, uniform thing like the original constant sheaf. Instead, it is a complex, layered structure that encodes deep information about the symmetries of the system.

To reach this conclusion, the author had to navigate a series of subtle mathematical challenges. The difficulty lay in the fact that the standard tools used to translate between these worlds often treat the constant sheaf as if it were zero, effectively ignoring it. This happens because of a technical difference between two ways of organizing mathematical data: one way treats data as simple, static collections, while the other allows for more flexible, infinite combinations. The constant sheaf lives in the gap between these two ways of thinking. Suzuki's breakthrough was to carefully track how the constant sheaf behaves when viewed through the more flexible lens, revealing that it survives the journey but changes its form.

The paper proceeds by breaking the problem down into manageable pieces. First, the author reduces the complex symmetry group to its simplest components, much like taking apart a clock to see how the gears interact. By understanding how the constant sheaf behaves on these simpler components, the author could reconstruct its behavior on the full, complex system. A key part of the proof involves checking how the object behaves when it is "constant term" reduced, a process that strips away the complicated, twisting parts of the geometry to reveal the core structure underneath. The author shows that when this reduction is applied to the mysterious object on the symmetry side, it matches perfectly with what is expected from the constant sheaf on the geometric side.

The final result is a precise formula that describes the image of the constant sheaf. It is an object constructed from a specific type of exponential-like function, adapted to the world of symmetries. This object, the spectral Poincaré sheaf, acts as a universal key. Just as the constant sheaf is the simplest building block on the geometric side, this new object serves as a fundamental building block on the symmetry side. The paper proves that these two objects are indeed the same thing, just viewed from opposite ends of the bridge. This confirmation is significant because it resolves a long-standing uncertainty about the behavior of the most basic elements in the theory. It shows that the geometric Langlands correspondence is robust enough to handle even the simplest, most uniform inputs, translating them into rich, structured outputs rather than losing them in the process.

The work also extends beyond just the constant sheaf. The author shows that the same method can be used to find the images of other simple objects, specifically finite-rank local systems, which are like the constant sheaf but with a bit more internal structure. By establishing the rule for the constant sheaf, the author provides a template for understanding how all these basic geometric objects transform. This is a crucial step because, in mathematics, understanding the simplest cases often provides the key to unlocking the most complex ones. The paper does not just offer a single answer; it provides a new way of seeing the entire landscape of the geometric Langlands correspondence.

In the end, the paper confirms that the bridge between geometry and symmetry is solid. The constant sheaf, the mathematical equivalent of a flat, unchanging field, does not disappear when it crosses over. Instead, it reappears as a sophisticated, multi-layered structure that holds the key to understanding the symmetries of the system. This discovery fills a gap in our understanding of one of the most profound connections in modern mathematics, showing that even the most basic elements of the geometric world have a precise and meaningful counterpart in the world of symmetries. The result is a clearer, more complete picture of how these two vast mathematical realms are intertwined, offering a new foundation for future exploration.

Technical Summary: The Image of the Constant Sheaf Under the Geometric Langlands Equivalence

Problem Statement
The paper addresses a specific computational problem within the framework of the Geometric Langlands program. Let $X$ be a smooth projective curve over an algebraically closed field of characteristic zero, and let $G$ be a reductive group with Langlands dual $\check{G}$ . The Geometric Langlands equivalence, established in recent works (GR24a, ABC+24a, CCF+24, ABC+24b, GR24b), provides an equivalence of categories:
$L_G: D\text{-mod}(\text{Bun}_G) \simeq \text{IndCoh}_{\text{Nilp}}(\text{LS}_{\check{G}})$
where $D\text{-mod}(\text{Bun}_G)$ is the category of D-modules on the stack of $G$ -bundles, and $\text{IndCoh}_{\text{Nilp}}(\text{LS}_{\check{G}})$ is the category of ind-coherent sheaves with nilpotent singular support on the stack of $\check{G}$ -local systems.

The central problem is to explicitly compute the image of the constant sheaf $\omega_{\text{Bun}_G}$ (and more generally, arbitrary finite-rank local systems) under this equivalence $L_G$ . This confirms an unpublished conjecture by V. Lafforgue. The paper notes that the "coarse" geometric Langlands functor, which maps to quasi-coherent sheaves, annihilates $\omega_{\text{Bun}_G}$ ; thus, the computation relies on the cohomological subtleties distinguishing quasi-coherent sheaves from ind-coherent sheaves.

Methodology
The author employs a combination of categorical duality, singular support analysis, and compatibility with isogenies to solve the problem.

Spectral Construction: The paper defines a "spectral Poincaré sheaf," denoted $\text{Poinc}^{\text{spec}}$ , constructed via a correspondence involving the stack of $\check{G}$ -local systems and a quotient stack involving the unipotent radical $\check{N}$ and a cocharacter $\check{\rho}$ . Specifically, it involves the "spectral exponential sheaf" $\text{exp}^{\text{spec}}$ on $\Omega^{\mathbb{A}^1}/\mathbb{G}_m$ and push-pull functors along a diagram involving $\text{LS}_{\check{N}}/\check{\rho}(\mathbb{G}_m)$ .
Dual Formulation: The problem is approached via duality. The author considers the "spectral Whittaker functor" $\text{Whit}^{\text{spec}}$ , defined as a composition of pullbacks, pushforwards, and a "singularity functor" that quotients out quasi-coherent sheaves. The conjecture is equivalent to showing that the diagram involving the compactly supported de Rham cohomology functor on the automorphic side and $\text{Whit}^{\text{spec}}$ on the spectral side commutes.
Constant Term Functors: To verify the conjecture, the author computes the constant terms of both the automorphic object ( $\omega_{\text{Bun}_G}$ $ω_{Bun_{G}}$ ) and the spectral object ( $\text{Poinc}^{\text{spec}}$ $Poinc^{spec}$ ).
- On the automorphic side, the constant term functor is analyzed using the contraction principle and non-characteristic morphisms, showing it reduces to a pullback along a map from the torus bundle stack.
- On the spectral side, the constant term is computed using the compatibility of the geometric Langlands equivalence with constant term functors (established in CCF+24) and a detailed analysis of the singular support of the spectral objects involved.
Extension to Disconnected Tori: To handle arbitrary finite-rank local systems (not just the constant sheaf), the paper extends the geometric Langlands equivalence to disconnected tori. This involves defining the Langlands dual of a disconnected torus as a Picard stack and establishing a Fourier-Mukai equivalence for these cases.
Isogeny Compatibility: The paper proves that the geometric Langlands equivalence is compatible with isogenies (specifically, homomorphisms inducing isogenies on derived subgroups). This allows the result for the constant sheaf to be extended to arbitrary local systems via the abelianization of $G$ .

Key Contributions and Results

Theorem 1.1 / Theorem 6.2: The main result establishes an isomorphism $L_G(\omega_{\text{Bun}_G}) \simeq \text{Poinc}^{\text{spec}}$ . This confirms Lafforgue's conjecture that the image of the constant sheaf is the spectral Poincaré sheaf.
Theorem 4.5: The paper generalizes this result to arbitrary finite-rank local systems. It constructs a commutative diagram relating the geometric Langlands equivalence for the abelianization of $G$ ( $G^{\text{abc}}$ ) and the full group $G$ , showing that the image of a local system on $\text{Bun}_G$ is obtained by convolving the image of the corresponding local system on $\text{Bun}_{G^{\text{abc}}}$ with the spectral Poincaré sheaf.
Theorem 4.4: This theorem states the dual version of the result, describing the image of the constant sheaf under the inverse Langlands functor in terms of the spectral Poincaré sheaf and the abelianization map.
Singular Support Analysis: The paper provides a rigorous check that the constructed spectral object lies in the correct subcategory of D-modules (specifically, those with singular support in the center of the Lie algebra, $D\text{-mod}_{\mathfrak{z}(\mathfrak{g})}(\text{Bun}_G)$ ), ensuring the object is "quasi-lisse."
Extension to Disconnected Groups: Section 3 provides a self-contained development of the geometric Langlands equivalence for disconnected tori, a technical prerequisite for handling general reductive groups with non-connected centers.

Significance and Claims
The paper claims to resolve a specific, previously unproven conjecture by V. Lafforgue regarding the explicit form of the geometric Langlands correspondence for the constant sheaf. The significance lies in:

Explicit Computation: Moving beyond the existence of the equivalence to providing a concrete description of the image of a fundamental object (the constant sheaf).
Cohomological Nuance: Highlighting the necessity of working within the category of ind-coherent sheaves rather than quasi-coherent sheaves, as the latter would trivialize the result.
Universality: By extending the result to arbitrary finite-rank local systems via the abelianization and isogeny compatibility, the paper provides a complete description of the image of the "quasi-lisse" subcategory of $D\text{-mod}(\text{Bun}_G)$ .
Consistency with Relative Langlands: The result is framed as a confirmation of the philosophy of relative Langlands duality, where the global sections functor (compactly supported cohomology) on the automorphic side intertwines with a spectral Whittaker functor.

The author notes that the formula for the image holds in other sheaf theories (Betti, $\ell$ -adic) for formal reasons, relying on the fact that the spectral Poincaré sheaf lies in the category of local systems with restricted variation, and that the constant sheaf maps to the constant sheaf under the relevant nearby cycles constructions. The paper does not propose new experimental applications but rather solidifies the theoretical foundation of the geometric Langlands program for a specific, critical class of objects.

More like this