[논문 리뷰] A Minkowski-style bound for the order of the finite subgroups of the Cremona group of rank 2 over an arbitrary field

Jean-Pierre Serre|ArXiv.org|2009. 03. 03.

Finite Group Theory Research인용 수 5

한 줄 요약

이 논문은 임의의 체 위에서 랭크 2의 크레모나 군의 유한부분군의 순서에 대한 민코프스키 스타일의 상계를 설정한다. 순환체 불변량 $ t $ 와 $ m $ 을 사용하여 $ \ell $-거듭제곱 순서에 대한 정확한 상계를 결정한다. 핵심 결과는 임의의 유한부분군의 순서에 포함되는 최대 $ \ell $-거듭제곱을 정확히 기술하는 공식이며, 특히 $ \mathbb{Q} $ 와 유한체에 대해 명시적인 값을 제공한다.

ABSTRACT

Let Cr(k) be the Cremona group of rank 2 over a field k, i.e. the group of all k-automorphisms of k(X,Y). We determine the l.c.m. of the orders of the finite subgroups of Cr(k) of order prime to the characteristic of k.

연구 동기 및 목표

• 임의의 체 $ k $ 에서 랭크 2의 크레모나 군 $ \mathrm{Cr}(k) $ 의 유한부분군의 순서에 대한 정확한 곱셈 상계를 설정하는 것. 이는 선형대수군에 대한 민코프스키 상계와 유사하다.
• $ \ell $ 가 $ \mathrm{char}(k) $ 와 다를 때, $ \mathrm{Cr}(k) $ 의 임의의 유한부분군의 최대 $ \ell $-거듭제곱 순서를 순환체 불변량 $ t(k,\ell) $ 와 $ m(k,\ell) $ 에 따라 결정하는 것.
• 유리수 또는 $ \mathbb{F}_p $ 를 포함하는 유한생성 체에 대해, 이러한 유한부분군의 순서가 일관되게 유계임을 증명하는 것.
• 특수한 경우, 예를 들어 $ k = \mathbb{Q} $ 와 유한체에서, 이러한 순서들의 최소공배수 $ M(k) $ 에 대한 명시적 공식을 제공하는 것.
• 더 높은 랭크 크레모나 군으로 이론을 확장하고, 높은 차원에서의 유계성과 조르당 유형 성질에 대한 기본적인 질문을 제기하는 것.

제안 방법

• 두 개의 순환체 불변량을 정의한다: $ t(k,\ell) = [k(\mu_\ell):k] $ 는 원분단위 $ \ell $-번째 원주율을 생성하는 순환체 확장의 차수이며, $ m(k,\ell) $ 는 $ k $ 가 $ \mu_{\ell^n} $ 또는 $ \ell = 2 $ 에 대해 관련 원소를 포함하는 최대 $ n $ 을 의미한다.
• 마닌과 이스코프스키의 방법을 사용하여 $ \mathrm{Cr}(k) $ 의 유한부분군을 델 페초 표면 또는 쌍곡면 번들의 자기동형군의 부분군으로 표현함으로써 문제를 기하학적 군 작용으로 환원한다.
• 갈루아 코hom로지와 표현론을 적용하여 $ \mathrm{Gal}(k_s/k) $ 가 2차원 토리의 $ \ell $-거듭제곱 토르션에 작용하는 방식을 분석하고, $ \mathrm{Cr}(k) $-부분군의 구조를 순환체 데이터와 연결한다.
• 모든 $ n \leq M(k,\ell) $ 에 대해 $ \ell^n $ 순서를 갖는 $ \mathrm{Cr}(k) $ 의 명시적 $ \ell $-부분군을 구성함으로써, $ k $ 위의 토리에 대한 실현을 통해 상계의 정확성을 입증한다.
• $ \mathrm{PGL}_2(k) $ 의 유한부분군 분류와 $ \mathrm{SL}_2(\mathbb{Z}) $ 의 구조를 사용하여 $ t = 3,4,6 $ 의 경우를 분석하고, $ \Gamma_k $-모듈러 구조의 유일성을 확보한다.
• $ \mathrm{Cr}(k) $ 에서 순서 $ \ell^n $ 의 유한부분군이 존재하는 것은 $ M(k,\ell) \geq n $ 과 동치이며, $ M(k,\ell) $ 는 $ t $ 와 $ m $ 에 따라 조건부로 정의된다.

