Point counts, automorphisms, and gonalities of Shimura curves

기술 요약: 심무라 곡선의 점 개수, 자기동형사상, 그리고 공성(Gonalities)

문제 정의
본 연구는 유인덱스(indefinite) 쿼터니언 대수의 판별식 $D > 1$과 $D$와 서로소인 양의 정수 $N$에 대하여, 유리수체 $\mathbb{Q}$ 상의 심무라 곡선 $X^D_0(N)$ 및 그 아킨-레너(Atkin–Lehner) 몫에 관한 세 가지 상호 연결된 산술적 문제를 다룬다.

1. 점 개수(Point Counts): 이 곡선들과 그 몫들에 대해 유한체 $\mathbb{F}_{p^r}$ 상의 유리수 점의 수를 결정하며, 특히 주어진 종수(genus)에 대해 기록적인 점 개수를 달성하는 곡선들을 식별한다.
2. 자기동형사상 군(Automorphism Groups): 전체 자기동형사상 군 $\text{Aut}(X^D_0(N))$ 및 $\text{Aut}(X^D_0(N)/W)$를 결정하며, 거의 모든 경우에 대해 이 군들이 오직 아킨-레너 인볼루션(involution)들로만 구성된다는 추측을 검증한다.
3. 공성(Gonalities): 어떤 곡선이 $\mathbb{Q}$ 상에서 테트라고날(tetragonal, $\mathbb{P}^1$로의 차수가 4인 사상을 허용함)이거나 기하학적으로 테트라고날인지 결정한다.

이 문제들을 해결하는 데 있어 주요한 난제는 $D > 1$일 때 심무라 곡선의 명시적인 정의 방정식이 부족하다는 점이며, 이는 큐스프(cusp) 점이나 실수 점의 부재로 인해 모듈러 곡선($D=1$)에서 사용되는 표준적인 대수기하학적 기법의 적용을 제한한다.

방법론
저자들은 명시적인 정의 방정식 없이도 점 개수를 계산할 수 있는 알고리즘(Algorithm 1.1)을 구현한다. 이 방법은 다음 구성 요소들에 의존한다:

