[論文レビュー] Milnor K-theory, F-isocrystals and Syntomic Regulators

Masanori Asakura, Kazuaki Miyatani|arXiv (Cornell University)|Jul 27, 2020

Algebraic Geometry and Number Theory参考文献 29被引用数 6

ひとこと要約

本稿は、p進整域上の滑らかないスキームにおけるフィルター付きF-イソクライストの1-拡張へのミルノK理論からの記号写像を導入し、対数シントークコホモロジーを通じてシントークレジスタに整合性を示す。主な貢献は、記号写像の明示的公式とカトウ＝ツジのシントーク記号写像との比較であり、3階点を持つ楕円曲線の場合に微分方程式および超幾何関数を用いたシントークレジスタの具体的な計算を可能にする。

ABSTRACT

We introduce a category of filtered F-isocrystals and construct a symbol maps on Milnor K-theory which is compatible with the syntomic symbol maps to the log syntomic cohomology. These are fundamental materials in our applications on syntomic regulators which we work in other papers.

研究の動機と目的

• p進整域上の滑らかなスキームにおけるフィルター付きF-イソクライストの圏における1-拡張の群へのミルノK理論からの記号写像の構成。
• カトウとツジが定義した対数シントークコホモロジーへのシントーク記号写像とこの記号写像の整合性の確立。
• 微分方程式および収束関数に基づく変形法を用いたシントークレジスタの計算フレームワークの提供。
• 具体的な例として、3階点を持つ楕円曲線上のK_2要素のシントークレジスタの計算。

提案手法

• フィルター付きF-イソクライストの圏Fil-F-MIC(S)を、ドレームコホモロジー、ホッジフィルトレーション、可換接続、フロベニウス作用として定義する。
• 滑らかなアフィン開部分集合Uに対して、写像[-]_{U/S}: K^{M}_{n+1}(𝒪(U)) → Ext¹_Fil-F-MIC(S)(𝒪_S, H^n(U/S)(n+1)) を構成する。
• この記号写像が、定理3.7による比較定理を通じて、対数シントークコホモロジーH^{n+1}_syn(U, ℤ_p(n+1)) へのシントーク記号写像と整合することを証明する。
• 変形法を用いる：多様体を族f: Y → Sに上昇させ、K理論的類ξをYに拡張し、レジスタ関数F(t) = reg_syn(ξ|_{f^{-1}(t)}) に対する微分方程式を導出する。
• 超幾何級数、特に₂F₁(1/3, 2/3; 1; t) を用いて微分方程式を解き、特殊なファイバーにおけるレジスタを計算する。
• Weierstrass方程式y² = x³ + (3x + 4 - 4a)²を有するW(𝔽̄_p)上の楕円曲線E_aに対して、reg_syn(ξ_a) = ε₁(a) dx/y + ε₂(a) xdx/y であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ミルノK理論を、シントークレジスタと整合するように、フィルター付きF-イソクライストの1-拡張へ写像する方法は何か？
• RQ2 K^{M}_{n+1}(𝒪(U)) からフィルター付きF-イソクライストの圏におけるExt¹への記号写像の明示的公式は何か？
• RQ3 この記号写像は、対数シントークコホモロジーにおけるシントーク記号写像とどのように関係するか？
• RQ4 微分方程式および収束関数を用いた変形法を用いて、シントークレジスタを明示的に計算できるか？
• RQ5 3階点を持つ楕円曲線上のK_2要素のシントークレジスタは何か？また、それは超幾何関数を用いてどのように表現されるか？

主な発見

• 記号写像[-]_{U/S} は明示的に構成され、定理3.7で示されるように、対数シントークコホモロジーへのシントーク記号写像と整合することが証明された。
• パrameter a に依存するWeierstrass方程式を有するW(𝔽̄_p)上の楕円曲線E_aに対して、K_2要素ξ_aのシントークレジスタは、H^1_dR(E_a/K)において reg_syn(ξ_a) = ε₁(a) dx/y + ε₂(a) xdx/y として計算された。
• 関数ε₁(t) および ε₂(t) は、K ⊗ W[t, (1−t)^{-1}]^† 内の収束関数であり、超幾何級数₂F₁(1/3, 2/3; 1; t) を用いて明示的に与えられる。
• 曲線のヤコビアンのドレームコホモロジーにおけるフロベニウス作用は、ホッジフィルトレーションを保存し、Φ(ω_i) = pω_i、Φ(η_j) = η_j を満たすことが示され、F-イソクライスト構造と整合することが確認された。
• 変形された楕円曲線に起因する微分方程式を解くことで、レジスタが正しく計算され、その解は超幾何関数を用いて表現された。
• この構成は、特にレジスタが非自明かつ torsion-free であるような場合に、整数的p進ホッジ理論におけるシントークレジスタの計算に実用的な道具を提供する。