Related papers: A pro-cdh topology on formal schemes

We model problems as presheaves that assign sets of certificates to input instances, and we show how to use presheaf \v{C}ech cohomology to capture the precise ways in which local solutions fail to patch into global ones. Applied to…

We consider L-infinity quasi-isomorphisms for Hochschild cochains whose structure maps admit "graphical expansion". We introduce the notion of stable formality quasi-isomorphism which formalizes such an L-infinity quasi-isomorphism. We…

We propose here a transcendantal proof of the coherence of the higher direct images of a coherent sheaf by a proper morphism of algebraic varieties, which does not use Chow's lemma nor any projective method. The main tool here are…

This thesis presents a way to apply this theorem of Gabber to a large portion of Voevodsky's work in order to lift the assumption that resolution of singularities holds. This gives unconditional versions of many of his and others' theorems…

We prove a topological rigidity theorem for closed hypersurfaces of the Euclidean sphere and of an elliptic space form. It asserts that, under a lower bound hypothesis on the absolute value of the principal curvatures, the hypersurface is…

In recent years, significant progress has been made in the study of integrable systems from a gauge theoretic perspective. This development originated with the introduction of $4$d Chern-Simons theory with defects, which provided a…

We give an algebro-geometric interpretation of $C_2$-equivariant stable homotopy theory by means of the $b$-topology introduced by Claus Scheiderer in his study of $2$-torsion phenomena in \'etale cohomology. To accomplish this, we first…

The main result is that for a connected hyperbolic complete K\"ahler manifold with bounded geometry of order two and exactly one end, either the first compactly supported cohomology with values in the structure sheaf vanishes or the…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

Let $\xx= x_1,\ldots,x_r$ denote a system of elements of a commutative ring $R$. For an $R$-module $M$ we investigate when $\xx$ is $M$-pro-regular resp. $M$-weakly pro-regular as generalizations of $M$-regular sequences. This is done in…

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…

Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…

We initiate the study of higher dimensional topological finiteness properties of monoids. This is done by developing the theory of monoids acting on CW complexes. For this we establish the foundations of $M$-equivariant homotopy theory…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of…

In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…

The article is devoted to a comparison of the \v{C}ech cohomology with the coefficients in a presheaf of Abelian groups and the topos cohomology of the sheaf generated by this presheaf for a poset with the Aleksandrov topology. The article…

Let X be a topological space, and let C(X) be the complex of singular cochains on X with real coefficients. We denote by Cc(X) the subcomplex given by continuous cochains, i.e. by such cochains whose restriction to the space of simplices…

We present a closed model structure for the category of pro-spectra in which the weak equivalences are detected by stable homotopy pro-groups. With some bounded-below assumptions, weak equivalences are also detected by cohomology as in the…

A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…