Related papers: Grothendieck--Serre for constant reductive group s…

Let $R$ be a semilocal geometrically factorial Noetherian domain of characteristic zero. We show that a reductive $R$-group scheme is isotropic if it is generically isotropic. We derive various consequences, in particular for the…

For a valuation ring $V$, a smooth $V$-algebra $A$, and a reductive $V$-group scheme $G$ satisfying a certain natural isotropicity condition, we prove that every Nisnevich $G$-torsor on $\mathbb{A}^N_A$ descends to a $G$-torsor on $A$. As a…

In three preprints [Pan1], [Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here $G$ is a reductive group scheme). The preprint…

Let R be a semi-local Dedekind domain and let K be the field of fractions of R. Let G be a reductive semisimple simply connected R-group scheme such that every semisimple normal R-subgroup scheme of G contains a split R-torus G_m. We prove…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in…

Let $k$ be a base field and $G$ be an algebraic group over $k$. J.-P. Serre defined $G$ to be special if every $G$-torsor $T \to X$ is locally trivial in the Zariski topology for every reduced algebraic variety $X$ defined over $k$. In…

We prove that if $X \to Y$ is a (geometrically) regular morphism of Noetherian schemes, then from a Nisnevich-local perspective, the Gersten complex for Quillen $K$-theory on $X$ becomes acyclic in degrees beyond the Krull dimension of $Y$.…

We resolve the Grothendieck-Serre question over an arbitrary base field $k$: for a smooth $k$-group scheme $G$ and a smooth $k$-variety $X$, we show that every generically trivial $G$-torsor over $X$ trivializes Zariski semilocally on $X$.…

We complete the proof of the Nisnevich conjecture in equal characteristic: for a smooth algebraic variety $X$ over a field $k$, a $k$-smooth divisor $D \subset X$, and a reductive $X$-group $G$ whose base change $G_D$ is totally isotropic,…

For a reductive group scheme over a regular semi-local ring, we prove an equivarinat version of the Gersten conjecture. We draw some interesting consequences for the representation rings of such reductive group schemes. We also prove the…

Unlike the classical Brauer group of a field, the Brauer-Grothendieck group of a singular scheme need not be torsion. We show that there exist integral normal projective surfaces over a large field of positive characteristic with…

We show that for a reductive group $G$ over a field $k$ the $\mathbb{A}^1$-Euler characteristic of the variety of maximal tori in $G$ is an invertible element of the Grothendieck-Witt ring $\mathrm{GW}(k)$, settling the weak form of a…

In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in…

The Kervaire conjecture asserts that adding a generator and then a relator to a nontrivial group always results in a nontrivial group. We introduce new methods from stable commutator length to study this type of problems about nontriviality…

Let R be an unramified regular local ring of mixed characteristic, D an Azumaya R-algebra, K the fraction field of R, Nrd the reduced norm homomorphism for the Azumaya R-algebra D. Let a be a unit in R. It is proved the following: suppose…

The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this…

We prove some new cases of the Grothendieck-Serre conjecture for classical groups. This is based on a new construction of the Gersten-Witt complex for Witt groups of Azumaya algebras with involution on regular semilocal rings, with explicit…

For an arbitrary non-archimedean local field we classify reductive group schemes over the corresponding Fargues-Fontaine curve by group schemes over the category of isocrystals. We then classify torsors under such reductive group schemes by…

A purity conjecture due to Grothendieck and Auslander--Goldman predicts that the Brauer group of a regular scheme does not change after removing a closed subscheme of codimension $\ge 2$. The combination of several works of Gabber settles…