[논문 리뷰] Invariant theory for the elliptic normal quintic, II. The covering map

Tom Fisher|arXiv (Cornell University)|2013. 03. 11.

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

한 줄 요약

이 논문은 타원 정규 오목십차 곡선(elliptic normal quintic)에서 그의 아벨 곡선(제약 곡선)으로의 차수 25의 쌍대사상에 대한 불변량 이론적 공식을 개발한다. 5×5 선형 형식의 반대칭 행렬의 펠리안트를 통해 유도된 불변량을 이용하여, (X/Z², Y/Z³) 형태의 명시적 유리 사상이 쌍대사상을 실현함으로써, 수체 위에서의 평가를 위한 실용적인 알고리즘을 제공하고, 산술기하학에서의 명시적 n-내림 계산을 가능하게 한다.

ABSTRACT

A genus one curve C of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We prove a result characterising the covariants for these models in terms of their restrictions to the family of curves parametrised by the modular curve X(5). We then construct covariants describing the covering map of degree 25 from C to its Jacobian and give a practical algorithm for evaluating them.

연구 동기 및 목표

• 5차 곡선의 제약 곡선으로부터의 쌍대사상에 대한 명시적 불변량 이론적 공식을 제공한다.
• 이전의 타원 정규 오목십차 곡선에 대한 불변량 연구를 확장하여, 쌍대사상까지 포함함으로써 곡선 기하학의 완전한 불변량 이론적 묘사를 완성한다.
• 수체 위에서 쌍대사상의 실용적 계산을 가능하게 하여, 명시적 n-내림 및 모를레르-바일 군 계산을 지원한다.
• 모듈라 곡선 X(5)로의 제약을 통해 불변량을 특성화함으로써 헤이젠베르그 군 작용과의 호환성을 확보한다.

제안 방법

• ℙ⁴ 상의 선형 형식으로 이루어진 5×5 반대칭 행렬의 펠리안트로 5차 곡선의 곡선 모델을 구성한다.
• GL(V)×GL(W)-궤도 폐쇄의 구조를 이용하여, SL(V)×SL(W) 작용 하에서의 불변 다항식환 내에서 차수 50, 110, 165인 불변량 Z, X, Y를 식별한다.
• 제약 곡선 E의 위어스트라스 방정식 y² = x³ - 27c₄x - 54c₆를 가진 E에서, (x,y) = (X/Z², Y/Z³) 형태의 유리 사상 π: C → E 를 통해 쌍대사상을 구성한다.
• 유리 노드가 있는 오목십차 곡선로의 특수화를 통해 Y² = X³ - 27c₄XZ⁴ - 54c₆Z⁶ 관계의 정규화 상수를 결정한다.
• 이전 연구에서의 알고리즘을 응용하여 Z, X, Y 불변량을 효율적으로 평가함으로써, 계산 대수계산 시스템 내에서의 구현 가능성을 확보한다.
• 베주 정리에 의한 군집점 수 계산을 통해 쌍대사상의 차수가 25임을 확인하고, 헤이젠베르그 군 작용에 의해 몫을 이루는지 확인한다.

실험 결과

연구 질문

• RQ1 타원 정규 오목십차 곡선에서 그의 제약 곡선으로의 차수 25의 쌍대사상은 불변 다항식의 형태로 어떻게 표현될 수 있는가?
• RQ2 제약 곡선 모델에서 선형 형식의 대칭 거듭제곱으로 사상하는 불변량의 모듈러스의 구조는 무엇이며, 쌍대사상과 어떤 관계가 있는가?
• RQ3 쌍대사상에 정의된 불변량은 수체 위에서 알고리즘적으로 계산될 수 있는가? 특수화된 특이 모델에서의 행동은 어떠한가?
• RQ4 이전에 제약 곡선을 계산하는 데 사용된 불변량 c₄와 c₆는 어떻게 쌍대사상의 전체 묘사로 확장되는가?
• RQ5 헤이젠베르그 군 작용은 쌍대사상의 특성화에 어떤 역할을 하는가? 불변량에 어떻게 표현되는가?

주요 결과

• 비특이 타원 정규 오목십차 곡선 C에서 그의 제약 곡선 E로의 쌍대사상은 (x,y) = (X/Z², Y/Z³)로 주어지며, 여기서 X, Y, Z는 각각 차수 110, 165, 50인 불변량이다.
• 제약 곡선 E는 위어스트라스 방정식 y² = x³ - 27c₄(φ)x - 54c₆(φ)를 가지며, c₄와 c₆는 각각 차수 20과 30인 표준 불변량이다.
• 쌍대사상의 차수는 25이며, 무한대 점 위의 25개의 군집점 수를 교차 이론을 통해 계산하여 확인하였다.
• 불변량 X, Y, Z는 선형 형식 위의 대칭 대수에서 차수 6인 불변량의 모듈러스에 대한 자유 기저를 이룬다. 이는 사상이 잘 정의되고 유리적임을 보장한다.
• X, Y, Z를 계산하는 알고리즘은 실용적이며, Magma에서 실제로 구현되었으며, c₄ = 21288863488, c₆ = 3106257241074688인 ℚ 위의 오목십차 곡선에 대해 명시적인 평가가 수행되었다.
• 이 사상은 제약 곡선 상에서 정규 높이 164.907인 점을 생성하며, 이 점은 랭크 1을 가지며, 이 점에 의해 생성되므로, 모를레르-바일 계산에서의 유용성을 확인한다.