[论文解读] Sur le groupe de Brauer transcendant

Jean-Louis Colliot-Thélène, Alexei N. Skorobogatov|arXiv (Cornell University)|Jun 30, 2011

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

一句话总结

该论文证明了从特征为零的域 $k$ 上光滑射影概形 $X$ 的 Brauer 群到 $X_{\bar{k}}$ 的 Brauer 群的 Galois 不变子群的自然映射的余核的有限性。通过 Brauer 群、Picard 群与模数值等价的交积配对之间的相互作用，作者在数域假设下导出了该有限余核的阶与指数的显式上界，特别地在 K3 曲面与曲线的乘积情形下有应用。

ABSTRACT

For a smooth and projective variety X over a field k of characteristic zero we prove the finiteness of the cokernel of the natural map from the Brauer group of X to the Galois-invariant subgroup of the Brauer group of the same variety over an algebraic closure of k. Under further conditions on k, e.g. over number fields, we give estimates for the order of this cokernel. ---- Soit X une variété projective et lisse sur un corps k de caractéristique zéro. Le groupe de Brauer de X s'envoie dans les invariants, sous le groupe de Galois absolu de k, du groupe de Brauer de la même variété considérée sur une clôture algébrique de k. Nous montrons que le quotient est fini. Sous des hypothèses supplémentaires, par exemple sur k un corps de nombres, nous donnons des estimations sur l'ordre de ce quotient.

研究动机与目标

• 建立特征为零的域上光滑射影概形 $X$ 的自然映射 $\mathrm{Br}(X) \to \mathrm{Br}(\overline{X})^\Gamma$ 的余核的有限性。
• 在额外假设下（如基域为数域）给出该余核阶与指数的有效上界。
• 阐明模数值等价下除子与 1-循环之间的交积配对在控制 Brauer 群结构中的作用。
• 将有限性结果推广至 $\mathbb{Q}$ 上有限生成域上的光滑拟射影概形，证实 Szamuely 提出的问题。
• 将结果应用于特定类型的概形，包括 K3 曲面与具有有理点的曲线乘积，此时上界显著简化。

提出的方法

• 构造一个自然复形 $\mathrm{Br}(X) \xrightarrow{\alpha} \mathrm{Br}(\overline{X})^\Gamma \xrightarrow{\beta} \mathrm{H}^2(k, \mathrm{Pic}(\overline{X}))$，在某些条件下（如存在有理点或 $k$ 为数域）该复形是正合的。
• 利用函子性与 Tsen 定理，证明当限制在 $X$ 的任意闭曲线时，$\beta$ 的像为零，从而通过第一种方法得出有限性。
• 应用涉及可除子群 $\mathrm{Br}^0(\overline{X})$ 与 Kummer 序列的谱序列论证，将 $\beta$ 解释为连接同态。
• 利用 Lieberman 定理（1-循环的数值等价与同调等价重合）将 $\beta$ 的像与 $\mathrm{NS}(\overline{X})$ 上交积形式的判别群联系起来。
• 利用 $\mathrm{NS}(\overline{X})$ 与 $\mathrm{CH}_1(\overline{X})$ 模数值等价的交积配对的判别群的指数，来控制余核的指数。
• 结合两种方法，对有限余核的阶与指数导出可比较但不完全相同的估计。

实验结果

研究问题

• RQ1 对于特征为零的域上的光滑射影概形，映射 $\mathrm{Br}(X) \to \mathrm{Br}(\overline{X})^\Gamma$ 的余核是否有限？
• RQ2 当基域为数域时，能否对该余核的阶与指数给出有效上界？
• RQ3 模数值等价下除子与 1-循环之间的交积配对在约束 Brauer 群结构中起什么作用？
• RQ4 该有限性结果是否可推广至 $\mathbb{Q}$ 上有限生成域上的光滑拟射影概形？
• RQ5 对于 K3 曲面或具有有理点的曲线乘积等特殊类型概形，上界如何简化？

主要发现

• 对于任意特征为零的域 $k$ 上的光滑射影几何连通概形 $X$，映射 $\alpha: \mathrm{Br}(X) \to \mathrm{Br}(\overline{X})^\Gamma$ 的余核是有限的。
• 当 $k$ 为数域时，余核的阶被 $\mathrm{NS}(\overline{X})$ 与 $\mathrm{CH}_1(\overline{X})$ 模数值等价的交积配对的判别群的指数的乘积所控制。
• 余核的指数整除 $\mathrm{NS}(\overline{X})$ 上交积形式的判别群的指数。
• 对于具有 $k$-有理点的 K3 曲面，余核被 $\mathrm{N\acute{e}ron$--Severi} 群在交积形式下的判别群的指数所消去。
• 有限性结果可推广至 $\mathbb{Q}$ 上有限生成域上的光滑拟射影概形，证实了 Szamuely 提出的问题。
• 两种方法——函子性与 Tsen 定理，以及谱序列分析——分别导出可比较但不相同的上界，二者均依赖于交积配对的结构。