[论文解读] Topological Criteria for $k-$Formal Arrangements

Ştefan Tohǎneanu|ArXiv.org|Aug 17, 2006

Advanced Combinatorial Mathematics参考文献 7被引用 6

一句话总结

本文通过从图的旗复形构造链复形，建立了超平面排列关于 $k$-形式性的拓扑判别准则。证明了图的排列是 $k$-形式的当且仅当其旗复形的同调在度数 $1$ 到 $k-1$ 处为零，从而为图的排列提供了 $k$-形式性的组合-拓扑刻画。

ABSTRACT

We prove a criterion for $k-$formality of arrangements, using a complex constructed from vector spaces introduced in \cite{bt}. As an application, we give a simple description of $k-$formality of graphic arrangements: Let $G$ be a connected graph with no loops or multiple edges. Let $Δ$ be the flag (clique) complex of $G$ and let $H_{\bullet}(Δ)$ be the homology of the chain complex of $Δ$. If $\mathcal A_G$ is the graphic arrangement associated to $G$, we will show that $\mathcal A_G$ is $k-$formal if and only if $H_i(Δ)=0$ for every $i=1,...,k-1$.

研究动机与目标

• 开发一种利用链复形构造的超平面排列中 $k$-形式性的拓扑判别准则。
• 以旗复形的同调为工具，刻画图的排列的 $k$-形式性。
• 证明图的排列中 $k$-形式性仅依赖于其底层图的组合结构。
• 提供对任意 $k$ 均为 $k$-形式但非 $(k+1)$-形式的排列的显式例子。

提出的方法

• 从排列的交集格和关系空间构造链复形 $D_{ullet}$。
• 将微分 $d_k: D_k \to D_{k-1}$ 定义为在不同交集秩处的关系空间之间的包含映射 $\pi_k$ 的和。
• 利用引理 2.5 证明 $k$-形式性等价于同调 $H_i(D_{ullet}) = 0$ 对于 $i = 1, \dots, k-1$。
• 通过基的对应关系，将复形 $D_{ullet}$ 与图 $G$ 的旗复形 $\Delta$ 的链复形联系起来。
• 证明在此对应关系下，$D_{ullet}$ 的微分与旗复形链复形的微分完全一致。
• 通过此识别，证明 $\mathcal{A}_G$ 是 $k$-形式的当且仅当 $H_i(\Delta) = 0$ 对于 $i = 1, \dots, k-1$。

实验结果

研究问题

• RQ1 在什么条件下图的排列是 $k$-形式的？其组合刻画为何？
• RQ2 控制图的排列中 $k$-形式性的拓扑不变量是什么？
• RQ3 能否构造出对任意给定 $k$ 均为 $k$-形式但非 $(k+1)$-形式的图的排列？
• RQ4 $k$-形式性在图的排列中是否仅依赖于图的组合结构，而与排列的几何实现无关？

主要发现

• 图的排列 $\mathcal{A}_G$ 是 $k$-形式的当且仅当其旗复形的同调 $H_i(\Delta)$ 在所有 $i = 1, \dots, k-1$ 处为零。
• 从关系空间构造的复形 $D_{ullet}$ 同构于图 $G$ 的旗复形 $\Delta$ 的链复形。
• 对于正八面体图，$H_1(\Delta) = 0$ 但 $H_2(\Delta) = 1$，因此 $\mathcal{A}_G$ 是形式的但不是 3-形式的。
• 该构造可显式给出对任意 $k$ 均为 $k$-形式但非 $(k+1)$-形式的排列的例子。
• 该判别准则表明，图的排列中 $k$-形式性是组合不变量，而一般排列中 $k$-形式性可能依赖于几何结构。
• 证明的关键在于：任何 $R_l(\mathcal{A}_X)$ 中的非平凡关系都会迫使存在一个 $K_{l+1}$ 子图，从而推出 $G_X = K_{l+1}$。