[논문 리뷰] On the singular sets of solutions to the Kapustin-Witten equations and the Vafa-Witten ones on compact Kähler surfaces

Yuuji Tanaka|arXiv (Cornell University)|2015. 10. 27.

Geometry and complex manifolds참고 문헌 14인용 수 10

한 줄 요약

이 논문은 컴acts Kähler 표면에서 Kapustin-Witten 및 Vafa-Witten 방정식의 해들에서의 특이 집합의 구조를 조사한다. 수렴하지 않는 허그 필드를 갖는 해들의 수열의 점근적 행동을 분석함으로써, 저자들은 이러한 특이 집합—해들이 집중되거나 발산하는 곳—이 해석적 부분다양체를 이룬다는 것을 보여준다. 핵심 결과는 Kapustin-Witten 및 Vafa-Witten 특이 집합이 모두 극한 헬로모르픽 섹션의 영점으로 정확히 일치함을 보여주며, 이는 컴acts Kähler 표면에서 자연스러운 복소해석기하학적 구조를 지닌다는 것을 확인한다.

ABSTRACT

This article finds a structure of singular sets on compact Kahler surfaces, which Taubes introduced in the studies of the asymptotic analysis of solutions to the Kapustin-Witten equations and the Vafa-Witten ones originally on smooth four-manifolds. These equations can be seen as real four-dimensional analogues of the Hitchin equations on Riemann surfaces, and one of common obstacles to be overcome is a certain unboundedness of solutions to these equations, especially of the "Higgs fields". The singular sets by Taubes describe part of the limiting behaviour of a sequence of solutions with this unboundedness property, and Taubes proved that the real two-dimensional Haussdorff measures of these singular sets are finite. In this article, we look into the singular sets, when the underlying manifold is a compact Kahler surface, and find out that they have the structure of an analytic subvariety in this case.

연구 동기 및 목표

• 컴acts Kähler 표면에서 Kapustin-Witten 및 Vafa-Witten 방정식의 해들에서 발생하는 특이 집합의 기하학적 구조를 이해하는 것.
• 일반 4차원 다양체에서 개발된 Taubes의 특이 집합 분석 기법을, 추가적인 복소기하학적 구조가 존재하는 컴acts Kähler 표면의 특수한 경우로 확장하는 것.
• 이러한 방정식들에서 특이 집합이 Kähler 조건 하에서 복소해석기하학적 구조를 갖는지 여부를 규명하는 것.
• 특이 집합이 극한 헬로모르픽 섹션의 영점과 정확히 일치함을 입증함으로써, 이들이 해석적 부분다양체임을 확인하는 것.

제안 방법

• 허그 필드의 L² 노름이 유계가 아닌 해들의 수열을 분석한다.
• Taubes의 Uhlenbeck 스타일의 컴팩턴스 및 국소적 스케일링 기법을 적용하여 특이 집합 외부에서 극한 대상을 추출한다.
• 2×2 추적-free 행렬에 대해 |Φ|⁴ ≤ 4|det Φ|² + |[Φ, Φ*]|² 라는 부등식을 사용하여, 허그 필드의 노름을 그 행렬식과 교환자에 따라 통제한다.
• 특이 집합을 재스케일링된 허그 필드의 점별 극한이 되는 영점으로 식별하며, 이들이 헬로모르픽 섹션으로 수렴한다는 것을 보인다.
• 컴acts Kähler 표면에서의 복소해석기하 기법을 적용하여 특이 집합이 해석적 부분다양체임을 증명한다.
• Kähler 구조를 활용하여 방정식들을 복소형식으로 표현함으로써, 분석 과정에서 헬로모르픽 기하학을 활용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 컴acts Kähler 표면에서 Kapustin-Witten 방정식의 해들에서 특이 집합은 복소해석기하학적 구조를 갖는가?
• RQ2 Vafa-Witten 방정식의 특이 집합은 극한 헬로모르픽 섹션의 영점으로 식별될 수 있는가?
• RQ3 Kähler 조건은 일반 4차원 다양체에 비해 특이 집합의 구조를 어떻게 개선하는가?
• RQ4 Vafa-Witten의 경우에서 특이 집합과 재스케일링된 허그 필드의 행렬식 사이의 정확한 관계는 무엇인가?

주요 결과

• 컴acts Kähler 표면에서 Kapustin-Witten 방정식의 해들에서 특이 집합은 해석적 부분다양체이며, 두 헬로모르픽 섹션의 영점의 교차로 정확히 표현된다.
• Vafa-Witten 방정식의 경우, 특이 집합 Z′은 KX⊗²의 극한 헬로모르픽 섹션 detφ⋄의 영점과 정확히 일치하므로, 이는 해석적 부분다양체이다.
• Vafa-Witten의 경우 특이 집합은 재스케일링된 허그 필드의 행렬식의 영점으로 발생하며, 이는 부드럽게 헬로모르픽 섹션으로 수렴한다.
• 특이 집합의 하우스도르프 측도는 유한하며, 이는 Taubes의 일반적 결과와 일치하지만, 추가로 해석적 부분다양체라는 구조적 성질을 지닌다.
• 재스케일링된 허그 필드가 헬로모르픽 섹션으로 수렴함에 따라 특이 집합은 임의적이 아니라 표면의 복소기하학과 본질적으로 연결되어 있음을 보장한다.
• 랭크 2의 경우 특이 집합 D는 detφ⋄의 영점으로 정의되며, 이 D는 특이 집합 Z′과 일치함을 보여, D가 해석적 부분다양체임을 증명한다.