Construction of Generically Ordinary Families of Hyperelliptic Curves

기술 요약: 일반적 보통(Generically Ordinary) 성질을 갖는 하이퍼엘립틱 곡선 가계의 구성

문제 정의
본 논문은 $t$-선상에 존재하는 특정 일변수 하이퍼엘립틱 곡가(one-parameter families of hyperelliptic curves)의 일반적 보통성에 관한 Katz(218)의 추측을 다룬다. 표수 $p > 0$인 체 위에서 속수(genus) $g$인 매끄러운 사영 곡선 $C$는 그 제타 함수의 분자의 중간 계수가 $p$와 서로 소일 때 *보통(ordinary)*이라고 정의된다. 동치로서, $C$의 야코비안(Jacobian)은 뉴턴 다각형(Newton polygon)이 오직 기울기 0과 1만을 갖는 보통 아벨 다양체이다. 이 조건은 하세-비트 행렬(Hasse–Witt matrix) 또는 카르티에-마냉 행렬(Cartier–Manin matrix)의 행렬식의 비제로(nonvanishing)를 통해 감지된다.

Katz는 $K: y^2 = x^d - dx + t$ ($d \in \{2g+1, 2g+2\}$, $g \ge 2$)로 정의된 곡선의 가계가 모든 충분히 큰 소수 $p$에 대해 일반적으로 보통(generically ordinary)이라고 추측했다. 이 가계는 "큰 모노드로미(large monodromy)"(유한 지수 $Sp_{2g}(\mathbb{Z})$ 내 존재)를 가지고 있지만, 작은 소수에서는 일반적 보통성을 갖지 못하는 것으로 알려져 있었다. 구체적인 문제는 모든 $p > P^+(d)$에 대해 해당 가계가 일반적으로 보통임을 보장하는 이차 경계(quadratic bound) $P^+(d)$를 설정하는 것이다. 또한, 이 결과를 임의의 0이 아닌 대수적 정수 $\alpha$에 대하여 $C_\alpha: y^2 = x^d + \alpha x + t$ 형태의 가계로 일반화하는 것이 목적이다.

방법론
증명 전략은 가계 $C_\alpha$와 연관된 하세-비트 행렬을 분석하고, 그 행렬식(하세-비트 다항식)이 충분히 큰 $p$에 대해 항등적으로 0이 되지 않음을 입증하는 데 기초한다.

1. 하세-비트 다항식 구성:
   저자들은 $\mathbb{Z}[X, Y]$ 상의 계수 행렬 $(M_{ij}(X, Y))_{1 \le i,j \le g}$를 정의하는데, 여기서 $M_{ij}$는 $(x^d + Xx + Y)^{(p-1)/2}$의 전개식에서 $x^{pi-j}$의 계수이다. 하세-비트 행렬식 다항식은 $H_{p,\alpha}(Y) = \det(M_{ij}(\alpha, Y))$로 정의된다. 일반적인 파이버(generic fiber)는 이 다항식이 법 $p$에 대해 0이 아닐 때만 보통이다.

2. 주항(Leading Term) 분석:
   $H_{p,\alpha}(Y) \not\equiv 0 \pmod p$임을 증명하기 위해, 저자들은 이 다항식의 주항을 분석한다. 이들은 특정 차수 $E$를 식별하고, 주계수가 $\alpha^m u_p \Delta_p$의 형태임을 보인다. 여기서:

• $m$은 비음의 정수이다.
• $u_p$는 $p$와 서로 소인 이항 계수들의 곱이다.
• $\Delta_p$는 이항 계수 $\binom{(p-1)/2 - Q_i}{s_i - j}$를 포함하는 행렬식이다 (여기서 $s_i$는 $pi \pmod d$의 나머지이다).

3. 이항 행렬식으로의 환원:
   핵 সব 핵심적인 기술적 혁신은 $\Delta_p$를 $p$에 의존하지 않는 상수 유리 행렬식 $\Delta(s_1, \dots, s_g)$로 법 $p$에 대해 환원하는 것이다. $(p-1)/2 - Q_i \equiv \beta_i \pmod p$ (여기서 $\beta_i = s_i \frac{d-1}{2}$)라는 합동식을 사용하여 $\Delta_p \equiv \Delta(s_1, \dots, s_g) \pmod p$임을 보인다.

