On superspecial hyperelliptic curves of Rosenhain forms

기술 요약: 로젠하인 형태(Rosenhain forms)에서의 초특수 쌍곡선 곡선 열거

문제 정의
본 논문은 주어진 표수 $p$에서 초특수(superspecial) 속성을 가진 속 $g$의 쌍곡선 곡선(hyperelliptic curves)의 동형 클래스(isomorphism classes)의 수를 결정하는 근본적인 문제를 다룬다. 속 $g \le 3$인 경우는 대부분 해결되었으나, $g \ge 4$인 경우의 존재 여부는 일반적으로 미해결 상태로 남아 있으며, 고차 속에 대한 구체적인 계수는 작은 표수 범위에서 제한적이었다. Kudo와 Harashita의 이전 연구는 $p \le 19$인 경우의 속 4에 대해 그로브너 기저(Gröbner basis) 계산을 사용하여 이 문제를 해결하였다. 본 논문은 이러한 결과를 $p=41$까지의 범위를 포함하여 속 4, 5, 6에 대해 확장하는 것을 목표로 한다.

방법론
저자들은 로젠하인 형태의 곡선으로부터 유도된 특정 필요 조건을 활용하는 새로운 알고리즘(알고리즘 3.1)을 제안한다.

1. 로젠하인 형태 및 필요 조건:
   본 논문은 다음과 같은 로젠하인 방정식으로 정의되는 쌍곡선 곡선에 집중한다:
   $$C: y^2 = x(x-1) \prod_{i=1}^{2g-1} (x - \lambda_i)$$
   핵심적인 이론적 기여는 정리 1.3으로, 이는 $p > 2$인 표수에서 이러한 곡선이 초특수하기 위한 필요 조건을 확립한다. 이 정리는 만약 $C$가 초특수하다면, 모든 $i, j \in \{1, \dots, 2g-1\}$에 대하여 $\lambda_i$, $1-\lambda_i$, 그리고 $\lambda_i - \lambda_j$가 유한체 $\mathbb{F}_{p^2}$ 내에서 제곱수(squares)여야 함을 명시한다.

• 증명 전략: 증명은 곡선의 야코비안(Jacobian) $J$의 성질을 이용한다. 저자들은 곡선이 초특수인 경우, 4-토션 부분군(4-torsion subgroup) $J[4]$가 $\mathbb{F}_{p^2}$ 위에서 정의됨을 보여준다. 머포드 표현(Mumford representations)과 그 절반 지점(half-points)들을 분석함으로써, 저자들은 특정 분기점(branch points)들의 교차비(cross-ratios)가 $\mathbb{F}_{p^2}$에서 제곱수여야 함을 입증한다.

2. 열거 알고리즘:
   정리 1.3에 기반하여, 알고리즘은 다음과 같이 진행된다:

• 필터링(Filtering): $\lambda$와 $1-\lambda$가 모두 제곱수인 원소들을 포함하는 집합 $S \subset \mathbb{F}_{p^2}$를 구성한다.
• 후보 생성(Candidate Generation): 모든 쌍에 대하여 $\lambda_i - \lambda_j$가 또한 제곱수인 서로 다른 집합 $\{\lambda_1, \dots, \lambda_{2g-1}\} \subset S$를 재귀적으로 선택한다.
• 동형 처리(Isomorphism Handling): 동형인 곡선을 중복 계산하는 것을 피하기 위해, 알고리즘은 분기점 $\{0, 1, \infty, \lambda_1, \dots, \lambda_{2g-1}\}$을 치환하는 뫼비우스 변환(Möbius transformations)에 의한 대칭군(symmetric group)의 작용 하에서 후보 집합과 동등한 모든 로젠하인 형태를 생성하고, 정규 대표원(canonical representatives)을 저장한다.
• 초특수성 검사(Superspeciality Check): 각 유효한 후보 집합에 대해, 알고리즘은 곡선의 카르티에-마닌 행렬(Cartier-Manin matrix)을 계산한다. 곡선이 초특수인 것은 이 행렬이 영행렬(zero matrix)인 것과 동치이다. 이는 $f(x)^{(p-1)/2}$의 전개식에서 특정 계수들이 0이 되는지 확인하는 과정을 포함한다.

주요 기여 및 결과
주요 기여는 기존 문헌의 공백을 메우기 위해 속 4, 5, 6에 대해 다양한 작은 표수에서 이 알고리즘을 성공적으로 적용하여 정확한 동형 클래스의 수를 계산한 것이다. 결과는 다음과 같다:

• 속 4: 본 논문은 표수 $p \in \{23, 29, 31, 37, 41\}$에 대한 계수를 결정한다.

  • $p=23$: 4 클래스
  • $p=29$: 8 클래스
  • $p=31$: 10 클래스
  • $p=37$: 23 클래스
  • $p=41$: 34 클래스
  • 참고: $p \le 19$에 대한 결과는 Kudo와 Harashita의 이전 연구 결과와 일치한다.

• 속 5: 본 논문은 표수 $p \in \{13, 17, 19, 23, 29, 31, 37, 41\}$에 대한 계수를 결정한다.

  • $p=13, 17$에서는 곡선이 존재하지 않는다.
  • $p=19, 29$: 각각 1 클래스.
  • $p=23$: 2 클래스.
  • $p=31$: 6 클래스.
  • $p=37$: 5 클래스.
  • $p=41$: 3 클래스.

• 속 6: 본 논문은 표수 $p \in \{17, 19, 23, 29, 31\}$에 대한 계수를 결정한다.

  • $p=17, 19, 29$에서는 곡선이 존재하지 않는다.
  • $p=23, 31$: 각각 1 클래스.

의의 및 주장
본 논문은 자신의 접근 방식이 (특히 그로브 번 기저를 사용하는) 이전 방법들과 비교하여 복잡한 기호 계산(symbolic computations)을 피함으로써 뚜렷한 이점을 제공한다고 주장한다. 대신, 로젠하인 파라미터의 산술적 성질을 활용하여 후보들을 효율적으로 필터링한다. 저자들은 작은 표수의 경우, 제곱 조건을 만족하는 후보 집합의 수가 충분히 적어 알고리즘을 계산적으로 실행 가능하게 만든다고 기술한다.

Magma를 통해 이 알고리즘을 구현함으로써, 저자들은 더 높은 속과 더 큰 표수에서 초특수 쌍곡선 곡선의 분류를 성공적으로 확장하였다. 본 논문은 속 $g \in \{5, 6\}$에 대하여, 본 연구 이전에는 $p > 2g+1$인 임의의 표수에 대해 동형 클래스가 결정된 바 없음을 명시적으로 언급한다. 이 결과들은 이소제니 기반 암호학(isogeny-based cryptography) 및 대수적 기하 부호(algebraic geometry codes)에 적용 가능한 초특수 곡선 열거라는 근본적인 문제에 대한 구체적인 데이터 포인트를 제공한다.