2025-11-14T09:13:11.122832

Stability of Elliptic Fargues-Scholze $L$-packets

Let $F$ be a non-archimedean local field. Let $\overline{F}$ be an algebraic closure of $F$. Let $G$ be a connected reductive group over $F$. Let $Ï$ be an elliptic $L$-parameter. For every irreducible representation $Ï$ of $G(F)$ with Fargues--Scholze $L$-parameter $Ï$, we prove that there exists a finite set of irreducible representations $\{Ï_i\}_{i \in I}$ containing $Ï$, such that $Ï_i$ has Fargues--Scholze $L$-parameter $Ï$ for all $i \in I$ and a certain non-zero $\mathbb{Z}$-linear combination $Î_{Ï_0}$ of the Harish-Chandra characters of $\{Ï_i\}_{i \in I}$ is stable under $G(\overline{F})$ conjugation, as a function on the elliptic regular semisimple elements of $G(F)$. Moreover, if $F$ has characteristic zero, $Î_{Ï_0}$ is a non-zero stable distribution on $G(F)$.

academic

Stability of Elliptic Fargues-Scholze $L$ -packets

基本信息

论文ID: 2501.00652
标题: Stability of elliptic Fargues–Scholze L-packets
作者: Chenji Fu
分类: math.RT (表示论), math.AG (代数几何), math.NT (数论)
发表时间: 2024年12月31日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2501.00652

摘要

本文研究椭圆Fargues-Scholze $L$ -包的稳定性问题。设 $F$ 为非阿基米德局部域， $G$ 为 $F$ 上的连通约化群， $\varphi$ 为椭圆 $L$ -参数。对于每个具有Fargues-Scholze $L$ -参数 $\varphi$ 的 $G(F)$ 不可约表示 $\pi$ ，作者证明存在有限的不可约表示集合 $\{\pi_i\}_{i \in I}$ 包含 $\pi$ ，使得所有 $\pi_i$ 都具有Fargues-Scholze $L$ -参数 $\varphi$ ，并且这些表示的Harish-Chandra特征标的某个非零 $\mathbb{Z}$ -线性组合 $\Theta_{\pi_0}$ 在 $G(F)$ 的椭圆正则半单元素上关于 $G(F)$ 共轭作用是稳定的。当 $F$ 为特征零时， $\Theta_{\pi_0}$ 是 $G(F)$ 上的非零稳定分布。

研究背景与动机

核心问题: 局部Langlands对应的稳定性猜想是表示论的核心问题之一。该猜想预测不可约表示可以分割成所谓的 $L$ -包，每个 $L$ -包应该满足稳定性条件。
重要性:
- 稳定性是局部Langlands对应的基本性质之一
- 与自守形式理论和算术几何有深刻联系
- 对理解 $p$ -进群的表示结构至关重要
现有方法局限性:
- 传统证明严重依赖内镜理论(endoscopy)，技术复杂且适用范围有限
- 内镜理论在正特征情况下尚未完全发展
- 需要逐案例分析，缺乏统一方法
研究动机:
- 利用Fargues-Scholze的几何化方法提供新的证明途径
- 避免依赖内镜理论的复杂技术
- 在正特征情况下也能适用

核心贡献

主要定理: 证明了椭圆Fargues-Scholze $L$ -包的稳定性（定理4.3.3和4.3.6）
新的证明方法: 首次使用纯几何方法证明 $L$ -包稳定性，避开内镜理论
技术创新:
- 将稳定性问题转化为Hecke特征层的分析
- 利用权重重数的等分布性质
- 在有限阿贝尔群上使用Fourier分析
适用性扩展: 方法在正特征情况下同样有效
独立价值: 关于权重重数等分布性质的证明具有独立的数学意义

方法详解

任务定义

给定椭圆 $L$ -参数 $\varphi: W_F \to \hat{G}(\mathbb{Q}_\ell)$ 和具有Fargues-Scholze $L$ -参数 $\varphi$ 的不可约表示 $\pi \in \text{Irr}_{\mathbb{Q}_\ell} G(F)$ ，证明存在表示的线性组合其Harish-Chandra特征标在椭圆正则半单元素上是稳定的。

