[논문 리뷰] Floer Cohomology and Geometric Composition of Lagrangian Correspondences

Katrin Wehrheim, Chris Woodward|arXiv (Cornell University)|2009. 05. 09.

Geometric and Algebraic Topology참고 문헌 15인용 수 4

한 줄 요약

이 논문은 정확하고 단조로운 심플렉틱 설정에서 라그랑주 대응의 기하적 합성에 대해 플로어 코hom로지 간의 이sovomorphism을 수립한다. 굽은 플로어 코호몰로지와 허위해석적 스트립 분석을 사용하여, 합성이 임베딩된 경우 플로어 코호몰로지가 유지됨을 증명하며, 플로어 이론에서 심플렉토모피즘의 행동을 일반화한다.

ABSTRACT

We prove an isomorphism of Floer cohomologies under geometric composition of Lagrangian correspondences in exact and monotone settings.

연구 동기 및 목표

• 라그랑주 대응의 기하적 합성 하에서 플로어 코호몰로지 군 간의 표준 이sovomorphism을 수립하기 위해.
• 플로어 코호몰로지의 함자성 개념을 심플렉토모피즘에서 더 일반적인 라그랑주 대응으로 확장하기 위해.
• 고차원 코버디즘에서 굽은 플로어 homology를 통한 심플렉틱 위상수학적 불변량을 위한 기초 도구를 제공하기 위해.
• 단조성 또는 정확성 조건 하에서 라그랑주 대응의 합성이 플로어 코호몰로지의 대수적 구조를 유지하는지 확인하기 위해.
• 기하적 합성 하에서 플로어 코호몰로지가 어떻게 변하는지, 특히 임베딩된 경우에 대해 질문을 해결하기 위해.

제안 방법

• 심플렉틱 다양체 간의 순환적인 라그랑주 대응 시퀀스에 대해 굽은 플로어 코호몰로지를 정의하기 위해 굽은 플로어 코호몰로지를 사용한다.
• 제품 공간에서 라그랑주 대응을 통해 경계 조건이 일치하는 허위해석적 스트립의 수를 세는 방법을 적용한다.
• 잘 정의된 플로어 코호몰로지 군을 확보하기 위해 라그랑주 쌍에 대해 단조성 또는 정확성 조건을 도입한다.
• 제품 공간 내 라그랑주들의 교차점과 합성된 대응에서의 교차점 사이의 표준적인 전단사 사상을 활용한다.
• 가중된 소볼레프 노름과 커프오프 함수를 사용하여 허위해석적 스트립의 수렴을 분석하고 에너지 집중을 배제한다.
• 포인트와이즈 수렴을 제어하고 비영인 기울기 노름에서 모순을 이끌어내기 위해 일반화된 호퍼 유형의 보조정리를 적용한다.

실험 결과

연구 질문

• RQ1 라그랑주 대응의 기하적 합성이 임베딩된 경우 플로어 코호몰로지를 유지하는가?
• RQ2 라그랑주 대응의 합성 후 플로어 코호몰로지 군 간의 이sovomorphism이 성립하는 조건은 무엇인가?
• RQ3 두 라그랑주 대응이 하나의 대응으로 합성될 때 굽은 플로어 코호몰로지는 어떻게 행동하는가?
• RQ4 단조성 또는 정확성 조건 하에서 교차점 사이의 표준 전단사 사상이 코호몰로지 이sovomorphism을 유도할 수 있는가?
• RQ5 허위해석적 스트립이 에너지 집중이나 버블 형성을 보이지 않도록 보장하는 분석적 조건은 무엇인가?

주요 결과

• 제품 공간 내 라그랑주 쌍의 플로어 코호몰로지와 합성된 라그랑주 대응의 코호몰로지 사이에 이sovomorphism이 수립된다.
• 이 이sovomorphism은 배경 제품 다양체 내 라그랑주 쌍에 대해 단조성 또는 정확성 조건이 만족될 경우 성립한다.
• 비자명한 허위해석적 디스크가 이sovomorphism을 방해하지 않도록 하기 위해 최소 마스로프 지수를 2로 요구한다.
• 모듈리 공간 내 버블 형성을 배제하기 위해 가중된 소볼레프 노름에서의 균일한 유계성과 컴팩턴스 추론에 의존한다.
• 허위해석적 스트립의 기울기의 점별 수렴이 극한에서 0이 되며, 이는 비영인 에너지 집중의 가정과 모순된다.
• 교차점 사이의 표준 전단사 사상은 체인 수준의 이sovomorphism을 유도하며, 이는 코호몰로지 수준으로 올라간다.