[论文解读] Strong approximation for the variety containing a torus

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

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文在数域上具有环面且满足单位群条件 $\bar{k}[X]^\times = \bar{k}^\times$ 的光滑几何积分概形上，建立了在排除一个地方时的强逼近性，其障碍来自 étale 布拉乌尔–曼宁障碍。此外，若基扩张的佩利克群为无 torsion，则代数布拉乌尔–曼宁障碍已足够；否则存在反例，但无论佩利克群是否含 torsion，环面概形上强逼近性依然成立。

ABSTRACT

Let X be a smooth and geometrically integral variety over a number field k. Suppose X contains a torus and \kbar[X]^ imes=\kbar^ imes, let W\subset X be a closed subset of codimension at least 2. In this note, we proved that X \setminus W satisfies strong approximation with \'etale algebraic Brauer-Manin obstruction off one place. Furthermore, if \Pic(\Xbar) is torsion free, then X \setminus W satisfies strong approximation with algebraic Brauer-Manin obstruction off one place; if \Pic(\Xbar) is not torsion free, a counterexample was given that does not satisfy strong approximation with Brauer-Manin obstruction off one place. On the other hand, if $X$ is a toric variety (maybe \Pic(\Xbar) is not torsion free), we also proved that X \setminus W satisfies strong approximation with algebraic Brauer-Manin obstruction off one place.

研究动机与目标

• 研究在特定单位与上同调条件下，含环面的数域上概形的强逼近性。
• 确定当佩利克群为无 torsion 时，代数布拉乌尔–曼宁障碍是否足以保证强逼近性。
• 研究当佩利克群含 torsion 时强逼近性的失效情况，并在该情形下构造反例。
• 将结果推广至环面概形，即使佩利克群非无 torsion 亦成立。
• 阐明布拉乌尔–曼宁障碍在具有环面结构的概形上强逼近性中的作用。

提出的方法

• 利用含环面的概形 $X$ 及条件 $\bar{k}[X]^\times = \bar{k}^\times$ 来分析有理点。
• 应用 étale 上同调技术研究布拉乌尔–曼宁障碍，特别关注 étale 代数布拉乌尔–曼宁障碍。
• 将佩利克群 $\text{Pic}(\bar{X})$ 作为关键不变量，区分无 torsion 与含 torsion 的情形。
• 当 $\text{Pic}(\bar{X})$ 非无 torsion 时构造反例，以表明即使在排除一个地方时，强逼近性也可能因缺乏 étale 布拉乌尔–曼宁障碍而失效。
• 应用环面几何的结果，独立于佩利克群的 torsion 状态，证明环面概形的强逼近性。
• 结合有理点理论与布拉乌尔–曼宁障碍，分析强逼近性是否成立或失效。

实验结果

研究问题

• RQ1 在数域 $k$ 上的光滑几何积分概形 $X$ 含环面且满足 $\bar{k}[X]^\times = \bar{k}^\times$ 时，其在排除一个地方时是否满足 étale 代数布拉乌尔–曼宁障碍的强逼近性？
• RQ2 在何种 $\text{Pic}(\bar{X})$ 条件下，仅代数布拉乌尔–曼宁障碍即可确保强逼近性？
• RQ3 当 $\text{Pic}(\bar{X})$ 非无 torsion 时，能否构造反例，以表明在排除一个地方时强逼近性可能因布拉乌尔–曼宁障碍而失效？
• RQ4 即使 $\text{Pic}(\bar{X})$ 含 torsion，环面概形的强逼近性是否仍成立？
• RQ5 单位群条件 $\bar{k}[X]^\times = \bar{k}^\times$ 与余维数为 2 的子集 $W$ 如何影响布拉乌尔–曼宁障碍？

主要发现

• 对于含环面且满足 $\bar{k}[X]^\times = \bar{k}^\times$ 的数域 $k$ 上的光滑几何积分概形 $X$，概形 $X \backslash W$ 在排除一个地方时满足 étale 代数布拉乌尔–曼宁障碍的强逼近性。
• 若 $\text{Pic}(\bar{X})$ 为无 torsion，则 $X \backslash W$ 在排除一个地方时满足代数布拉乌尔–曼宁障碍的强逼近性。
• 当 $\text{Pic}(\bar{X})$ 非无 torsion 时，存在反例表明即使在排除一个地方时，强逼近性仍可能因布拉乌尔–曼宁障碍而失效。
• 对于环面概形 $X$，无论 $\text{Pic}(\bar{X})$ 是否含 torsion，概形 $X \backslash W$ 在排除一个地方时均满足代数布拉乌尔–曼宁障碍的强逼近性。
• 环面的存在与单位群条件 $\bar{k}[X]^\times = \bar{k}^\times$ 是确保布拉乌尔–曼宁障碍对强逼近性有效的关键因素。
• 当布拉乌尔–曼宁条件满足时，余维数为 2 的子集 $W$ 不会阻碍强逼近性。