Constructing $2$-dimensional Lubin-Tate formal groups over $\mathbb{Z}_{p}$ (I)

《构造 $\mathbb{Z}_p$ 上的二维 Lubin-Tate 形式群 (I)》技术摘要

问题陈述
本文解决了从一维到高维推广 Lubin-Tate 理论中的一个显著空白。虽然 Lubin 和 Tate (1964) 成功构造了定义在 $\mathbb{Z}_p$ 上的的一维形式群，其扭点生成了 $\mathbb{Q}_p$ 的极大全分歧阿贝尔扩张，但高维类比情况仍难以理解。此前由 Honda、Hazewinkel 等人的尝试要么未能产生非平凡的高维形式群，要么导致了一维形式群的直和，从而无法捕捉到预期的复杂性。作者旨在构造一类真正的二维 Lubin-Tate 形式群（非一维形式群的直和），并初步研究由其 $p^\infty$-扭点生成的域扩张。

方法论
作者采用了根植于 Hazewinkel 和 Lubin 工作的泛函方程法，并将其适配于二维情况。

1. 对数构造： 作者并非直接定义形式群律，而是通过其对数来构造形式群。他们定义了一个特定的二维幂级数族 $L_g(X)$，该系列满足一个涉及序列矩阵 $(s_i)$ 和类 Frobenius 算子的泛函方程。
2. 指数化： 利用泛函方程引理 (Lemma 3.2)，作者通过反转对数 $L_g$ 来定义形式群律 $F(X, Y) = L_g^{-1}(L_g(X) + L_g(Y))$。
3. 动力学逼近： 为了分析扭点，作者引入了一个动力系统 $D_{\vec{h}}$，作为乘法 $p$ 算子 $[p]_F$ 的 $p$-进逼近。该系统由 $D_{\vec{h}}(x_1, x_2) = (px_1 + x_2^{h_1}, px_2 + x_1^{h_2})$ 定义。
4. Newton Copolygon（Newton 协同多边形）： 作者引入了一种针对二元 $p$-进幂级数的全新几何工具——“Newton 协同多边形”。它将经典的 Newton 多边形推广到了三维空间，使作者能够将级数系数的估值与零点的估值联系起来。
5. 分歧分析： 作者通过使用动力系统和 Newton 协同多边形来计算扭点坐标的 $p$-进估值，从而分析由扭点生成的扩张的分歧性质。

核心贡献与结果

• 二维形式群的构造： 作者定义了一类与一对互质正整数 $\vec{h} = (h_1, h_2)$ 相关联的 $\mathbb{Z}_p$ 上的二维 Lubin-Tate 形式群 $F$。他们证明了当这些群在某些非分歧扩张上考虑时，其自同态环大于 $\mathbb{Z}_p$，从而使其区别于一维形式群的直和。
• 高度与自同构： 所构造的群被证明具有有限高度 $h = h_1 + h_2$。乘法 $p$ 算子 $[p]_F$ 满足关于 $p$ 和 2 次项的特定同余条件，使其属于特定的幂级数集合 $C_{LT}$。
• 扭点扩张的 Galois 结构：
  • 定理 5.1： 由 $p^n$-扭点坐标生成的域扩张 $\mathbb{Q}_p(F[p^n])$ 是 $\mathbb{Q}_p$ 的 Galois 扩张。
  • 定理 5.2： 在高度为 $h = h_1 + h_2$ 的非分歧扩张 $U_h$ 上，由全 $p^\infty$-扭点生成的扩张是阿贝尔扩张。这是一个核心结果，它确立了虽然在 $\mathbb{Q}_p$ 上的扩张可能是非阿贝尔的（类似于一维情况在非分歧扩张上的情形），但在适当的非分歧基域上是阿贝尔的。
• 扭点估值： 定理 5.5 为奇素数 $p$ 时非平凡 $p^n$-扭点坐标的 $p$-进估值提供了显式公式。这些估值取决于 $n$ 的奇偶性以及参数 $h_1, h_2$。
• 分歧性质：
  • 定理 5.6： 在高度之和 $h = h_1 + h_2$ 为奇数的特定情况下，由 $p$-扭点在 $U_h$ 上生成的扩张是次数为 $(p^h - 1)/2$ 的全分歧扩张。$p$-扭点的坐标生成相同的域扩张。

意义与范围
本文声称通过提供第一个显式的非平凡二维形式群的构造，并建立其基本算术性质，部分填补了高维 Lubin-Tate 群理论的空白。引入 Newton 协同多关于为研究多变量 $p$-进幂级数提供了一个新的几何视角。

作者对其研究范围持谦逊态度。他们明确指出本文仅“初步研究”分歧性质。虽然他们证明了当 $h$ 为奇数时 $p$-扭点情况下的全分歧性，但他们指出，对于 $n > 1$ 的 $p^n$-扭点情况进行全面的分歧分析是留给后续工作的。此外，他们承认并非每个候选集 $C_{LT}$ 中的元素都能产生有效的 Lubin-Tate 形式群，这凸显了与一维情况相比在高维设定下的特殊约束。本文并不声称通过这些群完全刻画了 $\mathbb{Q}_p$ 的极大阿贝尔扩张，而是确定了这些扭点生成阿贝尔塔的特定非分歧扩张 $U_h$。