Related papers: A pro-cdh topology on formal schemes
We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We…
We prove that singular cohomology of the underlying space of Berkovich's analytification of a scheme $X$ locally of finite type over a trivially-valued field $k$ of characteristic $0$ is isomorphic to cdh-cohomology with integer…
In his seminal paper "Formality conjecture", M. Kontsevich introduced a graph complex $GC_{1ve}$ closely connected with the problem of constructing a formality quasi-isomorphism for Hochschild cochains. In this paper, we express the…
We construct a motivic spectral sequence for the relative homotopy invariant K-theory of a closed immersion of schemes $D \subset X$. The $E_2$-terms of this spectral sequence are the cdh-hypercohomology of a complex of equi-dimensional…
We study the vanishing of (co)homology along ring homomorphisms for modules that admit certain filtrations, and generalize a theorem of O. Celikbas-Takahashi. Our work produces new classes of rigid and test modules, in particular over local…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
Let Z be a zero-dimensional subscheme of the projective plane consisting of the union of r>5 double points, I its defining ideal sheaf. It is known that I has the expected cohomology when the points are distinct and in general position…
Considering a mapping g holomorphic on a neighbourhood of a rationally convex set K in $C^n$, and range into the complex projective space $P^m$, the main objective of this paper is to show that we can uniformly approximate g on K by…
In this article, we study the cohomology of some analytic sheaves on the complementary in the projective space of a suitable infinite collection of hyperplane like the Drinfel'd symetric space. In particular, the sheaf of invertible…
Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…
We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using…
We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this…
In this paper, we prove that the bounded derived category $D^b_{coh}(Y)$ of coherent sheaves on a separated scheme $Y$ of finite type over a field $\mathrm{k}$ of characteristic zero is homotopically finitely presented. This confirms a…
We introduce the notion of topological hyperbolicity to characterize the largeness of the topological fundamental group of a complex variety. Inspired by the Shafarevich conjecture, we propose to study the topological hyperbolicity of…
We introduce the notion of relative topological principality for a family $\{H_\alpha\}$ of open subgroupoids of a Hausdorff \'etale groupoid $G$. The C*-algebras $C^*_r(H_\alpha)$ of the groupoids $H_\alpha$ embed in $ C^*_r(G)$ and we…
We study two notions of largeness for closed submodules of Hilbert C*-modules: essentiality and topological essentiality. While the analogous properties are known to be equivalent for closed two-sided ideals of C*-algebras, the one-sided…
We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…
In this paper, we settle the homotopy properties of the infinity-morphisms of homotopy (bial)-gebras over properads, i.e. algebraic structures made up of operations with several inputs and outputs. We start by providing the literature with…
We construct twisted $\mathcal{D}$-modules on the projective line $\mathbb{P}^1$ that are equivariant for the action of the diagonal torus subgroup of $SL_2$. In the most interesting case these arise as extensions from local systems on…
We investigate one-point reduction methods of finite topological spaces. These methods allow one to study homotopy theory of cell complexes by means of elementary moves of their finite models. We also introduce the notion of h-regular…