Related papers: A Sheaf-Theoretic Construction of Shape Space

The verbose persistent homology transform (VPHT) is a topological summary of shapes in Euclidean space. Assuming general position, the VPHT is injective, meaning shapes can be reconstructed using only the VPHT. In this work, we investigate…

For each poset $P$, we construct a polytope $A(P)$ called the $P$-associahedron. Similarly to the case of graph associahedra, the faces of $A(P)$ correspond to certain nested collections of subsets of $P$. The Stasheff associahedron is a…

Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…

We prove that every open subset of a euclidean building is a finite dimensional absolute neighborhood retract. This implies in particular that such a set has the homotopy type of a finite dimensional simplicial complex. We also include a…

Uchillo-Ibanez et al. introduced a topology on the sets of shape morphisms between arbitrary topological spaces in 1999. In this paper, applying a similar idea, we introduce a topology on the set of coarse shape morphisms $Sh^*(X,Y)$, for…

We describe a homotopy-theoretic approach to the theory of moduli of realizations of Blanc-Dwyer-Goerss, reproducing their obstructions to realizing a given $\Pi$-algebra as homotopy groups of a pointed space. Our techniques are based on…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…

We show that the spaces of holomorphic and continuous maps from a smooth complex projective variety to a projective space have the same homology in a range depending on the degree of the maps.

Following the classical results of Stong, we introduce a cohomological analogue of a core of a finite sheaved topological space and propose an algorithm for simplification in this category. In particular we generalize the notion of beat…

A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial…

We classify compact 2-connected homogeneous spaces with the same rational cohomology as a product of spheres. This classification relies on spectral sequences, homotopy theory, and representation theory. We then apply this classification to…

Let $S$ be a compact oriented surface. We construct homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ generalizing the constructions of Gambaudo-Ghys and Polterovich. We prove that there are infinitely many…

This paper concerns a theoretical approach that combines topological data analysis (TDA) and sheaf theory. Topological data analysis, a rising field in mathematics and computer science, concerns the shape of the data and has been proven…

Let $H$ be either a complex inner product space of dimension at least two, or a real inner product space of dimension at least three. Let us fix an $\alpha\in \left(0,\tfrac{\pi}{2}\right)$. The purpose of this paper is to characterize all…

We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its…

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 consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions…

We review the shape theory of $\infty$-topoi, and relate it with the usual cohomology of locally constant sheaves. Additionally, a new localization of profinite spaces is defined which allows us to extend the \'etale realization functor of…

Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,\phi), where E is a torsion…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…