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

The aim of this paper is to lay the foundations for the cohomological study of Bruhat-Tits group schemes over a semi-local Dedekind ring. In particular, we obtain a simplified proof of the Grothendieck-Serre conjecture in this case and also…

We establish an analogue of the Zariski--Nagata purity theorem for finite \'etale covers on smooth schemes over Pr\"ufer rings by demonstrating Auslander's flatness criterion in this non-Noetherian context. We derive an Auslander--Buchsbaum…

We prove the version of Knebusch's Norm principle for simple extensions of (semi-)local rings. As an application we prove the Grothedieck-Serre's conjecture on principal homogeneous spaces for the split case of the spinor group.

Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…

Let k be any field. J-P. Serre proved that the spectrum of the Grothendieck ring of the k-representation category of a group is connected, and that the same holds in characteristic zero for the representation category of a Lie algebra over…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

This paper contains a proof of a conjecture of Breuil and Schneider, on the existence of an invariant norm on any locally algebraic representation of $\GL(n)$, with integral central character, whose smooth part is given by a generalized…

A theorem of Grothendieck asserts that over a perfect field k of cohomological dimension one, all non-abelian H^2-cohomology sets of algebraic groups are trivial. The purpose of this paper is to establish a formally real generalization of…

Let R be a commutative Noetherian ring. We introduce the notion of colocalization functors with supports in arbitrary subsets of Spec R, which is a natural generalization of right derived functors of section functors with supports in…

In this article we prove that the numerical Grothendieck group of every smooth proper dg category is invariant under primary field extensions, and also that the mod-n algebraic K-theory of every dg category is invariant under extensions of…

According to the Grothendieck-Lefschetz theorem from SGA 2, there are no nontrivial line bundles on the punctured spectrum $U_R$ of a local ring $R$ that is a complete intersection of dimension $\ge 4$. Dao conjectured a generalization for…

Let G be a reductive affine group scheme defined over a semilocal ring k. Assume that either G is semisimple or k is normal and noetherian. We show that G has a finite k-subgroup S such that the natural map H^1(R, S) --> H^1(R, G) is…

The purpose of this article is to prove that Gersten's conjecture for a commutative regular local ring is true. As its applications, we will prove the vanishing conjecture for certain Chow groups, generator conjecture for certain $K$-groups…

Let $F$ be a global field. Let $G$ be a non trivial finite \'etale tame $F$-group scheme. We define height functions on the set of $G$-torsors over $F,$ which generalize the usual heights such as discriminant. As an analogue of the Malle…

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the…

Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…

Parahoric group schemes are certain possibly non-reductive, smooth, affine integral models of reductive group schemes defined over a henselian discretely valued field $K$ whose residue field is perfect. We show that any such group scheme…

Grothendieck's cohomological purity predicts that the cohomology of a scheme is insensitive to removing a closed subscheme of sufficiently high codimension. In this article, we establish a form of flat cohomological purity over arbitrary…

We formulate a number of related generalisations of the weight part of Serre's conjecture to the case of GL(n) over an arbitrary number field, motivated by the formalism of the Breuil-M\'ezard conjecture. We give evidence for these…

We apply the techniques developed by I. Panin for the proof of the equicharacteristic case of the Serre-Grothendieck conjecture for isotropic reductive groups (I. Panin, A. Stavrova, N. Vavilov, 2015; I. Panin, 2019) to obtain similar…