[논문 리뷰] CHERN CLASSES AND SYMPLECTIC CIRCLE ACTIONS.

Yunhyung Cho, Min Kyu Kim외 1명|arXiv (Cornell University)|2013. 01. 01.

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

한 줄 요약

이 논문은 닫힌 심플렉틱 다양체에서 심플렉틱 원 작용과 체른 클래스 사이의 관계를 조사한다. 만약 닫힌 심플렉틱 다양체 (M, ω)가 c₁(M) = λ·[ω] 를 만족하고 어떤 실수 λ ∈ ℝ 에 대해 성립하며, 심플렉틱 원 작용을 갖는다면 λ ≥ 0 이어야 하며, 특히 작용이 해밀토니안이 아니라면 λ 는 반드시 0 이어야 한다. 이 결과는 고차원으로의 고전적 2차원 결과의 일반화이다.

ABSTRACT

Let (M,!) be a two dimensional closed symplectic manifold. Then it is a well-known fact that if M admits a symplectic circle action, then M is diffeomorphic to S 2 or S 1 × S 1 . For each case, any symplectic circle action on S 2 is always Hamiltonian and the first Chern class c1(S 2 ) is positively proportional to (!), and any symplectic circle action on S 1 × S 1 is non-Hamiltonian and c1(S 1 × S 1 ) = 0. For the case when (M,!) is a symplectic surface with genus greater than one, c1(M) is negatively proportional to (!). In this paper, we extended this result in higher dimensional cases. More precisely, let (M,!) be a closed symplectic manifold satisfying c1(M) = � · (!) for some real number � ∈ R. We prove that if (M,!) admits a symplectic circle action, then � ≥ 0. Also, we prove that if the action is non-Hamiltonian, thenshould be 0.

연구 동기 및 목표

• 2차원에서 알려진 심플렉틱 원 작용에 대한 결과를 고차원의 닫힌 심플렉틱 다양체로 일반화하는 것.
• 심플렉틱 원 작용이 존재할 때 제1 체른 클래스 c₁(M) 과 심플렉틱 형식 ω 사이의 관계를 조사하는 것.
• 심플렉틱 원 작용이 존재할 조건 하에서 c₁(M) = λ·[ω] 에서 비례 상수 λ 의 부호와 값을 규명하는 것.
• 해밀토니안과 비해밀토니안 심플렉틱 원 작용 간의 차이를 체른 클래스 행동 측면에서 명확히 하는 것.

제안 방법

• c₁(M) = λ·[ω] 를 만족하는 실수 λ 가 존재한다고 가정함으로써, 다양체의 위상적 제약 조건을 모델링하는 데서 분석을 시작한다.
• 등변 코hom올로지와 원 작용의 성질을 이용하여 고정점 집합과 이소트로피 표현을 분석한다.
• 아티야-보트-버그린-버그네 국소화 공식을 적용하여 다양체 위의 적분을 고정점 데이터로 표현한다.
• 국소화 공식에서 유도되는 일정한 적분의 음이 아닌 성질에 기반하여 λ ≥ 0 을 도출한다.
• 비해밀토니안 작용의 경우, 순간 맵이 존재하지 않음으로써 λ = 0 이어야 한다는 것을 증명한다.
• 비해밀토니안 작용은 ω 의 코hom올로지 클래스에서 제1 체른 클래스가 자명하다는 사실을 증명에 활용한다.

실험 결과

연구 질문

• RQ1 닫힌 심플렉틱 다양체 (M, ω) 가 심플렉틱 원 작용을 갖기 위해 체른 클래스 c₁(M) 에 어떤 조건이 필요할까?
• RQ2 심플렉틱 원 작용이 존재할 때 관계 c₁(M) = λ·[ω] 에서 실수 λ 의 부호는 무엇인가?
• RQ3 c₁(M) 이 [ω] 와 비례하고 λ ≠ 0 인 다양체에서 비해밀토니안 심플렉틱 원 작용이 존재할 수 있는가?
• RQ4 비례 상수 λ 는 작용의 해밀토니안 또는 비해밀토니안 성격과 어떻게 관련이 있는가?

주요 결과

• 만약 (M, ω) 가 c₁(M) = λ·[ω] 를 만족하고 심플렉틱 원 작용을 갖는 닫힌 심플렉틱 다양체라면, λ 는 반드시 음이 아닌 값이어야 한다.
• 비해밀토니안 심플렉틱 원 작용의 경우, 비례 상수 λ 는 정확히 0 이어야 한다.
• 이 결과는 고전적인 2차원 사례를 일반화하며, S² 는 양의 λ 를 가지며 S¹×S¹ 는 λ = 0 을 가진다.
• 고차원에서는 심플렉틱 원 작용의 존재성이 λ ≥ 0 이라는 제약 조건을 유도하며, 이는 필수적인 조건이다.
• 심플렉틱 원 작용이 존재하는 한, 체른 클래스 c₁(M) 은 [ω] 와 음의 비례관계를 가질 수 없다.
• 비해밀토니안 작용의 경우 λ = 0 이라는 조건은 c₁(M) 이 [ω] 와 비례할 때 이러한 작용이 존재하지 않는 위상적 차단 조건을 제공한다.