Abelian varieties genuinely of $\mathrm{GL}_n$-type

기술 요약: 진정한 $GL_n$-유형의 아벨 다양체 (Abelian Varieties Genuinely of $GL_n$-Type)

문제 정의
본 논문은 수체 $k$ 위에서 정의된 $GL_n$-유형의 단순 아벨 다양체 $A$의 분류와 산술적 성질을 다룬다. 아벨 다양체가 $GL_n$-유형이라는 것은 $\text{End}_0(A)$의 부분 대수로서 임베딩된, 차원 $2\dim(A)/n$을 갖는 수체 $E$가 존재함을 의미한다. 저자들은 특히 '진정한(genuinely)' $GL_n$-유형인 경우에 집중하는데, 이는 $A$가 단순하고 $GL_n$-유형이면서, 그 기하적 기저 변경(base change) $A_{\bar{k}}$가 $m < n$인 $GL_m$-유형의 이소제니 인자(isogeny factor)를 포함하지 않는 경우를 말한다.

중심 문제는 $GL_2$-유형의 아벨 다양체 이론(Ribet에 의해 도입됨)을 더 높은 $n$으로 일반화하는 것이다. 구체적으로, 저자들은 이 다양체들에 부착된 $\ell$-진 아달리안 갈루아 표현( $\ell$-adic Galois representations)의 상(image)에 관한 Chi, Banaszach, Gajda, 그리고 Krasoń의 연구를 확장하는 것을 목표로 한다. 기존의 결과들은 $\text{End}_0(A)$의 중심 $H$가 완전 실수체(totally real)이면, 연관된 갈루아 표현이 심플렉틱(symplectic) 또는 직교(orthogonal) 형태를 띤다는 것을 확립했다. 본 논문은 이 가설을 완화하고자 한다: 만약 $\text{End}_0(A)$의 중심 $H$가 아닌, $\text{End}_0(A_{\bar{k}})$(기하적 endomorphism algebra)의 중심 $F$가 완전 실수체라면, 심플렉틱 또는 직교 성질을 회복할 수 있는가?

방법론
저자들은 이러한 다양체를 분석하기 위해 "빌딩 블록(building blocks)", "내적 트위스트(inner twists)", 그리고 "네벤타입(nebentypes)"을 포함하는 구조적 이론을 개발한다.

