[논문 리뷰] A Note on the Chas-Sullivan product

François Laudenbach|arXiv (Cornell University)|2009. 03. 16.

Geometric and Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 다변량의 자유 루프 공간 위에서 Chas-Sullivan 곱을 유한차원, 단순형 접근법으로 제시한다. 전치성과 작은 단체, 국소 계수를 사용하여 체인 수준에서 곱을 정의한다. 주요 기여는 호모토피에 관여하지 않는 기하학적으로 직관적인 구성으로, 비가역 다변량으로까지 확장 가능하며 스펙트럴 시퀀스와 Thom 동형사상으로 기존 결과를 복원한다.

ABSTRACT

We give a finite dimensional approach to the Chas-Sullivan product on the free loop space of a manifold, orientable or not.

연구 동기 및 목표

• 다변량의 자유 루프 공간 위에서 Chas-Sullivan 곱의 유한차원, 기하학적으로 직관적인 구성 방법을 제공한다.
• 정수 계수 대신 국소 계수를 사용하여 곱을 비가역 다변량으로 확장한다.
• 무한차원 방법을 피하기 위해 전치성과 작은 단체를 사용하여 체인 수준에서 곱을 정의한다.
• 이 구성이 잘 정의된 호모로지 수준의 곱을 유도하며, 기존의 스트링 토폴로지 스펙트럴 시퀀스와 동형임을 보인다.
• Chataur-Le Borgne 등의 결과를 이 단순형, 전치성 기반 프레임워크를 통해 복원하고 재해석한다.

제안 방법

• 자유 루프 공간 $ LM $ 는 단순형 집합으로 간주되며, $ k $-단체는 $ \triangle^k \times S^1 \to M $ 인 매끄러운 사상으로 정의되고, 평가 사상 $ ev_0 $ 는 이러한 단체를 $ S^1 $ 의 기저점에서의 제약으로 보낸다.
• 작은 단체는 주어진 아틀라스의 한 차트 내에 이미지가 포함되는 것으로 정의되며, 국소 제어와 국소 계수와의 호환성을 보장한다.
• 전치성이 $ LM \times LM $ 의 이중 단체에 적용되며, 특히 $ M $ 에서의 조합 가능한 루프로 사상하는 경우에 대해 체인 수준에서의 교차 곱을 정의한다.
• $ LM \times_M LM $ 에서 전치된 사이클의 교차는 매끄러운 다양체 $ W $ 를 유도하며, Whitehead의 유일성 결과를 통해 삼등분된 삼각형 분할을 통해 $ LM $ 내의 잘 정의된 사이클을 얻는다.
• Thom 동형사상은 스펙트럴 시퀀스의 $ E^1 $-페이지를 $ M $ 과 그 단위 정규군(bundle) $ UM $ 의 교차 호모로지와 연결하여 이중첨수 링 동형사상을 가능하게 한다.
• 스펙트럴 시퀀스의 $ E^1 $-페이지가 $ \mathbb{H}_*(M;\mathbb{Z}_{or}) \oplus \mathbb{H}_*(UM;\mathbb{Z})[T]_{\geq 1} $ 와 동형임을 보이며, $ d^1 = 0 $ 이므로 $ E^\infty \cong E^1 $ 이다.

실험 결과

연구 질문

• RQ1 무한차원 호모토피 이론을 피하고, 유한차원, 단순형 방법을 사용하여 Chas-Sullivan 곱을 체인 수준에서 직접 정의할 수 있는가?
• RQ2 가역성의 구조에 의존하지 않고, 비가역 다변량으로 곱을 어떻게 확장할 수 있는가?
• RQ3 전치성과 작은 단체가 곱이 잘 정의되고 호모토피에 관여하지 않는 데 어떤 역할을 하는가?
• RQ4 분할 $ \Lambda M \to M $ 의 스펙트럴 시퀀스는 $ UM $ 과 $ M $ 의 교차 링의 구조와 어떻게 관련이 있는가?
• RQ5 Chataur와 Le Borgne 등의 연구에서 알려진 결과들이 이 단순형, 전치성 기반 프레임워크를 통해 복원되고 재해석될 수 있는가?

주요 결과

• Chas-Sullivan 곱은 $ LM \times_M LM $ 의 전치된 교차의 삼각형 분할을 통해 Whitehead의 삼각형 분할의 위상동형성 및 분할에 의존하는 위상적 유일성에 의해 호모로지 수준에서 잘 정의된다.
• 스펙트럴 시퀀스의 $ E^1 $-페이지는 $ \mathbb{H}_*(M;\mathbb{Z}_{or}) \oplus \mathbb{H}_*(UM;\mathbb{Z})[T]_{\geq 1} $ 와 동형이며, $ T $ 는 이중첨수 $ (1, \alpha_1 + n - 2) $ 를 가지며, 링 구조는 Thom 동형사상에 의해 유도된다.
• 미분 $ d^1 $ 은 심지어 항상 0 이다. 왜냐하면 $ \mathbb{H}_*(\Lambda_0) $ 가 직접 합성분이기 때문이며, $ d^1 $ 이 도함수이므로 $ d^1(T) = 0 $ 이고, 이는 $ d^1 = 0 $ 이 전역적으로 성립함을 의미한다.
• 스펙트럴 시퀀스는 $ E^1 $ 에서 붕괴하므로 $ E^\infty \cong E^1 $ 이며, 최종 이중첨수 링의 구조는 초깃값과 일치한다.
• 이 구성은 가역성과 비가역성 다변량 모두에 대해 유효하며, 국소 계수 $ \mathbb{Z}_{or} $ 를 사용하여 방향성 문제를 다룬다.
• 이 방법은 Chataur와 Le Borgne의 결과를 복원하고 재해석하며, 구체적인 기하학적 계산에서 무한차원 방법과 동일한 효율성을 보임을 보여준다.