[论文解读] Families of Geometries, Real Algebras, and Transitions

Steve Trettel|arXiv (Cornell University)|Oct 7, 2019

Geometric and Algebraic Topology参考文献 42被引用 10

一句话总结

本文提出了一套框架，通过在实代数上推广熟悉的几何结构（如双曲、射影和海森堡几何），研究不同几何之间的几何转变，允许代数连续变化。该框架建立了一种新颖的转变方法，突破了共轭极限的范畴，例如展示了复双曲空间退化为实代数结构的实例，并为几何家族及其商空间提供了统一的范畴语言。

ABSTRACT

This thesis details the results of four interrelated projects. The first of these presents a new proof of the theorem of Cooper, Danciger and Wienhard classifying the limits under conjugacy of the orthogonal groups in GL(n; R). The second provides a detailed investigation into Heisenberg geometry, which is the maximally degenerate such limit in dimension two. The remaining two projects concern understanding geometric transitions which do not occur naturally as limits under conjugacy in some ambient geometry. The third project describes a new degeneration of complex hyperbolic space, formed by degenerating the complex numbers as a real algebra, into the algebra R+R. Inspired by this example, the final project attempts to build the beginnings of a framework for studying transitions between geometries abstractly. As a first application of this, we generalize the previous result and describe a collection of new geometric transitions, defined by constructing analogs of familiar geometries (projective geometry, hyperbolic geometry, etc) over real algebras, and then allowing this algebra to vary.

研究动机与目标

• 开发一个通用框架，以理解那些并非源自固定环境几何中共轭极限的几何转变。
• 通过将复数的基底代数变形为 R ⊕ R，研究复双曲几何的退化。
• 通过在任意实代数上构造经典几何（如双曲、射影）的类比，推广几何结构理论。
• 利用纤维范畴和群作用，形式化几何家族及其商空间的概念。
• 通过几何与范畴论框架，为正交群在 GL(n,R) 中的共轭极限分类提供新证明，重点关注三维情形。

提出的方法

• 通过用 R ⊕ R 或 Λδ = R[ε]/(ε² − δ) 等代数替代复数域，构建实代数上的几何结构。
• 将几何家族定义为在基空间上作用的群族的纤维范畴，其空间被群族可迁作用。
• 利用商家族定理，通过群族作用于空间族来构造商族。
• 应用解析延拓并发展映射，以在流形和轨道丛上构造几何结构。
• 采用查巴图拓扑和共轭极限理论，分析正交群的退化。
• 引入通过几何底层实代数的连续变化实现的广义转变概念。

实验结果

研究问题

• RQ1 当几何转变并非源自固定几何中共轭极限时，如何系统地研究这些转变？
• RQ2 当复数被实代数 R ⊕ R 取代时，复双曲几何会发生什么变化？
• RQ3 经典几何（如双曲、射影）能否在任意实代数上推广？会涌现出何种结构？
• RQ4 在空间族上，群族作用何时能诱导出良好定义的商族？
• RQ5 GL(n,R) 中正交群的共轭极限如何与对称几何的退化相关联？

主要发现

• 通过将复数替换为实代数 R ⊕ R，构造了复双曲空间的新退化，得到一种新几何，记为 HR⊕R。
• 在维度 2 的海森堡几何是 GL(3,R) 中正交群的极大退化极限，确认了其作为边界几何的角色。
• 利用几何与范畴论框架，重新证明了 GL(n,R) 中正交群共轭极限的分类，阐明了符号变化的作用。
• 将几何家族定义为对空间族的纤维可迁群作用，为研究几何转变提供了范畴论基础。
• 商家族定理提供了通过群族作用于空间族取商的充分条件，使在族设定下构造轨道丛类对象成为可能。
• 实代数空间 Λδ = R[ε]/(ε² − δ) 参数化了一个 1-参数几何族，其范数为 1 的元素构成一个 1-参数群族，展示了几何之间连续转变的实例。