[论文解读] p-adic monodromy of the universal deformation of an elementary Barsotti-Tate group

Yichao Tian|arXiv (Cornell University)|Aug 15, 2007

Advanced Algebra and Geometry被引用 2

一句话总结

本文证明了在特征 $ p > 0 $ 的代数闭域上，一个连通、HW-循环的巴绍蒂-泰特群的普遍形变的普通部分的基本群的 $ p $-进单值表示在塔特模上是满射的。该结果将伊古萨定理推广到了更广泛的 $ p $-除子群类，包括所有一维连通群。

ABSTRACT

Let k be an algebraically closed field of characteristic $p>0$, and $G_0$ be a Barsotti-Tate group (or $p$-divisible group) over k. We denote by $S$ the algebraic local moduli in characteristic p of $G_0$, by $G$ the universal deformation of $G_0$ over $S$, and by $U\subset S$ the ordinary locus of $G$. The etale part of $G$ over $U$ gives rise to a monodromy representation $ ho$ of the fundamental group of $U$ on the Tate module of $G$. Motivated by a famous theorem of Igusa, we prove in this article that $ ho$ is surjective if $G_0$ is connected and HW-cyclic. This latter condition is equivalent to that Oort's $a$-number of $G_0$ equals 1, and it is satisfied by all connected one-dimensional Barsotti-Tate groups over $k$.

研究动机与目标

• 将伊古萨关于单值满射性的定理推广到普通情形以外的更广泛的 $ p $-除子群类。
• 研究巴肖蒂-泰特群在其普通部分上的普遍形变的平展部分所诱导的单值表示。
• 建立单值表示在塔特模上为满射的条件，特别关注 HW-循环性条件。
• 将单值行为与巴肖蒂-泰特群的 $ a $-数联系起来，特别是在其等于 1 的情形。
• 为正特征下 $ p $-除子群的算术单值性提供一个基础性结果。

提出的方法

• 构造特征 $ p $ 下巴肖蒂-泰特群 $ G_0 $ 的代数局部模空间 $ S $，该空间参数化其形变。
• 定义 $ U o S $ 为 $ S $ 中的普通部分，其中 $ G_0 $ 的形变 $ G $ 变为普通型。
• 研究 $ G $ 在 $ U $ 上的平展部分，其诱导出基本群在 $ G $ 的塔特模上的伽罗瓦表示 $ ho $。
• 利用 $ G_0 $ 连通且 HW-循环的条件——等价于欧特的 $ a $-数为 1——来分析单值表示的结构。
• 应用 $ p $-进霍奇理论与形变理论的技术，通过模空间的几何结构和普遍形变的结构推导出 $ ho $ 的满射性。
• 通过分析塔特模上的作用并将其与普遍族的 $ p $-进单值性联系起来，建立 $ ho $ 的满射性。

实验结果

研究问题

• RQ1 在何种条件下，巴肖蒂-泰特群的普遍形变的普通部分的基本群的 $ p $-进单值表示是满射的？
• RQ2 巴肖蒂-泰特群的 HW-循环性条件如何影响其单值表示的满射性？
• RQ3 伊古萨关于单值满射性的经典结果在多大程度上可推广到非普通、连通的 $ p $-除子群？
• RQ4 $ a $-数在决定普遍形变的单值行为中起什么作用？
• RQ5 在一维连通巴肖蒂-泰特群的特征 $ p $ 情形下，其塔特模上的单值表示能否被完整描述？

主要发现

• 当 $ G_0 $ 连通且 HW-循环时，普通部分 $ U $ 的基本群在普遍形变 $ G $ 的塔特模上的单值表示 $ ho $ 是满射的。
• 条件 $ G_0 $ 为 HW-循环等价于欧特的 $ a $-数等于 1，该条件对所有定义在 $ k $ 上的一维连通巴肖蒂-泰特群均成立。
• $ ho $ 的满射性通过在模空间 $ S $ 及其普通部分 $ U $ 上对普遍形变的几何分析得以确立。
• 该结果将伊古萨关于单值满射性的定理从普通情形推广到了更广泛的 $ p $-除子群类。
• 在给定条件下，塔特模上的单值作用完整捕捉了形变空间中的伽罗瓦对称性。
• 该构造为在 $ p $-进霍奇理论与正特征下 $ p $-除子群模空间的背景下研究单值性提供了一个统一框架。