[论文解读] Determining whether certain affine Deligne-Lusztig sets are empty

Daniel C. Reuman|ArXiv.org|Nov 27, 2002

Advanced Algebra and Geometry参考文献 7被引用 15

一句话总结

本文使用涉及扩展仿射 Weyl 群、Bruhat-Tits 建筑和 Iwahori 子群的组合与几何方法，确定了非阿从局部域上分裂半单代数群的仿射 Deligne-Lusztig 集 $X_w(b\sigma)$ 的非空性。关键贡献是一组满射性和不变性结果，使得非空性信息能够在 Weyl 群元素之间传播，从而实现对 $SL_3$、$Sp_4$ 及相关群的解集的完全或近乎完全确定。

ABSTRACT

Let F be a non-archimedean local field, let L be the maximal unramified extension of F, and let fr be the Frobenius automorphism. Let G be a split connected reductive group over F, and let B(1) be the Bruhat-Tits building associated to G(F). We know that fr acts on G(L) with fixed points G(F). Let I be the Iwahori associated to a chamber in B(1). We have the relative position map, inv, from G(L)/I x G(L)/I to the extended affine Weyl group, W_e of G. If w is in W_e and b is in G(L), then the affine Deligne-Lusztig set Xw(b fr) is {x in G(L)/I : inv(x,b fr(x)) = w}. This paper answers the question of which Xw(b fr) are non-empty for certain G and b.

研究动机与目标

• 确定对于哪些 $w \in \tilde{W}$ 和 $b \in G(L)$，仿射 Deligne-Lusztig 集 $X_w(b\sigma)$ 是非空的。
• 建立 $X_w(b\sigma)$ 的结构性质，特别是关于 Frobenius 自同态和扩展仿射 Weyl 群作用下的性质。
• 开发利用满射映射与对称性在 Weyl 群元素之间传播非空性信息的工具。
• 将这些工具应用于计算或刻画特定群（如 $SL_3$、$Sp_4$ 和 $GL_n$）的解集。
• 将结果推广至秩大于 1 和 2 的其他分裂半单群。

提出的方法

• 使用相对位置映射 $\mathop{\mathrm{inv}}: G(L)/I \times G(L)/I \to \tilde{W}$ 定义 $X_w(b\sigma)$ 为满足 $\mathop{\mathrm{inv}}(x, b\sigma(x)) = w$ 的 $xI$ 的集合。
• 应用 Frobenius 自同态 $\sigma$ 将 $G(L)$-作用与 $G(F)$-不动点联系起来。
• 利用 $G(L)$ 的 Bruhat-Tits 建筑 $\mathcal{B}_\infty$ 和 Iwahori 子群 $I$ 来建模 $G(L)/I$ 的几何结构。
• 使用标准最小路径（SMGs）和复合路径来建模建筑中的路径，并分析 $X_w(b\sigma)$。
• 应用 Rapoport 和 Kottwitz 的方法，通过投影映射和平行四边形构造，生成解集的上界。
• 应用 $\mathbb{Z}/n$-作用下的不变性（例如 $SL_3$ 中的旋转）和满射定理，实现在不同壁之间的非空性传播。

实验结果

研究问题

• RQ1 对于哪些 $w \in \tilde{W}$ 和 $b \in G(L)$，仿射 Deligne-Lusztig 集 $X_w(b\sigma)$ 是非空的？
• RQ2 当 $s$ 为反射时，$X_w(b\sigma)$ 的非空性如何与 $X_{sws}(b\sigma)$ 和 $X_{sw}(b\sigma)$ 的非空性相关？
• RQ3 是否可以利用几何与群论不变性，在 Weyl 群元素之间传播非空性信息？
• RQ4 $SL_3$、$Sp_4$ 和 $GL_n$ 在 $b=1$ 或 $b$ 非平凡时，$X_w(b\sigma)$ 的结构是怎样的？
• RQ5 Rapoport 和 Kottwitz 的方法在多大程度上可被调整以构造 $X_w(b\sigma)$ 的上界与下界？

主要发现

• 对于 $SL_3$ 且 $b=1$ 的情形，应用不变性与满射性结果后，解集几乎完全确定，仅剩少数壁未分类。
• 当 $l(w) < l(sws)$ 时，存在满射映射 $\Gamma: X_w(b\sigma) \to X_{sws}(b\sigma) \cup X_{sw}(b\sigma)$，从而实现非空性的传播。
• 当 $l(sws) > l(w)$ 时，存在从 $X_{sws}(b\sigma)$ 到 $X_w(b\sigma) \cup X_{ws}(b\sigma)$ 的满射映射，使得信息可反向传播。
• 对于 $SL_3$，$\mathbb{Z}/3$-作用下的旋转对称性使得非空性结果可从一个壁推广至三个对称的壁。
• 对于 $Sp_4$，利用复合路径构造了一个解集的猜想上界，非空性通过 $\sigma$-共轭类和路径中的选择点进行分析。
• Rapoport 和 Kottwitz 的方法可高效计算出 $X_w(b\sigma)$ 的一个上界，当与不变性结合时，能对解集施加强约束。