[논문 리뷰] Mini-max theory, spectral invariants and geometry of the Hamiltonian diffeomorphism group

Yong‐Geun Oh|ArXiv.org|2002. 06. 10.

Geometric and Algebraic Topology참고 문헌 21인용 수 15

한 줄 요약

이 논문은 임의의 컴acts 심플렉틱 다양체 위에서 해밀토니안 미분형사에 대한 스펙트럴 불변량을 도입하며, 수축 가능한 루프 공간의 범죄복수에서의 노비코프 사이클을 통한 미니맥스 이론을 사용한다. 이러한 불변량을 통해 연속적인 불변량 노름을 구성함으로써, 호퍼 노름에 대한 새로운 하한을 증명하고 호퍼 노름의 준국소적 $C^1$-평탄성을 확립한다.

ABSTRACT

In this paper, we first develop a mini-max theory of the action functional over the semi-infinite cycles via the chain level Floer homology theory and construct spectral invariants of Hamiltonian diffeomorphisms on arbitrary compact symplectic manifold (M,omega). To each given time dependent Hamiltonian function H and quantum cohomology class 0 not equal a element of QH^*(M), we associate an invariant rho(H;a) which varies continuously over H in the C^0-topology. This is obtained as the mini-max value over the semi-infinite cycles whose homology class is `dual' to the given quantum cohomology class a on the covering space \widetilde Omega_0(M) of the contractible loop space Omega_0(M). We call them the Novikov cycles. We then use the spectral invariants to construct a new invariant norm on the Hamiltonian diffeomorphism group and a partial order on the set of time-dependent Hamiltonian functions of arbitrary compact symplectic manifolds. As some applications, we obtain a new lower bound of the Hofer norm of non-degenerate Hamiltonian diffeomorphisms in terms of the area of certain pseudo-holomorphic curves and prove the semi-global C^1-flatness of the Hofer norm.

연구 동기 및 목표

• 임의의 컴팩트 심플렉틱 다양체 위에서 체인 수준의 플로어 homology를 통한 반무한 사이클 위에서 작용 함수기능에 대한 미니맥스 이론을 개발한다.
• 시간에 의존하는 해밀토니안 $H$와 0이 아닌 양자 코호몰로지 클래스 $a \in QH^*(M)$에 대해 스펙트럴 불변량 $\rho(H; a)$를 정의하고, $C^0$-연속성을 확보한다.
• 플로어 homology에서 유도된 스펙트럴 불변량을 사용하여 해밀토니안 미분형사군에 대한 불변량 노름을 구성함으로써 호퍼 기하학을 일반화한다.
• 일부 페르소-홀로모르픽 곡선의 심플렉틱 면적에 대한 호퍼 노름에 대한 새로운 하한을 확립한다.
• 스펙트럴 불변량과 해밀토니안 피브레이션을 사용하여 호퍼 노름의 준국소적 $C^1$-평탄성을 증명한다.

제안 방법

• 해밀토니안 미분형사군의 범죄복수 $\widetilde{\Omega}_0(M)$에서의 수축 가능한 루프 공간의 노비코프 사이클을 통해 주어진 양자 코호몰로지 클래스 $a$에 대응하는 반무한 사이클 위에서의 미니맥스 값으로 스펙트럴 불변량 $\widetilde{\rho}(H; a)$를 구성한다.
• 필터링된 플로어 호몰로지와 노비코프 사이클의 연결 성질을 사용하여 불변량의 유한성과 스펙트랄성을 보장한다.
• 해밀토니안 피브레이션을 통한 삼각 부등식을 활용하여 $\phi \in \mathrm{Ham}(M,\omega)$에 대해 $\|\phi\|_\rho = \inf_H \rho(H; a)$로 불변량 노름 $\|\phi\|_\rho$를 정의한다.
• 고정된 모노드로미를 갖는 해밀토니안 피브레이션과 페르소-홀로모르픽 섹션 이론을 적용하여 삼각 부등식을 증명하고 $K$-영역을 제어한다.
• 연속적인 선형 함수형을 갖는 코호몰로지적으로 잘 정의된 설정으로 확장하기 위해 유계 양자 코호몰로지 $QH^*_{bdd}(M)$를 도입한다.
• 엔토프의 $K$-영역 프레임워크와 해밀토니안 피브레이션의 연결을 사용하여 스펙트럴 불변량과 호퍼-길이 유형 양과의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 행동 함수기능이 다가값인 비정확한 심플렉틱 다양체 위에서 해밀토니안 미분형사에 대한 스펙트럴 불변량은 어떻게 정의할 수 있는가?
• RQ2 플로어 호몰로지에서 유도된 스펙트럴 불변량을 사용하여 $\mathrm{Ham}(M,\omega)$ 위에 연속적이고 불변적인 노름을 구성할 수 있는가?
• RQ3 호퍼 노름과 페르소-홀로모르픽 곡선의 심플렉틱 면적 사이의 관계는 무엇이며, 이는 하한을 도출하는 데 기여할 수 있는가?
• RQ4 스펙트럴 불변량과 해밀토니안 피브레이션의 맥락에서 호퍼 노름의 $C^1$-평탄성은 어떻게 나타나는가?
• RQ5 스펙트럴 불변량은 유계 양자 코호몰로지 클래스로 확장될 수 있으며, 이는 노름의 불변성과 연속성에 어떤 영향을 미치는가?

주요 결과

• 스펙트럴 불변량 $\rho(H; a)$는 시간에 의존하는 해밀토니안의 공간에서 $C^0$-위상에서 잘 정의되고 연속적이다.
• 스펙트럴 불변량을 사용하여 해밀토니안 미분형사군 $\mathrm{Ham}(M,\omega)$ 위에 새로운 불변량 노름 $\|\phi\|_\rho$를 구성하였으며, 해밀토니안 피브레이션 기법을 통해 삼각 부등식을 만족한다.
• 비퇴화된 해밀토니안 미분형사의 호퍼 노름에 대한 새로운 하한이 특정 페르소-홀로모르픽 곡선의 심플렉틱 면적에 의해 확립된다.
• 스펙트럴 불변량과 해밀토니안 피브레이션의 $K$-영역 프레임워크를 사용하여 호퍼 노름의 준국소적 $C^1$-평탄성이 증명된다.
• 스펙트럴 불변량은 유계 양자 코호몰로지 클래스 $QH^*_{bdd}(M)$로 확장되며, 이는 불변량의 코호몰로지적으로 강건한 표현을 가능하게 한다.
• 이 구성은 플로어 이론적이고 기하학적인 방법을 통해 비트로의 불변량과 호퍼의 노름을 임의의 컴팩트 심플렉틱 다양체로 일반화한다.