[論文レビュー] Möbius transform, moment-angle complexes and Halperin-Carlsson conjecture

Xiangyu Cao, Zhi Lü|arXiv (Cornell University)|Aug 21, 2009

Advanced Combinatorial Mathematics参考文献 10被引用数 17

ひとこと要約

本稿は、単体的複体のモビウス変換とそのスターリング＝ライスナー面のベッチ数との間の代数的・組合せ論的公式を確立し、トーラスおよび初等アーベル2群作用の下でモーメント・アングル複体に対するハルフィリン＝カールソン予想を証明する。複体を圧縮し、モビウス変換の台のサイズを推定することで、ベッチ数の和がコhomologyランクを下から抑えることを示し、自然なトーラスおよび(Z2)^m作用の下でZKおよびRZKに対して予想の不等式を確認する。

ABSTRACT

In this paper, we give an algebra-combinatorics formula of the Möbius transform for an abstract simplicial complex $K$ on $[m]=\{1, ..., m\}$ in terms of the Betti numbers of the Stanley-Reisner face ring of $K$. Furthermore, we employ a way of compressing $K$ to estimate the lower bound of the sum of those Betti numbers by using this formula. As an application, associating with the moment-angle complex $\mathcal{Z}_K$ (resp. real moment-angle complex ${\Bbb R}\mathcal{Z}_K$) of $K$, we show that the Halperin-Carlsson conjecture holds for $\mathcal{Z}_K$ (resp. ${\Bbb R}\mathcal{Z}_K$) under the restriction of the natural $T^m$-action on $\mathcal{Z}_K$ (resp. $({\Bbb Z}_2)^m$-action on ${\Bbb R}\mathcal{Z}_K$).

研究の動機と目的

• 単体的複体のモビウス変換とそのスターリング＝ライスナー面のベッチ数との間の明確な代数的・組合せ論的公式を確立すること。
• 単体的複体における圧縮技術を用いて、モビウス変換の台のサイズに対する下界を導出すること。
• 導出された公式と不等式を応用し、自然なトーラスおよび(Z2)^m作用の下でモーメント・アングル複体ZKおよび実モーメント・アングル複体RZKに対するハルフィリン＝カールソン予想を検証すること。

提案手法

• f ∈ 2^[m]* に対して、Z/2Z値のモビウス変換 M(f) を 2^[m] 上で M(f)(a) = Σ_{b⊆a} f(b) として定義する。
• モビウス変換 M(f) を、ホモロジー次数 i および部分集合 a によってインデックス付けされたスターリング＝ライスナー環 k(Kf) のベッチ数 β_{i,a} の和として表現する。
• 単体的複体 K = supp(f) に対して圧縮技術を用い、ある a ∈ K に対して |supp(M(f))| ≥ 2^{m - |a|} が成り立つことを示す。ここで |a| ≤ dim K + 1 である。
• 既知の同型 H*(ZK; k) ≅ Tor_{k[v]}(k(K), k) を用いて、モーメント・アングル複体のコhomologyをスターリング＝ライスナー環のTor代数に関連付ける。
• |supp(M(f))| に対する下界をベッチ数の和に適用し、これはZKおよびRZKの全ベッチ数に等しく、|supp(M(f))| によって下から抑えられることを示す。
• ZK（またはRZK）にランク r の自由作用をもつ部分トーラス H（または (Z2)^r）が存在するならば、r ≤ m - dim K - 1 であり、この下界と組み合わせることで ∑ dim_k H^i(ZK; k) ≥ 2^r を結論づける。

実験結果

リサーチクエスチョン

• RQ1 単体的複体のモビウス変換は、そのスターリング＝ライスナー面のベッチ数を用いてどのように表現できるか？
• RQ2 単体的複体のモビウス変換の台の最小サイズは何か？ そして、組合せ論的圧縮を用いて、その下界をどのように得られるか？
• RQ3 自然な T^m および (Z2)^m 作用の下で、モーメント・アングル複体 ZK および実モーメント・アングル複体 RZK に対してハルフィリン＝カールソン予想は成り立つか？
• RQ4 ZK および RZK のコhomologyは、スターリング＝ライスナー環のTor代数によって完全に特徴付けられるか？ そして、これは予想とどのように関係するか？
• RQ5 ZK に自由作用をもつトーラスのランクと、関連するスターリング＝ライスナー環のベッチ数との間には、明確な関係があるか？

主な発見

• 任意の良い関数 f ∈ 2^[m]* に対して、モビウス変換 M(f) は M(f) = Σ_{i=0}^h Σ_{a∈2^[m]} β_{k(Kf),i,a} δ_a と表され、ここで h はスターリング＝ライスナー環 k(Kf) の最小自由分解の長さである。
• 任意の [m] 上の単体的複体 K に対して、|supp(M(f))| ≥ 2^{m - |a|} を満たす a ∈ K が存在する。|a| ≤ dim K + 1 であるから、|supp(M(f))| ≥ 2^{m - dim K - 1} が成り立つ。
• 全ベッチ数 ∑_i dim_k H^i(ZK; k) は ∑_i dim_k H^i(RZK; k) に等しく、∑_{i=0}^h ∑_{a∈2^[m]} β_{k(Kf),i,a} に等しく、これは |supp(M(f))| によって下から抑えられる。
• ランク r の部分トーラス H（または (Z2)^r）が ZK（または RZK）に自由作用をもつならば、r ≤ m - dim K - 1 であり、全ベッチ数は ∑_i dim_k H^i(ZK; k) ≥ 2^r を満たす。
• 自然な T^m および (Z2)^m 作用の下で、ZK および RZK に対してハルフィリン＝カールソン予想は成り立つ。なぜなら、任意のランク r の自由作用に対して ∑_i dim_k H^i(ZK; k) ≥ 2^r および ∑_i dim_k H^i(RZK; k) ≥ 2^r が成り立つからである。