[論文レビュー] Factorial threefolds with Ga-actions

Adrien Dubouloz, David R. Finston+1 more|ArXiv.org|Feb 23, 2009

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

ひとこと要約

本稿は、$\mathbb{A}^4$ における方程式 $x^m v - y^n u = 1$ で定義される因子的三重族 $X_{m,n}$ を調査する。これらは自由な $\mathbb{G}_a$-作用をもち、$\mathbb{A}^2_*$ 上の非同型な $\mathbb{G}_a$-バンドルの全空間である。非同型なバンドル構造にもかかわらず、これらの多様体が抽象的に同型であることが示され、アフィンキャンセレーション問題に対する反例を与える可能性が残されている。

ABSTRACT

The affine cancellation problem, which asks whether complex affine varieties with isomorphic cylinders are themselves isomorphic, has a positive solution for two dimensional varieties whose coordinate rings are unique factorization domains, in particular for the affine plane, but counterexamples are found within normal surfaces Danielewski surfaces and factorial threefolds of logarithmic Kodaira dimension equal to 1. The latter are therefore remote from the affine three-space, the first unknown case where the base of one cylinder is an affine space. Locally trivial Ga-actions play a significant role in these examples. Threefolds admitting free Ga-actions are discussed, especially a class of varieties with negative logarithmic Kodaira dimension which are total spaces of nonisomorphic Ga-bundles. Some members of the class are shown to be isomorphic as abstract varieties, but it is unknown whether any members of the class constitute counterexamples to cancellation.

研究の動機と目的

• 方程式 $x^m v - y^n u = 1$ で定義される因子的三重族 $X_{m,n} \subset \mathbb{A}^4$ の構造と不変量を分析すること。
• これらが $\mathbb{A}^2_*$ 上の非同型な $\mathbb{G}_a$-バンドルの全空間であるにもかかわらず、アフィンキャンセレーション問題の反例となり得るかどうかを調査すること。
• 特に因子的多様体の文脈において、$\mathbb{G}_a$-作用の局所自明性と商空間の幾何学的性質との関係を明らかにすること。
• Picard群の自明性と $\mathbb{G}_m$-バンドル構造を用いて、特定の $X_{f,g}$ と $X_{m,n}$ 間の同型を確立すること。

提案手法

• 著者たちは、$X_{m,n} \subset \mathbb{A}^4$ を $x^m v - y^n u - 1 = 0$ の零点集合として定義し、$t \cdot (x,y,u,v) = (x,y,u + t x^m, v + t y^n)$ で与えられる $\mathbb{G}_a$-作用に関して安定であることを示す。
• 局所冪零微分作用素の理論と $\mathbb{G}_a$-不変環を用いて、幾何的商を分析し、断片的アフィン多様体としての商空間を、切断の環の整閉包を用いて構成する。
• 構成には、$R_i = \mathbb{C}[X, \delta(a_i)^{-1}]^{\mathbb{G}_a}$ を定義し、これらから生成される環の整閉包 $R$ を構成することで商構造を得る。
• 両者が同型なアフィン曲面 $S_{d,m}$ 上の $\mathbb{G}_m$-バンドルであることを示し、Picard群の自明性を用いて $X_{f,g}$ と $X_{m,n}$ 間の同型を確立する。
• ギザトゥリンの有理曲面の分類を適用し、$\mathbb{F}_{|m-n|} \setminus \Delta_{m,n}$ と $\mathbb{F}_{|m-n|} \setminus \Delta_{f,g}$ が同型であることを特定し、$Z = X_{m,n} \times_{S_{d,m}} X_{f,g}$ をファイバー積として構成する。
• Picard群の自明性により、$X_{m,n}$ と $X_{f,g}$ 上の $\mathbb{G}_m$-バンドルは自明であるため、$X_{m,n} \times \mathbb{A}^1_* \cong X_{f,g} \times \mathbb{A}^1_*$ が成り立ち、この同型が $X_{m,n} \cong X_{f,g}$ に下降する。

実験結果

リサーチクエスチョン

• RQ1 方程式 $x^m v - y^n u = 1$ で定義される因子的三重族 $X_{m,n}$ は、$\mathbb{A}^2_*$ 上の非同型な $\mathbb{G}_a$-バンドルであるが、異なる $(m,n)$ の組に対して抽象的に同型であるかどうか。
• RQ2 これらの多様体 $X_{m,n}$ は、そのシリンダーが同型であるため、アフィンキャンセレーション問題の反例となり得るか。
• RQ3 $\mathbb{G}_a$-作用が幾何的商の構造と座標環の不変量をどのように決定するか。
• RQ4 $X_{f,g}$ と $X_{m,n}$ 上の $\mathbb{G}_m$-作用が、商曲面の構造および三重族間の同型にどのように関与するか。
• RQ5 有理曲面 $\mathbb{F}_{|m-n|}$ の部分曲線の自己自己交叉数が、対応する $\mathbb{G}_a$-バンドルの同型類をどの程度決定するか。

主な発見

• $X_{m,n}$ は因子的三重族であり、自由な $\mathbb{G}_a$-作用をもち、$\mathbb{A}^2_*$ 上の非同型な $\mathbb{G}_a$-バンドルの全空間である。これは $H^1(\mathbb{A}^2_*, \mathcal{O})$ 内の異なる Čech 2次コホモロジー類によって裏付けられる。
• 異なる $(m,n)$ の組に対して、$X_{m,n}$ は $\mathbb{G}_a$-バンドルとして非同型であるが、商構造が同型で、Picard群が自明であるため、抽象的に同型である場合がある。
• $X_{m,n}$ の $\mathbb{G}_m$-作用による商は、有理曲面 $\mathbb{F}_{|m-n|}$ の自己自己交叉数 $m+n$ の部分曲線の補集合と同型であり、これは分類における重要な不変量である。
• $X_{f,g}$ と $X_{m,n}$ は、両者が同型なアフィン曲面 $S_{d,m}$ 上の $\mathbb{G}_m$-バンドルであり、Picard群の自明性によって同型であることが示された。
• ファイバー積 $Z = X_{m,n} \times_{S_{d,m}} X_{f,g}$ は、$X_{m,n}$ および $X_{f,g}$ 上の自明な $\mathbb{G}_m$-バンドルであるため、$X_{m,n} \times \mathbb{A}^1_* \cong X_{f,g} \times \mathbb{A}^1_*$ が成り立ち、この同型が $X_{m,n} \cong X_{f,g}$ に下降する。
• $\mathbb{F}(m,n)$ 内の部分曲線 $\Delta_{f,g}$ の自己自己交叉数は $m+n$ であり、この不変量が補集合曲面の同型類を決定し、$X_{f,g}$ と $X_{m,n}$ 間の同型を確立する上で重要である。