크레마 그룹 차원 3의 유한 부분군에 대한 명시적 차수 상한

초록

본 논문은 유리수체 ℚ 위의 3차원 크레마 그룹 Cr₃(ℚ) 에 속하는 모든 유한 부분군의 차수를 명시적으로 제한한다. 선형군·PGL군에 대한 고전적 결과와 Mori 섬유공간·Fano 3‑fold의 구조를 이용해 최종적으로
|G| ≤ 24 103 053 950 976 000 < 10¹⁷
이라는 상한을 얻는다. 현재 알려진 가장 큰 예는 차수가 10 368인 (D₁₂ × D₁₂ × D₁₂)⋊S₃이며, 상한은 아직 최적이 아니다.

상세 분석

논문은 먼저 19세기 Minkowski 정리와 Schur‑Serre 이론을 정리하며, 유리수체 위의 GLₙ, PGLₙ에 대한 p‑adic 지수 νₚ(|G|)의 명시적 상한 νₛ𝚌ʰ(p,n)·νₛₑ(p,n)을 제시한다. 이를 통해 차수 ≤ 7인 수체에 대해 GL₄, 차수 ≤ 2인 수체에 대해 GL₃의 최대 차수를 각각 1 132 185 600, 240 045 120 등으로 제한한다. 특히 PGL₅(ℚ) 에서는 8.7·10¹⁰ 수준의 상한을 얻는다.

다음으로 G‑Mori 섬유공간을 도입한다. 기본이 점, 곡선, 면인 경우를 각각 G‑Q‑Fano 3‑fold, G‑Q‑델피조 섬유, G‑Q‑콘빔으로 구분하고, 섬유와 기저의 자동군을 정확히 연결하는 단순한 확장 1→G_F→G→G_B→1을 이용한다. 콘빔과 델피조 섬유에 대해서는 기저가 ℙ¹, ℙ², ℙ¹×ℙ¹ 등인 경우를 전부 조사해, Aut(콘)·Aut(델피조)의 차수를 각각 2·10⁶, 9·10⁸ 이하로 제한한다.

비고르덴스(Fano) 3‑fold에 대해서는 비정규(비 Gorenstein)와 고정규(Gorenstein) 두 경우를 나눠 다룬다. 비 Gorenstein 경우, 터미널 싱귤러리티의 개수를 ν ≤ 10으로 제한하고, 각 싱귤러리티가 고정된 경우에 가능한 군 작용을 분석해 최종적으로 |G| ≤ 2·10⁹ 정도의 상한을 얻는다(정리 4.5). 고정규 경우에는 항등식 K_X³와 Picard 수 ρ(X) 등을 이용해 경우별로 세밀히 나누어, 가장 큰 경우에도 |G| ≤ 2·10¹⁴ 수준임을 보인다(정리 5.15, 5.24).

전체 증명은 위의 모든 부분 결과를 조합한다. X가 ℚ‑점이 있는 3‑차원 유리 연결체라면, 최소 모델 프로그램에 의해 X는 위의 세 종류 중 하나로 변형될 수 있다. 각 경우마다 얻은 상한을 취하면 최종적으로

|G| ≤ 24 103 053 950 976 000 < 10¹⁷

이라는 전역 상한을 얻는다(정리 1.4). 논문은 또한 현재 알려진 최대 예(10 368)와 비교해 상한이 아직 크게 남아 있음을 언급하고, 비 Gorenstein Fano 3‑fold의 특정 경우를 더 정밀히 분석하면 10⁵ 배 정도 개선될 수 있음을 제시한다(정리 5.27).

부록 A에서는 차수 ≤ 15인 수체에 대한 cyclotomic invariant m_p, t_p 등을 직접 계산해 νₛ𝚌ʰ(p,n), νₛₑ(p,n)의 구체적 수치를 제공한다. 이는 앞서 제시된 모든 정량적 상한의 근거가 된다.

전반적으로 논문은 고전적인 군론, 대수기하학의 최소 모델 프로그램, 그리고 세밀한 수체 이론을 결합해 Cr₃(ℚ) 의 유한 부분군 차수에 대한 최초의 명시적 전역 상한을 제시한다는 점에서 의의가 크다.