[論文レビュー] 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

ひとこと要約

本稿は、分岐的でないインertial type設定における、p-進ガロア表現の潜在的に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).

研究の動機と目的

• 固定された分岐的でないインertial typeを持つ、p-進ガロア表現の潜在的にBarsotti-Tateな上昇をパラメトライズする変形空間の構造を理解すること。
• ガロア表現とインertial型の本質的データを符号化する、組み合わせ的不変量「遺伝子」を確立すること。
• 共通するSerre重みの数が、遺伝子に付随するKisin多様体にのみ依存することを証明し、非減少的かつ積構造と整合する性質を持つこと。
• 遺伝子と形状層への分解を用いて、共通するSerre重みの集合を効果的に計算するアルゴリズムを提供すること。
• 実際の計算と具体例の検証を可能にするために、SageMathにおける実装（pbtdefパッケージ）を提供すること。

提案手法

• ガロア表現 ρ とインertial型 t の相互作用を符号化する、アルファベット {A, B, AB, O} 上の長さ 2f の列としての『遺伝子』を導入する。
• 遺伝子 X に付随するKisin多様体を、(P¹)^f における標準的埋め込みを持つ部分多様体として定義し、形状層への分解を導入する。
• 遺伝子の構造と装飾に基づく再帰的アルゴリズムにより、組み合わせ的重み W(X) の集合を構成する。
• 共通するSerre重み D(t, ρ) の集合の濃度が、(t, ρ) に付随する遺伝子 X の組み合わせ的重みの数に等しいことを証明する。
• |D(t, ρ)| がKisin多様体に対して非減少的であることを確立する：Kisin多様体が小さいほど、Serre重みの数が少ない。
• SageMathパッケージ（pbtdef）を用いて、重み、遺伝子、およびその数の計算を実装し、具体例での計算と検証を可能にする。

実験結果

リサーチクエスチョン

• RQ1 共通するSerre重みの数 |D(t, ρ)| は、(P¹)^f への標準的埋め込みおよび形状層への分解を含めた、(t, ρ) に付随するKisin多様体にのみ依存するか？
• RQ2 |D(t, ρ)| がKisin多様体に対して非減少的か、すなわち、Kisin多様体が小さいほどSerre重みの数が少ないか？
• RQ3 Kisin多様体が積に分解できる場合、共通するSerre重みの数も乗法的に分解するか？
• RQ4 遺伝子に基づく組み合わせ的アルゴリズムを用いて、共通する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) ビット演算で実行され、組み合わせ的重みを実際のSerre重みに変換する別ステップも O(Card D(t, ρ) · f · log p) で実行される。
• SageMathパッケージ pbtdef は、アルゴリズムを正しく実装しており、具体例（Fibonacci遺伝子で89個の組み合わせ的重みを有する例を含む）での結果を検証している。
• ソフトウェアは正しく共通するSerre重みの集合を計算し、手計算との一致を示しており、望ましい遺伝子を持つランダムな (t, ρ) 組を生成している。