[논문 리뷰] Intersection theory of coassociative submanifolds in G_(2)-manifolds and Seiberg-Witten invariants

Naichung Conan Leung, Xiaowei Wang|ArXiv.org|2004. 01. 29.

Geometry and complex manifolds참고 문헌 25인용 수 5

한 줄 요약

이 논문은 G₂-다양체에서 공조업티브 경계 조건을 갖는 인스탄톤과 공조업티브 부분다양체에서 J-홀로모르픽 커브 사이의 대응을 수립하며, 작은 인스탄톤이 중심 공조업티브 부분다양체에서 홀로모르픽 커브로 수렴함을 보여준다. 주요 결과는 타우브스가 심플렉틱 4차원 다양체에서 Seiberg-Witten 및 Gromov-Witten 불변량 사이의 대응을 설정한 바에 기반하여, 이러한 인스탄톤의 수를 Seiberg-Witten 불변량과 연결함으로써 이루어진다.

ABSTRACT

We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. We explain its relationship with the Seiberg-Witten invariants for coassociative submanifolds.

연구 동기 및 목표

• G₂-다양체에서 공조업티브 경계 조건을 갖는 인스탄톤을 세는 방식으로 개방형 Gromov-Witten 이론의 유사체를 개발하기 위해.
• 이러한 인스탄톤의 수를 공조업티브 부분다양체의 Seiberg-Witten 불변량과 연결하기 위해.
• 공조업티브 부분다양체들이 서로 가까워질 때, 작은 인스탄톤과 그 한계에서의 J-홀로모르픽 커브 사이의 기하학적 대응을 수립하기 위해.
• Taubes의 Seiberg-Witten 및 Gromov-Witten 불변량 사이의 대응을 G₂-인스탄톤의 설정으로 확장하기 위해.
• 인스탄톤 모듈리 공간의 컴actification에서 버블링과 분해의 역할을 이해하기 위한 기초를 마련하기 위해.

제안 방법

• G₂-다양체 M에서 비영인 도함수 dC_t/dt를 갖는 일차 매개변수 공조업티브 부분다양체의 가중치 {C_t}를 사용한다.
• 모델 인스탄톤 A_ε의 정규 벡터장 공간 위에서 정의된 기능 F_ε에 은밀한 함수 정리를 적용한다. 여기서 F_ε(V) = *(exp_V^* τ)^⊥ 이다.
• 왜곡된 디라크 연산자의 고유값 추정치를 이용하여, Σ × [0,ε]의 와핑된 곱 근방에서 D F_ε(0)의 가역성을 제어한다.
• 도함수 D F_ε(0)이 Σ × [0,ε]에서의 왜곡된 디라크 연산자에 ε-근접함을 입증함으로써, 정량적 은밀한 함수 정리를 적용할 수 있다.
• Bryant의 결과에 따르면, Λ₊²(C)가 위상적으로 자명할 경우 적절한 불완전한 G₂-계량에서 Λ₊²(C)의 영단면은 공조업티브이다.
• Taubes의 정리에 따르면, 심플렉틱 4차원 다양체 C의 Seiberg-Witten 불변량은 Gromov-Witten 불변량과 같다. 이로 인해 인스탄톤 수와 심플렉틱 불변량이 연결된다.

실험 결과

연구 질문

• RQ1 어떻게 G₂-다양체에서 공조업티브 경계 조건을 갖는 인스탄톤에 대해 개방형 Gromov-Witten 유형 불변량을 정의하고 계산할 수 있는가?
• RQ2 이러한 인스탄톤의 수와 공조업티브 부분다양체의 Seiberg-Witten 불변량 사이의 관계는 무엇인가?
• RQ3 두 개의 근접한 공조업티브 부분다양체에 경계를 갖는 인스탄톤의 가중치가 중심 부분다양체에서 J-홀로모르픽 커브로 수렴하는 조건은 무엇인가?
• RQ4 공조업티브 부분다양체의 Seiberg-Witten 불변량은 주변 G₂-다양체에서의 작은 인스탄톤의 수로부터 복원될 수 있는가?
• RQ5 공조업티브 부분다양체들이 가까이 있지 않을 경우, 인스탄톤 모듈리 공간의 컴actification에서 버블링은 어떤 역할을 하는가?

주요 결과

• 임의의 정규 J-홀로모르픽 커브 Σ가 공조업티브 부분다양체 C₀에 존재할 경우, C₀ ∪ C_ε에 경계를 갖는 일차 매개변수 인스탄톤 A_ε의 C¹-한계로 나타난다.
• 반대로, C₀ ∪ C_t에 경계를 갖는 인스탄톤 A_t의 가중치가 C¹-위상에서 한계 Σ로 수렴할 경우, Σ는 C₀ 내의 J-홀로모르픽 커브이다.
• 임의의 정규 J-홀로모르픽 커브 Σ가 C₀에 존재할 경우, 모든 충분히 작은 ε > 0에 대해 M 내에서 [0,1] × Σ와 미분형태로 일치하는 인스탄톤 A_ε가 존재하며, ∂A_ε ⊂ C₀ ∪ C_ε 이다.
• C₀가 심플렉틱 4차원 다양체일 경우, Taubes의 정리에 의해 C₀의 Seiberg-Witten 불변량은 Gromov-Witten 불변량과 같다. 이에 따라 인스탄톤 수는 이를 반영할 것으로 기대된다.
• 이러한 인스탄톤의 존재성은 정규 벡터장 위에서 정의된 기능에 은밀한 함수 정리를 적용함으로써 보장되며, 이 기능의 도함수는 왜곡된 디라크 연산자에 ε-근접하다.
• 논문은 임의의 작은 부피를 갖는 C₀ ∪ C_t에 경계를 갖는 인스탄톤이 이 한계 구축 방식에서 유래되어야 한다고 추측하며, 이는 인스탄톤에 대한 잠재적 ε-정규성 결과를 시사한다.