The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$

기술 요약: 유리수체 $\mathbb{Q}$ 위에서의 갈루아 군으로서의 마티외 군 $M_{23}$

문제 정의
역 갈루아 문제(Inverse Galois Problem)는 모든 유한 군이 유리수체 $\mathbb{Q}$ 위의 유한 갈루아 확장(Galois extension)의 갈루아 군으로 나타날 수 있는지를 묻는다. 1984년에서 1989년 사이 26개의 산사중 단순 군(sporadic finite simple groups) 중 25개가 $\mathbb{Q}$ 위의 갈루아 군으로 실현되었으나, 마티외 군 $M_{23}$은 유일한 예외로 남아 있었다. $M_{23}$을 $\mathbb{Q}$ 상에서 실현하려는 이전의 시도들은 $\mathbb{Q}(\sqrt{-23})$, $\mathbb{Q}(\sqrt{-7})$ 또는 특정 수체 $F$와 같은 다른 체 위에서의 실현만을 도출하거나, $\mathbb{Q}(t)$ 위의 정규 확장(regular extension)을 생성하는 데 실패하였다. 본 논문은 $M_{23}$이 실제로 $\mathbb{Q}$ 위의 갈루아 군임을 증명함으로써 이 문제를 해결한다.

방법론
저자들은 강직성 방법(rigidity method), 수치적 벨리 맵(Belyi map) 알고리즘, 그리고 대수적 검증의 조합을 사용한다.

1. 표준 강직성의 실패: 표준 강직성 방법은 $M_{23}$ 내에서 연관된 닐슨 클래스(Nielsen class)의 크기가 1인(즉, "강직한" triple) 세 개의 켤레 클래스 $(C_1, C_2, C_3)$를 찾는 것에 의존한다. 저자들은 $M_{23}$의 경우 그러한 강직한 triple이 존재하지 않음을 입증한다. $G_\mathbb{Q}$-불변 다중 집합(multiset)에 대한 최소 닐슨 클래스 크기는 $\{2, 23A, 23B\}$에 대응하는 7이다.
2. 비강직 triple 및 허witz 공간: 강직한 triple 대신, 저자들은 $\{2, 23A, 23B\}$ triple을 활용한다. 리만 존재 정리(Riemann existence theorem)는 국소 모노드로미(local monodromy)가 이 클래스들에 속하고 $S = \{0, \sqrt{-23}, -\sqrt{-23}\}$에서 분기되는 $\mathbb{P}^1_\mathbb{C}$ 위의 $M_{23}$-커버(cover)가 정확히 7개 존재함을 함의한다. 이러한 커버를 점 안정화 부분군(point stabilizer)에 의한 몫으로 취하면 종수(genus) 4인 곡선 $X_C$를 얻는다.
3. 벨리 맵의 수치적 계산: 저자들은 BelyiDB 패키지(Hejhal과 Stark의 아이디어를 바탕으로 Klug, Musty, Schiavone, Sijsling, Voight가 구현한 알고리즘)를 사용하여, 닐슨 클래스와 연관된 7개의 곡선 $X_C$를 수치적으로 계산한다. 이는 고정밀도의 미분 형식의 멱급수 전개를 계산하는 과정을 포함한다.
4. 대수적 인식: 계산된 곡선의 계수들을 PSLQ 알고리즘을 사용하여 대수적 수로 인식한다. 놀랍게도, 저자들은 이 7개의 곡선 중 하나의 모듈리 체(field of moduli)가 $\mathbb{Q}$임을 발견하였는데, 이는 갈루아 군 $G_\mathbb{Q}$가 7개의 집합 위에 추이적(transitively)으로 작용할 것이라는 예상에도 불구하고 나타난 결과이다. 이 고정점(fixed point) 덕분에 해당 곡선은 $\mathbb{Q}$ 위에 정의된 모델 $X$로 하강(descend)할 수 있다.
5. 확장의 구성:
   • 저자들은 $K=\mathbb{Q}(\sqrt{-23})$인 종수 4인 곡선 $X_K$의 정준 모델(canonical model)을 $\mathbb{P}^3$ 내의 이차 곡면(quadric)과 삼차 곡면(cubic)의 완전 교집합으로 구성한다.
   • 저자들은 $X$ 상의 유리 함수 $u$와 $v$를 계산하여 차수가 23인 사상 $t: X \to \mathbb{P}^1$을 정의한다.
   • 함수체 $K(X)$를 분석하고 작은 소수(small primes)에 대한 선형 대수를 적용하여, $V$에 대한 $T$의 차수가 23인 다항식 $F(T, V) \in \mathbb{Q}[T, V]$를 재구성한다.
