[논문 리뷰] Jacobi forms and the structure of Donaldson invariants for 4-manifolds with b_+=1

Lothar Göttsche, Don Zagier|ArXiv.org|1996. 12. 26.

Geometric and Algebraic Topology인용 수 13

한 줄 요약

이 논문은 b_+=1인 4차원 다양체에 대한 Donaldson 불변량의 구조 정리를 수립하며, 주기점 F와 G 사이의 벽을 횡단할 때의 차이를 Jacobi 형식과 모듈라 성질과 연결함으로써 이를 다룬다. 이는 불변량의 차이가 k차 미분형 조건을 만족하며, 기본 클래스와 보편적인 모듈라 형식을 통해 명시적인 공식으로 표현됨을 증명한다. 이는 Kronheimer-Mrowka 결과를 확장하며, Kotschick-Morgan 추측을 통해 Seiberg-Witten 불변량과 연결된다.

ABSTRACT

We prove structure theorems for the Donaldson invariants of 4-manifolds with b_+=1, similar to those of Kronheimer and Mrowka in the case b_+>1: We show that for a 4-manifold with b_+=1 and two different period points F, G on the boundary of the positive cone, the difference of the Donaldson invariants at F and G satisfies the k^{th}-order simple type condition for a number k, explicitely given in terms of F and G. We give a formula for this difference in terms of a set of basic classes, expressed in a universal formula involving modular forms. The leading terms coincide with the formulas of Kronheimer and Mrowka in the simple type case. The basic classes are related to the Seiberg Witten invariants. The proof of these results is based on the conjecture of Kotschick and Morgan on the structure of the wall-crossing terms. We relate the problem to new theta functions for indefinite lattices.

연구 동기 및 목표

• b_+>1인 경우에서의 Donaldson 불변량의 구조 정리를 b_+=1의 경우로 확장하기.
• b_+=1일 때, 양의 원뿔의 경계를 횡단할 경우 Donaldson 불변량의 행동을 이해하기.
• 두 주기점 F와 G 사이의 불변량 차이에 대해 모듈라 형식과 기본 클래스를 이용한 정확한 공식 수립하기.
• 벽 횡단 항을 비정적 래티스 위의 제타 함수와 연결하고, 이 맥락에서 Kotschick-Morgan 추측을 검증하기.

제안 방법

• 벽 횡단 항에 대한 Kotschick와 Morgan의 추측을 기초 가정으로 사용한다.
• Jacobi 형식 이론을 적용하여 벽 횡단 상황에서의 Donaldson 불변량의 구조를 표현한다.
• 두 주기점 F와 G에서의 불변량 차이를 나타내는 보편 공식을 유도하며, 이 공식은 모듈라 형식을 포함한다.
• 불변량의 모듈라 구조를 통해 기본 클래스를 Seiberg-Witten 불변량과 연결한다.
• 벽 횡단 행동을 모델링하기 위해 비정적 래티스를 위한 새로운 제타 함수를 도입한다.
• 대수기하학과 모듈라 형식 이론을 활용하여 b_+=1 설정에서의 불변량을 분석한다.

실험 결과

연구 질문

• RQ1 b_+=1인 4차원 다각형에서, 양의 원뿔 내 벽을 횡단할 때 Donaldson 불변량은 어떻게 행동하는가?
• RQ2 두 개별 주기점 F와 G에서의 Donaldson 불변량 차이를 지배하는 정확한 모듈라 구조는 무엇인가?
• RQ3 b_+=1의 경우에서 불변량의 기본 클래스는 Seiberg-Witten 불변량과 어떻게 관련되어 있는가?
• RQ4 b_+=1 설정에서 벽 횡단 항은 보편적으로 모듈라 형식을 통해 표현될 수 있는가?
• RQ5 비정적 래티스의 제타 함수는 이러한 불변량의 구조를 기술하는 데 어떤 역할을 하는가?

주요 결과

• 두 주기점 F와 G에서의 Donaldson 불변량 차이는 k차 미분형 조건을 만족하며, k는 F와 G의 상대적 위치에 의해 명시적으로 결정된다.
• 보편적인 공식을 통해 불변량의 차이가 모듈라 형식과 기본 클래스의 집합을 통해 표현되며, 이는 Kronheimer-Mrowka 공식을 일반화한다.
• 차이 공식의 주요 항들은 b_+>1의 경우에 알려진 단순형 공식과 일치한다.
• 기본 클래스가 불변량의 모듈라 구조를 통해 Seiberg-Witten 불변량과 관련되어 있음이 입증된다.
• 벽 횡단 행동은 비정적 래티스 위의 새로운 제타 함수를 통해 모델링되며, 관련된 모듈라 형식의 기하학적 실현을 제공한다.
• 결과는 Kotschick-Morgan 추측에 따라 조건부로 도출되며, 이 추측이 성립한다고 가정하여 주요 구조 정리를 유도한다.