[论文解读] Geometric and Combinatorial Structure of Hypersurface Coamoebas

Mounir Nisse|ArXiv.org|Jun 15, 2009

Polynomial and algebraic computation参考文献 14被引用 13

一句话总结

本文建立了复代数超曲面的coamoeba与共轭超平面构型之间的组合与几何对偶性，证明了存在一个复热带超曲面，其coamoeba与原超曲面的coamoeba的闭包同胚。关键贡献在于引入了“壳”——一种满足类似热带几何中平衡条件的加权共轭超平面构型——从而实现了coamoeba的完整组合描述，并证明了极简多项式的amoeba是实心的。

ABSTRACT

Let $V$ be a complex algebraic hypersurface defined by a polynomial $f$ with Newton polytope $Δ$. It is well known that the spine of its amoeba has a structure of a tropical hypersurface. We prove in this paper that there exists a complex tropical hypersurface $V_{\infty, f}$ such that its coamoeba is homeomorphic to the closure in the real torus of the coamoeba of $V$. Moreover, the coamoeba of $V_{\infty, f}$ contains an arrangement of $(n-1)$-torus depending only on the geometry of $Δ$ and the coefficients of $f$. In addition, we can consider this arrangement, as a weighted codual hyperplanes arrangement in the universal covering of the real torus, and the balancing condition (the analogous to that of tropical hypersurfaces) is satisfied. This codual hyperplanes arrangement is called the {\em shell} of the complex coamoeba (the cousin of the spine of the complex amoeba). %(or the {\em average contour} of the complex coamoeba). Using this combinatorial coamoebas structure, we show that the amoebas of complex algebraic hypersurfaces defined by maximally sparse polynomials are solid. More precisely, we characterize the image of the order map defined by Forsberg, Passare, and Tsikh.

研究动机与目标

• 建立复代数几何中coamoeba与热带结构之间的组合对偶性。
• 通过一种新引入的“壳”对象，表征复超曲面coamoeba的几何与拓扑结构。
• 证明复热带超曲面的coamoeba与给定代数超曲面的coamoeba闭包同胚。
• 利用阶映射与牛顿多面体的组合结构，证明极简多项式的amoeba是实心的。
• 通过共轭超平面将amoeba与coamoeba之间的对偶性从amoeba的肋骨扩展到完整的组合结构。

提出的方法

• 构造一个复热带超曲面 $V_{\nu,\tau,f}$，使其coamoeba与原超曲面 $V_f$ 的coamoeba闭包同胚。
• 定义一个函数 $\nu_{(2,f)}$，从 $f$ 的支撑集与阶映射的像映射到 $S^1$，以编码共轭超平面构型的全部结构。
• 将“壳”定义为实环面的万有覆叠空间中的加权共轭超平面构型，其满足类似于热带超曲面的平衡条件。
• 利用牛顿多面体 $\Delta$ 与 $f$ 的系数来确定壳的几何结构，从而将其与定义多项式进行组合关联。
• 应用Viro拼接原理与 $\Delta$ 的一致细分 $\tau$，将 $\tau$ 的组合结构与壳的结构联系起来。
• 利用阶映射 $\mathop{\rm ord}\nolimits_f$ 及其像来表征coamoeba补集分量及其指标。

实验结果

研究问题

• RQ1 是否存在一个复热带超曲面，其coamoeba与给定复代数超曲面的coamoeba闭包同胚？
• RQ2 coamoeba补集分量的组合结构是什么？它与牛顿多面体及定义多项式的系数有何关联？
• RQ3 能否通过一种满足类似热带超曲面平衡条件的共轭超平面构型来描述复超曲面的coamoeba？
• RQ4 壳的几何结构如何与coamoeba补集分量的拓扑与凸性相关联？
• RQ5 在何种条件下，由极简多项式定义的复超曲面的amoeba是实心的？

主要发现

• 复代数超曲面的coamoeba与复热带超曲面 $V_{\infty,f}$ 的coamoeba同胚，建立了拓扑对偶性。
• coamoeba的壳是实环面万有覆叠空间中的一种加权共轭超平面构型，其满足类似于热带超曲面的平衡条件。
• coamoeba补集分量的数量至多为 $n! \mathop{\rm Vol}(\Delta)$，且对复曲线而言该界是紧的。
• 对于极简多项式，amoeba是实心的——其补集具有最大数量的凸分量——该性质可通过阶映射的像来表征。
• 壳的结构完全由牛顿多面体 $\Delta$ 与 $f$ 的系数决定，从而为coamoeba提供了完整的组合模型。
• 在Harnack曲线的情形下，多项式是稠密的（即 $\mathop{\rm supp}(f) = \Delta \cap \mathbb{Z}^2$），将拓扑最大性与支撑集的稠密性联系起来。