[論文レビュー] Birational self-maps and piecewise algebraic geometry

Stéphane Lamy, Julien Sebag|arXiv (Cornell University)|Dec 24, 2011

Algebraic Geometry and Number Theory参考文献 14被引用数 10

ひとこと要約

本稿は、h^{3,0} と h^{1,0} のホッジ数が消える滑らかで、射影的で、複素数体上の3次元多様体に対して、安定な開部分集合上で同型を誘導する任意の双有理自己写像が、これらの部分集合の減少補集合が断片的同型であることを証明している。この結果は、弱因数分解、中間ヤコビアン、および曲線に対するLarsen–Lunts予想を根拠としており、代数的多様体のグローテンディーク環の幾何的構造を理解する上で重要な一歩を提供する。

ABSTRACT

Let X be a smooth projective complex variety, of dimension 3, whose Hodge numbers h^{3,0}(X), h^{1,0}(X) both vanish. Let f: X--> X be a birational map that induces an isomorphism on (dense) open subvarieties U,V of X. Then we show that the complex reduced varieties (X \ U), (X \ V) are piecewise isomorphic.

研究の動機と目的

• 複素数体上の滑らかで、射影的で、3次元の多様体 X に対して、安定な開部分集合上で同型を誘導する双有理自己写像 f: X⇢X が、(X\U)red と (X\V)red が断片的同型であるかどうかを、特定のホッジ理論的条件下で調査すること。
• グローテンディーク環の多様体における双有理幾何と断片的同型の関係を示唆する予想1に対する証拠を提供すること。
• グローテンディーク環における等価性に関するLarsen–Lunts問題と断片的同型の関係を、特に次元3において確立すること。
• 幾何的およびモチビック手法を用いて、グローテンディーク環におけるキャンセルレーション現象と有理型の問題を理解を拡張すること。

提案手法

• 弱因数分解定理を用いて、双有理写像を滑らかな中心に沿った吹き上げと吹き下げの列に分解する。
• 中間ヤコビアンを用いて、ホッジ理論的制約の下で弱因数分解の構造を制御する。
• 次元 ≤1 におけるLarsen–Lunts問題の既知の肯定的解答（曲線の場合）を、断片的同型の議論の基礎的入力として用いる。
• 例外的軌道の分割と明示的な双有理変換（例：2次自己同型）を用いて、減少補集合間の断片的同型を構成する。
• グローテンディーク環における切り離し関係を適用し、多様体の類がその開部分多様体と閉部分多様体とに関連することを保証し、断片的構造と整合性を保つ。
• 局所的閉分解および減少多様体に関する技術的補題を用いて、減少構造のレベルで断片的同型条件が成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 複素数体上の3次元の滑らかで、射影的な多様体 X に対して、U と V で稠密な開部分集合上で同型を誘導する双有理自己写像 f: X⇢X が与えられたとき、どのような条件下で (X\U)red と (X\V)red が断片的同型となるか？
• RQ2 h^{3,0}(X) と h^{1,0}(X) の消えるという条件が、X の双有理幾何およびその自己写像の構造にどの程度制限を加えるか？
• RQ3 グローテンディーク環における等価性に関するLarsen–Lunts予想（等価性が断片的同型を意味する）が、ホッジ数が自明な3次元多様体に対して、次元3で検証可能か？
• RQ4 中間ヤコビアンと弱因数分解は、3次元多様体上の双有理写像の幾何をどのように制御するか？
• RQ5 キャンセルレーション現象（例：L·[X] = L·[Y] ならば [X] = [Y]）が、ホッジ数が自明な3次元多様体に対して成り立つか。その結果、有理型と双有理性にどのような含意があるか？

主な発見

• 任意の複素数体上の滑らかで、射影的で、3次元の多様体 X に対して h^{3,0}(X) = h^{1,0}(X) = 0 が成り立つとき、U と V で稠密な開部分集合上で同型を誘導する任意の双有理自己写像 f: X⇢X に対して、(X\U)red と (X\V)red は断片的同型である。
• 証明により、f の弱因数分解の構造が中間ヤコビアンによって制限され、与えられたホッジ条件の下で中間ヤコビアンが消えるため、例外的軌道の制御が可能になる。
• この結果により、h^{3,0} と h^{1,0} が自明な3次元多様体の場合に限り、予想1が確認され、双有理写像がその基底軌道上で断片的同型を誘導する非自明な例が得られる。
• 著者らは、次元 ≤1 におけるLarsen–Lunts問題の肯定的解答が、ホッジ理論的制約の下で、因数分解における曲線に類似した振る舞いへの還元により、高次元多様体へと拡張可能であることを示した。
• L がグローテンディーク環 K0(Var_C) 内でゼロ除算子でないならば、Larsen–Lunts予想がすべての3次元多様体に対して予想1を示唆する。これはキャンセルレーションと断片的構造との間に深い関係があることを示唆する。
• 特異な有理曲面や楕円曲線の円錐といった具体的な例の分析により、適切な分割と双有理写像の選択によって、断片的同型をどのように構成できるかが明らかになった。