[論文レビュー] Constructing quotients of algebraic varieties by linear algebraic group actions

Gergely Bérczi, Brent Doran+2 more|arXiv (Cornell University)|Dec 9, 2015

Algebraic Geometry and Number Theory参考文献 53被引用数 13

ひとこと要約

本稿は、非再帰的線形代数的群の作用へ幾何的不変理論（GIT）を拡張するため、再帰的包摂構成を導入することで、安定・半安定部分集合の定義と商の射影的完備化の構成を可能にする。主な貢献は、商 $X^{\text{s}}/H$ を再帰的群のGIT商の開部分多様体として実現する方法を提供し、再帰的包摂を介して射影的完備化を構成するとともに、繰り返しGIT商とグローバルGIT商の間に同型を確立することにある。

ABSTRACT

In this article we review the question of constructing geometric quotients of actions of linear algebraic groups on irreducible varieties over algebraically closed fields of characteristic zero, in the spirit of Mumford's geometric invariant theory (GIT). The article surveys some recent work on geometric invariant theory and quotients of varieties by linear algebraic group actions, as well as background material on linear algebraic groups, Mumford's GIT and some of the challenges that the non-reductive setting presents. The earlier work of two of the authors in the setting of unipotent group actions is extended to deal with actions of any linear algebraic group. Given the data of a linearisation for an action of a linear algebraic group H on an irreducible variety $X$, an open subset of stable points $X^s$ is defined which admits a geometric quotient variety $X^s/H$. We construct projective completions of the quotient $X^s/H$ by considering a suitable extension of the group action to an action of a reductive group on a reductive envelope and using Mumford's GIT. In good cases one can also compute the stable locus $X^s$ in terms of stability (in the sense of Mumford for reductive groups) for the reductive envelope.

研究の動機と目的

• 再帰的群から非再帰的線形代数的群の作用へMumfordの幾何的不変理論（GIT）を一般化すること。
• 代数閉体上での既約多様体 $X$ における任意の線形代数的群 $H$ の作用に対して、安定部分集合 $X^{\text{s}}$ を定義すること。
• 再帰的包摂とMumfordのGITを用いて、商 $X^{\text{s}}/H$ の射影的完備化を構成すること。
• 適切な条件下で、グローバルGIT商 $X/\!\!/(G_1 \times G_2)$ と繰り返し商 $(X/\!\!/(G_1))/\!\!/_M G_2$ の間に自然な同型を確立すること。
• 非再帰的作用における安定性と半安定性を再帰的拡張を通じて内因的に計算するための枠組みを提供すること。

提案手法

• 著者らは、線形代数的群 $H$ の再帰的包摂 $G$ を定義し、$H$ の作用を $X$ 上の再帰的群作用へ拡張する。
• 元の $H$-線形化を拡張することで、$X$ に $G$-線形化を構成し、再帰的群のMumfordのGITを適用可能にする。
• 群 $H$ の安定部分集合 $X^{\text{s}}$ は、再帰的包摂のGIT商における安定部分集合の商写像による逆像として定義される。
• 射影的完備化 $X^{\text{s}}/H$ は、GIT商 $X/\!\!/(G)$ を通じて構成され、これは $S = \bigoplus_r H^0(X, L^{\bigotimes r})$ に対して $\operatorname{Proj}(S^G)$ に同型である。
• 著者らは、カテゴリカル商の性質と $G$-等長同型を用いて、$H$ による $X$ の商と再帰的包摂 $G$ による商との関係を、特に線分束の引き戻しを通じて関係づける。
• 著者らは、$X$ が射影的で $L$ がアーマンであるとき、自然な写像 $\psi: X/\!\!/(G_1 \times G_2) \to (X/\!\!/(G_1))/\!\!/_M G_2$ が同型であることを示し、断片的セクションの全射性とアフィン被覆を用いる。

実験結果

リサーチクエスチョン

• RQ1 非再帰的線形代数的群の作用へ幾何的不変理論をどのように拡張できるか？
• RQ2 非再帰的群作用における安定性の内因的定義は何か？ そして、再帰的設定における安定性とどのように関係するか？
• RQ3 再帰的包摂を用いて、非再帰的群 $H$ に対する商 $X^{\text{s}}/H$ の射影的完備化を構成できるか？
• RQ4 繰り返し商 $(X/\!\!/(G_1))/\!\!/_M G_2$ がグローバル商 $X/\!\!/(G_1 \times G_2)$ に同型であるための条件は何か？
• RQ5 再帰的包摂の構造は、元の多様体内の点の安定性と半安定性にどのように影響するか？

主な発見

• 線形代数的群 $H$ が多様体 $X$ に作用する場合、安定部分集合 $X^{\text{s}}$ は再帰的包摂 $G$ の下での安定部分集合の逆像として定義され、これにより幾何的商 $X^{\text{s}}/H$ の存在が保証される。
• 射影的完備化 $X^{\text{s}}/H$ は、$H$ の再帰的包摂 $G$ を用いたGIT商 $X/\!\!/(G)$ を通じて構成され、この完備化は $\operatorname{Proj}(S^G)$ に同型である。
• 射影的 $X$ およびアーマン線形化 $L$ の下で、自然写像 $\psi: X/\!\!/(G_1 \times G_2) \to (X/\!\!/(G_1))/\!\!/_M G_2$ は同型である。これはグローバルGIT商と繰り返しGIT商の間の主要な整合性を確立する。
• この構成により、商 $X^{\text{s}}/H$ が射影GIT商 $X/\!\!/(G)$ の開部分多様体として埋め込まれ、自然なコンパクト化が得られる。
• 著者らは、非再帰的設定における半安定性と安定性が再帰的包摂を通じて特徴づけられ、Mumfordの基準が一般化されることを示した。
• この方法により、良好な状況では再帰的設定における安定性条件に還元することで、$X^{\text{s}}$ の明示的計算が可能になる。