[論文レビュー] Two transformations of simple polytopes preserving moment-angle manifolds

Frédéric Bosio|arXiv (Cornell University)|Aug 1, 2017

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

ひとこと要約

本稿では、単体的多面体に関連するmoment-angle多様体の重み付き微分同相型を保つ2つの新しい組合せ的構成——バイフラップとパズル移動——を導入する。主な貢献は、非剛性（双対）フラッグ多面体の最初の例を提供し、組合せ的同値性がmoment-angle多様体の同値性に必要ではないことを示したことにより、トーリックトポロジーにおける多面体の剛性の概念に挑戦することにある。

ABSTRACT

We introduce two operations named biflip and puzzle-move on simple polytopes producing polytopes with diffeomorphic moment-angle manifolds.

研究の動機と目的

• 単体的多面体の変形において、それらに関連するmoment-angle多様体の微分同相型を保つ新しい組合せ的変換を同定すること。
• moment-angle多様体が同値である多面体は、必ずしも組合せ的に同値である必要があるかどうかを調査し、多面体の剛性の概念に挑戦すること。
• （双対）フラッグ多面体の非剛性を示す明示的例を構成することで、トーリックトポロジーにおける長年の予想を反証すること。
• 重み付き微分同相型であるmoment-angle多様体が、組合せ的に同値でない多面体に対しても成立する条件を理解するための枠組みを確立すること。

提案手法

• 単体的面における2つの特定のフラップの合成として定義されるバイフラップ作用を導入し、moment-angle多様体の構造を保つ。
• 部分複体∆と自己同型φを含む局所的な組合せ的変換としてパズル移動を定義し、結果として得られる対象が凸多面体のままであることを保証する条件を設ける。
• ワッジ構成を用いて既存の多面体から新しい多面体を生成する。特に、多角形上のマルチワッジを用いて剛性を調査する。
• moment-angle多様体のビグレードコホロジー構造を用いて、通常の微分同相型よりも強い等価関係である重み付き微分同相型を定義する。
• 変換がコホモロジー不変量に与える影響を分析するために、ホモロジー分解公式 Hk(ZP, Z) ≃ ⊕X⊂F ˜Hk−|X|−1(PX, Z) を適用する。
• 完全な組合せ的同値性を要しないが、moment-angle多様体の重み付き微分同相型を比較するために、Gr同値性（重み付き微分同相型）の概念を用いる。

実験結果

リサーチクエスチョン

• RQ1 組合せ的に同値でない2つの単体的多面体が、微分同相的なmoment-angle多様体を持つことは可能か？
• RQ2 （双対）フラッグ多面体の中で、非自明な変換によってそのmoment-angle多様体を保つもの（非剛性）は存在するか？
• RQ3 パズル移動が有効な多面体を生成すると同時に、moment-angle多様体の構造を保つための条件は何か？
• RQ4 2つのパズル同値多面体の積は、常にパズル同値であるか？ そしてこれは剛性とどのように関係するか？
• RQ5 パズル移動の構成を、埋め込まれた多面体を超えた純粋な組合せ的枠組みへ一般化できるか？

主な発見

• 本稿では、ヘキサゴン上のマルチワッジにパズル移動を適用することで、非剛性（双対）フラッグ多面体の最初の既知の例を構成した。
• n ≥ 6 に対して、n角形上の非自明なマルチワッジはすべてパズル剛性を示さないため、それらの多面体はmoment-angle多様体を保つ非自明な変換を有する。
• 自己同型φが多面体内の部分複体∆の近傍に等長写像として拡張できる限り、パズル移動作用はmoment-angle多様体の構造を保つ。
• 2つの多面体の積がパズル同値であるためには、各因子が積の対応する因子とパズル同値でなければならない。このとき、積構造が保存される。
• 次元d ≥ 3で、d+4個以上の面を持つ双対巡回多面体はパズル剛性を示さない。したがって、剛性を示さない。これは、フラッグ性が剛性を意味するわけではないことを示している。
• 本稿では、パズル同値性が組合せ的同値性よりも厳密に弱いことを示した。これは、多面体の組合せ的構造を変える変換が、重み付き微分同相型の意味でmoment-angle多様体を変えない例によって裏付けられている。