[论文解读] Exterior Powers of Barsotti-Tate Groups

Mohammad Hadi Hedayatzadeh|arXiv (Cornell University)|Sep 13, 2010

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文建立了在各种基上（包括域和局部诺特概族）维度至多为1的 $\pi$-可除 ${\cal O}$-模与 $p$-可除群的外幂的存在性及其基变换相容性。关键贡献是构造了一类保持高度与维度的外幂的普遍方法，给出了显式公式：对于高度为 $h$、维度 $d \leq 1$ 的 $p$-可除群 $G$，有 $\operatorname{ht}(\bigwedge^r G) = \binom{h}{r}$ 与 $\dim(\bigwedge^r G) = \binom{d-1}{r-1}$。结果推广了算术几何中的经典构造，并为研究韦伊配对与迪厄多内模提供了框架。

ABSTRACT

Let $ \CO $ be the ring of integers of a non-Archimedean local field and $ π$ a fixed uniformizer of $ \CO $. We establish three main results. The first one states that the exterior powers of a $ π$-divisible $ \CO $-module scheme of dimension at most 1 over a field exist and commute with algebraic field extensions. The second one states that the exterior powers of a $p$-divisible group of dimension at most 1 over arbitrary base exist and commute with arbitrary base change. The third one states that when $ \CO $ has characteristic zero, then the exterior powers of $ π$-divisible groups with scalar $ \CO $-action and dimension at most 1 over a locally Noetherian base scheme exist and commute with arbitrary base change. We also calculate the height and dimension of the exterior powers in terms of the height of the given $p$-divisible group or $ π$-divisible $ \CO $-module scheme.

研究动机与目标

• 在域上建立维度至多为1的 $\pi$-可除 ${\cal O}$-模的外幂存在性。
• 将此构造推广至任意基概族上的 $p$-可除群，并确保其与任意基变换相容。
• 当 ${\cal O}$ 的特征为零时，将理论推广至局部诺特基上的 $\pi$-可除 ${\cal O}$-模，且其具有 ${\cal O}$-标量作用。
• 以原始群的不变量表示外幂的高度与维度。
• 在 $R$-模概形与 $p$-可除群的背景下，为外幂提供范畴上的普遍性质。

提出的方法

• 在 $R$-模概形范畴中形式化外幂的普遍性质，利用交错 $R$-多重线性态射。
• 应用 $R$-多重线性迪厄多内理论与提升理论，将问题转化为模论语言。
• 使用基变换与韦伊限制技术，证明外幂与任意基变换的相容性。
• 通过普遍性质构造外幂，并利用相关的迪厄多内模与提升进行验证。
• 借助分歧提升与多重线性态射理论，处理 $\pi$-可除 ${\cal O}$-模的情形。
• 通过卡蒂埃对偶性与已知例子（如椭圆曲线上的韦伊配对）验证构造。

实验结果

研究问题

• RQ1 在域上，维度至多为1的 $\pi$-可除 ${\cal O}$-模的外幂是否存在？它们是否与代数域扩张交换？
• RQ2 在任意基概族上，维度至多为1的 $p$-可除群的外幂能否构造？它们是否与任意基变换相容？
• RQ3 当基环 ${\cal O}$ 的特征为零，且群具有 ${\cal O}$-标量作用时，外幂的行为如何？
• RQ4 外幂 $\bigwedge^r G$ 的高度与维度如何与原始 $p$-可除群 $G$ 的不变量相关？
• RQ5 椭圆曲面上的韦伊配对是否可通过其 $p$-可除群的第二外幂作为普遍交错态射实现？

主要发现

• 高度为 $h$、维度 $d \leq 1$ 的 $p$-可除群 $G$ 的 $r$-阶外幂 $\bigwedge^r G$ 存在，其高度为 $\binom{h}{r}$，维度为 $\binom{d-1}{r-1}$。
• 在域上维度至多为1的 $\pi$-可除 ${\cal O}$-模，其外幂存在且与代数域扩张交换。
• 在任意基概族上，维度至多为1的 $p$-可除群的外幂存在，且与任意基变换相容。
• 当 ${\cal O}$ 的特征为零时，在局部诺特基上具有 ${\cal O}$-标量作用且维度 $\leq 1$ 的 $\pi$-可除 ${\cal O}$-模，其外幂存在且与任意基变换交换。
• 椭圆概族的 $p$-可除群的第二外幂同构于 $\mu_{p^\infty}$，且韦伊配对将其实现为普遍交错态射。
• 对于具有斜率 $0$ 与 $\frac{1}{n-m}$ 的 $p$-可除群，其外幂 $\bigwedge^r G$ 继承了具有显式重数的斜率分解。