An unusual family of supersingular curves of genus five in characteristic two

기술 요약: 표수 2에서의 특이한 종수 5 초특이 곡선군(Supersingular Curves of Genus Five)

문제 정의
본 논문은 표수 $p > 0$인 체 $k$ 위에서 매끄러운 곡수의 모듈라이 공간 $M_g$ 내의 초특이 로커스(supersingular locus) $M^{ss}_g$의 구조를 조사한다. 구체적으로 저자는 종수 $g=5$이고 $p=2$인 경우에 집중한다. $g \le 4$인 경우의 초특이 로커스의 차원은 기존 문헌에 확립되어 있으나, $g=5$인 경우는 이해의 공백이 존재한다. $M^{ss}_5$의 임의의 성분의 기대 차원은 3이다. 그러나 van der Geer와 van der Vlugt가 제시한 가족 $\mathcal{F}_{GV,5}$와 같은 기존의 초특이 가족들의 차원은 2에 불과하다. 또한, 오르트(Oort)의 추측은 (비쌍선형 곡수라고 가정할 때) 초특이 성분의 일반적인 점(generic point)이 자명하지 않은 자기동형군을 가질 것이라고 제안한다. 본 논문은 종수 5에서 이러한 기대를 뛰어넘거나 새로운 구조적 통찰을 제공할 수 있는 더 큰 규모의 가족이 존재하는지 확인하고자 한다.

방법론
본 연구는 계산 데이터 분석과 명시적 대수적 구성을 결합하여 진행된다:

1. 데이터 기반 동기 부여: 저자는 관심 있는 특정 부분 집합을 식별하기 위해 기존의 $\mathbb{F}_2$ 상의 매끄러운 종수 5 곡선 데이터셋([Dra24a])을 활용한다. 데이터 분석 결과, 비쌍선형(non-hyperelliptic)이면서 비삼차선형(non-trigonal)인 초특이 곡선 중 $\mathbb{F}_2$-자기동형군이 자명하지 않은 곡선들은 모두 $\mathbb{P}^4$ 상의 특정 이차 곡면, 즉 $X^2 + YZ = 0$ 위에 존재함을 발견하였다.
2. 명시적 매개변수화: 이 관찰에 착안하여, 저자는 $\mathbb{P}^4$ 상의 세 이차식의 완전 교차(complete intersection)로 정의되는 곡선 $C$의 가족을 구성한다:
   • $q_1 = X^2 + YZ$
   • $q_2 = XY + ZT + T^2$
   • $q_3 = b_2XZ + b_3XT + b_3^2YT + b_8ZT + ZU + U^2$
     여기서 $b_2, b_3, b_8 \in \mathbb{F}_2$이며 $b_3 \neq 0$이다.
3. 불변량 계산: 저자는 쿠도-하라시타(Kudo-Harashita) 방법을 사용하여 하세-비트(Hasse-Witt) 행렬 $H$를 계산한다. $p$-랭크(구체적으로 2-랭크)와 $a$-수는 $H$의 랭크 및 그 반복된 프로베니우스 곱으로부터 유도된다.
4. 자기동형 및 덮개 분석: 정의된 이차식들을 고정하는 $\text{PGL}_5(\mathbb{F}_2)$ 내의 사영 변환을 분석하여 곡선 $\text{Aut}(C)$를 결정한다. 또한, 몫 곡선 $C/\langle \iota \rangle$와 $C/\langle \eta \rangle$의 함수체를 계산하여 이중 덮개 구조를 확립한다.
5. 초특이성 검증: 야코비안 $J_C$가 자신들이 초특이인 더 낮은 종수($g=1$ 및 $g=2$)의 야코비안들의 곱과 아이소제니(isogenous) 관계에 있음을 보임으로써 초특이성을 증명한다.

주요 기여 및 결과
주요 결과는 $\mathbb{F}_2$ 상의 매끄러운 종수 5 초특이 곡선의 3차원 가족 $\mathcal{S}$의 구성이며, 이는 다음의 성질들을 만족한다 (정리 1.1 / 정리 4.1):

• 차원: 가족 $\mathcal{S}$의 차원은 3이며, 이는 종수 5에서 초특이 로커스의 기대 차원과 일치한다. 이는 기존에 알려진 가족 $\mathcal{F}_{GV,5}$(차원 2)보다 엄격히 크다.
• 자기동형: $\mathcal{S}$의 일반적인 곡선은 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$를 포함하는 자명하지 않은 자기동형군을 가진다. 이는 초특이 곡선의 일반적인 점이 자명한 자기동형군을 가져야 한다는 기대와 대조된다.
• 덮개 구조: 모든 곡선은 다음의 곡선들 위로의 이중 덮개를 허용한다:
  • 타원 곡선 $E$ (구체적으로 유일한 초특이 타원 곡선 $y^2+y=x^3$).
  • 종수 2인 매끄러운 곡선 $D$.
• 불변량: 이 곡선들은 2-랭크가 0이고 $a$-수가 2이다. $a$-수가 2라는 점은 주목할 만한데, 왜냐하면 아벨 다양체 $A_g$의 초특이 로커스의 일반적인 점은 일반적으로 $a$-수가 1이기 때문이다.
• 명시적 방정식: 논문은 곡선과 그 자기동형에 대한 명시적 방정식을 제공하여 이러한 성질들의 구체적인 검증을 가능하게 한다.

의의 및 주장
본 논문은 가족 $\mathcal{S}$가 초특이 로커스에 대해 "상당히 특이한 성질"을 보인다고 주장한다:

1. 차원 일치: 이는 종수 5에서 초특이 로커스의 기대 차원(3)을 달성하는 최초의 알려진 가족이며, 기존의 구성들은 이보다 차원이 낮았다.
2. 반례 가능성: 만약 $\mathcal{S}$의 폐포(closure)가 $M^{ss}_5$의 하나의 성분을 구성한다면, 이는 일반적인 점이 자명하지 않은 자기동형군을 갖는다는 점에서 종수 5, 표수 2에서의 오르트의 추측의 아날로그에 대한 반례가 될 것이다. 저자는 $\mathcal{S}$가 완전한 성분임을 확정적으로 증명할 수는 없으나, 차원과 성질을 고려할 때 그럴 가능성이 높다고 언급한다.
3. 구조적 독특함: 이 가족은 타원 곡선과 종수 2 곡선의 이중 덮개의 로커스들의 교차점에 위치하며, $a$-수가 2이므로 일반적인 초특이 아벨 다양체의 거동과 구별된다.

저자는 $\mathcal{S}$가 $M^{ss}_5$의 완전한 성분인지에 대한 질문은 여전히 미해결 상태로 남아 있으나, 이 구성이 표수 2에서의 곡수의 산술 기하학 분야에서 중요한 새로운 연구 대상을 제공한다고 결론짓는다.