🔢 mathematics

The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups

This paper constructs the local Langlands correspondence for essentially unipotent supercuspidal representations of disconnected reductive groups within the rigid inner forms framework, establishing enhanced equivariance under automorphisms and functorial compatibilities to facilitate future extensions to more general supercuspidal representations.

Original authors: Amoru Fujii

Published 2026-04-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Amoru Fujii

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 organize a massive, chaotic library of books. In the world of advanced mathematics, specifically in a field called "representation theory," these "books" are complex mathematical objects called representations of groups (which describe symmetries). The goal of the Local Langlands Correspondence is to create a perfect cataloging system that matches every single book in this library to a specific "barcode" (called an L-parameter) from a completely different library.

If you get the match right, you can translate difficult problems from one library to the other, where they might be much easier to solve.

This paper, written by Amoru Fujii, tackles a very specific, tricky section of this library: the "essentially unipotent supercuspidal" books. These are like rare, highly specialized volumes that are hard to categorize, especially when the library itself has some disconnected or broken shelves (mathematically known as "disconnected reductive groups").

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

1. The Problem: Broken Shelves and Missing Barcodes

In the past, mathematicians (like Kaletha) built a cataloging system for "connected" libraries (where all shelves are linked). They figured out how to match the books to their barcodes for a specific type of book.

However, Fujii's paper deals with two new challenges:

The "Essentially Unipotent" Books: These are books that are almost, but not quite, a standard type. They are like books that have been slightly modified by a character (a mathematical "twist").
The "Disconnected" Library: Imagine a library where some sections are physically separated from the main building. The old cataloging rules didn't work well for these separated sections.

2. The Solution: A Universal Translator

Fujii constructs a new, robust cataloging system that works for these tricky books and broken libraries. He doesn't just list the books; he proves that his system is fair and consistent.

Think of his system as a universal translator that ensures:

Symmetry (Equivariance): If you rotate the library (apply an automorphism), the barcodes rotate in the exact same way. The relationship between the book and the barcode stays true, no matter how you look at the library. This is a stronger guarantee than previous attempts.
Compatibility: If you have a smaller library inside a bigger one, or if you change the "rigid" rules of how the library is built, the cataloging system adjusts perfectly without breaking.

3. The "Disconnected" Breakthrough

The paper's biggest claim is extending this system to disconnected groups.

The Analogy: Imagine a library where the main hall is connected to a separate annex by a bridge. The old rules only worked for the main hall. Fujii shows how to create a single, unified catalog that covers both the main hall and the annex, treating them as one coherent system.
The Result: He proves that for these disconnected structures, there is still a perfect one-to-one match between the "books" (representations) and the "barcodes" (L-parameters).

4. How They Did It: The "Companion" Trick

To solve the hardest parts, the author uses a clever trick involving "companion groups."

The Metaphor: Imagine trying to solve a puzzle in a dark room. Instead of struggling in the dark, you find a "companion" puzzle that is identical but is lit up in a bright room. You solve the bright puzzle first, and then you know the solution to the dark one.
In the Paper: Fujii takes a complex, "ramified" (twisted) group and finds a simpler, "unramified" (straightforward) companion group. He proves that the cataloging rules for the simple group apply perfectly to the complex one. This allows him to verify that his system is consistent and fair.

5. The "Rigid" Framework

The paper relies on a framework called "rigid inner forms."

The Analogy: Think of a library that can be rearranged in many ways (different floor plans). A "rigid" framework is like a set of blueprints that locks the library into a specific, stable configuration so that the cataloging system doesn't get confused by the rearrangements. Fujii shows that his system works even when these blueprints are slightly adjusted.

Summary of the Achievement

In plain English, Amoru Fujii has built a perfect, unbreakable dictionary that translates between two complex mathematical languages for a specific, difficult class of objects.

