[논문 리뷰] A remark on the space of metrics having non-trivial harmonic spinors

Nils Waterstraat|arXiv (Cornell University)|2012. 06. 03.

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

한 줄 요약

이 논문은 차원 $n \equiv 3 \mod 4$인 닫힌 스피너 다양체 $M$에 대해, 역행성 있는 디라크 연산자를 갖는 리만 계량의 공간이 공집이거나 무한히 많은 경로 성분을 갖는다는 간결한 증명을 제공한다. 스펙트럼 유동과 기본적인 호모토피 이론을 사용하여, 바르(Bär)의 이전 결과를 재현하고 단순화하며, 역행성의 지수론적 차단 조건이 계량 공간 내 비자명한 위상적 구조를 이끌어낸다는 것을 보여준다.

ABSTRACT

Let M be a closed spin manifold of dimension congruent to 3 modulo 4. We give a simple proof of the fact that the space of metrics on M with invertible Dirac operator is either empty or it has infinitely many path components.

연구 동기 및 목표

• 닫힌 스피너 다양체에서 차원 $n \equiv 3 \mod 4$인 경우, 역행성 디라크 연산자를 갖는 계량 공간의 무한한 경로 성분 구조에 대한 간단하고 자가 포함된 증명을 제공하는 것.
• 스펙트럼 유동과 호모토피 이론적 추론을 사용하여 바르(1996)와 달(2008)의 이전 결과를 재도출하고 단순화하는 것.
• 역행성 디라크 연산자를 갖는 계량의 집합 $R^{\textup{inv}}(M)$가 공집이거나 무한히 많은 경로 성분을 갖는다는 것을 기본적인 위상적 도구를 사용하여 확립하는 것.
• 이러한 결과를 날개 디라크 연산자로 확장하고, 해당 역행성 계량 공간이 무한히 많은 성분을 갖는다는 추측을 제기하는 것.

제안 방법

• 증명은 계량을 변화시킬 때 디라크 연산자의 고유값이 0을 가로지르는 수의 변화를 스펙트럼 유동을 통해 추적한다.
• 경로 $\gamma$를 따라 주어진 간격 내에서 고유값이 0을 가로지르는 순수한 수를 세는 호모토피 이론적 불변량 $\Gamma(\gamma)$를 적용한다.
• 고정된 계량 $g_0 \in R^{\textup{inv}}(M)$에서 시작하는 경로의 수열 $\gamma_k$를 구성함으로써, $\Gamma(\gamma_k)$가 모두 서로 다름을 보장함으로써, 종점들이 서로 다른 경로 성분에 속함을 보인다.
• 이 구성은 디라크 연산자의 등각 불변성과 $S^n$ 위에 존재하는 고유값이 $[-2,2]$ 범위에서 선형적으로 변화하는 계량의 가중치를 기반으로 한다.
• 메트릭 변형 하에서 디라크 연산자의 스펙트럼 행동을 통해 아티야-식스 인덱스 정리를 암묵적으로 사용한다.
• 두 계량이 같은 경로 성분에 속해 있다고 가정하면, $\Gamma(\gamma_i) = \Gamma(\gamma_j)$가 되어야 하는데, 이는 구성과 모순된다.

실험 결과

연구 질문

• RQ1 차원 $n \equiv 3 \mod 4$인 닫힌 스피너 다양체에서 역행성 디라크 연산자를 갖는 리만 계량 공간은 무한히 많은 경로 성분을 갖는가?
• RQ2 고전적 수술 이론 대신 스펙트럼 유동과 기본적인 호모토피 이론을 사용하여 $R^{\textup{inv}}(M)$의 무한한 경로 성분 구조를 확립할 수 있는가?
• RQ3 고정된 접속을 갖는 벡터 번들의 휘어진 디라크 연산자에 대해, $R^{\textup{inv}}(M)$의 위상적 복잡성은 유지되는가?
• RQ4 스펙트럼 유동 불변량 $\Gamma(\gamma)$는 역행성 디라크 연산자를 갖는 계량 공간의 경로 성분을 구별하는 데 사용될 수 있는가?

주요 결과

• 차원 $n \equiv 3 \mod 4$인 닫힌 스피너 다양체 $M$에서 역행성 디라크 연산자를 갖는 리만 계량의 공간 $R^{\textup{inv}}(M)$는 공집이거나 무한히 많은 경로 성분을 갖는다.
• 증명은 스펙트럼 유동을 사용하여 정수 값을 갖는 호모토피 불변량 $\Gamma(\gamma)$를 정의하며, 이는 경로의 연결에 대해 덧셈성을 갖는다.
• 서로 다른 $\Gamma(\gamma_k)$ 값을 갖는 경로의 수열 $\gamma_k$를 구성함으로써, 종점 $\gamma_k(1)$가 서로 다른 경로 성분에 속해 있음을 보였다.
• 이 구성은 $S^n$ 위에 존재하는 연속적인 계량 가중치를 기반으로 하며, 이 가중치들에서 디라크 연산자의 고유값이 $[-2,2]$ 범위에서 $-1$에서 $1$으로 선형적으로 변화하는 단일 고유값을 갖는다.
• 어떤 두 계량이 서로 다른 $\Gamma$-값을 갖는다면, $R^{\textup{inv}}(M)$ 내에서 경로로 연결될 수 없으며, 이는 무한한 성분 구조를 증명한다.
• 바르의 1997년 결과를 통해 이 결과는 날개 디라크 연산자로 확장되며, $R^{\textup{inv}}_{(F,\nabla)}(M)$가 공집이거나 무한히 많은 성분을 갖는다는 추측에 이르게 한다.