[論文レビュー] Graph cubeahedra and graph associahedra in toric topology

Boram Park, Hanchul Park+1 more|arXiv (Cornell University)|Dec 31, 2017

Advanced Combinatorial Mathematics被引用数 2

ひとこと要約

本稿では、グラフキューブアヘドロンの標準デルザント実現における、実トーリック多様体の有理ベッチー数を計算する新しいグラフ不変量であるb-numberを導入する。森（フォレスト）の場合、Gの部分グラフのa-numberとその線グラフL(G)の部分グラフのb-numberの間に双対性を確立し、グラフアソシアヘドロン△_Gとグラフキューブアヘドロン□_{L(G)}の上にある実トーリック多様体の有理ベッチー数が同一であることを証明する。

ABSTRACT

For a graph $G$, a graph associahedron $ riangle_G$ is a simple convex polytope which has been studied widely and found in a broad range of subjects. Recently, S. Choi and the second named author found a graph invariant, called the $a$-number, which computes the rational Betti numbers of the real toric manifold corresponding to a graph associahedron under the canonical Delzant realization. In this paper, we focus on the graph cubeahedron $\square_{G}$ which is a simple convex polytope introduced by Devadoss, Heath and Vipismakul. We introduce another graph invariant, called the $b$-number, as a counterpart of the notion of $a$-number, and we show that the $b$-number computes the rational Betti numbers of the real toric manifold corresponding to a graph cubeahedron under the canonical Delzant realization. For a forest $G$, we establish an identity which shows a relationship between the $a$-numbers of subgraphs of $G$ and the $b$-numbers of subgraphs of the line graph $L(G)$ of $G$. Based on this identity, we show that the rational Betti numbers of the real toric manifolds over the graph associahedron $ riangle_G$ and the graph cubeahedron $\square_{L(G)}$ are the same when $G$ is a forest.

研究の動機と目的

• グラフキューブアヘドロンのa-numberに対応する新しいグラフ不変量であるb-numberを定義すること。
• 標準デルザント実現におけるグラフキューブアヘドロンに関連する実トーリック多様体の有理ベッチー数を計算すること。
• 森Gの部分グラフのa-numberとその線グラフL(G)の部分グラフのb-numberの間の双対性を確立すること。
• Gが森であるとき、グラフアソシアヘドロン△_Gとグラフキューブアヘドロン□_{L(G)}の上にある実トーリック多様体の有理ベッチー数が一致することを証明すること。

提案手法

• グラフキューブアヘドロンから導かれる実トーリック多様体の位相的不変量を符号化するグラフ不変量としてb-numberを導入する。
• 標準デルザント実現を用いて、単純な凸多面体（グラフキューブアヘドロン）と実トーリック多様体を関連付ける。
• a-numberがグラフアソシアヘドロンに対して定義されるのと同様に、グラフの組合せ的構造に基づいてb-numberを定義する。
• 森に対して、Gの部分グラフのa-numberとL(G)の部分グラフのb-numberを結ぶ組合せ的恒等式を確立する。
• この恒等式を用いて、△_Gと□_{L(G)}の上にある実トーリック多様体の有理ベッチー数を比較する。
• トーリックトポロジーおよび有理ホモトピー論の結果を応用し、b-numberがベッチー数の計算とどのように関係するかを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、グラフキューブアヘドロンに関連する実トーリック多様体の有理ベッチー数を計算するグラフ不変量を定義できるか？
• RQ2 森Gの部分グラフのa-numberとその線グラフL(G)の部分グラフのb-numberの間にはどのような関係があるか？
• RQ3 Gが森であるとき、グラフアソシアヘドロン△_Gとグラフキューブアヘドロン□_{L(G)}の上にある実トーリック多様体の有理ベッチー数は一致するか？
• RQ4 b-numberは、キューブアヘドロン構成に対してa-numberと同様の位相的不変量として機能するか？

主な発見

• b-numberは、標準デルザント実現におけるグラフキューブアヘドロンに関連する実トーリック多様体の有理ベッチー数を計算するグラフ不変量として導入された。
• 森Gに対して、Gの部分グラフのa-numberとL(G)の部分グラフのb-numberは、明確な組合せ的恒等式を満たす。
• Gが森であるとき、グラフアソシアヘドロン△_Gの上にある実トーリック多様体と、グラフキューブアヘドロン□_{L(G)}の上にある実トーリック多様体の有理ベッチー数は等しい。
• a-numberとb-numberの間の双対性により、森の場合に二つのトーリック多様体が位相的に同値であることが示された。