[論文レビュー] 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 不変量が異なる具体例を構成した。また、3次元複体においても、実 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 分解を用いて多面体的球面の反例を構成する際の限界を調査すること。
• Gorenstein* の場合における Tor-代数の Poincaré双対性構造と Buchstaber 不変量との関係を明確にすること。

提案手法

• 反例の構成を導くために、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 不変量に与える影響は何か。

主な発見

• 3次元の単体的複体 $U$ が存在し、$s(U) \neq s_{\mathbb{R}}(U)$ であることを示した。これにより、通常の Buchstaber 不変量と実 Buchstaber 不変量が常に等しいとは限らないことが証明された。
• 二重次数付き Betti 数と彩色不変量が同一であるが Buchstaber 不変量が異なる二つの単体的複体 $K_1$ と $K_2$ が構成された。これにより Buchstaber 不変量がこれらの不変量によって決定されないことが示された。
• 反例の構成は、Buchstaber 不変量を一般化された彩色不変量として定義することで探索を導き、その後 GAP を用いた計算的検証が行われた。
• 単体的環 $\Bbbk[K]$ の Taylor 分解が最小であるための必要十分条件は、$K$ が単体の境界のジョインである場合に限ることを示した。これにより、最小分解を用いた反例の構成が制限されることを示した。
• 単体的球面では、Tor-代数 $\operatorname{Tor}^{*,*}_{\Bbbk[m]}(\Bbbk[K],\Bbbk)$ が多重次数付き Poincaré 双対性を満たし、この構造を用いて最小分解の可能な形を制約した。
• $K_1$ と $K_2$ は単体的球面ではない。これは、Poincaré 双対性が要求する対称性が二重次数付き Betti 数の表に欠落していることから明らかである。