[논문 리뷰] Exact, graded, immersed Lagrangians and Floer theory

Garrett Alston, Erkao Bao|arXiv (Cornell University)|2014. 07. 15.

Geometric and Algebraic Topology참고 문헌 14인용 수 6

한 줄 요약

이 논문은 자명한, 그레디에이션된, 임베딩된 설정에서 청결한 자기교차를 가진 라그랑주 플로어 homology에 대한 프레임워크를 수립한다. 이는 자기교차점의 마스로프 지수에 대한 양성 조건을 도입함으로써 이루어지며, 이 조건은 문제적인 디스크 버블 분열을 차단하고, 이러한 라그랑주를 자명한 후크바 카테고리에 포함시키며, $A_\infty$-구조에서 $\mathfrak{m}_0 = 0$임을 보장한다. 이 이론은 $\mathbb{Z}_2$ 위에서 시델의 편미분 기법을 사용하여 계산 가능한 불변량을 제공하며, 해밀토니안이 아닌 자명한 변형에 대해서도 불변성을 보장한다.

ABSTRACT

We develop Lagrangian Floer Theory for exact, graded, immersed Lagrangians with clean self-intersection using Seidel's setup. A positivity assumption on the index of the self intersection points is imposed to rule out certain (but not all) disc bubbles. This allows the Lagrangians to be included in the exact Fukaya category. We also study quasi-isomorphism of Lagrangians under certain exact deformations which are not Hamiltonian.

연구 동기 및 목표

• 자명한 후크바 카테고리를 자명하고, 그레디에이션된, 임베딩된 라그랑주와 청결한 자기교차를 가진 대상으로 확장하기.
• 자기교차점의 마스로프 지수에 대한 양성 조건을 통해 방해가 되는 디스크 버블을 제거함으로써, 이러한 라그랑주에 대한 계산 가능한 플로어 코hom로지 이론을 수립하기.
• 이러한 라그랑주에 대해 비해밀토니안 자명한 변형에 대한 플로어 코hom로지의 불변성을 증명하기.
• 이러한 라그랑주에 대해 $\mathfrak{m}_0 = 0$인 잘 정의된 $A_\infty$-구조를 구성함으로써, 이론이 카테고리적으로 잘 행동함을 보장하기.

제안 방법

• 자기교차점의 마스로프 지수에 대한 양성 조건을 도입하여, 플로베르 이론을 방해하는 특정한 디스크 버블 분열을 방지한다.
• Seidel의 편미분 기법을 $\mathbb{Z}_2$ 위에서 사용하여 잘 정의되고 계산 가능한 플로어 복합체를 구성한다.
• 라그랑주 임베딩의 경계 조건을 가진 헬름홀츠 스트립 및 디스크의 모듈리 공간에 대해 고르모프 컴acts 및 정규성 이론을 적용한다.
• 통계적 분석과 가중된 소볼레프 추정을 사용하여 원통형 끝 부근의 해의 감쇠를 제어한다.
• 편미분된 헬름홀츠 곡선을 사용하여 체인 복합체 $CF(\iota; \mathfrak{H}, \mathfrak{J})$를 구성하고, 거의 복소 구조의 호모토피에 대한 불변성을 증명한다.
• 표시된 점이 있는 헬름홀츠 다각형의 모듈리 공간과 편미분 자료를 사용하여 $A_\infty$-구조를 수립하며, $\mathfrak{m}_0 = 0$임을 보장한다.

실험 결과

연구 질문

• RQ1 자명하고, 그레디에이션된, 임베딩된 라그랑주 중 청결한 자기교차를 가진 대상들이 자명한 후크바 카테고리의 객체로 포함될 수 있는가?
• RQ2 자기교차점의 마스로프 지수에 대한 양성 조건이 플로어 이론에서 방해가 되는 디스크 버블을 제거하는 데 충분한가?
• RQ3 비해밀토니안 자명한 변형에 대해 이러한 라그랑주에 대해 플로어 코hom로지의 불변성이 확립될 수 있는가?
• RQ4 이러한 객체에 대해 플로어 복합체의 $A_\infty$-구조는 $\mathfrak{m}_0 = 0$인 잘 정의된 구조인가?
• RQ5 Seidel의 편미분 기법을 사용하여 임베딩된 라그랑주에 대해 계산 가능한, $\mathbb{Z}_2$-값을 가진 플로어 이론을 구성할 수 있는가?

주요 결과

• 자기교차점의 마스로프 지수에 대한 양성 조건은 오직 유한 개의 헬름홀츠 디스크만이 버블링될 수 있도록 보장하며, 방해가 되는 분열의 형성을 막는다.
• 플로어 코hom로지 $\mathrm{HF}(\iota)$는 잘 정의되어 있으며, 거의 복소 구조의 호모토피 및 편미분 자료에 대해 불변하다.
• 플로어 복합체의 $A_\infty$-구조는 $\mathfrak{m}_0 = 0$를 만족하며, 이는 이론이 방해 없이, 분류화에 적합함을 보장한다.
• 이론은 특정 비해밀토니안 자명한 변형에 대해 불변하며, 이는 이전의 불변성 결과를 일반화한다.
• 편미분된 $J$-헬름홀츠 곡선 방정식의 해에 대한 점근적 감쇠 추정은 무한대에서 $C^1$-노름의 지수 감쇠를 암시하며, 이는 유한 에너지와 컴팩트성을 보장한다.
• 이 구성은 자명한 지오데식 메트릭이 임베딩의 이미지에 존재하는 한, 임의의 임베딩과 청결한 자기교차를 가진 경우에 대해 유효하다.