Related papers: Purity and quasi-split torsors over Pr\"ufer bases
Consider a smooth quasiprojective variety X equipped with a C*-action, and a regular function f: X -> C which is C*-equivariant with respect to a positive weight action on the base. We prove the purity of the mixed Hodge structure and the…
We explore several variations of the notion of purity for the action of Frobenius on schemes defined over finite fields. In particular, we study how these notions are preserved under certain natural operations like quotients for principal…
We generalize purity of the Newton stratification to purity for a single break point of the Newton point in the context of local G-shtukas respectively of elements of the loop group of a reductive group. As an application we prove that…
We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…
We prove that any open subset $U$ of a semi-simple simply connected quasi-split linear algebraic group $G$ with ${codim} (G\setminus U, G)\geq 2$ over a number field satisfies strong approximation by establishing a fibration of $G$ over a…
We provide partial results towards a conjectural generalization of a theorem of Lubotzky-Mozes-Raghunathan for arithmetic groups (over number fields or function fields) that implies, in low dimensions, both polynomial isoperimetric…
Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first…
Let $A$ be an abelian variety over the function field $K$ of a curve over a finite field. We describe several mild geometric conditions ensuring that the group $A(K^{\rm perf})$ is finitely generated and that the $p$-primary torsion…
This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita equivalence), which is consequence of a more general…
Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate…
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…
Merkurjev's theorem--the statement that the 2-torsion of the Brauer group is represented by Clifford algebras of quadratic forms--is in general false when the base is no longer a field. The work of Parimala, Scharlau, and Sridharan proves…
In this paper, we define a generalization of the Brauer groups by using Bloch's cycle complex on etale site. We prove the Gersten conjecture of generalized Brauer group on some cases. As an application we prove the Gersten conjecture of the…
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.
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 almost purity theorem is central to the geometry of perfectoid spaces and has numerous applications in algebra and geometry. This result is known to have several different proofs in the case that the base ring is a perfectoid valuation…
We study basic properties of the category of smooth representations of a p-adic group G with coefficients in any commutative ring R in which p is invertible. Our main purpose is to prove that Hecke algebras are noetherian whenever R is ; a…
We show a conditional exactness statement for the Nisnevich Gersten complex associated to an $\mathbb{A}^1$-invariant cohomology theory with Nisnevich descent for smooth schemes over a Dedekind ring with only infinite residue fields. As an…
We first extend Cheeger-Colding Almost Splitting Theorem to smooth metric measure spaces. Arguments utilizing this extension of the Almost Splitting Theorem show that if a smooth metric measure space has almost nonnegative Bakry-Emery Ricci…
We establish new results on (co)homology vanishing and Ext-Tor dualities, and derive a number of freeness criteria for finite modules over Cohen-Macaulay local rings. In the main application, we settle the long-standing Auslander-Reiten…