[论文解读] Combinatorics of Serre weights in the potentially Barsotti-Tate setting

Xavier Caruso, Ágnes Dávid+1 more|arXiv (Cornell University)|May 10, 2021

Algebraic Geometry and Number Theory参考文献 14被引用 1

一句话总结

本文提出了一种组合框架，用于在纯有理惰性类型设定下计算潜在 Barsotti-Tate 李代数表示的 Serre 权重。引入了“基因”——一个编码表示与类型关系的有限序列——并证明了公共 Serre 权重的数量仅取决于与该基因相关的 Kisin 簇，且具有单调性与乘积相容性。关键结果是通过显式基于基因的规则，提供了一个完整的组合算法来计算公共 Serre 权重集合，该算法已在 SageMath 中实现并验证。

ABSTRACT

Let $F$ be a finite unramified extension of $\mathbb Q\_p$ and $\bar ho$ be an absolutely irreducible mod~$p$ $2$-dimensional representation of the absolute Galois group of $F$. Let $t$ be a tame inertial type of $F$. We conjecture that the deformation space parametrizing the potentially Barsotti--Tate liftings of $\bar ho$ having type $t$ depends only on the Kisin variety attached to the situation, enriched with its canonical embedding into $(\mathbb P^1)^f$ and its shape stratification. We give evidences towards this conjecture by proving that the Kisin variety determines the cardinality of the set of common Serre weights $D(t,\bar ho) = D(t) \cap D(\bar ho)$. Besides, we prove that this dependance is nondecreasing (the smaller is the Kisin variety, the smaller is the number of common Serre weights) and compatible with products (if the Kisin variety splits as a product, so does the number of weights).

研究动机与目标

• 理解参数化具有固定纯有理惰性类型的模 p Galois 表示的潜在 Barsotti-Tate 提升的变形空间结构。
• 建立一个组合不变量——“基因”——以编码 Galois 表示与惰性类型的关键数据。
• 证明公共 Serre 权重的数量仅取决于与基因相关的 Kisin 簇，且具有非递减与乘积相容的行为。
• 提供一种有效算法，利用基因与形状层析，计算公共 Serre 权重的集合。
• 在 SageMath 中实现该算法，以实现对具体例子的实际计算与验证。

提出的方法

• 将“基因”定义为长度为 2f 的序列，取值于字母表 {A, B, AB, O}，以编码 Galois 表示 ρ 与惰性类型 t 之间的相互作用。
• 将与基因 X 相关的 Kisin 簇定义为 (P¹)^f 的子簇，具有自然嵌入与形状层析分解。
• 通过基于基因结构与装饰的递归算法，构造一组组合权重 W(X)。
• 证明公共 Serre 权重集合 D(t, ρ) 的基数等于与 (t, ρ) 相关基因 X 的组合权重数量。
• 建立 |D(t, ρ)| 对 Kisin 簇的非递减依赖关系：Kisin 簇越小，Serre 权重越少。
• 在 SageMath 包（pbtdef）中实现该算法，支持对具体表示的权重、基因及其计数进行计算。

实验结果

研究问题

• RQ1 公共 Serre 权重的数量 |D(t, ρ)| 是否仅取决于与 (t, ρ) 相关的 Kisin 簇，且该 Kisin 簇具有形状层析与对 (P¹)^f 的自然嵌入？
• RQ2 |D(t, ρ)| 对 Kisin 簇的依赖关系是否为非递减——即 Kisin 簇越小，是否意味着 Serre 权重越少？
• RQ3 当 Kisin 簇分解为乘积时，公共 Serre 权重的数量是否也相应地可乘分解？
• RQ4 能否通过基于基因的组合算法，有效计算 (t, ρ) 的公共 Serre 权重集合？
• RQ5 所提出的基于基因的框架是否与已知情形兼容，并可在实际中实现？

主要发现

• 公共 Serre 权重的数量 |D(t, ρ)| 等于与 (t, ρ) 相关基因 X 的组合权重 W(X) 的数量，如定理 2.2.1 所证明。
• |D(t, ρ)| 对 Kisin 簇的依赖关系是非递减的：若 (t', ρ') 的 Kisin 簇包含于 (t, ρ) 的 Kisin 簌中，则 |D(t', ρ')| ≤ |D(t, ρ)|。
• 公共 Serre 权重的数量与乘积兼容：若 Kisin 簇可分解为乘积，则权重数量亦可分解为乘积。
• 计算 |D(t, ρ)| 的算法时间复杂度为 O(Card D(t, ρ) · f · log p) 比特操作，另需 O(Card D(t, ρ) · f · log p) 的步骤将组合权重转换为实际的 Serre 权重。
• SageMath 软件包 pbtdef 已成功实现该算法，验证了具体例子中的结果，包括具有 89 个组合权重的斐波那契基因。
• 该软件能正确计算公共 Serre 权重集合，输出结果与手工计算一致，并能生成具有所需基因的随机 (t, ρ) 对。