[论文解读] Quadric Complexes

Nima Hoda|arXiv (Cornell University)|Nov 15, 2017

Geometric and Algebraic Topology参考文献 24被引用 5

一句话总结

本文引入了四次复形——一种具有组合非正曲率条件的正方形复形，其推广了CAT(0)立方复形，并作为可缩复形的正方形类比。通过其1-骨架的可拆分性性质，作者证明了任意有限群作用于四次复形时，会稳定一个完全二部子图，且进一步表明C(4)-T(4)小规模取消群作用于此类复形。

ABSTRACT

Quadric complexes are square complexes satisfying a certain combinatorial nonpositive curvature condition. These complexes generalize 2-dimensional CAT(0) cube complexes and are a square analog of systolic complexes. We introduce and study the basic properties of these complexes. Using a form of dismantlability for the 1-skeleta of finite quadric complexes we show that every finite group acting on a quadric complex stabilizes a complete bipartite subgraph of its 1-skeleton. Finally, we prove that C(4)-T(4) small cancellation groups act on quadric complexes.

研究动机与目标

• 定义并研究四次复形，作为正方形复形的组合非正曲率框架。
• 为有限四次复形的1-骨架建立可拆分性性质，以分析群作用。
• 证明作用于四次复形的有限群会在1-骨架中稳定一个完全二部子图。
• 证明C(4)-T(4)小规模取消群作用于四次复形。

提出的方法

• 通过类似于CAT(0)立方复形但适用于正方形复形设定的组合非正曲率条件来定义四次复形。
• 为有限四次复形的1-骨架引入一种可拆分性形式，以支持群作用的归纳分析。
• 利用可拆分性性质，证明有限群作用会在1-骨架中稳定一个完全二部子图。
• 利用C(4)-T(4)小规模取消群的小规模取消表示，构造其在四次复形上的自然作用。
• 利用四次复形的组合结构，确保该作用定义良好并保持非正曲率条件。

实验结果

研究问题

• RQ1 如何正式定义并表征可缩复形的正方形复形类比？
• RQ2 有限四次复形的1-骨架具有哪些结构性质，例如可拆分性？
• RQ3 能否证明作用于四次复形的有限群会稳定一个完全二部子图？
• RQ4 C(4)-T(4)小规模取消群是否具有在四次复形上的几何作用？

主要发现

• 四次复形被定义为满足特定组合非正曲率条件的正方形复形，其推广了CAT(0)立方复形，并作为可缩复形的正方形类比。
• 任何有限四次复形的1-骨架都具有某种可拆分性，从而支持群作用的结构分析。
• 每个作用于四次复形的有限群都会在其1-骨架中稳定一个完全二部子图。
• C(4)-T(4)小规模取消群作用于四次复形，从而在这一新类复形中实现了这些群的几何实现。