[논문 리뷰] Two papers which changed my life: Milnor's seminal work on flat manifolds and flat bundles

William M. Goldman|arXiv (Cornell University)|2011. 08. 01.

Geometric and Algebraic Topology참고 문헌 31인용 수 6

한 줄 요약

이 논문은 존 밀너의 1958년과 1977년 논문이 평탄한 다변량체와 애핀 구조에 미친 기초적인 영향을 조사하며, 곡률, 특성류, 다변량체 위의 기하 구조에 대한 이해를 어떻게 재편했는지 탐구한다. 평탄한 접속, 오일러 특성수, 올바른 애핀 변형이 완전한 애핀 다변량체에서 차지하는 역할를 강조하며, 해밀토니안 기하학과 루르티에르 기하학을 통한 마르굴리 시공간의 명시적 구성으로 끝맺는다.

ABSTRACT

We survey developments arising from Milnor's 1958 paper, "On the existence of a connection with curvature zero" and his 1977 paper, "On fundamental groups of complete affinely flat manifolds".

연구 동기 및 목표

• Milnor의 1958년과 1977년 논문이 평탄한 다변량체와 애핀 구조의 기하학적·위상수학적 성질에 끼친 깊이 있는 영향를 조사하기 위해.
• 특히 평탄한 접속이 존재할 때 오일러 특성수의 0이 되는 조건을 포함한, 평탄한 접속장이 존재하는 데 있어 위상수학적 장벽을 탐구하기 위해.
• 비자명한 기본군과 올바른 애핀 작용을 갖는 완전한 애핀 다변량체의 존재성과 구성 방법을 조사하기 위해.
• 특성류, 특히 오일러 클래스가 평탄한 다변량체와 애핀 구조를 분류하는 데 차지하는 역할를 분석하기 위해.
• 푸크시안 군의 명시적 올바른 애핀 변형을 해밀토니안 기하학과 루르티에르 기하학을 통해 구성하여, 크로익드 평면으로 둘러싸인 기본 다면체를 갖는 마르굴리 시공간으로 이어지기 위해.

제안 방법

• curvature forms와 특성류, 특히 오일러 클래스를 위상수학적 불변량인 오일러 특성수와 연결하기 위해 체른의 가우스-بون네 정리를 활용한다.
• 다변량체 위의 애핀 구조를 구성하기 위해 개발 지도와 호로노미 표현을 적용하며, $\xi_\rho = \tilde{M} \times_\rho \mathbb{R}^n$ 형태의 피복 곱 구조를 사용한다.
• 해밀토니안 기하학과 $\mathsf{Sp}(4,\mathbb{R})$가 라그랑주 평면에 작용하는 방식을 활용하여 민코프스키 시공간과 $\mathsf{SL}(2,\mathbb{Z})$의 애핀 변형을 모델링한다.
• 블록 상삼각행렬에서의 시어(shears)를 사용하여 올바른 애핀 작용을 구성하고, 자기수반 사상들의 공간 위에 루르티에르 구조를 식별한다.
• $\mathsf{GL}(2,\mathbb{Z})$의 수준 2 동치부분군 $\Gamma_0$를 기반으로 하여 $\mathsf{Sp}(4,\mathbb{Z})$ 내에서 올바른 애핀 변형을 구성한다.
• Charette-Drumm-Goldman의 주요 결과를 적용하여, 마르굴리 시공간 구성에서 크로익드 평면으로 둘러싸인 기본 영역의 올바름과 유계성을 검증한다.

실험 결과

연구 질문

• RQ1 평탄한 접속장이 존재하는 폐쇄된 아스페리컬 다변량체의 오일러 특성수가 0이 아닐 수 있는가?
• RQ2 오일러 클래스는 다변량체 위에 평탄한 애핀 구조가 존재하지 못하게 하는 데 어떤 역할을 하는가?
• RQ3 기본군의 표현이 $\mathsf{Aff}(\mathbb{R}^n)$에 속할 때, 어떤 조건에서 완전한 애핀 다변량체를 유도할 수 있는가?
• RQ4 해밀토니안 기하학과 루르티에르 기하학을 통해 푸크시안 군의 올바른 애핀 변형을 어떻게 명시적으로 구성할 수 있는가?
• RQ5 $\mathsf{Sp}(4,\mathbb{Z})$가 해밀토니안 벡터 공간의 라그랑주 평면 공간에 작용할 때 어떤 기하 구조가 유도되는가?

주요 결과

• 스밀리의 1976년 예시는 $n > 2$ 인 짝수 차원에서 비영인 토르션을 갖는 평탄한 접속이 존재할 수 있음을 보여주지만, 이들은 아스페리컬이 아니므로, 비영 오일러 특성수를 갖는 아스페리컬 평탄한 다변량체의 존재 여부는 여전히 열려 있다.
• 체른의 가우스-بون네 정리에 따르면, 접속이 토르션-프리이고 곡률-프리일 경우, 평탄한 접속장이 존재하는 다변량체의 오일러 특성수는 0이 된다.
• 홀로노미 표현이 올바른 변형을 허용할 때에만, 올바른 애핀 작용을 갖는 완전한 애핀 다변량체가 존재하며, 마르굴리 시공간의 구성에서 이를 입증하였다.
• 레벨 2 동치부분군 $\Gamma_0 \subset \mathsf{SL}(2,\mathbb{Z})$의 명시적 올바른 애핀 변형이 $\mathsf{Sp}(4,\mathbb{Z})$ 내에서 구성되었으며, 이는 종수 2의 핸들바디와 위상동형인 3차원 다변량체를 유도한다.
• $M^3 = \Gamma \backslash \mathsf{E}$는 크로익드 평면으로 둘러싸인 기본 영역을 갖는 완전한 애핀 다변량체이며, 그 엣지 호로노미는 포물선적이고, 시공간적 단면에서 평행 선분으로 나타난다.
• 민코프스키 시공간 $\mathsf{E}$는 자기수반 사상 $L_0 \to L_0^*$의 그래프들의 공간으로 식별되며, 루르티에르 벡터 공간 $\mathsf{V}$에 대한 토르스로 간주되며, 이동은 $\mathsf{Sp}(4,\mathbb{R})$ 내의 시어로 표현된다.