Generically Ordinary One-parameter Hyperelliptic Families are Dense

기술 요약: 일반적인 1-매개변수 쌍곡 곡선 가계의 조밀성

문제 정의
본 논문은 1-매개변수 쌍곡 가계(one-parameter hyperelliptic families)의 계수 공간 내에서 "일반적으로 보통(generically ordinary)"인 환원의 분포를 조사한다. 구체적으로, $t$-직선 위에서 다음과 같은 아핀 방정식으로 정의되는 곡선 $C_{\vec{a}}$의 가계를 고려한다:
$$y^2 = x^d + a_{d-1}x^{d-1} + \dots + a_1x + t$$
여기서 $d = 2g + 1$이며 $g \ge 2$이고, $\vec{a} = (a_1, \dots, a_{d-1})$는 $\mathbb{Z}^{d-1}$ 내의 계수 벡터를 나타낸다. 핵심 질문은 다음과 같다: 계수 벡터 $\vec{a}$가 대부분의 유리 소수(rational primes)에 대해 $C_{\vec{a}}$가 일반적으로 보통 환원을 갖도록 하는 경우, 이러한 $\vec{a}$는 얼마나 흔한가?

본 연구는 $y^2 = x^d - dx + t$라는 특정 가계에 대해 Katz의 추측[Kat18]을 증명한 Zhu[Zhu26]의 최근 결과를 확장한다. 본 논문은 이를 전체 계수 공간 $\mathbb{A}^{d-1}_{\mathbb{Z}}$로 일반화하여, 임의의 정수 계수 벡터에 대한 보통 소수의 밀도를 분석한다.

방법론
주요 도구는 **보편적 하세-비트 결정 다항식(universal Hasse–Witt determinant polynomial)**으로, $\mathbb{Z}[\vec{A}, t]$의 원소인 $H_p(\vec{A}, t)$이다. 고정된 소수 $p$에 대하여, 가계 $C_{\vec{a}}$가 일반적으로 보통이라는 것은 $H_p(\vec{a}, t)$가 $\mathbb{F}_p[t]$ 상에서 영다항식이 아님과 동치이다.

핵심적인 기술적 전략은 변수 $t$에 대한 $H_p(\vec{A}, t)$의 최고차항 계수를 분석하는 것이다. 저자는 다음 과정을 수행한다:

1. 계수 함수 구축: $B(z)$가 계수들을 인코딩한다고 할 때, $(B(z)-1)^r$의 전개로부터 유도된 계수 함수 $C_n(X)$를 정의한다.
2. 결정 다항식 정의: 잔여 클래스 $k \in (\mathbb{Z}/d\mathbb{Z})^\times$에 의해 결정되는 부호 벡터 $\vec{\delta}$를 사용하여, 계수 함수들로 구성된 행렬 $D_{\vec{\delta}}$를 도입한다. 이 행렬의 행렬식 $\Delta_k(\vec{A})$는 핵심 불변량 역할을 한다.
3. 최고차항 계수 식별: $p \equiv k \pmod d$인 소수 $p \ge 2d-1$에 대하여, $H_p(\vec{A}, t)$의 (다항식 $t$에 대한) 최고차항 계수가 $\text{mod } p$에 대해 $\Delta_k(\vec{A})$의 0이 아닌 배수와 합동임을 증명한다.
4. 자리스키 열린 집합 구성: 이 결정 다항식들의 비영(non-vanishing) 성질을 이용하여, $\mathbb{A}^{d-1}_{\mathbb{Z}}$ 내의 자리스키-열린 조밀 부분 스킴 $U_k$를 정의한다.

주요 결과

• 일반적 조밀성 (정리 1.1 및 보조정리 1.4): $\vec{a} \in U(\mathbb{Q}) \cap \mathbb{Z}^{d-1}$인 임의의 정수 계수 벡터 $\vec{a}$에 대하여, 가계 $C_{\vec{a}}$는 명시적 경계 $B(d, \vec{a})$보다 큰 모든 소수 $p$에 대해 일반적으로 보통이다. 결과적으로, 그러한 일반적인 $\vec{a}$에 대해 보통 소수의 집합은 자연 밀도 1을 갖는다.
• 유한체 상의 균등 로커스 (정리 1.2): 임의의 소수 $p \ge 2d-1$에 대하여, 계수 공간 내에서 일반적으로 보통인 가계들의 로커스는 자리스키-열린 조밀 집합이다. 구체적으로, 이는 $k_p$가 $p \pmod d$의 잔여 클래스일 때 $U_{k_p, \mathbb{F}_p}$를 포함한다.
• $p \equiv 1 \pmod d$에 대한 강한 결과 (정리 1.3): $p \equiv 1 \pmod d$인 소수에 대해서는 조건이 더 강력하다: 모든 계수 벡터 $\vec{a} \in \mathbb{F}_p^{d-1}$는 일반적으로 보통인 가계를 생성한다. 이 경우, 보통 로커스는 전체 계수 공간 $\mathbb{A}^{d-1}_{\mathbb{F}_p}$이다.
• 임의의 벡터에 대한 밀도 (정리 1.5): 임의의 정수 계수 벡터 $\vec{a}$ (반드시 일반적인 열린 집합 $U$에 속할 필요는 없음)에 대하여, $\mathbb{Q}(\vec{a})(t)$ 상의 $C_{\vec{a}}$의 보통 소수들의 자연 하한 밀도는 적어도 $1/[L:F]$이다 (여기서 $F=\mathbb{Q}(\vec{a})$ 및 $L=F(\zeta_d)$). $L(t)$로 기저 변경(base change)을 수행한 후, 밀도는 1이 된다.

의의 및 주장
본 논문은 고립된 예시들이 아니라, 전체 계수 공간에 걸친 쌍곡 가계의 보통성에 대한 균등 이론을 확립한다고 주장한다.

• 균등성: 특정 계수에 의존하는 경계를 제공했던 이전 연구들과 달리, 본 논문은 계수 공간 자체에 대한 균등 선형 임계값($p \ge 2d-1$)을 식별한다 (정리 1.2).
• 일반성: 이 논문은 일반적으로 보통인 가계들이 얼마나 흔한지에 대한 질문을 해결하며, 이들이 계수의 모듈라이 내에서 조밀한 열린 집합을 형성함을 보여준다.
• 산술적 밀도: 저자는 이 가계들의 보통 소수들에 대한 정량적 척도(자연 밀도)를 제공하며, 이를 계수에 의해 생성되는 원분 확대(cyclotomic extension)의 차수와 연결시킨다.

저자는 고정된 특수화(specialization)에 대한 경계 $B(d, \vec{a})$가 (결정 다항식의 노름으로 인해) 특정 벡터 $\vec{a}$에 의존할 수 있지만, 열린 조밀 집합 $U$의 존재는 "대부분의" 가계가 충분히 큰 소수들에 대해 잘 작동함을 보장한다고 언급한다. 이 연구는 하세-비트 결정 다항식과 그 최고차항 계수의 명시적 구성을 활용하여 대수 기하학과 산술 통계학을 연결한다.