[논문 리뷰] H-Space structures on spaces of metrics of positive scalar curvature

Georg Frenck|arXiv (Cornell University)|2020. 04. 02.

Advanced Differential Geometry Research참고 문헌 10인용 수 4

한 줄 요약

이 논문은 자기의 탄성 2형식에서 0-코바운드인 스피너 다양체 위의 양의 스칼라 곡률 계량공간에 기하학적 H-공간 곱을 구성한다. 상대 스피너×Bπ-코바운드 클래스에 기반한 그림 기반 계산법을 사용하여, 이 곱이 호모토피-결합적이고 호모토피-교환 가능하다는 것을 입증하고, 이 구조를 이용해 미분형식군의 작용에 대한 강성 기준을 증명한다. 주요 결과로는 고차원에서 실린더 공간과 디스크의 이중화 공간 사이의 H-공간 동치가 성립한다는 것을 보여준다.

ABSTRACT

We construct and study an $H$-space multiplication on $\mathcal R^+(M)$ for manifolds $M$ which are nullcobordant in their own tangential $2$-type. This is applied to give a rigidity criterion for the action of the diffeomorphism group on $\mathcal R^+(M)$ via pullback. We also compare this to other known multiplicative structures on $\mathcal R^+(M)$.

연구 동기 및 목표

• 스피너 다양체에서 자기의 탄성 2형식에서 0-코바운드인 경우에 대해 양의 스칼라 곡률 계량공간에 기하학적 H-공간 곱을 구성하는 것.
• 이 H-공간 구조를 통해 미분형식군의 작용에 대한 강성 기준을 수립하는 것.
• 새로운 H-공간 구조가 기존의 계량공간에 대한 곱 구조와 어떻게 비교 가능한지 조사하는 것.
• H-공간 구조가 0-코바운드의 선택에 따라 달라지는지 여부와, 이로 인해 계량공간 간 호모토피 동치에 미치는 영향을 조사하는 것.
• 특히 구와 디스크의 경우에 대해, 0-코바운드의 이중화 맥락에서 안정적 계량과 H-공간 동치의 존재 여부를 탐구하는 것.

제안 방법

• 구성은 Ω^Spin,π_d(M₀ ∐ M₁, M)의 상대 코바운드 클래스를 사용하여, S(X_W): R⁺(M) × R⁺(M) → R⁺(M)라는 사상으로 정의되며, 이는 H-공간 곱을 유도한다.
• 코바운드 집합에서의 계산을 가능하게 하는 그림 기반 계산법을 개발하여, 호모토피 결합성과 교환성의 명시적 검증을 가능하게 한다.
• H-공간 구조는 0-코바운드 W에 관련된 수술 사상 S(W)를 통해 정의되며, 곱은 두 개의 반대 코바운드와 한 개의 W를 붙여서 정의된다.
• 측도 공간 포함에서 약한 호모토피 동치를 보장하기 위해, 매개변수화된 그로모프–로우슨–쇼엔–요우의 수술 정리를 활용한다.
• 0-코바운드 위에 오른쪽 안정적이고 왼쪽 안정적인 계량이 존재함을 이용하여, 실린더 공간과 이중 공간의 계량공간 간 호모토피 동치를 구성한다.
• 핵심 기술 도구는 안정적 계량을 0-코바운드에 붙여 실린더 공간에서 이중 공간으로의 호모토피 동치를 만드는 맵 cl_{G_rst}이다.

실험 결과

연구 질문

• RQ1 0-코바운드 W를 통해 구성된 R⁺(M)의 H-공간 구조는 W의 선택에 따라 달라지는가? 만약 그렇다면, 서로 다른 선택들은 어떻게 관련되어 있는가?
• RQ2 H-공간 구조를 통해, R⁺(M) 위의 미분형식군 작용이 호모토피 범주에서 자명하다는 것을 증명할 수 있는가?
• RQ3 실린더 위 계량공간과 0-코바운드의 이중화 위 계량공간 사이에 자연스러운 H-공간 동치가 존재하는가?
• RQ4 경계 조건을 갖는 계량공간 포함이 약한 호모토피 동치를 유도하는 조건은 무엇인가?
• RQ5 표준 디스크 D^d에 의해 유도된 R⁺(S^{d-1})의 H-공간 구조가 R⁺(S^{d-2}×[0,1])_{g₀,g₀}의 실린더 공간 H-공간 구조와 동치임을 증명할 수 있는가?

주요 결과

• 차원 ≥6인 스피너 다양체 M에 대해, 만약 M이 Spin×Bπ₁(M)-0-코바운드이면, R⁺(M)은 호모토피-결합적이고 호모토피-교환 가능한 H-공간 구조를 가진다.
• H-공간 곱은 0-코바운드 W에 관련된 수술 사상에 의해 기하학적으로 정의되며, 이에 의해 유도된 사상 μ_W: R⁺(M) × R⁺(M) → R⁺(M)는 W의 선택에 관계없이 H-공간 동치의 관점에서 불변이다.
• 차원 ≥6인 단순연결 스피너 다양체 M에 대해, 만약 M이 자기의 탄성 2형식에서 0-코바운드이면, 오른쪽 방향의 미분형식군의 작용은 호모토피 범주에서 자명하다.
• d ≥ 7일 때, 맵 cl_{g_tor}: (R⁺(S^{d-2}×[0,1])_{g₀,g₀}, μ_cyl) → (R⁺(S^{d-1}), μ_D)는 H-공간 동치이다.
• 표준 디스크 D^d에 의해 유도된 R⁺(S^{d-1})의 H-공간 구조는 gluing 맵 cl_{g_tor}를 통해 R⁺(S^{d-2}×[0,1])_{g₀,g₀}의 실린더 공간 H-공간 구조와 동치이다.
• R⁺(M)의 H-공간 구조는 α-불변량이 0이 아닌 코바운드에 의해 유도된 호모토피 동치에 대해 유지되지만, 이러한 사상들은 항등사상과 호모토피가 아니다.