[论文解读] On the equation N_{K/k}(\Xi)=P(t)

Dasheng Wei|arXiv (Cornell University)|Feb 18, 2012

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

一句话总结

该论文推进了对由范数方程 $N_{K/k}(\bar{\Xi}) = P(t)$ 定义的代数簇上 rational points 与 degree 1 的零循环的 Brauer-Manin 障碍的理解，尤其当 $K/k$ 为阿贝尔扩张时。它计算了未分支 Brauer 群，证明在 Schinzel 假设下 Brauer-Manin 障碍是 rational points 与零循环的唯一障碍，并将结果从先前的循环或特殊情形推广至一般阿贝尔扩张及非伽罗瓦的素数次扩张。

ABSTRACT

For varieties given by an equation N_{K/k}(\\Xi)=P(t), where N_{K/k} is the norm form attached to a field extension K/k and P(t) in k[t] is a polynomial, three topics have been investigated: (1) computation of the unramified Brauer group of such varieties over arbitrary fields; (2) rational points and Brauer-Manin obstruction over number fields (under Schinzel's hypothesis); (3) zero-cycles and Brauer-Manin obstruction over number fields. In this paper, we produce new results in each of three directions. We obtain quite general results under the assumption that K/k is abelian (as opposed to cyclic in earlier investigation).

研究动机与目标

• 计算任意域上由 $N_{K/k}(\Xi) = P(t)$ 定义的代数簇的未分支 Brauer 群，尤其当 $K/k$ 为阿贝尔扩张时。
• 在 Schinzel 假设 (H) 下，研究此类代数簇在数域上 rational points 与弱逼近的 Brauer-Manin 障碍。
• 将关于 degree 1 零循环的 Brauer-Manin 障碍结果扩展至 $K/k$ 为非循环或纤维上 Hasse 原理失效的情形。
• 通过处理阿贝尔扩张与非伽罗瓦的素数次扩张，推广先前依赖于循环扩张或强纤维假设的结果。

提出的方法

• 使用仿射簇 $N_{K/k}(\Xi) = P(t)$ 的光滑部分的局部紧化 $X$，并计算其光滑紧化 $X^c$ 的 $\mathrm{Br}(X^c)$。
• 应用 Colliot-Thélène, Harari 与 Skorobogatov (2003) 提供的 $\mathrm{Br}(X)$ 公式，推导新情形下的 $\mathrm{Br}(X^c)$。
• 利用 Schinzel 假设 (H) 将 rational points 的条件性结果通过 Salberger 方法转化为 degree 1 零循环的无条件结果。
• 应用整体互反律与局部不变量，验证在数域上纤维的 Brauer-Manin 障碍消失。
• 使用伽罗瓦理论技术，包括伽罗瓦闭包 $K^{\mathrm{cl}}$ 与 Sylow 子群，构造与 $p$ 互素次数的域扩张。
• 应用 Brauer 配对与基变换的投影公式，将障碍从 $V^c$ 转移到 $V^c_\Theta$，从而实现下降至 $k$。

实验结果

研究问题

• RQ1 当 $K/k$ 为阿贝尔扩张时，$N_{K/k}(\Xi) = P(t)$ 的未分支 Brauer 群 $\mathrm{Br}_{ur}(X^c)$ 在何种条件下是平凡的或可计算的？
• RQ2 当 $K/k$ 为阿贝尔扩张且 Schinzel 假设成立时，smooth proper 模型 $N_{K/k}(\Xi) = P(t)$ 上的 Brauer-Manin 障碍是否为 rational points 与弱逼近的唯一障碍？
• RQ3 当 $K/k$ 为非伽罗瓦的素数次扩张时，能否证明 Brauer-Manin 障碍是 $V^c$ 上 degree 1 零循环存在的唯一障碍？
• RQ4 当 $K/k$ 为阿贝尔扩张且 $P(t)$ 不可约时，Brauer 群商 $\mathrm{Br}(X)/\mathrm{Br}(X^c)$ 的结构如何表现？
• RQ5 结果在多大程度上可超越循环扩张与纤维上 Hasse 原理假设的限制？

主要发现

• 当 $P(t)$ 不可约且 $K/k$ 为一般情形时，$\mathrm{Br}(X^c) = \mathrm{Br}_0(X^c)$，即未分支 Brauer 群平凡。
• 当 $K/k$ 为阿贝尔扩张且 $P(t)$ 不可约时，商 $\mathrm{Br}(X)/\mathrm{Br}(X^c)$ 为 2- torsion，且通常平凡，表明 Brauer 群结构受控。
• 当 $K/k$ 为伽罗瓦扩张且 $P(t)$ 的所有根均在 $k$ 中时，建立了 $\mathrm{Br}(X^c)/\mathrm{Br}_0(X^c)$ 的公式，解决了文献 [8] 中提出的问题。
• 在 Schinzel 假设 (H) 下，对于阿贝尔扩张 $K/k$ 及某些非循环的素数次扩张，smooth proper 模型 $N_{K/k}(\Xi) = P(t)$ 上的 Brauer-Manin 障碍是 rational points 与弱逼近的唯一障碍。
• 对于非伽罗瓦的素数次扩张，若 Brauer-Manin 障碍不存在，则 $k$ 上存在 degree 1 的零循环，即使纤维上 Hasse 原理失效。
• 通过伽罗瓦闭包与 Sylow 子群，构造了与 $p$ 互素的域 $F/k$ 使得 $V^c(F) \neq \emptyset$，从而保证了 degree 1 零循环的存在。