[논문 리뷰] Morse-Bott cohomology from homological perturbation theory

Zhengyi Zhou|arXiv (Cornell University)|2019. 02. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 82인용 수 5

한 줄 요약

이 논문은 호모로지 페rturbation 이론(HPT)을 사용하여 통합된 모어스-보트 코homology 이론을 구축하며, 최소한의 교차 조건 하에서 플로우 범주 내 임계 다양체로부터 최소 코체인 복합체를 제공한다. 이는 캐스케이드 구성과 옥스터인-브라움 모델이 모두 형식적인 HPT 적용으로 나타남을 보이며, 행동 스펙트럼 시퀀스 및 분류 공간 근사에 대한 군형 불변성과 같은 핵심 불변량을 증명한다.

ABSTRACT

In this paper, we construct cochain complexes generated by the cohomology of critical manifolds in the abstract setup of flow categories for Morse-Bott theories under minimum transversality assumptions. We discuss the relations between different constructions of Morse-Bott theories. In particular, we explain how homological perturbation theory is used in Morse-Bott theories, and both our construction and the cascades construction can be interpreted as applications of homological perturbations. In the presence of group actions, we construct cochain complexes for the equivariant theory. Expected properties like the independence of approximations of classifying spaces and the existence of the action spectral sequence are proven. We carry out our construction for Morse-Bott functions on closed manifolds and prove it recovers the regular cohomology. We outline the project of combining our construction with the polyfold theory.

연구 동기 및 목표

• 호모로지 페트urbation 이론을 기반으로 하여 기존의 모어스-보트 코homology 구성—옥스터인-브라움, 후카야, 캐스케이드—를 하나의 프레임워크 내에서 통합한다.
• 형식적인 호모로지 페트urbation 렘마 적용이 최소한의 교차 조건 하에서 잘 정의된 모어스-보트 코homology 이론을 유도함을 확립한다.
• 군 작용을 포함한 등급 모어스-보트 이론으로의 확장을 다루며, 분류 공간 근사에 대한 독립성과 행동 스펙트럼 시퀀스의 존재를 증명한다.
• 임계 함수가 닫힌 다양체 위에 정의된 모어스-보트 함수일 경우, 최소 구성이 일반적인 특이 코homology를 회복함을 검증한다.
• 무한차원 설정에서의 교차 조건을 다루기 위해 이 구성과 폴리폴드 이론을 조합하는 프로그램을 개략적으로 제시한다.

제안 방법

• 임계 다양체와 콪팩티피케이션된 모듈리 공간 위의 미분형식에 대한 역상 및 전상 작용을 사용하여 최소 모어스-보트 코체인 복합체를 구성한다.
• 코체인 복합체의 미분을 유도하기 위해 호모로지 페트urbation 렘마를 적용하며, 전체 구성 과정을 형식적인 HPT 적용으로 간주한다.
• 모듈리 공간의 섬유곱 교차 조건을 최소 가정으로 삼아, 콑팩티피케이션된 플로우 공간 위의 매끄러운 구조를 보장한다.
• 기울기 플로우 라인의 모듈리 공간에 대한 통합을 통해 미분을 정의하며, 각 성분은 각도형식과 구체 배럴의 연결을 포함한다.
• 섬유곱 위의 미분형식의 감소를 각도형식과 대표 클래스를 사용하여 정의함으로써 코homological 계산을 가능하게 한다.
• 군 작용을 포함하기 위해 구성에 군 작용을 통합하고, 분류 공간 근사에 대한 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 세 가지 주요 모어스-보트 코homology 구성—옥스터인-브라움, 후카야, 캐스케이드—는 어떻게 하나의 형식적 프레임워크 내에서 통합될 수 있는가?
• RQ2 형식적인 호모로지 페트urbation 렘마 적용이 얼마나 잘 정의된 모어스-보트 코homology 이론을 유도하는가?
• RQ3 모어스-보트 이론에서 잘 정의된 코체인 복합체를 구성하기 위해 필요한 교차 조건은 무엇인가?
• RQ4 행동 스펙트럼 시퀀스는 모어스-보트 코homology의 맥락에서 어떻게 유도되며, 그 의미는 무엇인가?
• RQ5 최소 모어스-보트 구성은 분류 공간 근사에 대한 독립성을 유지하면서 군형 이론으로 확장될 수 있는가?

주요 결과

• 최소 모어스-보트 코체인 복합체는 형식적인 호모로지 페트urbation 렘마 적용으로 구성되며, 옥스터인-브라움 및 캐스케이드 모델을 통합한다.
• 이 구성은 모어스-보트 함수가 닫힌 다양체 위에 정의된 경우 일반 특이 코homology를 회복하며, 유한차원 사례에서의 정확성을 검증한다.
• 행동 스펙트럼 시퀀스가 존재하고 모어스-보트 코homology로 수렴하며, 플로우 범주 구조와 호환되는 필터링을 제공한다.
• 군 작용이 존재할 경우, 군형 코hom로지가 분류 공간 근사의 선택에 영향을 받지 않으며, 위상적 불변성을 보장한다.
• 코체인 복합체의 미분은 콤팩티피케이션된 모듈리 공간을 통한 미분형식의 전상 및 역상 작용을 통해 정의되며, 각도형식과 연결을 포함하는 성분을 포함한다.
• 대각선 매핑과 섬유곱 위의 통합을 포함하는 핵심 항등식의 증명은 형식의 닫힘성과 감소 대수의 구조에 의존하며, 구성의 코homological 일致성을 확인한다.