[논문 리뷰] The approach of St"ohr-Voloch to the Hasse-Weil bound with applications to optimal curves and plane arcs

Fernando Torres|ArXiv.org|2000. 11. 14.

Limits and Structures in Graph Theory참고 문헌 58인용 수 9

한 줄 요약

이 논문은 스토어-볼로크 접근법을 하세-바일 추정에 적용하여, 홀수 순서 체 위의 유한 사영 평면에서 완전 평면 호의 크기 상한을 더 격렬하게 설정하고 최적 곡선의 유일성 결과를 증명한다. 선형 계열, 프로베누스 차수, 그리고 위어스트라스 점 이론을 활용하여, 두 번째로 큰 완전 호 크기의 기존 상한을 향상시키고, 제타 함수와 유리점 구조를 통해 허미트 및 수즈키 곡선과 같은 최대 곡선을 더 강력하게 특성화한다.

ABSTRACT

This is an expository paper concerning topics on rational points of curves defined over finite fields based on a paper by St"ohr and Voloch.

연구 동기 및 목표

• 홀수 순서 유한체 위의 사영 평면에서 두 번째로 큰 완전 평면 호의 크기 상한을 개선하는 것.
• 스토어-볼로크 접근법을 사용하여, 특히 허미트 곡선과 수즈키 곡선을 포함한 $\rF_q$-최대 곡선의 더 강력한 특성화를 확립하는 것.
• 곡선의 제타 함수에서 유도된 선형 계열을 통해 최적 곡선의 유일성을 조사하는 것.
• 스토어-볼로크 추정을 완전 호와 관련된 평면 곡선에 적용하여, 위어스트라스 점 이론과 프로베누스 불변량을 활용하는 것.
• 히르슈펠드-코르크마로스 및 볼로크의 최근 결과를 활용하여 평면 곡선 위의 $\rF_q$-유리점 수에 대한 기존 상한을 향상시키는 것.

제안 방법

• 곡선 위의 선형 계열 $g^r_d$ 와 불변량 $\nu_0, \nu_1, \text{...}, \nu_{r-1}$ 를 사용하여, $\rF_q$-유리점 수를 상한화하는 스토어-볼로크 추정을 적용한다.
• 특히 $\rF_q$-최대 곡선인 경우, $\rX(\rF_q) \neq \emptyset$ 이면 곡선 $\rX$ 의 제타 함수로부터 $\rD_{\rX} = |(\rqs + 1)P_0|$ 를 구성한다.
• 제수의 추정과 할렌의 정리를 $\rD_{\rX}$ 에 적용하여 최적 곡선의 기하적 제약 조건을 도출한다.
• 프로베누스 차수 이론과 $\rD$-위어스트라스 점 이론을 활용하여 선형 계열의 분기와 오스큘레이팅 공간을 분석한다.
• 완전 호의 크기 문제를 곡선의 유리점 문제로 변환하기 위해, 완전 호 $\rK$ 와 그 정규화가 선형 계열을 지닌 특이 평면 곡선 $\rC$ 를 연관짓는다.
• 히르슈펠드-코르크마로스의 평면 곡선의 유리점에 대한 상한과 볼로크의 결과를 사용하여, $m'(2,q)$, 즉 두 번째로 큰 완전 호 크기의 상한을 정밀화한다.

실험 결과

연구 질문

• RQ1 홀수 $q$ 에 대해, 스토어-볼로크 접근법이 $\rP^2(\rF_q)$ 에서 두 번째로 큰 완전 평면 호의 크기에 대해 개선된 상한을 도출할 수 있는가?
• RQ2 스토어-볼로크 방법은 허미트 곡선과 수즈키 곡선와 같은 $\rF_q$-최대 곡선의 유일성 결과를 어느 정도 강화할 수 있는가?
• RQ3 곡선의 제타 함수에서 유도된 선형 계열은 이전의 불변량보다 $\rF_q$-최대성에 대해 더 강력한 특성화를 제공하는가?
• RQ4 선형 계열의 프로베누스 차수와 위어스트라스 점 구조를 사용하여 평면 곡선 위의 $\rF_q$-유리점 수에 대한 더 탴한 상한을 유도할 수 있는가?
• RQ5 홀수 제곱인 $q$ 에 대해, $m'(2,q)$, 즉 $\rP^2(\rF_q)$ 에서 두 번째로 큰 완전 호의 크기의 최선의 가능한 상한은 무엇인가?

주요 결과

• 논문은 홀수 $q$ 에 대해 $m'(2,q) \leq q - \frac{\sqrt{q}}{2} + \frac{5}{2}$ 라는 상한을 확립하였으며, 이는 현재까지 알려진 두 번째로 큰 완전 호 크기의 최고 상한이다.
• $q > 23^2$, $q \neq 3^6$, 그리고 $d \leq \sqrt{q} - 3$ 인 경우, 부등식 $2M_q + M_q' \leq d(q - \sqrt{q} + 1)$ 이 성립하며, 이는 $m'(2,q) = q - \sqrt{q} + 1$ 이라는 추측을 뒷받침한다.
• 허미트 곡선은 스토어-볼로크 방법을 제타 함수에서 유도된 $\rD_{\rX}$ 에 적용하여, 유일하게 $\frac{\sqrt{q}(\sqrt{q} - 1)}{2}$ 의 계수를 가진 $\rF_q$-최대 곡선임을 특성화한다.
• 유사한 방법을 사용하여 수즈키 곡선은 유일하게 계수 $q_0(q - 1)$ 와 $q^2 + 1$ 개의 유리점을 가지며, $\rF_q$-최대 곡선임을 특성화한다.
• $d = \sqrt{q} - 2$ 이고 $q$ 가 충분히 큰 경우, 아구냐-코르크마로스의 $2M_q + M_q'$ 결과에 기반하여 상한이 $m'(2,q) \leq q - \frac{\sqrt{q}}{2} - \frac{11}{2}$ 으로 향상된다.
• 만약 $d \leq \sqrt{q} - 3$ 이고 $q$ 가 충분히 크다면, 조건 $2M_q + M_q' \geq d(q - \sqrt{q} + 1)$ 하에 $m'(2,q) = q - \sqrt{q} + 1$ 이 성립함을 증명하였으며, 이는 추측된 호 크기의 정당성을 확인한다.