[论文解读] Contraction par Frobenius de G-modules

M. Gros, Masaharu Kaneda|arXiv (Cornell University)|Apr 12, 2010

Algebraic structures and combinatorial models参考文献 17被引用 3

一句话总结

本文为特征为正的代数闭域上单连通半单代数群 $G$ 的分布代数 $\mathrm{Dist}(G)$ 引入了弗罗贝尼乌斯自同态的一个 $G$-等变分裂。通过在极大环面的弗罗贝尼乌斯核上构造一个不变测度 $\mu_0$，并定义一个分裂同态 $\phi$，作者在 $p$-权空间 $M_{p\lambda}$ 上赋予了自然的 $G$-模结构，从而实现了对旗流形 $G/B$ 及其施伯特子簇上弗罗贝尼乌斯分裂的几何自然重述。

ABSTRACT

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of positive characteristic. We will untwist the structure of G-modules by a newly found splitting of the Frobenius endomorphism on the algebra of distributions of G, which, for example, explains the subsumed G-equivariant nature of the Frobenius splitting of the flag variety of G.

研究动机与目标

• 通过 $\mathrm{Dist}(G)$ 的分裂，提供旗流形 $G/B$ 上弗罗贝尼乌斯分裂的 $G$-等变重述。
• 将弗罗贝尼乌斯分裂构造从幂零子群推广至博雷尔子群，推广库马尔与利特尔曼的结果。
• 在 $M^{\phi} \simeq (M^{[1]})^{\phi}$ 上建立 $G$-模结构的典范性，其中 $M^{[1]}$ 是 $G$-模 $M$ 的弗罗贝尼乌斯扭。
• 证明分裂 $\phi$ 是 $B^+$-半不变的，并与施伯特子簇相容。
• 为 [KuLi] 中基于量子群的方法提供一种模块化、$G$-等变的替代方案，简化证明并阐明几何不变性。

提出的方法

• 在 $\mathrm{Dist}(\ker Fr_T)$ 中构造一个不变测度 $\mu_0$，即在极大环面 $T$ 上弗罗贝尼乌斯核的分布代数中。
• 定义一个分裂同态 $\phi: \mathrm{Dist}(G) \to \mathrm{Dist}(G)$，以 $\mu_0$ 为单位元，使 $\phi$ 分裂 $\mathrm{Dist}(G)$ 上的弗罗贝尼乌斯自同态。
• 利用 $\phi$ 在 $M^{\phi} = \mu_0 M = \coprod_{\lambda} M_{p\lambda}$ 上定义新的 $G$-模结构，满足 $(M^{[1]})^{\phi} \simeq M$。
• 利用 $\phi$ 的 $B^+$-半不变性，证明 $G/B$ 上的弗罗贝尼乌斯分裂是 $B$-半不变的，符合梅哈塔-拉马纳坦理论的要求。
• 通过限制与对偶性将分裂应用于施伯特子簇，证明其与 $\mathcal{O}_{\mathcal{B}}$ 上标准弗罗贝尼乌斯分裂相容。
• 利用 $\mathbb{F}_p[t]$ 上的 $\mathbb{F}_p$-代数结构，其中 $t^\nu = \prod t_\alpha^{\nu_\alpha}$，分析 $\mathrm{St}$ 中的 $p$-次幂与零化子。

实验结果

研究问题

• RQ1 能否通过 $\mathrm{Dist}(G)$ 的典范分裂，使旗流形 $G/B$ 上的弗罗贝尼乌斯分裂实现 $G$-等变？
• RQ2 是否存在一个 $G$-等变构造，使得弗罗贝尼乌斯收缩 $M^{\phi}$ 满足 $M^{\phi} \simeq (M^{[1]})^{\phi}$？
• RQ3 在 $\mathrm{Dist}(G)$ 上的分裂 $\phi$ 是否保持与施伯特子簇的相容性？
• RQ4 能否利用分裂的 $B^+$-半不变性，恢复 $G/B$ 的典范弗罗贝尼乌斯分裂？
• RQ5 是否 $L((p-2)\rho) \otimes \mathcal{L}(-\rho)$ 是 $F_*\mathcal{O}_{\mathcal{B}}$ 的直和项？

主要发现

• 在 $\mathrm{Dist}(G)$ 上的分裂 $\phi$ 是 $G$-等变且 $B^+$-半不变的，从而在 $M^{\phi} = \coprod_{\lambda} M_{p\lambda}$ 上赋予了 $G$-模结构的典范性。
• 该构造满足 $(M^{[1]})^{\phi} \simeq M$，表明 $M^{\phi}$ 是李特尔曼意义下的弗罗贝尼乌斯收缩。
• 分裂 $\phi$ 在旗流形 $G/B$ 上诱导出一个 $B$-半不变的弗罗贝尼乌斯分裂，从而恢复了梅哈塔-拉马纳坦的典范分裂。
• 通过在对偶配对下 $w^{-1}f_{-}$ 在 $U^{+}w$ 上的消去性，证明了分裂与施伯特子簇的相容性。
• 该方法为 [KuLi] 中基于量子群的方法提供了一种模块化、$G$-等变的替代方案，简化了 $B$-半不变性的证明。
• 对 $\mathbb{F}_p[t]$ 中 $p$-次幂的分析表明，若 $\sum v_i \smallsmile f_i^p = 0$，则 $f_{-} = 0$ 在 $Uwv_{-}$ 上成立，从而确认了分裂的单射性。