[论文解读] Universal torsors and values of quadratic polynomials represented by norms

Ulrich Derenthal, Arne Smeets+1 more|arXiv (Cornell University)|Feb 16, 2012

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

一句话总结

本论文研究了在数域的四次扩张中以范数表示的二次多项式所定义的仿射代数簇的哈塞原理与弱逼近性质。通过通用扭量与布劳尔–曼因障碍技术，证明了当不可约二次多项式在扩张中分裂时，哈塞原理与弱逼近成立；并表明在 ℚ 上，布劳尔–曼因障碍是唯一的障碍，且给出了当布劳尔群非平凡时弱逼近失败的具体反例。

ABSTRACT

Let $K/k$ be an extension of number fields, and let $P(t)$ be a quadratic polynomial over $k$. Let $X$ be the affine variety defined by $P(t) = N_{K/k}(\mathbf{z})$. We study the Hasse principle and weak approximation for $X$ in three cases. For $[K:k]=4$ and $P(t)$ irreducible over $k$ and split in $K$, we prove the Hasse principle and weak approximation. For $k=\mathbb{Q}$ with arbitrary $K$, we show that the Brauer-Manin obstruction to the Hasse principle and weak approximation is the only one. For $[K:k]=4$ and $P(t)$ irreducible over $k$, we determine the Brauer group of smooth proper models of $X$. In a case where it is non-trivial, we exhibit a counterexample to weak approximation.

研究动机与目标

• 确定当 P(t) 为二次多项式且 K/k 为四次扩张时，方程 P(t) = N_{K/k}(z) 定义的代数簇满足哈塞原理与弱逼近的条件。
• 分析当 k = ℚ 且 K 为任意数域时，布劳尔–曼因障碍对哈塞原理与弱逼近的影响。
• 计算当 [K:k] = 4 且 P(t) 在 k 上不可约时，此类代数簇的光滑紧化模型的布劳尔群。
• 构造由非平凡布劳尔群元素引起的弱逼近失败的显式反例。

提出的方法

• 利用通用扭量参数化 X 的开子集上的有理点，从而实现下降技术。
• 在 X 沿圆锥纤维化的结构下，应用哈塞–明可夫斯基定理于基与纤维，证明分裂的不可约二次多项式满足哈塞原理与弱逼近。
• 采用科利奥-特尔内与桑苏克的下降方法，将 X 上的有理点与扭量上的整点联系起来，借助布朗宁与希思-布朗的解析数论方法。
• 使用伽罗瓦上同调与余值映射计算光滑紧化模型的布劳尔群，特别分析 Br(X^c)/Br₀(X^c) 的结构。
• 构造显式的阿代尔点，并通过局部域中的上积与范数余值计算布劳尔–曼因障碍的局部不变量。
• 利用亨泽尔引理与局部类域论验证 ℚ₁₇ 中不变量的非平凡性，特别是针对扩张 ℚ(√[4]{17})。

实验结果

研究问题

• RQ1 当 P(t) 为不可约二次多项式且 [K:k] = 4 时，方程 P(t) = N_{K/k}(z) 的哈塞原理在何种条件下成立？
• RQ2 当 k = ℚ 且 K 为任意数域时，布劳尔–曼因障碍是否为哈塞原理与弱逼近的唯一障碍？
• RQ3 当 [K:k] = 4 且 P(t) 在 k 上不可约时，X 的光滑紧化模型的布劳尔群结构如何？
• RQ4 非平凡的布劳尔群元素是否会导致此类代数簇中弱逼近的失败？
• RQ5 如何显式计算局部不变量以证明布劳尔–曼因障碍的非平凡性？

主要发现

• 当 P(t) 在 k 上不可约且在 K 中分裂时，对于任意数域 k 与 [K:k] = 4，由 P(t) = N_{K/k}(z) 定义的 X 满足哈塞原理与弱逼近。
• 在 ℚ 上，对于任意 K 与二次多项式 P(t)，布劳尔–曼因障碍是哈塞原理与弱逼近的唯一障碍。
• 当 [K:k] = 4 且 P(t) 在 k = ℚ 上不可约时，光滑紧化模型的布劳尔群在某些情况下非平凡，这导致弱逼近失败。
• 通过取 K = ℚ(√[4]{17}) 与 P(t) = t² + 1，构造了一个显式的弱逼近反例，其中非平凡布劳尔类源自伽罗瓦上同调类。
• 对于阿代尔点 (7, z₁₇)，在 v = 17 处的局部不变量非零，而在 (0,1) 处为零，证明布劳尔–曼因障碍是非平凡的。
• 通过验证 (7−α)² 在 ℚ₁₇(√[4]{17})/ℚ₁₇ 中不是范数，利用 9 在模 17 下不是四次幂的事实，证明了障碍的非平凡性。