Stability of Elliptic Fargues-Scholze $L$-packets

Basic Information

• Paper ID: 2501.00652
• Title: Stability of elliptic Fargues–Scholze L-packets
• Author: Chenji Fu
• Classification: math.RT (Representation Theory), math.AG (Algebraic Geometry), math.NT (Number Theory)
• Publication Date: December 31, 2024 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2501.00652

Abstract

This paper investigates the stability problem for elliptic Fargues-Scholze $L$-packets. Let $F$ be a non-Archimedean local field and $G$ a connected reductive group over $F$, with $\varphi$ an elliptic $L$-parameter. For each irreducible representation $\pi$ of $G(F)$ with Fargues-Scholze $L$-parameter $\varphi$, the author proves the existence of a finite set of irreducible representations $\{\pi_i\}_{i \in I}$ containing $\pi$, all possessing the same Fargues-Scholze $L$-parameter $\varphi$, such that a certain nonzero $\mathbb{Z}$-linear combination $\Theta_{\pi_0}$ of their Harish-Chandra characters is stable with respect to conjugation by $G(F)$ on elliptic regular semisimple elements. When $F$ has characteristic zero, $\Theta_{\pi_0}$ is a nonzero stable distribution on $G(F)$.

Research Background and Motivation

1. Core Problem: The stability conjecture for the local Langlands correspondence is one of the central problems in representation theory. The conjecture predicts that irreducible representations can be partitioned into so-called $L$-packets, each of which should satisfy stability conditions.
2. Significance:
   • Stability is one of the fundamental properties of the local Langlands correspondence
   • Deeply connected to automorphic forms theory and arithmetic geometry
   • Essential for understanding the representation structure of $p$-adic groups
3. Limitations of Existing Methods:
   • Traditional proofs heavily rely on endoscopy theory, which is technically complex and has limited applicability
   • Endoscopy theory remains incompletely developed in positive characteristic
   • Requires case-by-case analysis, lacking a unified approach
4. Research Motivation:
   • Utilize the geometric approach of Fargues-Scholze to provide new proof strategies
   • Avoid the complex techniques dependent on endoscopy theory
   • Achieve applicability in positive characteristic cases

Core Contributions

1. Main Theorem: Proves stability of elliptic Fargues-Scholze $L$-packets (Theorems 4.3.3 and 4.3.6)
2. Novel Proof Method: First purely geometric proof of $L$-packet stability, circumventing endoscopy theory
3. Technical Innovations:
   • Transforms stability problem into analysis of Hecke eigenvalue sheaves
   • Exploits equidistribution properties of weight multiplicities
   • Employs Fourier analysis on finite abelian groups
4. Extended Applicability: The method remains effective in positive characteristic
5. Independent Value: The proof of weight multiplicity equidistribution has independent mathematical significance

Detailed Methodology

Problem Setup

Given an elliptic $L$-parameter $\varphi: W_F \to \hat{G}(\mathbb{Q}_\ell)$ and an irreducible representation $\pi \in \text{Irr}_{\mathbb{Q}_\ell} G(F)$ with Fargues-Scholze $L$-parameter $\varphi$, prove the existence of a linear combination of representations whose Harish-Chandra character is stable on elliptic regular semisimple elements.

Core Architecture

1. Fargues-Scholze Geometric Framework

• Utilizes the sheaf category $D(\text{Bun}_G)$ on the moduli space of $G$-bundles $\text{Bun}_G$
• Spectral action: the action of $\text{Perf}(Z^1(W_F, \hat{G})/\hat{G})$ on $D(\text{Bun}_G)^\omega$
• Constructs the key object: $\pi_0 := \mathcal{O}(S_\varphi) * \pi$ where $\mathcal{O}(S_\varphi)$ is the regular representation of $S_\varphi = \text{Cent}(\varphi, \hat{G})$

2. Hecke Eigenvalue Sheaf Properties

