[논문 리뷰] Action Selectors and the Fixed Point Set of a Hamiltonian Diffeomorphism

Wyatt Howard|arXiv (Cornell University)|2012. 11. 02.

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

한 줄 요약

이 논문은 닫힘, 유리수이며 약한 단조성을 만족하는 심플렉틱 다양체 위에서 해밀턴 미분형사의 작용 스펙트럼이 루지에르스키-시렐만 이론이 예측하는 것보다 작을 경우, 고정점 집합이 비자명한 코homology를 가져야 한다고 규명한다. 스펙트럼 불변량과 양자 코homology를 사용하여, 이러한 조건이 고정점 집합이 양의 차수에서 비자명한 코homology를 지닌다는 것을 증명하며, 이는 비대칭 케이스에서 아르노르드 추측을 일반화한다.

ABSTRACT

In this paper we study the size of the fixed point set of a Hamiltonian diffeomorphism on a closed symplectic manifold which is both rational and weakly monotone. We show that there exists a non-trivial cycle of fixed points whenever the action spectrum is smaller, in a certain sense, than required by the Ljusternik-Schirelman theory. For instance, in the aspherical case, we prove that when the number of points in the action spectrum is less than or equal to the cup length of the manifold, then the cohomology of the fixed point set must be non-trivial. This is a consequence of a more general result that is applicable to all weakly monotone manifolds asserting that the same is true when the action selectors are related by an equality of the Ljusternik-Schirelman theory.

연구 동기 및 목표

• 루지에르스키-시렐만 이론이 예측하는 것보다 작용 스펙트럼이 작은 닫힘, 유리수이며 약한 단조성을 만족하는 심플렉틱 다양체 위에서 해밀턴 미분형사의 고정점 집합의 크기와 위상적 복잡도를 이해하는 것.
• 고정점이 고립되어 있지 않을 경우, 비자명한 코homology를 가져야 한다는 사실을 보여줌으로써 아르노르드 추측을 고립된 고정점 이외의 경우로 확장하는 것.
• 작용 선택자, 양자 코homology, 그리고 심플렉틱 다양체의 고정점 집합의 위상간의 관계를 설정하는 것.
• 비대칭 케이스에서의 결과를 더 넓은 범주인 유리수이며 약한 단조성을 만족하는 심플렉틱 다양체로 일반화하는 것.

제안 방법

• 주기 궤도와 그 스펙트럼 불변량을 분석하기 위해 필터링된 플로어 homology와 cohomology를 사용한다.
• 양자 코homology와 양자 곱을 적용하여, 등식 $ c^{\alpha * \beta}(H) = c^{\alpha}(H) - I^{c}_{\omega}(\beta) $ 를 통해 코homology 클래스와 작용 선택자 간의 관계를 규명한다.
• 플로어 이론에서 스펙트럼 불변량을 통해 정의된 작용 선택자 $ c^\alpha(H) $ 를 사용하여 비자명한 고정점 집합을 탐지한다.
• 루지에르스키-시렐만 이론을 적용하여, 작용 스펙트럼의 점 수와 다양체의 컵 길이를 비교한다.
• $ C^0 $-위상에서의 컴 pact성과 수렴성 추론을 적용하여, 주기 궤도의 수열이 원래 해밀턴 함수의 고정점으로 수렴함을 보인다.
• 패럴라이스-스마일 조건과 균일한 리프시츠 유계성을 활용하여 고리의 수렴하는 부분수열을 추출한다.

실험 결과

연구 질문

• RQ1 유리수이며 약한 단조성을 만족하는 심플렉틱 다양체 위에서 해밀턴 미분형사의 고정점 집합이 비자명한 코homology를 가지는 조건은 무엇인가?
• RQ2 작용 스펙트럼의 크기는 고정점 집합의 위상과 어떤 관계가 있는가?
• RQ3 스펙트럼 불변량과 양자 코homology는 작용 스펙트럼이 컵길이보다 작을 경우 비고립 고정점들을 탐지할 수 있는가?
• RQ4 등식 $ c^{\alpha * \beta}(H) = c^{\alpha}(H) - I^{c}_{\omega}(\beta) $ 는 고정점 집합의 비자명성을 강제하는 데 어떤 역할을 하는가?
• RQ5 비대칭 케이스에서 $ \#\mathcal{S}(H) < CL(M)+1 $ 이면 어떤 $ j \geq 1 $ 에 대해 $ H^j(F) \neq 0 $ 이 성립하는가?

주요 결과

• 비대칭 케이스에서 $ \#\mathcal{S}(H) < CL(M)+1 $ 이면, 어떤 $ 1 \leq j \leq 2n $ 에 대해 $ H^j(F) \neq 0 $ 이며, 이는 고정점 집합이 비자명한 코homology를 지닌다는 것을 의미한다.
• 유리수이며 약한 단조성을 만족하는 다양체에서, $ c^{\alpha * \beta}(H) = c^{\alpha}(H) - I^{c}_{\omega}(\beta) $ 이고 $ \alpha \neq 0 $, $ \deg(\beta) > 0 $ 이면, $ \beta|_F \neq 0 $ 이며 $ HQ^*(F) $ 에서 비자명하다. 이는 $ F $ 가 비자명한 코homology를 지닌다는 것을 의미한다.
• 비대칭 케이스에서, $ c^{\alpha \cup \beta}(H) = c^{\alpha}(H) $ 이고 $ \deg(\beta) > 0 $ 이면 $ H^{\deg(\beta)}(F) \neq 0 $ 이며, 이는 아르노르드 추측을 고립된 고정점 이외의 경우로 일반화한다.
• 증명은 원래 해밀턴 함수의 고정점으로 수렴하는 주기 궤도 수열의 수렴성을 기반으로 하며, 이는 $ C^0 $-수렴성과 미분방정식의 유일성에 의존한다.
• 편미분된 해밀턴 함수의 주기 궤도의 극한으로 얻어진 고정점 $ p $ 는 이웃 $ U^a_\delta $ 밖에 있다. 만약 $ p \in U^a_\delta $ 라면 모순이 발생하므로, 작용 $ a $ 를 가진 고정점이 존재함을 증명한다.
• 결과적으로 스펙트럼 불변량, 양자 코homology, 고정점 집합의 위상 간의 깊은 연결고리를 확립하며, 비대칭 케이스에서 비터보의 임계값 선택자 결과를 해밀턴 설정으로 일반화한다.