[论文解读] The classification of ends of properly convex real projective orbifolds II: Properly convex radial ends and totally geodesic ends

Suhyoung Choi|arXiv (Cornell University)|Jan 2, 2015

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

一句话总结

该论文通过利用Vinberg对偶性和Goldman-Labourie-Margulis理论的推广，分析全息表示的特征值条件，对实射影$n$-维轨道丛中的适当凸径向端和全测地端进行了分类。证明了在拓扑约束下，具有透镜型或广义球面端的非紧、强拟紧、适当凸轨道丛，其全息表示群为强不可约群。

ABSTRACT

Real projective structures on $n$-orbifolds are useful in understanding the space of representations of discrete groups into $\mathrm{SL}(n+1, \mathbb{R})$ or $\mathrm{PGL}(n+1, \mathbb{R})$. A recent work shows that many hyperbolic manifolds deform to manifolds with such structures not projectively equivalent to the original ones. The purpose of this paper is to understand the structures of properly convex ends of real projective $n$-dimensional orbifolds. In particular, these have the radial or totally geodesic ends. For this, we will study the natural conditions on eigenvalues of holonomy representations of ends when these ends are manageably understandable. In this paper, we only study the properly convex ends. The main techniques are the Vinberg duality and a generalization of the work of Goldman, Labourie, and Margulis on flat Lorentzian $3$-manifolds. Finally, we show that a noncompact strongly tame properly convex real projective orbifold with generalized lens-type or horospherical ends satisfying some topological conditions always has a strongly irreducible holonomy group.

研究动机与目标

• 对$n$-维实射影轨道丛中的适当凸径向端与全测地端进行分类。
• 通过关联线性作用的特征值条件，理解此类端的全息表示。
• 建立非紧、强拟紧、适当凸轨道丛的全息表示群为强不可约的条件。
• 应用对偶理论与仿射作用，表征射影设置中透镜形与T-端结构。
• 将Koszul的开性结果推广至透镜型端邻域，并分析凸包与极限集。

提出的方法

• 利用Vinberg对偶性，通过凸锥上的对偶映射将径向端与全测地端关联起来。
• 应用推广的Anosov流理论与端邻域上管状作用的对偶仿射作用，分析渐近良好的仿射作用。
• 在统一中间特征值条件下，运用特征值估计技术，表征透镜形表示。
• 使用发展映射与全息同态$h: \tilde{\frak{O}} \to \mathbb{RP}^n$，将轨道丛结构提升至$\mathbb{S}^n$中的凸区域。
• 应用Koszul的开性定理，证明全息表示空间中透镜性质的开性，确保小形变下的稳定性。
• 构造端的凸包，并利用仿射联络与锥结构分析邻域的扩张与收缩。

实验结果

研究问题

• RQ1 全息表示的必要且充分的特征值条件是什么，以使适当凸端为径向或全测地？
• RQ2 Vinberg对偶性与对偶仿射作用如何表征透镜形与T-端邻域的结构？
• RQ3 在何种拓扑与几何条件下，非紧、强拟紧、适当凸实射影轨道丛的全息表示群为强不可约？
• RQ4 透镜型与广义球面端在全息表示的小形变下如何行为？
• RQ5 凸包与极限集在决定此类轨道丛全局结构中起何作用？

主要发现

• 具有广义透镜型或广义球面端、且满足适当拓扑约束的非紧、强拟紧、适当凸实射影$n$-轨道丛，其全息表示群为强不可约。
• 透镜形端邻域由全息表示的统一中间特征值条件表征，确保凸性与无瑕性。
• 对偶映射将适当凸径向端（R-端）与全测地端（T-端）互换，同时保持关键几何与动力性质。
• 通过Koszul定理的推广，确立了全息表示空间中透镜性质的开性，确保小形变下的稳定性。
• 端邻域可在保持凸性与无瑕性的前提下扩张或收缩，且在给定条件下，端的凸包为适当凸。
• 端邻域上存在与全息表示交换的圆作用$S_t$，允许进行$C^r$-小形变，同时保持严格凸性与Hessian正定性。