[논문 리뷰] PU(2) Monopoles, I: Regularity, Uhlenbeck Compactness, and Transversality

Paul M. N. Feehan, Thomas G. Leness|arXiv (Cornell University)|1997. 10. 29.

Geometric and Algebraic Topology인용 수 24

한 줄 요약

이 논문은 4차원 다양체 위의 PU(2) 모노폴의 모듈리 공간에 대한 기초 분석 결과를 수립하며, PU(2) 모노폴 방정식에 대해 정칙성, Uhlenbeck 컴팩트화, 그리고 전방위성을 증명한다. 힐로노지 편향과 스오볼레프 추정을 사용하여 하위 수준의 세이버그-와이튼 모듈리 공간의 링크를 구성할 수 있는 분석적 프레임워크를 제공함으로써, 향후 코homology 클래스와의 쌍형을 계산하고, 위튼 추측의 증명 가능성을 열어둔다.

ABSTRACT

We prove the existence of perturbations for the PU(2) monopole equations, yielding transversality on the complement of the anti-self-dual or reducible solutions, and the existence of an Uhlenbeck compactification for the moduli space of solutions to these perturbed PU(2) monopole equations. In December 1994, V. Pidstrigach and A. Tyurin and then others proposed a method to prove Witten's conjecture concerning the relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. Their proposal uses a moduli space of solutions to the PU(2) monopole equations, which are a natural generalization of the U(1) monopole equations of Seiberg and Witten and the equation for anti-self-dual SO(3) connections, to construct a cobordism between links of compact moduli spaces of U(1) monopoles of Seiberg-Witten type and the moduli space of anti-self-dual connections, which appear as singularities in this larger moduli space. A basic requirement of this cobordism technique is the existence of an Uhlenbeck compactification for the moduli space of PU(2) monopoles and of generic-parameter transversality results for all the moduli spaces of PU(2) monopoles which appear in this compactification, on the complement of the anti-self-dual and U(1) solutions.

연구 동기 및 목표

• 코바디즘 구조를 통해 세이버그-와이튼 및 도널드슨 불변량을 연결하고자 하는 PU(2) 모노폴 프로그램에서 발생하는 분석적 과제를 다루기.
• Uhlenbeck 컴팩트화 과정에서 발생하는 하위 수준의 환원 가능한 구성에 기인한 기술적 난관을 극복하기.
• PU(2) 모노폴 방정식에 대해 정칙성, Uhlenbeck 컴팩트화, 전방위성을 확립하여 향후 접합 이론 및 코homology 쌍형 계산을 가능하게 하기.
• 스오볼레프 공간, 힐로노지 편향, 유계 미분을 사용한 PU(2) 모노폴 모듈리 공간에 대한 엄밀한 분석적 프레임워크 제공.
• 하위 수준의 세이버그-와이튼 모듈리 공간의 링크와 코homology 클래스의 쌍형을 계산하기 위한 기초를 마련하기.

제안 방법

• 4차원 다양체 X 위의 헤르미트 두 평면 벡터 볼록 E에 대한 PU(2) 모노폴을 다루며, 고정된 결정선다발과 유니타리 접속을 갖는다.
• L^2_k 접속 A를 SU(E) 볼록 위에서 정의하고, W^+ ⊗ E의 단면 위에 작용하는 관련 딜라 연산자 D_A를 사용하여 PU(2) 모노폴의 모듈리 공간을 정의한다.
• 절단 함수, 힐로노지 사상, 열핵 연산자를 이용해 구성된 맵 m_{j,l,α}를 통해 힐로노지 편향을 적용하여 전방위성을 확보한다.
• 스오볼레프 포함 및 곱셈 정리들을 사용하여 편향 맵의 C^s 노름을 제어하고, 유계 미분을 갖는 C^∞ 스무스성 확보.
• 모든 미분 순서에 대해 균일한 제어를 확보하기 위해 가중치가 부여된 ℓ^1_δ 편향 공간을 구성한다.
• 선형화된 연산자가 전사임을 보여 편향된 모듈리 공간이 정칙성과 전방위성을 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 PU(2) 모노폴 모듈리 공간에 대해 정칙성과 Uhlenbeck 컴팩트화는 어떻게 확립할 수 있는가?
• RQ2 힐로노지 편향 하에서 PU(2) 모노폴 방정식의 전방위성은 어떤 조건을 만족해야 하는가?
• RQ3 모든 차수의 미분이 유계인 C^∞ 맵으로서의 편향 맵은 어떻게 구성할 수 있는가?
• RQ4 가중치가 부여된 ℓ^1_δ 공간은 어떻게 하여 편향된 모듈리 공간의 수렴성과 스무스성을 보장하는가?
• RQ5 이곳에서 개발된 분석 도구는 하위 수준의 세이버그-와이튼 모듈리 공간의 링크를 구성하는 데 어떻게 기여하는가?

주요 결과

• PU(2) 모노폴 모듈리 공간은 잘 정의된 Uhlenbeck 컴팩트화를 갖으며, 극한점들은 하위 수준의 환원 가능한 구성과 대응된다.
• 힐로노지 편향이 모든 차수의 유계 미분을 갖는 C^∞ 맵임이 입증되어, 편향된 방정식이 전방위성을 만족함을 보장한다.
• 편향 맵 m_{j,l,α}는 모든 s에 대해 C^s 노름에서 균일 유계이며, 스오볼레프 곱셈 및 열핵 추정을 통해 제어된다.
• 가중치가 부여된 ℓ^1_δ 편향 공간은 접속 공간 위에서 총 편향 벡터장이 C^s 스무스임을 보장한다.
• 편향된 설정 하에서 PU(2) 모노폴 방정식의 선형화된 연산자가 전사임이 증명되어 전방위성이 확인된다.
• 이러한 구성은 향후 접합 이론과 코homological 쌍형에 대한 엄밀한 기초를 제공하며, 위튼 추측의 검증에 필수적이다.