On p-Jordan constant of Cremona group of rank 2 in odd characteristic

1. 문제 제기 (Problem)

• 배경: C. Jordan 의 고전적 정리에 따르면, 표수가 0 인 체 위의 일반 선형군 $GL_n(k)$ 의 유한 부분군은 지수가 유계인 (bounded index) 정규 아벨 부분군을 포함합니다. 이를 '조르당 성질 (Jordan property)'이라고 합니다.
• 확장: 표수가 양수인 (positive characteristic) 체의 경우, 일반적인 조르당 성질은 성립하지 않습니다. 대신 p-조르당 성질 (p-Jordan property) 이 도입되었습니다. 이는 유한 부분군 $G$ 가 $p$ 와 서로소인 차수를 가진 정규 아벨 부분군을 포함하며, 그 지수가 $J \cdot |G(p)|^e$ ($G(p)$ 는 $G$ 의 $p$-실로프 부분군) 로 상계될 수 있음을 의미합니다.
• 연구 대상: 2 차 크레모나 군 $Cr_2(k)$ 는 사영평면의 쌍대변환 (birational automorphism) 군입니다. 표수가 양수인 체에서 $Cr_2(k)$ 가 p-조르당 군임은 이미 알려져 있었으나 (Theorem 1.6), 구체적인 상수 $J$ 와 지수 $e$ 의 최적값은 명확하지 않았습니다.
• 목표: 표수가 홀수인 체 ($p \neq 2$) 에 대해, $Cr_2(k)$ 의 유한 부분군이 포함하는 $p$ 와 서로소인 정규 아벨 부분군의 지수 상한을 최적의 상수 $J_p(Cr_2)$ 와 최적의 지수 $e=3$ 로 구체화하는 것입니다.

2. 방법론 (Methodology)

저자들은 크레모나 군의 유한 부분군을 연구하기 위해 다음과 같은 기하학적 및 군론적 접근법을 사용했습니다.

1. 기하학적 축소 (Geometric Reduction):

   • 크레모나 군의 유한 부분군 $G$ 의 작용을 연구하기 위해, $G$-불변인 비특이 사영 유리면 (smooth projective rational surface) $S$ 를 구성합니다.
   • $G$-최소모델 프로그램 (G-MMP) 을 수행하여 $S$ 를 델 페초 곡면 (Del Pezzo surface) 또는 원뿔 다발 (conic bundle) 구조를 가진 $G$-최소면으로 축소합니다.
   • 따라서 $Cr_2(k)$ 의 유한 부분군에 대한 문제는 $Aut(S)$ (델 페초 곡면 또는 원뿔 다발의 자동변환군) 에 포함된 유한 부분군에 대한 문제로 환원됩니다.

2. 경우별 분석 (Case-by-Case Analysis):

   • 원뿔 다발 (Conic Bundles): $P^1$ 위의 유한 부분군 분류 (Theorem 7.1) 를 기반으로, 원뿔 다발의 자동변환군 구조를 분석하고 아벨 부분군의 지수를 추정합니다.
   • 사영 평면 ($P^2$): 표수가 홀수인 경우 $PGL_3(k)$ 의 유한 부분군 분류 (Theorem 8.1) 를 활용합니다. 삼각형, 매끄러운 원뿔곡선 등을 보존하는 경우와 그렇지 않은 경우 (예: $PSL_3, PSU_3$, 헤세 군 등) 로 나누어 분석합니다.
   • 델 페초 곡면 (Del Pezzo Surfaces): 차수 (degree) $d$ ($1 \le d \le 9$) 에 따라 자동변환군을 분류합니다.
     • $d \ge 3$: 윅 (Weyl) 군 ($W(E_6), W(D_5), W(A_4)$ 등) 의 부분군으로 포함되는 성질을 이용합니다.
     • $d=1, 2$: 타원 다발 (elliptic fibration) 구조와 타원곡선의 자동변환군 분류를 활용합니다.
   • 군론적 보조정리: 확장 (extensions), 반직접곱 (semi-direct products), 그리고 특정 군 ($A_4, S_4, A_5, PSL_2(F_{p^k})$ 등) 에 대한 정규 아벨 부분군의 지수 상한을 계산하기 위해 Lemma 3.4, Lemma 3.8, Lemma 6.4 등 다양한 보조정리를 개발하고 적용했습니다.

