SMF

Sur la conjecture de pureté de Nisnevich pour les torseurs sous les schémas en groupes réductifs

On the purity conjecture of Nisnevich for torsors under reductive group schemes

Roman FEDOROV
Sur la conjecture de pureté de Nisnevich pour les torseurs sous les schémas en groupes réductifs
  • Consulter un extrait
  •  
                
  • Année : 2024
  • Fascicule : 5
  • Tome : 57
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 14L15
  • Pages : 1445-1471
  • DOI : 10.24033/asens.2594

Soit $R$ un anneau intègre semi-local régulier contenant un corps $k$ infini. Soit ${f\in R}$ un élément tel que pour tous les idéaux maximaux $m$ de $R$ on a $f\notin m^2$. Soit $G$ un schéma en groupes réductifs sur $R$. Sous une hypothèse d'isotropie sur $G$, nous montrons qu'un $G$-torseur sur le localisé $R_f$ est trivial, à condition qu'il soit rationnellement trivial. Nous montrons que cette affirmation ne tient pas sans l'hypothèse d'isotropie. Enfin, si $G$ est un schéma en groupes commutatifs de type multiplicatif et l'anneau semi-local régulier contient un corps de caractéristique zéro, nous prouvons un analogue de la conjecture de pureté de Nisnevich pour les cohomologies étales supérieures.

    La première affirmation est dérivée de sa version abstraite concernant les préfaisceaux d'ensembles pointés satisfaisant certaines propriétés. Le contre-exemple est obtenu en construisant un torseur sur une famille locale de droites affines qui ne s'étend pas en un torseur au-dessus de la famille correspondante de droites projectives. Cette dernière est accomplie à l'aide de la technique des grassmanniennes affines.

 Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $m$ of $R$ we have $f\notin m^2$. Let $G$ be a reductive group scheme over $R$. Under an isotropy assumption on $G$ we show that a $G$-torsor over the localization $R_f$ is trivial, provided that it is rationally trivial. We show that this is not true without the isotropy assumption. Finally, if $G$ is a commutative group scheme of multiplicative type and the regular semilocal ring contains a field of characteristic zero, we prove an analogue of Nisnevich purity conjecture for higher étale cohomology groups.

    The first statement is derived from its abstract version concerning presheaves of pointed sets satisfying some properties. The counterexample is constructed by providing a torsor over a local family of affine lines that cannot be extended to a torsor over the corresponding local family of projective lines. The latter is accomplished using the technique of affine Grassmannians.

Schémas en groupes réductifs, torseurs, la conjecture de pureté de Nisnevich, la conjecture de Grothendieck-Serre, grassmanniennes affines
Reductive group schemes, torsors, Nisnevich purity conjecture, Grothendieck-Serre conjecture, affine Grassmannians

Électronique
Electronic
Prix public Public price 20.00 €
Prix membre Member price 14.00 €
Quantité
Quantity
- +