[论文解读] The u-invariant of the function fields of p-adic curves

R. Parimala, V. Suresh|arXiv (Cornell University)|Aug 23, 2007

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

一句话总结

该论文证明了非二元 p 进数域上曲线的函数域 K 的 u-不变量恰好为 8，确认了 K 上任意九元或更多变量的二次型均存在非平凡零点。证明依赖于伽罗瓦上同调中符号的局部整体原理以及 p-进函数域中分歧结构的分析，建立在 Saltman 对中心单代数和无分歧上同调消失的结果之上。

ABSTRACT

The u-invariant of a field is the maximum dimension of ansiotropic quadratic forms over the field. It is an open question whether the u-invariant of function fields of p-aidc curves is 8. In this paper, we answer this question in the affirmative for function fields of non-dyadic p-adic curves.

研究动机与目标

• 解决关于 p-进曲线函数域的 u-不变量是否为 8 的开放问题。
• 确立在该类域上，九元或更多变量的任意二次型均存在非平凡零点。
• 证明 H³(K, μ₂) 中符号的局部整体原理，使得局部解可整体提升。
• 利用无分歧上同调的消失与 p-进伽罗瓦上同调的结构来控制 u-不变量。
• 在先前结果（11 个变量足以实现超曲）的基础上，证明了 8 是精确的界限。

提出的方法

• 利用 H³(K, μ₂) 中符号的局部整体原理，证明若符号 ζ ∈ H³(K, μ₂) 在所有离散赋值 v 处分解为 α ∪ (h_v)，则其在全局上可分解为 α ∪ (h)。
• 应用 Saltman 的结果：H²(K, μ₂) 中任意元素均为至多两个符号之和，从而限制了二次型的复杂性。
• 运用 Kato 和 Saltman 的关键结果，即对 K 的正规模型 X，无分歧上同调 H³_nr(K/X, ℤ/2ℤ(2)) 消失。
• 利用弱逼近，在所有余维一点处构造满足局部条件的全局元素 f, g, h ∈ K*。
• 将问题约化为证明三重 Pfister 型 φ 可表示为 〈1,f〉〈1,g〉〈1,h〉，其中 f（或 g）是给定二元（或三元）型的值。
• 应用同构 e₃: I³(K) → H³(K, μ₂)，在二次型理论与伽罗瓦上同调之间进行转换。

实验结果

研究问题

• RQ1 当 p ≠ 2 时，p-进曲线函数域 K 的 u-不变量是否恰好为 8？
• RQ2 H³(K, μ₂) 中的任意元素是否可表示为符号 (f)·(g)·(h)，其中 f 是给定二元或三元二次型的值？
• RQ3 在 K 的正规模型的余维一闭点处，H³(K, μ₂) 中符号的局部整体原理是否成立？
• RQ4 在 p-进曲线函数域上，素数次数中心单代数的分歧结构具有何种精确形式？
• RQ5 无分歧上同调 H³_nr(K/X, ℤ/2ℤ(2)) 的消失在多大程度上限制了 K 的 u-不变量？

主要发现

• 非二元 p-进数域上曲线的函数域 K 的 u-不变量恰好为 8。
• K 上任意九元或更多变量的二次型均存在非平凡零点，确认了该界限的精确性。
• 对任意三重 Pfister 型 φ 和任意二元二次型 q₂，存在 f, a, b ∈ K*，使得 f 是 q₂ 的值，且 φ = 〈1,f〉〈1,a〉〈1,b〉。
• 对任意三重 Pfister 型 φ 和任意三元二次型 q₃，存在 g, h ∈ K*，使得 g 是 q₃ 的值，且 φ = 〈1,f〉〈1,g〉〈1,h〉。
• H³(K, μ₂) 中符号的局部整体原理成立：若对所有离散赋值 v，有 ζ = α ∪ (h_v) ∈ H³(K_v, μ₂)，则存在全局 h ∈ K*，使得 ζ = α ∪ (h)。
• 对 K 的任意正规射影模型 X，无分歧上同调群 H³_nr(K/X, ℤ/2ℤ(2)) 消失，这是证明中的关键要素。