[논문 리뷰] p-elementary subgroups of the Cremona group

Arnaud Beauville|ArXiv.org|2005. 02. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 4

한 줄 요약

이 논문은 대수적으로 닫힌 체 $k$ 위에서 크레모나 군의 $p$-초기하 부분군을 분류한다. 특히 $p \neq \mathrm{char}(k)$ 인 경우 $(\mathbb{Z}/p)^r$ 와 동형인 부분군을 대상으로 한다. 유리 표면 위에서의 기하적 실현과 델 페초 표면 또는 $\mathbb{P}^1$-포장에 대한 군 작용의 분류를 통해, $p \geq 5$ 이면 $r \leq 2$ 이고, 이러한 부분군은 $PGL_3(k)$ 안의 대각 토러스의 $p$- torsion 과 쐐기동치임을 보인다. $p=3$ 이면 $r \leq 3$ 이고, $r=3$ 이면 $PGL_4(k)$ 안의 대각 토러스의 $3$- torsion 과 쐐기동치이며, 페르마의 삼차곡면에서 작용한다. $p=2$ 이면 $r \leq 4$ 이고, $r=4$ 일 때는 명시적인 쐐기동치 클래스가 존재한다. 주요 기여는 이러한 부분군에 대한 쐐기동치에 대한 완전한 분류이다.

ABSTRACT

We classify, up to conjugacy, the subgroups of the Cremona group isomorphic to (Z/p)^r, where p is prime and r is maximal.

연구 동기 및 목표

• 크레모나 군 $\mathrm{Cr}_k$ 의 $p$-초기하 부분군, 즉 소수 $p \neq \mathrm{char}(k)$ 에 대해 $(\mathbb{Z}/p)^r$ 과 동형인 부분군을 쐐기동치에 대해 분류하는 것.
• 특히 $p=2,3,5$ 이상에 대해 $p$-초기하構조에 초점을 맞춘 기존의 유한 부분군 연구를 확장하는 것.
• 이러한 부분군의 최대 가능 순수 $r$ 을 결정하고, 유리 표면 위에서의 기하적 실현을 통해 그들의 쐐기동치 클래스를 묘사하는 것.
• 크레모나 군에서 $p$-초기하 부분군을 포함하는 최대 토러스의 유일성 문제를 해결하며, 단순군과의 대비를 제시하는 것.

제안 방법

• 기하적 등가성에 의해 $\mathbb{P}^2_k$ 와 동치인 최소 유리 표면 $S$ 에 대해 $G \subset \mathrm{Aut}(S)$ 를 통해 $p$-초기하 부분군을 자동형사군으로 실현한다.
• 분류 문제를 두 경우로 환원한다: $G$ 가 $\mathbb{P}^1$-포장을 유지하거나 $\mathrm{rk}\,\mathrm{Pic}(S)^G = 1$ (즉, $S$ 가 델 페초 표면임)인 경우.
• 함수체 $K$ 에 대해 $\mathrm{Aut}(\mathbb{P}^1_K)$ 의 $p$-초기하 부분군을 $PGL_2(K)$ 의 기존 결과, 특히 $p$- torsion 부분군을 사용하여 분류한다.
• 특히 페르마의 삼차곡면과 사차델 페초 표면의 자동형사군의 기존 구조를 활용해 $G$ 가 델 페초 표면 위에서 작용하는 방식을 분석한다.
• $\mathbb{P}^1$ 상의 5개 점의 쌍의 공간에서 $\mathbb{A}^5$ 로의 $j$-불변량 사상 $J$ 를 사용하여 단사성과 적절성을 증명함으로써 쐐기동치 클래스의 유일성을 확립한다.
• 일반점에서의 $j$-불변량 사상의 단사성 검증을 위해 기하학적 및 군론적 기법(특히 블로우업과 탄성공간 분석)을 적용한다.

실험 결과

연구 질문

• RQ1 크레모나 군 $\mathrm{Cr}_k$ 에서 $p \neq \mathrm{char}(k)$ 인 $p$-초기하 부분군 $G \cong (\mathbb{Z}/p)^r$ 의 최대 순수 $r$ 은 무엇인가?
• RQ2 어떤 $p$ 와 $r$ 에 대해 이러한 부분군이 $PGL_n(k)$ 의 대각 토러스의 $p$- torsion 과 쐐기동치인가?
• RQ3 특히 $p=2$, $r=4$ 일 때, 서로 쐐기동치가 아닌 $p$-초기하 부분군은 몇 개인가?
• RQ4 왜 크레모나 군에서 $p$-초기하 부분군의 중심화자는 단순군에서와 달리 최대 토러스를 유일하게 결정하지 못하는가?
• RQ5 어떤 기하적 구조(예: 델 페초 표면, $\mathbb{P}^1$-포장)가 이러한 $p$-초기하 군 작용을 지지하는가?

주요 결과

• 모든 $p \geq 5$ 에 대해 크레모나 군 $\mathrm{Cr}_k$ 에서의 $p$-초기하 부분군의 순수 $r$ 은 $r \leq 2$ 를 만족하며, $r=2$ 이면 $PGL_3(k)$ 의 대각 토러스의 $p$- torsion 과 쐐기동치이다.
• 모든 $p=3$ 에 대해 $r \leq 3$ 이고, $r=3$ 이면 $PGL_4(k)$ 의 대각 토러스의 $3$- torsion 과 쐐기동치이며, 페르마의 삼차곡면 $X_0^3 + \cdots + X_3^3 = 0$ 에서 작용한다.
• 모든 $p=2$ 에 대해 $r \leq 4$ 이고, $r=4$ 일 때는 두 가지 서로 쐐기동치가 아닌 가능성 존재: 하나는 특정 유리함수 집합을 포함하는 치환군에서 유래하고, 另一个是 $\mathbb{P}^4$ 에서의 사차델 페초 표면에서 작용하는 $PGL_5(k)$ 의 대각 토러스의 $2$- torsion 에서 유래한다.
• $\mathbb{P}^1$ 상의 5개 점의 쌍의 공간에서 $\mathbb{A}^5$ 로의 $j$-불변량 사상 $J$ 는 일반점에서 단사적이며, 적절성과 일반점에서의 야코비안 행렬식의 영이 아님을 통해 증명된다.
• $2$-초기하 부분군의 순수 $4$ 에 대한 쐐기동치 클래스는 유일하지 않으며, 서로 다른 기하적 실현에서 유래한 두 개의 서로 다른 클래스가 존재한다.
• 크레모나 군에서 $p$-초기하 부분군의 중심화자는 최대 토러스의 중심화자보다 엄밀히 크며, 이는 단순군과는 달리 최대 토러스가 유일하지 않음을 설명한다.