Related papers: A Sheaf-Theoretic Construction of Shape Space

Let f: P-->W be an embedding of a compact polyhedron in a closed oriented manifold W, let T be a regular neighborhood of P in W and let C:=closure(W-T) be its complement. Then W is the homotopy push-out of a diagram C<--dT-->P. This…

We give different perspectives on the notion of shape for condensed anima. We prove that it recovers more classical notions of shape for topological spaces in the cases of all paracompact compactly generated spaces and all locally…

In this article we extend and strengthen the seminal work by Niyogi, Smale, and Weinberger on the learning of the homotopy type from a sample of an underlying space. In their work, Niyogi, Smale, and Weinberger studied samples of $C^2$…

We obtain results on approximation of holomorphic maps by algebraic maps, jet transversality theorems for holomorphic and algebraic maps, and the homotopy principle for holomorphic submersions of Stein manifolds to certain algebraic…

We look at homotopy-coherent diagrams of spaces (after Segal, Leitch, Vogt, Mather, Cordier) over a Grothendieck site; we call these ``flexible presheaves''. After some preliminary materiel, we define the ``flexible sheaf'' condition. This…

We characterize the class of homotopy pull-back squares by means of elementary closure properties. The so called Puppe theorem which identifies the homotopy fiber of certain maps constructed as homotopy colimits is a straightforward…

A topological space has the fixed point property if every continuous self-map of that space has at least one fixed point. We demonstrate that there are serious restraints imposed by the requirement that there be a choice of fixed points…

Using sheaf theory, I introduce a continuous theory of persistence for mappings between compact manifolds. In the case both manifolds are orientable, the theory holds for integer coefficients. The sheaf introduced here is stable to…

We show that the $\infty$-category of global spaces is equivalent to the homotopy localization of the $\infty$-category of sheaves on the site of separated differentiable stacks, following a philosophy proposed by Gepner-Henriques. We…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of \'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result…

In the present paper, we show how to construct an algebraic sheaf by means of the topological generalized group defined by Molaei in [16] by considering both homotopy and sheaf theory.

In this paper, we construct tools from the holomorphic twistor spaces that we introduced in \cite{Gindi1} to derive results about the complex geometries of their base manifolds. In particular, we develop a new approach to studying…

This work serves as an opening and basis of an ongoing program investigating topological and geometric aspects of the moduli space of smooth fiberings on a manifold. The present paper focuses on the algebraic and differential topology of…

Inspired by Segal-Stolz-Teichner project for geometric construction of elliptic (tmf) cohomology, and ideas of Floer theory and of Hopkins-Lurie on extended TFT's, we geometrically construct some $Ring$-valued representable cofunctors on…

In this paper, we introduce a new class of structured spaces which is locally modeled by Costello's L-infinity spaces. This provides an alternative approach to study the derived geometric structures in the algebraic, analytic, or smooth…

Given an integral symplectic manifold, we construct a family of "coherent state" maps into complex projective space. The maps are built from sections of the tensor powers of a hermitian line bundle whose curvature is a multiple of the…

It is expected that the $D$-topology makes every diffeological vector space into a topological vector space. We show that it is the case for a large class of diffeological vector spaces via $k_\omega$-space theory, but not so in general.…

We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…

In this paper we use a diffeo-geometric framework based on manifolds that are locally modeled on "convenient" vector spaces to study the geometry of some infinite dimensional spaces. Given a finite dimensional symplectic manifold…