[논문 리뷰] PU(2) monopoles. III: Existence of gluing and obstruction maps

Paul M. N. Feehan, Thomas G. Leness|ArXiv.org|1999. 07. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 28인용 수 11

한 줄 요약

이 논문은 PU(2) 모노폴의 접합 및 차단 맵의 존재를 확립하며, 이는 Seiberg-Witten U(1) 모노폴 모듈리 공간과 반자기적 SO(3) 접속 사이의 비콤팩트 코버디즘을 구성하는 데 핵심적인 단계이다. 결과적으로 이는 Uhlenbeck 콤���트화에서의 특이점에 대한 위상적 모델링을 가능하게 하며, PU(2) 모노폴 코버디즘 프레임워크를 통해 도널드슨 불린의 계산을 가능하게 하고 위튼의 추측을 증명하는 데 기여한다.

ABSTRACT

This is the third installment in our series of articles (dg-ga/9712005, dg-ga/9710032) on the application of the PU(2) monopole equations to prove Witten's conjecture (hep-th/9411102) concerning the relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. The moduli space of solutions to the PU(2) monopole equations provides a noncompact cobordism between links of compact moduli spaces of U(1) monopoles of Seiberg-Witten type and the moduli space of anti-self-dual SO(3) connections, which appear as singularities in this larger moduli space. In this paper we prove the first part of a general gluing theorem for PU(2) monopoles, with the proof of the second half to appear in a companion article. The ultimate purpose of the gluing theorem is to provide topological models for neighborhoods of ideal Seiberg-Witten moduli spaces appearing in lower levels of the Uhlenbeck compactification of the moduli space of PU(2) monopoles and thus permit calculations of their contributions to Donaldson invariants using the PU(2)-monopole cobordism.

연구 동기 및 목표

• Seiberg-Witten U(1) 모노폴 모듈리 공간과 반자기적 SO(3) 접속 사이의 비콤팩트 코버디즘을 구성하기 위한 기본 도구인 접합 및 차단 맵을 확립하기 위해.
• Uhlenbeck 콤팩트화에서 이상한 Seiberg-Witten 모듈리 공간의 이웃을 모델링하기 위해 필수적인 PU(2) 모노폴의 접합 과정에서 발생하는 기술적 과제를 해결하기 위해.
• PU(2) 모노폴 코버디즘을 통해 부드러운 4차원 다양체의 도널드슨 및 Seiberg-Witten 불린 간의 관계를 증명하는 광범위한 프로그램을 지원하기 위해.
• PU(2) 모노폴에 대한 일반 접합 정리의 첫 번째 반을 확립하며, 두 번째 반은 동반 논문에서 완성될 예정이다.

제안 방법

• 반자기적 SO(3) 접속에서 기인하는 특이점 근처에서 PU(2) 모노폴의 모듈리 공간에 대한 국소 모델을 만들기 위해 섭동적 접근을 사용한다.
• 타원형 이론과 프레드홀름 이론을 적용하여 선형화된 PU(2) 모노폴 연산자와 그 코어널을 분석함으로써, 차단 맵의 구축을 가능하게 한다.
• 비콤팩트성과 특이적 행동을 다루기 위해 파라메트릭스 구성과 가중치가 부여된 소볼레프 공간 기법을 활용한다.
• 특이점 근처에서 PU(2) 모노폴 해의 점근적 전개를 유도하여 접합 매개변수를 제어하고 전방성 조건을 검증한다.
• 모듈리 공간의 가상 차원을 장애 이론과 연결하기 위해 상대적 인덱스 정리를 도입한다.
• 가중치가 부여된 소볼레프 공간에서의 바나흐 다양체 이론과 은직함수 정리를 활용하여, 외부 편향 조건 하에서 해의 존재성을 증명한다.

실험 결과

연구 질문

• RQ1 반자기적 SO(3) 접속의 특이점에 해당하는 모듈리 공간 내에서 PU(2) 모노폴에 대해 잘 정의된 접합 맵을 어떻게 구성할 수 있는가?
• RQ2 PU(2) 모노폴의 장애 공간의 구조는 어떠한가? 그리고 이는 특이점 근처에서 모듈리 공간의 국소 기하학을 어떻게 제어하는가?
• RQ3 가중치가 부여된 소볼레프 공간과 파라메트릭스 방법을 사용한 분석 기법을 통해 접합 맵의 존재성을 엄밀하게 확립할 수 있는가?
• RQ4 장애 및 접합 맵이 Uhlenbeck 콤팩트화에서 이상한 Seiberg-Witten 모듈리 공간의 이웃을 어떻게 모델링하는가?
• RQ5 상대적 인덱스 정리는 Uhlenbeck 콤팩트화의 다양한 수준에서 접합 구성의 일관성을 확보하는 데 어떤 역할을 하는가?

주요 결과

• 반자기적 SO(3) 접속에 해당하는 특이점 근처에서 PU(2) 모노폴에 대해 잘 정의된 접합 맵의 존재가 입증되었다.
• 장애 맵은 적절한 소볼레프 공간 간의 유계 선형 연산자로 구성되었으며, 이는 모듈리 공간에 대한 유한codimension 장애 이론을 제공한다.
• 접합 구성은 Uhlenbeck 콤팩트화와 호환됨이 입증되어, 낮은 수준에서 이상한 Seiberg-Witten 모듈리 공간의 위상적 모델링이 가능해졌다.
• 장애 공간은 선형화된 PU(2) 모노폴 연산자의 형식적 수반의 핵으로 확인되었으며, 이는 국소 모듈리 공간 기하학의 제어 역할을 함을 확인한다.
• 결과적으로 도널드슨 불린의 기여도를 PU(2) 모노폴 코버디즘을 통해 특이층에 대해 계산하기 위한 분석적 기초가 마련되었다.
• 논문은 일반 접합 정리의 첫 번째 반을 확립하였으며, 두 번째 반은 동반 논문에서 완성될 예정이다.