[論文レビュー] 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$ 上で、特定の四次方程式によって定義される、アフィン平面上の放物型のファイブレーションが有理的であることを証明している。ブラウアー群の計算と双有理幾何を用いて、この放物型ファイブレーションが自明なファイブレーションと双有理同値であることを示し、カムパナが提起した、3次曲線の3重積の群作用による商の有理的性に関する問いに答えている。

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.

研究の動機と目的

• 4次元の単位根による対角的作用の下での $C \times_k C \times_k C$ の商が $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))$ 内のクaternion代数 $\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 $C \times_k C \times_k C$ の4次元単位根による対角的作用の下での商が、体 $k$ 上で有理的かどうか。
• RQ2 アフィン空間 $\mathbf{A}^4_k$ 内の四次方程式によって定義される $k$-代数的集合 $X$ が、$k$ 上で有理的かどうか。
• RQ3 放物型ファイブレーションのブラウアー群は何か？ そして、双有理的意味でそれが消えるか？
• 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$ と双有理同値であるという事実から従い、$k$-有理的である。
• この結果により、$C \times_k C \times_k C$ の4次元単位根による対角的作用の下での商が $k$-有理的であることが確認された。