Abstract:The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G$ is totally isotropic, that is, has a "maximally transversal" parabolic $R$-subgroup. We also use purity for the Brauer group to reduce the conjecture for unramified $R$ to simply connected $G$--a much less direct such reduction of Panin had been a step in solving the equal characteristic case of Grothendieck-Serre. We base the group-theoretic aspects of our arguments on the geometry of the stack $\mathrm{Bun}_G$, instead of the affine Grassmannian used previously, and we quickly reprove the crucial weak $\mathbb{P}^1$-invariance input: for any reductive group $H$ over a semilocal ring $A$, every $H$-torsor $\mathscr{E}$ on $\mathbb{P}^1_A$ satisfies $\mathscr{E}|_{\{t = 0\}} \simeq \mathscr{E}|_{\{t = \infty\}}$. For the geometric aspects, we develop reembedding and excision techniques for relative curves with finiteness weakened to quasi-finiteness, thus overcoming a known obstacle in mixed characteristic, and show that every generically trivial torsor over $R$ under a totally isotropic $G$ trivializes over every affine open of $\mathrm{Spec}(R) \setminus Z$ for some closed $Z$ of codimension $\ge 2$.

Rips construction without unique product

Residually finite non-linear hyperbolic groups

First examples of non-abelian quotients of the Grothendieck-Teichmueller group that receive surjective homomorphisms from the absolute Galois group of rational numbers

A construction of hyperbolic Coxeter groups

Non-bi-orderable one-relator groups without generalized torsion

Cartan projections of fiber products and non‐quasi‐isometric embeddings

Cubulating a free-product-by-cyclic group

Cartan projections of fiber products and non quasi-isometric embeddings

Rigidity And Unirational Groups

Unramified Grothendieck-Serre for isotropic groups

Rational cross-sections, bounded generation and orders on groups

Special cubulation of strict hyperbolization

Unramified case of Grothendieck-Serre for totally isotropic simply-connected group schemes

On a sequence of Grothendieck groups

Property $R_\infty$ for new classes of Artin groups

Frobenius Categories, Gorenstein Algebras and Rational Surface Singularities

Homology Growth, Hyperbolization, and Fibering

Spectral gap for products and a strong normal subgroup theorem

Quasimorphisms on free racks and free quandles