What he proved: He showed that this dictionary works not just for simple, connected structures, but also for more complex, "disconnected" ones.
Why it matters: He proved that this dictionary is "equivariant," meaning it respects the symmetries of the universe it describes. If you twist the input, the output twists in the exact same way. This is a stronger and more reliable result than previous versions.
The Goal: The author states that this work is a stepping stone. By mastering this specific, difficult class of "books," mathematicians hope to eventually build a complete catalog for all types of representations, not just the unipotent ones.

The paper is a technical proof of consistency and existence, ensuring that the mathematical "map" is accurate, even in the most rugged and disconnected terrain.

1. Problem Statement

The Local Langlands Correspondence (LLC) aims to parameterize irreducible smooth representations of $p$ -adic reductive groups $G(F)$ by $L$ -parameters (homomorphisms from the Weil-Deligne group to the Langlands dual group). While significant progress has been made for connected reductive groups (notably by Kaletha for non-singular supercuspidal representations and by Fintzen, Oi, and Solleveld for unipotent representations), two major gaps remain:

Essentially Unipotent Representations: Existing constructions for unipotent supercuspidal representations often lack sufficient functoriality and compatibility with rigid inner twists, particularly regarding equivariance under outer automorphisms and changes of rigidifications.
Disconnected Reductive Groups: The LLC has not been systematically extended to disconnected reductive groups of the form $\tilde{G} = G \rtimes A$ , where $G$ is connected and $A$ is a finite group acting on $G$ . This is crucial for understanding representations of groups like the general linear group with automorphisms or Weil restrictions.

The paper addresses the construction of the LLC for essentially unipotent supercuspidal representations within the framework of rigid inner twists, proving necessary compatibilities, and extending this correspondence to disconnected reductive groups.

2. Methodology

The author employs a multi-step strategy combining reduction techniques, hypercohomology, and the theory of companion groups.

A. Framework and Desiderata

The paper operates within Kaletha's framework of rigid inner twists $(G', \xi, z)$ . The author defines three fundamental conditions (desiderata) that any valid LLC must satisfy:

Condition 2.A (Functoriality): Compatibility with homomorphisms having abelian kernel and cokernel.
Condition 2.B (Character Twists): Compatibility with twisting representations by characters.
Condition 2.C (Rigidification Changes): Compatibility with changing the rigidification $z$ , governed by a specific pairing involving the Kottwitz map and hypercohomology.

B. Reduction to Adjoint and Simply Connected Cases

Using Proposition 3.1, the author reduces the construction of the correspondence for a general connected reductive group $G$ to the cases where $G$ is either adjoint ( $G_{ad}$ ) or simply connected ( $G_{sc}$ ).

This relies on the fact that any essentially unipotent representation can be related to unipotent ones via character twists.
The existence of the correspondence for $G_{ad}$ and $G_{sc}$ is assumed (based on prior work by Fintzen-Oi-Solleveld [FOS20] and Solleveld [Sol23]), but the author must verify that these existing correspondences satisfy the stricter equivariance conditions required for rigid inner twists.

C. Verification of Equivariance (The Core Technical Challenge)

The existing correspondences in [FOS20] and [Solleveld] were constructed using Arthur's framework, which does not naturally handle the specific equivariance under outer automorphisms required by rigid inner twists (specifically Condition 3.A and Condition 3.B).

