Superelliptic curves with large Galois images

1. 문제 제기 (Problem)

• 연구 대상: $r > 2$인 소수 $r$과 소수 $\ell$에 대해, $f(x)$가 단항식 (monic) 이며 계수가 $r$차 분할체 (cyclotomic field) $\mathbb{Q}(\zeta_r)$에 속하는 초타원곡선 $C: y^r = f(x)$의 자코비안 (Jacobian) $J$에 부착된 갈루아 표현 $\rho_\ell: G_{\mathbb{Q}(\zeta_r)} \to \text{Aut}(J[\ell])$을 연구합니다.
• 핵심 질문: 이 표현의 이미지 (image) 가 "큰 (large)"지, 즉 해당 군의 최대 완전 부분군 (perfect subgroup) 을 포함하는지 확인하는 조건을 찾는 것입니다.
• 배경 및 한계:
  • 기존 연구들은 주로 $\mathbb{Q}$ 위에서 정의된 아벨 다양체 (abelian varieties) 나 낮은 차수 (dimension) 의 곡선에 집중했습니다.
  • 특히, 자코비안의 엔드모피즘 링 (endomorphism ring) 이 자명하지 않을 때 (예: 복소곱 CM 이나 분할체 확장), 갈루아 이미지가 제한받는 경우가 많습니다.
  • 이전의 명시적 결과들은 대부분 기저체 (ground field) 가 비분기 확장 (unramified extensions) 을 갖지 않는 경우 (예: $\mathbb{Q}$) 에만 적용되었습니다.
  • 본 논문은 비자명한 엔드모피즘 링을 가지며, 비분기 확장을 허용하는 기저체 ($\mathbb{Q}(\zeta_r)$, 단 $r$차 분할체의 클래스 수 (class number) 가 홀수인 경우) 에서 작동하는 첫 번째 명시적 결과를 제시합니다.

2. 방법론 (Methodology)

저자는 다음과 같은 다단계 접근법을 사용하여 갈루아 이미지의 크기를 증명합니다.

1. 군론적 분석 (Group Theory):

   • 갈루아 이미지가 $GSp_{2g}(\ell)$ (일반 사영 대칭군) 의 부분군임을 이용합니다.
   • 곡선의 자동사상 $[\zeta_r]$이 갈루아 작용과 가환하며, 이를 통해 이미지가 $[\zeta_r]$의 중앙화자 (centraliser) 에 포함된다는 사실을 이용합니다.
   • 중앙화자의 구조를 분석하여, $i$ ( $\ell$의 $\mathbb{Q}(\zeta_r)$에서의 분기 지표) 가 홀수이면 $GL_n(\ell^i)$의 곱, 짝수이면 $GU_n(\ell^{i/2})$의 곱으로 제한됨을 보입니다.
   • Aschbacher 분류 및 현대 군론 도구를 사용하여, 최대 부분군 (maximal subgroups) 중 어떤 것들이 표현의 이미지를 포함할 수 없는지 배제합니다. 특히 전단사 (transvections) 를 포함하는 원소들의 성질을 이용합니다.

2. 국소 조건 및 관성군 제어 (Local Conditions & Inertia Control):

   • $\Delta_v$-regular 곡선 이론 (Dokchitser 의 작업) 을 활용하여, 다항식 $f(x)$의 계수에 대한 특정 조건 (뉴턴 다각형의 구조) 을 부과합니다.
   • 이를 통해 특정 소수 $p$에서의 관성군 (inertia group) $I_p$의 작용을 정밀하게 제어합니다.
   • 관성군의 이미지가 **전단사 (transvection)**를 포함하거나, 특정 순서의 고유값을 가지는지 확인하여, 이미지가 최대 부분군에 포함되지 않음을 증명합니다.

3. 엔드모피즘 캐릭터 (Endomorphism Character):

   • 표현의 행렬식 (determinant) 을 결정하기 위해 **대수적 헤케 캐릭터 (algebraic Hecke character)**인 "엔드모피즘 캐릭터" $\Omega$를 도입합니다.
   • 이 캐릭터의 무한대 타입 (infinity type) 을 분석하여, 갈루아 이미지가 행렬식 조건을 어떻게 만족하는지 규명합니다.
   • 특히 $r=3$인 경우, 이 캐릭터를 완전히 분석하여 정확한 이미지 군을 결정합니다.

4. Ribet 의 보조정리 및 Goursat 의 보조정리:

   • 여러 소수 $\lambda$에 대한 표현들의 이미지를 결합하여, 전체 갈루아 이미지가 각 성분의 곱 (direct product) 을 포함함을 증명합니다.

