[论文解读] Complexification of the Viro theorem and topology of real and complex combinatorial hypersurfaces

Ilia Itenberg, Eugeniĭ Shustin|arXiv (Cornell University)|May 24, 2001

Polynomial and algebraic computation参考文献 20被引用 1

一句话总结

本文引入了复射影空间中一类组合型超曲面，该类超曲面将Viro的拼接构造推广至复数情形，从而可通过牛顿多面体剖分研究其拓扑性质。当剖分是正规时，所得超曲面微分同胚于代数超曲面；否则，其构成一个几乎复流形，其拓扑性质与实代数超曲面相似，包括满足相同的同余式与不等式。

ABSTRACT

We introduce a class of combinatorial hypersurfaces in the complex projective space, i.e., submanifolds of codimension 2 which are topologically ”glued” out of algebraic hypersurfaces in (C ∗ ) n. Our construction can be viewed as a complex version of the Viro gluing theorem, relating topology of real algebraic hypersurfaces to the combinatorics of subdivisions of Newton polyhedra. If a subdivision is regular, the combinatorial hypersurface is isotopic to an algebraic hypersurface, if not, then the combinatorial hypersurface is an almost complex variety which possess many properties of true algebraic hypersurfaces, and in the real case, the real combinatorial hypersurfaces satisfy the same topological restrictions (congruences, inequalities etc.) as real algebraic hypersurfaces.

研究动机与目标

• 将Viro定理从实代数几何推广至复代数几何，通过在复射影空间中构造组合型超曲面。
• 建立牛顿多面体剖分与复及实超曲面拓扑性质之间的拓扑对应关系。
• 证明即使非代数的组合型超曲面，亦继承代数超曲面的关键拓扑不变量。
• 证明实组合型超曲面满足与实代数超曲面相同的拓扑限制（例如同余式、不等式）。

提出的方法

• 在(C*)^n中通过代数超曲面的拓扑拼接构造组合型超曲面。
• 利用牛顿多面体的剖分定义拼接结构，其正规性决定是否微分同胚于代数超曲面。
• 定义Viro拼接定理的复版本，以关联组合数据与拓扑不变量。
• 当剖分非正规时，将所得超曲面分析为几乎复流形。
• 应用同调群与示性类等拓扑不变量，比较组合型与代数超曲面。
• 证明实组合型超曲面的实部满足与实代数超曲面相同的拓扑约束。

实验结果

研究问题

• RQ1 如何将Viro对实代数超曲面的拼接构造推广至复数情形？
• RQ2 当牛顿多面体剖分非正规时，组合型超曲面继承了哪些拓扑性质？
• RQ3 实组合型超曲面在多大程度上满足与实代数超曲面相同的拓扑限制？
• RQ4 在何种条件下，组合型超曲面微分同胚于代数超曲面？
• RQ5 复结构在这些组合对象的拓扑中起何种作用？

主要发现

• 通过牛顿多面体剖分在复射影空间中构造组合型超曲面，方法为在(C*)^n中拼接代数超曲面。
• 当剖分是正规时，所得组合型超曲面微分同胚于代数超曲面。
• 对于非正规剖分，组合型超曲面成为具有类似代数超曲面拓扑性质的几乎复流形。
• 实组合型超曲面满足与实代数超曲面相同的拓扑约束（如同余式与不等式）。
• 该构造实现了Viro定理的复化，将牛顿多面体的组合性质与复及实超曲面的拓扑性质相联系。
• 该方法建立了一个稳健的框架，通过组合数据研究复及实超曲面的拓扑性质。