4. 곱 공식 및 소수 인자 경계:
   저자들은 행렬식 $\Delta(s_1, \dots, s_g)$를 반데르몽데(Vandermonde) 유형의 행렬식으로 환원하여 명시적인 곱 공식을 유도한다. 이 공식은 $(k - \lambda_r)$ 형태의 인자와 이항 계수들을 포함한다.

• 보조정리 2.1 & 2.2: 특정 유리 매개변수 $\lambda_r$들이 정수가 아님을 확립하여, 행렬식이 잘 정의되며 0이 아님을 보장한다.
• 보조정리 2.6: 결정적으로, 저자들은 $\Delta$의 곱 공식의 분자와 분모의 모든 소인수가 $P^+(d)$에 의해 유계됨을 증명한다. 이는 특정 격자 영역 $U$와 $V$ 위에서 함수 $h(x, y) = (2d-2)x - 2dy - d$를 분석함으로써 달성된다.

5. 법 $p$에 대한 비제로성:
   임의의 소수 $p > P^+(d)$에 대해, 행렬식 $\Delta$는 $p$-진 단위(즉, 법 $p$에 대해 0이 아님)이다. 결과적으로, $\alpha \not\equiv 0 \pmod p$인 경우(단, $\alpha \neq 0$일 때), $H_{p,\alpha}(Y)$의 주계수는 법 $p$에 대해 0이 아니며, 이는 다항식 자체가 0이 아님을 보장한다.

주요 기여 및 결과

• 정리 1.3: 본 논문은 모든 $g \ge 2$와 모든 0이 아닌 대수적 정수 $\alpha$에 대하여, $p$가 $\alpha$의 노름(norm)을 나누지 않는 한, 가계 $C_\alpha: y^2 = x^d + \alpha x + t$ ($d \in \{2g+1, 2g+2\}$)가 모든 $p > P^+(d)$에서 일반적으로 보통임을 증명한다.
  • 경계는 다음과 같이 정의된다:
    $$P^+(d) = \begin{cases} d^2 - 4d + 2 & \text{if } d \text{ is odd} \\ (d^2 - 3d + 2)/2 & \text{if } d \text{ is even} \end{cases}$$
• Katz의 추측 해결: 직접적인 결과로서 (결과 4.2), 본 논문은 가계 $K$ ($\alpha = -d$인 경우)에 대해 $p > P^+(d)$인 모든 $p$에 대하여 Katz의 2018년 추측을 확인한다.
• 두 매개변수 가계로의 일반화: 결과 4.3은 아핀 평면 위의 두 매개변수 가계 $y^2 = x^d + sx + t$로 결과를 확장하여, $p > P^+(d)$일 때 일반적으로 보통임을 보여준다.
• $p \equiv 1 \pmod d$에 대한 정교화: 결과 4.5는 $p \equiv 1 \pmod d$인 경우, 행렬식 $\Delta_p$가 1이 되므로, 해당 가계가 $P^+(d)$ 경계 없이 모든 $p$에 대해 일반적으로 보통임을 보여준다.

의의 및 주장

본 논문은 모든 $g \ge 2$에 대해 Katz의 추측을 해결한다고 주장한다. 그 의의는 행렬식이 단일 곱(monomial)인 Miller의 가계들을 넘어, 일반적으로 비단항(non-monomial)이며 많은 0이 아닌 항들을 포함하는 가계들을 다루었다는 점에 있다. 저자들은 행렬식이 하나의 곱으로 환원되지 않기 때문에 "다르고 새로운 접근 방식"이 필요했음을 언급한다.

본 연구는 일반적 보통성에 대한 구체적인 이차 경계 $P^+(d)$를 확립한다. 저자들은 이 경계가 특정 사례에서 날카롭다(sharp)고 언급한다. Katz가 제공한 데이터에 따르면 특정 사례(예: $(d, p) = (21, 359)$)에서 $p = P^+(d)$일 때 일반적 보통성이 실패하므로, 이 경계를 일반적인 $p \ge P^+(d)$로 약화할 수 없음을 나타낸다.

본 논문은 Miller(1972)의 전통과 하이퍼엘립틱 로커스(hyperelliptic loci)에서의 큰 모노드로미 연구의 맥락 속에 위치하며, 큰 소수들에 대해 이 가계들이 보통 성질을 갖는 영역이 비어 있지 않고 조밀함을 확인한다.