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

We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.

The original proof of the Gromov's non-squeezing theorem [Gro85] is based on pseudo-holomorphic curves. The central ingredient is the compactness of the moduli space of pseudo-holomorphic spheres in the symplectic manifold…

We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…

We introduce a canonical Chern-Weil map for possibly non-commutative g-differential algebras with connection. Our main observation is that the generalized Chern-Weil map is an algebra homomorphism ``up to g-homotopy''. Hence, the induced…

We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…

These lecture notes contain an exposition of basic ideas of K-theory and cyclic cohomology. I begin with a list of examples of various situations in which the K-functor of Grothendieck appears naturally, including the rudiments of the…

Let $(\mathcal{G},\otimes)$ be any closed symmetric monoidal Grothendieck category. We show that K-flat covers exist universally in the category of chain complexes and that the Verdier quotient of $K(\mathcal{G})$ by the K-flat complexes is…

We introduce a notion of regularity for coherent sheaves on Grassmannians of lines. We use this notion to prove some extension of Evans-Griffith criterion to characterize direct sums of line bundles. We also give a cohomological…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

In this paper we look at Grothendieck's work on classifying holomorphic bundles over the complex projective line. The paper is divided into $4$ parts. The first and second part we build up the necessary background to talk about vector…

I give a proof of the semisimplicity of the action of the geometric frobenius on etale cohomology. This proof is based on the Weil Conjectures.

Given a perfect field $k$ of characteristic $p>0$, a smooth proper $k$-scheme $Y$, a crystal $E$ on $Y$ relative to $W(k)$ and a finite group $G$ acting on $Y$ and $E$, we show that, viewed as virtual $k[G]$-module, the reduction modulo $p$…

We describe the standard and Leray filtrations on the cohomology groups with compact supports of a quasi projective variety with coefficients in a constructible complex using flags of hyperplane sections on a partial compactification of a…

We introduce a new method for proving twisted homological stability, and use it to prove such results for symmetric groups and general linear groups. In addition to sometimes slightly improving the stable range given by the traditional…

Let k be a field. We show that all homogeneous noncommutative curves of genus zero over k are noncommutative P^1-bundles over a (possibly) noncommutative base. Using this result, we compute complete isomorphism invariants of homogeneous…

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…

We consider the moduli space of flat $SO(2n+1)$-connections (up to gauge transformations) on a Riemann surface, with fixed holonomy around a marked point. There are natural line bundles over this moduli space; we construct geometric…

Torelli's theorem is proven by the study of the convolution product of the intersection cohomology sheaf of the thetadivisor.

We establish a kind of "degree zero Freudenthal Gm-suspension theorem" in motivic homotopy theory. From this we deduce results about the conservativity of the P^1-stabilization functor. In order to establish these results, we show how to…

We define a new Gromov-Witten theory relative to simple normal crossing divisors as a limit of Gromov-Witten theory of multi-root stacks. Several structural properties are proved including relative quantum cohomology, Givental formalism,…