[논문 리뷰] Infinite algebraic subgroups of the real Cremona group

Maria Fernanda Robayo, Susanna Zimmermann|Osaka City University (Osaka City University)|2016. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 실 Cremona 군 Birℝ(ℙ²)의 최대 무한 대수적 부분군을 동치류에 따라 분류하며, degree 6인 실 del Pezzo 표면과 실 쌍곡선 번들의 기원으로 오는 여덟 개의 서로 다른 동치류를 밝혀낸다. 주요 결과는 실 평면 Cremona 군이 가산 개의 무한 대수적 부분군의 합집합에 의해 생성되지 않으며, 이는 유한하거나 가산 생성을 초월한 군의 비가산 대수적 복잡성을 강조한다.

ABSTRACT

We give the classification of the maximal infinite algebraic subgroups of the real Cremona group of the plane up to conjugacy and present a parametrisation space of each conjugacy class. Moreover, we show that the real plane Cremona group is not generated by a countable union of its infinite algebraic subgroups.

연구 동기 및 목표

• 실 Cremona 군 Birℝ(ℙ²)의 모든 최대 무한 대수적 부분군을 동치류에 따라 분류하는 것.
• 각 동치류에 대한 매개변수 공간을 제공하는 것.
• 실 Cremona 군이 자신의 무한 대수적 부분군들의 가산 합집합에 의해 생성될 수 있는지 조사하는 것.
• 실 유리 표면 위의 유리형 미분동형사상과 대수적 군 작용의 구조를 이해하는 것.

제안 방법

• 특히 degree 6인 실 del Pezzo 표면과 Hirzebruch 표면을 포함한 최소 실 미분가능 프로젝티브 표면의 분류를 활용하는 것.
• Picard 군 작용과 기하적 실현을 통한 실 유리 표면의 자기동형사상 군 분석.
• 기본 연결과 유리 사상 이론을 이용해 대수적 부분군의 동치류를 분류하는 것.
• 부분군이 몫에 남는지 테스트하기 위해 Birℝ(ℙ²) → ⊕ℝ ℤ/2ℤ의 아벨화 사상 적용.
• 실 또는 비실 공액점의 Blowing-up과 같은 기하 데이터를 사용해 각 동치류의 명시적 매개변수화 구축.
• 군론적 및 기하적 추론을 통해 식별된 부분군의 최대성과 비동치성 확립.

실험 결과

연구 질문

• RQ1 Birℝ(ℙ²)의 어떤 무한 대수적 부분군이 포함관계에 대해 최대이며, 어떻게 동치류에 따라 분류될 수 있는가?
• RQ2 degree 6인 실 del Pezzo 표면과 실 쌍곡선 번들의 자기동형사상 군은 실 Cremona 군의 구조에 어떻게 기여하는가?
• RQ3 실 Cremona 군은 자신의 무한 대수적 부분군들의 가산 합집합에 의해 생성될 수 있는가?
• RQ4 이러한 무한 대수적 부분군들이 아벨화 사상 Birℝ(ℙ²) → ⊕ℝ ℤ/2ℤ에 의하여 어떤 이미지를 가지는가?
• RQ5 블로잉업된 점들의 기하적 구성(실 또는 비실 공액 쌍)은 자기동형사상 군의 구조에 어떻게 영향을 미치는가?

주요 결과

• Birℝ(ℙ²)에는 정확히 여덟 개의 최대 무한 대수적 부분군 동치류가 존재하며, 이는 실 del Pezzo 표면의 degree 6과 실 쌍곡선 번들에서 기인한다.
• 최대 부분군에는 PGL₃(ℝ), PO₃,₁(ℝ), (PGL₂(ℝ) × PGL₂(ℝ)) ⋊ ⟨τ⟩, 그리고 SO₂(ℝ)², (ℝ*)², GL₂(ℝ)/μₙ를 포함한 다양한 세미직접곱이 포함된다.
• ℱ₀ 위의 두 실 점을 블로잉업하여 얻은 degree 6인 실 del Pezzo 표면의 자기동형사상 군은 분할 정확열 1 → (ℝ*)² → G → D₆ → 1을 만족한다.
• ℱ₀ 위의 비실 공액 점 쌍을 블로잉업하여 얻은 degree 6인 실 del Pezzo 표면의 자기동형사상 군은 분할 정확열 1 → SO₂(ℝ)² → G → D₆ → 1을 만족한다.
• ℚ₃,₁ 위의 비실 공액 점을 블로잉업하여 유도된 실 쌍곡선 번들에 대해, 자기동형사상 군은 1 → SO₂(ℝ) ⋊ ℤ/2ℤ → G → HΔ → 1을 만족하며, 여기서 HΔ는 ℙ¹ 상의 유한 점 집합을 보존한다.
• 실 Cremona 군 Birℝ(ℙ²)는 자신의 무한 대수적 부분군들의 가산 합집합에 의해 생성되지 않으며, 일부 부분군(예: 가족 (7))이 ⊕ℝ ℤ/2ℤ의 아벨화에서 비자명한 이미지를 가지기 때문이다.