Lemma 4.1.2: $F_0 := (i_\varphi)_* \mathcal{O}(S_\varphi) * (i_1)_! \pi$ is a Hecke eigenvalue sheaf, meaning for any algebraic representation $V$ of $\hat{G}$: $T_V(F_0) = F_0^{\oplus \dim V}$

Technical Innovations

1. Establishment of Key Equalities

Through properties of Hecke operators and the Hansen-Kaletha-Weinstein formula, establishes: $T_{V_{\mu_m}} \Theta_{\pi_0} = \Theta_{T_{V_{\mu_m}^*}(\pi_0)} = \dim(V_{\mu_m}) \Theta_{\pi_0}$

where $\mu_m = 4m\rho_G$ and $V_{\mu_m}$ is the highest weight representation.

2. Weight Multiplicity Analysis

Expresses the Harish-Chandra character as a weighted sum: $\Theta_{\pi_0}(g) = \sum_{g' \in [[g]]} \sum_{\lambda \in X_*(T_g), \lambda = \text{inv}(g,g')} \frac{\dim V_{\mu_m}[\lambda]}{\dim V_{\mu_m}} \Theta_{\pi_0}(g')$

3. Fourier Analysis Techniques

Key Insight: Employs Fourier analysis on the finite abelian group $H_g := \ker(X_*(T_g)^\Gamma \to \pi_1(G)^\Gamma)$.

For nontrivial characters $\chi$ of $H_g$, uses the Weyl character formula to prove: $\frac{\chi(\text{Char} V_{\mu_m})}{\dim V_{\mu_m}} \to 0 \quad \text{as} \quad m \to \infty$

4. Equidistribution Proof

Theorem 4.3.2: For any $h \in H_g$, the limit $\lim_{m \to \infty} \frac{\sum_{\lambda \in X_*(T_g), \lambda = h} \dim V_{\mu_m}[\lambda]}{\dim V_{\mu_m}}$ exists and is independent of $h$, equal to $\frac{1}{|H_g|}$.

Experimental Setup

This is a purely theoretical mathematics paper with no numerical experiments. All results are obtained through rigorous mathematical proof.

Theoretical Verification Framework

1. Algebraic Group Theory: Employs classical theory of Borel subgroups, weight lattices, root systems
2. Representation Theory: Harish-Chandra character theory, regular representation decomposition
3. Algebraic Geometry: Sheaf theory on the Fargues-Fontaine curve
4. Harmonic Analysis: Fourier transforms on finite groups

Main Results

Core Theorems

Theorem 4.3.3 (Main Result): Let $G$ be a connected reductive group over $F$, and $\varphi: W_F \to \hat{G}(\mathbb{Q}_\ell)$ an elliptic $L$-parameter. For each $\pi \in \text{Irr}_{\mathbb{Q}_\ell} G(F)$ satisfying $\varphi_\pi^{FS} = \varphi$, define $F_0 := (i_\varphi)_* \mathcal{O}(S_\varphi/Z(\hat{G})^\Gamma) * (i_1)_! \pi, \quad \pi_0 := i_1^* F_0$

Then the Harish-Chandra character $\Theta_{\pi_0}$ is a nonzero function that is stable with respect to conjugation by $G(F)$ on $G(F)_{\text{ell}}$.

Theorem 4.3.6: In characteristic zero, $\Theta_{\pi_0}$ is a nonzero stable distribution on $G(F)$.

Technical Results

1. Polynomial Growth Estimates (Proposition 3.3.1):
   • $\dim V_{\mu_m}$ is a polynomial of degree $k$ in $m$ (where $k = |\hat{\Phi}^+|$)
   • For nontrivial characters $\chi$, $\chi(\text{Char} V_{\mu_m})$ is at most a polynomial of degree $k-1$ in $m$
2. Transfer Between Extended Pure Inner Forms (Corollary 4.4.3): Establishes character relations for stably conjugate elements across different extended pure inner forms

Method Advantages

1. Independence from Endoscopy: Completely avoids complex endoscopy techniques
2. Unified Treatment: Provides a unified method for all elliptic $L$-parameters
3. Positive Characteristic Applicability: Equally effective in positive characteristic
4. Geometric Intuition: Provides new perspective based on the geometric Langlands correspondence

Related Work

Classical Methods

• Arthur Art13: Uses endoscopy theory for orthogonal and symplectic groups
• Adler-Spice AS09, DeBacker-Reeder DR09: Depth zero cases
• Fintzen-Kaletha-Spice FKS23: Twisted Yu construction methods

Geometric Methods

• Fargues-Scholze FS21: Geometric local Langlands correspondence
• Hansen-Kaletha-Weinstein HKW22: Kottwitz conjecture and shtuka spaces
• Bezrukavnikov-Varshavsky BV21: Affine Springer fiber methods

Innovation of This Work

Compared to existing work, this paper is the first to use purely Fargues-Scholze geometric framework to prove stability, avoiding all endoscopy techniques.

Conclusions and Discussion

Main Conclusions

1. Elliptic Fargues-Scholze $L$-packets satisfy stability
2. Geometric methods can effectively replace endoscopy theory for handling stability problems
3. Weight multiplicity equidistribution has profound combinatorial significance

Limitations

1. Unknown Compatibility: Compatibility with the classical local Langlands correspondence remains incompletely established
2. Existence Problem: Existence of representations with given Fargues-Scholze $L$-parameters is unknown
3. Non-elliptic Cases: The method currently applies only to elliptic $L$-parameters

Future Directions

1. Extension to non-elliptic $L$-parameters
2. Establish compatibility with classical constructions
3. Investigate connections with affine Springer fiber methods
4. Explore applications in the global setting

In-Depth Evaluation

Strengths

1. Methodological Innovation:
   • First purely geometric proof of $L$-packet stability
   • Cleverly transforms the problem into combinatorial analysis of weight multiplicities
   • Novel application of Fourier analysis in representation theory
2. Technical Rigor:
   • Complete and rigorous proofs with clear logical structure
   • Fully exploits deep results from Fargues-Scholze theory
   • Appropriate handling of technical details
3. Theoretical Significance:
   • Provides new perspective on stability in local Langlands correspondence
   • Weight multiplicity equidistribution has independent value
   • Extension to positive characteristic broadens theoretical scope

Weaknesses

1. Limited Scope of Application:
   • Addresses only elliptic $L$-parameters
   • Requires representation existence assumptions
   • Compatibility with classical theory remains to be established
2. Technical Dependencies:
   • Heavily relies on deep Fargues-Scholze theory
   • Requires sophisticated algebraic geometry background
   • Some technical details may require further verification

Impact

1. Academic Contribution:
   • Provides new proof techniques for representation theory
   • Advances the geometric Langlands program
   • May inspire further applications of geometric methods
2. Practical Value:
   • Provides possible paths for computer verification
   • Applicability in positive characteristic has practical significance
3. Reproducibility:
   • Proofs based on published theoretical foundations
   • Technical approach is clear and traceable

Applicable Scenarios

1. Theoretical Research: Intersection of local Langlands correspondence, representation theory, and algebraic geometry
2. Teaching: Exemplary case of geometric methods applied to representation theory
3. Further Research: Provides technical foundation for extension to more general cases

References

The paper cites 33 important references, including:

• Fargues-Scholze geometric theory FS21
• Hansen-Kaletha-Weinstein shtuka theory HKW22
• Arthur's endoscopy classification Art13
• Borovoi's algebraic fundamental group theory Bor98
• Classical representation theory literature such as Harish-Chandra HC99

These references form a solid theoretical foundation for the paper.

Overall Assessment: This is a high-quality mathematics paper of significant theoretical importance. The author successfully transforms the complex stability problem into a tractable combinatorial problem and provides a complete proof using innovative geometric methods. While having certain limitations in scope, it provides important new ideas and technical tools for the development of this field.