[论文解读] Strong approximation for a toric variety

Dasheng Wei|arXiv (Cornell University)|Mar 5, 2014

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

一句话总结

该论文在移除一个余维数至少为2的闭子集 $W$ 后，为数域 $k$ 上满足 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 的光滑 тор簇 $X$ 建立了代数 Brauer–Manin 障碍下的强近似性质。证明使用了下降理论以及对余维数2洞穴的仿射空间的强近似性质，表明 Brauer–Manin 障碍是唯一阻碍强近似性质在单一位 $v_0$ 处失效的因素。该结果扩展了关于范数方程和纤维化的先前工作，并且在某种意义上是最优的，因为条件 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 无法被移除。

ABSTRACT

Let X be a toric variety over a number field k with \kbar[X]^ imes=\kbar^ imes. Let W\subset X be a closed subset of codimension at least 2. We prove that X\setminus W satisfies strong approximation with algebraic Brauer--Manin obstruction.

研究动机与目标

• 为满足 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 的数域 $k$ 上的 тор簇 $X$ 建立代数 Brauer–Manin 障碍下的强近似性质。
• 证明移除 $X$ 中一个余维数 $\geq 2$ 的闭子集 $W \subset X$ 后，强近似性质在单一位 $v_0$ 处仍成立。
• 证明在此设定下，Brauer–Manin 障碍是强近似性质的唯一障碍。
• 将关于由范数方程和纤维化定义的仿射簇的强近似性质的已知结果，推广至满足单位群条件的一般 тор簇。
• 通过展示若该条件不成立则结果不成立（如 [CX18, 例5.2] 所示），证明该单位群条件的紧致性。

提出的方法

• 利用下降理论和通过扇图与特征格构造的 тор簇结构，将问题约化为余维数2洞穴的仿射空间上的强近似性质。
• 应用引理1.1，证明 $\mathbb{A}^n_k \setminus Z$（其中 $\operatorname{codim}(Z) \geq 2$）满足在单一位 $v_0$ 处的强近似性质。
• 构造一条直线 $\ell \subset Y = \mathbb{A}^n_k \setminus Z$，使其通过 $S \cup \{v_0\}$ 中各 $v$ 处接近 $p_v$ 的点，从而满足各向近似条件。
• 利用 $X \setminus W$ 上的普遍扭量丛可延拓至仿射模型的奇点集（其余维数 $\geq 2$）的性质，因此强近似性可从扭量丛提升。
• 应用 [DW18, 引理3.1]，得出 $X \setminus W$ 在 $v_0$ 处满足代数 Brauer–Manin 障碍下的强近似性质。
• 计算范数方程 $N_{L/k}(\mathbf{w}) = cN_{K/k}(\mathbf{z})$ 的 Brauer 群 $\mathrm{Br}_1(X)/\mathrm{Br}_0(X) \cong H^2(G, \widehat{T})$，并证明在互素阿贝尔商群条件下该群为零。

实验结果

研究问题

• RQ1 对于满足 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 的数域 $k$ 上的 тор簇 $X$，在移除一个余维数 $\geq 2$ 的闭子集 $W$ 后，强近似性质是否在 Brauer–Manin 障碍下成立？
• RQ2 即使全局单位群平凡，是否仍可在单一位 $v_0$ 处建立强近似性质？
• RQ3 在此设定下，Brauer–Manin 障碍是否是强近似性质的唯一障碍？
• RQ4 定义范数形式的伽罗瓦群满足何种条件时，可保证 Brauer 群 $\mathrm{Br}_1(X)/\mathrm{Br}_0(X)$ 为零？
• RQ5 为何条件 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 是必要的？若该条件不满足，会发生什么？

主要发现

• 对于任意满足 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 的数域 $k$ 上的光滑 тор簇 $X$，以及任意余维数至少为2的闭子集 $W \subset X$，该簇 $X \setminus W$ 在单一位 $v_0$ 处满足代数 Brauer–Manin 障碍下的强近似性质。
• 该证明依赖于将问题约化为余维数2闭子集被移除的仿射空间上的强近似性质，该性质通过直线逼近及此类空间在 $v_0$ 处满足强近似性质的事实得以建立。
• 在此设定下，Brauer–Manin 障碍是强近似性质的唯一障碍，该结论通过下降理论与扭量丛技术得以证明。
• 对于满足 $L \cap K = k$ 且最大阿贝尔子扩张互素的范数方程 $N_{L/k}(\mathbf{w}) = cN_{K/k}(\mathbf{z})$ 定义的簇，有 $\mathrm{Br}_1(X) = \mathrm{Br}_0(X)$，因此强近似性质无阻碍地成立。
• 条件 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 至关重要：若不满足，强近似性质在无穷位处会失效，如 [CX18, 例5.2] 所示。
• Brauer 群 $\mathrm{Br}_1(X)/\mathrm{Br}_0(X)$ 同构于 $H^2(G, \widehat{T})$，其中 $G = \mathrm{Gal}(L.K/k)$，$\widehat{T}$ 为相关环的特征群，且在互素阿贝尔商群条件下该群为零。