Size of isogeny classes of abelian varieties of Lubin-Tate type

기술 요약: 루빈-타테 유형(Lubin-Tate type)의 아벨 다양체의 동종류 크기

문제 정의
본 논문은 유한체 $\mathbb{F}_q$ 위에서 정의된 차원 $g$인 단순 주극성 아벨 다양체 $A$의 동종류 $I(A, \mathbb{F}_{q^n})$의 크기를 추정하는 문제를 다룬다. 저자는 특히 $A$가 "루빈-타테 유형"의 뉴턴 층(Newton stratum)에 속하는 경우에 집중한다. 이 분류는 $A[p^\infty]$의 $p$-분열 군(p-divisible group)이 각 합산 성분의 (또는 그 쌍대(dual)의) 로컬-로컬 부분이 차원 1인 $p$-분열 군들의 직합임을 요구한다. 결과적으로, $A$의 뉴턴 다각형은 기울기 $1/g$와 $(g-1)/g$를 갖는다. 본 논문은 초특이(supersingular) 사례($g=2$)를 제외하기 위해 $g > 2$를 가정하며, 엔도모피즘 대수 $K = \mathbb{Q}(\alpha)$ (여기서 $\alpha$는 $A$의 Weil $q$-number)가 $K \otimes \mathbb{Q}_p$가 $g$차원의 두 비분기 확장(unramified extensions)의 직합으로 분해되는 CM 체(CM field)라고 가정한다.

