[논문 리뷰] Circle and torus actions on equal symplectic blow-ups of CP^2

Yael Karshon, Liat Kessler|arXiv (Cornell University)|2005. 01. 02.

Geometric and Algebraic Topology참고 문헌 20인용 수 12

한 줄 요약

이 논문은 $\mathbb{C}P^2$의 동일한 크기의 심플렉틱 블로우업이 효과적인 원환위 또는 토르스 작용을 가지는 데 필요한 날카운 최상위 위상수학적 및 심플렉틱 조건을 규명한다. 모멘트 맵 이론, 동차 심플렉틱 블로우다운, 그리고 Delzant 분류를 이용하여, $k$개의 동일한 크기의 블로우업은 $k \leq 3$일 때 해밀턴 토르스 작용을 가지며, $(k-1)\epsilon < 1$일 때는 원환위 작용을 가짐을 증명한다. 이 두 경계는 $1/\epsilon$가 정수일 때 최적이며, 이는 최적성의 조건을 만족한다.

ABSTRACT

A manifold obtained by k simultaneous symplectic blow-ups of CP^2 of equal sizes epsilon (where the size of CP^1 \subset CP^2 is one) admits an effective two dimensional torus action if k &lt;= 3 and admits an effective circle action if (k-1)epsilon &lt; 1. We show that these bounds are sharp if 1/epsilon is an integer.

연구 동기 및 목표

• 등차 크기의 $\mathbb{C}P^2$ 심플렉틱 블로우업의 최대 개수를 규명하여 효과적인 토르스 또는 원환위 작용이 존재하는지 확인한다.
• 해밀턴 원환위 작용이 존재하는 데 있어 블로우업 크기 $\epsilon$에 대한 날카운 상한을 설정한다.
• 심플렉틱 및 동차 위상수학을 이용하여 $1/\epsilon$가 정수일 때 이러한 경계가 최적임을 증명한다.
• 블로우업 다각형에서 원환위 또는 토르스 작용의 존재가 심플렉틱 블로우다운을 통해 특정 동차 구조를 암시함을 보인다.
• 일부 블로우업에서 원환위 작용이 존재하지 않는다는 문제를 명시적 반례를 통해 해결한다.

제안 방법

• 모멘트 맵의 이미지인 Delzant 다각형을 이용해 심플렉틱 토르스 다각형을 분류하기 위해 Delzant 정리를 적용한다.
• 모멘트 맵과 Morse-Bott 이론을 사용하여 원환위 작용 하의 고정점 집합과 $\mathbb{Z}_k$-구를 분석한다.
• 고정점 데이터(값, 크기, 종수)를 코딩하는 레이블링된 그래프 불변량을 구성하여 동차 심플렉틱 동형사상에 대해 해밀턴 원환위 작용을 분류한다.
• 교차의 양의 성질을 이용해 각 예외적 분할 클래스 $E_i$가 분해 불가능하고, 유일한 $G$-불변 심플렉틱 구를 지지함을 증명한다.
• 각 $G$-불변 예외적 구를 따라 동차 심플렉틱 블로우다운을 수행하여 다각형을 표준 심플렉틱 형식을 가진 $\mathbb{C}P^2$로 단순화한다.
• 각 블로우다운마다 두 번째 베텔리 수가 1 감소하고 부피가 $\pi^2\epsilon^2$ 증가함을 이용하여, 역과정을 통해 원래의 다각형을 재구성한다.

실험 결과

연구 질문

• RQ1 $\mathbb{C}P^2$의 등차 크기 심플렉틱 블로우업이 해밀턴 토르스 작용을 가지는 최대 개수는 얼마인가요?
• RQ2 등차 크기의 심플렉틱 블로우업에서 해밀턴 원환위 작용이 존재하는 최대 크기 $\epsilon$는 얼마인가요?
• RQ3 $1/\epsilon$가 정수일 때 $k$와 $\epsilon$에 대한 경계가 날카로운가요?
• RQ4 크기가 $1/3$인 예외적 분할 4개를 가진 $\mathbb{C}P^2$의 블로우업에서 심플렉틱 형식이 원환위 작용을 보존할 수 있나요?
• RQ5 블로우업 다각형에서 원환위 작용이 존재하면, 심플렉틱 형식이 표준 형식과 동차 등가임을 의미하는가요?

주요 결과

• 등차 크기의 심플렉틱 블로우업 $k$개로 구성된 심플렉틱 다각형은 $k \leq 3$이면 효과적인 해밀턴 토르스 작용을 가지며, 그 역도 성립한다.
• 동일한 다각형은 $(k-1)\epsilon < 1$일 때에만 효과적인 해밀턴 원환위 작용을 가지며, 그 역도 성립한다. 여기서 $\epsilon$은 각 블로우업의 크기이다.
• $1/\epsilon$가 정수일 때, $k$와 $\epsilon$에 대한 경계는 최적이며, 더 큰 $k$나 더 큰 $\epsilon$는 이러한 작용을 허용하지 않는다.
• $k=4$이고 $\epsilon=1/3$일 때, 블로우업 다각형은 심플렉틱 형식과 원환위 작용을 가질 수 있지만, 어떤 원환위 작용도 이러한 심플렉틱 형식을 보존하지 못한다.
• 각 예외적 분할 클래스 $E_i$는 고유한 $G$-불변 심플렉틱 구를 지지하며, 이러한 구들은 상호로 이산적이고 $G$-불변이다.
• 이러한 구를 따라 동차 심플렉틱 블로우다운을 역순으로 수행하면 원래의 표준 심플렉틱 형식을 가진 $\mathbb{C}P^2$로 재구성되며, 이는 분류의 정당성을 입증한다.