[논문 리뷰] Upper motives of algebraic groups and incompressibility of Severi-Brauer varieties

Nikita A. Karpenko|arXiv (Cornell University)|2009. 04. 18.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 중심 단순 대수의 일반화된 Severi-Brauer 다양체를 포함한, 단순 대수적 군의 내부 유형에 대한 사영 동형 다양체에 대해 $\mathbb{F}_p$ 계수를 가진 초모티프 분해를 결정한다. 중심 분할 대수 $D$의 차수 $p^n$에 대응하는 다양체 $X(p^m; D)$는 모든 $m = 0, \dots, n$에 대해 $p$-압축 불가능하다는 것을 모티브 분해와 모티프 랭크의 $p$-진 평가를 통해 증명하며, 이는 대수기하학과 모티브 이론 분야의 핵심 구조적 질문을 해결한다.

ABSTRACT

Let G be a semisimple affine algebraic group of inner type over a field F. We write C for the class of all finite direct products of projective G-homogeneous F-varieties. We determine the structure of the Chow motives with coefficients in a finite field of the varieties in C. More precisely, it is known that the motive of any variety in C decomposes (in a unique way) into a sum of indecomposable motives, and we describe the indecomposable summands which appear in the decompositions. In the case where G is the group of automorphisms of a given central simple F-algebra A, for any variety in the class C (which includes the generalized Severi-Brauer varieties of the algebra A) we determine its canonical dimension at any prime p. In particular, we find out which varieties in C are p-incompressible. If A is a division algebra of degree p^n for some n, then the list of p-incompressible varieties includes the generalized Severi-Brauer variety X(p^m; A) of ideals of reduced dimension p^m for m=0,1,...,n.

연구 동기 및 목표

• 세미단순 대수적 군 $G$의 내부 유형에 대해, 체 $F$ 위에서 사영 $G$-동형 다양체의 초모티브 분해에서의 분해 불가능한 합성합의 기술.
• 중심 단순 대수와 관련된 일반화된 Severi-Brauer 다양체의 정규 $p$-차원(또는 $p$-차원에서의 정규 차원) 결정.
• 중심 분할 대수 $D$의 차수가 $p^n$인 경우, 다양체 $X(p^m; D)$의 $p$-압축 불가능성 확립.
• 이러한 다양체의 모티브 분해에서 나타나는 분해 불가능한 모티프의 랭크에 대한 $p$-진 평가 계산.
• 분해 불가능한 모티브를 가진 일반화된 Severi-Brauer 다양체의 새로운 예제 제공($n \geq 4$).

제안 방법

• 초모티브 카테고리에서 $\mathbb{F}_p$ 계수를 가진 분해 불가능한 모티브 $M_\tau$를 구성하여, 사영 $G$-동형 다양체의 모티브 분해에서 0-차원 초모듈러스 그룹이 0이 아닌 합성합으로서의 역할을 한다.
• 모티브의 유일한 분해 불가능한 합성합으로의 분해를 이용하여, 이러한 다양체의 유한한 직접곱의 모티브의 구조를 기술한다.
• 분할 대수 $D$의 차수에 대한 귀납법을 적용하여 두 구조적 결과를 동시에 증명: 최상위 차원 초모듈러스 그룹의 비영성과 모티브 랭크의 $p$-진 평가 계산.
• 지수 $\operatorname{ind}(D_L) = p^{n-1}$인 체 확장 $L/F$로의 기본 전환을 적용하여, $L$ 위에서의 모티브 분해를 비교하고 특정 모티브의 복제 수를 분석한다.
• 특정 모티브 $M_{m-1,C}$의 복제 수가 $X(p^{m-1}, C)^{\times r}$에서 $r \geq 2$ 및 $m < n$일 때 $p$로 나누어 떨어진다는 사실을 활용하여, 모티브 랭크의 $p$-진 평가를 적용한다.
• 체 확장 $L$ 위에서 $X(p^m; D)$의 모티브 분해를 적용하여, $M_{0,C}$의 이동판이 $M_{1,C}$의 합성합이 되지 않음을 보여, $n \geq 4$일 때의 분해 불가능성 증명.

실험 결과

연구 질문

• RQ1 세미단순 대수적 군의 내부 유형에 대해 사영 $G$-동형 다양체의 초모티브 분해에서 나타나는 분해 불가능한 모티브는 무엇인가?
• RQ2 중심 분할 대수 $D$의 차수가 $p^n$인 일반화된 Severi-Brauer 다양체 $X(p^m; D)$의 정규 $p$-차원은 무엇인가?
• RQ3 중심 분할 대수 $D$의 차수가 $p^n$인 경우, 어떤 $m$에 대해 다양체 $X(p^m; D)$는 $p$-압축 불가능한가?
• RQ4 분해 불가능한 모티브 $M_{m,D}$의 랭크에 대한 $p$-진 평가는 무엇인가?
• RQ5 $n \geq 4$일 때, 중심 분할 대수의 차수가 $2^n$인 $X(2; D)$의 모티브는 분해 불가능한가?

주요 결과

• 중심 분할 대수 $D$의 차수가 $p^n$인 경우, 모든 $m = 0, 1, \dots, n$에 대해 다양체 $X(p^m; D)$는 $p$-압축 불가능하다.
• 초모듈러스 그룹의 $d$-차원에서 $d = \dim X(p^m; D)$인 분해 불가능한 모티브 $M_{m,D}$의 $p$-정규 차원은 $p^m(p^n - p^m)$이며, 이는 그 차원과 일치한다.
• 분해 불가능한 모티브 $M_{m,D}$의 $d$-차원 초모듈러스 그룹($d = \dim X(p^m; D)$)은 0이 아니며, 이는 $p$-압축 불가능성과 동치이다.
• 모티브 $M_{m,D}$의 랭크에 대한 $p$-진 평가는 $n - m$이다.
• $n \geq 4$일 때, 계수 $\mathbb{F}_2$를 가진 $X(2; D)$의 모티브는 분해 불가능하며, 이는 $n = 1, 2, 3$에 대한 기존 결과를 확장한다.
• 지수 $\operatorname{ind}(D_L) = p^{n-1}$인 체 확장 $L$ 위에서 $X(p^m; D)$의 모티브 분해는 $X(p^m; D)_L$에서 $M_{m-1,C}$의 복제 수가 $p$로 나누어 떨어짐을 보여, 주요 압축 불가능성 결과를 뒷받침한다.