Exact counts of elliptic curves of bounded height over $\mathbb F_q(t)$ in characteristics $2$ and $3$

기술 요약: 특성 2 및 3에서 $\mathbb{F}_q(t)$ 위의 유계된 높이를 갖는 타원 곡선의 정확한 개수

문제 정의
본 논문은 $q = p^r$이고 $p \in \{2, 3\}$인 함수체 $K = \mathbb{F}_q(t)$ 위에서의 $K$-동형 클래스(isomorphism classes)의 타원 곡선 계수를 다룬다. 목표는 유계된 팔팅스 높이(Faltings height, 동등하게 유계된 최소 판별식 차수)를 갖는 이들 곡선의 가중(weighted) 및 비가중(unweighted) 개수를 결정하는 것이다. $p > 3$인 경우의 사례는 Bejleri, Park, 그리고 Satriano [BPS22]에 의해 이미 해결되었으나, 특성 2와 3은 직접적인 방법론의 적용을 방해하는 독특한 산술적 및 기하학적 장애물들을 제시한다. 구체적으로, 표준적인 유리-특이-섹션(rational-singular-section) 매개변수화는 비매끄러운 로커스(nonsmooth locus)를 완전히 포괄하지 못하며, $j=0$인 곡선들의 자기동형군(automorphism groups)은 "와일드(wild)" 원소(차수가 $p$로 나누어지는 원소)를 포함하는 비가벨리안 구조를 가지며 이는 트위스팅(twisting)과 복잡하게 상호작용한다.

방법론
저자는 소특성(small characteristics)의 특수한 병리 현상들을 처리하기 위해 조정된, 드종(de Jong)의 가중 계수 프레임워크의 정교화된 버전을 사용한다. 방법론은 다음과 같은 핵심 단계로 진행된다:

1. 비매끄러운 로커스의 교정:
   표준적인 계수 논증(예: [dJ02])은 기하학적 특이점이 $K$-유리 섹션으로 확장된다고 가정한다. 그러나 불완전체(imperfect field) $K = \mathbb{F}_q(t)$ 위에서는 특성 2와 3에서 이것이 실패한다. 본 논문은 유일한 기하학적 특이점이 $K$의 비자명한 순수 비가역적 확장(purely inseparable extension) 위에서만 정의되는 "준-타원 곡선 유형의 층(quasi-elliptic-type strata)"을 식별한다. 이러한 점들의 폐쇄(closure)의 정규화(normalization)는 $\mathbb{P}^1$로 순수 비가역적으로 사상될 뿐, 섹션을 제공하지 않는다. 명제 2.4는 이러한 층에서 누락된 추가 방정식들을 정량화하여, 유리-특이 계수에서 놓친 부분들을 보정한다.

2. 표식된 관성(Marked Inertia) 및 자기동형군:
   가중 계수(곡선 $E$에 대해 $1/|\text{Aut}_K(E)|$의 가중치를 부여)에서 비가중 계수로 전환하기 위해, 저자는 군oid 이론적 접근법을 활용한다. 즉, 항등원과 반전 $[-1]$ 이외의 자기동형원 $\alpha$를 갖는 "표식된 쌍(marked pairs)" $(E, \alpha)$를 계수한다.

   • 특성 3: 분석은 기하학적 자기동형군의 차수가 12인 $j=0$ 로커스에 집중된다. 본 논문은 잔여 좌표군(residual coordinate group) 하에서의 고정된 쌍들을 분류하며, 차수가 3, 4, 6인 자기동형원들을 식별한다.
   • 특성 2: 유사하게, $j=0$ 로커스는 24차의 기하학적 자기동형군을 가진다. 본 논문은 고정된 쌍들을 분류하며, 차수가 3, 4, 6인 자기동형원들을 구분한다. 결정적으로, 이러한 자기동형원들의 $K$로의 내림(descent)은 $r$의 패리티(구체적으로 $\mathbb{F}_q$가 특정 단위근을 포함하는지 여부)에 의존한다.

3. 최소성 결함(Minimality Defect) 및 내재적 디바이서(Intrinsic Divisors):
   본 논문은 계수의 차수가 $d$인 방정식의 계수와 정확한 팔팅스 높이 $n$ 사이의 관계를 "최소성 결함" $e = d - n$을 통해 연결한다. $p > 3$인 경우와 달리, 계수에 대한 가분성 조건은 특성 2와 3에서의 잔여 좌표 평행이동에 의해 파괴된다. 따라서 본 논문은 드종의 블로우업 디바이서 $D$를 사용하여 이 결함을 내재적으로 공식화한다. 이를 통해 주변의 표식된 계수와 정확한 높이 계수 사이의 합성곱 공식(convolution formula)을 도출한다.

