Related papers: A proof of Grothendieck's base change theorem

We prove that the Birkhoff pointwise ergodic theorem and the Oseledets multiplicative ergodic theorem hold for every flat surface in almost every direction. The proofs rely on the strong law of large numbers, and on recent rigidity results…

We use a classical result of McCord and reduction methods of finite spaces to prove a generalization of Thomason's theorem on homotopy colimits over posets. In particular this allows us to characterize the homotopy colimits of diagrams of…

We give a short proof of a Grothendieck-Lefschetz Theorem for equivariant Picard groups of nonsingular varieties with the action of an affine algebraic group.

We compute the cohomology ring of a generalised type of configuration space of points in $\mathbb{R}^r$. This configuration space is indexed by a graph. In the case the graph is complete the result is known and it is due to Arnold and…

We prove a conjecture of A. S. Buch concerning the structure constants of the Grothendieck ring of a flag variety with respect to its basis of Schubert structure sheaves. For this, we show that the coefficients in this basis of the…

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic…

We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.

We discuss a question which appears in [S\'eminaire de G\'eom\'etrie Alg\'ebrique du Bous Marie- Th\'eorie des topos et cohomologie \'etale des sch\'emas, Expos\'e XII, Remarks 6.13] concerning proper base change. In particular, we propose…

We prove a comparison isomorphism between singular cohomology and sheaf cohomology.

We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology…

In this paper, we develope an equivariant theory of Chern characters for coherent sheaves on compact complex manifolds with finite group actions, taking values in Bott-Chern cohomology classes. Furthermore, we establish the corresponding…

In this article, we initiate a geometric measure theoretic approach to symplectic Hodge theory. In particular, we apply one of the central results in geometric measure theory, the Federer-Fleming deformation theorem, together with the…

The purpose of this paper is to study local cohomology in the noncommutative algebraic geometry framework of Artin and Zhang. The noncommutative spaces are obtained by base change of a Grothendieck category that is locally noetherian or…

We prove an Atiyah-Segal isomorphism for the higher $K$-theory of coherent sheaves on quotient Deligne-Mumford stacks over $\C$. As an application, we prove the Grothendieck-Riemann-Roch theorem for such stacks. This theorem establishes an…

In this short paper, we give a $p$-adic analogue of the Hard Leftschetz Theorem.

We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.

We establish the flat cohomology version of the Gabber-Thomason purity for \'{e}tale cohomology: for a complete intersection Noetherian local ring $(R, \mathfrak{m})$ and a commutative, finite, flat $R$-group $G$, the flat cohomology…

We develop the categorical algebra of the noncommutative base change of a comodule category by means of a Grothendieck category $\mathfrak S$. We describe when the resulting category of comodules is locally finitely generated, locally…

The cancellation theorem for Grothendieck-Witt-correspondences and Witt-correspondences between smooth varieties over an infinite prefect field $k$, $char k \neq 2$, is proved, the isomorphism…

We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…