[论文解读] Local Tropical Variety

Naoyuki Touda|ArXiv.org|Nov 19, 2005

Polynomial and algebraic computation参考文献 12被引用 8

一句话总结

本文引入了形式幂级数环 $\mathbb{C}[[x_1,\ldots,x_n]]$ 中理想在局部情形下的局部热带几何，通过 $\mathcal{U}_{\text{loc}}$ 中的权向量推广了热带几何。研究证明，局部热带曲线与生成元的局部热带超曲面的交集、初始理想中不包含单项式的权集合，以及无单项式出现在初始理想中的格罗布纳锥的闭包三者相等。

ABSTRACT

The tropical variety of an ideal was introduced by D.Speyer and B.Sturmfels. In this paper, we will give an analogous definition of local tropical varieties and prove analogous theorems in the formal power series ring. We will also discuss about relations between the local Groebner fan and local tropical variety.

研究动机与目标

• 将热带几何推广至局部情形，通过在形式幂级数环 $\widehat{\mathcal{O}} = \mathbb{C}[[x_1,\ldots,x_n]]$ 中定义局部热带曲线。
• 通过形式幂级数和局部权向量，将经典热带曲线构造方法从佩尤克斯级数推广至局部情形。
• 将局部热带曲线表征为初始理想中不包含单项式的局部权集合。
• 建立局部热带曲线与初始理想中无单项式出现的格罗布纳锥闭包之间的对应关系。
• 证明局部热带曲线等于理想生成元的局部热带超曲面的交集。

提出的方法

• 定义局部权向量 $u \in \mathcal{U}_{\text{loc}} \subset \mathbb{R}^n$，其非负分量用于建模原点附近的局部行为。
• 引入幂级数 $f$ 的 $u$-权为 $\text{Supp}(f)$ 中所有 $\alpha$ 的 $u \cdot \alpha$ 的最小值，由此诱导一个滤子结构及相应的分次环 $\text{Gr}^u(\widehat{\mathcal{O}})$。
• 将初始形式 $\text{in}_u(f)$ 定义为 $f$ 在分次环中对应于其 $u$-权的等价类。
• 将幂级数 $f$ 的局部热带化 $\text{trop}(f)$ 定义为热带半环上的热带多项式，其系数由各项的 $u$-权给出。
• 将局部热带超曲面 $\mathcal{T}^h_{\text{loc}}(\text{trop}(f))$ 构造为使得 $\text{trop}(f)$ 的最小值至少在两个项中同时达到的局部权集合。
• 证明局部热带曲线 $\mathcal{T}_{\text{loc}}(I)$ 等于生成元的局部热带超曲面的交集、初始理想中不包含单项式的权集合，以及无单项式出现在初始理想中的格罗布纳锥的闭包。

实验结果

研究问题

• RQ1 如何将经典热带曲线构造方法适应于使用形式幂级数而非佩尤克斯级数的局部情形？
• RQ2 在局部情形下，初始理想与热带化的正确推广形式是什么？
• RQ3 局部热带曲线与形式幂级数环中的格罗布纳扇及局部格罗布纳锥有何关系？
• RQ4 局部热带曲线能否表征为理想生成元的局部热带超曲面的交集？
• RQ5 是否存在基于局部格罗布纳锥闭包的局部热带曲线的组合描述？

主要发现

• 局部热带曲线 $\mathcal{T}_{\text{loc}}(I)$ 等于所有生成元 $f \in I$ 的局部热带超曲面的交集，即 $\mathcal{T}_{\text{loc}}(I) = \bigcap_{f \in I} \mathcal{T}^h_{\text{loc}}(\text{trop}(f))$。
• 局部热带曲线与满足 $\text{in}_w(I) \subset \text{Gr}^w(\widehat{\mathcal{O}})$ 中不包含单项式的局部权 $w \in \mathcal{U}_{\text{loc}}$ 的集合完全一致。
• 局部热带曲线是所有初始理想中不包含单项式的局部格罗布纳锥 $\overline{\mathcal{C}_i[w_i]}$ 的闭包的并集。
• 对于理想 $I$，局部热带曲线也等于有限集 $\mathcal{H} = \{f_j \mid l+1 \leq j \leq r\}$ 的局部热带超曲面的交集，其中每个 $f_j$ 在其对应锥中具有单项式初始形式。
• 在示例中，对理想 $\langle f \rangle$（其中 $f = y(e^x - 1) - x^2$）的局部热带曲线被计算为对应于 $xy - x^2$、$-x^2$ 和 $xy$ 的锥的闭包的并集，且原点映射为零。
• 局部热带曲线是有限个多面体集合的并集，每个集合对应一个初始理想中避免出现单项式的局部格罗布纳锥。