[논문 리뷰] On the singular sets of solutions to the Kapustin-Witten equations on compact K\"ahler surfaces

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

Geometric and Algebraic Topology인용 수 6

한 줄 요약

이 논문은 컴act Kähler 표면에서 Kapustin-Witten 방정식의 해의 특이점 집합이, 복소수 벡터 번들의 복소수 단면의 영점으로서 나타나는 헬로모르픽 부분다양체임을 증명한다. Kähler 표면에서 Kapustin-Witten 방정식을 Simpson의 고차원 Hitchin 방정식과 동일시함으로써, 저자들은 Taubes의 Uhlenbeck 스타일의 컴팩트성 프레임워크를 통해 특이점 집합이 복소수 기하학적 성질을 갖는다는 것을 입증한다.

ABSTRACT

Taubes' analysis on the Uhlenbeck style compactness theorem for SL(2,C)-connections on four-manifolds arXiv:1307.6447v4 (see also arXiv:1205.0514v4, arXiv:1407.6206) introduces some real codimension two singular set, outside which a sequence of partially rescaled SL(2,C)-connections has a convergent subsequence after gauge transformations except bubbling out at a finite set of points. Solutions to the Kapustin-Witten equations on a closed four-manifold are one of the cases in the framework of the above Taubes' work. On the other hand, there are equations on compact K\ahler manifold introduced by Simpson as a higher-dimensional analogue of the Hitchin equations on curves. In this article, we observe that Kapustin-Witten equations on a compact K\ahler surface are the same as Simpson's equations, and prove that the singular set introduced by Taubes for the case of Simpson's equations has a structure of a holomorphic subvariety. In fact, the singular set is obtained as the zero set of a section of a holomorphic bundle on the K\ahler surface in this case.

연구 동기 및 목표

• 컴act Kähler 표면에서 Kapustin-Witten 방정식의 해의 특이점 집합의 기하학적 구조를 조사하는 것.
• Kapustin-Witten 방정식과 Kähler 다양체에서 Simpson의 고차원 Hitchin 방정식 간의 관계를 설정하는 것.
• Taubes의 Uhlenbeck 스타일 컴팩트성에서 유도된 특이점 집합이 헬로모르픽 부분다양체임을 증명하는 것.
• 특이점 집합이 표면 위의 복소수 벡터 번들의 전역 복소수 단면의 영점임을 보여주는 것.

제안 방법

• 기하학적 및 해석적 대응을 통해 컴act Kähler 표면에서 Kapustin-Witten 방정식을 Simpson의 방정식과 동일시하는 것.
• SL(2,C)-접속에 대해 Taubes의 Uhlenbeck 스타일 컴팩트성 정리를 Kapustin-Witten 설정에 적용하는 것.
• 컴팩트성 과정에서 부분적 스케일링과 버블링으로 인해 발생하는 특이점 집합을 분석하는 것.
• 기저 Kähler 표면의 복소수 기하학적 성질을 이용하여 특이점 집합이 헬로모르픽 부분다양체임을 보이는 것.
• 특이점 집합이 표면 위의 복소수 벡터 번들의 전역 복소수 단면의 영점임을 보여주는 복소수 벡터 번들을 구성하는 것.
• 특이점 집합이 실수 계수 2차원임을 이용하고, 복소기하학을 적용하여 복소수 기하학적 성질을 유도하는 것.

실험 결과

연구 질문

• RQ1 컴act Kähler 표면에서 Kapustin-Witten 방정식의 해의 특이점 집합은 헬로모르픽 부분다양체인가?
• RQ2 Kähler 표면에서 Kapustin-Witten 방정식은 Simpson의 고차원 Hitchin 방정식과 어떻게 관련이 있는가?
• RQ3 Taubes의 컴팩트성 정리에서 유도된 특이점 집합은 복소수 단면의 영점으로 기술될 수 있는가?
• RQ4 특이점 집합은 환경 Kähler 다양체로부터 어떤 기하학적 구조를 물려받는가?
• RQ5 Uhlenbeck 컴팩트성 프레임워크에서 실수 계수 2차원인 특이점 집합은 이 특정 케이스에서 복소수 기하학적 성질을 갖는가?

주요 결과

• 컴act Kähler 표면에서 Kapustin-Witten 방정식의 해의 특이점 집합은 헬로모르픽 부분다양체이다.
• 컴act Kähler 표면에서 Kapustin-Witten 방정식은 고차원 Hitchin 프레임워크에서 Simpson의 방정식과 정확히 일치한다.
• 특이점 집합은 Kähler 표면 위의 복소수 벡터 번들의 전역 복소수 단면의 영점으로서 나타난다.
• 특이점 집합의 복소수 기하학적 성질은 Kähler 기하학과 Taubes의 방법을 통한 컴팩트성 분석의 직접적 결과이다.
• 특이점 집합은 실수 계수 2차원이며, 환경 다각체로부터 복소해석적 기하학적 성질을 물려받는다.
• 결과적으로 특이점 집합이 임의적이 아니라 표면의 복소수 기하학과 내재적으로 연결되어 있음을 확인한다.