[论文解读] Affine Deligne-Lusztig varieties and the action of J

Miaofen Chen, Eva Viehmann|arXiv (Cornell University)|Jul 10, 2015

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

一句话总结

本文通过群 $J_b(F)$ 的作用，引入了一种新的仿射 Deligne-Lusztig 代数簇的群论分层方法，该方法基于相对位置函数 $f_g: J_b(F) \to X_*(T)_{\text{dom}}$。关键贡献在于将已知的分层（如 Bruhat-Tits 分层、半模分层和 $a$-不变量分层）统一为这一通用框架下的特例，且当且仅当 $f_g$ 属于某个特定的 $J_b(F)$-轨道时，$a$-不变量等于 1。

ABSTRACT

We propose a new stratification of the reduced subschemes of Rapoport-Zink spaces and of affine Deligne-Lusztig varieties that highlights the relation between the geometry of these spaces and the action of the associated automorphism group. We show that this provides a joint group-theoretic interpretation of well-known stratifications which only exist for special cases such as the Bruhat-Tits stratification of Vollaard and Wedhorn, the semi-module stratification of de Jong and Oort, and the locus where the a-invariant is equal to 1.

研究动机与目标

• 将仿射 Deligne-Lusztig 代数簇的多种不同分层（如 Bruhat-Tits、半模和 $a$-不变量分层）统一到一个单一的群论框架中。
• 通过定义基于相对位置的新不变量，阐明群 $J_b(F)$ 在这些代数簇结构中的几何作用。
• 为此前缺乏一般表述的仿射 Deligne-Lusztig 代数簇的几何结构与 $J_b(F)$ 的 Bruhat-Tits 建筑之间的观测关联提供概念性解释。
• 证明当且仅当 $f_g$ 属于某个固定函数 $F$ 的 $J_b(F)$-轨道时，$a$-不变量为 1，从而给出该不变量的群论刻画。

提出的方法

• 对每个 $g \in G(L)/K$，通过 Cartan 分解定义函数 $f_g: J_b(F) \to X_*(T)_{\text{dom}}$，将每个 $j \in J_b(F)$ 映射到相对位置 $\text{inv}(j,g)$。
• 利用 Cartan 分解 $G(L) = \coprod_{\xi \in X_*(T)_{\text{dom}}} K\xi(\epsilon)K$，将 $f_g(j)$ 的值计算为满足 $j^{-1}g \in K\epsilon^{f_g(j)}K$ 的共轭特征标。
• 构造 $X_\mu(b)$ 沿 $f_g$ 的像的局部闭子概形分层，证明该分层推广了已知情形。
• 利用 Dieudonné 模的多重半模结构，证明：当且仅当 $f_g$ 属于 $J_b(F)$ 的某个特定轨道时，格 $M = gM_0$ 的 $a$-不变量等于 1。
• 利用 $J_b(F)$ 的作用对格 $M \subset M_0$ 进行标准化，化归到 $M$ 不包含于任何满足 $v_\epsilon(\det j) > 0$ 的 $jM_0$ 的情形，从而简化 $a$-不变量的分析。
• 利用等复结构及 $\tau_0 = \sigma$ 和 $\tau_1 = (b\sigma)^a \epsilon^{a'}$ 的作用，通过在这些算子下不变性来刻画 $J_b(F)$-稳定格。

实验结果

研究问题

• RQ1 仿射 Deligne-Lusztig 代数簇的几何结构如何系统地与群 $J_b(F)$ 的作用相关联？
• RQ2 Bruhat-Tits 分层、半模分层和 $a$-不变量分层能否被理解为单一统一的群论分层的特例？
• RQ3 函数 $f_g$ 的精确群论条件是什么，以刻画格 $M = gM_0$ 的 $a$-不变量等于 1 的情形？
• RQ4 新分层中一个分层的闭包是否总是若干分层的并集？如果不是，其闭包关系的性质如何？

主要发现

• 通过函数 $f_g: J_b(F) \to X_*(T)_{\text{dom}}$ 构造的 $X_\mu(b)$ 新分层是局部闭的，且推广了已知分层（如 Bruhat-Tits 分层和半模分层）。
• 格 $M = gM_0$ 的 $a$-不变量等于 1 当且仅当 $f_g$ 属于某个典范函数 $F$ 的 $J_b(F)$-轨道，从而给出了该不变量的群论刻画。
• 对于不包含于任何满足 $v_\epsilon(\det j) > 0$ 的 $jM_0$ 的格 $M \subset M_0$，其多重半模等于 $A_{\text{gen}}$ 当且仅当 $a(M) = 1$，且该条件等价于 $f_g$ 属于指定的 $J_b(F)$-轨道。
• 该分层不一定是闭包下封闭的，如第 2.1 节的反例所示，表明闭包关系是非平凡的，且不简单地表现为分层的并集。
• $J_b(F)$ 在 $X_\mu(b)$ 上的作用允许对 $g$ 进行标准化，使得 $M = gM_0 \subset M_0$ 且 $M$ 不包含于任何满足 $v_\epsilon(\det j) > 0$ 的 $jM_0$，从而简化了 $a$-不变量的分析。
• 在等复结构 $(L^h, b\sigma)$ 中，格 $M$ 是 $J_b(F)$-稳定（即存在 $j \in J_b(F)$ 使得 $M = jM_0$）当且仅当它在生成 $b\sigma$ 和 $\epsilon$ 作用的算子 $\tau_0$ 和 $\tau_1$ 下不变。