[论文解读] Nested complexes and their polyhedral realizations

Andrei Zelevinsky|ArXiv.org|Jul 13, 2005

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

一句话总结

本文提出了一种统一框架，通过完全的单纯剖分和简单多面体，构建嵌套复形的多面体实现，利用一种新颖的链分解性质实现归纳证明。主要贡献在于给出了嵌套扇（nested fan）是某个简单多面体——嵌套多面体——的法扇的自-contained证明，从而在嵌套复形与丛复形及广义 associahedra 之间建立了直接类比。

ABSTRACT

This note which can be viewed as a complement to Alex Postnikov's paper math.CO/0507163, presents a self-contained overview of basic properties of nested complexes and their two dual polyhedral realizations: as complete simplicial fans, and as simple polytopes. Most of the results are not new; our aim is to bring into focus a striking similarity between nested complexes and associated fans and polytopes on one side, and cluster complexes and generalized associahedra introduced and studied in hep-th/0111053, math.CO/0202004, on the other side.

研究动机与目标

• 提供对嵌套复形及其多面体实现的统一、自-contained处理，重点在于构造集及其相关结构。
• 确立嵌套扇为完全单纯扇，并证明其是某个简单多面体（即嵌套多面体）的法扇。
• 通过链分解性质建立递归结构，实现对关键拓扑与几何性质的归纳证明。
• 阐明嵌套复形与丛复形之间的关系，特别是在图构造集的情况下。
• 提出图构造集的新表征，并在该特殊情况下展示其与丛复形之间更紧密的类比。

提出的方法

• 在有限集 S 上引入构造集，满足相交集合的并集封闭性，并包含所有单元素集。
• 将嵌套复形定义为构造集中非极大元素上的单纯复形，其中嵌套集避免其并集仍属于构造集的情况。
• 建立链分解性质（命题 3.2），表明嵌套复形中任意元素的链同构于更低秩的嵌套复形。
• 利用链分解性质，归纳推导嵌套复形及其多面体实现的结构性质。
• 通过扇的射线生成元构造嵌套多面体为单纯形的闵可夫斯基和，证明其为具有嵌套扇作为法扇的简单多面体。
• 对于图构造集，应用命题 7.3 的表征，证明嵌套集满足“团”条件，且二维面为边数为 4、5 或 6 的多边形。

实验结果

研究问题

• RQ1 如何系统地将嵌套复形实现为完全单纯扇与简单多面体？
• RQ2 如何利用链分解性质归纳推导嵌套复形的结构性质？
• RQ3 嵌套复形及其多面体实现与丛复形及广义 associahedra 有何比较？
• RQ4 图构造集的特征是什么？它们如何增强与丛复形的类比？
• RQ5 在图的情形下，嵌套多面体的二维面具有何种几何约束？

主要发现

• 嵌套扇是一个完全单纯扇，且通过从扇的直接构造，证明其是某个简单多面体——嵌套多面体——的法扇。
• 链分解性质（命题 3.2）提供了递归结构，使得嵌套复形的所有结构性质均可通过归纳法证明。
• 对于图构造集，嵌套复形是团复形，即一个集合是嵌套的，当且仅当其每对元素满足包含或不相交的条件。
• 在图的情形下，嵌套多面体的每个二维面都是边数 d ∈ {4, 5, 6} 的 d 边形，且射线生成元之间的线性关系具有特定形式（式 7.1）。
• 嵌套多面体的构造与 Postnikov（2005）给出的闵可夫斯基和实现一致，确认了不同方法间的自洽性。
• 本文提供了嵌套扇定义良好的新自-contained证明，弥补了早期文献中的空白。