[论文解读] Projectivities in Simplicial Complexes and Colorings of Simple Polytopes

Michael Joswig|ArXiv.org|Feb 23, 2001

Advanced Combinatorial Mathematics参考文献 10被引用 4

一句话总结

本文引入了强连通单纯复形的射影变换群 Π(Δ)，这是一种不依赖于拓扑结构的组合不变量，用于捕捉其结构性对称性。该框架被应用于刻画色数 γ(P) = d 的简单多面体——即所有 2-面均有偶数个顶点的多面体——证明了 s(P) = n − d，从而解决了 toric流形理论中的一个关键情形，并与 d-正则二分图的边着色对偶性相关联。

ABSTRACT

For each strongly connected finite-dimensional (pure) simplicial complex we construct a finite group, the group of projectivities of the complex, which is a combinatorial but not a topological invariant. This group is studied for combinatorial manifolds and, in particular, for polytopal simplicial spheres. The results are applied to a coloring problem for simplicial (or, dually, simple) polytopes which arises in the area of toric algebraic varieties.

研究动机与目标

• 定义并研究有限维、强连通单纯复形的射影变换群 Π(Δ)，作为其组合不变量。
• 通过其 2-面的组合条件，刻画简单 d-多面体 P 的色数 γ(P)。
• 通过证明当 γ(P) = d 时 s(P) = n − d，解决 Buchstaber 和 Panov 所著问题 4.4.1 的一个情形。
• 建立简单多面体的正规面着色与其中心-边图的正规边着色之间的联系。

提出的方法

• 从复形的局部组合数据与基本群出发，构造射影变换群 Π(Δ)。
• 将射影变换群应用于组合流形与多面球面，特别是凸多面体的边界。
• 利用简单多面体与单纯球面之间的对偶性，将面着色结果转化为多面体结构结果。
• 依赖于简单多面体中偶数 2-面与二分图的顶点-边图之间的等价性。
• 应用图论结果，包括 Vizing 与 König 在 d-正则二分图边着色方面的定理。
• 利用多面复形的可构造性与可壳性，将环空间与 2-面关联，支持色数刻画。

实验结果

研究问题

• RQ1 何时一个简单 d-多面体 P 满足 γ(P) = d？其组合条件为何？
• RQ2 在 Davis-Januszkiewicz 流形 Z_P 上，极大自由环作用的秩 s(P) 与色数 γ(P) 有何关系？
• RQ3 能否从单纯复形的局部组合数据与基本群计算射影变换群 Π(Δ)？
• RQ4 简单多面体的正规面着色与其 1-骨架的正规边着色之间有何关系？

主要发现

• 一个简单 d-多面体满足 γ(P) = d 当且仅当其每个 2-面均有偶数个顶点。
• 对于此类多面体，极大自由环作用秩 s(P) 等于 n − d，其中 n 为面数。
• 射影变换群 Π(Δ) 是强连通单纯复形的有限组合不变量，其值与拓扑结构无关。
• 简单 d-多面体的面的正规 d-着色，可诱导其 1-骨架的正规 d-边着色，且与 König 定理在二分 d-正则图中的结论一致。
• 可构造多面复形的顶点-边图的环空间由 2-面生成，支持基于色数与环的刻画。
• 结果确认 s(P) = n − d 为最大可能值，且该情形在组合上由偶数 2-面刻画。