[論文レビュー] Toric ideals, real toric varieties, and the algebraic moment map

Frank Sottile|ArXiv.org|Dec 3, 2002

Commutative Algebra and Its Applications参考文献 7被引用数 10

ひとこと要約

本稿では、代数的モーメント写像を、射影的トーリック多様体の非負部分とその指数ベクトルの凸包との間に同相を定める線形射影として導入する。この写像がパラメータ化における線形精度を可能にすることを示し、トーリック多様体が特にBézierに類似した性質を持つ多辺形表面パッチを構築する幾何モデリングに適していることを明らかにする。

ABSTRACT

This is a tutorial on some aspects of toric varieties related to their potential use in geometric modeling. We discuss projective toric varieties and their ideals, as well as real toric varieties and the algebraic moment map. In particular, we explain the relation between linear precision and the algebraic moment map. This builds on the introduction to toric varieties by David Cox: What is a Toric Variety? at http://www.cs.amherst.edu/~dac/lectures/tutorial.ps

研究の動機と目的

• トーリック多様体と幾何モデリング、特に表面パッチ設計との間に幾何的・代数的枠組みを確立すること。
• 代数的モーメント写像がトーリック多様体の非負部分とその基盤となる凸多面体の関係をどのように規定するかを明確化すること。
• 代数的モーメント写像の逆写像が線形精度を持つ自然なパラメータ化を提供することを示し、モデリング応用にとって重要であることを明らかにすること。
• 代数幾何と幾何モデリングの概念を統合し、トーリックイデアルと実トーリック多様体が強固なパラメトリック表面表現を支える仕組みを示すこと。

提案手法

• 整数指数ベクトルの有限集合 $\mathcal{A} \subset \mathbb{Z}^n$ を用いて、ローラン単項式による写像 $\varphi_{\mathcal{A}}: (\mathbb{C}^*)^n \to \mathbb{P}^\ell$ を定義する。
• 射影的トーリック多様体 $Y_{\mathcal{A}}$ を $\varphi_{\mathcal{A}}$ の像のザリスキ閉包として定義し、射影空間に埋め込む。
• 代数的モーメント写像 $\alpha_{\mathcal{A}}: (Y_{\mathcal{A}})_{\geq} \to \Delta$ を、$\mathbb{P}^\ell$ から $\mathbb{P}^n$ への線形射影として定義し、上昇点 $(1, \mathbf{m}_i)$ を用いる。
• 写像 $\alpha_{\mathcal{A}}$ が非負部分 $(Y_{\mathcal{A}})_{\geq}$ と $\mathcal{A}$ の凸包 $\Delta$ の間で同相を誘導することを確立する。
• 逆写像 $\alpha_{\mathcal{A}}^{-1}: \Delta \to (Y_{\mathcal{A}})_{\geq}$ が線形精度を持つパラメータ化を提供することを示す。
• 特異角を持つ多様体の構造を用いて、$Y_{\mathcal{A}}$ の非負部分の位相的・幾何的性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 代数的モーメント写像は、トーリック多様体の非負部分とその定義多面体とをどのように関連付けるか？
• RQ2 幾何モデリングの文脈において、トーリック表面パラメータ化における線形精度の意義は何か？
• RQ3 代数的モーメント写像の逆写像がトーリックパッチの自然なパラメータ化として果たす役割は何か？
• RQ4 トーリックイデアルと実トーリック多様体は、望ましい幾何的性質を持つ多辺形表面パッチの構築をどのように支援するか？
• RQ5 射影的トーリック多様体の非負部分に内在する位相的構造は何か？ そして、代数的モーメント写像はその構造をどのように保存するか？

主な発見

• 射影的トーリック多様体の非負部分 $(Y_{\mathcal{A}})_{\geq}$ は、代数的モーメント写像を通じてその指数ベクトルの凸包 $\Delta$ と同相である。
• 代数的モーメント写像の逆写像 $\alpha_{\mathcal{A}}^{-1}: \Delta \to (Y_{\mathcal{A}})_{\geq}$ はトーリックパッチの自然なパラメータ化を提供する。
• 写像 $\alpha_{\mathcal{A}}^{-1}$ の座標関数は線形精度を持つ。これは、$\Delta$ 上の任意のアフィン関数が、指数ベクトルにおける値の凸結合によって正確に再構成可能であることを意味する。
• 代数的モーメント写像は、$(Y_{\mathcal{A}})_{\geq}$ 上で線形射影 $\pi_{\mathcal{A}}$ と一致する。ここで $\pi_{\mathcal{A}}$ は、$\mathbb{R}^{1+n}$ 内の上昇点 $(1, \mathbf{m}_i)$ によって定義される。
• 有理正規曲線、ヴェロネーゼ埋め込み、シグレ埋め込みといったトーリック多様体は、この構成の特殊ケースであり、標準的な幾何モデリングの基本的要素に対応する。
• 凸包 $\Delta$ が特異角を持つ多様体としての構造を有することを、代数的モーメント写像が誘導する同相が保存する。これにより、モデリングに向けた強固な幾何的基盤が得られる。