[논문 리뷰] Smooth quotients of abelian surfaces by finite groups

Robert Auffarth, Giancarlo Lucchini Arteche외 1명|arXiv (Cornell University)|2018. 09. 12.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 아벨 곡면 $A = E^2$ (여기서 $E$는 타원곡선임)에 대한 유한군 작용을 분류하며, 원점을 고정하고 분석적 표현이 기약임을 조건으로 하여, 몫 $A/G$가 매끄럽기 위한 필요충분조건을 증명한다. 그 결과, $A/G$가 매끄럽기 위한 필요충분조건은 $A/G \simeq \mathbb{P}^2$임을 보이며, 각 타원곡선 $E$에 대해 이러한 쌍 $(E^2, G)$는 동형사상에 대해 유한 개 뿐임을 밝힌다. 이는 유한군에 의한 아벨 다양체의 매끄러운 몫의 분류를 완성한다.

ABSTRACT

Let $A$ be an abelian surface and let $G$ be a finite group of automorphisms of $A$ fixing the origin. Assume that the analytic representation of $G$ is irreducible. We give a classification of the pairs $(A,G)$ such that the quotient $A/G$ is smooth. In particular, we prove that $A=E^2$ with $E$ an elliptic curve and that $A/G\simeq\mathbb P^2$ in all cases. Moreover, for fixed $E$, there are only finitely many pairs $(E^2,G)$ up to isomorphism. This completes the classification of smooth quotients of abelian varieties by finite groups started by the first two authors.

연구 동기 및 목표

• 아벨 곡면 $A$와 원점을 고정하고 기약 분석 표현을 가진 유한군 $G$의 모든 쌍 $(A, G)$를 분류하는 것.
• 그러한 군 작용 중에서 어떤 것이 매끄러운 몫 $A/G$를 유도하는지 결정하는 것.
• 저자들이 이전에 수행한 연구를 바탕으로, 아벨 다양체의 유한군에 의한 매끄러운 몫의 분류를 완성하는 것.
• 모든 매끄러운 몫이 $A = E^2$ 형태이며, $A/G \simeq \mathbb{P}^2$임을 보이며, 각 타원곡선 $E$당 이러한 군이 유한 개 뿐임을 확립하는 것.

제안 방법

• 군 $G$의 분석적 표현이 기약임을 가정하여, 원점에서의 접공간 위의 가능한 군 작용을 제약하는 것.
• 복소 토러스와 그 몫에 대한 유한군 작용 이론의 결과를 적용하는 것.
• 아벨 곡면이 타원곡선의 곱 $E^2$임을 활용하여 군 작용을 분석하는 것.
• 불변량과 모듈리 이론적 추론을 활용하여 쌍 $(E^2, G)$의 동형류를 분류하는 것.
• 표현 이론적 기법을 사용하여 접공간 위의 군 작용과 그에 따른 몫 특이점의 영향을 분석하는 것.
• 기하학적 및 코homological 제약 조건을 사용하여, 가능한 매끄러운 몫은 오직 $\mathbb{P}^2$뿐임을 보이는 것.

실험 결과

연구 질문

• RQ1 기약 분석 표현을 가지며 원점을 고정하는 유한군 $G$가 아벨 곡면 $A$에 작용할 때, 어떤 경우에 $A/G$가 매끄럽게 되는가?
• RQ2 그러한 군 작용 하에서 $A/G$가 매끄럽다면, 아벨 곡면 $A$의 구조는 어떠한가?
• RQ3 $A/G$가 $\mathbb{P}^2$와 동형일 수 있는가? 만약 가능하다면, $G$와 $A$에 어떤 조건이 필요한가?
• RQ4 고정된 타원곡선 $E$에 대해, $A/G$가 매끄럽게 되는 비동형 쌍 $(E^2, G)$는 몇 개인가?
• RQ5 아벨 곡면의 경우에 유한군에 의한 아벨 다양체의 매끄러운 몫의 완전한 분류는 무엇인가?

주요 결과

• 모든 매끄러운 몫 $A/G$와 기약 분석 표현을 가진 군 $G$에 대해, 아벨 곡면 $A$는 어떤 타원곡선 $E$에 대해 $E^2$와 동형이어야 한다.
• 모든 매끄러운 몫 $A/G$는 $\mathbb{P}^2$와 동형이다.
• 고정된 타원곡선 $E$에 대해, $A/G$가 매끄럽게 되는 쌍 $(E^2, G)$의 동형류는 오직 유한 개이다.
• 기약 분석 표현을 가진 유한군에 의한 아벨 곡면의 매끄러운 몫에 대한 분류는 완전하다.
• 이 결과는 저자들이 시작한 아벨 다양체의 유한군에 의한 매끄러운 몫의 분류를 확장하고 완성한다.