[논문 리뷰] Atiyah-Floer Conjecture: a Formulation, a Strategy to Prove and Generalizations

Aliakbar Daemi, Kenji Fukaya|arXiv (Cornell University)|2017. 07. 12.

Geometric and Algebraic Topology참고 문헌 30인용 수 11

한 줄 요약

이 논문은 리만 곡면 위의 평탄한 SU(2) 접속의 확장 모듈리 공간을 사용하여 심플렉틱 인스탄톤 플로어 homology를 구성함으로써 아티야-플로어 추측을 증명하는 전략을 제시한다. 특이점을 가진 심플렉틱 다양체의 가족을 통해 특이점을 해결하며, 버블드 변형을 포함한 $A_{\infty}$-카테고리 프레임워크를 수립하고, 등변 $A_{\infty}$-카테고리와 심플렉틱 몫 카테고리 사이의 호모토피 동치를 증명한다. 이는 특이 심플렉틱 공간과 게이지 이론적 몫에 대해 추측을 일반화한다.

ABSTRACT

Around 1988, Floer introduced two important theories: instanton Floer homology as invariants of 3-manifolds and Lagrangian Floer homology as invariants of pairs of Lagrangians in symplectic manifolds. Soon after that, Atiyah conjectured that the two theories should be related to each other and Lagrangian Floer homology of certain Lagrangians in the moduli space of flat connections on Riemann surfaces should recover instanton Floer homology. However, the space of flat connections on a Riemann surface is singular and the first step to address this conjecture is to make sense of Lagrangian Floer homology on this space. In this note, we formulate a possible approach to resolve this issue. A strategy to construct the desired isomorphism in the Atiyah-Floer conjecture is also sketched. We also use the language of A infty-categories to state generalizations of the Atiyah-Floer conjecture.

연구 동기 및 목표

• 리만 곡면 위의 평탄한 SU(2) 접속의 특이 모듈리 공간에서 라그랑주 플로어 호몰로지의 엄밀한 정의를 위한 접근 방식을 제시하는 것.
• 확장 모듈리 공간을 통해 인스탄톤 플로어 호몰로지와 심플렉틱 인스탄톤 플로어 호몰로지를 연결함으로써 아티야-플로어 추측을 증명하는 전략을 제공하는 것.
• 특이 심플렉틱 구조가 존재할 때 $A_{\infty}$-카테고리와 버블드 변형을 사용하여 추측을 일반화하는 것.
• 군 작용이 있는 심플렉틱 다양체에서의 등변 $A_{\infty}$-카테고리와 그 심플렉틱 몫 카테고리 사이의 호모토피 동치를 확립하는 것.
• 심플렉틱 형식이 정규 교차 분리에서 분해되는 경우로의 프레임워크 확장을 제공하는 것.

제안 방법

• 평탄한 접속의 확장 모듈리 공간을 사용하여, 특이성이 매끄러운 분리 $D$ 에서 발생하는 심플렉틱 형식 $\omega_{\theta}$ 를 가진 심플렉틱 다양체의 가족 $X_{\theta}$ 를 구성하는 것.
• 헤가드 분할에서의 하인들보디에 대응하는 라그랑주 부분다양체 $L_0, L_1 \subset X_{\theta} \setminus D$ 를 정의하며, 이들은 $D$ 외부에서 단조롭게 작용한다.
• 버블드 변형 $\mathfrak{b} \in H^{\text{even}}(Y;\Lambda_0)$ 와 함께 $A_{\infty}$-카테고리 기법을 사용하여, 심플렉틱 몫 $Y = \mu^{-1}(0)/G$ 의 플루카 카테고리 위에 변형된 $A_{\infty}$-구조를 정의하는 것.
• 등변 쿠라니 구조와 라그랑주 코보르드יזם 추론을 적용하여, 군 작용 $G$ 가 있는 $X \setminus D$ 의 $A_{\infty}$-카테고리와 몫 $Y$ 의 $A_{\infty}$-카테고리 사이의 관계를 설정하며, 특이 분리로의 일반화를 수행하는 것.
• 양자 키르단 맵과 게이지드 시그마 모델 기법을 활용하여 군 작용과 순간 맵이 존재하는 상황에서의 $A_{\infty}$-카테고리 간의 관계를 규명하는 것.
• 단조성과 일반성 조건 하에서 $\mathfrak{Fuk}^G(X\setminus D, \omega, \mathfrak{L})$ 와 $\mathfrak{Fuk}(Y, \overline{\omega}, \overline{\mathfrak{L}}, \mathfrak{b})$ 사이의 호모토피 동치를 증명하는 것.

