[论文解读] The canonical join complex

Emily Barnard|arXiv (Cornell University)|Oct 17, 2016

Topological and Geometric Data Analysis参考文献 28被引用 5

一句话总结

本文引入了典范连接复形——由有限格中的最小连接表示构成的单纯复形——并证明当且仅当格是半分配的时，该复形是旗复形（其1-骨架的团复形）。关键结果将复形的旗性质与典范交表示的存在性联系起来，通过交叉截面单纯性及莫比乌斯函数行为，对拓扑学产生影响。

ABSTRACT

In this paper, we study the combinatorics of a certain minimal factorization of the elements in a finite lattice $L$ called the canonical join representation. The join $\bigvee A =w$ is the canonical join representation of $w$ if $A$ is the unique lowest subset of $L$ satisfying $\bigvee A=w$ (where "lowest" is made precise by comparing order ideals under containment). When each element in $L$ has a canonical join representation, we define the canonical join complex to be the abstract simplicial complex of subsets $A$ such that $\bigvee A$ is a canonical join representation. We characterize the class of finite lattices whose canonical join complex is flag, and show how the canonical join complex is related to the topology of $L$.

研究动机与目标

• 定义并研究作为由有限格中最小连接表示构建的抽象单纯复形的典范连接复形。
• 刻画该复形为旗复形的条件，即其1-骨架中的每个团是否构成一个面。
• 建立典范连接复形的旗性质与格的半分配性之间的深刻联系。
• 探讨该旗条件的拓扑学含义，特别是通过交叉截面单纯性与莫比乌斯函数取值。
• 研究在子格、商格及多链构造下，具有旗典范连接复形的格类的封闭性质。

提出的方法

• 将元素的典范连接表示定义为唯一最小的元素集合，其并等于该元素，利用序理想与冗余性排除。
• 将典范连接复形构造为所有此类最小连接表示子集的集合，并证明其构成一个单纯复形。
• 通过覆盖关系对典范连接表示进行局部刻画，并引入从连接不可约元到交不可约元的双射κ。
• 建立典范连接复形的旗性质、格的交叉截面单纯性与半分配性之间的等价性。
• 分析多链格 $L^{[m]}$，以说明典范连接复形在此构造下的行为，给出成对元素构成面的明确条件。
• 利用已知的交叉截面复形与同伦类型结果，推导出拓扑后果，包括莫比乌斯函数的界。

实验结果

研究问题

• RQ1 何时有限连接半分配格的典范连接复形是旗复形？
• RQ2 典范连接复形的旗性质与典范交表示的存在性之间有何关系？
• RQ3 典范连接复形如何与交叉截面复形及格的拓扑结构相关联？
• RQ4 哪些格论运算保持典范连接复形的旗性质？
• RQ5 每个标记图是否都能作为某个同余均匀格的典范连接图出现？从图重构格还需哪些额外数据？

主要发现

• 有限连接半分配格的典范连接复形是旗复形当且仅当该格是半分配的。
• 典范连接复形是旗复形当且仅当格是交叉截面单纯复形，从而在组合性质与拓扑性质之间建立了强等价关系。
• 若典范连接复形是旗复形，则格中任意区间 $[x,y]$ 要么是可缩的，要么同伦等价于维度为 $d-2$ 的球面，其中 $d$ 是 $[x,y]$ 中原子的数量。
• 在旗条件下，格的莫比乌斯函数在所有区间上仅取值 $-1$、$0$ 或 $1$。
• 具有旗典范连接复形的有限连接半分配格类在取子格与商格下是封闭的。
• 对于多链格 $L^{[m]}$，其典范连接图由原格的连接不可约元及其典范连接关系决定，同级与异级元素对有不同规则。