2025-11-15T14:37:11.891105

On Milnor $K$-theory in the imperfect residue case and applications to period-index problems

Srimathy

Given a $(0,p)$-mixed characteristic complete discrete valued field $\mathcal{K}$ we define a class of finite field extensions called \emph{pseudo-perfect} extensions such that the natural restriction map on the mod-$p$ Milnor $K$-groups is trivial for all $p\neq 2$. This implies that pseudo-perfect extensions split every element in $H^i(\mathcal{K},Î¼_p^{\otimes i-1})$ yielding period-index bounds for Brauer classes as well as higher cohomology classes of $\mathcal{K}$. As a corollary, we prove a conjecture of Bhaskhar-Haase that the Brauer $p$-dimension of $\mathcal{K}$ is upper bounded by $n+1$ where $n$ is the $p$-rank of the residue field. When $\mathcal{K}$ is the fraction field of a complete regular ring, we show that any $p$-torsion element in $Br(\mathcal{K})$ that is nicely ramified is split by a pseudo-perfect extension yielding a bound on its index. We then use patching techniques of Harbater, Hartmann and Krashen to show that the Brauer $p$-dimension of semi-global fields of residual characteristic $p$ is at most $n+2$ and also give uniform $p$-bounds for higher cohomologies. These bounds are sharper than previously known in the work of Parimala-Suresh

academic

Milnor $K$ 理論における不完全剰余体の場合と周期-指標問題への応用について

基本情報

論文ID: 2510.03603
タイトル: On Milnor $K$ -theory in the imperfect residue case and applications to period-index problems
著者: Srinivasan Srimathy (タタ基礎研究所、ムンバイ)
分類: math.NT (数論)、math.AG (代数幾何)、math.KT (K理論)、math.RA (環と代数)
発表時期: 2025年10月 (arXiv プレプリント、v2版)
論文リンク: https://arxiv.org/abs/2510.03603

要旨

本論文は $(0,p)$ 混合特性完全離散付値体 $K$ を研究し、「擬完全拡張」と呼ばれる有限体拡張のクラスを定義する。すべての $p\neq 2$ に対して、mod- $p$ Milnor $K$ 群上の自然な制限写像がゼロになることを示す。これは擬完全拡張が $H^i(K,\mu_p^{\otimes i-1})$ 内のすべての元を分裂させることを意味し、Brauer類およびより高次のコホモロジー類に対する周期-指標界を与える。系として、著者はBhaskhar-Haase予想を証明する： $K$ のBrauer $p$ -次元は $n+1$ 以下である。ここで $n$ は剰余体の $p$ -秩である。

研究背景と動機

核心問題

本論文が解決する核心問題は周期-指標問題であり、これは代数学における古典的問題である：

Brauer群 $\operatorname{Br}(F)$ の元 $\alpha$ に対して、その周期 $\operatorname{per}(\alpha)$ （Brauer群における位数）と指標 $\operatorname{ind}(\alpha)$ （分裂体の次数の最大公約数）の関係
すべての $\alpha$ に対して $\operatorname{ind}(\alpha) | \operatorname{per}(\alpha)^\ell$ が成り立つ最小整数 $\ell$ を求めること

重要性

理論的意義：Brauer次元は体の重要な不変量であり、中心単純代数の構造を刻画する
技術的課題：剰余体が不完全体（特性 $p$ で有限 $p$ -秩）である場合、問題は極めて複雑になる
応用価値：結果は算術幾何、代数K理論など複数の分野に応用可能である

既存方法の限界

完全剰余体の場合：より良い結果が既知である（Harbater-Hartmann-Krashen等）
不完全剰余体：Parimala-Sureshが界を与えたが、十分に精密ではない
技術的困難：混合特性の場合のMilnor K理論を扱う有効な道具が不足している

核心的貢献

擬完全拡張概念の導入：等特性の場合の完全包に類似した新しい体拡張のクラスを定義
主定理の証明： $p\neq 2$ に対して、擬完全拡張上のmod- $p$ Milnor $K$ 群制限写像がゼロ
Bhaskhar-Haase予想の解決：Brauer $p$ -次元の最適上界 $R_p(\kappa)+1$ を証明
半大域体界の改善：Parimala-Sureshより精密なBrauer $p$ -次元界を与える
統一的枠組み：混合特性と等特性の場合を扱う統一的方法を提供

方法の詳細

核心概念の定義

擬秩と擬基

完全正則局所環 $R$ の分数体 $K$ に対して、以下を定義する：

擬秩： $R_{ps}(K) := R_p(\kappa) + \dim R$
擬基： $\Lambda = \tilde{B} \cup \Pi$ 。ここで $\tilde{B}$ は剰余体 $p$ -基の持ち上げ、 $\Pi$ は正則パラメータ系

擬完全拡張

$\ell$ -段階擬完全拡張は以下で定義される： $L \cong K(\Lambda^{1/p^\ell})$

これは等特性の場合の完全包構成を模倣している。

主要な技術的道具

Katoフィルター理論

完全離散付値体上でKatoが構成した単位群フィルターを利用する： $U^i_K = \{1 + \pi^i O_K^\times\}$

$e'_K = e_K p(p-1)^{-1}$ に対して、 $U^{e'_K+1}_K \subseteq (O_K^\times)^p$ が成り立つ。

鍵補題（Key Lemma 6.8）

$w = \{w_1,\ldots,w_i\} \in K_i(K)/p$ とし、各 $w_j \in O_K^\times$ が $O_K$ 内の $p$ 次幂の有限和であるとする。このとき：

$p \neq 2$ のとき： $w = 0$
$p = 2$ かつ $i \geq 3$ のとき： $w = 0$
$p = 2$ かつ $i = 2$ のとき：特定の条件下で $w = 0$

証明戦略

主定理の証明思路

単位への帰約：適切な一致化元の冪を乗じることにより、記号を単位群元に帰約
展開表現： $p$ -基の持ち上げを利用して各単位を特定の形式で表現
鍵補題の適用：擬完全拡張において、展開式は $p$ 次幂の和となり、鍵補題を適用してゼロを得る

技術的革新

記号操作：Milnor K理論の記号関係を巧妙に利用
フィルター技術：Katoフィルターと単位群構造を結合
コホモロジー対応：norm residue同型を通じてK理論とGaloisコホモロジーを連結

実験設定

理論的検証

本論文は主に純粋理論的研究であり、「実験」は以下に体現される：

具体例の構成：
- 第7節で $p=2$ のとき制限写像が非ゼロである明示的な例を構成
- $\kappa = \mathbb{F}_2(a,b)$ と $K$ が特性ゼロ完全離散付値体である場合を使用
境界情況の分析：
- $p=2$ のとき追加条件 $H^2_{\text{ét}}(\kappa,\mathbb{Z}/2(1)) = 0$ が必要であることを検証
- この条件の必要性を分析