Table of Contents
Fetching ...

A-upper motives of reductive groups

Charles De Clercq, Nikita Karpenko, Anne Quéguiner-Mathieu

TL;DR

This work extends motivic theory for projective homogeneous varieties to reductive groups that are $p'$-inner and $p$-consistent. It introduces $A$-upper motives and an exact retraction to Artin motives, enabling a decomposition of motives into Tate shifts of $A$-upper pieces. The authors prove that indecomposable summands are governed by higher Artin-Tate traces and that isomorphism of motives is detected by these traces, culminating in a criterion for motivic equivalence via higher Tits $p$-indexes. The framework unifies inner and non-inner types and provides practical criteria for motivic classifications across field extensions. These results generalize TateTraces and yield a comprehensive picture of how higher isotropy data controls motives of projective homogeneous varieties.

Abstract

Given a prime number $p$, we perform the study of Chow motives and motivic decompositions, with coefficients in $\mathbb{Z}/p\mathbb{Z}$, of projective homogeneous varieties for $p'$-inner $p$-consistent reductive algebraic groups. Assorted with the known case of $p$-inner reductive groups, our results cover all absolutely simple groups of type not $^3\!D_4$ or $^6\!D_4$, among other examples. First, we define the A-upper motives of such a reductive group $G$; they are indecomposable motives, naturally related to Artin motives built out of spectra of subextensions of a minimal extension over which $G$ become of inner type. With this in hand, we carry on the qualitative study of motivic decompositions for projective $G$-homogeneous varieties. Providing geometric isomorphism criteria for A-upper motives, we obtain a classification of motives of projective $G$-homogeneous varieties, by means of their higher Artin-Tate traces. We also show that the higher Tits $p$-indexes of the group $G$ determine its motivic equivalence class.

A-upper motives of reductive groups

TL;DR

This work extends motivic theory for projective homogeneous varieties to reductive groups that are -inner and -consistent. It introduces -upper motives and an exact retraction to Artin motives, enabling a decomposition of motives into Tate shifts of -upper pieces. The authors prove that indecomposable summands are governed by higher Artin-Tate traces and that isomorphism of motives is detected by these traces, culminating in a criterion for motivic equivalence via higher Tits -indexes. The framework unifies inner and non-inner types and provides practical criteria for motivic classifications across field extensions. These results generalize TateTraces and yield a comprehensive picture of how higher isotropy data controls motives of projective homogeneous varieties.

Abstract

Given a prime number , we perform the study of Chow motives and motivic decompositions, with coefficients in , of projective homogeneous varieties for -inner -consistent reductive algebraic groups. Assorted with the known case of -inner reductive groups, our results cover all absolutely simple groups of type not or , among other examples. First, we define the A-upper motives of such a reductive group ; they are indecomposable motives, naturally related to Artin motives built out of spectra of subextensions of a minimal extension over which become of inner type. With this in hand, we carry on the qualitative study of motivic decompositions for projective -homogeneous varieties. Providing geometric isomorphism criteria for A-upper motives, we obtain a classification of motives of projective -homogeneous varieties, by means of their higher Artin-Tate traces. We also show that the higher Tits -indexes of the group determine its motivic equivalence class.
Paper Structure (8 sections, 20 theorems, 42 equations)

This paper contains 8 sections, 20 theorems, 42 equations.

Key Result

Lemma 2.2

Let $L/F$ be a finite separable field extension, and $Y/L$ a smooth connected projective variety. We assume there exists an $F$-variety $\hat{Y}$ such that $\hat{Y}_L$ and $Y$ are equivalent. If the degree of $L/F$ is prime to $p$, then the $F$-varieties $Y^F$ and $R_{L/F}(Y)$ are equivalent.

Theorems & Definitions (61)

  • Remark 2.1
  • Lemma 2.2
  • proof
  • Example 3.1: see Example \ref{['ex3.4']} for more details
  • Remark 3.3
  • Example 3.4
  • Example 3.5
  • Remark 3.6
  • Lemma 3.7
  • proof
  • ...and 51 more