[论文解读] A convexity theorem for real projective structures

Jaejeong Lee|ArXiv.org|May 27, 2007

Geometric and Algebraic Topology参考文献 6被引用 7

一句话总结

本文建立了通过沿面粘合凸 $n$-多面体构造的实射影流形为凸或严格凸的充分条件。利用残余凸性条件——即任意共享一个面的两个相邻多面体的并集是凸的——作者证明：若不存在三角多面体，则所得结构为凸；若此外存在一个具有厚对偶的多面体，则结果为严格凸。该结果将平面凸性定理推广至高维实射影几何。

ABSTRACT

Given a finite collection P of convex n-polytopes in RP^n (n>1), we consider a real projective manifold M which is obtained by gluing together the polytopes in P along their facets in such a way that the union of any two adjacent polytopes sharing a common facet is convex. We prove that the real projective structure on M is (1) convex if P contains no triangular polytope, and (2) properly convex if, in addition, P contains a polytope whose dual polytope is thick. Triangular polytopes and polytopes with thick duals are defined as analogues of triangles and polygons with at least five edges, respectively.

研究动机与目标

• 建立实射影流形在通过粘合凸 $n$-多面体构造时为凸或严格凸的充分条件。
• 利用多面体与对偶条件，将卡波维奇最初针对平面情形的凸性定理推广至高维。
• 定义并表征“三角多面体”与“具有厚对偶的多面体”，分别作为三角形与五边形在高维的类比。
• 为实射影结构提供一种凸性判别准则，该准则补充了基于反射群或无限复形的现有结果。
• 通过组合与几何方法，将平面镶嵌中的残余凸性条件推广至高维射影流形。

提出的方法

• 将残余凸的 $n$-复形定义为一种胞腔复形，其中任意共享一个面的两个相邻 $n$-多面体在 $\mathbb{S}^n$ 中的并集是凸的。
• 引入“三角多面体”的概念：即其对偶不是厚的 $n$-多面体，从而推广了 $\mathbb{R}^2$ 中的三角形。
• 将“厚对偶”定义为在每个脊链中至少有五个面的对偶多面体，从而推广了具有 $\geq 5$ 条边的多边形。
• 使用发展映射 $dev: \tilde{M} \to \mathbb{S}^n$ 将射影结构上拉至覆盖空间，并通过残余凸性分析其像。
• 应用曲率下有界的亚历山大罗夫空间中凸性的结果，推导出发展映射像的全局凸性。
• 利用对偶性与球面几何分析复形中的链与剩余结构，确保该结构满足必要的拓扑与几何约束。

实验结果

研究问题

• RQ1 在何种条件下，通过粘合凸 $n$-多面体构成的实射影流形是整体凸的？
• RQ2 在何种条件下，该流形不仅凸，而且是严格凸的，即其闭包中不包含射影直线？
• RQ3 卡波维奇关于无三角形或含五边形的平面镶嵌的凸性定理，如何推广至高维？
• RQ4 多面体及其对偶的哪些组合与几何性质可保证所得射影结构的凸性？
• RQ5 仅凭残余凸性是否足以保证全局凸性？对于严格凸性，还需哪些额外条件？

主要发现

• 若有限个凸 $n$-多面体的族中不包含三角多面体，且通过射影面配对方式粘合，使得相邻多面体的并集为凸，则所得实射影流形为凸。
• 若此外该族中存在一个对偶为厚的多面体（即在每个脊链中至少有五个面），则所得流形为严格凸。
• 在上述条件下，从万有覆盖到 $\mathbb{S}^n$ 的发展映射是到一个（严格）凸区域的射影同构。
• 证明依赖于将结构上拉至万有覆盖，并利用残余凸性，通过亚历山大罗夫空间与球面多面体的性质推导出全局凸性。
• 结果将平面凸性定理推广至高维，并提供了一种不依赖于反射群或无限复形假设的新判别准则。
• 该框架适用于非反射性粘合映射，因此涵盖了冯伯格基本域定理或卡波维奇关于无限多面体复形结果所未涵盖的情形。