[논문 리뷰] Poincar\'e duality for loop spaces

Kai Cieliebak, Nancy Hingston외 1명|arXiv (Cornell University)|2020. 08. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 61인용 수 3

한 줄 요약

이 논문은 코탄제인트 번들의 Rabinowitz Floer homology와 cohomology 사이에 Poincaré duality isomorphism를 설정하여, 양쪽 모두에 graded Frobenius algebra 구조를 부여한다. Tate 벡터 공간과 심플렉틱 토폴로지를 통해, 닫힌 지오데식, 임계 수준, Bott 인덱스 반복, 수준-강도 등 오랫동안 남아있던 문명을 통합하고, Rabinowitz Floer cohomology에서의 2차적(pair-of-pants) 곱을 통해 Sullivan의 루프 곱과 코곱 사이의 관계에 대한 추측을 증명한다.

ABSTRACT

We show that Rabinowitz Floer homology and cohomology carry the structure of a graded Frobenius algebra for both closed and open strings. We prove a Poincar\'e duality theorem between homology and cohomology that preserves this structure. This lifts to a duality theorem between graded open-closed TQFTs. We use in a systematic way the formalism of Tate vector spaces. Specializing to the case of cotangent bundles, we define Rabinowitz loop homology and cohomology and explain from a unified perspective pairs of dual results that have been observed over the years in the context of the search for closed geodesics. These concern critical levels, relations to the based loop space, manifolds all of whose geodesics are closed, Bott index iteration, and level-potency. Moreover, the graded Frobenius algebra structure gives meaning and proof to a relation conjectured by Sullivan between the loop product and coproduct.

연구 동기 및 목표

• 문자열 토폴로지에서 루프 곱과 코곱의 비대칭 정의에 관한 지속적인 난제를 해결하기 위해.
• Rabinowitz Floer homology와 cohomology 사이에 대칭적인 구조를 유지하는 캐논리컬 Poincaré duality isomorphism를 설정하여 대수적 구조를 보존하기 위해.
• 닫힌 지오데식 이론에서의 이중 결과—예를 들어 임계 수준, Bott 인덱스 반복, 수준-강도—를 하나의 심플렉틱-톱올로지적 프레임워크 아래 통합하기 위해.
• Rabinowitz Floer cohomology에서의 2차적(pair-of-pants) 곱을 통해 Sullivan의 루프 곱과 코곱 사이의 관계에 대한 추측을 증명하기 위해.
• Rabinowitz Floer homology와 cohomology가 graded Frobenius algebra 구조를 지닌다는 것을 보여주어, 고전적 Poincaré duality를 일반화하기 위해.

제안 방법

• 코탄제인트 번들에 대한 심플렉틱 불변량으로서 Rabinowitz Floer homology와 cohomology를 도입하고, Z-grading을 위해 Conley-Zehnder 지표를 사용한다.
• Rabinowitz Floer cohomology에 대해 차수 n−1인 2차적(pair-of-pants) 곱 λ_τ를 정의하며, 이는 루프 곱 µ와 쌍대적이다.
• 무한차원 homology와 cohomology를 다루기 위해 Tate 벡터 공간을 활용하여, 유한하지 않은 설정에서도 이중성을 가능하게 한다.
• 유니탈, 교환법칙, 결합법칙을 모두 유지하는 캐논리컬 Poincaré duality isomorphism PD: (RFH∗(BV), µ) ≅ (RFH1−∗(BV), λ_τ)를 구성한다.
• 심플렉틱 호모로지, Rabinowitz Floer 호모로지, 그리고 그 이동을 연결하는 장기적 정렬 시퀀스를 사용하여, 다양한 차수 간의 대수적 구조를 연결한다.
• Bott-Long 지표 공식과 S1-동차 호모로지에서의 Gysin 시퀀스를 적용하여, 임계 수준과 영차수(nullity)를 대수적 구조와 연결한다.

실험 결과

연구 질문

• RQ1 루프 곱(모든 루프에서 정의됨)과 코곱(상수 루프에 대해 정의됨)의 비대칭성은 통합된 대수적 구조로 해결될 수 있는가?
• RQ2 코homology 곱 ⊛는 루프 곱 µ로부터 유도된 2차적 곱인가? 그리고 이를 정밀하게 기술할 수 있는가?
• RQ3 Sullivan의 추측된 관계 λµ = (1⊗µ)(λ⊗1) + (µ⊗1)(1⊗λ)는 Rabinowitz Floer 프레임워크 내에서 수정된 형태로 성립하는가?
• RQ4 닫힌 지오데식 이론에서의 이중 결과—예를 들어 임계 수준 부등식과 Bott 인덱스 반복—은 하나의 기본적인 이중성 정리에서 유도될 수 있는가?
• RQ5 Rabinowitz Floer cohomology는 루프 곱과 코곱을 통합하는 graded Frobenius algebra 구조를 지니는가?

주요 결과

• Rabinowitz Floer cohomology는 루프 곱 µ와 쌍대적인 차수 n−1의 캐논리컬 2차적(pair-of-pants) 곱 λ_τ를 지닌다.
• 유니탈, 교환법칙, 결합법칙을 모두 유지하는 캐논리컬 Poincaré duality isomorphism PD: (RFH∗(BV), µ) ≅ (RFH1−∗(BV), λ_τ)가 존재한다.
• 체 계수를 가진 차수 이동된 Rabinowitz Floer homology와 cohomology는 graded Frobenius algebra를 이룬다. 여기서 PD는 역전환 사상 ⃗p의 음수로 주어진다.
• Poincaré duality isomorphism는 차수-개방-폐쇄 TQFT 사이의 이중성으로 올라가며, 개방 및 폐쇄 루프 섹터의 대수적 구조를 통합한다.
• 루프 곱과 코곱은 Frobenius algebra 구조에서 자연스럽게 유도되는 수정된 형태의 Sullivan의 관계를 만족한다.
• 이 이론은 닫힌 지오데식 이론에서의 이중 결과를 통합한다: 임계 수준 부등식, Bott 인덱스 반복, 수준-강도는 모두 동일한 기본적인 이중성의 결과이다.