6. 갈루아 군 검증:
   • 기하적 모노드로미: 분기점에서의 국소 모노드로미($\pm\sqrt{-23}$에서의 23-사이클 및 0에서의 특정 사이클 유형)는 기하적 모노드로미 군 $G_{geom}$이 $M_{23}$을 포함함을 함의한다.
   • 산술적 모노드로미: 31에 대한 특수화를 수행하고 Magma를 사용하여 산술적 모노드로미 군이 $M_{23}$임을 인증함으로써, $G_{arith} = M_{23}$임을 증명한다. $M_{23}$은 $S_{23}$의 어떤 더 큰 부분군에도 정규 부분군이 아니므로, $G_{geom} = G_{arith} = M_{23}$이다.

주요 기여 및 결과

• 정리 1.1: $\mathbb{Q}$ 위의 갈루아 군으로서 $M_{23}$을 갖는 갈루아 확장이 존재한다.
• 정리 1.3: $\mathbb{Q}(t)$ 위의 정규 갈루아 확장 $L/\mathbb{Q}(t)$로서 갈루아 군 $M_{23}$을 갖는 확장이 존재한다. 이는 힐베르트의 기약성 정리(Hilbert's Irreducibility Theorem)를 통해 $\mathbb{Q}$ 상에서 무수히 많은 그러한 확장이 존재함을 의미하는 더 강력한 결과이다.
• 명시적 다항식: 저자들은 유리수 계수를 갖는 차수 23의 명시적 다항식들을 제공한다.
  • 예시 1.2: 분해체(splitting field)가 $\{2, 3, 23\}$ 밖에서 분기되지 않는 $\mathbb{Q}$ 상의 $M_{23}$-확장인 다항식 $f(x)$.
  • 예시 3.7: $\{2, 7, 23\}$ 밖에서 분기되지 않는 더 낮은 높이(lower-height)의 특수화된 $f(x)$.
• 따름정리 1.4: 이 결과는 임의의 수체 $k$로 확장되어, 임의의 산사중 단순 군 $G$에 대해 $k(t)$ 위의 정규 $G$-확장 및 $k$ 상의 상호 독립적인 $G$-확전의 존재성을 증명한다.

의의
본 논문은 26개의 산사중 단순 군 모두를 $\mathbb{Q}$ 위의 갈루아 군으로 실현하는 프로그램을 완성한다. $M_{23}$의 실현은 마지막 남은 과제였다. 이 연구는 결과 자체뿐만 아니라 방법론 측면에서도 중요하다. 즉, 허witz 공간(Hurwitz space) 상의 갈루아 작용이 고정점을 갖는 비강직 triple을 활용함으로써 표준 강직성 방법의 실패를 성공적으로 극복하였다. 이를 통해 수체 위에 정의된 커버를 $\mathbb{Q}$ 위에 정의된 커버로 하강시킬 수 있었으며, 저자들은 이에 대한 개념적 설명이 부족하다는 점을 언급하며 이를 "기적적(miraculous)"이라고 묘사하였다.

저자들은 Magma 컴퓨터 대수 시스템을 사용하여 자신들의 주장을 인증하며 코드를 공개적으로 제공한다. 저자들은 문헌 조사, 코드 생성, 교정에 AI 도구가 사용되었음을 명시하면서도, 최종적인 수학적 결과와 검증은 AI의 도움 없이 수행되었음을 분명히 밝히고 있다.