[論文レビュー] Variation of Geometric Invariant Theory Quotients

Igor Dolgachev, Yi Hu|ArXiv.org|Feb 9, 1994

Mathematics and Applications被引用数 6

ひとこと要約

本稿は、非特異な射影多様体上の再帰的代数群の作用に対して、線形化されたアーマイライン束の選択に応じて幾何的不変理論（GIT）商がどのように変化するかを調査する。線形化されたアーマイライン束の同値類のうち、射影的商をもたらすのは有限個であることを証明し、有理凸錐内のチャネル間の壁を越える際に、Moriのフリップに類似た双有理変換を経て商が変化することを示し、GIT商の変動を体系的に理解するためのフレームワークを提供する。

ABSTRACT

Geometric Invariant Theory gives a method for constructing quotients for group actions on algebraic varieties which in many cases appear as moduli spaces parametrizing isomorphism classes of geometric objects (vector bundles, polarized varieties, etc.). The quotient depends on a choice of an ample linearized line bundle. Two choices are equivalent if they give rise to identical quotients. A priori, there are infinitely many choices since there are infinitely many isomorphism classes of linearized ample line bundles. Hence several fundamental questions naturally arise. Is the set of equivalence classes, and hence the set of non-isomorphic quotients, finite? How does the quotient vary under change of the equivalence class? In this paper we give partial answers to these questions in the case of actions of reductive algebraic groups on nonsingular projective algebraic varieties. We shall show that among ample line bundles which give projective geometric quotients there are only finitely many equivalence classes. These classes span certain convex subsets (chambers) in a certain convex cone in Euclidean space; and when we cross a wall separating one chamber from another, the corresponding quotient undergoes a birational transformation which is similar to a Mori flip.

研究の動機と目的

• 幾何的不変理論（GIT）商が線形化されたアーマイライン束の選択にどのように依存するかを理解すること。
• 再帰的代数群の作用が非特異な射影多様体に作用する場合、同型でないGIT商の数が有限であるかどうかを特定すること。
• 線形化されたライン束のパrameter空間の構造を記述し、異なる領域（チャネル）における商の変化の仕組みを明らかにすること。
• 異なるGITチャネル間を移動する際の商の双有理幾何的性質を分析すること。
• GITパラメータ空間における壁を越える現象と、双有理幾何におけるMori型のフリップとの間に接続を確立すること。

提案手法

• 著者たちは、非特異な射影多様体上の再帰的代数群の作用を分析し、線形化されたアーマイライン束に注目する。
• 同型なGIT商をもたらすライン束を同定する同値関係を定義する。
• アーマイライン束をパラメータ化するユークリッド空間内の有理凸錐を構成し、それが有限個の開凸部分集合（チャネル）に分解されることを示す。
• 商が各チャネル内で一定であるが、チャネル間の壁を越えると変化することを示す。
• 壁を越える際に商が経験する変化が、Moriのフリップに類似た双有理写像であることを示す。
• 多面体的分解の理論とHilbert-Mumfordの数値基準を用いて、壁を越える挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 与えられた群作用に対して、非特異な射影多様体上での線形化されたアーマイライン束の異なる選択から生じる同型でないGIT商は、有限個に限られるか？
• RQ2 アーマイライン束のパラメータ空間における壁を越える際に、GIT商はどのように変化するか？
• RQ3 パラメータ空間内の1つのチャネルから別のチャネルに移行する際、GIT商間の変換の幾何的性質は何か？
• RQ4 GIT商の変動は、フリップやフロップなどの標準的な双有理変換の観点から記述可能か？
• RQ5 線形化されたアーマイライン束の空間は、自然に有限個のチャネルに分解され、各チャネル内で商が一定となるか？

主な発見

• 与えられた再帰的代数群の作用に対して、非特異な射影多様体上での線形化されたアーマイライン束の同値類のうち、射影的GIT商をもたらすのは有限個に限る。
• 線形化されたアーマイライン束のパラメータ空間は、有理凸錐内に有限個の凸チャネルに分解可能である。
• GIT商は各チャネル内で一定であるが、チャネル間の壁を越えると変化する。
• 壁を越える際に生じる商の変換は、部分多様体の収縮と別の多様体への置換を伴う双有理写像であり、Moriのフリップに類似している。
• 壁を越える挙動はHilbert-Mumfordの数値基準によって支配され、チャネルは同一の安定性条件を持つ半安定点の集合に対応する。
• 商の変動の構造は、双有理幾何における最小モデルプログラムと類似しており、GITとMori理論との間に深い関係があることを示唆する。