[논문 리뷰] Maximal tori in the symplectomorphism groups of Hirzebruch surfaces

Yael Karshon|ArXiv.org|2002. 04. 30.

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

한 줄 요약

이 논문은 히르체브루흐 표면인 $S^2 \times S^2$ 및 $ʹ\mathbb{C}P^2$의 해밀토니안 심플렉토모르피즘 군에서 최대 아벨 군의 공轭류를 분류한다. 딜자노 폴리토프와 $Γ\mathrm{AGL}(2,\mathbb{Z})$-동치를 사용하여, 심플렉틱 형식 $ω_{a,b}$를 가진 $S^2 \times S^2$의 경우 공轭류의 수는 $\lceil a/b \rceil$이며, 심플렉틱 형식 $ω_{l,e}$를 가진 $ʹ\mathbb{C}P^2$의 경우 $\lceil e/(l-e) \rceil$임을 보이며, 심플렉틱 불변량에 기반한 정확한 수를 확립한다.

ABSTRACT

We count the conjugacy classes of maximal tori in the groups of symplectomorphisms of S^2 imes S^2 and of the blow-up of CP^2 at a point.

연구 동기 및 목표

• 해밀토니안 심플렉토모르피즘 군 $Σ\operatorname{Ham}(S^2 \times S^2, \omega_{a,b})$ 및 $Σ\operatorname{Ham}(\widetilde{\mathbb{C}P}^2, \widetilde{\omega}_{l,e})$에서 최대 아벨 군의 공轭류 수를 결정하는 것.
• 모멘트 맵 이미지의 기하학과 딜자노 폴리토프를 이용하여 이러한 아벨 군을 분류하는 것.
• 심플렉틱 불변량(예: 심플렉틱 면적)과 공轭류에 대해 서로 다른 아벨 군 작용의 수 사이의 대응 관계를 설정하는 것.
• 두 번째 베티 수가 작은 심플렉틱 4차원 다각형에서 아벨 군 작용의 다중성에 관한 오랜 숙제를 해결하는 것.

제안 방법

• 논문은 볼록 다각형이 유리 꼭짓점과 정수 법선을 가지며 해밀토니안 아벨 군 작용을 분류하는 딜자노의 분류를 사용한다.
• 심플렉토모르피즘과 토러스의 재매개변수화에 대해 모멘트 맵 이미지를 $Γ\mathrm{AGL}(2,\mathbb{Z})$-동치에 따라 분류한다.
• 관련 심플렉틱 다양체를 정수 매개변수 $m \geq 0$를 가진 히르체브루흐 사다리형으로 특성화하며, 이는 $S^2 \times S^2$(짝수 $m$)와 $ʹ\mathbb{C}P^2$(홀수 $m$)에 대응한다.
• 사다리형이 존재하기 위한 $a, b, l, e$에 대한 조건을 유도하며, 이는 $a/b > m/2$ 및 $e/(l-e) > m/2$라는 조건을 요구한다.
• 모든 최대 아벨 군이 이러한 사다리형 모멘트 맵에서 유래됨을 증명하며, 딜자노 다각형의 변 수가 $2 + b_2(M)$와 같다는 사실을 활용한다.
• 모어스-보트 이론과 고정점 집합의 구조를 활용하여 베티 수와 고정 표면 및 고정점의 수를 연결한다.

실험 결과

연구 질문

• RQ1 심플렉틱 형식 $ω_{a,b}$를 가진 $Σ\operatorname{Ham}(S^2 \times S^2, \omega_{a,b})$에서 $a \geq b > 0$일 때 최대 아벨 군의 공轭류는 몇 개인가?
• RQ2 심플렉틱 형식 $ω_{l,e}$를 가진 $Σ\operatorname{Ham}(\widetilde{\mathbb{C}P}^2, \widetilde{\omega}_{l,e})$에서 $l > e > 0$일 때 최대 아벨 군의 공轭류는 몇 개인가?
• RQ3 심플렉틱 불변량인 $a/b$와 $e/(l-e)$는 공轭류에 대해 서로 다른 아벨 군 작용의 수를 어떻게 결정하는가?
• RQ4 이 심플렉토모르피즘 군의 모든 최대 아벨 군은 딜자노 다각형과 $Γ\mathrm{AGL}(2,\mathbb{Z})$-동치에 의해 실현될 수 있는가?
• RQ5 정수 매개변수 $m$은 히르체브루흐 표면에서 아벨 군 작용을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 심플렉틱 형식 $ω_{a,b}$를 가진 $Σ\operatorname{Ham}(S^2 \times S^2, \omega_{a,b})$에서 최대 아벨 군의 공轭류 수는 $a \geq b > 0$일 때 $\lceil a/b \rceil$이다.
• 심플렉틱 형식 $ω_{l,e}$를 가진 $Σ\operatorname{Ham}(\widetilde{\mathbb{C}P}^2, \widetilde{\omega}_{l,e})$에서 최대 아벨 군의 공轭류 수는 $l > e > 0$일 때 $\lceil e/(l-e) \rceil$이다.
• 각 공轭류는 네 개의 변을 가지며 정수 매개변수를 가진 딜자노 다각형의 유일한 $Γ\mathrm{AGL}(2,\mathbb{Z})$-동치류에 대응한다.
• 분류는 완전하다: 이러한 군에서의 모든 최대 아벨 군은 이러한 모멘트 맵 이미지에서 유래된다.
• 이 결과는 두 번째 베티 수가 작기 때문에($b_2 = 2$) 오직 네 변을 가진 딜자노 다각형만 관련이 있기 때문이다.
• 논문은 정수 매개변수 $m \geq 0$와 각 다각형에 대한 토러스 작용의 심플렉토모르피즘 동치류 사이의 일대일 대응을 확립한다.