[논문 리뷰] S^1-equivariant Morse cohomology

Marko Berghoff|arXiv (Cornell University)|2012. 04. 12.

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

한 줄 요약

이 논문은 차원이 3보다 작은 매끄럽고 닫힌 $S^1$-다양체에 대해 표준 모어스 복합체를 변형하여 유 end의 $S^1$-궤도를 포함하는 유한 시간 동안의 'k-점프' 유동선을 포함하는 방식으로 $S^1$-동치 모어스 코homology를 구성한다. 주요 결과로는 이러한 동치 모어스 코homology가 일반 동치 코homology와 동형임을 증명하며, 무한 차원의 호모토피 몰입 구조를 피하는 유한 차원적 대안을 제공한다.

ABSTRACT

We construct a deformed Morse complex computing the equivariant cohomology of a manifold M endowed with a smooth S^1-action. The deformation of the coboundary operator is given by counting gradient flow lines of a Morse function f that are allowed to "jump" along orbits of the S^1-action for finite time intervalls.

연구 동기 및 목표

• 무한 차원 호모토피 몰입 구조를 피하는 유한 차원적 모어스 이론적 접근을 통한 $S^1$-동치 코homology 개발.
• 표준 모어스 이론을 일반화하기 위해 'k-점프' 유동선을 통해 $S^1$-대칭을 코 boundary 연산자에 통합하는 것.
• 차원이 3보다 작은 닫힌 $S^1$-다양체에 대해 유도된 $S^1$-동치 모어스 코homology가 표준 동치 코homology와 동형임을 증명하는 것.
• 모듈리 공간의 전단성, 컴act성, 접합성과 같은 기본 문제들(예: 전단성, 컴act성, 접합성) 다루기.
• 비닫힌 다양체 및 다른 리군(예: $T^n$)으로의 일반화 가능성 탐색 및 $\mathbb{Z}$ 계수에서의 정렬 가능성 문제 해결.

제안 방법

• 유한 시간 간격 동안 $S^1$-궤도를 따라 '점프'하는 경로를 포함하는 변형된 동치 모어스 복합체를 도입하며, 이는 $k$-점프 유동선을 통해 정의된다.
• 비판점 $x$와 $y$ 사이의 $k$-점프 유동선의 모듈리 공간 $\tilde{\mathcal{M}}_k(x,y)$를 정의하고, 일반적인 편미분에 대해 전단성과 컴act성을 확립한다.
• 깨진 유동선에 대한 접합 사상 구축; 이로써 미분의 복합이 0이 됨을 증명, 즉 $d^2 = 0$.
• 계속성 사상과 코체인 호모토피를 사용하여 편미분 자료의 호모토피에 대해 불변성을 보이며, 준동형 이론의 불변성 보장.
• 계속성 원리를 적용하여 코homology가 편미분 선택에 의존하지 않음을 증명하고, 따라서 잘 정의됨을 보장.
• 특히 $BS^1 = \mathbb{CP}^\infty$ 의 구조와 $S^1$-작용이 유일한 궤도 유형을 가진다는 사실에 의존하여, 유한 차원 모델을 구성함.

실험 결과

연구 질문

• RQ1 무한 차원 호모토피 몰입을 피하기 위해 $S^1$-동치 코homology를 유한 차원 모어스 이론적 복합체로 계산할 수 있는가?
• RQ2 표준 모어스 미분은 어떻게 수정되어야 하며, $S^1$-대칭을 유한 시간 궤도 점프를 통해 통합할 수 있는가?
• RQ3 차원이 3보다 작은 닫힌 $S^1$-다양체에 대해 유도된 $S^1$-동치 모어스 코homology가 표준 동치 코homology와 동형인가?
• RQ4 모듈리 공간의 $k$-점프 유동선에 대해 필요한 기하학적 및 분석적 조건(전단성, 컴act성, 접합성)은 무엇인가?
• RQ5 이 구조는 비닫힌 다양체 또는 $T^n$과 같은 다른 리군으로 일반화될 수 있는가?

주요 결과

• 차원이 3보다 작은 매끄럽고 닫힌 $S^1$-다양체에 대해 $k$-점프 유동선을 통한 $S^1$-동치 모어스 코homology는 표준 동치 코homology $H^*_{S^1}(M)$ 와 동형이다.
• 동치 모어스 복합체의 미분 $d_{S^1}$ 는 $d_{S^1}^2 = 0$ 를 만족하여 잘 정의된 코homology 이론임을 보장한다.
• 벡터장의 일반적인 편미분에 대해 모듈리 공간 $\tilde{\mathcal{M}}_k(x,y)$ 의 전단성과 컴act성이 확립된다.
• 깨진 유동선의 접합은 잘 정의되고 미분과 호환되어, 복합체가 체인 복합체임을 보장한다.
• 다른 편미분 자료 사이의 계속성 사상은 코체인 호모토피이므로, 편미분 자료의 호모토피에 대해 코homology 가 불변임을 증명한다.
• 이 구조는 $BS^1 = \mathbb{CP}^\infty$ 의 구조와 $S^1$-작용이 유일한 궤도 유형을 가진다는 사실에 크게 의존하며, 이는 다른 리군으로의 직접 일반화를 제한한다.