[論文レビュー] Families of Geometries, Real Algebras, and Transitions

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

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

ひとこと要約

本稿では、実代数上での一般化により、双曲的、射影的、ヘイゼンベルク的など、よく知られた幾何構造を一般化することで、異なる幾何構造間の幾何的遷移を研究するフレームワークを提示する。代数を連続的に変化させることで、共軛極限では捉えきれない新しい遷移を可能にし、特に複素双曲的空間が R ⊕ R という実代数的構造に退化する事例を示し、幾何構造の族とその商の統一的な圏論的言語を提供する。

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) 内の直交群の共軛極限の分類について、次元 3 に焦点を当てた新しい証明を提供すること。

提案手法

• 複素数体を 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 パラメータ族を形成することを示し、幾何の連続的遷移を実証する。