[논문 리뷰] Finite groups of automorphisms of Enriques surfaces and the Mathieu group $M_{12}$

Shigeru Mukai, Hisanori Ohashi|arXiv (Cornell University)|2014. 10. 28.

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

한 줄 요약

이 논문은 K3 표면 위의 심플렉틱 작용과 유사하게, 유한군이 에리누스 표면에 작용하는 방식을 분류하며, '마티외 작용'—즉, 레프셰츠 수가 원소의 순서에만 의존하고, 12개의 점 위에서 마티외 군 $M_{12}$의 작용과 고정점 분포가 일치하는 작용—의 개념을 도입한다. 이는 유한군 $G$가 그러한 작용을 갖는다 하는 것과 $G$가 $τ_6$에 임베딩되며, $|G|$가 $2^4$로 나누어지지 않는 것 사이의 필요충분조건임을 증명하며, 각각 degree 30, 18, 10인 극화된 에리누스 표면 위에서 $τ_5$, $N_{72}$, $τ_6$에 대한 명시적 작용을 구성한다.

ABSTRACT

An action of a group $G$ on an Enriques surface $S$ is called Mathieu if it acts on $H^0(2K_S)$ trivially and every element of order 2, 4 has Lefschetz number 4. A finite group $G$ has a Mathieu action on some Enriques surface if and only if it is isomorphic to a subgroup of the symmetric group $\mathfrak{S}_6$ of degree 6 and the order $|G|$ is not divisible by $2^4$. Explicit Mathieu actions of the three groups $\mathfrak S_5, N_{72}$ and $\mathfrak A_6$, together with non-Mathieu one of $H_{192}$, on polarized Enriques surfaces of degree 30, 18, 10 and 6, respectively, are constructed without Torelli type theorem to prove the if part.

연구 동기 및 목표

• K3 표면의 자동형사의 분류에서 $M_{23}$의 역할에 기반하여, K3 표면 위의 심플렉틱 작용과 유사하게 에리누스 표면에 작용하는 유한군를 분류하는 것.
• 마티외 작용—즉, $H^0(2K_S) \simeq \mathbb{C}$ 위에서 자명하게 작용하고, 순서가 2 또는 4인 각 원소의 레프셰츠 수가 정확히 4인, 반심플렉틱 군 작용—을 정의하고 연구하는 것.
• 필요충분조건 정리 증명: 유한군 $G$가 어떤 에리누스 표면에 마티외 작용을 갖는다 하는 것과 $G$가 $τ_6$에 임베딩되며, $|G|$가 $2^4$로 나누어지지 않는 것 사이의 필요충분조건임을 증명하는 것.
• 각각 degree 30, 18, 10인 극화된 에리누스 표면 위에서 $τ_5$, $N_{72}$, $τ_6$에 대한 명시적 마티외 작용을 구성하는 것—Torelli 유형 정리에 의존하지 않는 방식으로.

제안 방법

• 에리누스 표면 위의 군 작용이 $H^0(2K_S) \simeq \mathbb{C}$ 위에서 자명하게 작용하고, 순서가 2 또는 4인 각 원소의 레프셰츠 수가 정확히 4일 경우, 이를 마티외 작용으로 정의한다.
• 에리누스 표면의 반심플렉틱 자동형사의 레프셰츠 수 표를 사용하여 마티외 조건을 식별하며, K3 표면과 달리 레프셰츠 수가 순서 외에도 다른 요소에 의존함을 주의한다.
• $\mathfrak{S}_5$, $N_{72}$, $\mathfrak{A}_6$의 명시적 작용을 구성하기 위해, 프로젝션 공간 내의 완전교차로 정의된 $K3$ 표면과, $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 내의 삼중이차 초곡면에서 유도된 $K3$ 표면의 몫을 통해 수행한다.
• $\mathfrak{S}_6 \hookrightarrow M_{12}$의 임베딩을 활용하여 군 작용을 $M_{12}$의 고정점 데이터와 연결하며, $M_{11}$ 내의 원소의 고정점 수가 순서에만 의존한다는 사실을 이용한다.
• 격자 이론적 기법을 적용: 불변 격자를 $K3$ 격자 $\Lambda$ 및 그 부분격자 $\Lambda_+(2)$, $\Lambda_-$에 포함시키며, 주어진 조건을 만족하는 에리누스 표면의 존재성을 주도정리로 검증한다.
• 강력한 Torelli 유형 정리를 적용하여, $K3$ 격자 위의 코homological 작용을 부드러운 유리곡선에 대한 반사로 변형함으로써, 이를 에리누스 표면 위의 대수적 작용으로 실현한다.

실험 결과

연구 질문

• RQ1 어느 유한군들이 $M_{12}$이 K3 표면 자동형사 분류에서 수행하는 역할과 유사하게, 에리누스 표면에 작용할 수 있는가?
• RQ2 유한군 $G$가 에리누스 표면에 작용할 때, 그 작용이 '마티외'—즉, 각 군 원소의 레프셰츠 수가 순서에만 의존하고, $M_{12}$의 12점 작용의 고정점 데이터와 일치하는—조건을 만족시키기 위해 어떤 조건이 필요한가?
• RQ3 $\mathfrak{S}_5$, $N_{72}$, $\mathfrak{A}_6$의 세 군이 극화된 에리누스 표면의 자동형사군으로 실현될 수 있는가? 만약 그렇다면, 어떤 극화 정도로 실현되는가?
• RQ4 $H_{192}$는 $M_{11}$의 부분군이 아니지만, 반심플렉틱 작용을 에리누스 표면에 갖는다. 그러나 왜 마티외 작용을 갖지 못하는가?
• RQ5 $C_2 \times \mathfrak{A}_4$의 마티외 작용을 갖는 1차원 가중족의 에리누스 표면이 존재하는가? 이는 격자 이론적 구성으로 증명할 수 있는가?

주요 결과

• 유한군 $G$가 어떤 에리누스 표면에 마티외 작용을 갖는다 하는 것과 $G$가 대칭군 $\mathfrak{S}_6$에 임베딩되며, $|G|$가 $2^4=16$로 나누어지지 않는 것 사이의 필요충분조건이다.
• $\mathfrak{S}_5$는 degree 30인 에리누스 표면에서 마티외 군으로 작용하며, $\mathbb{P}^4$ 내의 완전교차로 정의된 $K3$ 표면의 크레모나 유형의 고리에 의한 몫으로 구성된다.
• $N_{72}$는 degree 18인 에리누스 표면에서 마티외 군으로 작용하며, $\mathbb{P}^5$ 내의 방정정계로 정의된 $K3$ 표면의 선형 고리에 의한 몫으로 유도된다.
• $\mathfrak{A}_6$는 degree 10인 에리누스 표면에서 마티외 군으로 작용하며, $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 내의 삼중이차 방정식을 갖는 $K3$ 표면의 자유 고리에 의한 몫으로 구성된다.
• $H_{192}$는 반심플렉틱 작용을 에리누스 표면에 갖지만, 일부 원소(예: $(u,v,w) \mapsto (u,w,v)$)의 레프셰츠 수가 $M_{12}$-고정점 패턴과 일치하지 않아 마티외 작용이 아니다.
• $C_2 \times \mathfrak{A}_4$의 마티외 작용을 갖는 1차원 가중족의 에리누스 표면이 존재하며, 이는 $K3$ 격자와 에리누스 격자에 대한 격자 임베딩을 통해 $M_{12}$의 $\Omega_+$ 작용을 이용하여 구성된다.