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$.

On the reductive Borel-Serre compactification, II: Excentric quotients and least common modifications

Compactifications of the Eisenstein ancestral Deligne-Mostow variety

Moduli spaces of quantum toric stacks and their compactification

Torsors on the complement of a smooth divisor

V-filtrations and minimal exponents for locally complete intersection singularities

Cohomological and motivic inclusion–exclusion

Orbifold modifications of complex analytic varieties

Unramified Grothendieck-Serre for isotropic groups

Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

Grothendieck-Serre in the quasi-split unramified case

Quotients of unstable subvarieties and moduli spaces of sheaves of fixed Harder-Narasimhan type

Consequences of the existence of exceptional collections in arithmetic and rationality

Variations on a theme of Grothendieck

Volumes of Subvarieties of Complex Ball Quotients and Sparsity of Rational Points

Commutativity of quantization with conic reduction for torus actions on compact CR manifolds

A decomposition theorem for the affine Springer fibers

An equivariant compactification for adjoint reductive group schemes

Quantum Lefschetz theorem revisited

On the degree-two part of the associated graded of the lower central series of the Torelli group

Extending the Torelli map to alternative compactifications of the moduli space of curves

On congruent isomorphisms for tori