[논문 리뷰] On the Correspondence between Supersingular Elliptic Curves and maximal quaternionic Orders

Juan Marcos Cerviño|ArXiv.org|2004. 04. 29.

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

한 줄 요약

이 논문은 소수 성질을 가진 유한체의 대수적 폐쇄 위에서 초특이 타원곡선의 내적환을 결정적으로 계산하는 알고리즘을 제시한다. $Χ_{\infty,p}$에서의 최대 순서와 초특이 타원곡선 사이의 명시적 대응을 수립함으로써, 이 방법은 $-p$의 판별식을 가진 삼차 이차형식을 사용하여 내적환의 기저를 알고리즘적으로 결정하며, 이로써 동형사상에 관하여 완전한 분류를 달성한다.

ABSTRACT

We present a deterministic and explicit algorithm to compute the endomorphism rings of supersingular elliptic curves. As an example we compute the endomorphism rings of all supersingular elliptic curves defined over characteristic p=29,...,97.

연구 동기 및 목표

• 초특이 타원곡선 $\\overline{\\mathbb{F}_p}$ 위와 퀸터니언 대수 $\\mathbb{Q}_{\infty,p}$의 최대 순서 사이의 구조적이고 명시적인 대응을 수립한다.
• 모든 소수 $p$에 대해, $\\overline{\\mathbb{F}_p}$ 위에서의 초특이 타원곡선과 그 내적환 기저를 완전히 나열하는 결정적 알고리즘을 제공한다.
• 데우링의 고전적 내적환 표를 일반화하여, 알고리즘적으로 생성된 새로운 초특이 곡선과 그에 해당하는 최대 퀸터니언 순서의 표를 계산한다.

제안 방법

• 알고리즘은 브란트-소른 대응을 활용하며, 이는 판별식 $-p$를 가진 삼차 정수형식의 동형류와 $\\mathbb{Q}_{\infty,p}$의 최대 순서의 동형 유형 사이의 전단사 대응을 수립한다.
• 각 형식은 시버의 표기법 $\\begin{pmatrix}a_{11}&a_{22}&a_{33}\\ a_{23}&a_{13}&a_{12}\\ &&\\tau\\end{pmatrix}$로 표현되며, 이는 $\\mathbb{Q}_{\infty,p}$ 내의 대응 최대 순서를 구성하는 데 사용된다.
• 짝수 클리포드 대수를 사용하여 각 삼차 형식에 최대 순서를 부여함으로써 내적환의 구조를 명시적으로 계산할 수 있다.
• 각 최대 순서에 대해, 알고리즘은 내적환 $\\operatorname{End}_{\\overline{\\mathbb{F}_p}}(E) \otimes \\mathbb{Q}$의 $\\mathbb{Z}$-기저 $\{1, e_1, e_2, e_3\}$를 계산하여 환의 구체적 표현을 제공한다.
• 이 방법은 $\\mathbb{Q}_{\infty,p}$의 유형수 $t_p$와 계수수 $h_p$의 유한성에 기반하며, 알고리즘이 종료되고 모든 동형류를 나열함을 보장한다.
• 최종 출력은 $\\overline{\\mathbb{F}_p}$ 위의 초특이 곡선 $E$와 각각의 내적환 대수의 기저를 $\\mathbb{Q}$ 위에서 쌍으로 제공하는 표이며, 데우링의 원래 표와 유사하다.

실험 결과

연구 질문

• RQ1 초특이 타원곡선의 내적환을 $\\overline{\\mathbb{F}_p}$ 위에서 결정적이고 명시적으로 알고리즘적으로 계산하는 방법은 무엇인가?
• RQ2 초특이 타원곡선의 동형류와 퀸터니언 대수 $\\mathbb{Q}_{\infty,p}$의 최대 순서 사이의 정확한 대응은 무엇인가?
• RQ3 데우링이 수립한 고전적 대응을 삼차 이차형식을 통해 알고리즘적으로 효과적으로 만들 수 있는가?
• RQ4 각 초특이 곡선에 대해 내적환 대수 $\\operatorname{End}_{\\overline{\\mathbb{F}_p}}(E) \otimes \\mathbb{Q}$의 구조는 무엇이며, 곡선의 불변량으로부터 어떻게 계산할 수 있는가?

주요 결과

• 알고리즘이 각 소수 $p$에 대해 $\\overline{\\mathbb{F}_p}$ 위의 모든 초특이 타원곡선의 동형류를 완전히 나열하며, 내적환 기저를 $\\mathbb{Q}$와 텐서곱한 기저를 제공한다.
• $\\overline{\\mathbb{F}_p}$ 위의 초특이 타원곡선의 동형류 수는 퀸터니언 대수 $\\mathbb{Q}_{\infty,p}$의 유형수 $t_p$와 일치하며, 이는 일대일 대응을 확인한다.
• $p = 31$의 경우, 알고리즘은 3개의 동형류를 식별하며, 이는 각각 삼차형식 $\\begin{pmatrix}1&2&4\\1&0&0\\&&2\\end{pmatrix}$, $\\begin{pmatrix}1&2&5\\2&0&1\\&&2\\end{pmatrix}$, $\\begin{pmatrix}1&1&8\\0&1&0\\&&4\\end{pmatrix}$에 해당하는 내적환 유형을 가진다.
• $p = 47$의 경우, 알고리즘은 5개의 동형류를 계산하며, 이는 각각 형식 $\\begin{pmatrix}1&2&7\\0&1&1\\&&2\\end{pmatrix}$, $\\begin{pmatrix}1&2&6\\1&0&0\\&&2\\end{pmatrix}$, $\\begin{pmatrix}1&3&4\\1&0&0\\&&2\\end{pmatrix}$, $\\begin{pmatrix}1&1&12\\0&1&0\\&&4\\end{pmatrix}$, $\\begin{pmatrix}1&1&16\\0&1&1\\&&6\\end{pmatrix}$에 대응한다.
• 이 방법은 데우링의 표와 유사하지만 알고리즘적으로 생성된 표를 제공하며, $p$가 97 이하일 때까지의 항목을 포함하여 $p$, 동형류 수, 해당 삼차형식의 대응을 보여준다.
• 알고리즘은 $\\mathbb{Q}_{\infty,p}$의 계수수 $h_p$가 모든 최대 순서에서 일정하며, 유형수 $t_p$가 초특이 곡선의 수와 일치함을 확인함으로써 이론적 대응을 검증한다.