• 리벳의 아이소제니(Ribet's Isogeny): 심무라 곡선 $X^D_0(N)$의 야코비안(Jacobian)과 모듈러 곡선 $X_0(DN)$의 특정 "$D$-new" 부분 몫(sub-quotient) 야코비안 사이에 $\mathbb{Q}$ 상의 아이소제니가 존재한다는 리벳의 정리(Theorem 2.3)를 활용한다.
• 모듈러 형식 데이터: 알고리즘은 헤케 연산자(Hecke operators)와 아킨-레너 인볼루션의 작용을 모듈러 곡선 $X_0(DN)$에 연관된 무게 2 큐스프 형식(cusp forms) 공간을 분석함으로써 점의 개수를 계산한다. 구체적으로, 야코비안의 아이소제니 인자들에 작용하는 프로베니우스 트레이스(Frobenius traces)를 결정하기 위해 이러한 연산자들의 고윳값(LMFDB [LMF25]에서 추출)을 활용한다.
• 자기동형사상 검사: 자기동형사상 군을 결정하기 위해, 저자들은 계산된 점의 개수와 곤살레스(González)의 제한 정리(Lemma 5.1)를 결합한다. 이 정리는 만약 소수 차수의 비자명한 자기동형사상이 존재한다면 특정 확장체 상의 점의 개수에 대한 상한을 제공한다. 다양한 소수 거듭제곱에 대해 점의 개수가 이 상한을 위반함을 확인함으로써, 비-아킨-레너 자기동형사상의 존재를 배제한다.
• 공성 분석: 저자들은 점의 개수로부터 도출된 공성의 하한(Lemma 3.3)을 카스텔누오보-세베리 부등식(Castelnuovo–Severi inequality, Theorem 6.4) 및 저종수 곡선에 관한 기지 결과들과 결합하여 공성을 결정한다. 이들은 종수 상한, 몫 구조, 그리고 특정 몫 위의 유리수 점 존재 여부를 확인함으로써 테트라고날 곡의 후보들을 체계적으로 필터링한다.

주요 기여 및 결과

• 점 개수 기록: 저자들은 783,514개의 아킨-레너 몫을 가진 심무라 곡선에 대한 점 개수를 계산하였다. 이들은 동일한 유한체 상에서 동일한 종수를 가진 기존의 알려진 곡선들보다 많은 유리수 점을 갖는 116개의 곡선을 식별하였다([vdGHLR09]의 데이터 기준). 또한, 특정 종수와 체 매개변수에 대해 이론적 최대 점 개수를 달성하는(maximal) 898개의 곡선을 찾아냈다. 이 중 이전에 알려지지 않은 최소 4개의 극대 곡선 동형류(isomorphism classes)를 확인하였다.
• 자기동형사상 군: $D > 1, DN \le 10,000, g > 2$인 10,609개의 쌍 $(D, N)$에 대하여, 저자들은 9,288개의 경우에 대해 자기동형사상 군이 전적으로 아킨-레너 인볼루션들로만 구성됨을 증명하였다. 구체적으로:
  • 9,288개의 쌍에 대해, $\text{Aut}(X^D_0(N)) = W_0(D, N)$이다.
  • 몫의 경우, 1,321개의 쌍(Table 8에 나열됨)을 제외한 모든 경우에 대해 $\text{Aut}(X^D_0(N)/W)$가 오직 아킨-레너 인볼루션들로만 구성됨을 확립하였다.
• 테트라고날 곡선: 저자들은 테트라고날 및 기하학적 테트라고날 심무라 곡선의 분류를 좁혔다.
  • 161개의 기하학적 테트라고날 곡선과 141개의 $\mathbb{Q}$ 상 테트라고날 곡선을 식별하였다(소수의 예외 제외).
  • 곡선이 기하학적으로 테트라고날인지 여부가 불분명한 32개의 쌍 $(D, N)$ (Table 1)과, $\mathbb{Q}$ 상에서 테트라고날인지 여부가 불분명한 32개의 쌍 (Table 2)으로 미지 영역을 축소하였다.
  • 특정 세 쌍 $(D, N, W)$에 대해, 곡선이 $\mathbb{Q}$ 상에서 테트라고날일 필요충분조건은 몫 $X^D_0(N)/W$가 유리수 점을 갖는 것임을 증명하였다.

의의
본 논문은 $D > 1$인 심무라 곡문의 경우 큐스프에 의존하는 모듈러 곡선의 기법을 직접 적용할 수 없는 주요 병목 현상인 명시적 정의 방정식 없이도 점 개수를 계산하는 알고리즘을 구현했다는 점에서 그 의의를 주장한다.

• 산술적 유용성: 저자들은 점 개수가 자기동형사상 군 및 공성과 같은 산술적 질문을 해결하는 강력한 도구임을 입증하였으며, 이는 큐스프에 의존하는 모듈러 곡선 설정에서는 적용하기 어려운 영역이다.
• 데이터 확장: 116개의 새로운 기록적 점 개수와 898개의 극대 곡선을 식별함으로써, 높은 점 개수를 갖는 곡선들의 알려진 지평을 넓혔다. 이는 하세-바일(Hasse–Weil) 상한 및 관련 산술 기하학 문제 연구에 새로운 사례를 제공한다.
• 분류 진전: 본 연구는 저종수 심무라 곡선의 분류를 크게 진전시켜, $DN \le 10,000$인 곡선들에 대해 제한된 지식 상태에서 거의 완전한 분류에 도달하였으며, 향후 조사를 위한 유한하고 관리 가능한 목록만을 남겨두었다.

저자들은 자신의 결과가 LMFDB의 고윳값 데이터 가용성과 $DN \le 10,000$이라는 특정 범위에 조건부적임을 언급하며, 추가적인 계산 자원을 통해 이러한 결과를 더 높은 레벨까지 확장할 수 있음을 시사한다. 모든 코드와 데이터는 GitHub 저장소를 통해 공개된다.