Algebraic groups with torsors that are versal for all affine varieties - Institut de Mathématiques de Jussieu
Pré-Publication, Document De Travail Année : 2024

Algebraic groups with torsors that are versal for all affine varieties

Uriya A First
  • Fonction : Auteur
  • PersonId : 1477443
Zev Rosengarten
  • Fonction : Auteur
  • PersonId : 1477445

Résumé

Let k be a field and let G be an affine k-algebraic group. Call a Gtorsor weakly versal for a class of k-schemes C if it specializes to every G-torsor over a scheme in C . A recent result of the first author, Reichstein and Williams says that for any d ≥ 0, there exists a G-torsor over a finite type k-scheme that is weakly versal for finite type affine k-schemes of dimension at most d. The first author also observed that if G is unipotent, then G admits a torsor over a finite type k-scheme that is weakly versal for all affine k-schemes, and that the converse holds if char k = 0. In this work, we extend this to all fields, showing that G is unipotent if and only if it admits a G-torsor over a quasi-compact base that is weakly versal for all finite type regular affine k-schemes. Our proof is characteristic-free and it also gives rise to a quantitative statement: If G is a non-unipotent subgroup of GLn, then a G-torsor over a quasi-projective k-scheme of dimension d is not weakly versal for finite type regular affine kschemes of dimension n(d + 1) + 2. This means in particular that every such G admits a nontrivial torsor over a regular affine (n + 2)-dimensional variety. When G contains a nontrivial torus, we show that nontrivial torsors already exist over 3-dimensional smooth affine varieties (even when G is special), and this is optimal in general.

In the course of the proof, we show that for every m, ℓ ∈ N ∪ {0} with ℓ ̸ = 1, there exists a smooth affine k-scheme X carrying an ℓ-torsion line bundle that cannot be generated by m global sections. We moreover study the minimal possible dimension of such an X and show that it is m, m + 1 or m + 2.

Fichier principal
Vignette du fichier
Versal_Torsors.pdf (511.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04832168 , version 1 (11-12-2024)

Identifiants

  • HAL Id : hal-04832168 , version 1

Citer

Uriya A First, Mathieu Florence, Zev Rosengarten. Algebraic groups with torsors that are versal for all affine varieties. 2024. ⟨hal-04832168⟩
0 Consultations
0 Téléchargements

Partager

More