4. 생성 급수 및 역전(Inversion):
   주변 계수(계수 차수)와 정확한 높이 계수 사이의 관계는 $\mathbb{P}^1$의 대칭 거듭제곱을 포함하는 생성 급수를 통해 표현된다. 저자는 이 합성곱을 역전하여 높이 상한 $B$까지의 누적 계수에 대한 명시적인 공식을 유도한다.

주요 결과
본 논문은 $B = q^{12M}$에 대하여 가중 계수 $N^w(K, B)$와 비가중 계수 $N(K, B)$의 정확한 공식을 확립한다.

• 주요 항(Leading Term): 두 특성 모두에서 비가중 계수의 주요 항은 $2 \frac{q^9-1}{q^8-q^7} B^{5/6}$의 차수를 갖는다. 이는 일반적인 경우인 $|\text{Aut}_K(E)| = 2$와 일치하며, 가중 계수의 주요 항의 정확히 두 배이다.
• 저차 항(Lower-Order Terms): 저차 항들은 $p > 3$인 경우와 크게 다르며, $p$와 $r$의 패리티(지표 $\varepsilon_r$을 통해 표현됨, $r$이 짝수이면 1, 홀수이면 0)에 의존한다.
  • 특성 3: 비가중 계수는 $B^{1/2}, B^{1/3}, B^{1/6}$ 차수의 항들을 포함한다. $B^{1/3}$ 항은 $\varepsilon_r$을 포함하며, 이는 차수 4인 자기동형원의 내림을 반영한다.
  • 특성 2: 비가중 계수는 $B^{1/2}, B^{5/12}, B^{1/3}, B^{1/4}, B^{1/6}$ 차수의 항들을 포함한다. 특히, $B^{5/12}$ 항(차수 4인 자기동형원에서 기인)과 $B^{1/4}$ 항( $r$이 짝수일 때 차수 3/6인 자기동형원에서 기인)은 특성 2의 고유한 특징이다.
• 음의 계수: 여러 저차 계수들은 음수이다. 이는 비최소 모델을 빼는 과정(최소성 결함 제거)과 비매끄러운 로커스에 대한 교정에서 발생한다.
• 높이 제로: $B=1$일 때, 이 공식들은 $\mathbb{F}_q$ 상의 $j=0$ 트위스트의 알려진 분류(Kronberg–Soomro–Top [KST17])를 회복하며, 이는 방법론의 일관성을 확인시켜 준다.

의의 및 주장
본 논문은 모든 특성에서 유계된 높이를 갖는 $\mathbb{F}_q(t)$ 상의 타원 곡선의 정확한 계수 문제를 완결했다고 주장한다. 본 연구의 결과와 [BPS22]의 $p > 3$ 공식을 결합함으로써, 저자는 특성에 무관한 통합된 프레임워크를 제공하는 동시에, 특성별로 구체적인 하위 차수 교정 사항들을 상세히 기술한다.

그 의의는 두 가지 특정 "소특성 현상"을 해결하는 데 있다:

1. 비매끄러운 로커스 교정: 본 논문은 순수 비가역적 특이점 때문에 특성 2와 3에서 유리-특이-섹션 논증이 불충분함을 입증하며, 저차 점근선을 변화시키는 교정 항이 필요함을 보여준다.
2. 와일드 자기동형원과 트위스팅: $j=0$에서의 비가벨리안, 와일드 자기동형군을 엄밀하게 다룬다. 저자는 가중 계수에서 비가중 계수로의 전환이 공액 클래스(conjugacy classes)와 중심화 가중치(centralizer weights)를 포함하는 "표식된 관성" 계산을 필요로 하며, 자기동형원의 내림이 상수체의 산술(특히 $r$의 패리티)에 민감하다는 것을 보여준다.

결과는 주요 점근적 행동은 보편적이지만, 저차 항들은 매우 특성 및 기저체의 산술에 민감하다는 것을 보여주며, 이는 모듈라이 공간의 기하학과 함수체의 산술 사이의 복잡한 상호작용을 반영한다.