Related papers: Hypercovers in Differential Geometry

We study the singularities of algebraic difference equations on curves from the point of view of equivariant sheaves. We propose a definition for the formal local type of an equivariant sheaf at a point in the case of a reduced curve acted…

A classic result states that on any locally contractible and paracompact topological space, singular cohomology and sheaf cohomology are isomorphic. A result by Ramanan claims that the paracompactness assumption may be removed, but…

The aim of this monograph is twofold: to explain various nonautonomous integrable systems (discrete Painlev\'e all the way up to the elliptic level, as well as generalizations \`a la Garnier) using an interpretation of difference and…

We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective $n$-space $\mathbb{C}\textbf{P}^n$, where $n=3$ and $4$. Let $M^{2n}$ be a closed smooth $2n$-manifold homotopy equivalent to…

In this paper we prove a duality for constructible sheaves on conically smooth stratified spaces. Here we consider sheaves with values in a stable and bicomplete $\infty$-category equipped with a closed symmetric monoidal structure, and in…

We prove that Jardine's model category of simplicial presheaves can be obtained by localizing the `discrete' version at the collection of all hypercovers. One consequence is that the fibrant objects can be explicitly identified in terms of…

The goal of this paper is to construct invariant dynamical objects for a (not necessarily invertible) smooth self map of a compact manifold. We prove a result that takes advantage of differences in rates of expansion in the terms of a sheaf…

We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…

The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be…

We prove that the universal cover of a normal complex algebraic variety admitting a faithful complex representation of its fundamental group is an analytic Zariski open subset of a holomorphically convex complex space. This is a non-proper…

In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and…

In this paper, we extend the previous convergence results for the generalized alternating projection method applied to subspaces in [arXiv:1703.10547] to hold also for smooth manifolds. We show that the algorithm locally behaves similarly…

For smooth manifolds equipped with various geometric structures, we construct complexes that replace the de Rham complex in providing an alternative fine resolution of the sheaf of locally constant functions. In case that the geometric…

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…

In this paper, we prove that for any smooth hypersurface $Y$ of degree $d$ in $\mathbb{P}^{n+1}_k$, the cyclic $d$-fold cover $\widetilde{Y} \to \mathbb{P}^{n+1}_k$ branched along $Y$ completely characterizes $Y$ up to projective…

Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is…

In this text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model…

Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in…

It is proved that the projective model structure of the category of topologically enriched diagrams of topological spaces over a topologically enriched locally contractible small category is Quillen equivalent to the standard Quillen model…

We study a class of continuous deformations of branched complex projective structures on closed surfaces of genus $g\geq 2$, which preserve the holonomy representation of the structure and the order of the branch points. In the case of…