Related papers: On a theorem of Harder
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…
We prove a case of the Grothendieck-Serre conjecture: let $R$ be a Noetherian semilocal flat algebra over a Dedekind domain such that all fibers of $R$ are geometrically regular; let $G$ be a simply-connected reductive $R$-group scheme…
For a reductive group scheme $G$ over a semilocal Dedekind ring $R$ with total ring of fractions $K$, we prove that no nontrivial $G$-torsor trivializes over $K$. This generalizes a result of Nisnevich-Tits, who settled the case when $R$ is…
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,…
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$.…
Let $U$ be a regular connected affine semi-local scheme over a field $k$. Let $G$ be a reductive group scheme over $U$. Assuming that $G$ has an appropriate parabolic subgroup scheme, we prove the following statement. Given an affine…
Let C $\rightarrow$ Spec(R) be a relative proper flat curve over an henselian base. Let G be a reductive C-group scheme. Under mild technical assumptions, we show that a G-torsor over C which is trivial on the closed fiber of C is locally…
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^{\mathrm{ad}}$ is totally…
Let R be a regular local ring, containing an infinite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R.
The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group over a regular semilocal ring is itself trivial. Extending the work of \v{C}esnavi\v{c}ius and Fedorov, we prove a non-noetherian…
Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…
Let X be a smooth, connected, projective variety over an algebraically closed field of positive characteristic. In "Flat vector bundles and the fundamental group in non-zero characteristics" (Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 2…
Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. In other words, if K is the fraction…
Let $X$ be a Noetherian separated scheme. Let $G$ be a reductive $X$-group scheme, and let $E$ be a principal $G$-bundle over $\mathbb{P}^1_X$. We prove that if the restriction of $E$ to $\infty\times X$ is Zariski locally trivial, then $E$…
Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…
Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an…
The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. The mixed characteristic case of the conjecture is widely open. We consider the…
Let $A$ be a regular ring of dimension $\le 2$. Let $G$ be a reductive group over $A$ such that its derived group is a split, i.e. a Chevalley--Demazure, semisimple group. We prove that every Zariski-locally trivial principal $G$-bundle…
A well-known theorem of W. Fischer and H. Grauert states that analytic fiber spaces with all fibers isomorphic to a fixed compact connected complex manifold are locally trivial. Motivated by this result, we show that if $k$ is an…
We prove the following extension of Tits' simplicity theorem. Let $k$ be an infinite field, $G$ an algebraic group defined and quasi-simple over $k,$ and $G(k)$ the group of $k$-rational points of $G.$ Let $G(k)^+$ be the subgroup of $G(k)$…