[论文解读] A realization theorem for modules of constant Jordan type and vector bundles

David J. Benson, Julia Pevtsova|arXiv (Cornell University)|Jul 22, 2010

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

一句话总结

本文建立了一项实现定理，将初等阿贝尔 $ p $-群的群代数上的有限生成常约当型模与 $ \mathbb{P}^{r-1} $ 上的向量丛联系起来。结果表明，对于任意秩为 $ s $ 的向量丛 $ \mathcal{F} $，存在一个 $ kE $-模 $ M $，其稳定常约当型为 $[1]^s$，使得当 $ p = 2 $ 时有 $ \mathcal{F}_1(M) \cong \mathcal{F} $，当 $ p $ 为奇数时有 $ \mathcal{F}_1(M) \cong F^*(\mathcal{F}) $，其中 $ F $ 为弗罗贝尼乌斯态射。该结果是紧致的：当 $ p $ 为奇数时，$ \mathcal{F}_1(M) $ 的陈数 $ c_1, \dots, c_{p-2} $ 总是被 $ p $ 整除，因此该定理无法进一步加强。

ABSTRACT

Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The fibers of these functors encode complete information about the Jordan type of the module. We prove that given any vector bundle of rank s on P^{r-1}, there is a kE-module M of stable constant Jordan type [1]^s such that the functor F_1 applied to M yields the original vector bundle for p=2 and the Frobenius twist of the original vector bundle for p>2. We also prove that the theorem cannot be improved if p is odd, because if M is any module of stable constant Jordan type [1]^s then the Chern numbers c_1, ... ,c_{p-2} of F_1(M) are divisible by p.

研究动机与目标

• 建立有限生成 $ kE $-模（常约当型）与 $ \mathbb{P}^{r-1} $ 上代数向量丛之间的对应关系，其中 $ E $ 为初等阿贝尔 $ p $-群，$ k $ 为特征 $ p $ 的域。
• 定义并研究将模映射到向量丛的函子 $ \mathcal{F}_i $，以编码约当块结构的信息。
• 证明 $ \mathbb{P}^{r-1} $ 上的每个向量丛均可作为某个稳定常约当型为 $[1]^s$ 的模 $ M $ 的 $ \mathcal{F}_1(M) $ 实现，当 $ p $ 为奇数时允许弗罗贝尼乌斯拉回。
• 证明当 $ p $ 为奇数时，该定理无法加强，原因在于结果丛的陈类存在算术约束。

提出的方法

• 从 $ kE $-模到 $ \mathbb{P}^{r-1} $ 上凝聚层的函子 $ \mathcal{F}_i $ 被定义，以捕捉长度为 $ i $ 的约当块的幂零部分之和。
• 构造利用了增强理想 $ J(kE) $ 在模上的作用，其中元素 $ X_\alpha = \sum \lambda_i X_i $ 的作用是幂零的。
• 函子 $ \mathcal{F}_i $ 定义为平凡丛 $ \widetilde{M} $ 的子商，通过编码 $ X_i $ 在 $ M $ 上作用的映射 $ \theta_M $。
• 对于常约当型模，$ \mathcal{F}_i $ 产生代数向量丛，其在 Heller 位移和对偶下的行为被分析。
• 主定理的证明使用了向量丛扭张的陈类公式，以及恒等式 $ x(x+1)\cdots(x+p-1) \equiv x^p - x \pmod{p} $。
• 关键步骤是证明 $ \widetilde{M} $ 的滤子商的陈类乘积满足 $ c(\widetilde{M}, h) \equiv c(\mathcal{F}_1(M), h) \pmod{(p, h^{p-1})} $，从而导出陈数被 $ p $ 整除。

实验结果

研究问题

• RQ1 是否每个 $ \mathbb{P}^{r-1} $ 上的向量丛都可作为某个稳定常约当型为 $[1]^s$ 的 $ kE $-模 $ M $ 的 $ \mathcal{F}_1(M) $ 实现？
• RQ2 在常约当型模的背景下，弗罗贝尼乌斯态射如何影响向量丛的可实现性？
• RQ3 当 $ M $ 具有稳定常约当型 $[1]^s$ 时，$ \mathcal{F}_1(M) $ 的陈类存在何种算术约束？
• RQ4 为何奇数 $ p $ 时的实现定理必然弱于 $ p = 2 $ 的情况，其强度受何限制？
• RQ5 是否存在某些向量丛无法实现为 $ \mathcal{F}_1(M) $ 的障碍？若有，其本质是什么？

主要发现

• 当 $ p = 2 $ 时，$ \mathbb{P}^{r-1} $ 上任意秩为 $ s $ 的向量丛 $ \mathcal{F} $ 均可作为某个稳定常约当型为 $[1]^s$ 的 $ kE $-模 $ M $ 的 $ \mathcal{F}_1(M) $ 实现。
• 当 $ p $ 为奇数时，每个向量丛 $ \mathcal{F} $ 均可实现为 $ \mathcal{F}_1(M) \cong F^*(\mathcal{F}) $，其中 $ F $ 为弗罗贝尼乌斯态射。
• 当 $ p $ 为奇数时，该定理无法加强，因为对所有 $ 1 \leq m \leq p-2 $，均有 $ c_m(\mathcal{F}_1(M)) $ 被 $ p $ 整除。
• 该整除性条件是紧致的：当 $ p \geq 7 $ 时，霍罗克斯–曼福德丛及其扭张无法作为任何类型为 $[1]^2$ 的 $ M $ 的 $ \mathcal{F}_1(M) $ 实现。
• 向量丛扭张的陈类公式，结合模 $ p $ 下的费马小定理，构成了陈类整除性的证明基础。
• 该结果揭示了来自常约当型模的向量丛几何中存在根本性障碍，尤其在奇数特征下。