[논문 리뷰] A computational note about Fricke-Macbeath's curve

Rubeén A. Hidalgo|arXiv (Cornell University)|2012. 03. 28.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 5

한 줄 요약

이 논문은 Fricke-Macbeath 곡선의 명시적 대수적 모델을 ℚ(√−7) 위에서 구성하는 계산적 방법을 제시한다. 갈루아 강하와 불변량 이론을 활용하여, ℚ(ρ) 위에서 정의된 Macbeath의 원래 모델 X에서 ℚ 위에서 정의된 곡선 W로의 비선형 동형사상(birational isomorphism)을 구현한다. 이는 실 이차체 위에서의 최초의 명시적 모델이며, 모든 구성 과정은 컴퓨터 대수 시스템에서 실행 가능한 방식으로 이루어진다.

ABSTRACT

The well known Hurwitz upper bound states that a closed Riemann surface $S$ of genus $g \geq 2$ has at most $84(g-1)$ conformal automorphisms. If $S$ has exactly $84(g-1)$ conformal automorphisms, then it is called a Hurwitz curve. The first two genera for which there are Hurwitz's curves are $g \in \{3,7\}$. In both situations there is exactly one such curve up to conformal equivalence, in particular, in both cases the field of moduli is ${\mathbb Q}$. As these two curves are quasiplatonic curves, they are definable over ${\mathbb Q}$. The Hurwitz's curve of genus $g=3$ is given by Klein's quartic $x^3y+y^3z+z^3x=0$. The Hurwitz's curve of genus $g=7$ is known as Fricke-Macbeath's curve and equations over ${\mathbb Q}(ρ)$, where $ρ=e^{2 πi/7}$, are known due to Macbeath. Unfortunately, explicit equations over ${\mathbb Q}$ are not easy to find for this curve. In this paper we first explain how to construct an explicit model $Z_{2}$ of Fricke-Macbeath's curve over ${\mathbb Q}(\sqrt{-7})$ and an explicit isomorphism $L_{1}:X o Z_{2}$, defined over ${\mathbb Q}(ρ)$. Next, using that explicit model we construct another explicit isomorphism $L_{2}:Z_{2} o W$, defined over ${\mathbb Q}(\sqrt{-7})$, where $W$ is some algebraic curve defined over ${\mathbb Q}$. Unfortunately, the equations for $W$ are quite long to write down, but everything is explained in order to perform the computations in a computer.

연구 동기 및 목표

• Fricke-Macbeath 곡선의 명시적 대수적 모델을 ℚ(√−7), 즉 ℚ의 실 이차 확장 위에서 구성하는 것. 이 곡선은 기존에 ρ = e²πi/7 를 사용해 ℚ(ρ) 위에서 정의되어 있음.
• Macbeath의 원래 모델 X를 ℚ(ρ) 위에서 정의된 곡선 W로의 비선형 동형사상을 계산적 대수기하 기법을 통해 제공하는 것.
• 6차원 순환군 작용에 따른 갈루아 불변량을 직접 계산하는 데 어려움이 있는 상황에서 문제를 두 단계로 분리함: 먼저 ℚ(√−7) 위에서 모델 Z₂를 구성하고, 이를 통해 ℚ로의 강하를 달성하는 것.
• Fricke-Macbeath 곡선이 그 모듈스 필드를 통해 ℚ 위에서 정의 가능하다는 것은 알려져 있으나, 문헌에서 명시적인 방정정식가 존재하지 않음을 밝히고, 계산적으로 실행 가능한 구성으로 이 공백을 메우는 것.

제안 방법

