[论文解读] On the Brauer-Manin obstruction for cubic surfaces

Andreas-Stephan Elsenhans, Jörg Jahnel|arXiv (Cornell University)|Nov 5, 2010

Algebraic Geometry and Number Theory参考文献 11被引用 15

一句话总结

本文提出一种计算方法，用于确定当光滑三次曲面 S over ℚ 的商群 Br(S)/Br(ℚ) 的阶为 2 或 4 时的 Brauer–Manin 障碍——覆盖了大多数非平凡情形。该方法将 Brauer 类与直线的 Galois-不变双六（double-sixes）相关联，证明所有阶为 2 的类均以这种方式出现，并计算出显式的 Azumaya 代数代表元，表明障碍在特定素数处有效，且通过 Peyre 常数得出了关于有理点数量的精确预测。

ABSTRACT

We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is of order two or four. This covers the vast majority of the cases when this group is non-zero. Our approach is to associate a Brauer class with every Galois invariant double-six. We show that all order two Brauer classes may be obtained in this way. We also recover Sir Peter Swinnerton-Dyer's result that $\Br(S)/\Br(\bbQ)$ may take only five values.

研究动机与目标

• 计算当 Br(S)/Br(ℚ) 的阶为 2 或 4 时，ℚ 上三次曲面的 Brauer–Manin 障碍，此情形覆盖了绝大多数非平凡情况。
• 建立一种系统性方法，将 27 条直线的 Galois-不变双六与商群中的 Brauer 类联系起来。
• 证明所有阶为 2 的 Brauer 类均来自此类双六，填补了先前计算工作的空白。
• 将 Brauer 类显式计算为 Azumaya 代数，并在所有情况下验证限制映射为双射。
• 提供数值例子，表明 Brauer–Manin 障碍可排除不同比例的 adelische 点，而不仅限于阶为 3 的情形中排除三分之二的情况。

提出的方法

• 该方法利用 Cremona 与 Reye 的六面体形式构造具有 Galois-不变双六的三次曲面，并结合显式的 Galois 下降技术。
• 识别出仅当存在 Galois-不变双六时，Br(S)/Br(ℚ) 的阶才可能为 2 或 4，从而将 Galois 作用限制在 Weyl 群 W(E₆) 的特定子群上。
• 对于 Br(S)/Br(ℚ) ≅ ℤ/2ℤ 与 ℤ/2ℤ×ℤ/2ℤ 的典型情形，作者显式计算了 Brauer 类作为 Azumaya 代数。
• 在全部 76 个相关情形中，证明了从 Br(S) 到 adelic Brauer 群的限制映射为双射，确认障碍可完全计算。
• 计算在素数处的局部评估映射，以确定哪些 adelische 点被障碍排除，使用 S(ℚₚ) 与 S(ℝ) 上的测度。
• 通过测量 Brauer–Manin 集估算 Peyre 常数 τ(S)，并将预测的有理点数量与实际在边界 4000 内的搜索结果进行比较。

实验结果

研究问题

• RQ1 当 Br(S)/Br(ℚ) 的阶为 2 或 4 时，是否可以有效计算 ℚ 上三次曲面的 Brauer–Manin 障碍？
• RQ2 所有阶为 2 的 Brauer 类是否均来自直线的 Galois-不变双六？
• RQ3 具有三重非对称双六（triple of azygetic double-sixes）的三次曲面的 Brauer 群具有何种精确结构，其对障碍有何影响？
• RQ4 有限与无限位置处的局部评估映射如何分解 adelische 点？哪些素数对障碍有贡献？
• RQ5 Brauer–Manin 障碍排除了多少比例的 adelische 点？与 Peyre 常数的预测相比如何？

主要发现

• Brauer–Manin 障碍仅在有限多个素数处有效——具体而言，在示例中为 2、3、5、31 和 11071，由局部评估与分裂行为决定。
• 在 Br(S)/Br(ℚ) ≅ ℤ/2ℤ×ℤ/2ℤ 的情形下，障碍在素数 2 和 5 处均起作用，局部测度将 S(ℚ₂) 分解为四组，S(ℚ₅) 也分解为四组，包括测度为零的分量。
• 在某一示例中，Brauer–Manin 集与全部 adelische 点的比值为 τ_H(S(𝔸_ℚ)^Br)/τ_H(S(𝔸_ℚ)) = 111/340 ≈ 0.3265，表明有显著的排除效应。
• 对于具有 Galois 群 (S₃×S₃)⋉ℤ/2ℤ 的曲面，Peyre 常数 τ(S) 估计为 ≈ 1.8532，预测的 ℚ-有理点数量（7413）与实际计数（6994）在边界 4000 内非常接近。
• 在所有示例中，实点集 S(ℝ) 均连通，因此在 ∞ 处的局部评估映射为常数，障碍仅在有限素数处起作用。
• 该方法确认所有阶为 2 的 Brauer 类均来自 Galois-不变双六，且所有 Br(S)/Br(ℚ) 阶为 4 的情形均包含在稳定化三重非对称双六的极大子群 U₃ 中。