[논문 리뷰] De Rham model for string topology

Sergei Merkulov|ArXiv.org|2003. 09. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 18

한 줄 요약

이 논문은 Chen의 반복 적분을 사용하여 스트링 토폴로지의 De Rham 모델을 수립하며, 미분가환대수의 유도 범주에서의 Yoneda 곱으로서 Chas-Sullivan 곱의 기하학적으로 명확한 유도를 제공한다. 이는 Chen의 기반 루프 공간 호모로지 모델을 '브레인' 설정으로 일반화하며, 스위치된 dg 대수를 통한 자유 루프 공간 호모로지와 Hochschild 코homology 사이의 명시적 동형사상들을 구성한다.

ABSTRACT

A De Rham model for string topology based on the theory of iterated integrals is presented.

연구 동기 및 목표

• 단순 연결된 닫힌 유향 다양체의 자유 루프 공간에서 스트링 토폴로지 연산을 위한 기하학적이고 계산에 용이한 De Rham 모델을 제공한다.
• 반복 적분을 사용하여 $Λ_M$-이중모듈러의 유도 범주에서 Chas-Sullivan 곱과 Yoneda 곱 사이의 동형사상을 재유도한다.
• 기본 루프 공간 호모로지에 대한 Chen의 모델을 사상 $f:Z\to M$의 경우로 일반화하여, 끌려온 루프 공간 $L_f$의 스트링 토폴로지 대수에 대한 De Rham 모델을 얻는다.
• 자기 사슬 복합체와 $\Lambda_Z$의 De Rham 대수 및 $M$의 축소 호모로지 위의 텐서 대수의 스위치된 텐서 곱 사이의 준동형을 확립한다.
• 자기 호모로지 $\mathbf{H}_\bullet(L_f)$에서의 Chas-Sullivan 곱이 스위치된 dg 대수 $\Lambda_Z \otimes \mathbb{R}\langle X\rangle$의 코homology에서 Hochschild 곱과 대응됨을 보인다.

제안 방법

• Chen의 반복 적분 이론을 사용하여, $L_f$의 정수 사슬에서 $\Lambda_Z$의 코호모로지에 값이 $\mathbb{R}\langle X\rangle$인 코호모로지로의 호몰로지 맵을 구성한다.
• 유한 차원 코homology를 가진 dg 대수의 Hochschild 코hom로를 모델링하기 위해 형식적 멱급수 연결을 적용한다.
• $\Lambda_Z \otimes \mathbb{R}\langle X\rangle$에 대해 $d_f = d + \eth + \text{항들 from } f^*\omega$의 스위치된 미분을 도입하며, Chen의 미분 $\eth$를 일반화한다.
• 호몰로지 맵을 통해 $L_f$의 정수 사슬 복합체와 복합체 $\left(\Lambda_Z \otimes \mathbb{R}\langle X\rangle, d_f\right)$ 사이의 준동형을 확립한다.
• $f$에 의한 연결 형식 $\omega$의 당김을 사용하여 스위치된 미분 $d_{f^*\omega}$를 정의하며, 이는 스트링 토폴로지 연산을 모델링한다.
• 결과적으로 코homology에서의 대수적 구조가 Hochschild 코homology와 Hochschild 곱을 통해 동형임을 보이며, 차수 $-p$ 준동형을 통해 이를 실현한다.

실험 결과

연구 질문

• RQ1 자유 루프 공간 $LM$의 이동된 호모로지에서의 Chas-Sullivan 곱은 기하학적 방법을 통해 $\Lambda_M$-이중모듈러의 유도 범주에서의 Yoneda 곱으로 자연스럽게 식별될 수 있는가?
• RQ2 Chen의 기반 루프 공간 $\Omega M$의 호모로지에 대한 모델은 사상 $f:Z\to M$의 경우로 일반화되어 $\mathbf{H}_\bullet(L_f)$에 대한 De Rham 모델을 제공할 수 있는가?
• RQ3 스위치된 dg 대수 $\Lambda_Z \otimes \mathbb{R}\langle X\rangle$의 코homology에 대한 정확한 대수적 구조는 무엇이며, 스트링 토폴로지와 어떻게 관련되어 있는가?
• RQ4 $f$에 의한 연결 형식 $\omega$의 당김은 어떻게 스위치된 미분을 유도하며, 이는 $L_f$에서의 스트링 토폴로지 곱을 모델링하는가?
• RQ5 정수 사슬 $L_f$와 복합체 $\left(\Lambda_Z \otimes \mathbb{R}\langle X\rangle, d_f\right)$ 사이에 기하학적으로 의미 있는 준동형이 존재하는가? 이는 대수적 구조를 유지하는가?

주요 결과

• 등형사상 $\left(\mathbf{H}_\bullet(LM), \Cap\right) \cong \mathrm{Ext}^{\bullet}_{\Lambda_M \otimes \Lambda_M^{\circ}}(\Lambda_M, \Lambda_M)$은 반복 적분과 관련된 호몰로지 맵을 통해 기하학적으로 실현된다.
• 자기 호모로지 $\mathbf{H}_\bullet(L_f)$에서의 Chas-Sullivan 곱은 $H^\bullet(\Lambda_Z \otimes \mathbb{R}\langle X\rangle, d_f)$에서의 Hochschild 곱과 동형이며, 새로운 계산 모델을 제공한다.
• 만약 $f: \text{point} \to M$이라면, 이 모델은 Chen의 원래 결과를 복원한다: $H_\bullet(\Omega M) \cong H^\bullet(\mathbb{R}\langle X\rangle, \eth)$이며, $\eth$는 반복 절차로 계산 가능하다.
• 만약 $f: \mathbb{C}\mathbb{P}^m \to \mathbb{C}\mathbb{P}^n$이며 $m < n$이라면, 대수 $\mathbf{H}_\bullet(L_f)$는 $\mathbb{R}[h, x, \nu]/(h^{m+1})$와 동형이며, $|h|=2$, $|x|=-1$, $|\nu|=-2n$, $\nu$는 $\sum_{i+j=n+1} 1 \otimes x_i x_j$에 대응한다.
• 교차 맵 $\cap_{[L_f]}: \mathbf{H}_\bullet(LM) \to \mathbf{H}_\bullet(L_f)$는 등형사상 하에서 당김 맵 $f^*: H^\bullet(\Lambda_M \otimes \mathbb{R}\langle X\rangle, d_\omega) \to H^\bullet(\Lambda_Z \otimes \mathbb{R}\langle X\rangle, d_{f^*\omega})$에 대응하며, 생성자에 대한 명시적 작용은: $h \mapsto h$, $\nu \mapsto \nu$, $\mu \mapsto h x$이다.
• $\mathbf{Hol}: C_\bullet(L_f) \to \Lambda_Z \otimes \mathbb{R}\langle X\rangle$는 코호몰로지에서 동형을 유도하는 복합체의 사상이며, 스트링 토폴로지 대수를 스위치된 dg 대수의 코homology로 실현한다.