[论文解读] Semi-modules and irreducible components of affine Deligne-Lusztig varieties

Sian Nie|arXiv (Cornell University)|Feb 13, 2018

Advanced Algebra and Geometry参考文献 12被引用 3

一句话总结

本文通过半模方法，对 Weil 限制的一般线性群的仿射 Deligne-Lusztig 代数簇建立了分层结构，证明了 Chen 和 Zhu 的一个猜想：即不可约分支的 $\pi_1$-轨道数等于对偶表示中一个权空间的维数。该分层由 Hodge 型 $\mu$ 的半模参数化，且不可约分支在 $\mathbb{J}_\gamma$-作用下彼此共轭，其计数与 $V_\mu^{\hat{G}}(\lambda_G(\gamma))$ 的维数一致。这在 $p$-进群与 Shimura 簇的背景下，确认了几何结构与表示理论之间的深层联系。

ABSTRACT

Let $G$ be the Weil restriction of a general linear group. By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we obtain a stratification of the affine Deligne-Lusztig varieties for $G$ (in the affine Grassmannian) attached to a minuscule coweight and a basic element. As an application, we verify a conjecture by Chen and Zhu on irreducible components of affine Deligne-Lusztig varieties for $G$.

研究动机与目标

• 理解 $G = \mathrm{Res}_{\mathbb{F}_{q^d}/\mathbb{F}_q}\mathrm{GL}_n$ 的仿射 Deligne-Lusztig 代数簇 $X_\mu^G(\gamma)$ 的几何结构，特别是其不可约分支。
• 将 de Jong、Oort、Viehmann 和 Hamacher 的半模方法扩展至基本 $\gamma$ 和极小权 $\mu$ 的情形，为 $X_\mu^G(\gamma)$ 提供一个分层结构。
• 验证 Chen 和 Zhu 提出的猜想：即不可约分支的 $\mathbb{J}_\gamma$-轨道数与对偶表示 $V_\mu^{\hat{G}}(\lambda_G(\gamma))$ 中一个权空间的维数之间的关系。
• 通过 Mirković-Vilonen 圆周构造，建立不可约分支的 $\mathbb{J}_\gamma$-轨道与 $V_\mu^{\hat{G}}(\lambda_G(\gamma))$ 的一个基之间的双射。

提出的方法

• 本文使用扩展的半模框架（或称‘扩展 EL 图’）对 $G = \mathrm{Res}_{\mathbb{F}_{q^d}/\mathbb{F}_q}\mathrm{GL}_n$ 的 $X_\mu^G(\gamma)$ 进行分层，其中 $\mu$ 为极小权，$\gamma$ 为基本元素。
• 定义分解 $X_\mu^G(\gamma) = \sqcup_A \mathcal{L}(A)$，其中 $A$ 遍历 Hodge 型为 $\mu$ 的半模，且每个 $\mathcal{L}(A)$ 是仿射空间上的局部闭、有限且光滑子集。
• $\mathbb{J}_\gamma$ 在 $X_\mu^G(\gamma)$ 上的作用通过投影 $\beta_\gamma: \mathcal{L}(A) \to \mathcal{L}({}^\gamma A)$ 分析，该投影映射到一个 Levi 子群的代数簇的分支。
• 证明利用了半模的刚性性质及 Iwahori 分解结构，表明 $\mathcal{L}(A)$ 的不可约分支的 $\mathbb{J}_\gamma$-共轭性蕴含其底层半模的等价性。
• 应用 Hamacher 和 Viehmann 在超基本情形下的结果，并通过抛物诱导及 $\sigma$-固定 Weyl 群元素的共轭进行推广。
• 最终通过表示论对偶性及 $\lambda_G(\gamma)$ 在 $\sigma$-固定共轭下保持不变的事实，将 $\mathbb{J}_\gamma$-轨道的计数与 $\dim V_\mu^{\hat{G}}(\lambda_G(\gamma))$ 匹配。

实验结果

研究问题

• RQ1 当 $\gamma$ 为基本元素且 $\mu$ 为极小权时，半模分层是否可推广至 Weil 限制的 $\mathrm{GL}_n$？
• RQ2 Chen 和 Zhu 关于 $\mathbb{J}_\gamma$-轨道与 $V_\mu^{\hat{G}}(\lambda_G(\gamma))$ 的维数之间对应关系的猜想，在此情形下是否可被验证？
• RQ3 $\mathcal{L}(A)$ 的不可约分支是否在 $\mathbb{J}_\gamma \cap N(L)$ 作用下彼此共轭？这与 $\mathcal{L}({}^\gamma A)$ 的结构有何关联？
• RQ4 $\mathbb{J}_\gamma$-作用在不可约分支上的结构如何通过 Mirković-Vilonen 圆周与权空间 $V_\mu^{\hat{G}}(\lambda_G(\gamma))$ 关联？
• RQ5 $\mathcal{L}(A)$ 的维数与相关 Levi 子群的代数簇 $X_{\lambda_A}^M(\gamma)$ 的维数之间存在何种精确关系？

主要发现

• 仿射 Deligne-Lusztig 代数簇 $X_\mu^G(\gamma)$ 允许分层 $X_\mu^G(\gamma) = \sqcup_A \mathcal{L}(A)$，其中 $A$ 遍历 Hodge 型为 $\mu$ 的半模，且每个 $\mathcal{L}(A)$ 是仿射空间上的有限、光滑、局部闭子集。
• $\mathcal{L}(A)$ 的不可约分支在 $\mathbb{J}_\gamma$-作用下彼此共轭，该结论通过满射投影 $\beta_\gamma: \mathcal{L}(A) \to \mathcal{L}({}^\gamma A)$ 及 $\mathcal{L}({}^\gamma A)$ 的不可约性得以证明。
• 若两个半模 $A$ 与 $A'$ 满足 $\mathbb{J}_\gamma \cdot \mathrm{Irr}\mathcal{L}(A) = \mathbb{J}_\gamma \cdot \mathrm{Irr}\mathcal{L}(A')$，则 $A \sim A'$，即它们在 $\mathbb{J}_\gamma$-作用下等价。
• 存在自然双射 $\mathbb{J}_\gamma \backslash \mathrm{Irr}X_\mu^G(\gamma) \overset{\sim}{\to} \tilde{\mathcal{R}}_{\mu}^{\mathrm{top}}(G)$，将不可约分支的轨道与最高半模联系起来。
• $\mathbb{J}_\gamma$-不可约分支轨道数恰好为 $\dim V_\mu^{\hat{G}}(\lambda_G(\gamma))$，从而验证了 Chen-Zhu 猜想。
• $\dim V_\mu^{\hat{G}}(\lambda_G(\gamma))$ 在 $\sigma$-固定 Weyl 群共轭下保持不变，确保对相关抛物子群 $H$ 有 $\dim V_\mu^{\hat{G}}(\lambda_G(\gamma)) = \dim V_\mu^{\hat{H}}(\lambda_H(\gamma))$。