Fonctionne avec Indico
v3.2.9
Soit $R$ l’anneau des entiers d’un corps de nombres $K$ et soit $G$ un groupe fini. On considère une $R$-algèbre de Hopf $A$, finie et plate, dont le dual de Cartier $A^D$ est un ordre de l’algèbre de groupes $K[G]$. Si $B$ est un espace homogène principal pour $A$, on sait que $B$ est un $A^D$ -module localement libre. On déduit de la forme trace de $B_K/K$ une forme quadratique entière $Tr_B: B \to R$, non dégénérée et invariante par $G$. Le but de cet exposé est de comparer les $G$-espaces quadratiques $(B, Tr_B)$ et $(A, Tr_A)$. On montre que si l’ordre de $G$ est impair ces espaces sont localement isomorphes et l’on obtient des conditions pour qu’ils le soient globalement. Si l’on désigne par $X$ le $R$-schéma $Spec(B)$ et par $\mathcal{G}$ le schéma en groupes $Spec(A)$ on remarque que $X$ est un $\mathcal{G}$-torseur sur $R$. Ainsi les résultats que nous obtenons sur la structure quadratique de ces torseurs généralisent, pour un schéma en groupes non nécessairement constant et sur un anneau d’entiers, des résultats de Bayer, Lenstra et Serre obtenus pour des extensions galoisiennes de corps. Il s’agit d’un travail commun avec Martin Taylor.