Uriya A. First,Mathieu Florence,Zev Rosengarten
Abstract:Let $k$ be a field and let $G$ be an affine $k$-algebraic group. Call a $G$-torsor weakly versal for a class of $k$-schemes $\mathscr{C}$ if it specializes to every $G$-torsor over a scheme in $\mathscr{C}$. A recent result of the first author, Reichstein and Williams says that for any $d\geq 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 $\operatorname{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 $\mathbf{GL}_n$, then a $G$-torsor over a quasi-projective $k$-scheme of dimension $d$ is not weakly versal for finite type regular affine $k$-schemes 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.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the properties of torsors on algebraic groups, especially the behavior of these torsors on different types of affine varieties. Specifically, the authors explore the following points:
1. **Weak Versality**: The paper defines the weak versality of a G - torsor \(E \to X\) for a class \(C\) of k - schemes. It is weakly universal if it can be specialized to every G - torsor on every scheme in \(C\). The authors are concerned with the performance of this property on all regular affine k - schemes of finite type.
2. **Unipotent Groups**: An important result of the paper is to prove that an affine algebraic group \(G\) is unipotent if and only if there exists a G - torsor \(E \to X\), where \(X\) is a quasi - compact k - scheme, and this torsor is weakly universal for all regular affine k - schemes of finite type. This conclusion applies to fields \(k\) of arbitrary characteristics.
3. **Quantitative Results for Non - Unipotent Groups**: For non - unipotent algebraic groups \(G\), the paper gives a quantitative result. That is, if \(G\) is a non - unipotent subgroup of \(GL_n\), then for a quasi - projective k - scheme \(X\) and a G - torsor \(E \to X\), if the dimension of \(X\) is \(d\), then \(E \to X\) is not weakly universal for all regular affine k - schemes of finite type whose dimensions do not exceed \(n(d + 1)+ 2\).
4. **Groups Containing Non - Trivial Tori**: The paper also studies affine algebraic groups \(G\) that contain non - trivial tori and proves that in this case, there exists a smooth affine k - scheme \(X\) with dimension not exceeding 3, on which there is a non - trivial G - torsor. Under certain conditions, this dimension can be further reduced.
Through these studies, the paper aims to gain a deep understanding of the properties of torsors on algebraic groups and their performance on different types of schemes, especially the characteristics in terms of universality. These results not only enrich the theory in the field of algebraic geometry but also provide an important foundation for subsequent research.