[논문 리뷰] Plane sextics with a type $\bold E_8$ singular point

Alex Degtyarev|arXiv (Cornell University)|2009. 02. 13.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 4

한 줄 요약

이 논문은 히르체브루흐 표면에서의 삼각형 모델과 그로텐디크의 데상 드아르트를 이용하여 단일 E8 특이점과 단순 특이점을 가진 최대 평면 6차 곡선을 분류한다. 그들의 기본군을 계산하여, 비아벨 기본군을 가진 네 개의 새로운 6차 곡선을 밝혀내며, 이 중 두 개는 Z₁₂ ⋊ SL(2, F₅)와 동형인 유한군으로서의 기본군을 가진 기약 6차 곡선이다. 또한, 나머지 모든 이러한 6차 곡선은 아벨 기본군을 가짐을 증명한다.

ABSTRACT

We construct explicit geometric models for and compute the fundamental groups of all plane sextics with simple singularities only and with at least one type $\bold E_8$ singular point. In particular, we discover four new sextics with nonabelian fundamental groups; two of them are irreducible. The groups of the two irreducible sextics found are finite. The principal tool used is the reduction to trigonal curves and Grothendieck's {\it dessins d'enfants}

연구 동기 및 목표

• 등위형 변형에 대해 동치인, 유형 E8 특이점과 단순 특이점을 가진 모든 최대 평면 6차 곡선을 분류하는 것.
• 모든 이러한 6차 곡선에 대해 π₁(P² ∖ B)의 기본군을 계산하고, 특히 비아벨 케이스를 식별하는 것.
• 기하학적 및 조합적 방법을 통해 프로젝티브 평면에서 곡선의 여집합의 위상구조를 연구하는 것.
• 6차 곡선의 기하학과 그들의 기본군 간의 관계를 연구하며, 특히 강성과 분해의 맥락에서 고려하는 것.
• 비토러스 유형 6차 곡선에 대해 기본군의 유한성에 관한 추측을 검증하고 확장하는 것.

제안 방법

• 골격을 이용한 기하학적 기교를 통해 평면 6차 곡선을 히르체브루흐 표면 Σ₂에서의 삼각형 곡선으로 환원하는 것.
• 그로텐디크의 데상 드아르트를 적용하여 삼각형 모델의 단형과 위상구조를 분류하고 분석하는 것.
• 삼각형 모델에서의 기본 변환과 분해를 이용해 모든 가능한 6차 곡선을 체계적으로 구성하는 것.
• 데상 인variants에서 유도된 단형 표현과 군 표현을 통해 기본군을 계산하는 것.
• K3 표면에 대한 전역 토렐리 정리와 최대 6차 곡선의 강성에 기반하여 등위형 변형류의 유일성을 보장하는 것.
• 왜곡과 분해를 분석하여 기본군이 비아벨로 유지되는 조건을 규명하는 것.

실험 결과

연구 질문

• RQ1 등위형 변형에 대해 동치인, 유형 E8 특이점과 단순 특이점을 가진 최대 평면 6차 곡선은 총 몇 개인가?
• RQ2 이 중에서 비아벨 기본군을 가진 6차 곡선은 무엇이며, 그 군의 구조는 어떻게 되는가?
• RQ3 단순 특이점을 가진 비토러스 유형 기약 6차 곡선의 기본군이 유한해질 수 있는가?
• RQ4 비아벨 기본군을 유지하는 이러한 6차 곡선의 가능한 왜곡은 무엇인가?
• RQ5 6차 곡선의 분해는 그들의 등위형 변형류의 최대성과 강성과 어떻게 관련되는가?

주요 결과

• 유형 E8 특이점과 단순 특이점을 가진 최대 기약 평면 6차 곡선은 정확히 39개 존재하며, 이는 26개의 서로 다른 특이점 집합을 실현한다.
• 유형 E8 특이점과 단순 특이점을 가진 최대 비기약 평면 6차 곡선은 정확히 18개 존재하며, 이는 17개의 서로 다른 특이점 집합을 실현한다.
• 비아벨 기본군을 가진 6차 곡선은 오직 두 개뿐이다: 하나는 E8 ⊕ A₄ ⊕ A₃ ⊕ 2A₂ 특이점을 가지며, 다른 하나는 E8 ⊕ D₆ ⊕ A₃ ⊕ A₂ 특이점을 가진다.
• E8 ⊕ A₄ ⊕ A₃ ⊕ 2A₂ 특이점을 가진 6차 곡선의 기본군은 G₆ = Z₁₂ ⋊ SL(2, F₅)와 동형이며, 이는 순서가 1440인 유한군이다.
• E8 ⊕ D₆ ⊕ A₃ ⊕ A₂ 특이점을 가진 6차 곡선의 기본군은 G∞ = Z × SL(2, F₅)와 동형이며, 이는 순서가 ∞인 무한군이다.
• 비아벨 기본군을 가진 이러한 6차 곡선의 모든 진정한 왜곡은 아벨 기본군을 유도하지만, 두 가지 특정 왜곡만은 비아벨 구조를 유지한다.