[论文解读] 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类似特性的多边形表面 patch。

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

研究动机与目标

• 建立一个几何与代数框架，将环状曲面与几何建模（尤其是表面 patch 设计）联系起来。
• 阐明代数矩量映射在连接环状曲面的非负部分与其基础凸多面体之间的作用。
• 证明代数矩量映射的逆映射提供了具有线性精度的自然参数化，这对建模应用至关重要。
• 通过展示环状理想与实环状曲面如何支持稳健的参数化曲面表示，统一代数几何与几何建模中的概念。

提出的方法

• 使用有限个整数指数向量集合 $\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 代数矩量映射的逆映射为何是环状 patch 的自然参数化？
• RQ4 环状理想与实环状曲面如何支持具有理想几何特性的多边形表面 patch 的构建？
• RQ5 射影环状曲面的非负部分具有何种拓扑结构，且该结构如何被代数矩量映射保持？

主要发现

• 射影环状曲面 $(Y_{\mathcal{A}})_{\geq}$ 的非负部分通过代数矩量映射与其实例向量的凸包 $\Delta$ 同胚。
• 代数矩量映射的逆映射 $\alpha_{\mathcal{A}}^{-1}: \Delta \to (Y_{\mathcal{A}})_{\geq}$ 提供了环状 patch 的自然参数化。
• 映射 $\alpha_{\mathcal{A}}^{-1}$ 的坐标函数具有线性精度，即通过实例向量处的值的凸组合，可精确重构 $\Delta$ 上的任意仿射函数。
• 代数矩量映射在 $(Y_{\mathcal{A}})_{\geq}$ 上与线性投影 $\pi_{\mathcal{A}}$ 重合，后者由 $\mathbb{R}^{1+n}$ 中的提升点 $(1, \mathbf{m}_i)$ 定义。
• 环状曲面如有理正常曲线、Veronese 嵌入和 Segre 嵌入均为该构造的特例，对应于标准的几何建模基元。
• 在代数矩量映射诱导的同胚下，$\Delta$ 作为具有奇异角的流形的结构得以保持，为建模提供了稳健的几何基础。