[论文解读] Rational surfaces and canonical dimension of PGL_6

Jean-Louis Colliot-Thélène, Nikita A. Karpenko+1 more|ArXiv.org|Nov 25, 2006

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

一句话总结

本文通过有理曲面的双有理几何，使用两种不同的证明方法，确立了在特征零的域上，射影线性群 PGL₆ 的典范维数恰好为 3。第一种证明分析了度数为 6 的 del Pezzo 曲面，第二种证明研究了从域到一个几何有理曲面的函数域的 Brauer 群映射的核，最终证明了 6 次中心除法代数的 Severi-Brauer 簇的典范维数为 3。

ABSTRACT

The "canonical dimension" of an algebraic group over a field by definition is the maximum of the canonical dimensions of principal homogenous spaces under that group. Over a field of characteristic zero, we prove that the canonical dimension of the projective linear group PGL_6 is 3. We give two distinct proofs, both of which rely on the birational classification of rational surfaces over a nonclosed field. One of the proofs involves taking a novel look at del Pezzo surfaces of degree 6.

研究动机与目标

• 确定在特征零的域上，代数群 PGL₆ 的典范维数。
• 确立 6 次中心除法代数的 Severi-Brauer 簇的典范维数恰好为 3。
• 通过有理曲面的双有理分类和 Brauer 群技术，提供两种独立的证明。
• 完成在特征零下典范维数为 2 的单代数群的分类。
• 阐明几何有理曲面函数域的 Brauer 群核的结构。

提出的方法

• 利用非代数闭域上几何有理曲面的双有理分类来分析典范维数。
• 应用 Hironaka 的奇点消去定理，将问题约化为有理曲面的光滑、完备模型。
• 利用 Picard 群中的指标和典范类来分析有理性和双有理不变量。
• 应用指标约化公式，以控制函数域上中心单代数的指标。
• 分析几何有理曲面 X 的映射 Br(F) → Br(F(X)) 的核，以约束 Brauer 群结构。
• 结合 Severi-Brauer 簇与有理映射的结果，当假设典范维数 ≤2 时导出矛盾。

实验结果

研究问题

• RQ1 在特征零的域上，PGL₆ 的典范维数是多少？
• RQ2 能否证明 6 次中心除法代数的 Severi-Brauer 簇的典范维数恰好为 3？
• RQ3 Brauer 群与有理曲面的双有理几何如何约束代数群的典范维数？
• RQ4 PGL₆ 的典范维数是否等于其关联的 Severi-Brauer 簇的维数？如果不是，原因是什么？
• RQ5 度数为 6 的 del Pezzo 曲面如何在确定代数群的典范维数中发挥作用？

主要发现

• 在特征零的域上，PGL₆ 的典范维数恰好为 3。
• 6 次中心除法代数的 Severi-Brauer 簇的典范维数为 3。
• 若几何有理曲面 X 不双有理同构于 P² 或 P¹×P¹ 的扭形式，则 Brauer 群映射 Br(F) → Br(F(X)) 的核是平凡的。
• 3 次与 2 次代数的 Severi-Brauer 簇的乘积的典范维数超过 2，与假设 PGL₆ 的典范维数 ≤2 矛盾。
• PGL₆ 的典范维数为 3，完成了在特征零下典范维数为 2 的单代数群的分类。
• 基于度数为 6 的 del Pezzo 曲面与 Brauer 群核的两种证明，均独立确认了 PGL₆ 的典范维数为 3。