[논문 리뷰] Localisation of the Donaldson's invariants along Seiberg-Witten classes

V Ya Pidstrigach, Andrei Tyurin|ArXiv.org|1995. 07. 24.

Geometric and Algebraic Topology참고 문헌 5인용 수 41

한 줄 요약

이 논문은 4차원 다양체 위상수학에서 도널드슨 불변량과 세이버그-와이튼 불변량 사이의 기초적인 연결고리를 확립한다. 반자기적 연결의 모듈리 공간과 세이버그-와이튼 해를 통해 도널드슨 다항식을 국소화함으로써, 게이지 이론 기법과 모듈리 공간의 컴팩티피케이션을 사용하여 도널드슨 다항식이 세이버그-와이튼 클래스들 위의 합으로 평가됨을 보이며, 국소 기여는 기하학적으로 정의된 다항식으로 코딩된다. 이는 두 불변량 간의 완전한 식별을 위한 길을 열어준다.

ABSTRACT

This article is a first step in establishing a link between the Donaldson polynomials and Seiberg-Witten invariants of a smooth 4-manifold.

연구 동기 및 목표

• 부드럽고 단순연결된 4차원 다각체에 대해 도널드슨 다항식과 세이버그-와이튼 불변량 사이의 정확한 관계를 확립하기 위해.
• 게이지 이론적 방정식의 해에 대한 모듈리 공간 분석을 통해 도널드슨 이론의 기본 클래스가 세이버그-와이튼 클래스와 일치함을 증명하기 위해.
• 세이버그-와이튼 모듈리 공간의 국소 기여를 전역 도널드슨 다항식에 계산하기 위한 기하학적 프레임워크를 개발하기 위해.
• 코homology 클래스 $f$에 독립적인 국소 다항식 기여를 코딩하는 유한차원 기하 모델 $MH^1(\beta,r)$를 구축하기 위해.
• 최종 계산에서 게이지 이론적 장비에 의존성을 제거하기 위해 문제를 순수하게 기하적 공간 위의 위상 불변량으로 환원하기 위해.

제안 방법

• 메트릭과 2형식의 페르터베이션을 포함한 수정된 반자기적 이중성 방정식을 사용하여, 표시된 점이 있는 반자기적 연결의 컴팩티피케이션된 모듈리 공간 $\overline{{\Cal{M}}_B}$를 구성한다.
• 일반적인 매개변수에서 수정된 세이버그-와이튼 시스템이 횡단적으로 잘리게 되어 있음을 보여주는 서브머지온 논증(Lemma 1.1)을 적용하여, 모듈리 공간의 매끄러움을 확보한다.
• 포incare 쌍대성을 사용하여 $\overline{{\Cal{M}}_B}$ 내의 1차원 특이 다양체 $\Cal{I}$를 정의하며, 그 경계는 도널드슨 다항식 평가와 대응된다.
• 특이 다양체 $\Cal{I}$ 위의 교차 이론을 분석하여, 그 경계 성분들이 조건 $(-\beta + f)^2 \geq p_1$을 만족하는 세이버그-와이튼 모듈리 공간 $\Cal{M}_{SW}(\beta)$의 링크와 관련되어 있음을 보인다.
• 링크 $\Cal{M}_{SW}(\beta)$ 위에서 $\prod \mu_\Sigma \cdot t^n$의 적분으로 정의되는 '국소 다항식' $loc\gamma$의 개념을 도입하며, 이는 $\beta$, $f$, 그리고 교차 형식 $q_X$에만 의존한다.
• 글루잉 데이터를 매개변수화하고 가상의 벡터 번들의 최고 체르누클 클래스가 국소 다항식을 계산하도록 하는, 차원이 $4r = (-\beta + f)^2 - p_1$인 기하 모델 $MH^1(\beta,r)$을 제안한다.

실험 결과

연구 질문

• RQ1 도널드슨 다항식은 어떻게 세이버그-와이튼 클래스들에 국소화된 기여로 분해될 수 있는가?
• RQ2 컴팩티피케이션된 반자기적 모듈리 공간 내에서 세이버그-와이튼 모듈리 공간의 링크의 정확한 기하학적 및 위상수학적 구조는 무엇인가?
• RQ3 각 세이버그-와이튼 클래스가 도널드슨 다항식에 기여하는 국소 기여는 $\langle\beta, \cdot\rangle$, $\langle f, \cdot\rangle$, $q_X$에 대한 보편 다항식으로 표현될 수 있는가?
• RQ4 코homology 클래스 $f$에 독립적인 유한차원 기하 공간을 구성하여 국소 다항식 데이터를 포괄할 수 있는가?
• RQ5 반자기적 모듈리 공간의 컴팩티피케이션이 감소형 연결과 버블링 현상 간의 상호작용을 어떻게 통제하는가?

주요 결과

• 도널드슨 다항식 $\gamma^{d}_{p_1,f\text{ mod }2 - w_2(X)}(\Sigma)$는 조건 $(-\beta + f)^2 \geq p_1$을 만족하는 세이버그-와이튼 클래스 $\beta$에 대한 합으로 표현되며, 각 항은 $\Cal{M}_{SW}(\beta)$의 링크 위에서 $\prod \mu_\Sigma \cdot t^n$의 적분이다.
• 각 $\Cal{M}_{SW}(\beta)$에서의 국소 기여는 $\langle\beta, \cdot\rangle$, $\langle f, \cdot\rangle$, 그리고 교차 형식 $q_X$에 대한 보편 다항식 $loc\gamma$로 주어지며, 메트릭이나 페르터베이션에 영향을 받지 않는다.
• $\Cal{M}_B(p_1)$과 $\Cal{M}_B(p_1 + 4)$ 사이의 차원 감소 6은, 최대 두 개의 차수 2 또는 하나의 차수 4 코homology 클래스가 포함된 경우에만 특이 다양체 $\Cal{I}$가 세이버그-와이튼 감소형 점들에서만 낮은 스테이지와 교차함을 보장한다.
• 특이 다양체 $\Cal{I}$의 경계는 도널드슨 다항식의 값을 계산하며, $\sharp \partial \Cal{I} \cap \Cal{MP}$는 평탄한 연결의 모듈리 공간 위에서 다항식 평가와 같다.
• $MH^1(\beta,r)$ 공간을 $4r = (-\beta + f)^2 - p_1$ 조건으로 구성함으로써, 글루잉 매개변수를 위한 유한차원 기하 모델이 제공되며, 이는 국소 다항식의 순수 위상수학적 계산을 가능하게 한다.
• 최종적으로 국소 다항식의 계산은 $MH^1(\beta,r)$ 위의 가상의 벡터 번들의 최고 체르누클 클래스 위의 교차 이론으로 환원되며, 이는 연결이나 모듈리 공간과 같은 게이지 이론적 자료에 대한 의존성을 효과적으로 제거한다.