[논문 리뷰] Automorphisms of numerical Godeaux surfaces with torsion of order 3, 4, or 5

Stefano Maggiolo|arXiv (Cornell University)|2010. 02. 18.

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

한 줄 요약

이 논문은 수치적 Godeaux 표면의 자동형군을 순서 3, 4 또는 5인 토판 군을 가진 경우에 대해 계산하며, 그 모듈리 공간의 명시적 분할을 사용한다. 표면의 토판 군 순서가 5인 경우의 모듈리 스택이 몰입 스택임을 증명하고, 세 개의 몰입 스택의 관계를 완전히 기술하며, 이러한 표면의 모든 분할에 걸쳐 자동형군을 완전히 분류한다.

ABSTRACT

We compute the automorphisms groups of all numerical Godeaux surfaces, i.e. minimal smooth surfaces of general type with K^2 = 1 and p_g = 0, with torsion of the Picard group of order νequals 3, 4, or 5. We present explicit stratifications of the moduli spaces whose strata correspond to different automorphisms groups. Using the automorphisms computation, for each value of νwe define a quotient stack, and prove that for ν= 5 this is indeed the moduli stack of numerical Godeaux surfaces with torsion of order 5. Finally, we describe the inertia stacks of the three quotient stacks.

연구 동기 및 목표

• 수치적 Godeaux 표면의 자동형군을 순서 3, 4 또는 5인 토판 군을 가진 경우에 대해 분류하기.
• 해당 표면의 모듈리 공간을 자동형군 유형에 따라 분할하기.
• 수치적 Godeaux 표면의 토판 군 순서가 5인 경우의 모듈리 스택이 자동형군 자료로부터 구성된 몰입 스택임을 증명하기.
• 자기 자료 계산에서 유도된 세 개의 몰입 스택의 관계 스택을 계산하기.

제안 방법

• 큰 토판 군을 가진 수치적 Godeaux 표면의 모듈리 공간을 Reid의 방법으로 구성한다.
• 토판 군에 관련된 일반화된 갈로아 쌍용을 적용하여 표면의 캐논리컬 링과 그 쌍용의 캐논리컬 링을 연결한다.
• 특히 $\operatorname{PGL}(8)$에서의 사영 선형군 내의 군 작용에 기반한 계산 전략을 사용하여 자동형군을 결정한다.
• 모든 분할에 걸쳐 자동형군을 계산하기 위해 맞춤형 컴퓨터 프로그램(GAP를 통해 구현)을 사용한다.
• 군 매개변수에 따라 인덱싱된 치환 행렬과 대각 행렬을 사용하여 자동형의 명시적 행렬 표현을 제시한다.
• 자기 자료로부터 몰입 스택을 구성하고 고정점 분석을 통해 그들의 관계 스택을 계산한다.

실험 결과

연구 질문

• RQ1 순서 3, 4 또는 5인 토판 군을 가진 수치적 Godeaux 표면의 자동형군은 무엇인가?
• RQ2 이러한 표면의 모듈리 공간은 자동형군 유형에 따라 어떻게 분할될 수 있는가?
• RQ3 순서 5인 토판 군을 가진 수치적 Godeaux 표면의 모듈리 스택은 몰입 스택과 동형인가?
• RQ4 자기 자료 계산에서 유도된 세 개의 몰입 스택 각각의 관계 스택의 구조는 어떻게 되는가?
• RQ5 특히 강성과 비자명한 대칭성과의 관계에서 자동형군은 다양한 분할에 걸쳐 어떻게 변화하는가?

주요 결과

• 순서 5인 토판 군을 가진 경우, 수치적 Godeaux 표면의 모듈리 스택이 자동형군 자료로부터 명시적으로 구성된 몰입 스택임을 증명하였다.
• 성분 $ (P, (0,0,0,h)) $의 특수점 $O$의 자동형군은 $D_{10}$과 동형이며, 일반점 $P$와 일치한다.
• 순서 4인 경우, 자동형군은 자명군에서 $D_8$까지 다양하며, $S_7$의 자동형군은 $\mathbb{Z}_4$이다.
• 순서 5인 경우의 모듈리 스택의 관계 스택은 자동형군이 $D_{10}$, $\mathbb{Z}_5$, $\mathbb{Z}_5^2$인 성분을 포함하여, 전체 오르비포드 구조를 반영한다.
• 순서 4인 경우, 관계 스택은 자동형군이 $D_8$, $\mathbb{Z}_2^2$, $\mathbb{Z}_4$인 성분을 포함하며, 비아벨 자동형군을 가진 유일한 성분은 $S_7$이다.
• 순서 3인 토판 군을 가진 표면는 강성( rigid )이며, 비자명한 자동형군을 갖지 않으며, 낮은 토판 군이 강성과 일치하는 일반적 패턴과 일치한다.