[논문 리뷰] On the Metric Independent Exotic Homology

S. P. Novikov|ArXiv.org|2004. 03. 25.

Algebraic structures and combinatorial models인용 수 8

한 줄 요약

이 논문은 비가환 미분형식을 이용한 메트릭 독립적 외계 homology 이론을 제안한다. 이는 콪 pact 다양체 위에서 de Rham 연산자의 비폐쇄 1형식과 Reeb 벡터장에 의한 변형을 통해 구성되며, 스펙트럴 시퀀스 형식을 개발하여 결과적으로 얻어진 homology 군이 해밀토니안 역학과 심플렉틱 기하학에서 에너지 수준 다양체의 위상구조와 깊이 연결되어 있음을 보여준다. 주요 결과로는 homology 가 동역학적 불변량인 회전 수와 연결되어 있음을 규명한다.

ABSTRACT

Different types of nonstandard homology groups based on the various subcomplexes of differential forms are considered as a continuation of the recent authors works. Some of them reflect interesting properties of dynamical systems on the compact manifolds. In order to study them a Special Perturbation Theory in the form of Spectral Sequences is developed. In some cases a convenient fermionic formalism of dealing with differential forms is used originated from the work of Witten in the Morse Theory (1982)and the authors work where some nonstandard analog of Morse Inequalities for vector fields was found (1986).

연구 동기 및 목표

• Riemannian 메트릭에 의존하지 않는 새로운 종류의 외계 homology 이론을, 미분형식의 부분복합체에 기반하여 개발하기.
• 비폐쇄 1형식과 Reeb 벡터장에 의한 de Rham 연산자 변형이 초래하는 위상적 및 동역학적 함의를 연구하기.
• 비가역 분포가 존재하는 상황에서 외계 homology 군을 계산하기 위한 스펙트럴 시퀀스 형식을 수립하기.
• 외계 homology 를 기하학적 및 동역학적 불변량(예: 회전 수, 해밀토니안 시스템의 불변 순환)과 연결하기.
• 대수적 변형과 초구속환을 이용하여 모스 이론 및 등변 homology 구성의 일반화를 시도하기.

제안 방법

• 서브복합체 $ T_\Omega $ 에서 정의된 $ \Omega \wedge a = 0 $ 조건을 만족하는 $ \Omega = d\omega $ 를 이용해, 연산자 $ d' = d + \lambda \omega^* $ 에 대해 $ H^*_\text{exotic} = \ker(d') / \operatorname{im}(d') $ 로서 외계 homology 군을 구성한다.
• Reeb 벡터장 $ X $ 와의 수축 $ \hat{X} $ 를 사용한 $ d' = d + \mu \hat{X} $ 의 복합체에 대해 스펙트럴 시퀀스를 적용하여 homology 를 계산한다.
• Witten 의 모스 이론에 영향을 받은 페르미온 형식을 적용하여, $ \hat{X} $ 를 닫힌 형식 위에 작용하는 순수하게 대수적 연산자로 간주한다.
• 스펙트럴 시퀀스의 고차 미분 $ d_l $ 을 $ \hat{X} $ 의 반복 작용을 통해 정의하며, Massey 곱과 유사한 구조를 가진다.
• 외계 homology $ H^*_\Omega $ 와 표준 de Rham 코homology $ H^*(M) $ 간의 정확한 시퀀스를 수립하며, $ \nabla_X $ 의 핵과 상에 기반한다.
• 심플렉틱 다양체의 홀수 차원 에너지 수준 다양체에 이 구성법을 적용하며, 이 경우 $ \Omega = \omega^n $ 이고 $ X $ 는 Reeb 벡터장이 된다.

실험 결과

연구 질문

• RQ1 어떻게 미분형식의 서브복합체를 이용하여 Riemannian 메트릭에 의존하지 않는 외계 homology 를 정의할 수 있는가?
• RQ2 비폐쇄형식 $ \Omega $ 와 $ \Omega \wedge a = 0 $ 조건을 만족하는 $ d $-불변 부분공간 $ T_\Omega $ 에 의해 정의된 외계 homology 군 $ H^*_\Omega $ 는 어떤 위상적 의미를 지닌다?
• RQ3 변형 $ d' = d + \mu \hat{X} $ 에 의해 유도되는 스펙트럴 시퀀스는 어떻게 외계 homology 를 계산하며, 고차 미분 $ d_l $ 의 역할은 무엇인가?
• RQ4 스펙트럴 시퀀스의 두 번째 미분 $ d_2 = \hat{X} $ 에는 어떤 동역학적 불변량(예: 회전 수)이 포함되어 있는가?
• RQ5 이러한 외계 homology 이론은 등변 homology 와 Massey 곱의 구조를 어느 정도 일반화하는가?

주요 결과

• 콤팩트한 $ (2n+1) $-차원 다양체 $ M $ 에서 $ \Omega = \omega^n $ 으로 정의된 외계 homology $ H^*_\Omega $ 는 Reeb 흐름의 불변 순환의 코homology 와 동형이다.
• 표준 de Rham 코homology $ H^*(M) $ 과 $ H^*_\Omega $ 를 연결하는 자연스러운 정확한 시퀀스가 존재하며, 이는 $ \ker(\nabla_X) $, $ C^\infty(M)/\nabla_X(C^\infty(M)) $, 그리고 $ (u,X) $ 의 상을 포함한다.
• 두 번째 미분 $ d_2 = \hat{X} : H^1_{\text{inv}} \to \mathbb{R} $ 는 회전 수 $ a \in H_1(M,\mathbb{R}) $ 가 0일 때이고 그때에만 0이 된다.
• 변형된 복합체 $ d' = d + \mu \hat{X} $ 에 대한 스펙트럴 시퀀스 $ E_l $ 은 $ E_2 = \sum_{i \geq 0} H^i_{\text{inv}} $ 를 만족하며, $ d_2(u) = \hat{X}(u) $ 이고, 고차 미분 $ d_l $ 은 반복 수축을 통해 대수적으로 정의된다.
• 콤팩트 등장 변환군의 경우 $ E_\infty \cong H_*(d + \mu \hat{X}) $ 를 만족하여, 메트릭 독립적 설정에서 변형된 homology 로 수렴함을 보여준다.
• 이 구성법은 등변 homology 를 일반화한다: 군 $ G $-불변의 $ R $-값을 가진 형식에서의 복합체 $ d' = d + a_i \hat{X}_i $ 는 동일한 프레임워크에 속하며, Massey 곱과 유사한 스펙트럴 시퀀스를 가진다.