[논문 리뷰] On the Number of Distinct Legendre, Jacobi and Hessian Curves

Reza Rezaeian Farashahi|arXiv (Cornell University)|2011. 12. 24.

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

한 줄 요약

이 논문은 유한체 𝔽_q 위에서 레지오드, 자코비, 허미션, 일반화된 허미션 곡선의 가족에서 𝔽_q-동형사상에 대해 서로 다른 타원곡선의 수를 명시적인 공식으로 제시한다. j-불변량 분류와 군 작용 분석을 통해 q mod 12 또는 3에 따라 달라지는 닫힌 형태의 표현식을 유도하며, 암호학적 곡선 가족에 대한 동형사상 클래스 수에 관한 열린 문제를 해결한다.

ABSTRACT

We give explicit formulas for the number of distinct elliptic curves over a finite field, up to isomorphism, in the families of Legendre, Jacobi, Hessian and generalized Hessian curves.

연구 동기 및 목표

• 유한체 𝔽_q 위에서 레지오드, 자코비, 허미션, 일반화된 허미션 곡선의 가족에서 𝔽_q-동형사상에 대해 서로 다른 타원곡선의 수를 결정하는 열린 문제를 해결하는 것.
• 에드워즈 유형 곡선의 j-불변량 수에 대한 이전 연구를 이러한 고전적 곡선 가족으로 확장하는 것.
• 곡선의 크기 q와 q mod 3 또는 12에 따라 의존하는 정확한 닫힌 형태의 공식을 제공하는 것.
• 군 작용과 j-불변량 분류를 활용한 동형사상 클래스 수 계산 프레임워크를 수립하여 다른 곡선 가족에도 적용 가능하도록 하는 것.

제안 방법

• 곡선을 j-불변량으로 분류하고, 군 작용 기법을 사용하여 각 j-불변량에 대한 𝔽_q-동형사상 클래스의 수를 분석한다.
• 곡선 가족의 𝔽_q-동형사상 클래스 수가 그 가족 내 서로 다른 j-불변량의 수와 자동환군의 크기에 따라 조정된다는 사실을 활용한다.
• 곱셈군 𝔽_q^*와 삼차 잔여물의 구조로부터 유도된 일반화된 허미션 가족 내 j-불변량 수에 대한 기존 결과를 활용한다.
• q mod 3 및 q mod 12 기반의 경우 분석을 통해 조각 함수 형태의 공식을 유도하며, 타원곡선의 자동환군의 구조를 활용한다.
• q ≡ 1 mod 3일 때, 일반화된 허미션 곡선의 동형사상 클래스 수는 J_GH(q) + 2이며, 여기서 J_GH(q)는 서로 다른 j-불변량의 수이다.
• 모든 타원곡선 E에 대해 E와 그 이차 타원의 순서의 합이 2q + 2임을 이용하여 타원의 행동과 동형사상 클래스 수를 분석한다.

실험 결과

연구 질문

• RQ1 유한체 𝔽_q 위에서 레지오드 곡선에 대해 𝔽_q-동형사상 클래스가 몇 개인가?
• RQ2 Hessian 곡선에 대해 𝔽_q-동형사상 클래스의 정확한 수는 얼마이며, q mod 3에 따라 어떻게 달라지는가?
• RQ3 일반화된 Hessian 곡선에 대해 𝔽_q-동형사상 클래스의 수는 얼마이며, q mod 12에 따라 어떻게 변화하는가?
• RQ4 각 곡선 가족의 동형사상 클래스 수와 서로 다른 j-불변량의 수는 어떻게 관련되어 있는가?
• RQ5 에드워즈 곡선에 대해 알려진 것과 유사하게, 이러한 고전적 곡선 가족에 대해 동형사상 클래스 수에 대한 명시적 닫힌 형태의 공식을 도출할 수 있는가?

주요 결과

• 레지오드 곡선에 대해 𝔽_q 위에서, q ≡ 3 mod 4이면 𝔽_q-동형사상 클래스 수는 (q + 1)/2이며, q ≡ 1 mod 4이면 (q + 3)/2이다.
• Hessian 곡선에 대해 𝔽_q 위에서, q ≡ 1 mod 3이면 𝔽_q-동형사상 클래스 수는 ⌊(q + 11)/12⌋이며, q ≡ 0 또는 2 mod 3이면 q − 1이다.
• 일반화된 Hessian 곡선에 대해 𝔽_q 위에서, q ≡ 1 mod 3이면 𝔽_q-동형사상 클래스 수는 ⌊(3(q + 3))/4⌋이며, q ≡ 0 또는 2 mod 3이면 q − 1이다.
• 𝔽_q 위에서 일반화된 Hessian 가족 내 서로 다른 j-불변량의 수는 q ≡ 1 mod 12이면 (3q + 1)/4, q ≡ 4 mod 12이면 3q/4, q ≡ 7 mod 12이면 (3q − 1)/4이다.
• 일반화된 Hessian 곡선의 𝔽_q-동형사상 클래스 수는 j-불변량 0과 1728이 더 큰 자동환군을 가지므로, 그 가족 내 서로 다른 j-불변량의 수에 2를 더한 것과 같다.
• 공식은 q mod 12에 대한 경우 분석과 𝔽_q^*의 구조, 특히 삼차 잔여물의 수와 자동환군이 곡선 매개변수에 작용하는 방식을 활용하여 유도되었다.