[논문 리뷰] Donaldson invariants and wall-crossing formulas. I: Continuity of gluing maps

Paul M. N. Feehan, Thomas G. Leness|ArXiv.org|1998. 12. 09.

Advanced Algebra and Geometry참고 문헌 27인용 수 16

한 줄 요약

이 논문은 $b^+ = 1$인 4차원 다양체 위의 반자기적 자기 dual 연결에 대한 접합 맵의 연속성을 확립한다. 이는 도널드슨 이론에서 코츠치크-모건의 벽을 넘는 추측을 증명하기 위한 핵심 단계이다. 우렌벡 위상 하에서 접합 자료 번들의 닫힘에 대해 접합 맵을 확장하고, 균일한 곡률 및 곡률 측도 수렴을 증명함으로써, 미분기하학에서의 핵심 분석적 장벽을 해결하고 도널드슨 이론에서 완전한 벽을 넘는 공식을 위한 길을 열었다.

ABSTRACT

The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy type of the four-manifold and the degree of the invariant. Our principal interest in this conjecture is due to the fact that its proof is expected to resemble that of an important intermediate step towards a proof of Witten's conjecture concerning the relation between Donaldson and Seiberg-Witten invariants (hep-th/9411102, hep-th/9709193), using PU(2) monopoles as described in (dg-ga/9709022, dg-ga/9712005). Moreover, it affords us another venue in which to address some of the technical difficulties arising in our work on Witten's conjecture. The additional difficulties in the case of PU(2) monopoles are due to the more complicated gluing theory, the presence of obstructions to deformation and gluing, and the need to consider links of positive-dimensional families of `reducibles' even in the presence of `simple type' assumptions. Witten's conjecture should then follow from a final step analogous to Goettsche's computation of the wall-crossing terms, assuming that the Kotschick-Morgan conjecture holds (alg-geom/9506018).

연구 동기 및 목표

• 반자기적 자기 dual 연결에 대한 일반적인 접합 정리를 $b^+ = 1$ 및 $b_1 = 0$인 4차원 다각체 위에서 확립함으로써, 코츠치크-모건 추측을 증명하는 데 필수적인 기초를 마련한다.
• 타우브스, 도널드슨, 머프카가 이전에 다루지 못한 우렌벡 위상에서 접합 맵의 연속성 문제를 해결한다.
• 접합 맵이 열악한 구성에 가까이 있을 때의 행동에 기반하여, 이후의 벽을 넘는 공식 증명을 위한 기초 틀을 제공한다.
• 게이지 이론에서 '버블링' 현상이 야기하는 분석적 과제를 다루며, 매개변수 공간의 닫힘으로의 접합 맵의 확장을 방해하는 요소를 제거한다.

제안 방법

• 접합 자료 번들의 내부에서 매끄러운 접합 맵을 구성하고, 우렌벡 위상에 따라 이를 닫힘으로까지 연속적으로 확장한다.
• 코울럼브 및 반지름 기저에서 곡률과 연결의 감쇠 추정을 적용하여 버블링 점 근처의 행동을 제어한다.
• 자기적 2형식 위의 라플라스 연산자의 고유값 추정을 사용하여 곡률 기여의 크기를 제한한다.
• 반자기적 자기 dual 방정식의 해에 대한 사전 $L^2_1$-노름 추정을 적용하여 연결의 가중 가중치 집합에 대한 균일한 제어를 확보한다.
• 체른-시몬스 항등식과 곡률 측도 수렴을 적용하여 곡률 적분의 극한을 버블링 점에서의 점 질량과 연결한다.
• 레베그 유계 수렴 정리와 컴팩턴스 추론을 사용하여 수축하는 공 위에서의 곡률 적분에서 극한으로의 전환을 수행한다.

실험 결과

연구 질문

• RQ1 반자기적 자기 dual 연결에 대한 접합 맵은 우렌벡 위상 하에서 접합 자료 번들의 닫힘으로까지 연속적으로 확장되는가?
• RQ2 수축하는 공 위에서의 곡률 적분이 버블링 점에서의 델타 함수 합으로 수렴하는가? 이때 계수는 인stanton 수와 일치하는가?
• RQ3 분해가 일어나는 상황에서 $L^2$-노름의 곡률 극한은 잘 정의되어 있는가? 체른-시몬스 항등식이 $\mathbb{Z}$ 모odulo에서 유지되는가?
• RQ4 메트릭과 연결 데이터의 미세한 변형에 대해 접합 구축이 안정적인가? 이는 위상적 불변성을 보장하는가?

주요 결과

• 접합 맵은 접합 자료 번들의 닫힘으로까지 연속적으로 확장되며, 문헌에서의 핵심적 빈도를 해결한다.
• 접합된 연결의 곡률 측도는 버블링 점에서의 점 질량을 포함하는 극한으로 수렴하며, 계수는 인stanton 수 $\kappa_i$와 같다.
• 버블링 점 $x_i$를 중심으로 하는 공 위에서 곡률의 $L^2$-노름 극한은 다음을 만족한다: $\lim_{\alpha\to\infty} \int_{B(x_i,r)} |F(A_\alpha + a_\alpha)|^2 \, dV = \int_{B(x_i,r)} |F(A_0 + a_0)|^2 \, dV + 8\pi^2 \kappa_i \delta_{x_i}$.
• 곡률 적분이 $\mathbb{Z}$ 모듈로에서 수렴하며, 체른-시몬스 항등식이 극한에서 그대로 유지된다.
• 완전한 곡률의 $L^2$-노름과 배경 곡률의 $L^2$-노름 간의 차이는 큰 $\alpha$에 대해 $1/4$ 이내로 균일하게 유계이며, 이는 안정성을 보장한다.