[논문 리뷰] Higher rho invariants and the moduli space of positive scalar curvature metrics

Zhizhang Xie, Guoliang Yu|arXiv (Cornell University)|2013. 10. 03.

Advanced Operator Algebra Research참고 문헌 21인용 수 4

한 줄 요약

이 논문은 군 C*-대수의 유한 K-이론과 고차 rho 불변량을 사용하여, 닫힌 스피너 다양체 위의 양의 스칼라 곡률 메트릭의 모듈리 군의 질량에 하한을 설정한다. 차원 ≥5인 강한 유한 임베딩 가능 fundamental group을 가진 다양체에 대해, 모듈리 군의 질량은 fundamental group 내의 비자명한 토퍼션 원소의 수 이상임을 증명하며, 이는 미분형식 작용에 관하여 불변인 메트릭 불변량을 사용한다.

ABSTRACT

Given a closed smooth manifold M which carries a positive scalar curvature metric, one can associate an abelian group P(M) to the space of positive scalar curvature metrics on this manifold. The group of all diffeomorphisms of the manifold naturally acts on P(M). The moduli group of positive scalar curvature metrics is defined to be the quotient abelian group of this action, i.e. the coinvariant of the action. The moduli group measures the size of the moduli space of positive scalar curvature metrics on M. In this paper, we use the higher rho invariant and the finite part of the K-theory of the group C*-algebra of the fundamental group of M to give a lower bound of the rank of the moduli group.

연구 동기 및 목표

• 닫힌 스피너 다양체 위의 양의 스칼라 곡률 메트릭의 모듈리 공간의 크기를 이해하기 위해.
• 모듈리 군 내의 원소를 구별하기 위해 미분형식 작용에 관하여 불변인 불변량을 개발하기 위해.
• 군 C*-대수의 고차 rho 불변량과 유한 K-이론을 사용하여 모듈리 군의 질량에 하한을 설정하기 위해.
• 강한 유한 임베딩 가능 군에 대해, 모듈리 군의 질량과 fundamental group 내의 비자명한 토퍼션 원소의 수 사이의 추측을 검증하기 위해.

제안 방법

• 디랙 연산자와 관련된 보조 불변량으로서의 고차 rho 불변량을 사용하며, 이는 리만 메트릭에 의존하고, 미분형식 작용에 관하여 불변이다.
• 최대 군 C*-대수 $ C^*_{\text{max}}(\tilde{\rho}) $ 의 유한 K-이론을 적용하여 모듈리 군 내의 비자명한 원소를 탐지한다.
• 적절한 성질을 가진 다양체 $ Y $ 를 기반으로 $ S^1 \times Y $ 위의 스펜션을 통해 $ M $ 에 메트릭을 구성하여, 서로 다른 양의 스칼라 곡률 메트릭을 생성한다.
• 어셈블리 맵과 지표 이론을 이용하여, $ K_0(C^*(G)) $ 내의 특정 프로젝션 $ p_{\gamma} $ 가 어셈블리 맵의 이미지에 속하지 않음을 보여, 고차 rho 불변량의 비자명성을 유도한다.
• K-이론의 경계 사상 $ \partial_{\Gamma \rtimes F_m} $ 을 포함하는 다이어그램 추론을 통해, 선형 종속성을 가정할 경우 모순을 이끌어내어, 단사성과 비자명성을 증명한다.
• 홀수 차원에서의 결과를 스펜션 추론을 통해 짝수 차원으로 확장하고, $ C^*(\mathbb{Z} \times G) $ 의 K-이론을 분석하며, $ K_1(C^*(\mathbb{Z})) \otimes K_0(C^*(G)) $ 의 텐서곱 구조를 활용한다.

실험 결과

연구 질문

• RQ1 차원 $ \geq 5 $ 인 닫힌 스피너 다양체 $ M $ 에서 양의 스칼라 곡률 메트릭의 모듈리 군 $ \widetilde{P}(M) $ 의 최소 질량은 얼마인가요?
• RQ2 미분형식 군 작용 하에서 고차 rho 불변량이 $ \widetilde{P}(M) $ 내의 선형 독립 원소를 탐지할 수 있나요?
• RQ3 강한 유한 임베딩 가능 fundamental group을 가진 다양체에서, $ \pi_1(M) $ 내의 비자명한 토퍼션 원소의 수가 $ \widetilde{P}(M) $ 의 질량에 하한을 제공합니까?
• RQ4 C*-대수의 K-이론의 유한 부분은 양의 스칼라 곡률 메트릭의 모듈리 공간의 위상 기하학과 어떻게 관련이 있나요?

주요 결과

• 차원 $ \geq 5 $ 인 닫힌 스피너 다양체 $ M $ 과 강한 유한 임베딩 가능 fundamental group $ \Gamma $ 에 대해, 모듈리 군 $ \widetilde{P}(M) $ 의 질량은 $ \Gamma $ 내의 비자명한 토퍼션 원소의 수인 $ N_{\text{fin}}(\Gamma) $ 이상이다.
• 고차 rho 불변량은 미분형식 군 작용에 관하여 불변이므로, $ \widetilde{P}(M) $ 내의 원소를 구별하는 데 사용될 수 있다.
• 리프시츠 대수의 $ K_0 $ 의 유한 부분에서 $ K_1 $ 으로의 경계 사상 $ \partial_{\Gamma \rtimes F_m} $ 는 단사적이며, 이는 유한 부분 내의 비자명한 원소가 리프시츠 대수의 K-이론으로 비자명한 원소로 매핑됨을 의미한다.
• 스펜션을 통해 $ S^1 \times Y $ 위에 메트릭을 구성함으로써, 서로 다른 조율 클래스의 양의 스칼라 곡률 메트릭을 생성할 수 있으며, 이는 서로 다른 스피너 bordism 클래스에 대응한다.
• 짝수 차원 다양체에서 $ \pi_1(M) \twoheadrightarrow \mathbb{Z} \times G $ 가 존재하고 $ G $ 가 강한 유한 임베딩 가능하다면, $ \text{rank}(\widetilde{P}(M)) \geq N_{\text{fin}}(G) $ 이다.
• $ \pi_1(M) $ 가 토퍼션 자유가 아니라면, $ \text{rank}(\widetilde{P}(M)) \geq 1 $ 이며, 이는 모듈리 공간이 무한히 많은 성분을 가짐을 의미한다.