[論文レビュー] Homotopy types of moment-angle complexes

Jelena Grbić, Taras Panov+2 more|arXiv (Cornell University)|Nov 5, 2012

Advanced Combinatorial Mathematics参考文献 19被引用数 1

ひとこと要約

この論文は、モーメント・アングル複体 ZK が球面のホモトピー型のワイスプまたは球面積の連結和であるような単体的複体 K を特徴づける。特にフラッグ複体の場合を扱う。ZK が球面のワイスプとホモトピー同値であるための必要十分条件は、K の1次スケルトンがチャーディンググラフであることであり、球面の数を明示的に計算できる。ZK のループ空間と (CP∞, pt) のループ空間は、球面および球面上のループの積とホモトピー同値であり、標準的写像は2次元の球面的クラスの反復ホワイトヘッド積によって記述される。

ABSTRACT

The moment-angle complex ZK is a cell complex composed of products of discs D and circles S which are parametrised by faces of a simplicial complex K. The complex ZK has a natural torus action. By replacing the pair (D, S) by an arbitrary pair of spaces (X,A) we obtain the notion of the polyhedral product (X,A) . This construction is currently studied actively in toric topology and homotopy theory, and has many geometric interpretations. For example, the moment-angle complex ZK = (D, S) is homotopy equivalent to the complement of the arrangement of coordinate subspaces in C defined by the simplicial complex K. If K is the boundary of a simplicial polytopes (or, more generally, comes from a complete simplicial fan), then ZK is a smooth manifold. It admits quite interesting non-Kahler complex-analytic structures generalising the well-known series of Hopf and Calabi–Eckmann manifolds. In our talk we consider the classes of simplicial complexes K whose corresponding momentangle complex ZK has homotopy type of a wedge of spheres or connected sum of sphere products. In the case of flag complexes we obtain a complete characterisation of these classes, both in algebraic and combinatorial terms. For wedges of spheres, the criterion is as follows: the 1-skeleton of K must be a chordal graph (this notions features in the combinatorial theory of optimisation on graphs). We also calculate explicitly the number of spheres in the wedge. The loop spaces of ZK and (CP∞, pt) are homotopy equivalent to products of spheres and loops on spheres, and we show that the canonical map ZK → (CP∞, pt) can be described by iterated Whitehead products of two-dimensional spherical classes. The talk is based on the joint work [1].

研究の動機と目的

• 単体的複体 K のうち、モーメント・アングル複体 ZK が球面のワイスプのホモトピー型をとるようなクラスを特定すること。
• 特にフラッグ複体の場合に、そのような複体の完全な代数的および組合せ的特徴づけを提供すること。
• ZK が球面のワイスプとホモトピー同値である場合に、そのワイスプ分解における球面の正確な数を計算すること。
• ZK のループ空間および標準的写像 ZK → (CP∞, pt) のホモトピー型を、反復ホワイトヘッド積を用いて記述すること。

提案手法

• ポリヘドラルプロダクト (X,A)K の構成は、(D,S) を任意のペア (X,A) に置き換えることで、モーメント・アングル複体 ZK = (D,S)K を一般化し、ホモトピー論的解析を可能にする。
• ZK が C^n における座標部分空間配置の補集合とホモトピー同値であることを利用している。この配置は単体的複体 K によって定義される。
• フラッグ複体の場合、特徴づけは K の1次スケルトンがチャーディングであること—組合せ最適化およびグラフ理論における重要な概念—に依存する。
• 論文は、トーリックトポロジーおよびホモトピー論の道具を用い、特にループ空間およびホワイトヘッド積の構造に注目する。
• ZK のホモトピー型と K の組合せ論的性質との間の対応関係を、特に反復ホワイトヘッド積の使用を通じて確立する。
• 標準的写像 ZK → (CP∞, pt) は、そのホモトピー群への誘導写像を分析することで解析され、2次元の球面的クラスの反復ホワイトヘッド積によって実現されていることが示される。

実験結果

リサーチクエスチョン

• RQ1 どの単体的複体 K に対して、モーメント・アングル複体 ZK が球面のワイスプとホモトピー同値になるか？
• RQ2 K にどのような組合せ的条件を課すと、ZK が球面積の連結和のホモトピー型をとるようになるか、特にフラッグ複体の場合にその条件を特定するか？
• RQ3 ZK のワイスプ分解における球面の数を明示的に計算する方法は何か？
• RQ4 ZK のループ空間のホモトピー型は何か？ また、(CP∞, pt) のループ空間とどのように関係しているか？
• RQ5 標準的写像 ZK → (CP∞, pt) をホワイトヘッド積の観点からどのように記述できるか？

主な発見

• モーメント・アングル複体 ZK が球面のワイスプとホモトピー同値であるための必要十分条件は、K の1次スケルトンがチャーディンググラフであることである。
• フラッグ複体の場合、ZK のワイスプ分解における球面の数は、K の組合せ論的性質から明示的に計算可能である。
• ZK のループ空間は、球面および球面上のループの積とホモトピー同値であり、(CP∞, pt) のループ空間の構造を模倣している。
• 標準的写像 ZK → (CP∞, pt) は、2次元の球面的クラスの反復ホワイトヘッド積によって実現されている。
• K が単体的多面体の境界または完全な単体的ファンから来る場合、ZK は非Kählerな複素解析的構造を備えた滑らかな多様体であり、ホフおよびカラビ–エーケンマン多様体を一般化する。