Related papers: Hypercovers in Differential Geometry

Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…

We consider differential forms associated to Campana's geometric orbifolds from a new perspective, namely, as a qfh-sheaf on the variety underlying the geometric orbifold. This approach avoids having to choose a covering of the underlying…

Let $C$ be a smooth projective curve, $E$ a locally free sheaf. Hyperquot schemes on $C$ parametrise flags of coherent quotients of $E$ with fixed Hilbert polynomial, and offer alternative compactifications to the spaces of maps from $C$ to…

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…

The purpose of this article is twofold. The first is to prove a second main theorem for meromorphic mappings of $\C^m$ into a complex projective variety intersecting hypersurfaces in subgeneral position with truncated counting functions.…

This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular…

We prove that there exist hypersurfaces that contain a given closed subscheme $Z$ of the projective space over a finite field and intersect a given smooth scheme $X$ off of $Z$ smoothly, if the intersection $V = Z \cap X$ is smooth.…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

Derived geometry provides powerful tools to handle non-transverse intersections and singular moduli problems arising in geometry and theoretical physics. While derived algebraic geometry has been extensively developed, classical field…

We consider differentiable maps in the setting of Abstract Differential Geometry and we study the conditions that ensure the uniqueness of differentials in this setting. In particular, we prove that smooth maps between smooth manifolds…

On a complex contact manifold, or complex symplectic manifold with weight-1 circle action, we construct a sheaf of stable categories carrying a t-structure which is locally equivalent to a microlocalization of the perverse t-structure.

It is shown that moduli spaces of complete families of compact complex hypersurfaces in complex manifolds often come equipped canonically with projective structures satisfying some natural integrability conditions.

We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for…

A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their…

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

The purpose of this article is to give an interpretation of real projective structures and associated cohomology classes in terms of connections, sections, etc. satisfying elliptic partial differential equations in the spirit of Hodge…

There are several notions of a smooth map from a convex set to a cartesian space. Some of these notions coincide, but not all of them do. We construct a real-valued function on a convex subset of the plane that does not extend to a smooth…

We formalize the concepts of holomorphic affine and projective structures along the leaves of holomorphic foliations by curves on complex manifolds. We show that many foliations admit such structures, we provide local normal forms for them…

We study the homotopy right Kan extension of homotopy sheaves on a category to its free cocompletion, i.e. to its category of presheaves. Any pretopology on the original category induces a canonical pretopology of generalised coverings on…