[논문 리뷰] Seiberg-Witten theory on 4-manifolds with periodic ends

Diogo Veloso|arXiv (Cornell University)|2018. 07. 31.

Geometric and Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 비정규 4차원 다양체에 대해 새로운 코homotopical Seiberg-Witten 이론을 수립한다. 주요 분석 결과로는, 위상수학적 조건과 곡률 조건 하에서 라플라스 연산자와 디랙 연산자의 프레드홀름 성질, 가중 치수의 소볼레프 공간에 대한 허지 타입 분해, 그리고 Seiberg-Witten 사상의 강력성과 컴팩턴스를 증명한다. 이러한 결과들은 이들 비콤팩트 4차원 다각체에 대해 새로운 Seiberg-Witten 유형의 코homotopy 불변량을 정의하는 데 기여한다.

ABSTRACT

In this thesis we prove analytic results about a cohomotopical Seiberg-Witten theory for a Riemannian, Spin$^c$(4), 4-manifold with periodic ends, $(X, g, τ)$ . Our results show that, under certain technical assumptions on $(X, g, τ)$, this new version is coherent and leads to Seiberg-Witten type invariants for this new class of 4-manifolds. In the first part, using Taubes criteria for end-periodic operators, we show that for a Riemannian 4-manifold with periodic ends, $(X, g)$, verifying certain topological conditions, the Laplacian, $Δ_+ : L^2_2({Λ^2}_+) ightarrow L^2({Λ^2}_+)$, is a Fredholm operator. This allows us to prove a Hodge type decomposition for positively weighted Sobolev 1-forms on $(X,g)$. We also prove, assuming non-negative scalar curvature on each end and certain technical topological conditions, that the associated Dirac operator associated with an end-periodic connection (which is ASD at infinity) is Fredholm. In the second part we establish an isomorphism between the de Rham cohomology group, $H^{1}_{\mathrm{dR}}(X,i\mathbb{R})$ (which is a topological invariant of X) and the harmonic group intervening in the above Hodge type decomposition of the space of positively weighted 1-forms on $(X,g)$. We also prove two short exact sequences relating the gauge group of the Seiberg-Witten moduli problem and the cohomology group $H^{1}(X, 2πi\mathbb{Z})$. In the third part, we prove the main results: the coercivity of the Seiberg-Witten map and the compactness of the moduli space for a 4-manifold with periodic ends, $(X,g,τ)$, verifying the above conditions. Finally, using the coercitivity property, we show that a Seiberg-Witten type cohomotopy invariant associated to $(X, g, τ)$ can be defined

연구 동기 및 목표

• 표준적인 콤팩턴스와 프레드홀름 이론이 실패하는 비콤팩트 4차원 다각체에 대해 Seiberg-Witten 이론을 확장한다.
• 이러한 다각체에서 새로운 Seiberg-Witten 이론의 분석적 기초를 확립한다. 특히, 프레드홀름 성질과 허지 분해를 다룬다.
• 곡률 조건과 위상수학적 조건 하에서 Seiberg-Witten 사상의 강력성과 컴팩턴스를 증명함으로써 불변량의 구축을 가능하게 한다.
• Okonek-Teleman 형식론을 통해 코homotopy 불변량을 정의함으로써, 콤팩트 경우를 주기적 끝을 가진 다각체로 일반화한다.
• 앞으로의 명시적 계산과 새로운 불변량의 구조적 분석을 위한 기초를 마련한다. 이는 근본적으로 다른 기법이 필요하다.

제안 방법

• 주어진 다각체에서 끝이 주기적인 연산자에 대해 Taubes의 프레드홀름 기준을 적용하여, 가중 $L^2_2$-형식에서 양의 라플라스 연산자 $\Delta_+$가 위상수학적 가정 하에 프레드홀름임을 보인다.
• 다양체 $X$에서 양의 가중 소볼레프 1형식에 대해 허지 타입 분해를 증명하며, 조화형식 공간 $\mathbb{H}^1_w$가 de Rham 코homology $H^1_{dR}(X,i\mathbb{R})$와 동형임을 연결한다.
• 비음성 스칼라 곡률과 위상수학적 조건 하에서, 무한대에서 자기 dual이 되는 끝-주기적 접속과 관련된 디랙 연산자가 프레드홀름임을 확립한다.
• Kronheimer-Mrowka의 콤팩트 경우 기법을 활용하여 Seiberg-Witten 사상의 에너지 항등식과 수렴 보조정리를 도출한다.
• 국소 $L^1$ 및 $L^2$ 유형 공간에서의 약한 수렴과 강한 수렴 보조정리를 활용하여, 토러스 $B$ 위에서 Seiberg-Witten 사상 $\mu_{SW}$의 강력성을 증명한다.
• Okonek-Teleman 형식론을 적용하여, 편향된 Seiberg-Witten 사상에 의해 유도된 강력성과 등변성 조건을 만족하는 범주적 사상으로부터 코homotopy 불변량 $\{\mu_{SW_\eta}\}$을 정의한다.

실험 결과

연구 질문

• RQ1 비콤팩트 기하학에 적합한 분석 기법을 사용하여, 주기적 끝을 가진 4차원 다각체에 대해 Seiberg-Witten 이론을 확장할 수 있는가?
• RQ2 다양체 $X$에서 라플라스 연산자 $\Delta_+$가 어떤 조건에서 가중 소볼레프 공간에서 프레드홀름 연산자인가?
• RQ3 주기적 끝을 가진 4차원 다각체에서 $L^2$-소볼레프 1형식에 대해 허지 타입 분해를 어떻게 확립할 수 있는가?
• RQ4 무한대에서 끝-주기적 ASD 접속과 관련된 디랙 연산자의 프레드홀름 성질이 보장되는 조건은 무엇인가?
• RQ5 Seiberg-Witten 사상이 이러한 다각체에서 강력성과 모듈리 공간의 컴팩턴스를 갖는지 증명할 수 있으며, 이는 불변량의 구축을 가능하게 하는가?

주요 결과

• 특정 위상수학적 조건 하에서, 4차원 다각체에서 라플라스 연산자 $\Delta_+ : L^2_2(\Lambda^2_+) \to L^2(\Lambda^2_+)$는 프레드홀름 연산자이다.
• 다양체 $X$에서 양의 가중 소볼레프 1형식에 대해 허지 타입 분해가 성립하며, 조화형식 공간 $\mathbb{H}^1_w$는 de Rham 코homology 군 $H^1_{dR}(X,i\mathbb{R})$와 동형이다.
• 각 끝에서 스칼라 곡률가 음성이 아니며, 일정한 위상수학적 조건을 만족할 경우, 끝-주기적 ASD 접속과 관련된 디랙 연산자는 프레드홀름이다.
• 게이지 군과 코homology 군 $H^1(X,2\pi i\mathbb{Z})$를 연결하는 두 개의 짧은 정확열 시퀀스가 확립된다.
• 각 끝 $e$에 대해 $H_1(W_e,\mathbb{Z})$가 토크션일 경우, 기하학적 및 위상수학적 가정 하에서 토러스 $B$ 위에서 Seiberg-Witten 사상 $\mu_{SW}$는 강력하다.
• 편향된 사상 $\mu_{SW_\eta}$가 강력하고 일반적인 $\eta$에 대해 적합할 경우, Okonek-Teleman 형식론을 통해 코homotopy 불변량 $\{\mu_{SW_\eta}\}$을 정의할 수 있다.