[论文解读] Local-global principles for homogeneous spaces over some two-dimensional geometric global fields

Diego Munguía Izquierdo, Giancarlo Lucchini Arteche|arXiv (Cornell University)|Jan 20, 2021

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

一句话总结

本文证明了经典的Brauer–Manin障碍不足以解释在二维几何全局域上（具体为C((x,y))的有限扩张以及C((t))上的函数域）具有连通或阿贝尔稳定子群的齐次空间的局部整体原理的失败。为解决此问题，作者引入了一种结合Brauer–Manin障碍与通过拟平凡环面上的 torsor 的下降的精化障碍，并证明在相关情形下该障碍是唯一的障碍。

ABSTRACT

In this article, we study the obstructions to the local-global principle for homogeneous spaces with connected or abelian stabilizers over finite extensions of the field $\mathbb{C}((x,y))$ of Laurent series in two variables over the complex numbers and over function fields of curves over $\mathbb{C}((t))$. We give examples that prove that the usual Brauer-Manin obstruction is not enough to explain the failure of the local-global principle, and we then construct a variant of this obstruction using torsors under quasi-trivial tori which turns out to work. In the end of the article, we compare this new obstruction to the descent obstruction with respect to torsors under tori. For that purpose, we use a result on towers of torsors, that is of independent interest and therefore is proved in a separate appendix.

研究动机与目标

• 研究Brauer–Manin障碍是否足以解释在二维几何全局域上具有连通或阿贝尔稳定子群的齐次空间的局部整体原理的失败。
• 通过构造具有阿代尔点但无有理点的显式反例，证明在这些设定下标准Brauer–Manin障碍是不足的。
• 开发并证明一种结合Brauer–Manin障碍与通过拟平凡环面上的 torsor 的下降的新障碍的有效性。
• 将此新障碍与使用一般环面的经典下降障碍进行比较，证明在某些条件下二者等价。
• 建立使用伽罗瓦上同调与Picard群的 torsor 层的典范构造，该构造本身具有独立兴趣。

提出的方法

• 在C((x,y))和C((t))上的函数域上，构造SLn作用下具有环面稳定子群的齐次空间的显式反例，这些空间具有阿代尔点但无有理点，从而证明Brauer–Manin障碍不足。
• 通过结合Brauer–Manin集与拟平凡环面上的 torsor 的下降数据，引入一种新障碍，利用伽罗瓦下降显式定义 torsor W → Z。
• 应用[DLA19]中的结果，构造群概形的正合列1 → T → E → G → 1，证明复合映射Z → X是E-torsor。
• 利用 torsor 的典范构造与伽罗瓦下降，证明W(AK)Br(W)非空当且仅当Z(K)非空。
• 使用附录中证明的关键结果：在Pic(G) = 0条件下，一个G-torsor后接一个T-torsor可提升为E-torsor，其中E是T对G的扩张。
• 证明相关Brauer群商是有限的且原则上可计算，即使未必算法有效。

实验结果

研究问题

• RQ1 Brauer–Manin障碍是否足以解释在二维几何全局域上具有连通或阿贝尔稳定子群的齐次空间的局部整体原理的所有失败？
• RQ2 结合Brauer–Manin障碍与通过拟平凡环面的下降的精化障碍是否能完全解释此类失败？
• RQ3 在此背景下，新障碍与使用一般环面的经典下降障碍相比如何？
• RQ4 这些域上的 torsor 层结构是怎样的？能否进行典范构造？
• RQ5 能否通过引入超越余维数1点的局部条件，进一步强化Brauer–Manin障碍？

主要发现

• 本文构造了C((x,y))和C((t))上的函数域上齐次空间的显式例子，这些空间具有阿代尔点（Z(AK)Br ≠ ∅）但无有理点，从而证明Brauer–Manin障碍不充分。
• 证明了结合Brauer–Manin障碍与通过拟平凡环面上的 torsor 的下降的新障碍，是这些域上具有连通几何稳定子群的齐次空间的局部整体原理的唯一障碍。
• 对于拟平凡环面T上的 torsor W → Z，Z(K) ≠ ∅与W(AK)Br(W) ≠ ∅等价，其中Brauer群条件被限制在有限子商上。
• 作者建立了 torsor 层的典范构造：在Pic(G) = 0条件下，一个G-torsor后接一个T-torsor可唯一提升为E-torsor，其中E是1 → T → E → G → 1的扩张。
• 在下降集非空的假设下，新障碍与经典下降障碍（使用一般环面）等价。
• 证明依赖于一个关于 torsor 层的新结果：在Pic(G) = 0且几何整性条件下，此类层可典范地提升为扩张群概形E。