3. 최적성 증명 (Sharpness):

   • 구해진 상수가 최적임을 보이기 위해, 각 표수 $p$ ($3, 5, \ge 7$) 에 대해 해당 상수를 달성하는 구체적인 유한 부분군 예시 (예: $A_5 \times A_5$, $PSL_2(F_7)$, $D_{10}$ 등) 를 구성했습니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

이 논문의 핵심 결과는 Theorem 1.9로, 표수가 홀수인 체 $k$ 위의 $Cr_2(k)$ 에 대한 p-조르당 상수를 명시적으로 제시합니다.

주요 정리 (Theorem 1.9):
표수가 $p$ (홀수) 인 체 $k$ 위의 $Cr_2(k)$ 의 임의의 유한 부분군 $G$ 는 $p$ 와 서로소인 차수를 가진 정규 아벨 부분군을 포함하며, 그 지수는 다음과 같이 상계됩니다:
$$\text{Index} \le J_p(Cr_2) \cdot |G(p)|^3$$
여기서 상수 $J_p(Cr_2)$ 는 다음과 같습니다:

• $p \ge 7$ 인 경우: $J_p(Cr_2) = 7200$
• $p = 5$ 인 경우: $J_p(Cr_2) = 168$
• $p = 3$ 인 경우: $J_p(Cr_2) = 10$

최적성 (Sharpness):

• 이 상수는 대수적으로 닫힌 체 (algebraically closed field) 에서 최적 (sharp) 입니다. 즉, $J_p(Cr_2)$ 보다 작은 임의의 상수 $J'$ 에 대해, 지수가 $J' \cdot |G(p)|^3$ 이하인 정규 아벨 부분군이 존재하지 않는 유한 부분군 $G$ 가 존재합니다.
• 또한, 지수 $e$ 가 3 보다 작은 경우 ($e < 3$) 에는 어떤 상수 $J''$ 를 사용하더라도 유계 (bounded) 를 보장할 수 없음을 보였습니다.

구체적인 예시:

• $p \ge 7$: $G = (A_5 \times A_5) \rtimes \mu_2$ (사영평면의 직곱 $P^1 \times P^1$ 의 자동변환군 포함) 는 비자명한 정규 아벨 부분군이 없으며, 지수는 $7200$ 입니다.
• $p = 5$: $G = PSL_2(F_7)$ ($P^2$ 에 작용) 은 비자명한 정규 아벨 부분군이 없으며, 지수는 $168$ 입니다.
• $p = 3$: $G \cong \mu_2^4 \rtimes D_{10}$ (델 페초 곡면 degree 4 에 작용) 은 비자명한 정규 아벨 부분군이 없으며, 지수는 $10$ 입니다.

4. 의의 (Significance)

1. 구체적 상수의 확립: 기존에 존재하던 $Cr_2(k)$ 의 p-조르당 성질에 대한 존재성 증명 (Theorem 1.6) 을 넘어, 구체적인 수치적 상수를 제시했습니다. 이는 기하학적 군론 (geometric group theory) 에서 중요한 진전입니다.
2. 표수 의존성 규명: 조르당 상수가 체의 표수 $p$ 에 따라 어떻게 변하는지 ($7200 \to 168 \to 10$) 를 명확히 보여주었습니다. 이는 표수가 2 인 경우와 홀수인 경우의 구조적 차이를 이해하는 데 중요한 단서를 제공합니다.
3. 최적성 증명: 단순히 상계를 찾는 것을 넘어, 그 상계가 최적임을 구체적인 반례 (counterexamples) 를 통해 증명함으로써, 이 분야의 연구가 더 이상 개선될 수 없는 '완벽한' 경계에 도달했음을 보였습니다.
4. 표수 2 의 경우와의 대비: 표수가 2 인 경우 $PGL_3(k)$ 의 유한 부분군 분류가 불완전하여 동일한 정밀도의 결과를 얻지 못했음을 지적하고, 표수 2 에 대한 추측 (상수 3) 을 제시하여 향후 연구의 방향을 제시했습니다.

요약하자면, 이 논문은 표수가 홀수인 2 차 크레모나 군의 유한 부분군 구조에 대한 가장 정밀한 p-조르당 상수를 규명하고, 그 최적성을 증명함으로써 대수기하학과 유한군론의 교차 영역에서 중요한 이정표를 세웠습니다.