[논문 리뷰] Virtual cycles of gauged Witten equation

Gang Tian, Guangbo Xu|arXiv (Cornell University)|2016. 02. 24.

Black Holes and Theoretical Physics참고 문헌 30인용 수 3

한 줄 요약

이 논문은 고정된 매끄러운 $r$-스핀 곡선 위에서 편미분된 게이지화된 윌튼 방정식의 모듈리 공간에 가상 순환을 구축하며, 올림된 가상 오비폴드 아틀라스를 확립하고 유리수 가상 카디널리티를 정의한다. 이 구성은 동반 논문에서 제시된 벽을 넘는 공식과 함께 완료되어, 게이지화된 선형 $\sigma$-모델의 상관 함수에 대한 엄밀한 수학적 기초를 제공하며, 그들이 변형에 대해 불변임을 증명하고 [TX15, TX16]에서 시작된 프로그램을 완성한다.

ABSTRACT

We construct virtual cycles on moduli spaces of perturbed gauged Witten equation over a fixed smooth r -spin curve, under the framework of [TX15]. Together with the wall-crossing formula proved in the companion paper [TX19], it completes the construction of the correlation function for the gauged linear sigma model announced in [TX16] as well as the proof of its invariance.

연구 동기 및 목표

• 고정된 매끄러운 $r$-스핀 곡선 위에서 편미분된 게이지화된 윌튼 방정식의 모듈리 공간에 가상 순환을 구축하는 것.
• 강한 정규 편미분에 대한 조건 하에서 모듈리 공간에 대해 올림된 가상 오비폴드 아틀라스의 존재를 확립하는 것.
• 게이지화된 선형 $\sigma$-모델에서 상관 함수의 구축을 가능하게 하기 위해 모듈리 공간에 대해 유리수 가상 카디널리티를 정의하는 것.
• 모듈리 공간의 상관 함수가 변형에 대해 불변임을 증명하여 게이지화된 선형 $\sigma$-모델의 수학적 프레임워크를 완성하는 것.
• 가상 순환 기법을 통해 랑두-긴즈부르크/카라비-야우 대응과 기하학적 미러 대칭에 대한 엄밀한 기초를 제공하는 것.

제안 방법

• 리만 곡면 위의 $G$-_bundle에 대한 $G^\mathbb{C}$-작용과 모멘트 맵을 갖는 윌튼 방정식과 심플렉틱 버블 방정식을 조합한 게이지화된 윌튼 방정식 시스템을 활용한다.
• 초기가치가 서로 다른 허수부를 갖도록 보장하기 위해 초위력 $W$에 강한 정규 편미분 $\underline{P}$를 적용한다.
• 가상 차원이 0인 양호한 좌표계를 활용하고, 가상 순환을 정의하기 위해 다중값 편미분을 구성한다.
• 편미분 영점 집합의 순차적 컴actness에 기반한 가상 기법을 구현하여, 가상 카디널리티에 기여하는 항이 유한 개임을 보장한다.
• 가상 차원 1에서의 위상적 전치성과 경계 분석을 통해 가상 카디널리티가 편미분 선택에 대해 불변임을 증명한다.
• 모듈리 공간이 잘 정의된 가상 구조를 갖기 위해 [TX15]의 컴팩트니스 및 프레드홀름 이론 결과에 의존한다.

실험 결과

연구 질문

• RQ1 어떻게 매끄러운 $r$-스핀 곡선 위에서 편미분된 게이지화된 윌튼 방정식의 해 모듈리 공간에 가상 순환을 구축할 수 있는가?
• RQ2 어떤 조건을 만족해야 모듈리 공간이 올림된 가상 오비폴드 아틀라스를 갖는가?
• RQ3 모듈리 공간의 가상 카디널리티는 어떻게 정의되며, 왜 그 값이 유리수인가?
• RQ4 벽을 넘는 공식은 상관 함수의 불변성을 보장하는 데 어떤 역할을 하는가?
• RQ5 가상 카디널리티가 편미분 및 좌표계 선택에 대해 독립적임을 어떻게 보일 수 있는가?

주요 결과

• 매끄러운 $r$-스핀 곡선 $\mathcal{C}$ 위에서 편미분된 게이지화된 윌튼 방정식의 모듈리 공간 $\mathcal{M}_{\underline{P}}(\mathcal{C},B,\underline{\kappa})$는 올림된 가상 오비폴드 아틀라스를 갖는다.
• 가상 카디널리티 $\#{\mathcal{M}}_{\underline{P}}(\mathcal{C},B,\underline{\kappa})$는 주어진 조건 하에서 잘 정의된 유리수이며, 유한하고 선택에 관계없이 불변이다.
• 강한 정규 편미분은 편미분 공간 내 실해석적 초면을 피함으로써 전치성과 가상 순환의 존재를 보장한다.
• 가장자리가 $X \times [0,1]$ 위의 양호한 좌표계에 의해 연결된 서로 다른 선택 간의 호모토피가 존재하므로, 가상 카디널리티는 변형에 대해 불변이다.
• 모든 차트가 다양체인 경우, 단일값 전치 편미분을 통해 가상 카디널리티는 정수로 달성된다.
• 일차원 올림된 양호한 좌표계의 경계는 가상 카디널리티가 0임을 나타내며, 이는 가상 카디널리티가 편미분 선택에 대해 불변임을 암시한다.