[论文解读] Buchstaber numbers and classical invariants of simplicial complexes

Anton Ayzenberg|arXiv (Cornell University)|Feb 15, 2014

Topological and Geometric Data Analysis参考文献 10被引用 8

一句话总结

本文证明了Buchstaber不变量——由环面作用在时刻-交错复形上导出的拓扑不变量——并非由经典不变量（如双分次Betti数或色数）决定。通过GAP的计算代数方法与Taylor分解的性质，作者构造了明确的例子，表明两个单纯复形可以具有相同的双分次Betti数和色数，但Buchstaber不变量不同；并且在三维复形中，实Buchstaber不变量与普通Buchstaber不变量也可能不同。

ABSTRACT

Buchstaber invariant is a numerical characteristic of a simplicial complex, arising from torus actions on moment-angle complexes. In the paper we study the relation between Buchstaber invariants and classical invariants of simplicial complexes such as bigraded Betti numbers and chromatic invariants. The following two statements are proved. (1) There exists a simplicial complex U with different real and ordinary Buchstaber invariants. (2) There exist two simplicial complexes with equal bigraded Betti numbers and chromatic numbers, but different Buchstaber invariants. To prove the first theorem we define Buchstaber number as a generalized chromatic invariant. This approach allows to guess the required example. The task then reduces to a finite enumeration of possibilities which was done using GAP computational system. To prove the second statement we use properties of Taylor resolutions of face rings.

研究动机与目标

• 研究Buchstaber不变量是否由经典不变量（如双分次Betti数和色数）决定。
• 解决关于普通Buchstaber不变量是否恒等于实Buchstaber不变量的开放问题。
• 构造明确的反例，证明Buchstaber不变量并非在拓扑意义下由较弱不变量决定。
• 探讨在构造多面体球面反例时，使用最小Taylor分解的局限性。
• 厘清Buchstaber不变量与Gorenstein*情形下Tor代数的Poincaré对偶结构之间的关系。

提出的方法

• 将Buchstaber不变量定义为广义色数不变量，以指导反例的构造。
• 使用GAP计算系统对子群进行有限枚举，并验证环面作用的自由性。
• 应用Stanley–Reisner环的Taylor分解的性质，分析Tor代数的结构及其多分次分量。
• 利用Gorenstein*复形的Tor代数的多分次Poincaré对偶结构，推导出对最小分解的约束。
• 构造两个具有相同双分次Betti数和色数但Buchstaber不变量不同的单纯复形。
• 证明一个单纯球面具有最小Taylor分解，当且仅当它是单纯形边界之连结，从而限制了可用于构造反例的复形类。

实验结果

研究问题

• RQ1 对于任意单纯复形，普通Buchstaber不变量是否恒等于实Buchstaber不变量？
• RQ2 两个单纯复形是否可能具有相同的双分次Betti数和色数，但Buchstaber不变量不同？
• RQ3 Buchstaber不变量是否由单纯复形的$f$-向量或$h$-向量决定？
• RQ4 Tor代数$\operatorname{Tor}^{*,*}_{\Bbbk[m]}(\Bbbk[K],\Bbbk)$的同构类型是否决定Buchstaber不变量？
• RQ5 在何种条件下，Stanley–Reisner环的Taylor分解是最小的？这如何影响Buchstaber不变量？

主要发现

• 存在一个三维单纯复形$U$，使得$s(U) \neq s_{\mathbb{R}}(U)$，证明普通Buchstaber不变量与实Buchstaber不变量并非总是相等。
• 构造了两个单纯复形$K_1$和$K_2$，它们具有相同的双分次Betti数和色数，但$s(K_1) \neq s(K_2)$，表明Buchstaber不变量并非由这些不变量决定。
• 反例的构造依赖于将Buchstaber不变量定义为广义色数不变量以引导搜索，随后通过GAP进行计算验证。
• 当且仅当$K$是单纯形边界之连结时，$\Bbbk[K]$的Taylor分解才是最小的，这限制了可用来构造反例的复形类。
• 对于单纯球面，Tor代数$\operatorname{Tor}^{*,*}_{\Bbbk[m]}(\Bbbk[K],\Bbbk)$满足多分次Poincaré对偶性，该结构被用于约束最小分解的可能形式。
• 复形$K_1$和$K_2$不是单纯球面，其双分次Betti数表缺乏对称性，而这种对称性是Poincaré对偶性所要求的。