[論文レビュー] Compactifications of subvarieties of tori

Jenia Tevelev|ArXiv.org|Dec 16, 2004

Geometric and Algebraic Topology参考文献 14被引用数 4

ひとこと要約

本稿は、非アルキメデス的アモーバの多面体的構造を用いて、代数的トーラスの部分多様体のコンパクト化を構成する新しい手法を導入し、組合せ的正則交わりやコhen-Macaulay特異点を有するトロピカルコンパクト化をもたらす。主な貢献は、カプランフの可視輪郭を一般化し、超平面配置の補集合に対して対数正則モデルを提供する、構成的で組合せ的な枠組みを提供することである。

ABSTRACT

We study compactifications of subvarieties of algebraic tori defined by imposing a sufficiently fine polyhedral structure on their non-archimedean amoebas. These compactifications have many nice properties, for example any k boundary divisors intersect in codimension k. We consider some examples including $M_{0,n}\subset\bar M_{0,n}$ (and more generally log canonical models of complements of hyperplane arrangements) and compact quotients of Grassmannians by a maximal torus.

研究の動機と目的

• 代数的トーラス内の部分多様体の、良好に振る舞うコンパクト化を体系的に構成するための方法を開発すること。
• このようなコンパクト化が、組合せ的正則交わりやCohen-Macaulay特異点といった望ましい幾何的性質を有するための条件を確立すること。
• カプランフの可視輪郭構成を、高余次元部分多様体および超平面配置の補集合へ一般化すること。
• トロピカルコンパクト化と、GIT やヒルベルト商といった既存の商構成との関係を明らかにすること。
• コンパクト化の対数正則ラインバンドルが非常に非常に生成的であり、全域的に生成可能であることを示すこと。

提案手法

• 滑らかなトーリック多様体 $\mathbb{P}$ における部分多様体 $X$ の閉包を用いて、乗法写像 $\Psi: T \times \overline{X} \to \mathbb{P}$ を介してトロピカルコンパクト化を定義し、忠実平坦性を要請する。
• ヒルベルト汎在を用いて、$[\overline{X}]$ の $T$-軌道閉包の正規化としてグレブナー・トーリック多様体 $\mathbb{P}_{\text{Gr}}$ を構成する。
• 可視輪郭 $\overline{X}_{\text{vc}}$ を、$\mathbb{P}_{\text{Gr}}$ 内の $X/T_X$ の閉包として定義し、$\overline{X}_{\text{vc}} = \{[Y] \in \mathbb{P}_{\text{Gr}} \mid e \in Y\}$ で特徴づける。ここで $e$ は単位元である。
• 非アルキメデス的アモーバとラフォルグの横断性の議論を用いて、このようなコンパクト化の存在を保証する。
• 重み関数 $\omega$ による単体 $\Delta(r,n)$ のマトロイド分解を用いて、初期イデアルと交比を分析する。
• ラフォルグの横断性に関連するファーン $\mathcal{F}_{\text{Laf}}$ を用いて、マトロイド分解の粗化と初期イデアルを比較する。

実験結果

リサーチクエスチョン

• RQ1 任意のトーラスの部分多様体は、滑らかなトーリック環境空間と組合せ的正則交わりを有するトロピカルコンパクト化をもつだろうか？
• RQ2 どのような条件下で、トロピカルコンパクト化の乗法写像が滑らかで、トロイド特異点を有するだろうか？
• RQ3 可視輪郭構成は、グラスマン多様体に対するカプランフの元来の定義をどのように一般化するだろうか？
• RQ4 コンパクト化の対数正則ラインバンドルは、全域的に生成可能で、非常に生成可能だろうか？
• RQ5 コンパクト化上の交比は、初期イデアルの組合せ的構造をどのように反映するだろうか？

主な発見

• 任意のトーラスの部分多様体 $X$ は、滑らかなトーリック多様体 $\mathbb{P}$ 内に、$k$ 個の境界除集合が codimension $k$ で交わるトロピカルコンパクト化 $\overline{X}$ をもつ。
• もし $X$ が schön であれば、任意のトロピカルコンパクト化 $\overline{X} \subset \mathbb{P}$ は、滑らかな乗法写像を持ち、正則的に埋め込まれ、トロイド特異点を有する。
• $\overline{X}_{\text{vc}}$ の対数正則ラインバンドルは全域的に生成可能であり、正規バンドルの行列式に等しい。
• 本質的かつ連結な超平面配置の補集合に対して、$\overline{X}_{\text{vc}}$ は対数正則モデルであり、対数正則バンドルは非常に生成可能である。
• 初期イデアル $\mathcal{I}_\omega$ は、コンパクト化上の任意の交比が $0$、$1$、$\infty$、またはそれ以外のいずれであるかを決定する。
• トロピカルファーン $\mathcal{F}_{\text{trop}}$ の任意の錐の内部は、ラフォルグファーン $\mathcal{F}_{\text{Laf}}$ の錐の内部に含まれる。これにより、マトロイド分解の適切な粗化が保証される。