1 Introduction
L’objet de cet article est de classifier les motifs de Grothendieck associées aux groupes algébriques semisimples. Rappelons qu’à tout tel groupe
$G$
défini sur un corps quelconque on peut associer l’ensemble des
$G$
-variétés de drapeaux généralisées. Le premier exemple d’étude systématique des motifs des variétés de drapeaux généralisées est proposé dans [Reference KöckKöc91]. Köck y détermine ces motifs sur un corps de base séparablement clos et montre qu’ils admettent description complète en fonction du groupe de Weil du groupe semisimple associé. La situation bien plus délicate où le corps de base est quelconque, et où donc ces variétés ne sont plus cellulaires, fait l’objet d’une étude intensive depuis plus de quinze ans. Une première avancée fondamentale est proposée dans l’article [Reference Chernousov, Gille and MerkurjevCGM05] (voir aussi [Reference BrosnanBro05]) par Chernousov, Gille et Merkurjev. Les auteurs y montrent que le motif d’une
$G$
-variété de drapeaux généralisée
$X$
possédant un point rationnel admet une décomposition de la forme
$$\begin{eqnarray}M(X)=\bigoplus _{\unicode[STIX]{x1D6FF}\in \unicode[STIX]{x1D6E5}}M(Z_{\unicode[STIX]{x1D6FF}})[l(\unicode[STIX]{x1D6FF})],\end{eqnarray}$$
où
$\unicode[STIX]{x1D6E5}$
est un ensemble d’orbites du diagramme de
$G$
sous l’action du groupe de Galois absolu et les variétés
$Z_{\unicode[STIX]{x1D6FF}}$
sont de drapeaux généralisées pour la partie semisimple d’une composante de Levi associée à
$X$
. Lorsque le groupe semisimple sous-jacent possède un tore maximal déployé, ces décompositions correspondent aux décompositions obtenues par Köck. Une conséquence essentielle de l’existence de ces décompositions, dites de type Levi, est le principe de nilpotence de Rost [Reference Chernousov, Gille and MerkurjevCGM05, Theorem 8.2]. Plus récemment Petrov, Semenov et Zainoulline introduisent la notion de
$J$
-invariant des groupes semisimples [Reference Petrov, Semenov and ZainoullinePSZ08] dont l’objectif est une étude fine des motifs associés aux variétés de Borel. Le
$J$
-invariant intervient dans la classification des variétés de drapeaux génériquement déployées [Reference Petrov and SemenovPS10a, Reference Petrov and SemenovPS10b], ainsi que pour relier les motifs des variétés de Borel et les algèbres de Tits des groupes semisimples [Reference Garibaldi, Petrov and SemenovGPS16, Reference Quéguiner-Mathieu, Semenov and ZainoullineQSZ12].
Les motifs et les décompositions motiviques encodent les propriétés arithmétiques des variétés algébriques. Les invariants subtils fournis par les motifs des quadriques de Pfister sont une part essentielle de la preuve de la conjecture de Milnor. Dans le cas plus général des variétés de drapeaux généralisées, l’interface entre l’arithmétique et les motifs s’exprime très souvent en fonction des invariants discrets associés aux structures algébriques qui vivent sur le corps de base. Une des incarnations les plus frappantes de ce phénomène est le critère de Vishik d’équivalence motivique des quadriques, qui stipule que le motif de deux quadriques sont isomorphes si et seulement si les formes quadratiques associées sont de même dimension et si leur indices de Witt coincident sur toute extension de leur corps de définition (on renvoit à [Reference KahnKah06, Reference KahnKah08] pour un panorama de la théorie de Vishik). Les connexions profondes entre motifs et invariants discrets associés aux groupes semisimples ont permis la résolution de nombreux problèmes classiques, notamment les conjectures de Hoffmann [Reference KarpenkoKar03] et Kaplansky [Reference VishikVis10] de la théorie algébrique des formes quadratiques. L’étude des décompositions motiviques est en outre l’unique invariant connu permettant de détecter la dimension
$p$
-canonique des variétés [Reference KarpenkoKar10a].
Le présent article propose deux contributions majeures. La première est de nature motivique : on y démontre une version partielle de la conjecture de rigidité motivique des groupes spéciaux linéaires. La seconde est de nature algébro-géométrique, il s’agit classifier les goupes semisimples à équivalence motivique près. Cette classification peut être vue comme un analogue motivique de la classification de Tits des groupes semisimples sur un corps quelconque. Les expressions des invariants combinatoires construits dans cet article pour caractériser l’équivalence motivique fournissent un dictionnaire mêlant motifs, structures algébriques et géométrie birationnelle des variétés de drapeaux généralisées. Le lien sous-jacent à ces différentes notions est décrit par le biais des motifs supérieurs, qui généralisent aux variétés de drapeaux généralisées les motifs de Voevosdky associés aux schémas simpliciaux de Cech considérés par Vishik [Reference VishikVis04].
Dans toute la suite on travaille dans la catégorie des motifs de Grothendieck construits à partir des correspondances de Chow. Tous les résultats annoncés désormais sont donc valables quelle que soit la caractéristique du corps de base considéré.
Un groupe semisimple
$G$
étant fixé, on associe en § VI à tout sous-ensemble (des sommets) du diagramme de Dynkin de
$G$
un motif standard. Lorsque
$G$
est intérieur, ces motifs correspondent aux motifs des
$G$
-variétés de drapeaux généralisées de type fixé, au sens de Borel et Tits [Reference Borel and TitsBT65]. De la même manière on peut associer à tout sous-ensemble
$\unicode[STIX]{x1D6E9}$
du diagramme de Dynkin de
$G$
le motif supérieur du motif standard de
$G$
de type
$\unicode[STIX]{x1D6E9}$
, que l’on note
$U_{\unicode[STIX]{x1D6E9},G}$
.
Les motifs supérieurs d’un groupe semisimple
$G$
fournissent en général un invariant moins fin que l’ensemble de ses motifs standards. Néanmoins, le théorème de structure de Karpenko [Reference KarpenkoKar10b] stipule que lorsque
$G$
est
$p$
-intérieur (cf. § 5) les motifs standards de
$G$
appartiennent à la sous-catégorie épaisse de Tate engendrée par les motifs supérieurs
$G$
. La conjecture suivante de rigidité motivique des groupes spéciaux linéaires prévoit que la combinatoire des décompositions motiviques des variétés de drapeaux généralisées est de nature purement algébrique [Reference De ClercqDeC13, Reference ZhykhovichZhy12].
Conjecture A. Soit
$G$
le groupe spécial linéaire d’une algèbre simple centrale
$A$
,
$p$
un nombre premier et
$X$
une
$G$
-variété de drapeaux généralisée. Le motif de
$X$
à coefficients dans un corps à
$p$
éléments admet une décomposition de la forme
$$\begin{eqnarray}M(X)=\bigoplus _{\unicode[STIX]{x1D6E9}\in \unicode[STIX]{x1D6E5}_{X}}U_{\unicode[STIX]{x1D6E9},G}[i_{\unicode[STIX]{x1D6E9}}],\end{eqnarray}$$
où l’ensemble
$\unicode[STIX]{x1D6E5}_{X}$
et les entiers
$i_{\unicode[STIX]{x1D6E9}}$
ne dépendent que de la dimension et de la valuation
$p$
-adique de l’indice de l’algèbre
$A$
.
Une démonstration de cette conjecture semble actuellement hors de portée. On sait néanmoins qu’elle est vérifiée en basse dimension [Reference De ClercqDeC13, Reference ZhykhovichZhy12], ainsi que pour les variétés de Borel [Reference Calmès, Semenov, Petrov and ZainoullineCSPZ06].
Nous allons désormais exprimer une version faible de la Conjecture A, ainsi que le lien qu’elle entretient avec la notion d’équivalence motivique, dont l’objectif est de classifier groupes semisimple en fonction de leurs motifs standards.
Définition 1. Soit
$\unicode[STIX]{x1D6EC}$
un anneau commutatif et
$G$
,
$G^{\prime }$
deux groupes semisimples, tous deux formes intérieures d’un même groupe quasi-déployé. On dit que
$G$
et
$G^{\prime }$
sont motiviquement équivalents à coefficients dans
$\unicode[STIX]{x1D6EC}$
si pour tout ensemble
$\unicode[STIX]{x1D6E9}$
fixé de leur diagramme de Dynkin, les motifs standards de type
$\unicode[STIX]{x1D6E9}$
de
$G$
et
$G^{\prime }$
sont isomorphes à coefficients dans
$\unicode[STIX]{x1D6EC}$
.
Lorsque
$\unicode[STIX]{x1D6EC}$
est un corps à
$p$
éléments, on dira que
$G$
et
$G^{\prime }$
sont motiviquement équivalents modulo
$p$
. On dira enfin simplement que
$G$
et
$G^{\prime }$
sont motiviquement équivalents s’ils sont motiviquement équivalents modulo tout nombre premier
$p$
.
Le choix de l’anneau des coefficients est primordial : comme nous le verrons lors de l’étude de l’équivalence motivique des groupes spéciaux linéaires (cf. § 10) l’équivalence motivique à coefficients entiers se révèle être un invariant trop rigide pour s’exprimer en fonction des invariants classiques des algèbres simples centrales. En somme, l’invariant motivique adapté à l’arithmétique et la géométrie birationnelle des variétés de drapeaux généralisées n’est pas le motif à coefficients entiers, mais plutôt la collection de tous les motifs à coefficients dans
$\mathbb{F}_{p}$
, pour tout nombre premier
$p$
.
Jusqu’à la fin de cette introduction, les groupes semisimples considérés seront tous supposés
$p$
-intérieurs. L’analogue de l’équivalence motivique modulo
$p$
dans le contexte des motifs supérieurs s’énonce comme suit.
Définition 2. Soient
$G$
et
$G^{\prime }$
deux groupes semisimples, tous deux formes intérieures d’un même groupe quasi-déployé. On dit que
$G$
et
$G^{\prime }$
sont équivalents modulo
$p$
si pour tout ensemble
$\unicode[STIX]{x1D6E9}$
de leur diagramme de Dynkin, les motifs supérieurs
$U_{\unicode[STIX]{x1D6E9},G}$
et
$U_{\unicode[STIX]{x1D6E9},G^{\prime }}$
sont isomorphes.
Notons que la flexibilité des motifs supérieurs permet de définir l’équivalence modulo
$p$
des groupes de semisimples de manière purement géométrique (cf. Définition 6). On dit enfin que deux groupes semisimples sont équivalents s’ils sont équivalents modulo tout nombre premier
$p$
. La conjecture suivante stipule que l’ensemble des motifs supérieurs d’un groupe semisimple
$G$
détermine la totalité de ses motifs standards.
Conjecture B. Soient
$G$
et
$G^{\prime }$
deux groupes semisimples, tous deux formes intérieures d’un même groupe déployé. Les groupes
$G$
et
$G^{\prime }$
sont motiviquement équivalents si et seulement s’ils sont équivalent.
La Conjecture B pour les groupes de type
$A_{n}$
correspond à la Conjecture A de rigidité motivique des groupes spéciaux linéaires, lorsque les classes d’isomorphismes de motifs supérieurs sont fixées.
Nous prouvons dans cet article la Conjecture B (cf. Corollaire 14) et donc la Conjecture A dans de très nombreux cas. On examine ensuite plusieurs conséquences de la Conjecture B, notamment la détermination des invariants combinatoires qui permettent la classification des groupes semisimples à équivalence motivique près : les
$p$
-indices de Tits supérieurs. La notion de
$p$
-indice de Tits d’un groupe semisimple est introduite en § 9 et correspond à la donnée de diagramme de Dynkin du groupe considéré muni de l’action du groupe de Galois absolu, et dont un certain nombre d’orbites sont colorées. Ces indices sont les analogues motiviques des indices de Tits (aussi appelés diagrammes de Satake) qui apparaissent dans la classification de Tits des groupes semisimples. La preuve du critère suivant (Corollaire 17 de la § 9) est utilise de manière essentielle la Conjecture B.
Théorème 3. Deux groupes semisimples intérieurs sont motiviquement équivalents si et seulement si pour tout nombre premier
$p$
leur
$p$
-indices de Tits supérieurs coincident.
Les
$p$
-indices de Tits supérieurs des groupes intérieurs caractérisent donc les classes d’équivalence motiviques. L’expression des
$p$
-indices de Tits en fonction des invariants algébriques classiques associés aux groupes semisimples permettent de généraliser le critère de Vishik à tous les groupes semisimples. Les valeurs des
$p$
-indices de Tits pour les groupes spéciaux linéaires et les groupes orthogonaux ainsi que les critères suivants d’équivalence motiviques sont démontrés en § 10.
Critère A. Deux groupes spéciaux linéaires
$\operatorname{SL}(A)$
et
$\operatorname{SL}(B)$
sont motiviquement équivalents si et seulement si
$A$
et
$B$
sont de même dimension et leurs classes engendrent le même sous-groupe du groupe de Brauer du corps de base.
Ces conditions sont équivalentes à l’équivalence birationnelle stable des variétés de Severi–Brauer
$\operatorname{SB}(A)$
et
$\operatorname{SB}(B)$
.
Critère B. Deux groupes spéciaux orthogonaux
$\operatorname{SO}(q)$
et
$\operatorname{SO}(q^{\prime })$
sont motiviquement équivalents si et seulement si
$q$
et
$q^{\prime }$
sont de même dimension et pour toute extension
$E/F$
, les indices de Witt de
$q_{E}$
et
$q_{E}^{\prime }$
coincident.
Ces conditions sont équivalentes à l’isomorphisme entre les motifs des quadriques projectives associées à
$q$
et
$q^{\prime }$
(à coefficients dans
$\mathbb{Z}$
ou
$\mathbb{F}_{2}$
).
La détermination de l’ensemble de toutes les valeurs possibles des
$p$
-indices de Tits des groupes semisimples, ainsi que des critères d’équivalence motivique en fonction notamment des invariants cohomologiques des groupes semisimples fait l’objet du travail [Reference De Clercq and GaribaldiDG17] en commun avec Skip Garibaldi.
La preuve de la Conjecture B repose sur deux étapes principales. Elle tire parti dans un premier temps des décompositions de type Levi de Chernousov, Gille et Merkurjev pour traiter du cas des variétés de drapeaux généralisées dites isotropes, c’est à dire possédant un point rationnel. Pour obtenir une preuve de la conjecture dans le cas général à partir du cas isotrope, il est nécessaire de construire des extensions qui respectent les propriétés arithmétiques et tout en déployant légèrement les motifs des variétés de drapeaux généralisées. Ces extensions dites pondérées sont introduites en § 5 et permettent la descente de la Conjecture B au corps de base.
2 Dominance, équivalence modulo
$p$
des variétés projectives
Dans toute la suite on fixe un corps de base
$F$
, et
$p$
désignera toujours un nombre premier. Pour tout nombre premier
$p$
on introduit une relation de préordre sur la classe des
$F$
-variétés propres et lisses : la relation de dominance modulo
$p$
. Suivant [Reference Elman, Karpenko and MerkurjevEKM08, Reference FultonFul98], on note par
$\operatorname{CH}_{k}(X)$
le groupe de Chow des cycles algébriques de dimension
$k$
sur une
$F$
-variété
$X$
modulo équivalence rationelle.
Soit
$\unicode[STIX]{x1D6FC}:X{\rightsquigarrow}Y$
une correspondance de Chow de degré
$0$
entre
$F$
-variétés,
$Y$
étant supposée propre – c’est à dire un élément du groupe de Chow
$\operatorname{CH}_{\dim (X)}(X\times Y)$
. Si
$\unicode[STIX]{x1D70B}$
est la projection naturelle de
$X\times Y$
sur le premier facteur, la multiplicité de
$\unicode[STIX]{x1D6FC}$
est l’unique entier
$\operatorname{mult}(\unicode[STIX]{x1D6FC})$
satisfaisant la relation
$\unicode[STIX]{x1D70B}_{\ast }(\unicode[STIX]{x1D6FC})=\operatorname{mult}(\unicode[STIX]{x1D6FC})\cdot [X]$
.
Définition 4. Soient
$X$
et
$Y$
deux
$F$
-variétés propres. On dit que
$X$
domine
$Y$
s’il existe une correspondance de Chow
$X{\rightsquigarrow}Y$
de degré
$0$
et de multiplicité 1. S’il existe une correspondance
$\unicode[STIX]{x1D6FC}:X{\rightsquigarrow}Y$
de degré 0 et de multiplicité première à
$p$
, on dit que
$X$
domine
$Y$
modulo
$p$
.
Un calcul montre que la multiplicité de la composée
$\unicode[STIX]{x1D6FC}\circ \unicode[STIX]{x1D6FD}$
de deux correspondances (au sens de [Reference ManinMan68, § 2]) est le produit des multiplicités respectives de
$\unicode[STIX]{x1D6FC}$
et
$\unicode[STIX]{x1D6FD}$
. La dominance définie précédemment est donc une relation de préordre sur la classe des
$F$
-variétés propres et lisses, la relation d’équivalence qui lui est associée sera simplement appelée relation d’équivalence. Ces considérations valent bien entendu aussi pour les relations de dominance modulo
$p$
, et on parle alors d’équivalence modulo
$p$
pour les relations d’équivalences associées.
Les relations d’équivalence et d’équivalence modulo
$p$
sont étroitement liées à la géométrie birationnelle des variétés. En effet la relation d’équivalence coincide avec la relation d’équivalence birationnelle stable pour les variétés de Severi–Brauer, tout comme pour nombre d’autres variétés de drapeaux générlisées. Notons que la situation est encore plus ténue entre deux quadriques projectives, qui sont stablement birationellement équivalentes si et seulement si elles sont équivalentes modulo 2, en vertu du théorème de Springer [Reference SpringerSpr52].
3 Classifications de Tits et Borel–Tits
Le lecteur non familier avec la classification des groupes semisimples et la classification de Borel–Tits des variétés de drapeaux généralisées est fortement invité à consulter [Reference BorelBor91, Reference Borel and TitsBT65, Reference Knus, Merkurjev, Rost and TignolKMRT98, Reference Merkurjev, Panin and WadsworthMPW96, Reference Merkurjev, Panin and WadsworthMPW98, Reference TitsTit66] pour plus de détails.
Comme d’accoutumée, on considère dans un premier temps un groupe algébrique semisimple
$G$
sur un corps
$F$
supposé séparablement clos. Un tore maximal
$T\subset G$
fixé donne lieu à un système de racines
$\unicode[STIX]{x1D6F7}(G,T)$
au sens de [Reference BourbakiBou81], et donc à un diagramme de Dynkin, une fois un système de racines simples choisi. Les sous-tores maximaux de
$G$
étant tous conjugués, ce diagramme de Dynkin ne dépend pas du choix de
$T$
, et il ne dépend pas non plus du choix du système de racines simples. Le diagramme de Dynkin d’un groupe semisimple
$G$
, que l’on note
$\unicode[STIX]{x1D6E5}(G)$
, caractérise complètement sa classe d’isogénie stricte. Le nombre de sommets de
$\unicode[STIX]{x1D6E5}(G)$
est le rang du groupe
$G$
.
Considérons désormais le cas où
$F$
est quelconque, et notons en
$F_{\text{s}\acute{\text{e}}\text{p}}$
une clôture séparable. En vertu de [Reference Demazure and Grothendieck (eds)SGA3, Exposé XIV, Théorème 1.1] un groupe semisimple
$G$
sur
$F$
possède toujours un tore maximal, qui n’est cependant cette fois pas nécessairement déployé. On associe à
$G$
le système de racine
$\unicode[STIX]{x1D6F7}(G_{F_{\text{s}\acute{\text{e}}\text{p}}},T_{F_{\text{s}\acute{\text{e}}\text{p}}})$
, ainsi que le diagramme de Dynkin
$\unicode[STIX]{x1D6E5}(G_{F_{\text{s}\acute{\text{e}}\text{p}}})$
, que l’on note à nouveau
$\unicode[STIX]{x1D6E5}(G)$
. Le groupe de Galois absolu
$\text{Gal}(F_{\text{s}\acute{\text{e}}\text{p}}/F)$
agit naturellement sur le système de racines
$\unicode[STIX]{x1D6F7}(G_{F_{\text{s}\acute{\text{e}}\text{p}}},T_{F_{\text{s}\acute{\text{e}}\text{p}}})$
.
Borel et Tits [Reference Borel and TitsBT65] introduisent une seconde action du groupe de Galois absolu de
$F$
sur le diagramme de Dynkin de
$G$
. Le groupe de Weil agissant simplement transitivement sur les systèmes de racines simples de
$\unicode[STIX]{x1D6F7}(G_{F_{\text{s}\acute{\text{e}}\text{p}}},T_{F_{\text{s}\acute{\text{e}}\text{p}}})$
, il existe pour tout tel système
$\unicode[STIX]{x1D6F1}$
un élément
$w_{\unicode[STIX]{x1D70E}}$
qui le stabilise. L’action associée sur le diagramme de Dynkin est appelée la
$\ast$
-action.
Les classes d’isomorphisme des
$G_{F_{\text{s}\acute{\text{e}}\text{p}}}$
-variétés de drapeaux sont en bijection avec les avec les sous-ensembles (des sommets) du diagramme de Dynkin de
$G_{F_{\text{s}\acute{\text{e}}\text{p}}}$
, par [Reference Borel and TitsBT65]. Si
$\unicode[STIX]{x1D6E9}$
est le sous-ensemble associé à une
$G_{F_{\text{s}\acute{\text{e}}\text{p}}}$
-variétés de drapeaux
$X$
, on dit que
$X$
est de type
$\unicode[STIX]{x1D6E9}$
. Par descente [Reference Borel and SpringerBS68], les classes d’isomorphismes de
$G$
-variétés de drapeaux généralisées sont alors en correspondance bijective avec les sous-ensembles de
$\unicode[STIX]{x1D6E5}(G)$
invariants pour la
$\ast$
-action. Les constructions et définitions ultérieures étant toutes visiblement invariantes par isomorphisme, nous noterons dans la suite
$X_{\unicode[STIX]{x1D6E9},G}$
toute
$G$
-variété de drapeaux généralisée de type
$\unicode[STIX]{x1D6E9}$
, identifiant ces variétés et leur classe d’isomorphisme.
Convention 5. On fixe par la suite pour convention que la variété des sous-groupes de Borel de
$G$
est de type
$\unicode[STIX]{x1D6E5}(G)$
. Une
$\operatorname{SL}_{n}$
-variété (respectivement une
$\operatorname{SO}_{n}$
-variété) de drapeau généralisée de type
$\unicode[STIX]{x1D6E9}=\{k\}$
correspond alors à une Grassmannienne de
$k$
-plans dans un espace de dimension
$n$
(respectivement une variété de
$k$
-plans isotropes). Dans ce contexte, la variété de Severi–Brauer d’une algèbre simple centrale
$A$
est alors de type
$\{1\}$
pour le groupe spécial linéaire de
$A$
(on renvoit à la § 10 pour plus de détails).
Le type d’un groupe algébrique semisimple
$G$
est la donnée de son diagramme de Dynkin, muni de la
$\ast$
-action du groupe de Galois absolu sur l’ensemble de ses sommets. Deux groupes semisimples sont de même type si et seulement s’ils sont tous deux formes intérieures d’un même groupe quasi déployé.
Définition 6. Soient
$G$
et
$G^{\prime }$
deux groupes semisimples sur
$F$
, tous deux formes intérieures d’un même groupe quasi-déployé. On dit que
$G$
et
$G^{\prime }$
sont équivalents modulo
$p$
si pour tout sous-ensemble
$\ast$
-invariant
$\unicode[STIX]{x1D6E9}$
de leur diagramme de Dynkin, leurs variétés de drapeaux généralisées respectives sont équivalentes modulo
$p$
.
Notons que les classes équivalence modulo
$p$
des groupes semisimples sont bien connues lorsque
$F$
est séparablement clos. En effet sous cette hypothèse un groupe semisimple sur
$F$
est déployé (c’est à dire qu’il possède un tore maximal déployé). Les variétés de drapeaux généralisées sont alors rationnelles, et deux groupes semisimples de même type sont équivalents modulo tout nombre premier
$p$
.
4 Indices de Tits, sous groupes de Levi
Les indice de Tits sont les données combinatoires qui déterminent l’isotropie des groupes semisimples. L’indice de Tits d’un groupe semisimple
$G$
est la donnée du diagramme de Dynkin de
$G$
muni de la
$\ast$
-action, ainsi que d’un sous-ensemble
$\unicode[STIX]{x1D6E5}_{0}(G)$
des sommets de ce diagramme.
La coloration des sommets du diagramme de Dynkin de
$G$
est déterminée comme suit. On fixe un tore maximal
$T$
de
$G$
, ainsi qu’un tore déployé maximal
$S$
contenu dans
$T$
. L’ensemble des racines simples de
$\unicode[STIX]{x1D6F7}(G_{F_{\text{s}\acute{\text{e}}\text{p}}},T_{F_{\text{s}\acute{\text{e}}\text{p}}})$
qui s’annulent sur
$S$
correspond à un sous-ensemble des sommets du diagramme de Dynkin de
$G$
que l’on note
$\unicode[STIX]{x1D6FF}_{0}$
. L’ensemble
$\unicode[STIX]{x1D6FF}_{0}$
est celui des orbites distinguées de
$\unicode[STIX]{x1D6E5}(G)$
et correspond au complémentaire de
$\unicode[STIX]{x1D6E5}_{0}$
(voir [Reference TitsTit66]). On dit que le groupe
$G$
est quasi-déployé lorsque
$\unicode[STIX]{x1D6FF}_{0}(G)=\unicode[STIX]{x1D6E5}(G)$
, tandis dans le cas extrême inverse – c’est à dire lorsque
$\unicode[STIX]{x1D6FF}_{0}(G)$
est vide –
$G$
est dit anisotrope. La détermination de l’ensemble des valeurs possibles des indices de Tits possibles est présentée dans [Reference TitsTit66].
L’indice de Tits d’un groupe semisimple est d’autant plus important qu’il détermine l’isotropie (c’est à dire l’existence de points rationnels) des variétés de drapeaux généralisées. On a en effet le résultat [Reference Borel and SpringerBS68] de type Witt suivant : une
$G$
-variété de drapeaux généralisée possède un point rationnel si et seulement si le sous-ensemble qui lui est associé est contenu dans
$\unicode[STIX]{x1D6FF}_{0}(G)$
.
Nous aurons enfin besoin de la construction suivante, qui généralise celle de noyau anisotrope de
$G$
, et que nous utiliserons pour ramener la preuve du théorème 13 au cas anisotrope. Soit
$G$
une groupe semisimple possédant un sous-groupe parabolique
$P$
de type
$\unicode[STIX]{x1D6E9}$
défini sur
$F$
. Suivant [Reference BorelBor91] (voir aussi [Reference Borel and TitsBT65, Reference Kersten and RehmannKR94, Reference TitsTit66]) on note
$G_{\unicode[STIX]{x1D6E9}}$
la partie semisimple d’un sous-groupe de Levi de
$P$
. Le type du groupe
$G_{\unicode[STIX]{x1D6E9}}$
est obtenu à partir du type de
$G$
en lui ôtant les sommets qui appartiennent à
$\unicode[STIX]{x1D6E9}$
, ainsi que toutes les arrêtes du diagramme de Dynkin de
$G$
qui atteignent ces sommets.
Proposition 7. Soient
$G$
et
$G^{\prime }$
deux groupes semisimples sur
$F$
, tous deux formes intérieures d’un même groupe quasi-déployé. Les groupes
$G$
et
$G^{\prime }$
sont équivalents modulo
$p$
si et seulement si pour tout sous-ensemble
$\ast$
-invariant
$\unicode[STIX]{x1D6E9}$
de leur diagramme de Dynkin contenu dans
$\unicode[STIX]{x1D6FF}_{0}(G)\cap \unicode[STIX]{x1D6FF}_{0}(G^{\prime })$
, les groupes
$G_{\unicode[STIX]{x1D6E9}}$
et
$G_{\unicode[STIX]{x1D6E9}}^{\prime }$
sont équivalents modulo
$p$
.
Démonstration.
On s’attarde sur la condition nécessaire, la condition suffisante étant claire. On fixe un sous-ensemble
$\ast$
-invariant
$\unicode[STIX]{x1D6E9}$
contenu dans
$\unicode[STIX]{x1D6FF}_{0}(G)\cap \unicode[STIX]{x1D6FF}_{0}(G^{\prime })$
ainsi qu’un autre sous ensemble
$\ast$
-invariant
$\tilde{\unicode[STIX]{x1D6E9}}$
de
$\unicode[STIX]{x1D6E5}\setminus \unicode[STIX]{x1D6E9}$
.
Par hypothèse, les variétés de drapeaux généralisées
$X_{\tilde{\unicode[STIX]{x1D6E9}},G}$
et
$X_{\tilde{\unicode[STIX]{x1D6E9}},G^{\prime }}$
sont équivalentes modulo
$p$
. En outre par [Reference Kersten and RehmannKR94, Theorem 3.18], le corps des fonctions de la variété
$X_{\tilde{\unicode[STIX]{x1D6E9}},G^{\prime }}$
est une extension transcendante pure de celui de
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{\unicode[STIX]{x1D6E9}}^{\prime }}$
. L’invariance par homotopie des groupes de Chow [Reference Elman, Karpenko and MerkurjevEKM08, Theorem 57.13] assure donc de l’existence d’un zéro cycle de degré premier à
$p$
sur la variété
$X_{\tilde{\unicode[STIX]{x1D6E9}},G}$
après extension au corps des fonctions de
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{\unicode[STIX]{x1D6E9}}^{\prime }}$
. On voit donc que la variété
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{\unicode[STIX]{x1D6E9}}^{\prime }}$
domine
$X_{\tilde{\unicode[STIX]{x1D6E9}},G}$
modulo
$p$
, par [Reference Elman, Karpenko and MerkurjevEKM08, Lemma 75.1].
Ainsi,
$X_{\tilde{\unicode[STIX]{x1D6E9}},G}$
possède un point fermé sur le corps des fonctions de
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{\unicode[STIX]{x1D6E9}}^{\prime }}$
dont le corps résiduel, qu’on note
$E$
, est une extension finie de degré premier à
$p$
. Le corps des fonctions de la
$G_{E}$
-variété de drapeaux généralisée
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{E}}$
est donc une extension transcendante pure de
$E$
. Invoquant à nouveau l’invariance par homotopie des groupes de Chow,
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{\unicode[STIX]{x1D6E9}}}$
a un zéro-cycle de degré premier à
$p$
sur
$E$
, puisqu’elle en possède un sur le corps des fonctions de
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{E}}$
. On en déduit que
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{\unicode[STIX]{x1D6E9}}^{\prime }}$
domine
$X_{\tilde{\unicode[STIX]{x1D6E9}},G_{\unicode[STIX]{x1D6E9}}}$
modulo
$p$
et le même raisonnement interchangeant leur rôles induit que ces variétés sont équivalentes modulo
$p$
.◻
5 Extensions pondérées
Deux variétés équivalentes modulo un nombre premier
$p$
le demeurent sur n’importe quelle extension du corps de base. On s’intéresse dans cette partie via la notion d’extension pondérée au problème inverse, c’est à dire aux extensions vérifiant des propriétés de descente pour l’équivalence modulo
$p$
.
Un groupe semisimple
$G$
est dit de type intérieur s’il est forme intérieure d’un groupe déployé. Il existe une extension finie, minimale et Galoisienne, définie de manière unique à isomorphisme près, sur laquelle
$G$
devient de type intérieur. Si le degré de cette extension est une puissance d’un nombre premier
$p$
, on dit alors que
$G$
est
$p$
-intérieur (notons par exemple qu’un groupe intérieur est alors
$p$
-intérieur pour tout nombre premier
$p$
).
Dans toute la suite de cette section, on fixe un groupe semisimple
$p$
-intérieur
$G$
et on note
$F_{\text{int}}/F$
une extension minimale sur laquelle
$G$
est de type intérieur. On dit qu’une
$F$
-variété
$X$
est une quasi-
$G$
-variété de drapeaux généralisée s’il existe une tour d’extensions
$F_{\text{int}}/L/F$
et une
$G_{L}$
-variété de drapeaux généralisée
$Y$
dont
$X$
est la corestriction au corps de base.
Définition 8. Soit
$X$
une
$G$
-variété de drapeaux généralisée. Une extension
$E/F$
est pondérée pour
$X$
modulo
$p$
si pour toutes quasi-
$G$
-variétés de drapeaux
$Y$
et
$Y^{\prime }$
dominant
$X$
modulo
$p$
,
$Y$
et
$Y^{\prime }$
sont équivalentes modulo
$p$
si et seulement si
$Y_{E}$
et
$Y_{E}^{\prime }$
le sont.
On dit simplement qu’une extension
$E/F$
est pondérée pour
$X$
si elle l’est modulo tout nombre premier. Bien que moins élémentaire, le contexte dans lequel la notion d’extension pondérée est la plus limpide est celui des motifs supérieurs : les extensions pondérées pour
$X$
sont les extensions qui respectent les motifs indécomposables apparaissant dans la décomposition du motif de
$X$
(on renvoit à la section suivante pour plus de détails). La classe des extensions pondérées pour une variété
$X$
modulo
$p$
est visiblement stable par sous-extension et par extensions successives. Une extension unirationnelle est pondérée pour toute variété
$X$
, en vertu de l’invariance par homotopie des groupes de Chow. Le résultat suivant est essentiellement contenu dans [Reference KarpenkoKar12].
Proposition 9. Le corps des fonctions d’une
$G$
-variété de drapeaux généralisée
$X$
est une extension pondérée pour
$X$
.
Démonstration.
Fixons un nombre premier
$l$
et considérons deux quasi-
$G$
-variétés de drapeaux généralisées
$Y$
et
$Y^{\prime }$
qui dominent
$X$
modulo
$l$
. La variété
$X$
possède sur le corps des fonctions de
$Y$
un point fermé dont le corps résiduel
$E$
est une extension de degré premier à
$l$
. Le corps des fonctions de la
$G_{E}$
-variété de drapeaux généralisée
$X_{E}$
est donc une extension transcendante pure de
$E$
.
Supposons de plus que
$Y$
et
$Y^{\prime }$
soient équivalentes modulo
$l$
sur le corps des fonctions de
$X$
. Par hypothèse, la variété
$Y^{\prime }$
possède un zéro-cycle de degré premier à
$l$
sur l’extension composée des corps de fonctions de
$X$
et
$Y$
, donc a fortiori sur le corps des fonctions de
$X_{E}$
. L’invariance par homotopie des groupes de Chow implique donc que
$Y^{\prime }$
possède un zéro-cycle de degré premier à
$l$
sur
$E$
, c’est à dire que
$Y$
domine
$Y^{\prime }$
modulo
$l$
. Le même raisonnement les rôles de
$Y$
et
$Y^{\prime }$
étant intervertis permet de conclure.◻
6 Motifs, décompositions
On s’appuie principalement sur [Reference Elman, Karpenko and MerkurjevEKM08, Reference ManinMan68] pour ces quelques rappels sur la catégorie
$\operatorname{Mot}(F,\unicode[STIX]{x1D6EC})$
des motifs de Grothendieck construits à l’aide des groupes de Chow à coefficients dans un anneau commutatif
$\unicode[STIX]{x1D6EC}$
.
Dans un premier temps on considère la catégorie des correspondances, qui est obtenue à partir de celle des
$F$
-variétés projectives lisses en remplaçant les morphismes de variétés par les correspondances graduées à coefficients dans
$\unicode[STIX]{x1D6EC}$
, munies de leur composition habituelle. La catégorie ainsi obtenue est préadditive, et la catégorie des motifs
$\operatorname{Mot}(F,\unicode[STIX]{x1D6EC})$
est obtenue à partir de celle-ci par complétion additive, puis Karoubienne.
La catégorie
$\operatorname{Mot}(F,\unicode[STIX]{x1D6EC})$
est tensorielle, et ses objets sont donc des sommes directes finies de triplets
$(X,\unicode[STIX]{x1D70B})[i]$
, où
$X$
est une
$F$
-variété projective lisse irréductible,
$\unicode[STIX]{x1D70B}$
est un projecteur des endomorphismes de
$X$
, c’est à dire une correspondance de degré 0 de
$X$
vers lui-même idempotente, et
$i$
est un entier. Le motif
$M(X)$
d’une variété
$X$
est par définition le triplet
$(X,\unicode[STIX]{x1D6E4}_{\text{id}_{X}})[0]$
, où
$\unicode[STIX]{x1D6E4}_{\text{id}_{X}}$
est la classe du graphe de l’identité de
$X$
. Pour alléger les notations on omet très régulièrement le graphe de l’identité en mentionnant le motif de
$X$
par la suite.
Un exemple fondamental est celui des motifs de Tate, qui sont les motifs décalés du point. Comme d’usage, un entier
$i$
étant fixé, le motif de Tate
$\operatorname{Spec}(F)[i]$
sera noté
$\unicode[STIX]{x1D6EC}[i]$
.
Définition 10. Soit
$G$
un groupe algébrique semisimple,
$\unicode[STIX]{x1D6E9}$
un sous ensemble des sommets de son diagramme de Dynkin et
$F_{\unicode[STIX]{x1D6E9}}/F$
une extension minimale sur laquelle
$\unicode[STIX]{x1D6E9}$
est
$\ast$
-invariant. Le motif standard de
$G$
de type
$\unicode[STIX]{x1D6E9}$
à coefficients dans
$\unicode[STIX]{x1D6EC}$
, noté
$M_{\unicode[STIX]{x1D6E9},G}$
, est le motif à coefficients dans
$\unicode[STIX]{x1D6EC}$
de la corestriction de la variété
$X_{\unicode[STIX]{x1D6E9},G_{F_{\unicode[STIX]{x1D6E9}}}}$
au corps de base.
Si
$\unicode[STIX]{x1D6E9}$
est invariant sous l’action du groupe de Galois, c’est le cas par exemple lorsque
$G$
est de type intérieur, le motif standard de type
$\unicode[STIX]{x1D6E9}$
de
$G$
n’est autre que le motif d’une
$G$
-variété de drapeaux généralisée de ce type. Dans la suite on omet fréquemment de préciser l’anneau des coefficients des motifs standard que l’on considère, dans un soucis de légèreté. Ce choix est primordial, ne serait-ce que pour utiliser la propriété de Krull–Schmidt, c’est à dire l’existence et l’unicité des décompositions motiviques. En effet d’après Chernousov et Merkurjev [Reference Chernousov and MerkurjevCM06, Example 32] (voir aussi le [Reference Calmès, Semenov, Petrov and ZainoullineCSPZ06, Corollary 2.7]) cette propriété n’est par exemple pas vérifiée à coefficients entiers. Ces décompositions motiviques sont fondamentales pour l’étude de l’équivalence motivique et requièrent certaines hypothèses, notamment de finitude sur l’anneau des coefficients, comme le montrent [Reference Chernousov and MerkurjevCM06, Reference KarpenkoKar13].
Notons que si l’on néglige la torsion des groupes de Chow, par exemple en considérant les motifs à coefficients rationnels, tous les motifs standards sont déployés, c’est à dire somme directes de motifs de Tate. Deux groupes semisimples de même type sont ainsi toujours motiviquement équivalents à coefficients rationnels, c’est une conséquence des décompositions motiviques obtenues par Köck [Reference KöckKöc91].
Fixons désormais un nombre premier
$p$
et notons
$\operatorname{Mot}_{G}(F,\mathbb{F}_{p})$
la sous-catégorie épaisse de
$\operatorname{Mot}(F,\mathbb{F}_{p})$
engendrée par les facteurs directs des motifs de quasi-
$G$
-variétés de drapeaux généralisées. En vertu de [Reference Chernousov and MerkurjevCM06, Corollary 35], [Reference KarpenkoKar13, Corollary 2.6] la catégorie
$\operatorname{Mot}(F,\mathbb{F}_{p})$
est de Krull–Schmidt.
Notons que par [Reference De ClercqDeC10, Reference Vishik and YagitaVY07], tous les résultats obtenus dans cet article à coefficients dans
$\mathbb{F}_{p}$
s’étendent à tout anneau fini, local et dont le corps résiduel est de caractéristique
$p$
. Il en va en fait de même pour tout corps de caractéristique
$p$
, sous réserve de Krull–Schmidt.
7 Chirurgie des motifs de variétés de drapeaux
On fixe désormais un nombre premier
$p$
, et tous les groupes semisimples considérés par la suite seront supposés
$p$
-intérieurs. Comme vu précédemment, le motif à coefficients dans un corps à
$p$
éléments d’une variété de drapeaux généralisée admet une décomposition essentiellement unique. La théorie des motifs supérieur a pour objectif de décrire et classifier les motifs indécomposables qui apparaissent dans ces décompositions.
Si
$X$
est une quasi-
$G$
-variété de drapeaux généralisée, il existe à isomorphisme près un unique facteur indécomposable du motif de
$X$
à coefficient dans
$\mathbb{F}_{p}$
qui contient le motif de Tate
$\mathbb{F}_{p}[0]$
après extension des scalaires. Ce motif est noté
$U_{X}$
et appelé le motif supérieur de
$X$
.
Si
$\unicode[STIX]{x1D6E9}$
est un sous-ensemble des sommets du diagramme de Dynkin d’un groupe semisimple
$G$
, le motif supérieur standard de
$G$
de type
$\unicode[STIX]{x1D6E9}$
, noté
$U_{\unicode[STIX]{x1D6E9},G}$
, est le motif supérieur du motif standard
$M_{\unicode[STIX]{x1D6E9},G}$
. Le théorème de structure de Karpenko [Reference KarpenkoKar10b, Theorem 1.1] stipule que l’ensemble
$U_{G}^{p}$
des motifs supérieurs standards décalés de
$G$
à coefficients dans
$\mathbb{F}_{p}$
décrit tous les motifs indécomposables de
$\operatorname{Mot}_{G}(F;\mathbb{F}_{p})$
.
Définition 11. Soit
$p$
un nombre premier,
$G$
un groupe semisimple
$p$
-intérieur et
$M$
un objet de
$\operatorname{Mot}_{G}(F;\mathbb{F}_{p})$
. L’application caractéristique
$\unicode[STIX]{x1D712}_{M}:U_{G}^{p}\times \mathbb{Z}\rightarrow \mathbb{N}$
de
$M$
est l’application qui associe à tout couple
$(U_{\unicode[STIX]{x1D6E9},G},i)$
le nombre de facteurs directs de
$M$
isomorphes à
$U_{\unicode[STIX]{x1D6E9},G}[i]$
.
Tout motif
$M$
de
$\operatorname{Mot}_{G}(F,\mathbb{F}_{p})$
est visiblement déterminé de manière unique à isomorphisme près par son application caractéristique. Pour tout entier
$i$
, la tranche supérieure à
$i$
de
$M$
, notée
$M^{{\geqslant}i}$
, est le motif dont l’application caractéristique prend les mêmes valeurs que
$\unicode[STIX]{x1D712}_{M}$
pour tout couple
$(U_{\unicode[STIX]{x1D6E9},G},j)$
lorsque
$i$
est inférieur ou égal à
$j$
, et nulle partout ailleurs. On définit de manière similaire la tranche inférieure à
$i$
de
$M$
, ainsi que les tranches supérieures et inférieures strictes à
$i$
de
$M$
en remplacant l’inégalité
$i\leqslant j$
par
$j\leqslant i$
,
$i>j$
et
$i<j$
, respectivement. Ces motifs sont sans surprise notés respectivement
$M^{{\leqslant}i}$
,
$M^{{>}i}$
et
$M^{{<}i}$
.
Nous l’avons vu précédemment, la notion d’extension pondérée fournit une classe d’extensions de corps qui respecte les classes d’équivalence des quasi-
$G$
-variétés de drapeaux. Ces classes d’équivalences sont en correspondance bijective avec les classes d’isomorphismes de motifs supérieurs standards de
$G$
, c’est l’objet de [Reference KarpenkoKar13, Corollary 2.15]. La proposition suivante permet de montrer comment partiellement reconstruire le motif d’une
$G$
-variété de drapeau généralisée à partir de son motif sur une extension pondérée.
Proposition 12. Soit
$X$
une variété de drapeaux généralisée de type
$\unicode[STIX]{x1D6E9}$
d’un groupe
$p$
-intérieur et
$E/F$
une extension pondérée pour
$X$
modulo
$p$
. Pour toute quasi-
$G$
-variété de drapeaux
$Y$
dominant
$X$
modulo
$p$
et pour tout entier
$i$
, on a
$$\begin{eqnarray}\unicode[STIX]{x1D712}_{M(X)}(U_{Y},i)=\unicode[STIX]{x1D712}_{M(X_{E})}(U_{Y_{E}},i)-\unicode[STIX]{x1D712}_{(M(X)^{{<}i})_{E}}(U_{Y_{E}},i).\end{eqnarray}$$
Démonstration.
Observons tout d’abord que la décomposition motivique
$M(X)=M(X)^{{\geqslant}i}\oplus M(X)^{{<}i}$
évidente donne lieu à l’égalité
$$\begin{eqnarray}\unicode[STIX]{x1D712}_{M(X_{E})}(U_{Y_{E}},i)=\unicode[STIX]{x1D712}_{(M(X)^{{\geqslant}i})_{E}}(U_{Y_{E}},i)+\unicode[STIX]{x1D712}_{(M(X)^{{<}i})_{E}}(U_{Y_{E}},i).\end{eqnarray}$$
Il s’agit donc de montrer que
$\unicode[STIX]{x1D712}_{M(X)}(U_{Y},i)=\unicode[STIX]{x1D712}_{(M(X)^{{\geqslant}i})_{E}}(U_{Y_{E}},i)$
. Considérons un facteur direct
$M$
du motif
$(M(X)^{{\geqslant}i})_{E}$
qui soit isomorphe à
$U_{Y_{E}}[i]$
. Le motif
$M$
provient d’un facteur direct motivique indécomposable sur
$F$
de
$M(X)^{{\geqslant}i}$
que l’on note
$N$
, par Krull–Schmidt.
Le motif
$N$
est isomorphe au motif supérieur décalé
$U_{Z}[j]$
d’une quasi-
$G$
-variété de drapeaux généralisée
$Z$
qui domine
$X$
modulo
$p$
, par le théorème de structure de Karpenko. Par définition de
$M(X)^{{\geqslant}i}$
les entier
$i$
et
$j$
sont visiblement égaux, et quitte à les décaler convenablement, on peut les supposer nuls. Le motif
$N_{E}$
n’est autre que le motif supérieur de la
$E$
-variété
$Z_{E}$
. En particulier, la propriété de Krull–Schmidt sur l’extension
$E$
implique que les motifs supérieurs
$U_{Y_{E}}$
et
$U_{Z_{E}}$
sont isomorphes, autrement dit
$Y_{E}$
et
$Z_{E}$
sont équivalentes modulo
$p$
. L’extension
$E/F$
étant supposée pondérée pour
$X$
modulo
$p$
, les
$F$
-variétés
$Y$
et
$Z$
sont équivalentes modulo
$p$
, et leurs motifs supérieurs
$U_{Y}$
et
$U_{Z}$
sont de fait isomorphes, d’où l’égalité recherchée.◻
8 Équivalence motivique et motifs supérieurs
On dispose désormais de tous les outils nécessaires pour démontrer la Conjecture B. La démonstration du critère suivant, qui correspond à la version locale en
$p$
de la Conjecture B, requiert plusieurs étapes. On traite premièrement des variétés de drapeaux généralisées isotropes à l’aide des décompositions de type Levi de Chernousov, Gille et Merkurjev. Le cas général est ensuite déduit du cas isotrope par construction d’une bonne extension pondérée et descente au corps de base.
Théorème 13. Soient
$G$
et
$G^{\prime }$
deux groupes semisimples sur
$F$
, tous deux formes intérieures d’un même groupe quasi-
$p$
-déployé. Les groupes
$G$
et
$G^{\prime }$
sont motiviquement équivalents modulo
$p$
si et seulement s’ils sont équivalents modulo
$p$
.
Démonstration.
Si
$G$
et
$G^{\prime }$
sont motiviquement équivalents modulo
$p$
, les motifs supérieurs standards
$U_{\unicode[STIX]{x1D6E9},G}$
et
$U_{\unicode[STIX]{x1D6E9},G^{\prime }}$
sont visiblement isomorphes, pour tout sous-ensemble
$\ast$
-invariant de leur diagramme de Dynkin. Les variétés de drapeaux généralisées de type fixé sont donc équivalentes modulo
$p$
.
On démontre le sens réciproque pour l’ensemble des groupes semisimples sur
$F$
, par récurrence sur le rang commun de
$G$
et
$G^{\prime }$
, le résultat étant trivial s’ils sont tous deux de rang nul. Supposons donc
$G$
et
$G^{\prime }$
sont de rang strictement positif, et fixons un sous-ensemble
$\unicode[STIX]{x1D6E9}$
de
$\unicode[STIX]{x1D6E5}$
invariant sous l’action du groupe de Galois absolu, excluant le cas évident où
$\unicode[STIX]{x1D6E9}$
est vide.
Il s’agit donc de montrer que les motifs standards
$M_{\unicode[STIX]{x1D6E9},G}$
et
$M_{\unicode[STIX]{x1D6E9},G^{\prime }}$
sont isomorphes dans
$\operatorname{Mot}(F;\mathbb{F}_{p})$
. On commence par traiter le cas où
$\unicode[STIX]{x1D6E9}$
est invariant pour l’action du groupe de Galois absolu, et les variétés de drapeaux généralisées de type
$\unicode[STIX]{x1D6E9}$
associées à
$G$
et
$G^{\prime }$
ont un point rationnel. Dans ce cas d’après théorème de décomposition de type Levi des variétés de drapeaux généralisées [Reference Chernousov, Gille and MerkurjevCGM05, Theorem 7.4], les motifs
$M_{\unicode[STIX]{x1D6E9},G}$
et
$M_{\unicode[STIX]{x1D6E9},G^{\prime }}$
se décomposent en une somme directe de motifs standards de
$G_{\unicode[STIX]{x1D6E9}}$
et
$G_{\unicode[STIX]{x1D6E9}}^{\prime }$
, respectivement. En outre, les types de ces motifs ainsi que les décalages qui apparaissent dans ces décompositions ne dépendent que du type de
$G$
et
$G^{\prime }$
. Les groupes semisimples
$G_{\unicode[STIX]{x1D6E9}}$
et
$G_{\unicode[STIX]{x1D6E9}}^{\prime }$
étant de même type et de rang strictement inférieur à
$G$
et
$G^{\prime }$
, l’hypothèse de récurrence et la proposition 7 assurent qu’ils sont motiviquement équivalents modulo
$p$
. Les facteurs apparaissant dans les décompositions de type Levi de
$M_{\unicode[STIX]{x1D6E9},G}$
et
$M_{\unicode[STIX]{x1D6E9},G^{\prime }}$
sont ainsi isomorphes deux à deux, et les motifs standards de type
$\unicode[STIX]{x1D6E9}$
de
$G$
et
$G^{\prime }$
sont isomorphes.
On traite désormais le cas où la variété standard de type
$\unicode[STIX]{x1D6E9}$
n’a pas de point rationnel. Notons que l’extension composée
$E/F$
des corps des fonctions des variétés
$X_{\unicode[STIX]{x1D6E9},G}$
et
$X_{\unicode[STIX]{x1D6E9},G^{\prime }}$
est pondérée pour
$X_{\unicode[STIX]{x1D6E9},G}$
modulo
$p$
. En effet, si
$Y$
et
$Y^{\prime }$
sont deux variétés quasi-
$G$
-homogènes équivalentes modulo
$p$
sur
$E$
et qui dominent
$X_{\unicode[STIX]{x1D6E9},G}$
modulo
$p$
, elles dominent aussi
$X_{\unicode[STIX]{x1D6E9},G^{\prime }}$
, puisque
$G$
et
$G^{\prime }$
sont équivalents modulo
$p$
. Elles dominent en particulier la
$G\times G^{\prime }$
-variété de drapeaux généralisée
$X_{\unicode[STIX]{x1D6E9},G}\times X_{\unicode[STIX]{x1D6E9},G^{\prime }}$
, de par le produit externe des cycles. En vertu de la proposition 9 l’extension
$E/F$
est pondérée pour
$X_{\unicode[STIX]{x1D6E9},G}\times X_{\unicode[STIX]{x1D6E9},G^{\prime }}$
, et les variétés
$Y_{E}$
et
$Y_{E}^{\prime }$
étant équivalentes modulo
$p$
, il en va de même pour
$Y$
et
$Y^{\prime }$
.
Puisque les groupes
$G_{E}$
et
$G_{E}^{\prime }$
possèdent des sous-groupes paraboliques de type
$\unicode[STIX]{x1D6E9}$
, les motifs standards de type
$\unicode[STIX]{x1D6E9}$
de
$G_{E}$
et
$G_{E}^{\prime }$
sont isomorphes d’après le cas isotrope. Supposons par l’absurde que les applications caractéristiques des motifs
$M_{\unicode[STIX]{x1D6E9},G}$
et
$M_{\unicode[STIX]{x1D6E9},G^{\prime }}$
diffèrent, en considérant un hypothétique entier
$i_{0}$
minimal tel qu’il existe une quasi-
$G$
-variété de drapeaux généralisée
$Y$
pour laquelle
$\unicode[STIX]{x1D6F7}_{M_{\unicode[STIX]{x1D6E9},G}}(U_{Y},i_{0})\neq \unicode[STIX]{x1D6F7}_{M_{\unicode[STIX]{x1D6E9},G^{\prime }}}(U_{Y},i_{0})$
. Le calcul de la proposition 12 implique que
$$\begin{eqnarray}\displaystyle \unicode[STIX]{x1D6F7}_{M_{\unicode[STIX]{x1D6E9},G}}(U_{Y},i_{0}) & = & \displaystyle \unicode[STIX]{x1D6F7}_{(M_{\unicode[STIX]{x1D6E9},G})_{E}}(U_{Y_{E}},i_{0})-\unicode[STIX]{x1D6F7}_{(M_{\unicode[STIX]{x1D6E9},G}^{{<}i_{0}})_{E}}(U_{Y_{E}},i_{0})\nonumber\\ \displaystyle & = & \displaystyle \unicode[STIX]{x1D6F7}_{(M_{\unicode[STIX]{x1D6E9},G^{\prime }})_{E}}(U_{Y_{E}},i_{0})-\unicode[STIX]{x1D6F7}_{(M_{\unicode[STIX]{x1D6E9},G^{\prime }}^{{<}i_{0}})_{E}}(U_{Y_{E}},i_{0})\nonumber\\ \displaystyle & = & \displaystyle \unicode[STIX]{x1D6F7}_{M_{\unicode[STIX]{x1D6E9},G^{\prime }}}(U_{Y},i_{0}),\nonumber\end{eqnarray}$$
ce qui contredit la définition de
$i_{0}$
. Les applications caractéristiques des motifs
$M_{\unicode[STIX]{x1D6E9},G}$
et
$M_{\unicode[STIX]{x1D6E9},G^{\prime }}$
coincident donc, et ces motifs sont isomorphes. Le résultat lorsque
$\unicode[STIX]{x1D6E9}$
est quelconque se déduisant aisément du cas précédent en appliquant le foncteur de corestriction à une extension
$F_{\unicode[STIX]{x1D6E9}}/F$
minimale pour laquelle le sous-ensemble
$\unicode[STIX]{x1D6E9}$
est invariant pour l’action du groupe de Galois absolu sur le diagramme de Dynkin de
$G$
et
$G^{\prime }$
, ces groupes semisimples sont motiviquement équivalents modulo
$p$
.◻
La conjecture B suivante correspond au résultat précédent appliqué aux groupes semisimples intérieurs localement en tout nombre premier.
Corollaire 14. Deux groupes semisimples intérieurs et de même type sont motiviquement équivalents si et seulement si pour tout sous-ensemble de leur diagramme de Dynkin, les variétés standards respectives de type fixé sont équivalentes.
9 Indices de Tits supérieurs
L’objectif de cette section est de construire les versions locales en
$p$
des indices de Tits, les
$p$
-indices de Tits, qui fournissent les données combinatoires que nous utilisons par la suite pour caractériser l’équivalence motivique des groupes semisimples.
Définition 15. Soit
$p$
un nombre premier et
$G$
un groupe semisimple sur un corps
$F$
. Le
$p$
-indice de Tits de
$G$
est la donnée du diagramme de Dynkin de
$G$
ainsi que d’un sous-ensemble
$\unicode[STIX]{x1D6FF}_{0}^{p}(G)$
de ses sommets. Une orbite
$\unicode[STIX]{x1D6E9}$
de
$\unicode[STIX]{x1D6E5}(G)$
pour la
$\ast$
-action est contenue dans
$\unicode[STIX]{x1D6FF}_{0}^{p}(G)$
si et seulement si une
$G$
-variété de drapeaux généralisée de type
$\unicode[STIX]{x1D6E9}$
devient isotrope sur une extension de degré premier à
$p$
de
$F$
.
L’ensemble
$\unicode[STIX]{x1D6FF}_{0}^{p}(G)$
des orbites
$p$
-distinguées peut être défini de manière équivalente comme l’union de orbites distinguées apparaissant dans les indices de Tits de
$G$
sur toutes les extensions de degré premier à
$p$
de son corps de définition. On dit que
$G$
est quasi-
$p$
-déployé lorsque
$\unicode[STIX]{x1D6E5}(G)$
est lui-même une orbite
$p$
-distinguée, et le
$p$
-indice de Tits supérieur de
$G$
est le foncteur qui associe à toute extension
$E/F$
du corps de base le
$p$
-indice de Tits du groupe semisimple
$G_{E}$
.
Théorème 16. Soient
$G$
et
$G^{\prime }$
deux groupes semisimples sur
$F$
, tous deux formes intérieures d’un même groupe quasi-
$p$
-déployé. Les groupes
$G$
et
$G^{\prime }$
sont motiviquement équivalents modulo
$p$
si et seulement si leur
$p$
-indices de Tits supérieurs coincident.
Démonstration.
Considérons deux groupes semisimples
$p$
-intérieurs
$G$
et
$G^{\prime }$
dont les
$p$
-indices de Tits supérieurs coincident, et fixons un sous-ensemble
$\unicode[STIX]{x1D6E9}$
de leur diagramme de Dynkin. Par corestriction d’une extension minimale sur laquelle
$\unicode[STIX]{x1D6E9}$
est
$\ast$
-invariant au corps de base, on peut supposer que
$\unicode[STIX]{x1D6E9}$
est invariant sous l’action du groupe de Galois. Une
$G$
-variété de drapeaux généralisée de type
$\unicode[STIX]{x1D6E9}$
possède visiblement un zéro-cycle de degré premier à
$p$
sur le corps des fonctions de la variété
$X_{\unicode[STIX]{x1D6E9},G^{\prime }}$
, puisque les
$p$
-indices de Tits de
$G$
et
$G^{\prime }$
coincident cette extension. Une
$G$
-variété de drapeaux généralisée de type
$\unicode[STIX]{x1D6E9}$
est donc dominée modulo
$p$
par une
$G^{\prime }$
-variété de drapeaux même type, et ces variétés sont même équivalentes modulo
$p$
, par le même raisonnement en intervertissant leurs rôles. Les groupes
$G$
et
$G^{\prime }$
sont donc équivalents modulo
$p$
, donc motiviquement équivalents modulo
$p$
en vertu du théorème 13.
Montrons désormais que les
$p$
-indices de Tits supérieurs de deux groupes semisimples
$G$
et
$G^{\prime }$
motiviquement équivalents modulo
$p$
coincident, c’est à dire que pour toute extension fixée
$E/F$
les sous-ensembles
$\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E})$
et
$\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E}^{\prime })$
son égaux. Par définition, il existe une extension
$L/E$
de degré premier à
$p$
sur laquelle la variété
$X_{\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E}),G}$
est isotrope. En outre, les groupes
$G$
et
$G^{\prime }$
étant motiviquement équivalents modulo
$p$
, les variétés standards de type
$\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E})$
associées à
$G$
et
$G^{\prime }$
sont équivalentes modulo
$p$
, et la variété
$X_{\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E}),G^{\prime }}$
a un zéro-cycle de degré premier à
$p$
sur l’extension composée de
$L$
et du corps de fonctions de
$X_{\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E}),G}$
. Puisque
$X_{\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E}),G_{L}}$
est rationnelle,
$X_{\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E}),G_{E}^{\prime }}$
a un zéro-cycle de degré premier à
$p$
. On a donc visiblement l’inclusion de
$\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E})$
dans
$\unicode[STIX]{x1D6FF}_{0}^{p}(G_{E}^{\prime })$
, et le même raisonnement interchangeant les rôles de
$G$
et
$G^{\prime }$
implique l’égalité de ces sous-ensembles. Les
$p$
-indices de Tits des groupes semisimples
$G_{E}$
et
$G_{E}^{\prime }$
sont donc égaux.◻
Corollaire 17. La classe d’équivalence motivique modulo d’un groupe semisimple intérieur est uniquement déterminée par son type et par l’ensemble de ses
$p$
-indices de Tits supérieurs.
La classification des groupes semisimples
$p$
-intérieurs à équivalence motivique modulo
$p$
près est ainsi réduite à la détermination des différents
$p$
-indices de Tits qui apparaissent sur les extensions sur corps de base. On s’attache désormais à décrire dans plusieurs cas classiques les valeurs prises par les
$p$
-indices de Tits. La détermination des valeurs possibles des
$p$
-indices de Tits pour tous les groupes semisimples fait l’objet du travail [Reference De Clercq and GaribaldiDG17] en commun avec Skip Garibaldi.
10 Équivalence motivique, groupes classiques et structures algébriques associées
Suivant Weil [Reference WeilWei61] et Tits [Reference TitsTit66], les groupes semisimples de type classique s’écrivent comme groupes d’automorphismes d’algèbres centrales simples munies d’involutions. On s’attarde ici principalement sur les groupes orthogonaux ainsi que les groupes spéciaux linéaires, les tables complètes de tous les
$p$
-indices de Tits des groupes semisimples et les différents critères d’équivalence motivique faisant l’objet de [Reference De Clercq and GaribaldiDG17].
Un groupe semisimple
$G$
est quasi-
$p$
-déployé si n’est pas
$p$
un nombre premier de torsion homologique de
$G$
, au sens de [Reference GrothendieckGro58, Reference TitsTit92]. Les expression des
$p$
-indices de Tits en fonction des invariants classiques associés aux structures algébriques sous-jacentes aux groupes semisimples nous permettent de produire des critères d’équivalence motivique purement algébriques. Ils clarifient en outre le lien qu’entretiennent les motifs et la géométrie birationnelle des variétés de drapeaux généralisées.
Par soucis de simplicité, on se concentre principalement dans cette partie sur les groupes de type intérieur. D’une part, deux groupes strictement isogènes étant motiviquement équivalent, il est loisible de limiter l’étude aux groupes simplement connexes (on pourrait faire de même en remplacant simplement connexe par adjoint). Un tel groupe est alors isomorphe à un produit fini de groupes absolument simples, eux mêmes simplement connexes. En outre, par définition de l’équivalence motivique (ou par le théorème 16, au choix) deux produits
$G_{1}\times \cdots \times G_{n}$
et
$G_{1}^{\prime }\times \cdots \times G_{n}^{\prime }$
de groupes absolument simples sont motiviquement équivalents modulo
$p$
si et seulement si les facteurs le sont deux à deux, à permutation près.
10.1 Groupes intérieurs de type
$A_{n}$
Rappelons qu’une
$F$
-algèbre simple est dite centrale si elle est de dimension finie et de centre
$F$
. Les groupes absoluments simples simplement connexes intérieurs de type
$A_{n}$
sont les groupes spéciaux linéaires associés aux algèbres simples centrales (les groupes projectifs linéaires étant leurs analogues adjoints).
Le groupe de Brauer de
$F$
est le groupe obtenu à partir de l’ensemble des classes de similitudes de
$F$
-algèbres simples centrales, muni de la structure induite par le produit tensoriel. On notera dans la suite
$[A]$
la classe de similitude d’une
$F$
-algèbre simple centrale
$A$
. À isomorphisme près, toute algèbre simple centrale
$A$
est semblable à une unique algèbre à division, dont le degré (c’est à dire la racine carrée de la dimension) est l’indice de
$A$
.
Soit donc
$A$
une
$F$
-algèbre simple centrale et
$p$
un nombre premier. On note
$d_{p}$
la plus grande puissance de
$p$
divisant l’indice de
$A$
. Le
$p$
-indice de Tits du groupe spécial linéaire
$\operatorname{SL}_{1}(A)$
est de la forme suivante, suivant les tables de [Reference De Clercq and GaribaldiDG17].
Le théorème 16 assorti à cette description permet donc de caractériser l’équivalence motivique des groupes spéciaux linéaire comme suit.
Critère 18. Deux groupes spéciaux linéaires
$\operatorname{SL}(A)$
et
$\operatorname{SL}(B)$
sont motiviquement équivalents modulo
$p$
si et seulement si pour toute extension
$E/F$
, les valuations
$p$
-adiques des indices de
$A_{E}$
et
$B_{E}$
coincident.
Les
$\operatorname{SL}(A)$
-variétés de drapeaux généralisées sont les variétés de drapeaux d’idéaux de
$A$
de dimension fixée. Suivant nos conventions, une
$\operatorname{SL}(A)$
-variété de drapeaux généralisée de type
$\{i_{1},\ldots ,i_{k}\}$
associée à une suite strictement croissante d’entiers est isomorphe à la variété des drapeaux d’idéaux à droite de
$A$
de dimension réduite
$i_{1},\ldots ,i_{k}$
.
Démonstration du Critère A.
Les groupes
$\operatorname{SL}(A)$
et
$\operatorname{SL}(B)$
sont motiviquement équivalents si et seulement si leurs indices de Tits coincident sur toutes extension de corps, c’est le corollaire 17. Cette condition est équivalente, c’est bien connu, à l’équivalence birationnelle stable des variétés de Severi Brauer associées. ◻
Les classes d’équivalences motiviques des groupes intérieurs de type
$A_{n}$
sont donc déterminées par les indices de Tits classiques. Comme observé précédemment, le lien posé entre l’équivalence motivique de ces groupes et les classes d’équivalence birationnnelle stables de variétés de Severi–Brauer ne vaut absolument pas si l’on considère l’équivalence motivique à coefficients entiers. On peut en effet montrer que deux tels groupes sont motiviquement équivalents à coefficients entiers si et seulement s’ils sont isomorphes. En particulier on peut construire des groupes semisimples intérieurs de type
$A_{n}$
qui ne sont pas motiviquement équivalents à coefficients entiers, alors même que les variétés de Severi–Brauer associées sont birationnellement équivalentes.
Avant de nous attarder sur les groupes orthogonaux, observons deux conséquences frappantes des critères d’équivalence motivique des groupes spéciaux linéaires.
Théorème 19. Soient
$A$
et
$B$
deux algèbres simples centrales de même degré, et deux variétés de drapeaux généralisées
$X_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(A)}$
et
$X_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(B)}$
anisotropes et de même type. Les conditions suivantes sont équivalentes :
-
(i) les motifs supérieurs
$U_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(A)}$
et
$U_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(B)}$
à coefficients dans un corps fini à
$p$
éléments sont isomorphes ; -
(ii) les variétés
$X_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(A)}$
et
$X_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(B)}$
sont équivalentes modulo
$p$
; -
(iii) les motifs
$M_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(A)}$
et
$M_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(B)}$
à coefficients dans un corps à
$p$
éléments sont isomorphes ; -
(iv) les groupes
$\operatorname{SL}_{1}(A)$
et
$\operatorname{SL}_{1}(B)$
sont motiviquement équivalents modulo
$p$
.
Démonstration.
Il suffit en vertu des discussions précédentes de montrer que la condition (i) implique la condition (iv). Supposons donc que les motifs supérieurs
$U_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(A)}$
et
$U_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(B)}$
à coefficients dans un corps à
$p$
éléments soient isomorphes. Le théorème de structure de Karpenko implique que ces motifs sont isomorphes respectivement à deux motifs supérieurs
$U_{\{p^{k}\},\operatorname{SL}_{1}(D)}$
et
$U_{\{p^{l}\},\operatorname{SL}_{1}(D^{\prime })}$
, où
$D$
et
$D^{\prime }$
sont deux algèbres à division semblables aux parties
$p$
-primaires de
$A$
et
$B$
. La dichotomie motivique des groupes projectifs linéaires [Reference De ClercqDeC11, Theorem 4.2, Corollary 4.3] induit donc d’une part que
$k$
et
$l$
sont égaux, et d’autre part que les motifs supérieurs de type fixé de
$\operatorname{SL}_{1}(D)$
et
$\operatorname{SL}_{1}(D^{\prime })$
sont isomorphes deux à deux. Il en va donc de même pour
$\operatorname{SL}_{1}(A)$
et
$\operatorname{SL}_{1}(B)$
et le théorème 13 permet d’affirmer que ces groupes sont donc motiviquement équivalents modulo
$p$
.◻
Corollaire 20. Soient
$A$
et
$B$
deux algèbres simples centrales non-déployées et de même degré. Les groupes
$\operatorname{SL}_{1}(A)$
et
$\operatorname{SL}_{1}(B)$
sont motiviquement équivalents si et seulement si deux variétés de drapeaux anisotropes
$X_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(A)}$
et
$X_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(B)}$
sont stablement birationnellement équivalentes.
Démonstration.
La condition nécessaire est contenue dans le corollaire 14. En outre, si deux variétés
$X_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(A)}$
et
$X_{\unicode[STIX]{x1D6E9},\operatorname{SL}_{1}(B)}$
sont stablement birationnellement équivalentes, elle sont à fortiori équivalentes modulo tout nombre premier
$p$
. La condition suffisante découle donc du théorème 19.◻
10.2 Groupes orthogonaux
Le groupe spécial orthogonal
$\operatorname{SO}(q)$
d’une forme quadratique non-dégénérée sur un corps quelconque est, suivant la parité de la dimension de
$q$
, de type
$B_{n}$
ou
$D_{n}$
, éventuellement extérieur. Comme expliqué précédemment, les groupes orthogonaux peuvent être remplacés par leurs revêtements simplement connexes (c’est à dire les groupes spinoriels) dans l’ensemble des énoncés suivants.
Si deux formes quadratiques sont de même dimension impaire, ou si leur dimension est paire et leur discriminant est de même nature, l’équivalence motivique des groupes orthogonaux associés peut se déduire directement du théorème 16 et des indices suivants, extraits de [Reference De Clercq and GaribaldiDG17].
Un petit travail supplémentaire est cependant nécessaire si l’on veut éviter les circonvolutions concernant le type des groupes considérés dans le cas
$D_{n}$
.
Suivant [Reference De Clercq and GaribaldiDG17], on se concentre ici sur 2-indices de Tits (2 étant l’unique nombre premier de torsion homologique des groupes orthogonaux). Observons 2-indice de Tits d’un groupe spécial orthogonal correspond à l’indice de Tits classique et est déterminé par l’indice de Witt de la forme quadratique sous-jacente, c’est le theorème de Springer.
Démonstration du Critère B.
La première équivalence est claire pour deux groupes orthogonaux de même type, d’après la discussion précédente. Pour démontrer le cas général, on observe que si les indices de Witt de
$q$
et
$q^{\prime }$
coincident sur toute extension du corps de base, les groupes
$\operatorname{SO}(q)$
et
$\operatorname{SO}(q^{\prime })$
sont nécessairement formes intérieures d’un même groupe quasi-déployé, c’est l’objet de [Reference KarpenkoKar00, Lemma 2.6].
Sous ces conditions les motifs des quadriques projectives de
$q$
et
$q^{\prime }$
sont isomorphes à coefficients dans
$\mathbb{F}_{2}$
. Cet isomorphisme se relève en un isomorphisme des motifs de ces quadriques à coefficients entiers par [Reference HautionHau10]. Le critère de Vishik [Reference KarpenkoKar00, Criterion 0.1] assure donc que les indices de Witt de
$q$
et
$q^{\prime }$
coincident sur toutes les extensions de leur corps de définition.◻
Notons que sous certaines hypothèses supplémentaires les conditions du Critère B sont équivalentes au fait que les groupes
$\operatorname{SO}(q)$
et
$\operatorname{SO}(q^{\prime })$
(ou les quadriques projectives de
$q$
et
$q^{\prime }$
, c’est équivalent) soient isomorphes. C’est par exemple en dimension impaire et en basse dimension [Reference IzhboldinIzh98], ou sur les corps globaux [Reference HoffmannHof15].
Comme signalé par Vishik, le critère précédent peut être partiellement retrouvé à partir des résultats de [Reference VishikVis04] sous l’hypothèse que le corps de base soit de caractéristique
$0$
et en se restreignant aux variétés de drapeaux de sous-espaces isotropes de dimensions consécutives
$0,\ldots ,k$
. En effet les décompositions de [Reference VishikVis04, Claim 3.2] obtenues dans la catégorie des motifs de Voevodsky permettent de montrer que si les motifs de deux quadriques à coefficients entiers sont isomorphes, il en va de même pour les motifs de drapeaux consécutifs de sous espaces isotropes. Les motifs supérieurs considérés dans cet article généralisent les schémas simpliciaux
${\mathcal{X}}_{Q^{i}}$
de Vishik aux variétés de drapeaux généralisées.
Notons enfin que le lien entre la géométrie birationnelle des quadriques et l’équivalence motivique des groupes orthogonaux est moins riche que celui observé pour les variétés de Severi–Brauer. On peut construire des formes quadratiques dont les quadriques respectives sont birationnellement équivalentes, sans pour autant que les groupes orthogonaux associés soient motiviquement équivalents [Reference Ahmad and OhmAO95, Reference RousseyRou05]. L’équivalence motivique est donc un invariant trop fin pour être utilisé autour du problème de Zariski sur les quadriques [Reference HoffmannHof98, Reference LamLam05, ch. XIII, Question 6.10], contrairement au problème d’Amitsur des variétés de Severi–Brauer [Reference AmitsurAmi55].
Remerciements
Je remercie Skip Garibaldi, Bruno Kahn, Nikita Karpenko, Vincent Maillot et Anne Quéguiner-Mathieu pour leurs diverses remarques sur les premières versions de ce travail, réalisé partiellement au sein de l’ANR GATHo.
