[论文解读] Rationalité d'un fibré en coniques

Jean-Louis Colliot-Thélène|arXiv (Cornell University)|Oct 21, 2013

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

一句话总结

本文证明了在任意特征不为2且包含$-1$的平方根的域$k$上，由特定四次方程定义的仿射平面上的某类圆锥纤维丛是有理的。通过布饶尔群计算与双有理几何方法，作者表明该圆锥纤维丛双有理等价于平凡纤维丛，因而有理，从而解决了卡姆帕纳关于三次曲线三重积在群作用下商的有理性问题。

ABSTRACT

F. Campana had asked whether a certain threefold is rational. In arXiv:1310.3569v1 [mathAG], this variety was shown to be birational to a specific conic bundle and then to be unirational. We prove that this conic bundle is rational.

研究动机与目标

• 解决卡姆帕纳提出的问题：$C \times_k C \times_k C$在4阶单位根的对角作用下的商是否在$k$上有理。
• 证明由$\mathbf{A}^4_k$中一个四次方程定义的特定$k$-概形$X$是$k$-有理的。
• 计算圆锥纤维丛的布饶尔群，并证明其在双有理意义下平凡。
• 建立纤维丛双有理等价于平凡圆锥纤维丛，从而推出有理性。
• 通过与$\mathbf{A}^3_k$的双有理等价，提供有理性的几何证明。

提出的方法

• 作者研究了由方程$s^2v(v^2-1) - t^2u(u^2-1) + uv(u^2-v^2) = 0$定义的$\mathbf{A}^2_k$上的圆锥纤维丛。
• 该圆锥与$\mathrm{Br}(k(u,v))$中的一个四元数代数$\alpha = (uv(u^2-1)(v^2-1), u(v^2-1)(v^2-u^2))$相关联。
• 在余维数1的点上计算$\alpha$的留数，表明其仅在某些除子上可能非零。
• 通过限制到一条有理曲线并在某点求值，证明$\alpha$在$\mathrm{Br}(k(u,v))$中等于$(u,v)$。
• 该等式意味着该圆锥双有理同构于标准圆锥$S^2 - uT^2 - vR^2 = 0$，后者是有理的。
• 因此，该纤维丛双有理同构于平凡纤维丛$s^2 - u t^2 - v = 1$，后者同构于$\mathbf{A}^3_k$，故是有理的。

实验结果

研究问题

• RQ1 在$k$上，$C \times_k C \times_k C$关于4次单位根的对角作用的商是否是有理的？
• RQ2 由$\mathbf{A}^4_k$中四次方程定义的$k$-概形$X$是否在$k$上有理？
• RQ3 圆锥纤维丛在$\mathbf{A}^2_k$上的布饶尔群是什么？其在双有理意义下是否平凡？
• RQ4 能否将圆锥纤维丛双有理地变换为平凡纤维丛？
• RQ5 在$\mathrm{Br}(k(u,v))$中$\alpha = (u,v)$是否意味着与有理纤维丛的双有理等价？

主要发现

• 由方程$s^2v(v^2-1) - t^2u(u^2-1) + uv(u^2-v^2) = 0$定义的$k$-概形$X$是$k$-有理的。
• 在$\mathbf{A}^2_k$上的圆锥纤维丛双有理同构于平凡纤维丛$s^2 - u t^2 - v = 1$，后者同构于$\mathbf{A}^3_k$。
• 布饶尔类$\alpha$在$\mathrm{Br}(k(u,v))$中等于$(u,v)$，意味着圆锥之间的双有理等价。
• 留数计算表明$\alpha - (u,v)$在布饶尔群中平凡，从而确认了该等式。
• 由于$X$双有理同构于$\mathbf{A}^3_k$，因此其有理性得证。
• 结果确认了$C \times_k C \times_k C$关于4阶单位根对角作用的商是$k$-有理的。