[논문 리뷰] Poincaré duality for loop spaces

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

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 루프 공간에 대한 라비노비츠 플로어 호모로지와 코호모로지 사이의 파oincaré 대칭을 수립하여, 이들이 계량화된 프로페르스 대수를 이룬다고 보여준다. 이는 해밀턴 기하학적 프레임워크를 통해 오랫동안 남아있던 스트링 토폴로지의 수수께끼를 해결하며, 닫힌 지오데식의 이중 결과, 임계 수준, 보트 반복, 수준-강도성 등에 대한 이중성 결과를 통합한다. 또한 수학자 수얼리의 루프 곱과 코곱 사이의 관계에 대한 추측을 증명한다.

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é 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.

연구 동기 및 목표

• 루프 공간 연산에서의 비대칭성과 이중성에 관한 스트링 토폴로지의 오랜 수수께끼를 해결하기 위해.
• 임계 수준, 보트 색인 반복, 수준-강도성 등을 포함한 닫힌 지오데식 이론의 이중 결과에 대한 통합적 프레임워크를 수립하기 위해.
• 라비노비츠 플로어 호모로지와 코호모로지가 대칭을 유지하는 계량화된 프로페르스 대수를 이룬다는 것을 증명하기 위해.
• 차스-서울라의 루프 곱과 고레스키-힌스턴 코호모로지 곱을 대칭적인 구조로 해석하기 위한 해밀턴 기하학적 해석을 제공하기 위해.
• 라비노비츠 플로어 호모로지의 맥락에서 루프 곱과 코곱 사이의 관계를 수학적으로 증명한 수얼리의 추측을 검증하기 위해.

제안 방법

• 리우빌 도메인의 경계 위에 정의된 새로운 대수적 구조로 라비노비츠 플로어 호모로지를 도입하며, 이는 차수 $-n$인 팬츠 곱을 지닌다.
• 팬츠 곱과 대칭 이sovomorphism을 통해 라비노비츠 플로어 호모로지가 계량화된 프로페르스 대수의 구조를 지닌다는 것을 증명한다.
• 라비노비츠 플로어 호모로지와 코호모로지 사이의 파oincaré 대칭 이sovomorphism을 수립하며, 이는 프로페르스 대수의 구조를 유지한다.
• 여기서 코타angent 번들의 특수화를 통해 라비노비츠 루프 호모로지와 코호모로지를 정의하고, 해밀턴 불변량과 루프 공간 토폴로지 사이의 연결 고리를 설정한다.
• 해밀턴 호모로지, 라비노비츠 플로어 호모로지, 일반 해밀턴 호모로지 사이의 장기적 정 exact 수열을 사용하여 대칭 결과를 도출한다.
• 보트 색인 반복과 평균 색인 공식을 적용하여 호모로지와 코호모로지의 임계 수준을 연결하고, 이중 부등식을 증명한다.

실험 결과

연구 질문

• RQ1 루프 곱(모든 $\Lambda$에서 정의됨)과 루프 코곱(상수 루프에 대해 상대적으로 정의됨) 사이의 비대칭성은 통합된 대수적 구조를 통해 해결될 수 있는가?
• RQ2 코호모로지 곱 $\oast$ 는 루프 곱 $\bullet$ 에서 유도된 보조 곱으로 엄밀하게 해석될 수 있는가?
• RQ3 임계 수준 부등식과 보트 색인 반복 등의 닫힌 지오데식 이론에서의 이중 결과 쌍을 설명하는 통합된 대칭 원리가 존재하는가?
• RQ4 수얼리가 추측한 관계 $\lambda\mu = (1\otimes\mu)(\lambda\otimes1) + (\mu\otimes1)(1\otimes\lambda)$ 는 정확한 대수적 맥락에서 성립하는가?
• RQ5 라비노비츠 플로어 이론에서 호모로지와 코호모로지 사이의 대칭성은 개방-폐쇄 TQFT 사이의 대칭성으로 올라갈 수 있는가?

주요 결과

• 라비노비츠 플로어 호모로지와 코호모로지는 계량화된 프로페르스 대수를 이룬다. 파oincaré 대칭은 이 구조를 유지한다.
• 호모로지와 코호모로지 사이의 대칭 이sovomorphism은 개방-폐쇄 위상 양자장 이론 사이의 대칭성으로 올라간다.
• 코타angent 번들에 대해 이론은 라비노비츠 루프 호모로지와 코호모로지를 정의하며, 닫힌 지오데식에 대한 이중 결과를 통합한다.
• 임계 수준 부등식 $\mathrm{Cr}(X\bullet Y)\leq\mathrm{Cr}(X)+\mathrm{Cr}(Y)$ 와 $\mathrm{cr}(x\oast y)\geq\mathrm{cr}(x)+\mathrm{cr}(y)$ 는 모두 동일한 대칭 원리에서 유래됨을 보였다.
• 보트 색인 반복 공식은 대칭성에서 유도되며, 호모로지 클래스의 차수 $k$ 에 대해 $\overline{\mathrm{ind}}(c) = k+n-1$ 이고, 코호모로지 클래스에 대해서는 $\overline{\mathrm{ind}}(c) = k-n$ 이다.
• 수얼리의 루프 곱과 코곱 사이의 관계는 대칭 이sovomorphism을 통해 증명되었으며, 코곱은 파oincaré 대칭 아래 곱의 쌍대 구조로 나타난다.