Related papers: Artin vanishing in rigid analytic geometry

We prove Artin's axioms satisfy a compatibility for composition of 1-morphisms of stacks in groupoids. Consequently, some natural stacks in groupoids are algebraic, including a common generalization of Vistoli's Hilbert stack and the stack…

We prove that if A is an infinite von Neumann algebra (i. e., the identity can be decomposed as a sum of a sequence of pairwise disjoint projections, all equivalent to the identity) then the cyclic cohomology of A vanishes. We show that the…

We study the Galois descent of semi-affinoid non-archimedean analytic spaces. These are the non-archimedean analytic spaces which admit an affine special formal scheme as model over a complete discrete valuation ring, such as for example…

We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds;…

We compute the p-adic geometric pro-\'etale cohomology of the affine space (in any dimension). This cohomogy is non-zero, contrary to the \'etale cohomology, and can be described by means of differential forms.

In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent…

Let $k$ be a non-archimedean complete field. We prove a substitute for the reduced fiber theorem (of Bosch, L\"utkebohmert and Raynaud) that holds for every morphism $Y\to X$ flat and with geometrically reduced fibers between $k$-affinoid…

Let $X$ be a projective scheme over a field. We show that the vanishing cohomology of any sequence of coherent sheaves is closely related to vanishing under pullbacks by the Frobenius morphism. We also compare various definitions of ample…

For a local non-Archimedean field $K$ we construct ${\rm GL}_{d+1}(K)$-equivariant coherent sheaves ${\mathcal V}_{{\mathcal O}_K}$ on the formal ${\mathcal O}_K$-scheme ${\mathfrak X}$ underlying the symmetric space $X$ over $K$ of…

We prove the $K(\pi,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on…

We show that on integral normal separated schemes whose function field is separably closed, for each pair of points the intersection of the resulting local schemes is local. This extends a result of Artin from rings to schemes. The argument…

We generalize the decomposition theorem for perverse sheaves to Artin stacks with affine stabilizers over finite fields.

We give a general structure theorem for affine A 1-fibrations on smooth quasi-projective surfaces. As an application, we show that every smooth A 1-fibered affine surface non-isomorphic to the total space of a line bundle over a smooth…

We construct Artin algebras with vanishing first Hochschild Cohomology but a loop in their ordinary quiver. Some authors guessed earlier that such examples could not exist.

Using formal-local methods, we prove that a separated and normal tame Artin surface has the resolution property. By proving that normal tame Artin stacks can be rigidified, we ultimately reduce our analysis to establishing the existence of…

In this paper, we prove the irreducibility of the monodromy action on the anti-invariant part of the vanishing cohomology on a double cover of a very general element in an ample hypersurface of a complex smooth projective variety branched…

We prove a conjecture of Bhatt-Hansen that derived pushforwards along proper morphisms of rigid-analytic spaces commute with Verdier duality on Zariski-constructible complexes. In particular, this yields duality statements for the…

We show that the hypercohomology of most character twists of perverse sheaves on a complex abelian variety vanishes in all non-zero degrees. As a consequence we obtain a vanishing theorem for constructible sheaves and a relative vanishing…

We prove, using $p$-adic Hodge theory for open algebraic varieties, that for a smooth projective variety over a subfield $k\subset\mathbb C$ which is of finite type over $\mathbb Q$, the complex abel jacobi map vanishes if the etale abel…

There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits…