[논문 리뷰] Floer homology of cotangent bundles and the loop product

Alberto Abbondandolo, Matthias Schwarz|arXiv (Cornell University)|2008. 10. 13.

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

한 줄 요약

이 논문은 컴act 다양체의 코탄제인트 번들의 플로어 homology와 그 자유 루프 공간의 특이 homology 사이에 깊은 이somorphism을 수립하며, 플로어 homology의 팔-팬 제품이 루프 공간 homology의 차스-설리반 루프 제품과 정확히 일치함을 증명한다. 플로어 이론과 모어스 이론을 융합한 새로운 프레드홀름 분석 및 코버디즘 기법을 사용하여, 기울기 흐름 궤도와 정규 경계 조건을 갖는 헬름홀로픽 곡선을 통한 기하적 교차 곱으로서 루프 곱을 실현하는 체인 수준 이somorphism을 구축한다.

ABSTRACT

We prove that the pair-of-pants product on the Floer homology of the cotangent bundle of a compact manifold M corresponds to the Chas-Sullivan loop product on the singular homology of the loop space of M. We also prove related results concerning the Floer homological interpretation of the Pontrjagin product and of the Serre fibration. The techniques include a Fredholm theory for Cauchy-Riemann operators with jumping Lagrangian boundary conditions of conormal type, and a new cobordism argument replacing the standard gluing technique.

연구 동기 및 목표

• 코탄제인트 번들의 플로어 homology에서의 팔-팬 제품과 자유 루프 공간 $\Lambda(M)$의 특이 homology에서의 차스-설리반 루프 제품 사이의 정확한 대응을 수립하는 것.
• 행동 함수수 $W^{1,2}(\mathbb{T}, M)$ 위에서의 모어스-이론적 구성에 의해 루프 곱과 폰트랴긴 곱의 체인 수준 기술을 제공하는 것.
• 비국소 경계 조건을 다루기 위해 필수적인, 점진적으로 변화하는 콘오르모날 경계 조건을 갖는 코쉬-리만 연산자에 대한 새로운 프레드홀름 이론을 개발하는 것.
• 플로어 이론에서 표준적인 글루잉 기법을 대체하기 위해, 헬름홀로픽 곡선의 모듈리 공간에 대한 컴actness와 정규성 결과를 증명하기 위한 새로운 코버디즘 추론을 개발하는 것.
• 균일하게 볼록한 해밀토니안의 플로어 복합체와 그 이중 라그랑주 행동 함수수의 모어스 복합체 사이의 명시적 이somorphism을 구축하여, $HF_*(T^*M)$ 와 $H_*(\Lambda(M))$ 를 동치로 식별하는 것.

제안 방법

• 반실린더 위에서 플로어 방정식과 $W^{1,2}(\mathbb{T}, M)$ 위에서 라그랑주 행동 함수수 $\mathbb{S}_L$ 의 기울기 흐름 방정식을 결합하는 하이브리드 방법을 구축하는 것.
• 시간에 따라 변화하는 해밀토니안 $H$ 를 이용하여, $T^*M$ 상에서 점점 증가하는 운동량에 대해 점근적으로 이차적으로 증가하는 해밀토니안을 사용하여 비국소 콘오르모날 경계 조건을 갖는 플로어 복합체를 정의하는 것.
• 표준 글루잉 기법을 대체하기 위해, 점진적으로 변화하는 경계 조건을 갖는 헬름홀로픽 곡선의 모듈리 공간에 대한 컴actness와 정규성을 증명하기 위한 새로운 코버디즘 추론을 도입하는 것.
• 사분면과 반스트립에서의 마스лов 지표, 타원형 추정, 지표 계산 분석을 통해 점진적으로 변화하는 콘오르모날 경계 조건을 갖는 코쉬-리만 연산자에 대한 프레드홀름 이론을 수립하는 것.
• 경계 근처의 해를 제어하기 위해 리우빌 유형 결과를 사용하여, 비국소 경계 조건을 갖는 연산자의 프레드홀름 성질을 증명하는 것.
• 명시적 체인 사상 $\mathbf{C}$, $\mathbf{Ev}$, $\mathbf{I_!}$ 를 통한 모어스 복합체와 플로어 복합체 사이의 체인 수준 이somorphism을 구축하여, 플로어 homology의 팔-팬 곱이 특이 homology의 루프 곱과 정확히 일치함을 보이는 것.

실험 결과

연구 질문

• RQ1 플로어 homology의 $T^*M$ 에서의 팔-팬 곱은 특이 homology의 $H_*(\Lambda(M))$ 에서의 차스-설리반 루프 곱과 일치하는가?
• RQ2 행동 함수수 위에서의 모어스-이론적 구성에 의해 $H_*(\Lambda(M))$ 의 폰트랴긴 곱은 어떻게 기하학적으로 실현될 수 있는가?
• RQ3 콘오르모날 유형의 점진적 라그랑주 경계 조건을 갖는 코쉬-리만 연산자에 대한 올바른 프레드홀름 이론은 무엇인가?
• RQ4 플로어 이론에서 표준 글루잉 기법은 컴팩트성과 정규성을 증명하기 위해 코버디즘 추론으로 대체될 수 있는가?
• RQ5 균일하게 볼록한 해밀토니안의 플로어 복합체와 이중 라그랑주 행동 함수수의 모어스 복합체 사이에 체인 수준 이somorphism이 존재하는가?

주요 결과

• 코탄제인트 번들의 플로어 homology에서의 팔-팬 곱은 체인 수준에서 특이 homology의 $H_*(\Lambda(M))$ 에서의 차스-설리반 루프 곱과 이somorphic하다.
• 폰트랴긴 곱은 루프 공간 위의 기울기 흐름의 불안정 및 안정 다발의 교차를 통한 체인 사상으로 기하학적으로 실현된다.
• 점진적으로 변화하는 콘오르모날 경계 조건을 갖는 코쉬-리만 연산자에 대한 새로운 프레드홀름 이론이 개발되었으며, 마스볼 지표와 타원형 추정을 통해 프레드홀름 성질과 지표를 증명하였다.
• 균일하게 볼록한 해밀토니안의 플로어 복합체와 이중 라그랑주 행동 함수수의 모어스 복합체 사이에 명시적 체인 이somorphism이 구축되었으며, 이에 따라 $HF_*(T^*M) \cong H_*(\Lambda(M))$ 가 성립함을 입증하였다.
• 코버디즘 추론이 표준 글루잉 기법을 대체하여, 비국소 경계 조건을 갖는 헬름홀로픽 곡선의 모듈리 공간에 대한 컴팩트성과 정규성을 증명하였다.
• 플로어 이론의 호모모르피즘 $\mathbf{C}$, $\mathbf{Ev}$, $\mathbf{I_!}$ 는 체인 수준에서 모어스-이론적 사상 $c_*$, $ev_*$, $i_!$ 와 정확히 일치하며, 이는 루프 곱의 기하학적 기원을 확인한다.