3. 주요 기여 (Key Contributions)

• 새로운 범위의 적용: 기저체가 비분기 확장을 가질 수 있는 ($\mathbb{Q}(\zeta_r)$, 클래스 수가 홀수인 경우) 환경에서, 차수가 2 를 초과하는 아벨 다양체 (자코비안) 에 대한 명시적인 갈루아 이미지 결과를 최초로 제시했습니다.
• 작은 계수의 명시적 예시: 중국인의 나머지 정리 (CRT) 를 사용하여 거대한 계수를 필요로 하는 기존 방법과 달리, 상대적으로 작은 계수를 가진 다항식 $f(x)$를 구성하여 고 genus (10~36) 의 예시를 제공합니다.
• 정확한 이미지 규명 ($r=3$): $r=3$인 경우, 갈루아 이미지가 단순히 "큰" 수준을 넘어, 정확한 군 구조를 규명했습니다. 이는 문헌상 최초로 정확한 전체 이미지 (full image) 를 기술한 사례입니다.
• 엔드모피즘 캐릭터의 일반화: CM 캐릭터를 일반화하는 엔드모피즘 캐릭터를 체계적으로 연구하여, 비자명한 엔드모피즘 링을 가진 다양체의 갈루아 이미지 분석에 새로운 도구를 제공했습니다.

4. 주요 결과 (Results)

• 주요 정리 (Theorem 1.2 / 7.2):
  • $f(x)$의 차수 $d$가 $2r$의 배수이고, 특정 소수 조건 ($d = q_1 + q_2$, $q_3 < d$ 등) 을 만족하며, 계수가 특정 합동 조건을 만족할 때, 유한한 소수 집합을 제외하고 모든 $\ell$에 대해 갈루아 이미지가 "크다"는 것을 증명합니다.
  • 구체적으로, $i$ ( $\ell$의 분기 지표) 가 홀수이면 $SL_n(\ell^i)^t$를, 짝수이면 $SU_n(\ell^{i/2})^t$를 포함합니다.
• 정확한 이미지 (Theorem 7.5, $r=3$):
  • $r=3$일 때, $\ell \equiv 1 \pmod 3$이면 $\rho_\ell(G_{\mathbb{Q}(\zeta_3)}) = GL_n(\ell)_{\lceil g/3 \rceil, 6} \rtimes \langle \chi_\ell \rangle$.
  • $\ell \equiv 2 \pmod 3$이면 $\rho_\ell(G_{\mathbb{Q}(\zeta_3)}) = GU_n(\ell)_{\lceil g/3 \rceil, 6} \rtimes \langle \chi_\ell \rangle$.
  • 여기서 $n = d-2$이며, 하위 첨자는 행렬식 조건을 나타냅니다.
• 구체적 예시 (Section 7.1):
  • genus 가 10, 16, 22, 28, 18, 12 인 곡선들에 대한 구체적인 다항식 $f(x)$를 제시했습니다.
  • 예: $y^3 = x^{12} + \pi x^{11} + 7\pi^9 x^3 + 14\pi^{10} x^2 + 406\pi^9$ (여기서 $\pi = 1-\zeta_3$).

5. 의의 및 응용 (Significance & Applications)

• 역 갈루아 문제 (Inverse Galois Problem):
  • 이 결과는 $\mathbb{Q}(\zeta_r)$ 위에서 정의된 아벨 다양체를 통해, 특정 선형 대수군 (linear algebraic groups) 을 갈루아 군으로 실현하는 데 기여합니다.
  • 특히, 비자명한 엔드모피즘 링을 가진 다양체에서 이러한 군을 실현할 수 있음을 보여줍니다.
• 계산적 수론의 발전:
  • 고차원 아벨 다양체의 갈루아 표현을 분석할 때, 계수가 작은 다항식을 사용하여 계산적 검증을 가능하게 함으로써, 이론과 계산의 간극을 좁혔습니다.
• 이론적 확장:
  • 기존에 $\mathbb{Q}$나 비분기 확장이 없는 체에 국한되었던 결과들을, 클래스 수가 홀수인 분할체로 확장하여 수론적 구조의 이해를 넓혔습니다.

결론적으로, 이 논문은 고차원 초타원곡선의 갈루아 표현에 대한 정밀한 분석을 통해, 엔드모피즘 구조가 복잡한 상황에서도 "큰" 갈루아 이미지를 가지는 곡선을 명시적으로 구성할 수 있음을 증명하고, $r=3$인 경우 그 정확한 군 구조를 규명한 획기적인 연구입니다.