[논문 리뷰] The topology of positive scalar curvature

Thomas Schick|arXiv (Cornell University)|2014. 05. 16.

Advanced Operator Algebra Research참고 문헌 20인용 수 36

한 줄 요약

이 종합 검토는 다양체 위의 양의 스칼라 곡률 메트릭의 위상수학을 C*-대수 K-이론과 대규모 지표 이론의 해석적 도구와 연결하는 체계적인 프로그램을 수립한다. 고차 지표 이론과 대규모 기하학이 양의 스칼라 곡률에 대한 새로운 금지 조건을 제공하고, 이러한 메트릭의 위상수학적 공간의 호모토피 군에서 무한 순서의 원소를 구성하며, 이러한 메트릭의 위상수학을 순환 동형으로 매핑하는 프레임워크를 제안하여 주 및 부차적 불변량을 통한 심층적인 분류를 가능하게 한다.

ABSTRACT

In this survey article, given a smooth closed manifold M we study the space of Riemannian metrics of positive scalar curvature on M. A long-standing question is: when is this space non-empty (i.e. when does M admit a metric of positive scalar curvature)? More generally: what is the topology of this space? For example, what are its homotopy groups? Higher index theory of the Dirac operator is the basic tool to address these questions. This has seen tremendous development in recent years, and in this survey we will discuss some of the most pertinent examples. In particular, we will show how advancements of large scale index theory (also called coarse index theory) give rise to new types of obstructions, and provide the tools for a systematic study of the existence and classification problem via the K-theory of C*-algebras. This is part of a program "mapping the topology of positive scalar curvature to analysis". In addition, we will show how advanced surgery theory and smoothing theory can be used to construct the first elements of infinite order in the k-th homotopy groups of the space of metrics of positive scalar curvature for arbitrarily large k. Moreover, these examples are the first ones which remain non-trivial in the moduli space of such metrics.

연구 동기 및 목표

• 양의 스칼라 곡률 메트릭의 위상수학을 C*-대수 K-이론과 대규모 지표 이론을 통해 분석으로 연결하는 시스템적 프레임워크를 개발한다.
• 고전적 로즈버그 지표를 초월하여, 양의 스칼라 곡률 메트릭에 대한 새로운 금지 조건을 탐지하기 위해 고차 지표 이론을 확장한다.
• 양의 스칼라 곡률 메트릭 공간의 고차 호모토피 군에서 무한 순서의 원소를 구성하는 최초의 알려진 사례를 제시한다.
• 양의 스칼라 곡률 시퀀스를 순환 동형으로 매핑하는 프로그램을 제안하여 부차적 불변량을 접근하고 분류를 정교화한다.
• 기존 스핀 다양체에 대한 결과가 비스핀 및 확대 가능한 다양체로 어느 정도까지 확장 가능한지 탐색한다, 특히 최소 표면 기법을 통해.

제안 방법

• 양의 스칼라 곡률 메트릭 공간을 분석하기 위한 기본 도구로 디랙 연산자의 고차 지표 이론을 활용한다.
• 대규모(코arse) 지표 이론과 바움-콘스 추측을 적용하여 군 C*-대수의 K-이론을 계산하고 금지 조건을 탐지한다.
• 고급 수술 이론과 스무딩 이론을 활용하여 양의 스칼라 곡률 공간의 호모토피 군에 비자명한 원소를 구성한다.
• C*-대수 K-이론을 Hochschild 및 순환 동형(코)동형과 결합하여 고차 지표 이론의 주 및 부차적 불변량을 접근한다.
• 분석적 구조 집합 K*(D*M)을 사용하여 양의 스칼라 곡률 공간의 위상수학을 모델링하며, 고전적 지표 금지 조건을 초월한다.
• 양의 스칼라 곡률 시퀀스를 순환 동형으로 매핑하는 프로그램을 제안하여, 분류를 위한 수치 불변량을 추출하고자 한다.

실험 결과

연구 질문

• RQ1 대규모 지표 이론은 로즈버그 지표를 초월하여 양의 스칼라 곡률 메트릭의 존재에 대한 새로운 금지 조건을 제공할 수 있는가?
• RQ2 양의 스칼라 곡률 메트릭 공간의 고차 호모토피 군의 구조는 어떻게 되며, 무한 순서의 비자명한 원소를 체계적으로 구성할 수 있는가?
• RQ3 최소 표면 기법을 사용하여 안정적 그로모프-로우슨-로즈버그 추측을 비스핀 다양체로 확장할 수 있는 범위는 어느 정도인가?
• RQ4 C*-대수의 K-이론을 순환 동형과 어떻게 결합하여 양의 스칼라 곡률 메트릭을 분류하는 데 사용되는 부차적 불변량을 추출할 수 있는가?
• RQ5 분석적 구조 집합 K*(D*M)은 구체적인 기하적 맥락에서 효과적으로 사용되어, 양의 스칼라 곡률 공간의 새로운 위상수학적 특징을 탐지할 수 있는가?

주요 결과

• 이 논문은 고급 수술 이론과 스무딩 이론을 활용하여 임의의 큰 k에 대해 양의 스칼라 곡률 메트릭 공간의 k차 호모토피 군에서 무한 순서의 원소를 구성하는 최초의 알려진 사례를 제시한다.
• 이러한 예시들은 이러한 메트릭의 모듈리 공간 내에서 비자명하게 유지되며, 양의 스칼라 곡률 공간의 호모토피 유형에서 처음으로 안정적인 비자명한 원소를 나타낸다.
• 안정적 그로모프-로우슨-로즈버그 추측에 따르면, 유한 번의 버틀 다양체 B와의 곱을 거친 후, 양의 스칼라 곡률 메트릭의 존재는 기본군의 C*-대수의 K-이론 내에서 로즈버그 지표에 의해 완전히 결정된다.
• 양의 스칼라 곡률 시퀀스를 순환 동형으로 매핑하는 프로그램은 부차적 불변량에 접근하는 길로 제안되며, 주 불변량의 성공에도 불구하고 여전히 잘 이해되지 않는 부차적 불변량을 추출하고자 한다.
• 분석적 구조 집합 K*(D*M)는 양의 스칼라 곡률 공간의 위상수학을 연구하는 데 핵심적인 대상으로 확인되었지만, 그 구체적 응용은 아직 발전되지 않았다.
• 최소 표면 기법은 차원 ≥5인 비스핀 다양체에 대한 유일하게 알려진 금지 조건 기법이지만, 차원 8을 초월하여의 확장은 여전히 열려 있는 과제이다.