SMF

Radicaux unipotents de groupes de Galois tannakiens en caractéristique positive

Unipotent radicals of Tannakian Galois groups in positive characteristic

Charlotte Hardouin
Radicaux unipotents de groupes de Galois tannakiens en caractéristique positive
  • Consulter un extrait
  • Année : 2011
  • Tome : 23
  • Format : Papier
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 18D10, 39A, 34M15
  • Pages : 283-299
Soit $\mathcal {T} $ une catégorie tannakienne sur un corps $C$ de caractéristique strictement positive. Nous montrons dans cette note comment on peut ramener l'étude du radical unipotent d'un groupe de Galois tannakien d'un objet $\mathcal {U} $, extension de l'objet trivial $\mathbf {1}$ par un objet $\mathcal {Y} $ complétement réductible, à celle du groupe $\operatorname {Ext}^1(\mathbf {1},\mathcal {Y} )$ des es d'isomorphismes d'extensions de $\mathbf {1}$ par $\mathcal {Y} $. Nous déduisons de nôtre théorème que, sous certaines hypothèses, le groupe de Galois tannakien d'une somme directe d'extensions est entièrement déterminé par les relations de dépendance linéaire satisfaites par ces extensions dans $\operatorname {Ext}^1(\mathbf {1},\mathcal {Y} )$. Ce corollaire ramène le calcul des relations algébriques définissant le groupe à une question d'algébre linéaire. Comme application, nous donnons une preuve alternative de l'indépendance algèbrique des logarithmes de Carlitz de M. Papanikolas ([?]).
Let $\mathcal {T} $ be a Tannakian category over a field $C$ of strictly positive characteristic. We show in this note how one can characterize the unipotent radical of the Tannakian Galois group of an object $\mathcal {U} $, extension of the unit object $\mathbf {1}$ by a completely reducible object $\mathcal {Y} $ in terms of the group $Ext^1(\mathbf {1},\mathcal {Y} )$ of isomorphism es of extension of $\mathbf {1}$ by $\mathcal {Y} $. We deduce from our Theorem that, under certain hypothesis, the Tannakian Galois group of a direct sum of extensions is entirely determined by the relations of linear dependence satisfied by these extensions in $Ext^1(\mathbf {1},\mathcal {Y} )$. This corollary reduces the computation of an algebraic group to a question of linear algebra. As an application, we show how it gives an alternative proof of the algebraic independence of the Carlitz logarithms of M. Papanikolas ([?]).
Catégories tannakiennes, Radical unipotent, Groupes de Galois, $t$-motifs
Tannakian categories, Unipotent radical, Galois groups, $t$-motives