실험 결과

연구 질문

• RQ1 어느 소수 $ \ell \neq \mathrm{char}(k) $ 에 대해 $ \mathrm{Cr}(k) $ 가 순서 $ \ell $ 인 원소를 포함하는가?
• RQ2 체 $ k $ 가 그 소체 위에서 유한생성일 경우, $ \mathrm{Cr}(k) $ 의 순서가 $ \mathrm{char}(k) $ 와 서로소인 유한부분군의 순서에 대해 통일된 상계가 존재하는가?
• RQ3 임의의 유한부분군의 순서에 포함되는 최대 $ \ell $-거듭제곱은 무엇이며, 이는 순환체 불변량 $ t(k,\ell) $ 와 $ m(k,\ell) $ 에 어떻게 의존하는가?
• RQ4 랭크 $ r > 2 $ 에 대해 $ \mathrm{Cr}_r(k) $ 의 유한부분군에 대한 상계를 일반화할 수 있는가? 이 상계는 뿌리로만 $ r $ 과 체 $ k $ 의 순환체 데이터에 의존하는가?
• RQ5 유한체 $ k = \mathbb{F}_q $ 에 대해, $ \mathrm{Cr}_r(k) $ 의 최대 순서 $ M_r(k) $ 는 $ q $ 에서 평가된 순환다항식의 곱으로 나누어지는가?

주요 결과

• 유한부분군의 최대 $ \ell $-거듭제곱 순서는 $ t(k,\ell) $ 와 $ m(k,\ell) $ 에 대한 조건부 정의된 함수인 $ M(k,\ell) $ 으로 주어지며, $ \ell = 2 $ 에서는 $ M(k,\ell) = 2m+3 $, $ \ell = 3 $ 이고 $ t > 1 $ 이면 $ M(k,\ell) = 2m+1 $, $ \ell > 3 $ 이고 $ t = 1,2 $ 이면 $ M(k,\ell) = 2m $ 이다.
• $ k = \mathbb{Q} $ 에서는 $ \mathrm{Cr}(k) $ 의 순서가 $ \mathrm{char}(\mathbb{Q}) $ 와 서로소인 모든 유한부분군의 순서들의 최소공배수는 $ M(k) = 120960 = 2^7 \cdot 3^3 \cdot 5 \cdot 7 $ 이다.
• 유한체 $ k = \mathbb{F}_q $ 에서는 $ q \equiv 4 $ 또는 $ 7 \pmod{9} $ 이면 $ M(k) = 3(q^4 - 1)(q^6 - 1) $ 이고, 그 외의 경우 $ M(k) = (q^4 - 1)(q^6 - 1) $ 이다.
• $ \mathrm{Cr}(k) $ 에서 순서 $ \ell^n $ 의 유한부분군이 존재하는 것은 $ n \leq M(k,\ell) $ 과 동치이며, 모든 $ n \leq M(k,\ell) $ 에 대해 이러한 부분군이 존재하므로 상계의 정확성이 입증된다.
• $ \mathrm{Cr}(k) $ 에서 순서 $ \ell $ 인 원소가 존재하는 것은 $ t(k,\ell) \in \{1,2,3,4,6\} $ 과 동치이며, 이는 $ M(k,\ell) > 0 $ 과 동치이다.
• $ k $ 가 $ \mathbb{Q} $ 또는 $ \mathbb{F}_p $ 위에서 유한생성일 경우, 순환체 불변량은 $ m(k,\ell) < \infty $ 이고 $ \ell \to \infty $ 일 때 $ t(k,\ell) \to \infty $ 이므로 이러한 체는 '작다'고 간주되어 유한부분군의 유계성이 보장된다.