[논문 리뷰] Pointless curves of genus three and four

Everett W. Howe, Kristin Lauter외 1명|arXiv (Cornell University)|2004. 03. 10.

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

한 줄 요약

이 논문은 유한체 𝔽_q 중에서 점이 없는 종 3 또는 종 4 곡선—즉, 점이 없는 𝔽_q 유리점을 가지는 매끄럽고, 사영적이며, 기하학적으로 기약인 곡선—을 허용하는 것을 정확히 규명한다. 후보가 되는 체를 제한하기 위해 Weil 및 Serre 추정식을 적용하고, 저자들은 점이 없는 종 3 곡선이 존재하는 것은 q ≤ 25 또는 q = 29 또는 32일 때이며, 점이 없는 종 4 곡선이 존재하는 것은 q ≤ 49일 때임을 증명한다. 대수기하학적 방법과 계산 기반 방법을 통해 명시적 구성과 존재하지 않음을 증명함으로써 결과를 확인한다.

ABSTRACT

A curve over a field k is pointless if it has no k-rational points. We show that there exist pointless genus-3 hyperelliptic curves over a finite field F_q if and only if q < 26, that there exist pointless smooth plane quartics over F_q if and only if either q < 24 or q = 29 or q = 32, and that there exist pointless genus-4 curves over F_q if and only if q < 50.

연구 동기 및 목표

• 모든 유한체 𝔽_q 중에서 종 3 또는 종 4 곡선이 존재하고, 그 곡선이 𝔽_q 유리점을 가지지 않는 경우를 규명하는 것.
• Weil 추정식의 보완 질문을 해결하는 것: 𝔽_q 위의 종-g 곡선에서 최소한의 유리점 수는 얼마인가?
• 모든 존재 가능한 체에서 점이 없는 종 3 및 종 4 곡선에 대한 명시적 구성 제공하기.
• 대수기하학 기법과 계산 기반 대수 시스템을 사용하여 일부 유한체에서 점이 없는 곡선이 존재하지 않음을 증명하는 것.

제안 방법

• Weil 및 Serre 추정식을 적용하여 점이 없는 종 3 또는 종 4 곡선이 존재할 수 있는 유한체 𝔽_q를 제한한다.
• 각 후보 q ≤ 한계에 대해, [8]의 방법(예: zeta 함수 및 클래스체 이론 포함)을 사용하여 명시적 점이 없는 곡선을 구성하거나 존재하지 않음을 증명한다.
• 컴퓨터 대수 시스템 Magma를 사용하여 명시적 계산을 수행하며, 이는 히르미트 형식의 동형류 및 곡선 모델을 포함한다.
• 다항식 방정식을 사용하여 𝔽_q 위에서 유리해가 없는 곡선을 구성함으로써 종 3 하이퍼엘리틱 곡선 및 매끄러운 평면 4차 곡선을 구성한다.
• 종 4 곡선의 경우, 삼중 모델 및 타원곡선 위의 이중 쌍대를 통해 예를 구성하며, 특히 특성 2인 체에서 특히 강력하게 활용한다.
• 대칭성과 자기동형군(예: 클라인 4원군)을 활용하여 모델 구성의 단순화 및 성질 검증을 수행한다.

실험 결과

연구 질문

• RQ1 어느 유한체 𝔽_q 에서 점이 없는 종 3 곡선이 존재하는가?
• RQ2 어느 유한체 𝔽_q 에서 점이 없는 종 4 곡선이 존재하는가?
• RQ3 q = 25 또는 q = 31 일 때, 점이 없는 매끄러운 평면 4차 곡선이 존재하는가?
• RQ4 𝔽_29 또는 𝔽_32 에서 점이 없는 종 3 하이퍼엘리틱 곡선이 존재할 수 있는가?
• RQ5 𝔽_q 위에서 점이 없는 종 4 곡선이 존재하는 최대 q 값은 얼마인가?

주요 결과

• 𝔽_q 위에 점이 없는 종 3 하이퍼엘리틱 곡선이 존재하는 것은 q ≤ 25일 때에 한하여 성립한다.
• 𝔽_q 위에 점이 없는 매끄러운 평면 4차 곡선이 존재하는 것은 q ≤ 23 또는 q = 29 또는 q = 32일 때에 한하여 성립한다.
• 𝔽_q 위에 점이 없는 종 3 곡선이 존재하는 것은 q ≤ 25 또는 q = 29 또는 q = 32일 때에 한하여 성립한다.
• 𝔽_q 위에 점이 없는 종 4 곡선이 존재하는 것은 q ≤ 49일 때에 한하여 성립한다.
• 𝔽_53 또는 𝔽_59 에서는 점이 없는 종 4 곡선이 존재하지 않으며, 이는 q = 49에서의 추정식의 경계를 확인한다.
• 관련 유한체 전역에서 점이 없는 종 3 및 종 4 곡선에 대한 명시적 모델을 제공하며, 이는 삼중 및 하이퍼엘리틱 형태를 포함한다.