Une conjecture de Grothendieck prédit que le transport parallèle de toute classe de cycle algébrique invariante par monodromie est encore une classe de cycle algébrique. Nous prouvons qu'il s'agit d'une conséquence des conjectures standard.
Dans un travail antérieur, nous avions démontré, en caractéristique nulle, une variante de cette conjecture de déformation, en remplaçant la notion de cycle algébrique par celle de cycle motivé (adjonction formelle des inverses des isomorphismes de Lefschetz attachés à des polarisations). Nous étendons ici ce résultat en caractéristique arbitraire, sous diverses hypothèses (par exemple si la base est ‘presque complète’).
Nous définissons inconditionnellement des groupes de Galois motiviques dans ce contexte, et étudions leur variation en famille.
A conjecture due to Grothendieck predicts that the parallel transport of any monodromy-invariant algebraic cycle class remains an algebraic cycle class. We prove that this follows from the standard conjectures.
We have shown in a previous work a variant of this deformation conjecture in characteristic zero, in which algebraic cycles are replaced by motivated cycles (formal adjunction of inverses of Lefschetz isomorphisms attached to polarizations). We extend this result in any characteristic under various assumptions, for instance if the base is ‘almost complete’.
We give an unconditional construction of motivic Galois groups in this context, and study their variation in a family of projective smooth varieties.