호퍼 거리에서 고차원 심플렉틱 군의 복잡성

초록

본 논문은 조건(*)을 만족하는 고차원 심플렉틱 다양체 (M, ω) 에 대해, Hofer 거리에서 임의의 큰 반경을 갖는 구가 k제곱 집합 Hamₖ(M, ω) 또는 자율 변환 Aut(M, ω) 와 전혀 겹치지 않음을 보인다. 또한 모든 비주요 초극한(cone)에서 자유군 F₂ 가 정확히 삽입될 수 있음을 증명함으로써 Ham(M, ω)의 대규모 기하학적 복잡성을 드러낸다.

상세 분석

이 연구는 Hofer 거리라는 비가역적이면서도 양변이 불변인 메트릭을 이용해 Hamiltonian 군 Ham(M, ω) 의 구조적 ‘크기’를 정량화한다. 기존에는 표면 Σ_g 또는 그 곱 Σ_g × M′ 에 대해 자율 변환이나 k제곱 변환이 Hofer 구 안에 충분히 풍부하지 않다는 결과가 알려져 있었다. 그러나 그 예들은 대부분 차원이 2인 경우에 국한되었으며, 구성된 변환이 기본적으로 곱 형태이기 때문에 동역학적 복잡성이 제한적이었다.

본 논문은 조건(*)—즉, 두 개의 라그랑지안 토러스 T₁, T₂ 가 교차하고, 이들의 기본군이 π₁(M) 에 자유적으로 삽입되며, 특정 비자명 루프에 대해 α‑atoroidal 성질을 갖는—을 만족하는 고차원 다양체를 대상으로 한다. 이러한 다양체는 플러밍(plumbing)된 코탄젠트 번들, 표면 번들, Luttinger 수술을 통한 변형, 그리고 심플렉틱 합을 통해 구체적으로 구성된다.

핵심 기술은 ‘연결된 트위스트 맵(linked twist map)’을 이용해 Hamiltonian 변환 τ(N,w) 을 정의하고, 이를 통해 생성되는 주기궤도들의 자유동형 클래스와 행동(action) 값을 정밀히 분석하는 것이다. Floer 이론의 경계 깊이 βₐ(φ) 와 Zₖ 스펙트럴 스프레드 개념을 활용해, 특정 자유동형 클래스 γ_N 에 속한 고정점들의 행동 차이가 일정한 하한 δ_N>0 을 갖는 것을 증명한다. 이 행동 차이는 Hofer 노름과 직접적인 관계가 있기에, τ(N,w) 와 어떤 k제곱 변환 사이의 Hofer 거리 ‑