[論文レビュー] Diffeomorphic moment-angle manifolds with different Betti numbers

Frédéric Bosio|arXiv (Cornell University)|Oct 13, 2014

Advanced Combinatorial Mathematics参考文献 2被引用数 4

ひとこと要約

本稿では、51個のファセットをもつ47次元の単純なポリトープを2つ構成し、それらのモーメント・アングル多様体は微分同相であるが、ベッチ数が異なることを示した。これにより、微分同相であるモーメント・アングル多様体は、常に同一のベッチ数をもつポリトープから生じるという予想は誤りであることが反証された。この構成は、ネイバー・デュアル・ポリトープのマルチウェッジを用い、このようなポリトープからのモーメント・アングル多様体が、球面積の連結和として表され、その構造がベッチ数によって決定されることを利用している。

ABSTRACT

We describe here two simple polytopes that have different Betti numbers and whose moment-angle manifolds are diffeomorphic.

研究の動機と目的

• 微分同相なモーメント・アングル多様体が、常に同一のベッチ数をもつポリトープから生じるかどうかを調査すること。
• モーメント・アングル多様体のベッチ数が、その背後に続くポリトープのベッチ数を一意に決定するかどうかを特定すること。
• 2つの微分同相なモーメント・アングル多様体が、異なるベッチ数をもつポリトープから生じる反例を構成すること。
• モーメント・アングル構成における微分同相写像の下で、組合せ的不変量の限界を探索すること。
• 頂点数とfベクトルが、モーメント・アングル多様体の微分同相写像の下で保存されないことを示すこと。

提案手法

• 次元より4個多いファセットをもつネイバー・デュアル・ポリトープのマルチウェッジを構成し、ベッチ数の複雑さを管理可能に保つ。
• コージン拡張とバイフラップを用いて、同じガール図配置から異なるポリトープを生成し、モーメント・アングル多様体の微分同相型を保存する。
• 同じベースから導かれる2つの異なるポリトープに、固定されたマルチインデックスによるウェッジ操作を適用し、同一のモーメント・アングル多様体次元と微分同相型を保証する。
• 球面積の連結和への既知の分解を用いて、モーメント・アングル多様体のベッチ数を計算する。
• 球面積の次元と重複度を一致させることで、得られたモーメント・アングル多様体が微分同相であることを検証する。
• ファセットの部分集合におけるbp,qの値を比較することで、ポリトープが異なるベッチ数をもつことを確認する。

実験結果

リサーチクエスチョン

• RQ1 2つの微分同相なモーメント・アングル多様体が、異なるベッチ数をもつポリトープから生じうるか？
• RQ2 モーメント・アングル多様体のベッチ数が、その背後に続くポリトープのベッチ数を決定するのに十分か？
• RQ3 頂点数のような組合せ的不変量は、モーメント・アングル多様体の微分同相写像の下で保存されるか？
• RQ4 異なるネイバー・デュアル・ポリトープのマルチウェッジが、異なるベッチ数をもつ微分同相なモーメント・アングル多様体をもたらすか？
• RQ5 ポリトープのfベクトルは、そのモーメント・アングル多様体の微分同相型によって決定されるか？

主な発見

• 構成されたポリトープのモーメント・アングル多様体は、#2(S37×S61)#(S38×S60)#17(S39×S59)#19(S40×S58)#20(S41×S57)#22(S42×S56)#38(S43×S55)#27(S44×S54)#29(S45×S53)#51(S46×S52)#54(S47×S51)#75(S48×S50)#36(S49×S49)に微分同相である。
• 2つのポリトープは異なるベッチ数をもつ：例えば、P1ではb17,19とb28,32はそれぞれ2と15であるが、P2では1と17である。
• ポリトープP1は33,686個の頂点をもつが、P2は33,684個の頂点をもつため、頂点数はモーメント・アングル多様体の微分同相写像の下で保存されないことが示された。
• モーメント・アングル多様体は98次元であり、47次元のポリトープに51個のファセットをもつものから、合計23回のウェッジ操作を用いて得られた。
• ベッチ数b−1,0 = b46,51 = 1は両ポリトープで同一であるが、それ以外の非ゼロbp,q値はすべて異なるため、異なるポリトープのベッチ数が確認された。
• 微分同相型が異なるベッチ数に対しても保存されているため、モーメント・アングル多様体のベッチ数がポリトープのベッチ数を決定しないことが証明された。