[论文解读] 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这一新的图不变量，用于在标准Delzant实现下计算与图立方多面体相关的实环簇流形的有理贝蒂数。对于森林图，本文建立了图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.

研究动机与目标

• 定义一种新的图不变量b-number，作为图立方多面体的a-number的对应物。
• 在标准Delzant实现下，计算与图立方多面体相关的实环簇流形的有理贝蒂数。
• 建立森林图G的子图的a-number与线图L(G)的子图的b-number之间的对偶性。
• 证明当G为森林时，图关联多面体△_G和图立方多面体□_{L(G)}上的实环簇流形的有理贝蒂数完全一致。

提出的方法

• 将b-number引入为编码从图立方多面体导出的实环簇流形的拓扑不变量的图不变量。
• 利用标准Delzant实现，将一个简单凸多面体（即图立方多面体）与一个实环簇流形相关联。
• 通过图的组合结构定义b-number，其方式与图关联多面体的a-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被引入为图不变量，在标准Delzant实现下可计算与图立方多面体相关的实环簇流形的有理贝蒂数。
• 对于森林图G，G的子图的a-number与L(G)的子图的b-number满足精确的组合恒等式。
• 当G为森林时，图关联多面体△_G和图立方多面体□_{L(G)}上的实环簇流形的有理贝蒂数相等。
• a-number与b-number之间的对偶性在森林情况下为两个环簇流形提供了拓扑等价性。