[논문 리뷰] Semifree Hamiltonian circle actions on 6-dimensional symplectic manifolds with non-isolated fixed point set

Yunhyung Cho, Taekgyu Hwang외 1명|arXiv (Cornell University)|2010. 05. 03.

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

한 줄 요약

이 논문은 6차원 심플렉틱 다양체 위의 해밀턴 원 작용에 대한 기준을 설정한다: 작용은 정확히 그 감소된 공간의 $ b_2^+ = 1 $일 때 해밀턴적이다. 반면, 고정된 표면을 가진 반자유 해밀턴 작용의 경우, 양의 기하학적 종수를 가진 고정 표면의 수 $ k $ 는 최대 네 개인데, $ k \neq 2 $ 이며, $ k = 0, 1, 3, 4 $ 에 대한 명시적 예제를 구성하고, 이러한 조건 하에서 $ k = 2 $ 는 불가능함을 보인다.

ABSTRACT

Let $(M, ω)$ be a 6-dimensional closed symplectic manifold with a symplectic $S^1$-action with $M^{S^1} eq \emptyset$ and $\dim M^{S^1} \leq 2$. Assume that $ω$ is integral with a generalized moment map $μ$. We first prove that the action is Hamiltonian if and only if $b_2^+(M_{ ed})=1$, where $M_{ ed}$ is any reduced space with respect to $μ$. It means that if the action is non-Hamiltonian, then $b_2^+(M_{ ed}) \geq 2$. Secondly, we focus on the case when the action is semifree and Hamiltonian. We prove that if $M^{S^1}$ consists of surfaces, then the number $k$ of fixed surfaces with positive genera is at most four. In particular, if the extremal fixed surfaces are spheres, then $k$ is at most one. Finally, we prove that $k eq 2$ and we construct some examples of 6-dimensional semifree Hamiltonian $S^1$-manifolds such that $M^{S^1}$ contains $k$ surfaces of positive genera for $k = 0$ and 4. Examples with $k=1$ and 3 were given in \cite{L2}.

연구 동기 및 목표

• 6차원 닫힌 심플렉틱 다양체 위의 심플렉틱 $ S^1 $-작용이 해밀턴적일 조건을 규명하는 것, 특히 고정점 집합이 비이sov된 경우이자 차원이 2 이하인 경우에 중점을 두고.
• 반자유 해밀턴 $ S^1 $-작용 하에서의 고정 표면의 가능한 수와 종수를 분류하는 것.
• $ k = 0, 1, 3, 4 $ 인 경우에 대해 고정점 집합이 $ k $ 개의 양의 기하학적 종수를 가진 표면으로 이루어진 6차원 반자유 해밀턴 $ S^1 $-다양체의 명시적 예제를 구성하고, $ k = 2 $ 가 불가능함을 보이는 것.
• 일반화된 순간 맵을 통한 감소된 공간의 위상구조 분석과 비판적 수준을 넘어서는 동안 심플렉틱 형식과 오일러 클래스의 행동을 분석하는 것.

제안 방법

• 일반화된 순간 맵 $ \mu: M \to S^1 $ 의 사용을 통해 심플렉틱 감소 $ M_\xi = \mu^{-1}(\xi)/S^1 $ 를 정의하고, 이는 잘 정의된 $ b_2^+ $ 를 가진 궤도다양체이다.
• Lin(2010)의 결과를 적용하여 감소된 공간의 베텨리 수 $ b_2^+(M_\xi) $ 와 해밀턴성의 관계를 규명한다.
• 순간 맵의 비판적 수준을 넘어서는 동안 감소된 심플렉틱 형식 $ \omega_t $ 와 오일러 클래스 $ e \in H^2(M_\text{red}) $ 의 변화를 분석한다.
• 주 $ S^1 $-_bundle를 특정 오일러 클래스로 사용하여 비판적 조각과 정규 조각을 붙여 심플렉틱 다양체를 구성한다: 최소, 중간, 최대 조각.
• 기하학적 종수가 1인 룰드 표면의 성질을 이용하여, $ M_\text{red} \cong \Sigma_g \times S^2 $ 이 되기 위한 필요충분조건이 해밀턴성임을 유도한다.
• 일정한 코homology 클래스와 오일러 클래스를 갖는 심플렉틱 형식 $ \omega_t $ 의 가중치를 조절하여 $ \Sigma_g \times S^2 $ 위에서 예제를 명시적으로 구성한다.

실험 결과

연구 질문

• RQ1 6차원 닫힌 심플렉틱 다양체 위의 심플렉틱 $ S^1 $-작용이 고정점 집합이 비이sov되고 차원이 2 이하일 때 해밀턴적일 조건은 무엇인가?
• RQ2 반자유 해밀턴 $ S^1 $-작용 하에서 6차원 심플렉틱 다양체에 나타날 수 있는 양의 기하학적 종수를 가진 고정 표면의 최대 수는 얼마인가?
• RQ3 6차원 반자유 해밀턴 $ S^1 $-다양체가 정확히 두 개의 양의 기하학적 종수를 가진 고정 표면을 가질 수 있는가?
• RQ4 감소된 공간을 특징짓는 위상적 불변량(예: $ b_2^+ $, 오일러 클래스, $ \omega_t $ 의 코homology 클래스)은 무엇인가?
• RQ5 고정점 집합과 감소된 공간의 위상이 주어진 조건을 만족하는 이러한 다양체의 명시적 예제를 어떻게 구성할 수 있는가?

주요 결과

• 모든 정규값 $ \xi $ 에 대해 $ b_2^+(M_\xi) = 1 $ 이면 작용은 해밀턴적이고, 반대로 비해밀턴적일 경우 모든 $ \xi $ 에 대해 $ b_2^+(M_\xi) \geq 2 $ 이다.
• 고정점 집합이 표면으로 이루어진 반자유 해밀턴 $ S^1 $-작용의 경우, 양의 기하학적 종수를 가진 고정 표면의 수 $ k $ 는 최대 네 개인다.
• 양의 기하학적 종수를 가진 고정 표면의 수 $ k $ 는 2가 될 수 없으며, 이는 위상적 장벽이다.
• 예제는 $ k = 0, 1, 3, 4 $ 에 대해 구성되었으며, $ \{0,1,3,4\} $ 의 모든 값이 실현 가능하고, $ k = 2 $ 는 불가능함을 보였다.
• 만약 $ k = 4 $ 이면, 네 개의 고정 표면 모두 같은 종수 $ g $ 를 가져야 하며, 감소된 공간은 $ \Sigma_g \times S^2 $ 와 미분동형이다.
• $ k = 1 $ 인 경우, 극단적 고정 표면은 반드시 구면이어야 하며, 이러한 예제는 존재한다; $ k = 0 $ 인 경우, 고정점 집합은 오직 구면으로 이루어지거나 빈 집합일 수 있다.