[논문 리뷰] The maximum or minimum number of rational points on curves of genus three over finite fields

Kristin Lauter, Jean-Pierre Serre|ArXiv.org|2001. 04. 07.

Coding theory and cryptography참고 문헌 5인용 수 6

한 줄 요약

이 논문은 모든 유한체 $\mathbb{F}_q$ 에 대해, Serre-Weil bound에서 최대 3 범위 내에 있는 유리점 수를 가진 종수 3 곡선이 존재함을 증명한다 — 즉, 최댓값 또는 최솟값은 항상 이 범위 내에 있다. 증명은 Serre의 에르미트 모듈러 이론과 아벨 다양체 위의 분할 조합 이론을 사용하여 이소지 유형을 분류하고, Torelli 정리 및 제타 함수 분석을 통해 이러한 곡선의 존재성을 확립한다.

ABSTRACT

We show that for all finite fields F_q, there exists a curve C over F_q of genus 3 such that the number of rational points on C is within 3 of the Serre-Weil upper or lower bound. For some q, we also obtain improvements on the upper bound for the number of rational points on a genus 3 curve over F_q.

연구 동기 및 목표

• 유한체 $\mathbb{F}_q$ 위의 종수 3 곡선에서 최대 또는 최소 유리점 수가 항상 Serre-Weil bound에서 3 이내에 있는지 여부를 규명하는 것.
• 이전에 Serre가 종수 2 곡선에 대해 확립한 결과를 종수 3으로 확장하여, 산술기하학 분야에서 오랫동안 미해결이었던 문제를 해결하는 것.
• 종수 3 곡선의 아벨 다양체의 이소지 유형을 에르미트 모듈러 이론을 분석하여, Weil 및 Serre-Weil bound 근처의 점 수를 갖는 곡선의 존재성을 확립하는 것.
• 종수 3 곡선의 아벨 다양체에서 프로베니우스 작용소의 특성다항식의 판별식에서 발생하는 디오판틴 조건을 해결하는 것.
• Torelli 정리와 분할 제약 조건을 활용하여 종수 3 곡선의 제타 함수를 완전히 분류하는 것.

제안 방법

• 에르미트 모듈러 이론을 사용하여, 일반적인 타원곡선의 곱과 이소지적인 아벨 다양체와, 프로베니우스 자기준동형사상에 의해 정의된 링 위의 토퍼션 없는 모듈러 사이의 동치관계를 설정한다.
• 아벨 다양체 위의 분할을 모듈러 위의 에르미트 형식으로 변환하여, 모듈러 이론적 불변량을 통해 분할된 이소지 유형을 분류한다.
• 다른 이소지 유형을 가진 아벨 다양체 위의 분할을 조합하는 이론을 적용하여, 분할이 아벨 다양체의 분할로 실현 가능한지 여부를 판단한다.
• 제타 함수를 통한 프로베니우스의 특성다항식을 분석하여, 극단적인 점 수를 갖는 종수 3 곡선의 아벨 다양체의 가능한 이소지 유형 목록을 작성한다.
• Tate의 정리를 사용하여 아벨 다양체의 이소지 클래스와 그 프로베니우스 다항식을 연결하고, Torelli 정리를 활용하여 각 아벨 다양체를 실현하는 곡선의 존재성을 보장한다.
• 존재 문제를 $d = m^2 - 4q$ 에 대한 디오판틴 조건으로 환원하며, 여기서 $m = \lfloor 2\sqrt{q} \rfloor$ 이고, $q = x^2 + x + a$ 에서 $a$ 의 부호와 크기에 따라 경우를 나누어 분석한다.

실험 결과

연구 질문

• RQ1 어느 유한체 $\mathbb{F}_q$ 에서 종수 3 곡선이 Serre-Weil 상한 또는 하한에서 최대 3 범위 내에 있는 유리점 수를 갖는가?
• RQ2 모듈러 이론 기반 기법을 사용하여 모든 $q = p^e$ 에서 이러한 곡선의 존재성을 통일적으로 확보할 수 있는가?
• RQ3 관련 링 위에서 분해 불가 에르미트 형식이 존재하는 조건은 무엇이며, 이는 극단적 곡선의 존재성과 어떻게 관련되는가?
• RQ4 다른 이소지 유형을 가진 아벨 다양체 위의 분할을 조합하는 것이 언제 가능하고, 언제 실패하는가? 이는 개선된 상한을 이끌어내는가?
• RQ5 종수 3 곡선의 제타 함수가 가능한 유리점 수를 얼마나 강하게 제약하는가? 이는 Serre-Weil bound와 어떻게 관련되는가?

주요 결과

• 모든 유한체 $\mathbb{F}_q$ 에 대해, Serre-Weil 상한 또는 하한에서 최대 3 범위 내에 있는 유리점 수를 갖는 종수 3 곡선이 존재한다.
• 어느 $q$ 에서든 종수 3 곡선의 실제 최대(또는 최소) 유리점 수와 Serre-Weil bound 사이의 차이는 항상 3 이내이다.
• 일부 $q$ 값에 대해서는 Serre-Weil 상한이 개선되며, 이는 최대 유리점 수가 $q+1 + gm$ 보다 엄밀히 작다는 것을 의미한다.
• 이러한 곡선의 존재성은 일반적인 타원곡선의 프로베니우스 자기준동형사상과 관련된 링 위의 에르미트 형식의 분류를 통해 확립된다.
• 이 증명은 다른 이소지 유형을 가진 아벨 다양체 위의 분할 조합에 의존하며, 이러한 조합이 실패할 경우 $N_q(3)$ 의 더 강한 상한이 도출된다.
• 분석은 $q = x^2 + x + a$ 분해에서 $a$ 와 $x$ 에 대한 디오판틴 조건으로 환원되며, $-x \leq a \leq x$ 이고, 판별식 $d = m^2 - 4q$ 이다.