[논문 리뷰] Higher Tits indices of algebraic groups

Viktor Petrov, Nikita Semenov|ArXiv.org|2007. 06. 19.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 6

한 줄 요약

이 논문은 초월적 대수적 군의 고차 티츠 지표를 정의하고 분류한다. 특히 $\mathrm{F}_4$, ${}^1\mathrm{E}_6$, $\mathrm{E}_7$ 유형에 대해, 초월적 체 확장에서의 행동을 초월적 군의 체호르 군, 스틴로드 연산자, 그리고 $J$-불변량을 이용해 분석함으로써 이루어진다. 주요 기여는 티츠 대수의 지표가 0인 군에 대해 가능한 모든 고차 티츠 지표를 완전히 분류한 것으로, 이는 $\mathrm{E}_7$ 유형 군의 로스트 불변량의 핵이 자명하다는 것을 짧게 증명하는 데 기여한다.

ABSTRACT

Let G be a semisimple algebraic group over a field k. We introduce the higher Tits indices of G as the set of all Tits indices of G over all field extensions K/k. In the context of quadratic forms this notion coincides with the notion of the higher Witt indices introduced by M. Knebusch and classified by N. Karpenko and A. Vishik. We classify the higher Tits indices for exceptional algebraic groups. Our main tools involve the Chow groups and the Chow motives of projective homogeneous varieties, Steenrod operations, and the notion of the J-invariant of algebraic groups.

연구 동기 및 목표

• 체 확장에서 단순 대수적 군의 고차 티츠 지표를 정의하고 체계적으로 연구하기 위해.
• 티츠 대수가 자명한 $\mathrm{F}_4$, ${}^1\mathrm{E}_6$, $\mathrm{E}_7$ 유형의 초월적 군에 대해 가능한 모든 고차 티츠 지표를 분류하기 위해.
• 초월적 군의 분해 행동과 호환되는 프로젝티브 동차 다양체 위의 차수 1의 0-사이클 존재 사이의 연결 고리를 설정하기 위해.
• 새로운 짧은 증명을 통해 $\mathrm{E}_7$ 유형 군의 로스트 불변량의 핵이 자명하다는 것을 증명하기 위해.

제안 방법

• 플래그 다양체의 체호르 링에 있는 유리 사이클 크기를 측정하기 위해 대수적 군의 $J$-불변량을 사용한다.
• 체호르 이론에서의 스틴로드 연산자를 적용하여 체 확장에서의 모티브 불변량과 분해 행동을 분석한다.
• 프로젝티브 동차 다양체의 체호르 모티프를 활용하여 분류 문제를 체호르 링의 부분환으로 환원한다.
• 특정 비이소트로프성 다양체 위에 차수 1의 0-사이클이 존재하는 것과 $\mathrm{E}_7$-군 내의 이소트로프성 $\mathrm{D}_6$-핵의 존재를 연결한다.
• 체호르 사이클과 로스트 불변량 이론의 결과를 활용하여 군의 분해 행동에 대한 구조적 제약 조건을 유도한다.
• 함수체 위의 다양체의 모티브 분해를 사용하여 $\mathrm{CH}_0$ 위의 차수 맵을 분석하고, 차수 1의 0-사이클이 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 체 확장 $K/k$ 에서 단순 대수적 군 $G$ 가 실현할 수 있는 모든 가능한 티츠 지표는 무엇인가?
• RQ2 어떻게 $J$-불변량이 초월적 군의 분해 행동과 고차 티츠 지표를 제어하는가?
• RQ3 어떤 조건에서 $\mathrm{E}_7$ 유형 군이 어떤 체 확장에서 $\mathrm{D}_6$ 유형의 단순 비이소트로프성 핵을 갖는가?
• RQ4 프로젝티브 동차 다양체 위에 차수 1의 0-사이클이 존재할 때, 이는 해당 군의 이소트로프성과 어떤 관계가 있는가?
• RQ5 로스트 불변량의 자명성과 $\mathrm{E}_7$ 유형 군의 이소트로프성 사이의 정확한 관계는 무엇인가?

주요 결과

• 티츠 대수가 자명한 $\mathrm{F}_4$ 에 대해 $J_2 = (0)$ 이면 고차 티츠 지표는 $\{1, \mathrm{F}_4\}$ 이고, $J_2 = (1)$ 이면 $\{1, \mathrm{B}_3, \mathrm{F}_4\}$ 이다.
• ${}^1\mathrm{E}_6$ 에 대해 $J_2 = (0), J_3 = (0,1)$ 이면 고차 티츠 지표는 $\{1, \mathrm{E}_6\}$ 이다.
• $J_2 = (1), J_3 = (0,*)$ 이면 지표는 $\{1, \mathrm{D}_4, \mathrm{E}_6\}$ 이고, $J_2 = (0), J_3 = (j_1,*), j_1 \neq 0$ 이면 $\{1, 2\mathrm{A}_2, \mathrm{E}_6\}$ 이다.
• $\mathrm{E}_7$ 에 대해 티츠 대수가 자명하고 $\mathrm{char}\,k \neq 2,3$ 이면 고차 티츠 지표 $\Omega(G)$ 는 $\{1, \mathrm{D}_4, \mathrm{D}_6, \mathrm{E}_7\}$ 를 포함하며, 이는 $G_K$ 가 $\mathrm{D}_6$ 핵을 갖는 체 확장이 존재함을 시사한다.
• $J$-불변량은 $\mathrm{D}_4$-핵의 존재를 결정한다: $\mathrm{D}_4 \in \Omega(G)$ 이다. $\Longleftrightarrow$ $J_2(G)$ 가 비자명하다.
• 논문은 $\mathrm{D}_6$-핵의 존재와 아라존 불변량의 성질을 이용하여 $\mathrm{E}_7$ 유형 군의 로스트 불변량의 핵이 자명하다는 짧은 증명을 제공한다.