[논문 리뷰] Index theorem for Z/2-harmonic spinors

Ryosuke Takahashi|arXiv (Cornell University)|2017. 05. 04.

Geometric and Algebraic Topology참고 문헌 9인용 수 3

한 줄 요약

이 논문은 Kuranishi 유형의 구조와 지수 이론을 사용하여, 컴act한 3차원 다양체 위의 ℤ/2-호모로픽 스피너(moduli space)의 가상 차원이 일반적인 리만 계량에 대해 0임을 증명한다. 또한 지수 정리에 기반하여 4차원 다각형에서의 가상 차원을 계산하여 gauge 이론과 기하학적 분석에서 알려진 결과와의 일致를 확인한다.

ABSTRACT

In my previous paper, I prove the existence of the Kuranishi structure for the moduli space $\mathfrak{M}$ of zero loci of $\mathbb{Z}/2$-harmonic spinors on a 3-manifold. So a nature question we can ask is to compute the virtual dimension for this moduli space $\mathfrak{M}_{g_0}:=\mathfrak{M}\cap\{g=g_0\}$. In this paper, I will first prove that $v-dim(\mathfrak{M}_{g_0})=0$. Secondly, I will generalize this formula on 4-manifolds by using a special type of index developed by Jochen Bruning, Robert Seeley, and Fangyun Yang.

연구 동기 및 목표

• 컴 pact한 3차원 다각형 위의 ℤ/2-호모로픽 스피너의 모듈리 공간의 가상 차원을 확립하는 것.
• 지수 이론을 사용하여 4차원 다각형으로 분석을 확장하고, ℤ/2-호모로픽 스피너의 가상 차원을 계산하는 것.
• 3차원 및 4차원 다각형에서 게이지 이론 방정식의 수렴하지 않는 해의 수열을 이해하기 위한 기초 도구를 제공하는 것.
• 다중 스피너 Seiberg-Witten 방정식과 G₂-인스턴턴, 존스 다항식 계산 간의 관계를 연결하는 추측들을 지지하는 것.
• 지정된 특이 집합을 가진 ℤ/2-호모로픽 스피너를 통해 해의 특이한 극한의 행동을 체계화하는 것.

제안 방법

• Banach 공간 프레임워크와 Fréchet 미분 가능 함수를 사용하여 3차원 다각형 위의 ℤ/2-호모로픽 스피너의 모듈리 공간 ℳ에 대한 Kuranishi 유형의 구조를 구성하는 것.
• Banach 다양체의 맥락에서 은둔 함수 정리(implicit function theorem)를 적용하여, 일반적인 계량에 대해 모듈리 공간이 국소적으로 0차원 대상과 모델링됨을 보이는 것.
• Bruning–Seeley 및 Yang의 지수 정리를 사용하여 4차원 다각형에서의 가상 차원을 계산하며, 특히 2-토러스의 여집합에서 자기 dual 호모로픽 스피너의 경우를 다룸.
• 특이 집합 Σ에서 Dirac 연산자의 코어와 코어널을 점근 전개와 투영 연산자를 사용하여 분석하는 것.
• L² 스피너를 Dirac 연산자의 범위와 핵으로 분해하고, S¹ 위의 실수 내적을 통해 쌍대성(duality)을 정의하여 코어널 원소를 정의하는 것.
• 선형화된 연산자의 코어널과 경계 연산자의 코어널 사이에 일대일 대응을 수립하여 지수 계산이 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 일반적인 리만 계량에 대해 컴 pact한 3차원 다각형 위의 ℤ/2-호모로픽 스피너의 모듈리 공간의 가상 차원은 무엇인가?
• RQ2 특이 집합이 정규 번들(trivial normal bundle)을 가진 2-토러스인 가정 하에, 4차원 다각형에서 ℤ/2-호모로픽 스피너의 가상 차원은 어떻게 행동하는가?
• RQ3 Bruning–Seeley 및 Yang의 지수 이론은 고차원에서 ℤ/2-호모로픽 스피너의 가상 차원을 계산하는 데 적용될 수 있는가?
• RQ4 선형화된 연산자의 코어널과 특이 집합 Σ에서의 경계 자료 사이의 관계는 무엇인가?
• RQ5 특이 집합 근처에서 ℤ/2-호모로픽 스피너의 점근적 행동은 전반적인 지수 계산에 어떻게 영향을 미치는가?

주요 결과

• 고정된 계량 g₀에 대해 3차원 다각형 위의 모듈리 공간 ℳ_g₀의 가상 차원은 Kuranishi 모델에서 dim(ℐ₀) = dim(ℐ₁) 이므로 0이다.
• L² 노름이 1인 ℤ/2-호모로픽 스피너의 모듈리 공간은 형식적 차원이 -1이며, Haydys와 Walpuski의 다중 스피너 Seiberg-Witten 방정식에 대한 추측을 지지한다.
• 4차원 다각형에서 ℤ/2-호모로픽 스피너의 가상 차원은 ∫M Â(M) + dim(ker(D⁻|L²₁))로 계산되며, 이는 지수 정리와 일致함을 확인한다.
• 선형화된 연산자의 코어널은 경계 연산자의 코어널과 L²₁ 위에서의 Dirac 연산자 핵의 직합과 동형이다.
• 조합 연산자 ℒ_d±∘B의 지수는 ∫M Â(M) + dim(ker(D⁻|L²₁)) 와 같음을 보여주며, 이는 가상 차원에 대한 정확한 공식을 제공한다.
• 증명은 선형화된 연산자의 코어널 원소와 coker(𝒯_d±∘B) 내의 경계 자료 사이에 일대일 대응을 수립하여 지수 사상의 잘 정의성과 전성(서지에이티브)을 보장한다.