핵심 질문은 $n$이 변함에 따라 $|I(A, \mathbb{F}_{q^n})|$의 점근적 성장(asymptotic growth)을 결정하는 것이다. 뉴턴 층(중심 잎(central leaves)과 동종류 잎(isogeny leaves)의 "거의 곱(almost product)" 구조에 기반한 휴리스틱은 특정 차수의 크기를 시사하지만, 이전의 분류 방법론으로는 비-오디너리(non-ordinary), 비-거의-오디너리(non-almost-ordinary) 사례에 대한 엄밀한 하한(lower bounds)을 설정하는 것이 어려웠다.

방법론
저자는 캐노니컬 CM 리프트(canonical CM lifts)를 통해 표수 0의 특성으로 분류하는 방식에 의존했던 기존의 오디너리 및 거의-오디너리 아벨 다양체 연구와는 구별되는 전략을 채택한다. 대신, 본 논문은 "표수 0에서 계산하고 $p$로 축소(reduce mod $p$)"하는 접근법을 사용한다:

1. 축소의 단사성(Injectivity of Reduction): 본 논문은 unramified 확장인 $L' = W(k)[1/p]$ 위의 리프트 $\tilde{A}$의 동종류로부터 $\mathbb{F}_q$ 위의 축소된 $A$로의 축소 사상이, 리프트들이 동일한 CM type을 공유할 경우 단사임을 먼저 입증한다. 이는 Grothendieck-Messing 이론과 유한 평탄 군 스킴의 분류(Fontaine의 Honda system)에 의존하여, unramified 리프트의 경우 엔도모피즘 차수(endomorphism orders)가 축소 시 보존됨을 보여주는 데 기초한다.

2. 엔도모피즘 환의 국소 조건: 저자는 다음과 같은 국소 조건을 특징으로 하는 특정 차수 $R_n \subset K$를 정의한다:

   • $R_n$은 $\mathbb{Z}[\alpha^n, (q/\alpha)^n]$를 포함한다.
   • $R_n$은 $p$에서 극대(maximal)이다 (구체적으로 $R_n \otimes \mathbb{Z}_p \cong \mathcal{O}_{K'} \oplus \mathcal{O}_{K'}$).
   • $l \neq p$인 소수 $l$에 대해, $R_n$은 가능한 한 작으며, 구체적으로 $R_n \otimes \mathbb{Z}_l \cong \mathbb{Z}_l[\alpha^n]$이다.
     이러한 특정 엔도모피즘 환 $R_n$을 갖는 아벨 다양체들은 $\mathbb{F}_{q^n}$으로 내려온다(descend)는 것이 증명되었다.

3. 클래스 그룹을 통한 계수: $R_n$의 엔도모피즘 환을 갖는 아벨 다양체의 동형류를 세는 문제는 $R_n$의 이데알 클래스 그룹 $\text{Cl}(R_n)$을 세는 문제로 환원된다. $\text{Cl}(R_n)$에서 $L'$ 위의 동종류 집합으로의 단사가 구성된다.

4. 점근적 추정: $|\text{Cl}(R_n)|$의 크기는 해석적 클래스 수 공식(analytic class number formula)을 사용하여 추정된다. 이를 위해 $R_n$의 판별식(discriminant)과 $[\mathbb{Z}[\alpha^n] : R_n]$의 지수를 계산한다. 저자는 등분포 논증(Weyl의 criterion)을 사용하여, 정적 밀도(natural density)가 양수인 $n$의 집합에 대해 판별식 공식의 삼각항들이 0에서 멀리 떨어져 있음을 보임으로써 정밀한 점근적 추정을 수행한다.

5. 극성(Polarization): 마지막으로, 계수를 주극성 아벨 다양체로 제한한다. 이는 $R_n$의 클래스 그룹에서 그의 maximal totally real suborder의 narrow class group으로 가는 노름 맵(norm map)의 커널을 분석함으로써 달성된다. 커널 내에 주극성 다양체가 존재함은 trace duals와 Weil number의 성질을 통해 확립된다.

주요 기여 및 결과

• 하한 정리(Lower Bound Theorem): 저자는 양의 자연 밀도를 갖는 정수 $n$의 집합에 대해 동종류의 크기에 대한 하한을 증명한다:
  $$|I(A, \mathbb{F}_{q^n})| \ge q^{n \left( \frac{(g+1)(g-2)}{4} + 1 + o(1) \right)}$$
  여기서 항 $1$은 동종류 잎의 차원을 나타내며,$\frac{(g+1)(g-2)}{2}$는 (계수의 성격상 지수에서 2로 나누어진) 중심 잎의 차수에 대응한다.

• 날카로움에 대한 추측(Sharpness Conjecture): 뉴턴 층의 차원(구체적으로 중심 잎과 동종류 잎의 차원)으로부터 도출된 기대되는 동종류의 크기에 근거하여, 저자는 이 하한이 날카롭다(sharp), 즉 크기가 점근적으로 이 경계와 같다는 것을 추측한다.

• 방법론적 전환: 본 논문은 루빈-타테 유형의 경우, 캐노노ical CM 리프트를 찾는 어려움을 우회하여 표수 0에서 계수하고 특정 엔도모피즘 차수를 가진 다양체들에 대해 축소 사상의 단사성에 의존할 수 있음을 보여준다. 이는 오디너리 사례에서 사용된 분류 정리들과 대조된다.

의의 및 주장
저자는 본 연구가 이전의 분류 기반 방법론이 불충분했던 특정 비-오디너리 뉴턴 층인 루빈-타테 사례로 이해를 확장한다고 주장한다. 이 결과는 뉴턴 층의 기하학(특히 중심 잎과 동종류 잎의 차원)으로부터 도출된 휴리스틱 기대치와 일치한다.

본 논문은 모든 뉴턴 층에 대한 일반적인 문제를 해결하거나 루빈-타테 사례에 대한 상한(upper bound)을 제공한다고 주장하지 않는다 (비-maximal 차수의 클래스 그룹 매개변화를 통한 상한을 찾는 것은 여전히 "손이 닿지 않는 곳(out of reach)"에 있다고 명시함). 대신, 저자는 휴리스틱 예측과 일치하는 엄밀한 하한을 제공함으로써, 이 클래스의 아벨 다양체들에 대해 해당 휴리스틱이 옳을 가능성이 높음을 시사한다. 이 작업은 중심 잎을 제어할 수 있다면 다른 비-오디너리 층에 대해서도 표수 0에서 계수하는 전략을 일반화하여 보여준다.