[논문 리뷰] A Smooth Compactification of the Moduli Space of Instantons and Its Application

Bohui Chen|ArXiv.org|2002. 04. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 3

한 줄 요약

이 논문은 우르렌벡 컴actification에서 발생하는 특이점, 특히 '유령 스트라타'에서의 특이점들을 해결하기 위해 새로운 블로우업 및 블로우다운 절차를 사용하여 인스탄톤 모듈리 공간의 매끄러운 컴팩트화를 제안한다. 이들 스트라타를 터널-맥퍼슨 포인트 구성의 컴팩트화와 연관지어, 가상 사이클 기법과 국소화를 적용할 수 있는 매끄러운 오비폴드 모듈리 공간을 구축한다. 주요 결과는 $b^+ = 1$인 4차원 다양체에 대해 코츠키크-모건의 월크로싱 추측을 증명하며, 교차형식과 특성류를 이용한 도널드슨 다항식의 월크로싱에 대한 정확한 공식을 확립한다.

ABSTRACT

A smooth compactification of Donaldson moduli spaces is given. As an application, we use this new space to study the wall-crossing formula and prove the Kotschick-Morgan conjecture.

연구 동기 및 목표

• 우르렌벡 컴팩트화에서 발생하는 특이점, 특히 안정성이 실패하는 '유령 스트라타'에서의 특이점들을 해결하기 위해.
• 알제브라 기하학의 기법, 예를 들어 블로우업과 블로우다운을 활용하여 인스탄톤 모듈리 공간의 매끄러운 오비폴드 컴팩트화를 구성하기 위해.
• 가상 사이클 및 국소화 기법을 적용할 수 있는 기하학적 프레임워크를 제공하기 위해.
• 4차원 다각체에서 $b^+ = 1$인 경우 도널드슨 인variants의 월크로싱 공식에 대한 코츠키크-모건 추측을 증명하기 위해.
• 이 방법을 $U(2)$-모노폴로이드 모듈리 공간으로 확장하여, 특정 조건 하에서 위튼 추측의 대체 증명을 제공하기 위해.

제안 방법

• 두 단계 과정을 통해 새로운 컴팩트화를 도입: 먼저 유령 스트라타에서의 특이점을 해결하기 위해 블로우업을 수행하고, 이후 닫힘과 매끄러움을 회복하기 위해 블로우다운을 수행한다.
• 유령 스트라타와 점들의 구성 공간의 터널-맥퍼슨 컴팩트화 사이의 핵심 위상 동치를 확립한다.
• 스핀(4) = $SU(2)_L \times SU(2)_R$ 작용을 고려한 등급형 코homology를 사용하여 모듈리 공간의 특성류, 특히 첫 번째 폰트랴긴류 $p_1(r)$를 기술한다.
• 새로운 컴팩트화의 매끄러움을 활용하여 고정점의 적분을 계산하기 위해 가상 국소화 기법을 적용한다.
• _bundle $\pi: \underline{\mathcal{M}}_r(S^4,X) \to X$_의 섬유를 따라 적분하여 $\delta_{\alpha,\mathfrak{t}}$의 계산을 $BSpin(4)$ 위에서의 특성류 계산으로 감소시킨다.
• 각 분할 $\mathfrak{t}$에 대해 $\delta_P(\alpha)$ 기여를 $u$-급수와 특성류를 포함한 잔여적 적분 형태로 표현한다.

실험 결과

연구 질문

• RQ1 우르렌벡 컴팩트화에서 발생하는 특이점, 특히 유령 스트라타에서의 특이점들을 해결하는 인스탄톤 모듈리 공간의 매끄러운 컴팩트화를 구성할 수 있는가?
• RQ2 4차원 다각체에서 $b^+ = 1$일 경우 도널드슨 인variants의 월크로싱 공식은 교차형식과 특성류를 포함한 보편적 형태로 표현될 수 있는가?
• RQ3 가상 국소화 기법이 새로운 매끄러운 컴팩트화에 효과적으로 적용되어 월크로싱 기여를 계산할 수 있는가?
• RQ4 제안된 컴팩트화가 코츠키크-모건 추측의 월크로싱 공식의 구조를 증명하는 데 기여하는가?
• RQ5 이 방법은 $U(2)$-모노폴로이드와 같은 다른 게이지 이론적 모듈리 공간으로 일반화될 수 있으며, 위튼 추측의 깊은 증명을 위한 대체 증명을 제공할 수 있는가?

주요 결과

• 코츠키크-모건 추측이 증명됨: $b^+ = 1$인 4차원 다각체에서 도널드슨 인variants의 월크로싱 공식은 $\Psi^{X}_{P,c}(C_1) - \Psi^{X}_{P,c}(C_{-1}) = \sum_{\alpha \in \Lambda} \epsilon(c,\alpha) \delta_P(\alpha)$ 형태를 가지며, 여기서 $\epsilon(c,\alpha) = (c - \alpha)^2 / 2$이다.
• 함수 $\delta_P(\alpha)$는 $\alpha$에 대한 다항식으로서 차수 $d - 2r - 2i$를 가지며, 계수 $a_i(r,d,X)$는 $r$, $d$, 그리고 $X$의 호모토피 유형에만 의존한다.
• 각 분할 $\mathfrak{t}$에 대해 기여 $\delta_{\alpha,\mathfrak{t}}$는 고정점의 경계 위에서의 적분으로 계산되며, 이는 $q^{r-i} \alpha^{d-2r-2i}$ 비례하는 항을 포함한다.
• 모듈리 공간의 $Spin(4)$-등급형 코homology에서 특성류 $\tilde{p}_1(r)$는 $\tilde{p}_1(r) = \omega_0 + \omega_L c_L + \omega_R c_R$로 표현되며, 여기서 $c_L, c_R$는 $BSpin(4)$ 위에서의 $SU(2)$- bundles의 두 번째 체르누흐 클래스이다.
• _bundle $\pi: \underline{\mathcal{M}}_r(S^4,X) \to X$_의 섬유를 따라 적분함으로써 계산은 $H^4(BSpin(4), \mathbb{Q})$로 감소되며, $\pi_*(\tilde{p}_1(r))^{2r-1}$이 $c_L$과 $c_R$의 선형 조합임을 보였다.
• 이 방법은 특정 조건 하에서 $U(2)$-모노폴로이드에 대해 도널드슨 및 세이버그-와이튼 인variants 간의 관계를 묘사하는 위튼 추측에 대한 새로운 대체 증명을 제공한다.