Related papers: Geometry on totally separably closed schemes

Sheaf cohomology or, more generally, higher direct images of coherent sheaves along proper morphisms are central to modern algebraic geometry. However, the computation of these objects is a non-trivial and expensive task which easily…

For a scheme X, we construct a sheaf C of complexes on X such that for every quasi-compact open subset U of X, C(U) is quasi-isomorphic to the Hochschild complex of the scheme U. Since C is moreover acyclic for taking sections on…

We study a Grothendieck topology on schemes which we call the $\mathrm{arc}$-topology. This topology is a refinement of the $v$-topology (the pro-version of Voevodsky's $h$-topology) where covers are tested via rank $\leq 1$ valuation…

The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding…

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

We reinterpret algebraic de Rham cohomology for a possibly singular complex variety X as sheaf cohomology in the site of smooth schemes over X with Voevodsky's h-topology. Our results extend to the algebraic de Rham complex as well. Our…

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

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 set up the geometric background necessary to extend rigid cohomology from the case of algebraic varieties to the case of general locally noetherian formal schemes. In particular, we generalize Berthelot's strong fibration theorem to adic…

Using methods of stable homotopy theory, the category of symmetric quasi-coherent sheaves associated with non-commutative graded algebras with extra symmetries is introduced and studied in this paper. It is shown to be a closed symmetric…

We prove that the cohomology of the integral structure sheaf of a normal affinoid adic space over a non-archimedean field of characteristic zero is uniformly torsion. This result originated from a remark of Bartenwerfer around the 1980s and…

Topological Chern-Simons (CS) and BF theories and their holomorphic analogues are discussed in terms of de Rham and Dolbeault cohomologies. We show that Cech cohomology provides another useful description of the above topological and…

This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of…

Let $X$ be a locally Noetherian scheme with a closed subscheme $Z$. Let $\mathcal{X}$ be the completion of $X$ at $Z$, considered as a formal scheme. We show that a coherent sheaf on $X$ is equivalently given by a coherent sheaf on…

We develop a generalization to non-Witt spaces of the intersection homology theory of Goresky-MacPherson. The second author has described the self-dual sheaves compatible with intersection homology, and the other authors have described a…

Let $X$ be a scheme, proper over a commutative noetherian ring $A$. We introduce the concept of an ample filter of invertible sheaves on $X$ and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also…

We prove that every local complete intersection curve in $Spec(A)$, where $A$ is a commutative Noetherian ring of dimension three, is a set-theoretic complete intersection. An analogous result is established for local complete intersection…

This paper shows that for certain local topological properties, given a locally quasi-finite, flat and locally finitely presented map of schemes $f\colon X\to Y$, if $Y$ has the property, then so does $X$. We also show that being locally…