[論文レビュー] Projective linear configurations via non-reductive actions

Brent Doran, Noah Giansiracusa|arXiv (Cornell University)|Jan 3, 2014

Finite Group Theory Research参考文献 24被引用数 5

ひとこと要約

本稿は、線型部分空間に沿った射影空間の反復的 blown-up を、可解群作用による非再帰的GIT商として、アフィン空間上の非再帰的GIT商として実現することにより、代数的均質化を構築する。 Cox 環が2つの有限生成環の交わりとして完全かつアルゴリズム的に記述され、超曲面のモジュライの幾何的・位相的解釈が与えられ、$\bar{M}_{0,n}$ におけるHu-Keel予想が $\bar{G}_a$ の Hilbert の14番目の問題の特別な場合として解決される。

ABSTRACT

We study the iterated blow-up X of projective space along an arbitrary collection of linear subspaces. By replacing the universal torsor with an $\mathbb{A}^1$-homotopy equivalent model, built from $\mathbb{A}^1$-fiber bundles not just algebraic line bundles, we construct an "algebraic uniformization": X is a quotient of affine space by a solvable group action. This provides a clean dictionary, using a single coordinate system, between the algebra and geometry of hypersurfaces: effective divisors are characterized via toric and invariant-theoretic techniques. In particular, the Cox ring is an invariant subring of a Pic(X)-graded polynomial ring and it is an intersection of two explicit finitely generated rings. When all linear subspaces are points, this recovers a theorem of Mukai while also giving it a geometric proof and topological intuition. Consequently, it is algorithmic to describe Cox(X) up to any degree, and when Cox(X) is finitely generated it is algorithmic to verify finite generation and compute an explicit presentation. We consider in detail the special case of $\overline{M}_{0,n}$. Here the algebraic uniformization is defined over the integers. It admits a natural modular interpretation, and it yields a precise sense in which $\overline{M}_{0,n}$ is "one non-linearizable $\mathbb{G}_a$ away" from being a toric variety. The Hu-Keel question becomes a special case of Hilbert's 14th problem for $\mathbb{G}_a$.

研究の動機と目的

• 線型部分空間に沿った $\bar{P}^r$ の反復的 blown-up に対する Cox 環の幾何的・アルゴリズム的記述を提供すること。
• 可解群作用を用いて、このような blown-up に対して非再帰的GIT商構造を確立すること。
• Mukaiの定理（点に沿った blown-up の Cox 環に関する）を $\bar{A}^1$-ホモトピーおよび不変式論を用いて回復し、幾何的に解釈すること。
• $\bar{G}_a$-変形としてのモジュラーかつ算術的解釈を、トロイカ多面体の変形として $\bar{M}_{0,n}$ に与えること。
• Hu-Keel予想が $\bar{G}_a$-作用における Hilbert の14番目の問題の特別な場合であることを示すこと。

提案手法

• ユニバーサル torsorの代わりに、線形バンドルだけでなく $\bar{A}^1$-ファイバー束から構成される $\bar{A}^1$-ホモトピー同値なモデルを用いる。
• 次を満たすアフィン空間上の可解群作用を構成する：$\bar{G}_a^t \rtimes \bar{G}_m^{s+1}$ 作用、ここで $t = n - r - 1$ かつ $n$ は線型部分空間の全次元。
• 行列 $A$ によって誘導される線形射影 $\bar{P}^{r+t} \dashrightarrow \bar{P}^r$ を用い、$G = \ker A \subseteq \bar{G}_a^n$ を定義する。
• blown-up 間の有理写像を、大きな blown-up $X'$ のユニバーサル torsor 上の $G$-作用に上げ、それをアフィン空間 $\operatorname{Spec} \operatorname{Cox}(X')$ 上に拡張する。
• $G$-作用が codimension 2 の部分集合を除いて torsor 構造を誘導することを示し、$X \cong \operatorname{Spec} \operatorname{Cox}(X')^{G}$ を得る。
• 例外除集合の補集合上での $G$-作用の線形不変式環と $\operatorname{Cox}(X')$ の交わりとして、Cox 環 $\operatorname{Cox}(X)$ を表現する。

実験結果

リサーチクエスチョン

• RQ1 線型部分空間に沿った $\bar{P}^r$ の反復的 blown-up の Cox 環をどのようにアルゴリズム的に記述できるか？
• RQ2 このような blown-up が「ほとんどトロイカ的」であるとはどのような意味か、そしてその度合いをどのように定量化できるか？
• RQ3 $\bar{M}_{0,n}$ が非再帰的群作用を介してトロイカ多面体の変形として理解できるか？
• RQ4 代数的均質化が $\bar{A}^1$-ホモトピーを介して、超曲面の幾何およびその有理同値類とどのように関係するか？
• RQ5 Hu-Keel予想が $\bar{G}_a$-作用における Hilbert の14番目の問題の特別な場合であるか？

主な発見

• $\bar{P}^r$ の $s$ 個の線型部分空間に沿った blown-up $X$ は、$\bar{G}_a^t \rtimes \bar{G}_m^{s+1}$ による $\bar{A}^{r+s+t+1}$ の非再帰的GIT商と同型であり、$t = n - r - 1$ かつ $n$ は部分空間の全次元。
• Cox 環 $\operatorname{Cox}(X)$ は、$\operatorname{Cox}(X')$ と例外除集合の補集合上での $G$-作用の線形不変式環の交わりとして表される。
• すべての部分空間が点である場合、この構成はMukaiの定理を幾何的・位相的証明とともに回復し、$\bar{M}_{0,n}$ が「1つの非線形化可能な $\bar{G}_a$ だけ離れて」トロイカ的でないことを明確に定式化する。
• 代数的均質化は $\operatorname{Spec} \mathbb{Z}$ 上に定義され、$\bar{M}_{0,n}$ の自然なモジュラー解釈をもたらす。
• この方法はアルゴリズム的である：任意の次数まで $\operatorname{Cox}(X)$ を明示的に計算可能であり、有限生成の場合、有限生成性の検証および表示の計算のアルゴリズムを提供する。
• この構成により、$X$ が可解群作用によるアフィン空間の商として実現され、有効な除集合をトロイカ的および不変式論的技法を用いて明確に記述する代数幾何の辞書が得られる。