[논문 리뷰] Dirac operators on manifolds with periodic ends

Daniel Ruberman, Nikolai Saveliev|ArXiv.org|2007. 02. 09.

Advanced Operator Algebra Research참고 문헌 30인용 수 12

한 줄 요약

이 논문은 차원이 4 이상인 엔드-퍼리오딕 스피너 다양체 위에서 페르마트 성질을 갖는 딜라 연산자에 대한 필수적이고 충분한 조건을 일반적인 엔드-퍼리오딕 메트릭을 사용하여 설정한다. 비가역 4차원 다양체에 대한 캡엘-셰인슨 불변량의 분석적 해석을 제공하고, 일부 이국적인 비가역 4차원 다양체가 양의 스칼라 곡률 메트릭을 갖지 못함을 증명한다.

ABSTRACT

This paper studies Dirac operators on end-periodic spin manifolds of dimension at least 4. We provide a sufficient condition for such an operator to be Fredholm for a generic end-periodic metric; this condition is shown to be necessary in dimension 4. We make use of end-periodic Dirac operators to give an analytical interpretation of an invariant of non-orientable smooth 4-manifolds due to Cappell and Shaneson. From this interpretation we show that some exotic non-orientable 4-manifolds do not admit a metric of positive scalar curvature.

연구 동기 및 목표

• 일반적인 엔드-퍼리오딕 메트릭을 사용할 때 엔드-퍼리오딕 스피너 다양체 위의 딜라 연산자가 페르마트가 되는 위상수학적 조건을 규명하는 것.
• 엔드-퍼리오딕 딜라 연산자를 사용하여 비가역 4차원 다양체에 대한 캡엘-셰인슨 불변량의 분석적 해석을 제공하는 것.
• 일부 이국적인 비가역 4차원 다양체 위에 양의 스칼라 곡률 메트릭이 존재하지 않는다는 장애를 설정하는 것.
• 엔드-퍼리오딕 구조를 활용하여 딜라 연산자의 페르마트 이론을 컴팩트 또는 양의 스칼라 곡률 설정을 초월해 확장하는 것.
• KO-이론에서의 α-불변량의 영성과 매핑 토러스 위의 스위치된 딜라 연산자의 가역성 사이의 연결을 설정하는 것.

제안 방법

• Taubes의 엔드-퍼리오딕 미분 연산자 이론을 사용하여 주기적 끝을 갖는 다양체 위에서의 딜라 연산자의 페르마트 성질을 분석하는 것.
• 닫힌 스피너 다양체 $ X $ 에서 $ S^1 $ 으로의 사상이 존재할 때, $ f_*: \pi_1(X) \to \mathbb{Z} $ 가 전사일 경우, 스위치된 딜라 연산자 $ D^c = D + ic f^*(d\theta) $ 를 정의하는 것.
• 모든 $ c \in \mathbb{R} $ 에 대해 $ D^c $ 의 핵이 영이 되는 것과 $ \alpha $-불변량 $ \alpha(X) \in KO_n(S^1) $ 가 영이 되는 것이 동치임을 증명하는 것.
• 절단 원리(Excision principle)를 적용하여 무한 순환 커버 $ \tilde{X} $ 에서의 페르마트 성질을 일반 엔드-퍼리오딕 다양체 $ M $ 로 확장하는 것.
• 코버디즘 위의 양의 딜라 연산자의 지수로부터 유도된 메트릭에 의존하는 불변량 $ w_{\text{cs}}(X',f,g) $ 를 구성하는 것. 이는 모듈로 2에서 캡엘-셰인슨 불변량으로 간소화된다.
• 방향 전환에 대한 지수의 대칭성을 사용하여 $ w_{\text{cs}}(X',f,g) = -w_{\text{cs}}(X',f,g) $ 를 보이고, 따라서 $ w_{\text{cs}} = 0 $ 임을 보여, 이는 불변량이 모듈로 2에서 영이 됨을 의미한다.

실험 결과

연구 질문

• RQ1 일반적인 엔드-퍼리오딕 메트릭을 갖는 엔드-퍼리오딕 스피너 다양체 위에서 딜라 연산자가 페르마트가 되는 위상수학적 조건은 무엇인가?
• RQ2 비가역 4차원 다양체에 대한 캡엘-셰인슨 불변량은 딜라 연산자를 통해 어떻게 분석적으로 해석될 수 있는가?
• RQ3 캡엘-셰인슨 및 아크불루트를 통해 구성된 비가역 4차원 다양체에서 양의 스칼라 곡률에 대한 어떤 장애가 발생하는가?
• RQ4 $ KO_n(S^1) $ 에서의 α-불변량의 영성은 스위치된 딜라 연산자 $ D^c $ 의 가역성으로 특징지어질 수 있는가?
• RQ5 비가역 4차원 다양체 위에 양의 스칼라 곡률 메트릭이 존재하면, 그 캡엘-셰인슨 불변량이 모듈로 2에서 영이 되는가?

주요 결과

• 엔드-퍼리오딕 스피너 다양체 $ M $ 위의 딜라 연산자 $ D(M,g) $ 는 일반적인 엔드-퍼리오딕 메트릭 $ g $ 에 대해 $ \alpha $-불변량 $ \alpha(X) \in KO_n(S^1) $ 가 영일 때에만 페르마트가 된다.
• 매핑 토러스 $ X $ 에서 스위치된 딜라 연산자 $ D^c $ 의 핵이 모든 $ c \in \mathbb{R} $ 에 대해 영이 되는 것과 $ \alpha(X) = 0 $ 이 되는 것은 동치이다.
• 비가역 4차원 다양체에 대한 캡엘-셰인슨 불변량 $ \beta(X',f) \in \mathbb{Z}/2\mathbb{Z} $ 는 $ X' $ 이 양의 스칼라 곡률 메트릭을 갖는다면 모듈로 2에서 영이 된다.
• 다양체 $ X'_{11} = Z' \# K3 $ 는 $ Z' = S^1 \tilde{\times} S^3 $ 이며, $ \beta(X'_{11},f) = 1 \pmod{2} $ 이므로 양의 스칼라 곡률 메트릭을 갖지 못한다.
• 다양체 $ X'_{11} $ 의 이중 피복은 $ (S^1 \times S^3) \#_{22} (S^2 \times S^2) $ 와 미분형태가 같으며, 이는 양의 스칼라 곡률 메트릭을 갖는다. 이는 이중 피복은 그러한 메트릭을 갖지만 원래 다양체는 그렇지 않음을 보여주는 예시이다.
• 불변량 $ w_{\text{cs}}(X',f,g) $ 는 지수의 대칭성에 의해 0임을 보였고, 이는 $ \beta(X',f) = 0 \pmod{2} $ 를 의미하므로, 양의 스칼라 곡률에 대한 위상수학적 장애를 제공한다.