Strategy: The author proves that the existing correspondences can be adjusted or shown to satisfy these conditions by reducing to unramified groups and using companion groups (groups $H$ such that $\hat{H} \cong \hat{G}^{I_F}$ ).
Key Tool: The author utilizes the hypercohomology groups introduced in [Kal22] to explicitly compute the 2-cocycles arising from the action of outer automorphisms on the component groups of the $L$ -parameters and the representations.
Split and Non-Split Cases: The proof handles split groups (using direct computation with [FOS20]), unramified non-split groups (using the companion group $H$ and Lusztig's results on unipotent representations), and Weil restrictions.

D. Extension to Disconnected Groups

For the disconnected group $\tilde{G} = G \rtimes A$ , the author constructs the correspondence by analyzing the interaction between the group side and the Galois side:

Group Side: Representations of $\tilde{G}'(F)$ are analyzed via Clifford theory, relating them to representations of the connected component $G'(F)$ and the action of $A$ . This involves studying the twisted group algebra $C[A; \alpha]$ associated with the stabilizer of a representation.
Galois Side: The $L$ -parameters are enhanced by representations of the extended component group $\tilde{S}^+_\phi = \pi_0 Z^+_{\hat{G}}(\phi)$ .
Matching: The core of the proof (Section 5.4) involves constructing an explicit 1-cochain $h$ that interpolates between the 2-cocycle $\alpha$ (arising from the group side) and the 2-cocycle $\beta$ (arising from the Galois side). This establishes an isomorphism of the endomorphism algebras, thereby proving the bijection.

3. Key Contributions and Results

Theorem 1.1 (Corollary 4.2): Equivariant LLC for Connected Groups

The author establishes a bijection between essentially unipotent supercuspidal representations of a rigid inner twist $(G', \xi, z)$ and enhanced $L$ -parameters:
$\text{Irr}(G'(F))_{euc} \xrightarrow{\sim} \Phi_e(G; [z])_{euc}$
Crucially, this bijection satisfies:

Functoriality with respect to homomorphisms with abelian kernel/cokernel.
Equivariance under character twists.
Stronger Equivariance: It is equivariant under outer automorphisms and compatible with changes of rigidifications, a property not fully established in previous works like [FOS20].

Theorem 1.2 (Theorem 5.2): Extension to Disconnected Groups

Assuming the derived subgroup $G_{der}$ is simply connected, the correspondence extends to the disconnected group $\tilde{G} = G \rtimes A$ :
$\text{Irr}(\tilde{G}'(F))_{euc} \xrightarrow{\sim} \Phi_e(\tilde{G}; [z])_{euc}$
The correspondence respects the restriction to the connected component: A representation $\pi$ of $G'(F)$ is a constituent of $\tilde{\pi}|_{G'(F)}$ if and only if the $L$ -parameter $\phi_\pi$ is the restriction of $\phi_{\tilde{\pi}}$ and the enhancement $\rho(z, \pi)$ is a constituent of the restriction of $\rho(z, \tilde{\pi})$ .

Technical Lemma: Hypercohomology and Cocycles

A significant technical contribution is the explicit computation of the relationship between the 2-cocycles governing the extension of representations (group side) and the extension of enhancements (Galois side). The author proves (Proposition 5.9) that these cocycles differ by a coboundary derived from the hypercohomology pairing, ensuring the bijection is well-defined and canonical.

4. Significance

Completeness of the Unipotent Case: This work solidifies the Local Langlands Correspondence for the entire class of essentially unipotent supercuspidal representations for connected groups, ensuring all necessary functorial properties (especially equivariance) are satisfied. This fills a gap left by earlier constructions that relied on different frameworks.
Disconnection Handling: It provides the first systematic construction of the LLC for disconnected reductive groups in the context of rigid inner twists. This is a prerequisite for extending the correspondence to more general classes of representations (e.g., non-singular ones) for disconnected groups.
Foundation for Future Work: The author explicitly states that these results are intended to be used to extend the explicit LLC in [Kal21] (which covers non-singular representations) to a much larger class of representations, potentially covering all supercuspidal representations for a wider range of groups.
Methodological Advancement: The rigorous use of hypercohomology to match group-theoretic and Galois-theoretic 2-cocycles offers a robust template for handling similar compatibility issues in other contexts of the Langlands program.

In summary, Fujii's paper bridges the gap between the established theory of unipotent representations and the modern framework of rigid inner twists, while simultaneously breaking new ground by extending this correspondence to disconnected groups, thereby paving the way for a more comprehensive Local Langlands Correspondence.