실험 결과

연구 질문

• RQ1 확장 모듈리 공간을 통한 해소를 통해, 리만 곡면 위의 평탄한 SU(2) 접속의 특이 모듈리 공간에서 라그랑주 플로어 호몰로지가 엄밀하게 정의될 수 있는가?
• RQ2 인스탄톤 플로어 호몰로지 $I^*(M)$ 와 모듈리 공간의 하인들보디에 대응하는 라그랑주에 대한 라그랑주 플로어 호몰로지 사이에 자연스러운 동형사상이 존재하는가?
• RQ3 특이 심플렉틱 형식이 존재할 때, 버블드 클래스 $\mathfrak{b}$ 를 사용한 $A_{\infty}$-카테고리적 구조가 어떻게 심플렉틱 인스탄톤 플로어 호몰로지를 모델링할 수 있는가?
• RQ4 군 작용이 있는 심플렉틱 다양체 $X$ 와 순간 맵 $\mu$ 가 있는 경우, $G$-불변 라그랑주에 대한 $A_{\infty}$-카테고리가 심플렉틱 몫 $Y = \mu^{-1}(0)/G$ 의 $A_{\infty}$-카테고리와 호모토피 동치가 되는 조건은 무엇인가?
• RQ5 특이성 위치 $D$ 가 매끄러운 분리가 아니라 정규 교차 분리인 경우로 이 프레임워크를 확장할 수 있는가?

주요 결과

• 논문은 특이성이 있는 원래 모듈리 공간의 특이점을 해결하기 위해, 특이 심플렉틱 형식 $\omega_{\theta}$ 를 가진 심플렉틱 다양체의 가족 $X_{\theta}$ 를 사용하여 심플렉틱 인스탄톤 플로어 호몰로지의 후보를 구성한다.
• 단조성과 일반성 조건 하에서, 군 작용이 있는 $X \setminus D$ 의 $G$-불변 라그랑주에 대한 $A_{\infty}$-카테고리와 심플렉틱 몫 $Y = \mu^{-1}(0)/G$ 의 $A_{\infty}$-카테고리 사이의 호모토피 동치를 확립한다.
• 몫 카테고리 위의 $A_{\infty}$-구조는 $\mathfrak{b} \in H^{\text{even}}(Y;\Lambda_0)$ 의 버블드 클래스에 의해 변형되며, 이는 Poincar\'e 쌍대 사이클을 만족하는 힐로모르피크 디스크에서 기인하는 양자 보정을 모델링한다.
• 심플렉틱 형식이 정규 교차 분리에서 분해되는 경우로의 일반화를 통해, 이는 매끄러운 분리로의 제한을 초월하여 아티야-플로어 추측의 범위를 확장한다.
• $D$ 가 매끄러운 분리일 경우, $\mathfrak{Fuk}^G(X\setminus D, \omega, \mathfrak{L})$ 이 $\mathfrak{Fuk}(Y, \overline{\omega}, \overline{\mathfrak{L}}, \mathfrak{b})$ 와 호모토피 동치임을 증명함으로써, 일반화된 추측의 핵심 케이스를 확인한다.
• 이 프레임워크는 $A_{\infty}$-카테고리와 버블드 변형을 통한 통합을 통해, 게이지 이론적 및 심플렉틱 위상수학적 불변량을 유도함으로써 아티야-플로어 추측에 대한 엄밀한 카테고리적 기초를 제공한다.