1. 빌딩 블록 (Building Blocks): 저자들은 $A$가 진정한 $GL_n$-유형이면, $A_{\bar{k}}$가 $\bar{k}$ 위에서 정의된 단순 아벨 다양체 $B$의 거듭제곱 $B^r$과 이소제니 관계에 있음을 확립한다. 여기서 $B$를 $A$와 관련된 빌딩 블록이라 부른다. 저자들은 $B$가 $GL_n$-유형 빌딩 블록임을 증명하는데, 이는 $\text{End}_0(B)$가 $F$를 중심으로 하는 중심 분할 대수(central division algebra)이며, 슈어 지수(Schur index) $t_B$가 $n t_B [F:\mathbb{Q}] = 2\dim(B)$를 만족함을 의미한다.
2. 브라우어 군 관계 (Brauer Group Relations): 핵심적인 대수적 단계는 $\text{End}_0(A)$와 $\text{End}_0(B)$의 브라우어 클래스를 연관시키는 것이다. 저자들은 브라우어 군 $\text{End}_0(H)$ 내에서 $[\text{End}_0(A)] = [\text{End}_0(B) \otimes_F H]$임을 보여준다. 이를 통해 $\text{End}_0(A)$와 $\text{End}_0(B)$의 알베르트 유형(Albert types, 양의 인볼루션을 갖는 분할 대수의 분류)을 연관시킬 수 있다.
3. 내적 트위스트 및 네벤타입 (Inner Twists and Nebentypes): 저자들은 $GL_2$를 위한 내적 트위스트 이론을 $GL_n$ 설정으로 적응시킨다. 갈루아 표현 $\varrho_\lambda$가 $\varepsilon \otimes \varrho_\lambda$(복소 공액에 의한 트위스트)와 동형이 되도록 하는 $H^\times$ 값을 갖는 캐릭터 $\varepsilon$(네벤타입)를 구성한다. 이 구성은 $A$가 제1종 기하적 성질(geometrically of the first kind, 즉 $F$가 완전 실수체임)을 가질 때, 확장 $H/F$가 아벨 군이라는 사실에 기초한다.
4. 표현의 하강 (Descent of Representations): 코호몰로지 방법(특히 $H^2(\text{Gal}(E/H), E^\times)$의 2-코사이클 분석)을 사용하여, 소수 $\lambda$가 endomorphism algebra를 분해(split)한다는 조건 하에 $\ell$-진 표현들이 $H_\lambda$로 하강함을 증명한다.
5. 페어링 구성 (Pairing Construction): 표현의 절대적 기약성(absolute irreducibility)과 슈어의 보조정리(Schur's lemma)를 활용하여, 표현 공간 위에 비퇴화적이고 $G_k$-동변인(equivariant) 페어링 $\psi_\lambda$를 구성한다. 이 페어링의 대칭성(교대 또는 대칭)은 빌딩 블록 $B$의 알베르트 유형에 의해 결정된다.

주요 기여 및 결과

• Chi 등의 결과의 일반화: 주요 정리(정리 7.5)는 $A$가 진정한 $GL_n$-유형이고 기하적으로 제1종(즉, $\text{End}_0(A_{\bar{k}})$의 중심 $F$가 완전 실수체)이면, $\text{End}_0(A)$가 분해되는 소수 $\lambda$에 대해 차수가 $n$인 절대 기약 표현 $\varrho_\lambda: G_k \to \text{Aut}(W_\lambda(A))$가 존재함을 명시한다. 또한, 네벤타입 캐릭터 $\varepsilon$와 사이클로토믹 캐릭터 $\chi_\ell$의 곱 $H_\lambda(\varepsilon \chi_\ell)$ 값을 갖는 $G_k$-동변 페어링 $\psi_\lambda$가 존재한다.

  • 빌딩 블록 $B$가 알베르트 유형 I 또는 II인 경우, $\psi_\lambda$는 교대(alternating, 심플렉틱)이다.
  • $B$가 알베르트 유형 III인 경우, $\psi_\lambda$는 대칭(symmetric, 직교)이다.
  • 이 결과는 $H$가 완전 실수체가 아니더라도 $F$가 완전 실수체라면 유효하다.

• 진정한 $GL_n$-유형의 특징 (Characterization of Genuine $GL_n$-type): 논문은 진정한 $GL_n$-유형을 특징짓는 기준(명제 2.9)을 제공한다: 단순 아벨 다양체 $A$는 $\text{End}_0(A_{\bar{k}})$가 단순하고, $\text{End}_0(A)$의 극대 부분체(maximal subfield)가 $\text{End}_0(A_{\bar{k}})$의 극대 부분체이기도 할 때 진정한 $GL_n$-유형이다.

• 예시의 명시적 구성: 섹션 8에서 저자들은 이차체 $k$ 위에서 정의된 genus 2 곡선의 야코비안(Jacobian)의 스칼라 제한(restriction of scalars)을 통해 얻어지는, 진정한 $GL_4$-유형인 아벨 4개조(fourfolds)의 명시적 가족을 구성한다. 이 곡선들은 리첼로트 이소제니(Richelot isogeny)를 통해 자신의 갈루아 공액과 이소제니 관계에 있도록 구성된다.

  • 예시 8.6: 저자들은 $\mathbb{Q}(\sqrt{2})$ 위에서 $\text{End}(J_{\mathbb{Q}}) = \mathbb{Z}$인 자명한 endomorphism ring을 갖지만, 자신의 갈루아 공액과 이소제니 관계에 있는 곡선 $C$를 구체적으로 제시한다. 스칼라 제한 $A = \text{Res}_{k/\mathbb{Q}}(J)$는 $\text{End}_0(A) \cong \mathbb{Q}(\sqrt{-2})$를 갖는 진정한 $GL_4$-유형의 아벨 4개조이다.
  • 이 예시는 매우 중요한데, 중심 $H = \mathbb{Q}(\sqrt{-2})$가 완전 실수체가 아닌 CM field이기 때문이다. 따라서 본 논문의 주요 정리가 적용되지만, $H$가 완전 실수체여야 했던 Chi, Banaszach, Gajda, Krasoń의 이전 결과들은 적용될 수 없다.

• 자명한 엔도모피즘 판별 (Criterion for Trivial Endomorphisms): 섹션 9는 아벨 다양체가 $\mathbb{Q}$ 위에서 자명한 endomorphism ring을 갖는지 확인하는 계산적 기준(명제 9.3)을 제공한다. 이는 두 개의 서로 다른 소수에서의 프로베니우스(Frobenius)의 특성 다항식의 안정적 기약성(stable irreducibility)을 확인하고, 그 분해체들이 선형 독립(linearly disjoint)임을 보장하는 과정을 포함한다.

의의 및 주장
본 논문은 $GL_n$-유형 아벨 다양체의 이론을 확장하여, endomorphism algebra의 중심에 대한 조건을 '완전 실수체'에서 '기하적 endomorphism algebra의 중심이 완전 실수체'인 것으로 완화했다고 주장한다. 이를 통해 이전에는 $GL_n$-유형 다양체의 심플렉틱/직교 분류에서 제외되었던, endomorphism algebra가 CM field인 경우를 포함할 수 있게 되었다.

저자들은 섹션 8의 아벨 4개조 가족 구성이 "제2종"(기저체의 endomorphism algebra 관점)이면서 동시에 "기하적 제1종"(기하적 endomorphism algebra 관점)인 진정한 $GL_4$-유형의 첫 번째 명시적 예시임을 강조한다. 이는 그들의 일반화된 프레임워크의 필요성과 유용성을 입증한다. 이 연구는 Ribet, Pyle, Chi 등의 기초적인 기법에 의존하면서, 빌딩 블록과 내적 트위스트의 체계적인 사용을 통해 이를 고차원 $GL_n$ 맥락으로 확장하고 일반화하였다.