[논문 리뷰] On certain products of algebraic groups over a finite field

Toshiro Hiranouchi|arXiv (Cornell University)|2012. 09. 20.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 특성 ≠ 2인 유한체 위의 스무스하고 연결되어 있으며 가환 대수적 군 $G_1, \dots, G_n$에 대해, 상호법칙 함수자 $T(G_1, \dots, G_n)$가 $\operatorname{Spec} F$에서 0이 되며, 매크리 함수자 텐서곱 $(G_1 \otimes_M \cdots \otimes_M G_n)(\operatorname{Spec} F)$가 유한하다는 것을 증명한다. 이러한 결과들은 유한체 위의 열린 곡선의 곱에 대해 상대 차우 군 $\operatorname{CH}_0(X,D)$와 아벨 기본군의 기하학적 부분군의 유한성을 이끌어내며, 고전적 양자군론의 이론을 확장한다.

ABSTRACT

Let G_1,...,G_q be algebraic varieties over a finite field k. We show that, if q >1, the finiteness of the tensor product of G_1, ...,G_q as Mackey functors. We apply this to prove the finiteness of a relative Chow group and an abelian fundamental group which classifies abelian coverings with bounded ramification along the boundary.

연구 동기 및 목표

• 특성 $\neq 2$인 유한체 $F$ 위의 스무스하고 연결되어 있으며 가환 대수적 군 $G_i$에 대해 $n \geq 2$일 때 상호법칙 함수자 $T(G_1, \\dots, G_n)(\operatorname{Spec} F)$가 0이 되는 것을 증명하는 것.
• 이러한 군들에 대해 매크리 함수자 텐서곱 $(G_1 \otimes_M \cdots \otimes_M G_n)(\operatorname{Spec} F)$의 유한성을 확립하는 것.
• 이 결과들을 적용하여, 유한체 위의 열린 곡선의 곱에 대해 상대 차우 군 $\operatorname{CH}_0(X,D)$와 아벨 기본군 $\pi_1(X,D)^{\mathrm{ab},0}$의 기하학적 부분군의 유한성을 증명하는 것.

제안 방법

• 특성 $\neq 2$인 유한체 위의 스무스하고 연결되어 있으며 가환 대수적 군에 관련된 상호법칙 함수자 $\mathscr{M}_i$에 대해 이바라와 루링이 정의한 상호법칙 함수자 $T(\mathscr{M}_1, \dots, \mathscr{M}_n)$의 사용.
• 매크리 함수자 텐서곱에서 상호법칙 함수자로의 자연스러운 전성 사상 활용: $(\mathscr{M}_1 \otimes_M \cdots \otimes_M \mathscr{M}_n)(\operatorname{Spec} F) \twoheadrightarrow T(\mathscr{M}_1, \dots, \mathscr{M}_n)(\operatorname{Spec} F)$.
• Somekawa $K$-군에 관한 기존 결과를 적용하고, 군들이 준아벨일 경우 $n > 1$일 때의 0성질을 활용하며, 일반적인 스무스하고 연결되어 있으며 가환 대수적 군으로의 확장을 구조 이론을 통해 수행.
• 준아벨 다양체에 대해 $T(G_1, \dots, G_n)(\operatorname{Spec} F) \simeq K(F; G_1, \dots, G_n)$의 동형을 이용하여 0성질을 유도.
• 텐서곱의 유한성을 응용하여, $X = X_1 \times \cdots \times X_n$ 이고 $D$가 콪팩티피케이션의 경계에 지지된 경우 상대 차우 군 $\operatorname{CH}_0(X,D)$의 유한성을 유도.
• 국소 양자군론과 아이델 이론적 묘사를 사용하여 $\operatorname{CH}_0(X,D)$를 아벨 기본군 $\pi_1(X,D)^{\mathrm{ab},0}$과 연결하고, 그 유한성을 증명.

실험 결과

연구 질문

• RQ1 특성 $\neq 2$인 유한체 위의 스무스하고 연결되어 있으며 가환 대수적 군 $G_1, \dots, G_n$에 대해 $n \geq 2$일 때 상호법칙 함수자 $T(G_1, \dots, G_n)(\operatorname{Spec} F)$가 0이 되는가?
• RQ2 이러한 군들에 대해 $n \geq 2$일 때 매크리 함수자 텐서곱 $(G_1 \otimes_M \cdots \otimes_M G_n)(\operatorname{Spec} F)$가 유한한가?
• RQ3 열린 곡선의 곱 $X = X_1 \times \cdots \times X_n$과 경계에 지지된 효과적 인수 $D$에 대해 상대 차우 군 $\operatorname{CH}_0(X,D)$가 여전히 유한한가?
• RQ4 이 조건 하에서 아벨 기본군 $\pi_1(X,D)^{\mathrm{ab},0}$의 기하학적 부분군이 유한한가를 보일 수 있는가?
• RQ5 이러한 결과들이 곡선에 대한 고전적 양자군론을 고차원 곡선의 곱으로 얼마나 넓게 일반화할 수 있는가?

주요 결과

• 특성 $\neq 2$인 유한체 위의 스무스하고 연결되어 있으며 가환 대수적 군 $G_i$에 대해 $n \geq 2$일 때 상호법칙 함수자 $T(G_1, \dots, G_n)(\operatorname{Spec} F)$는 항등적으로 0이 된다.
• 이러한 군들에 대해 $n \geq 2$일 때 매크리 함수자 텐서곱 $(G_1 \otimes_M \cdots \otimes_M G_n)(\operatorname{Spec} F)$는 유한하다.
• 유한체 위의 열린 곡선의 곱 $X = X_1 \times \cdots \times X_n$과 콤팩티피케이션의 경계에 지지된 효과적 인수 $D$에 대해 상대 차우 군 $\operatorname{CH}_0(X,D)$는 유한하다.
• 이러한 $X$와 $D$에 대해 아벨 기본군 $\pi_1(X,D)^{\mathrm{ab},0}$의 기하학적 부분군은 $\operatorname{CH}_0(X,D)$의 유한성과 상호법칙 사상의 결과로 유한하다.
• 결과들은 상대 차우 군과 기본군의 유한성에 기반하여, 유한체 위의 열린 곡선의 곱에 대해 고전적 비분기 양자군론을 분기 상황으로 확장한다.
• 증명은 $T(G_1, \dots, G_n)(\operatorname{Spec} F)$와 Somekawa의 $K$-군 $K(F; G_1, \dots, G_n)$ 사이의 동형과, 군들이 준아벨일 경우 $n > 1$일 때 그 $K$-군이 0이 되는 것으로 알려진 사실에 기반하며, 이는 일반적인 스무스하고 연결되어 있으며 가환 대수적 군으로 확장된다.