[논문 리뷰] The positive scalar curvature cobordism category

Johannes Ebert, Oscar Randal‐Williams|arXiv (Cornell University)|2019. 04. 29.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 6차 이상의 닫힌 다양체 위의 양의 스칼라 곡률(psc) 메트릭 공간이 무한 루프 공간의 호모토피 유형을 갖는다는 것을 증명한다. 이는 새로운 코버디즘 분류 틀을 사용하여 이루어지며, Quillen의 정리 B와 Gromov–Lawson 수술 기법을 psc 코버디즘 분류에 적용함으로써, 일반 코버디즘 분류로의 忘却 사상의 호모토피 섬독을 psc 메트릭 공간의 딜로핑으로 식별함으로써, Segal의 Γ-스페이스 이론을 통해 무한 루프 공간의 구조를 구성하고, 미분형식군 작용에 대한 강력한 고정성 결과를 증명한다.

ABSTRACT

We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve that goal, we study the cobordism category of manifolds with positive scalar curvature. Under suitable connectivity conditions, we can identify the homotopy fibre of the forgetful map from the psc cobordism category to the ordinary cobordism category with a delooping of spaces of psc metrics. This uses a version of Quillen's Theorem B and instances of the Gromov--Lawson surgery theorem. We extend some of the surgery arguments by Galatius and the second named author to the psc setting to pass between different connectivity conditions. Segal's theory of $Γ$-spaces is then used to construct the claimed infinite loop space structures. The cobordism category viewpoint also illuminates the action of diffeomorphism groups on spaces of psc metrics. We show that under mild hypotheses on the manifold, the action map from the diffeomorphism group to the homotopy automorphisms of the spaces of psc metrics factors through the Madsen--Tillmann spectrum. This implies a strong rigidity theorem for the action map when the manifold has trivial rational Pontrjagin classes. A delooped version of the Atiyah--Singer index theorem proved by the first named author is used to moreover show that the secondary index invariant to real $K$-theory is an infinite loop map. These ideas also give a new proof of the main result of our previous work with Botvinnik.

연구 동기 및 목표

• 차원 d≥6인 닫힌 다양체 위의 양의 스칼라 곡률 메트릭 공간이 무한 루프 공간의 호모토피 유형을 갖는다는 것을 증명한다.
• 양의 스칼라 곡률을 가진 다양체를 위한 코버디즘 분류 틀을 개발하여, psc 메트릭 공간의 호모토피 분석을 가능하게 한다.
• 미분형식군의 psc 메트릭 위 작용이 Madsen–Tillmann 스펙트럼을 통해 인식되며, 이는 유리수 Pontrjagin 클래스가 자명한 경우 강력한 고정성 결과를 암시한다.
• Atiyah–Singer 지수 정리의 딜로핑된 형태를 사용하여, 실수 K-이론으로의 2차 지수 불변량이 무한 루프 사상임을 증명한다.
• 이전에 Botvinnik와 함께 한 연구의 주요 결과를 새로운 코버디즘 분류 틀을 통해 재증명한다.

제안 방법

• 유사층 이론적 및 부분순서집합(poset) 모델을 사용하여 psc 코버디즘 분류를 구성하고, 기하적 자료를 모델링하기 위해 유연하고 무한소 콜라주 구조를 도입한다.
• Quillen의 정리 B를 적용하여, psc 코버디즘 분류에서 일반 코버디즘 분류로의 忘却 사상의 호모토피 섬독이 psc 메트릭 공간의 딜로핑임을 식별한다.
• Gromov–Lawson 수술 정리와 그 확장들을 사용하여 코버디즘 분류 내에서 다양한 연결성 조건 간의 전환을 수행한다.
• Segal의 Γ-스페이스 이론을 활용하여 psc 코버디즘 분류로부터 psc 메트릭 공간 위에 무한 루프 공간의 구조를 구성한다.
• Atiyah–Singer 지수 정리의 딜로핑된 형태를 활용하여, 실수 K-이론으로의 2차 지수 차이 사상이 무한 루프 사상임을 보인다.
• 미분형식군에서 psc 메트릭 공간의 호모토피 자기사상으로의 작용 사상이 Madsen–Tillmann 스펙트럼을 통해 인식됨을 보이며, 이는 유리수 Pontrjagin 클래스가 자명한 경우 고정성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 d≥6인 닫힌 d차원 다양체 위의 양의 스칼라 곡률 메트릭 공간은 무한 루프 공간의 호모토피 유형을 갖는가?
• RQ2 psc 코버디즘 분류에서 일반 코버디즘 분류로의 忘却 사상의 호모토피 섬독은 psc 메트릭 공간의 딜로핑으로 식별될 수 있는가?
• RQ3 미분형식군은 psc 메트릭 공간 위에 어떻게 작용하는가? 이 작용은 Madsen–Tillmann 스펙트럼으로 기록될 수 있는가?
• RQ4 실수 K-이론으로의 2차 지수 불변량은 무한 루프 사상인가? 이는 psc 코버디즘 분류와 어떻게 관련이 있는가?
• RQ5 작성자들이 이전에 Botvinnik와 함께 한 연구의 주요 결과는 새로운 코버디즘 분류 틀을 통해 재증명될 수 있는가?

주요 결과

• d≥6일 때, d-구면 위의 양의 스칼라 곡률 메트릭 공간 중 호모토피 역원을 갖는 부분공간에 제한된 경우, 이 공간은 무한 루프 공간의 호모토피 유형을 갖는다.
• 적절한 연결성 조건 하에서, psc 코버디즘 분류에서 일반 코버디즘 분류로의 忘却 사상의 호모토피 섬독은 psc 메트릭 공간의 딜로핑으로 식별된다.
• 미분형식군의 psc 메트릭 공간 위 작용은 Madsen–Tillmann 스펙트럼을 통해 인식되며, 이는 다양체의 유리수 Pontrjagin 클래스가 자명한 경우 강력한 고정성 정리를 암시한다.
• 실수 K-이론으로의 2차 지수 차이 사상은 딜로핑된 Atiyah–Singer 지수 정리의 형태를 사용하여 무한 루프 사상임을 보였다.
• psc 코버디즘 분류 틀은 작성자들이 이전에 Botvinnik와 함께 한 연구의 주요 결과를 새로운 방식으로 재증명하며, psc 메트릭 공간 위에 무한 루프 공간의 구조를 확립한다.
• 무한 루프 공간의 구조는 수술 기법과 유사층 이론적 기법을 통해 적절한 호모토피 조건을 확보한 후, Segal의 Γ-스페이스 기법을 psc 코버디즘 분류에 적용함으로써 구성된다.