[논문 리뷰] Families of Geometries, Real Algebras, and Transitions

Steve Trettel|arXiv (Cornell University)|2019. 10. 07.

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) 내에서의 직교군의 공轭 극한 분류에 대한 새로운 증명을 제시하며, 특히 차원 3에 중점을 두는 것.

제안 방법

• 복소수 체를 R ⊕ R 또는 Λδ = R[ε]/(ε² − δ)와 같은 대수로 대체하여 실수 대수 위에 기하학적 구조를 구성하는 것.
• 기하학의 가족을 기저 공간 위에서 군의 가족이 작용하는 공간의 피브리드 범주로 정의하는 것.
• 가족의 공간에 대한 가족의 군 작용에 의한 몫을 구성하기 위해 Quotient Family 정리를 적용하는 것.
• 해석적 계속과 사상의 개발을 통해 다양체 및 오비폴드 위에 기하학적 구조를 구성하는 것.
• Chabauty 위상과 공轭 극한 이론을 활용하여 직교군의 분해를 분석하는 것.
• 기하학의 기초가 되는 실수 대수의 연속적 변화를 통해 전이의 일반화된 개념을 도입하는 것.

실험 결과

연구 질문

• RQ1 고정된 기하학 내에서 공轭에 의한 극한으로 유도되지 않는 기하학적 전이를 체계적으로 연구하는 방법은 무엇인가?
• RQ2 복소수 대신 실수 대수 R ⊕ R로 대체할 경우 복소 쌍곡 기하학은 어떻게 변화하는가?
• RQ3 고전적 기하학(예: 쌍곡, 사영)은 임의의 실수 대수 위에서 일반화될 수 있으며, 그로 인해 어떤 구조가 도출되는가?
• RQ4 기하학의 가족과 그 가족의 군 작용이 가족의 몫을 잘 정의된 가족으로 이끌기 위한 조건은 무엇인가?
• RQ5 GL(n,R) 내에서의 직교군의 공轭 극한은 대칭 기하학의 분해와 어떻게 관련되는가?

주요 결과

• 복소수를 실수 대수 R ⊕ R로 대체함으로써 복소 쌍곡 기하학의 새로운 분해가 구성되었으며, 이로 인해 HR⊕R로 표기되는 새로운 기하학이 도출되었다.
• 차원 2에서의 하이젠베르그 기하학은 GL(3,R) 내에서 직교군의 최대 분해 극한으로 나타나며, 이는 그가 경계 기하학으로서의 역할을 확인한다.
• 기하학적이고 범주론적인 프레임워크를 사용하여 GL(n,R) 내에서의 직교군의 공轭 극한 분류를 재증명하였으며, 이는 서명 변화의 역할을 명확히 하였다.
• 기하학의 가족은 공간의 가족 위에 군의 가족이 섬세하게 작용하는 것으로 정의되며, 이는 기하학적 전이를 연구하기 위한 범주론적 기초를 제공한다.
• Quotient Family 정리는 가족의 공간에 대한 가족의 군 작용에 의한 몫을 취하는 데 충분한 조건을 제공하며, 이는 가족 설정에서 오비폴드 유사 대상의 구성 가능성을 보장한다.
• 실수 대수 Λδ = R[ε]/(ε² − δ)는 1차원 가중치를 가진 기하학의 가족을 매개하며, 이 가족의 노름 1 원소는 1차원 가중치를 가진 군의 가족을 이룬다. 이는 기하학 간의 연속적 전이를 잘 보여준다.