[論文レビュー] Tropicalizing Spherical Embeddings

Evan D. Nash|arXiv (Cornell University)|Sep 23, 2016

Polynomial and algebraic computation参考文献 9被引用数 4

ひとこと要約

この論文は、トロピカル化理論をトーリック多様体から球面埋め込みへ拡張するものであり、2つの同等な定義——1つは色付きファンと軌道閉包を用いたもの、もう1つは球面多様体におけるグレブナー理論を用いたもの——を導入する。主な貢献は、これらの2つの拡張トロピカル化の概念が一致することを証明し、トロピカル幾何学の基本定理を球面的設定へ一般化することにある。

ABSTRACT

Recently, a theory for the tropicalization of a spherical homogeneous space $G/H$ was developed by Tassos Vogiannou. We extend his ideas to define the tropicalization of a spherical $G/H$-embedding. This generalizes the construction of tropicalization of toric varieties. We also extend an alternate definition of spherical tropicalization via Gröbner theory developed by Kiumars Kaveh and Christopher Manon and show that the two notions of extended tropicalization coincide.

研究の動機と目的

• 球面均一空間 $G/H$ の一般の $G/H$-埋め込みにおけるトロピカル化を定義し、既存のトロピカル化理論を球面的均一空間へ拡張すること。
• 密度の高い $G$-軌道を拡張するトーリックトロピカル化構成を、球面埋め込みの共通の多面体ファン構造を用いて、より広い球面埋め込みのクラスへ一般化すること。
• カーヴェとマノンが開発した球面多様体におけるグレブナー理論的アプローチを、球面埋め込みの設定へ拡張すること。
• 球面埋め込みにおいて、幾何的トロピカル化（軌道閉包とファンを用いたもの）とグレブナー理論的トロピカル化（初期イデアルを用いたもの）の2つの定義が一致することを証明し、トロピカル幾何学の基本定理の球面的類似を確立すること。

提案手法

• 幾何的トロピカル化は、球面埋め込み $X$ の全体にわたって、$X$ の色付きファン構造を用いて、密度の高い $G$-軌道 $G/H$ のトロピカル化を拡張することで定義される。各 $G$-軌道がトロピカル空間への多面体的部分集合を寄与する。
• 各ボレル部分群 $B$ に対して、$G/H$ 上の $B$-半不変関数で、$B$-安定な除数に沿って非負の値をとる関数のなす部分環 $k[X_B]$ を構成し、これにより局所的トロピカル化が値の関数として可能になる。
• グレブナー的トロピカル化は初期イデアルを用いて定義される：部分多様体 $Y \to G/H$ の閉包 $\overline{Y}$ が $X$ 内に存在するとき、$k[X_B]$ 内の理想 $\overline{J}_B$ が得られ、$\operatorname{trop}_G^{\operatorname{gr}}(\overline{Y})$ は $B$ をわたる $\mathcal{V}_B(\overline{J}_B)$ の和集合として定義される。
• 単純な $G/H$-埋め込み $X$ に付随する色付き錐 $(\sigma, \mathcal{F})$ を用いて、トロピカル空間 $\overline{\mathcal{N}}_{\mathcal{V}}(\sigma)$ をパrameter化する。ここで $\sigma$ は価値の錐の面であり、$\mathcal{F}$ はパレット $\mathcal{D}$ の部分集合である。
• 非単純埋め込みの場合は、共有される軌道に沿って単純成分のトロピカル化を貼り合わせることで、ファン構造に沿って一貫性を保つ。
• 同等性の証明は、各 $G$-軌道 $\mathcal{O}$ に対して、両定義のもとで $\overline{Y} \cap \mathcal{O}$ のトロピカル化が一致することを示すことにより、$k[X_B(\mathcal{O})]$ が $B$-安定な除数に沿って非負の値をとる関数からなるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 トーリックの場合を一般化する形で、球面埋め込みのトロピカル化をどのように定義できるか？
• RQ2 カーヴェとマノンが開発した球面均一空間におけるグレブナー理論的トロピカル化を、球面埋め込みへ拡張できるか？
• RQ3 幾何的トロピカル化（軌道閉包とファンを用いたもの）とグレブナー理論的トロピカル化（初期イデアルを用いたもの）は、球面埋め込みにおいて同等の結果をもたらすか？
• RQ4 トロピカル化とそのグレブナー理論的トロピカル化が一致する球面的類似の基本定理は存在するか？

主な発見

• この論文は、球面 $G/H$-埋め込み $X$ のトロピカル化を、その $G$-軌道のトロピカル化の和集合として定義し、各軌道はその価値の錐と関連する色付き面によってパrameter化される。
• 部分多様体 $\overline{Y} \subseteq X$ の拡張グレブナー・トロピカル化は、$\bigcup_B \mathcal{V}_B(\overline{J}_B)$ として定義され、ここで $\overline{J}_B$ は局所チャート $X_B$ 内で $\overline{Y} \cap X_B$ を定義するイデアルであり、トーリックグレブナー・アプローチを一般化する。
• 単純な $G/H$-埋め込み $X$ に対して、幾何的トロピカル化 $\operatorname{trop}_G(X)$ とグレブナー的トロピカル化 $\operatorname{trop}_G^{\operatorname{gr}}(X)$ は、$\overline{\mathcal{N}}_{\mathcal{V}}(\sigma)$ の部分集合として等しい。
• 非単純埋め込みに対しても、共有される軌道に沿って貼り合わせる構成により、2つのトロピカル化法の一致が保たれる。
• 主な結果、定理7.3は、任意の閉部分多様体 $Y \subseteq G/H$ 及びその $X$ 内の閉包 $\overline{Y}$ に対して $\operatorname{trop}_G(\overline{Y}) = \operatorname{trop}_G^{\operatorname{gr}}(\overline{Y})$ が成り立つことを示し、球面的基本定理を確立する。
• 証明は、各 $G$-軌道 $\mathcal{O}$ に対して、両定義のもとで $\overline{Y} \cap \mathcal{O}$ のトロピカル化が一致することを示すことにより、$X_B(\mathcal{O})$ 上の正則関数が $B$-安定な除数に沿って非負の値をとる関数として特徴づけられることを活用する。