• 갈루아 강하 정리의 구조적 변형을 적용하여, 갈루아 군 Gal(ℚ(ρ)/ℚ) 이 곡선 모델에 작용한다는 사실을 이용해 ℚ(ρ) 에서 ℚ(√−7) 로 곡선을 강하하는 방법.
• 24차원 다항식 공간 위에서 순환군(순서 6) 작용에 대한 불변량을 컴퓨터 보조 계산을 통해 ℚ(√−7) 위에서 중간 모델 Z₂ 를 구성하는 방법.
• ℚ(ρ) 위에서 정의된 명시적 동형사상 L₁: X → Z₂ 를 계산하고, 그 역도 제공하여 Macbeath의 원래 방정식을 새로운 좌표계로 변환할 수 있도록 하는 방법.
• ℚ(√−7) 위에서 정의된 두 번째 동형사상 L₂: Z₂ → W 를 구성함으로써 ℚ 위에서 정의된 곡선 W 로의 강하를 달성. 불변량 이론과 계산 대수학을 활용.
• 전체 갈루아 작용의 불변량 생성자를 직접 계산하는 대신, 곡선의 자기동형군의 대칭성을 활용해 갈루아 작용을 다룰 수 있는 단계로 분해함.
• 모든 구성 과정은 MAGMA 와 같은 컴퓨터 대수 시스템에서 실행 가능한 방식으로 설계되었으며, 핵심 변환에 대한 명시적 공식을 제공함.

실험 결과

연구 질문

• RQ1 Macbeath 곡선이 원래 순환체 ℚ(ρ) 위에서 정의되어 있음에도 불구하고, 실 이차체 ℚ(√−7) 위에서의 명시적 모델을 구성할 수 있는가?
• RQ2 계산적 강하 기법을 사용하여, ℚ(ρ) 위에서 정의된 Macbeath의 원래 모델에서 ℚ 위에서 정의된 곡선으로의 비선형 동형사상을 계산할 수 있는가?
• RQ3 직접 6차원 갈루아 군 작용에 대한 불변량을 계산하는 것이 불가능한 상황에서, 강하에 필요한 갈루아 불변 조건을 효과적으로 구현하는 방법은 무엇인가?
• RQ4 중간 모델 Z₂ 의 구조는 어떻게 되며, 이는 ℚ 위에서 정의된 모델 W 로의 강하를 어떻게 촉진하는가?
• RQ5 전체 강하 과정은 명시적 공식으로 수행될 수 있으며, 기호 계산 시스템에서 실행 가능한 계산 가능성은 확보할 수 있는가?

주요 결과

• 논문은 ℚ(√−7) 위에서 Fricke-Macbeath 곡선의 최초로 알려진 명시적 모델 Z₂ 를 구성하였다. 이는 ℚ 위에서의 모델로의 전진을 위한 중요한 단계이다.
• ℚ(ρ) 위에서 정의된 명시적 동형사상 L₁: X → Z₂ 와 그 역이 제공되었으며, 이는 Macbeath의 원래 방정식을 새로운 좌표계로 변환할 수 있도록 한다.
• ℚ(√−7) 위에서 정의된 두 번째 동형사상 L₂: Z₂ → W 가 구성되었으며, W 는 ℚ 위에서 정의된 대수적 곡선이므로 ℚ 로의 강하가 성공적으로 달성되었다.
• 최종 곡선 W 는 변수 t₁, t₃, t₁₁, t₁₂, t₁₃, t₁₄, t₁₅, t₁₆, t₁₇, t₁₈, t₁₉, t₂₀, t₂₁, t₂₂, t₂₃, t₂₄ 에 대한 긴 방정식 시스템으로 명시적으로 정의되며, 계수는 모두 ℚ 에 속한다.
• W 의 방정식는 너무 길어 전체적으로 기입하기 어려우나, 논문은 컴퓨터 대수 시스템을 사용한 계산을 위한 완전한 알고리즘 프레임워크를 제공한다.
• 전체 구성 과정은 Gal(ℚ(ρ)/ℚ) 의 갈루아 작용 σ 에 대해 W^σ = W 를 만족함을 보여, W 가 실제로 ℚ 위에서 정의되어 있음을 확인한다.