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

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

基本信息

论文ID: 2510.03603
标题: On Milnor $K$ -theory in the imperfect residue case and applications to period-index problems
作者: Srinivasan Srimathy (Tata Institute of Fundamental Research, Mumbai)
分类: 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)$ （分裂域次数的最大公约数）之间的关系
寻找最小整数 $\ell$ 使得 $\operatorname{ind}(\alpha) | \operatorname{per}(\alpha)^\ell$ 对所有 $\alpha$ 成立

重要性

理论意义：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$
- 分析该条件的必要性