[논문 리뷰] Higher-rank instanton cohomology and the quilted Atiyah-Floer conjecture

David L. Duncan|arXiv (Cornell University)|2013. 11. 21.

Geometric and Algebraic Topology참고 문헌 29인용 수 3

한 줄 요약

이 논문은 1차 베텨이 수반된 3차원 다양체 위에서 높은 랭크의 인스탄톤 플로어 homology를 위한 기초 도구를 수립하며, r ≥ 2인 PU(r)-bundle에 중점을 두고 있다. 이는 인스탄톤 플로어 이론에 대한 엄밀한 미분기하학적 프레임워크를 개발하고, 호환 가능한 편미분과 추상성 기법을 통해 인스탄톤 플로어 코homology와 퀼티드 라그랑주 플로어 코homology 사이의 체인 수준 동형사상을 구축함으로써, 퀼티드 아티야-플로어 추측을 증명하기 위한 프로그램을 시작한다.

ABSTRACT

Given a closed, connected, oriented 3-manifold with positive first Betti number, one can define an instanton Floer group as well as a quilted Lagrangian Floer group. The quilted Atiyah-Floer conjecture states that these cohomology groups are isomorphic. We initiate a program for proving this conjecture.

연구 동기 및 목표

• r ≥ 2인 PU(r)-bundle에 대한 인스탄톤 플로어 코homology 이론을 종합적으로 개발하여, 고전적 SU(2)/SO(3) 사례를 초월한다.
• 1차 베텨이 비영인 3차원 다양체 위에서 높은 랭크 게이지 이론의 미분기하학적 기초를 제공한다.
• 인스탄톤 플로어 코homology와 퀄티드 라그랑주 플로어 코hom로의 이sovomorphism을 제안하는 퀄티드 아티야-플로어 추측을 증명하기 위한 프로그램을 시작한다.
• 두 플로어 이론에서 추상성 확보를 위해 필수적인, 힐로니 맵과 그 도함수에 대한 균일한 L^p 및 W^{k,p} 추정을 수립한다.
• 인스탄톤 플로어 이론과 퀄티드 라그랑주 플로어 이론 양쪽에서 동시에 추상성을 확보하는 호환 가능한 편미분을 구성함으로써, 체인 수준 비교를 가능하게 한다.

제안 방법

• 1차 베텨이 양수인 3차원 다양체 위의 PU(r)-bundle을 사용하여 인스탄톤 플로어 homology의 게이지 이론적 프레임워크를 채택한다.
• PU(r)-bundle 위의 평탄한 접속의 게이지 동치류로 생성되는 체인 복합체를 통해 인스탄톤 플로어 코homology를 정의한다.
• 2+1차원 장 이론 체계를 사용하여 심플렉틱 불변량(Lagrangian 플로어 코homology)과 게이지 이론 불변량(인스탄톤 플로어 코homology)을 연결한다.
• 통합 표면 위의 힐로니 맵에서 유도된 해밀토니안 벡터장을, 국소적 삼각형화와 리 대수로의 사영을 통해 정의한다.
• 곡률과 연결의 공변도함수에 대한 경계를 통해 힐로니 도함수에 대한 균일한 L^p 및 W^{k,p} 추정을 유도한다.
• 연결 공간의 제어된 편미분을 통해 인스탄톤 및 퀄티드 라그랑주 플로어 이론 양쪽에서 추상성을 유지하는 호환 가능한 편미분을 수립한다.

실험 결과

연구 질문

• RQ1 r ≥ 2인 PU(r)-bundle에 대해 고전적 SU(2)/SO(3) 이론을 초월하여 인스탄톤 플로어 코homology를 엄밀히 정의할 수 있는가?
• RQ2 PU(r)-bundle 위에서 힐로니 맵과 그 도함수에 대한 균일한 L^p 및 W^{k,p} 추정은 어떻게 확립할 수 있는가?
• RQ3 인스탄톤 플로어 이론과 퀄티드 라그랑주 플로어 이론 양쪽에서 동시에 추상성이 보장되는 조건은 무엇인가?
• RQ4 인스탄톤 플로어 코hom로와 퀄티드 라그랑주 플로어 코hom로 사이에 체인 수준 동형사상을 구성할 수 있는가?
• RQ5 평탄한 접속 공간의 편미분은 표면 위의 평탄한 접속 모듈리 공간의 심플렉틱 구조와 어떻게 상호작용하는가?

주요 결과

• 논문은 PU(r)-bundle 위에서 힐로니 맵과 그 도함수에 대한 균일한 L^p 추정을 수립하였으며, 상수는 번들의 성질과 접속 공간에만 의존한다.
• 힐로니 함수와 관련된 해밀토니안 벡터장에 대한 W^{1,p} 추정을 증명하였으며, 그 노름이 곡률의 L^p 노름에 의해 유계임을 보였다.
• 힐로니 맵의 도함수는 곡률의 L^p 노름에 의해 제어되며, 힐로니 맵의 선형화를 통해 명시적인 의존성을 확보하였다.
• 호환 가능한 편미분을 가정할 경우, 인스탄톤 플로어 코hom로와 퀄티드 라그랑주 플로어 코호모로 사이의 체인 수준 동형사상을 구성하였다.
• 기하학적·해석적 구조를 유지하는 정교하게 설계된 편미분 체계를 통해, 두 플로어 이론에서 동시에 추상성이 확보되었다.
• 이 프레임워크는 높은 랭크 인스탄톤 플로어 이론에 대한 엄밀한 기초를 제공하였으며, 기존의 r=2 결과를 임의의 r ≥ 2로 일반화하였다.