[论文解读] Reduced norms of division algebras over complete discrete valuation fields of local-global type

Yong Hu|arXiv (Cornell University)|Feb 18, 2019

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

一句话总结

该论文证明了对于一个具有正特征 p 的全局剩余域 k 的完备离散赋值域 F，若中心单 F-代数 D 的 p-幂次度数为 p-幂次，且 D 为弱分歧或周期为 p，则其 Rost 不变量是单射的。该结果通过伽罗瓦上同调与局部-整体域上的范数原理，为帕里马拉、普雷蒂与苏雷什近期关于与 p 互素次数代数的定理提供了 p- torsion 类似结果。

ABSTRACT

Let $F$ be a complete discrete valuation field whose residue field $k$ is a global field of positive characteristic $p$. Let $D$ be a central division $F$-algebra of $p$-power degree. We prove that the subgroup of $F^*$ consisting of reduced norms of $D$ is exactly the kernel of the cup product map $\lambda\in F^*\mapsto (D)\cup(\lambda)\in H^3(F,\,\mathbb{Q}_{p}/\Z_{p}(2))$, if either $D$ is tamely ramified or of period $p$. This gives a $p$-torsion counterpart of a recent theorem of Parimala, Preeti and Surech, where the same result is proved for division algebras of prime-to-$p$ degree.

研究动机与目标

• 该论文旨在将 Rost 单射性定理扩展至具有正特征全局剩余域的完备离散赋值域上除法代数的 p-主成分情形。
• 研究此类域上 p-幂次度数中心除法代数的约化范数结构。
• 在伽罗瓦上同调与 Kato–Milne 上同调的背景下，探讨约化范数的局部-整体原理。
• 旨在建立帕里马拉、普雷蒂与苏雷什近期关于与 p 互素次数代数结果的 p- torsion 对应版本。
• 目标包括证明在 D 为弱分歧或周期为 p 时，H³(F, ℚ_p/ℤ_p) 中的上杯积映射 (D) ∪ (λ) 的核等于约化范数群 Nrd(D*)。

提出的方法

• 作者使用伽罗瓦上同调，并利用由 λ ↦ (D) ∪ (λ) 定义的上杯积映射 F* → H³(F, ℤ/pⁿ(2))，其核即为约化范数群。
• 他们应用通过伽罗瓦上同调中的上杯积构造的 Rost 不变量映射 RD: F*/Nrd(D*) → H³(F, ℤ/pⁿ(2))。
• 证明依赖于特征为 p 的域 k 的 Kato–Milne 上同调群 H^{r+1}(k, ℤ/p^m(r))，这些群在 p-主成分情形下推广了伽罗瓦上同调。
• 使用了修补技术与范数原理的技术结果，特别是在分析完备化与局部域上代数的行为时。
• 作者采用构造域扩张 L/k 与元素 ξ ∈ L* 的方法，使得 NL/k(ξ) = θ，并满足特定上同调条件。
• 他们通过局部-整体原理及局部域上阿贝尔扩张中范数的性质，验证了此类扩张与元素的存在性。

实验结果

研究问题

• RQ1 对于具有正特征全局剩余域的完备离散赋值域上 p-幂次度数中心除法代数 D，Rost 不变量 RD 是否仍为单射？
• RQ2 该单射性是否可在 D 为弱分歧的情形下成立？
• RQ3 当代数的周期为 p 时，即使 D 不是弱分歧，Rost 不变量是否仍为单射？
• RQ4 在 p-主成分情形下，H³(F, ℚ_p/ℤ_p) 中上杯积映射 λ ↦ (D) ∪ (λ) 的核是否恰好等于约化范数群 Nrd(D*)？
• RQ5 p-主成分情形是否可推广至所有 p-幂次度数除法代数，而不仅限于周期为 p 或弱分歧的情形？

主要发现

• 当 D 为弱分歧时，中心除法 F-代数 D 的 Rost 不变量 RD 是单射的。
• 当 D 的周期为 p 时，即使 D 不是弱分歧，Rost 不变量 RD 也是单射的。
• 在弱分歧与周期为 p 两种情形下，H³(F, ℚ_p/ℤ_p) 中上杯积映射 λ ↦ (D) ∪ (λ) 的核恰好等于约化范数群 Nrd(D*)。
• 证明依赖于在局部域上构造满足范数条件的域扩张与元素，利用伽罗瓦上同调中核心化与范数映射的性质。
• 该结果为帕里马拉、普雷蒂与苏雷什近期关于局部域上一变量函数域上与 p 互素次数代数的定理提供了 p- torsion 类似版本。
• 作者证明了在完备化 ˆF 上 RD 的单射性可推出在 F 上的单射性，使用了 Greenberg 关于 H¹ 群的定理。