[논문 리뷰] Arnold Conjecture and Morava K-theory

Mohammed Abouzaid, Andrew J. Blumberg|arXiv (Cornell University)|2021. 03. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 28인용 수 9

한 줄 요약

이 논문은 모라바 K-이론을 사용하여 아르놀트 추측의 강력한 형태를 증명한다. 이는 플로어 궤적의 모듈리 공간의 안정적 복소 구조를 통해 스펙트럴 카테고리 이론을 정의하고, 플로어 호모토피 이론을 구축함으로써 이루어진다. 이는 모라바 K-이론 호모로지 $ H_*(M; K(n)) $ 의 랭크가 비퇴화된 주기적 해밀턴 궤적의 수보다 작지 않음을 보여주며, 이는 심플렉틱 토폴로지 분야의 이전 결과들을 일반화하고 코헨-존슨-세갈의 플로어 호모토피 이론에 대한 비전을 실현한다.

ABSTRACT

We prove that the rank of the cohomology of a closed symplectic manifold with coefficients in a field of characteristic $p$ is smaller than the number of periodic orbits of any non-degenerate Hamiltonian flow. Following Floer, the proof relies on constructing a homology group associated to each such flow, and comparing it with the homology of the ambient symplectic manifold. The proof does not proceed by constructing a version of Floer's complex with characteristic $p$ coefficients, but uses instead the canonical (stable) complex orientations of moduli spaces of Floer trajectories to construct a version of Floer homology with coefficients in Morava's $K$-theories, and can thus be seen as an implementation of Cohen, Jones, and Segal's vision for a Floer homotopy theory. The key feature of Morava K-theory that allows the construction to be carried out is the fact that the corresponding homology and cohomology groups of classifying spaces of finite groups satisfy Poincaré duality.

연구 동기 및 목표

• 일반화된 코homology 이론을 사용하여 주기적 해밀턴 궤적의 수에 대한 심플렉틱 토폴로지적 하한을 설정하는 것.
• 코헨, 존슨, 세갈이 제시한 플로어 호모토피 이론의 비전을 실현하기 위해, 모라바 K-이론 계수를 갖는 플로어 homology의 한 형태를 구축하는 것.
• 유한군 분류공간의 모라바 K-이론 코homology의 푸앵카레 dualit성 특성을 활용하여 잘 정의된 플로어 호모로지 이론을 구성할 수 있도록 하는 것.
• 후카다-오노 및 류-티엔의 이전 결과들을 임의의 특성 p를 갖는 체로 일반화하여 아르놀트 추측을 확장하는 것.
• 가상 기본 체인과 매개변수 스펙트럼을 사용하여 해밀턴 플로어 이론에 대한 호모토피 이론적 프레임워크를 제공하는 것.

제안 방법

• 해밀턴 함수의 플로우 카테고리에서 가상 기본 체인을 사용하여 모라바 K-이론에서의 스펙트럴 카테고리 구축.
• 플로어 궤적의 모듈리 공간에 대한 안정적 복소 구조를 사용하여 모라바 K-이론에서의 표준적인 방향성 정의.
• 스펜이어-화이트헤드 대칭성과 매개변수 스펙트럼을 적용하여 주변 다양체의 호모로지와 플로우의 플로어 호모로지를 연결.
• 쿠라니시 플로우 카테고리와 가상 코チェ인의 일관된 체계를 사용하여, 모라바 K-이론 계수를 갖는 잘 정의된 플로어 호모로지 이론 정의.
• 아티야-히르체브루흐 스펙트럴 시퀀스를 사용하여 모라바 K-이론 호모로지와 특성 p 체 계수를 갖는 일반 호모로지 사이의 관계 설정.
• 가상 코체인 복합체와 플로어 체인 복합체 사이의 비교를 스펙트럴 카테고리의 DK-동치를 통해 수립.

실험 결과

연구 질문

• RQ1 일반화된 코homology 이론, 특히 모라바 K-이론을 사용하여 일반 코homology 대신 아르놀트 추측을 증명할 수 있는가?
• RQ2 플로어 궤적의 모듈리 공간의 안정적 복소 구조를 사용하여 플로어 호모토피 이론을 어떻게 구성할 수 있는가?
• RQ3 모라바 K-이론에서의 푸앵카레 대칭성이 잘 정의된 플로어 호모로지 이론의 구성에 어떤 역할을 하는가?
• RQ4 비퇴화된 해밀턴 플로우의 주기 궤적 수는 다양체의 모라바 K-이론 호모로지의 랭크에 의해 아래에서 유계일 수 있는가?
• RQ5 쿠라니시 플로우 카테고리에서의 가상 기본 체인을 사용하면 플로어 호모로지와 일반화된 코homology에서의 다양체 호모로지 사이에 어떤 비교가 가능한가?

주요 결과

• 모라바 K-이론 호모로지 $ H_*(M; K(n)) $ 의 랭크는 $ F_p[v_n^{/pm}] $-모듈로 보아, 임의의 시간 1 플로우의 비퇴화된 주기적 해밀턴 궤적의 수보다 크지 않다.
• 만일 충분히 큰 $ n $ 에 대해 $ 2(p^n - 1) > \dim M $ 를 만족할 경우, 모라바 K-이론 호모로지 $ H_*(M; K(n)) $ 는 $ H_*(M; F_p) \otimes_{F_p} K(n)_* $ 와 같은 랭크를 가지며, 이는 특성 $ p $ 를 갖는 임의의 체 계수를 갖는 일반 호모로지의 랭크와 일치한다.
• 모듈리 공간의 안정적 복소 구조를 통해 모라바 K-이론 계수를 갖는 플로어 호모로지 이론이 구성되며, 이는 특성 $ p $ 를 갖는 플로어 복합체가 필요로 하지 않는다는 것을 의미한다.
• 증명 과정에서 가상 코체인 복합체의 스펙트럴 카테고리와 플로어 체인 복합체 사이의 DK-동치가 수립되어, 호모토피 유형 간 비교가 가능해진다.
• 매개변수 스펙트럼과 일관된 가상 코체인 체계의 사용은 다양한 플로우 카테고리 간의 호환성과 유한성을 보장한다.
• 결과적으로 추론 1.2가 도출된다: 특성 $ p $ 를 갖는 임의의 체 $ k $ 계수를 갖는 일반 호모로지 $ H_*(M; k) $ 의 랭크는 주기 궤적의 수보다 작지 않다.