[논문 리뷰] Optimal Curves of Genus 3 over Finite Fields with Discriminant -19

Е. С. Алексеенко, С. И. Алешников외 2명|arXiv (Cornell University)|2009. 02. 11.

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

한 줄 요약

이 논문은 판별식 -19를 가진 유한체 위의 최적의 종수 3 곡선을 완전히 분류하며, $ z^2 = \text{quartic in } x + \text{linear in } y $ 형태의 명시적 방정식을 가짐을 증명한다. 소수 체까지 997까지의 최대 및 최소 곡선 표를 구성하여, 이러한 체에서는 최대 곡선과 최소 곡선이 동시에 존재할 수 없음을 보이며, 이러한 곡선의 양류가 $ \text{F}_q $ 위의 최대 또는 최소 타원곡선의 거듭제곱과 동형일 뿐만 아니라, 그 양류가 동형임을 증명한다.

ABSTRACT

In this work we study the properties of maximal and minimal curves of genus 3 over finite fields with discriminant -19. We prove that any such curve can be given by an explicit equation of certain form. Using these equations we obtain a table of maximal and minimal curves over finite fields with discriminant -19 of cardinality up to 997. We also show that existence of a maximal curve implies that there is no minimal curve and vice versa.

연구 동기 및 목표

• 판별식 -19를 가진 유한체 위의 최적(최대 또는 최소) 종수 3 곡선의 동형류를 모두 분류하는 것.
• 복소 곱승 이론과 $ \text{O}_K $ 위의 에르미트 모듈러스를 사용하여, $ K = \text{Q}(\text{sqrt}(-19)) $ 에서 이러한 곡선의 명시적 다항방정식을 유도하는 것.
• 판별식 -19를 가진 소수 체 $ \text{F}_q $ 에서 $ q \leq 997 $ 까지의 최대 및 최소 곡선에 대한 종합적인 표를 구성하는 것.
• 특정 체 위에 최대 곡선이 존재하면 최소 곡선은 존재하지 않으며, 그 반대도 마찬가지임을 증명하는 것.
• Honda-Tate 이론과 Deligne의 동형류에 관한 정리에 기반하여, 이러한 곡선의 양류가 최대 또는 최소 타원곡선의 거듭제곱과 동형임을 보이는 것.

제안 방법

• 판별식 -19를 가진 체 $ K = \text{Q}(\text{sqrt}(-19)) $ 에 대해 복소 곱승 이론과 양류환 $ \text{O}_K $ 를 사용하여 최적 곡선의 양류환을 분류하는 것.
• 일반적인 아벨 다양체가 $ E^g $ 와 동형일 경우와 $ \text{O}_K $-모듈러스에 대한 단위 에르미트 형식의 범주 간 등가를 활용하는 것.
• 리만-로흐 정리와 선형계 분석을 적용하여 명시적 모델을 도출: $ \text{dim}(2D) = 2 $ 인 경우, 분할 유형에 따라 $ z^2 = \text{quartic in } x + \text{linear in } y $ 형태의 방정식을 유도하는 것.
• 점 $ Q $ 에서의 순서를 이용하여 $ x, y, z $ 의 단항식들이 선형 종속임을 증명하여, $ \text{F}_q(x,y) $ 위에서 $ z $ 의 최소 다항식의 차수는 2임을 보장하는 것.
• 순서에 대한 стрict 삼각부등식을 적용하여 일부 함수 조합이 0이 되어야 함을 보이며, 궁극적으로 곡선 방정식의 최종 형태를 도출하는 것.
• 해스-웨일-세르 경계에 도달하는 유리점의 수를 확인하여 최대 또는 최소 곡선의 존재를 검증하며, 특성다항식 $ L(t) = (1 \mp [2\sqrt{q}]t + qt^2)^3 $ 을 사용하는 것.

실험 결과

연구 질문

• RQ1 판별식 -19를 가진 유한체 위의 최적 종수 3 곡선의 동형류의 완전한 집합은 무엇인가?
• RQ2 모든 이러한 최적 곡선은 명시적 다항방정식으로 기술될 수 있으며, 그 형태는 어떠한가?
• RQ3 판별식 -19를 가진 소수 체 $ \text{F}_q $ 에서 최대 또는 최소 종수 3 곡선이 존재하는 경우는 언제인가?
• RQ4 동일한 유한체 위에서 판별식 -19를 가진 최대 곡선과 최소 곡선이 동시에 존재할 수 있는가?
• RQ5 $ K = \text{Q}(\text{sqrt}(-19)) $ 에 대해 $ \text{O}_K $ 의 구조는 이러한 곡선의 양류환에 어떤 제약을 끼치는가?

주요 결과

• 판별식 -19를 가진 유한체 위의 모든 최적 종수 3 곡선은 정리 5.1에 의해 $ z^2 = \text{quartic in } x + \text{linear in } y $ 형태의 명시적 방정식을 가짐을 증명함.
• 판별식 -19를 가진 소수 $ q \leq 997 $ 각각에 대해, 최대 및 최소 곡선의 완전한 목록을 제공하며, 최대와 최소의 경우는 서로 겹치지 않음.
• 모든 이러한 최적 곡선의 양류는 $ E^3 $ 과 동형이며, 여기서 $ E $ 는 $ \text{F}_q $ 위의 최대 또는 최소 타원곡선임.
• 판별식 -19를 가진 $ \text{F}_q $ 위에 최대 곡선이 존재하면 최소 곡선은 존재하지 않으며, 그 반대도 마찬가지임.
• 명시적 예시 제공: $ q = 47 $ 에서 최대 곡선은 $ y^2 = x^3 + x + 38 $ 이며, 최소 곡선은 $ z^2 = 5 + 45x + 30x^2 + 10y $ 이다.
• $ q = 997 $ 에서 최소 곡선은 $ y^2 = x^3 + 500x + 934 $ 이며, $ z^2 = x^2 + 336x + 564 + 196y $ 로 확인되어 큰 소수 크기에서 최적 곡선의 존재를 확인함.