核心架构

1. Fargues-Scholze几何框架

利用 $G$ -丛模空间 $\text{Bun}_G$ 上的层范畴 $D(\text{Bun}_G)$
谱作用(spectral action): $\text{Perf}(Z^1(W_F, \hat{G})/\hat{G})$ 对 $D(\text{Bun}_G)^\omega$ 的作用
构造关键对象： $\pi_0 := \mathcal{O}(S_\varphi) * \pi$ 其中 $\mathcal{O}(S_\varphi)$ 是 $S_\varphi = \text{Cent}(\varphi, \hat{G})$ 的正则表示

2. Hecke特征层性质

引理4.1.2: $F_0 := (i_\varphi)_* \mathcal{O}(S_\varphi) * (i_1)_! \pi$ 是Hecke特征层，即对任意 $\hat{G}$ 的代数表示 $V$ ： $T_V(F_0) = F_0^{\oplus \dim V}$

技术创新点

1. 关键等式建立

通过Hecke算子的性质和Hansen-Kaletha-Weinstein的公式，建立： $T_{V_{\mu_m}} \Theta_{\pi_0} = \Theta_{T_{V_{\mu_m}^*}(\pi_0)} = \dim(V_{\mu_m}) \Theta_{\pi_0}$

其中 $\mu_m = 4m\rho_G$ ， $V_{\mu_m}$ 是最高权表示。

2. 权重重数分析

将Harish-Chandra特征标表示为加权和： $\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分析技术

关键洞察: 在有限阿贝尔群 $H_g := \ker(X_*(T_g)^\Gamma \to \pi_1(G)^\Gamma)$ 上使用Fourier分析。

对于 $H_g$ 的非平凡特征标 $\chi$ ，利用Weyl特征标公式证明： $\frac{\chi(\text{Char} V_{\mu_m})}{\dim V_{\mu_m}} \to 0 \quad \text{当} \quad m \to \infty$

4. 等分布性证明

定理4.3.2: 对任意 $h \in H_g$ ，极限 $\lim_{m \to \infty} \frac{\sum_{\lambda \in X_*(T_g), \lambda = h} \dim V_{\mu_m}[\lambda]}{\dim V_{\mu_m}}$ 存在且与 $h$ 无关，均等于 $\frac{1}{|H_g|}$ 。

实验设置

本文为纯理论数学论文，不涉及数值实验。所有结果都是通过严格的数学证明获得。

理论验证框架

代数群理论: 使用Borel子群、权格、根系等经典理论
表示论: Harish-Chandra特征标理论、正则表示分解
代数几何: Fargues-Fontaine曲线上的层理论
调和分析: 有限群上的Fourier变换

主要结果

核心定理

定理4.3.3 (主要结果): 设 $G$ 为 $F$ 上连通约化群， $\varphi: W_F \to \hat{G}(\mathbb{Q}_\ell)$ 为椭圆 $L$ -参数。对每个 $\pi \in \text{Irr}_{\mathbb{Q}_\ell} G(F)$ 满足 $\varphi_\pi^{FS} = \varphi$ ，定义 $F_0 := (i_\varphi)_* \mathcal{O}(S_\varphi/Z(\hat{G})^\Gamma) * (i_1)_! \pi, \quad \pi_0 := i_1^* F_0$

则Harish-Chandra特征标 $\Theta_{\pi_0}$ 在 $G(F)_{\text{ell}}$ 上关于 $G(F)$ 共轭作用是稳定的非零函数。

定理4.3.6: 在特征零情况下， $\Theta_{\pi_0}$ 是 $G(F)$ 上的非零稳定分布。

技术结果

多项式增长估计 (命题3.3.1):
- $\dim V_{\mu_m}$ 是 $m$ 的 $k$ 次多项式（ $k = |\hat{\Phi}^+|$ ）
- 对非平凡特征标 $\chi$ ， $\chi(\text{Char} V_{\mu_m})$ 至多是 $m$ 的 $k-1$ 次多项式
扩展纯内形式间的转移 (推论4.4.3): 建立了不同扩展纯内形式间稳定共轭元素的特征标关系