[논문 리뷰] Floer mini-max theory, the Cerf diagram, and the spectral invariants

Yong‐Geun Oh|arXiv (Cornell University)|2004. 06. 23.

Geometric and Algebraic Topology참고 문헌 11인용 수 4

한 줄 요약

이 논문은 비유리 쌍형다양체 위에서 플로어 homology의 스펙트럴 불변량에 대한 스펙트럴 성질 공리(axiom)를 새롭게 개발한 체인 수준의 플로어 미니맥스 이론을 통해 수립한다. 비퇴화 해밀토니안에 대해 스펙트럴 불변량 $\rho(H;a)$가 행동 함수의 임계값임을 증명하며, 세르프 호모토피 프레임워크, 핸들 이동 보조정리, 그리고 전방성 기법을 사용한다. 또한 스펙트럴 불변량 함수가 해밀턴 군의 기본군의 분해표면인 $\chi\tilde{Ham}(M,\omega)$로 연속적으로 내림을 보여준다.

ABSTRACT

The author previously defined the spectral invariants, denoted by $ρ(H;a)$, of a Hamiltonian function $H$ as the mini-max value of the action functional $Å_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class $a$. The spectrality axiom of the invariant $ρ(H;a)$ states that the mini-max value is a critical value of the action functional $Å_H$. The main purpose of the present paper is to prove this axiom for {\it nondegenerate} Hamiltonian functions in {\it irrational} symplectic manifolds $(M,ω)$. We also prove that the spectral invariant function $ρ_a: H \mapsto ρ(H;a)$ can be pushed down to a {\it continuous} function defined on the universal ({\it étale}) covering space $\widetilde{Ham}(M,ω)$ of the group $Ham(M,ω)$ of Hamiltonian diffeomorphisms on general $(M,ω)$. For a certain generic homotopy, which we call a {\it Cerf homotopy} $\HH = \{H^s\}_{0 \leq s\leq 1}$ of Hamiltonians, the function $ρ_a \circ \HH: s \mapsto ρ(H^s;a)$ is piecewise smooth away from a countable subset of $[0,1]$ for each non-zero quantum cohomology class $a$. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a {\it family version} of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the {\it Floer mini-max theory}.

연구 동기 및 목표

• 비유리 쌍형다양체 위에서 비퇴화 해밀토니안에 대해 스펙트럴 불변량 $\rho(H;a)$가 행동 함수 $\mathcal{A}_H$의 임계값임을 증명하는 것.
• 스펙트럴 불변량 함수 $\rho_a: H \mapsto \rho(H;a)$를 해밀턴 군의 기본군의 분해표면인 $\widetilde{Ham}(M,\omega)$ 위로 연속 함수로 확장하는 것.
• 일반적인 세르프 호모토피 $\mathcal{H} = \{H^s\}_{0 \leq s \leq 1}$ 에서 $\rho_a \circ \mathcal{H}$의 조각별 미분 가능성(piecewise smoothness)을 증명하며, 가산 집합 외의 매개변수에서 성립함을 보이는 것.
• 일차 파라미터 가중 해밀토니안 가중족에 대해 새로운 체인 수준 플로어 이론—'플로어 미니맥스 이론'—을 개발하며, 노비코프 플로어 사이클에 대한 새로운 전방성 및 분기 구조 정리들을 제시하는 것.
• 세르프 가중족에서 노비코프 플로어 사이클에 대해 핸들 이동 보조정리를 수립하여, 분기 동안 사이클 행동을 제어할 수 있도록 하는 것.

제안 방법

• 일반적인 일차 파라미터 해밀토니안 가중족에서 $\mathcal{A}_H$의 임계값의 세르프 분기 다이어그램에 대한 구조 정리 수립.
• 이러한 가중족에 대해 노비코프 플로어 사이클에 대한 일반적인 구조 정리와 핸들 이동 보조정리를 도입하여, 분기 동안의 위상적 제어를 보장하는 것.
• 플로어 체인 사상에 관여하는 가족형 전방성 진술을 적용하여, 편향에 의한 체인 복합체의 정규성과 안정성을 보장하는 것.
• 노비코프 플로어 사이클의 '긴장도(tightness)'에 대한 매개변수적 안정성 추론을 사용하여, 양각 곡선에서 수렴성과 버블링을 제어하는 것.
• 에너지 감소와 컴actness 원리를 이용한 모순 증명을 통해, 비표준 플로어 궤도는 반드시 표준 실린더와 호모토피임을 증명하는 것.
• 소규모 에너지와 유한한 에너지 차이를 가진 플로어 궤도에 대해 $C^2$-편향 추론을 적용하여, 정적 해로 수렴함을 보이며, 그렇지 않으면 표준 궤도가 아님을 모순으로 이끌어내는 것.

실험 결과

연구 질문

• RQ1 비유리 쌍형다양체 위에서 비퇴화 해밀토니안에 대해 스펙트럴 불변량 $\rho(H;a)$는 행동 함수 $\mathcal{A}_H$의 임계값인가?
• RQ2 스펙트럴 불변량 함수 $\rho_a$는 해밀턴 군의 기본군의 분해표면인 $\widetilde{Ham}(M,\omega)$로 연속적으로 확장될 수 있는가?
• RQ3 일반적인 일차 파라미터 해밀토니안 가중족(세르프 호모토피)을 따라 스펙트럴 불변량 $\rho(H^s;a)$는 어떻게 행동하는가?
• RQ4 일반적인 일차 파라미터 해밀토니안 가중족 하에서 노비코프 플로어 사이클의 구조는 어떠한가? 그리고 분기 과정에서 어떻게 변화하는가?
• RQ5 세르프 가중족의 맥락에서 노비코프 플로어 사이클에 대해 핸들 이동 보조정리를 수립할 수 있으며, 이는 체인 수준 플로어 이론에 어떤 함의를 갖는가?

주요 결과

• 비유리 쌍형다양체 위에서 비퇴화 해밀토니안에 대해 스펙트럴 성질 공리가 성립한다: $\rho(H;a)$는 $\mathcal{A}_H$의 임계값이다.
• 스펙트럴 불변량 함수 $\rho_a$는 기본군의 분해표면인 $\widetilde{Ham}(M,\omega)$ 위로 잘 정의된 연속 함수로 내림된다.
• 임의의 영이 아닌 양자 코homology 클래스 $a$에 대해, 매개변수 $s \mapsto \rho(H^s;a)$는 $[0,1]$에서 가산 집합 외의 점들에서 조각별 미분 가능하다.
• 일반적인 일차 파라미터 가중족 하에서 $\mathcal{A}_H$의 임계값 세르프 분기 다이어그램은 잘 정의된 유한형 특이점 집합을 갖는다.
• 노비코프 플로어 사이클에 대해 핸들 이동 보조정리가 수립되었으며, 이는 소규모 에너지 및 편향 조건 하에서 비표준 플로어 궤도는 반드시 표준 실린더와 호모토피임을 보여준다.
• 에너지 감소와 컴팩트니스 추론에 의해, 에너지가 0으로 수렴하고 에너지 차이가 유계인 플로어 궤도의 수열은 반드시 정적 해로 수렴하며, 그렇지 않으면 궤도가 표준이 아님을 모순으로 이끌어낸다.