Abstract
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 Transforms (PHT). Recent results that build on fundamental work of Schapira have shown that this transform is injective, thus making the PHT a good summary object for each shape. Our homotopy sheaf result allows us to “glue” PHTs of different shapes together to build up the PHT of a larger shape. In the case where our shape is a polyhedron we prove a generalized nerve lemma for the PHT. Finally, by re-examining the sampling result of Smale-Niyogi-Weinberger, we show that we can reliably approximate the PHT of a manifold by a polyhedron up to arbitrary precision.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
Shape spaces are intended to provide a single framework for comparing shapes. Different shapes are rendered as different points in shape space and comparisons of shapes can be formalized in terms of distances between these different points; see Fig. 1. One of the first examples of a shape space was pioneered in [46, 47] and takes the perspective that two shapes can be compared by first placing landmarks down on each shape. If these landmarks are related by a similarity transformation—a rotation or dilation—then they are regarded as the same shape. Non-identical shapes are then compared in an appropriately defined quotient space, assuming the number of landmarks are the same. Another popular model of shape space dispenses with the landmark selection process and considers shapes as immersed submanifolds [13] and then tries to compare them via diffeomorphisms of the ambient space, possibly generated by some optimal transport or control problem [26].
However, common to both the landmark and diffeomorphism-based approaches to shape space is a quotient operation that naturally lends a fiber bundle structure to these data representations and comparisons. Fiber bundles provide a convenient mathematical language for shape comparison, but previous work [43] also illustrates their insufficiency for general morphological comparison. Indeed, the implicit assumption for both of these models—and many more models for shape space discussed below in Sect. 1.1—is that the shapes under consideration have the same topology.
This assumption severely limits the applicability of these approaches to many datasets of interest. For example, in a dataset of fruit fly wings, some mutant flies have extra lobes of veins [56]; or, in a dataset of brain arteries, many of the arteries cannot be continuously mapped to each other [8]. Indeed, in large databases such as MorphoSource and Phenome10K [10, 33], the CT scans of skulls across many clades are not diffeomorphic or even homeomorphic. Although some methods have been developed to address these issues, a general theory of shape comparison is still lacking.
In this paper we introduce an algebraic construction of shape space that circumvents some of the problems discussed above. Topologically different subsets of \({\mathbb {R}}^d\) can be viewed simultaneously and compared in our framework. We accomplish this by passing from the land of fiber bundles to the world of sheaves, which replaces the local triviality condition of fiber bundles with the local continuity condition of sheaves. This passage requires two preparatory steps of categorical generalization:
-
(1)
Instead of a “base manifold” of shapes we work with a “base poset” of constructible sets \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) ordered by inclusion. This poset is equipped with a notion of continuity via a Grothendieck topology.
-
(2)
Each shape—that is, each point \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\)—is equivalently regarded via its persistent homology transform \({{\,\textrm{PHT}\,}}(M)\), which is an object in the derived category of sheaves \({\mathcal {D}}^b(\textbf{Shv}({\mathbb {S}}^{d-1}\times {\mathbb {R}}))\).
With these observations in place, our main result can be summarized as follows.
Theorem 1.1
The following assignment is a homotopy sheaf:
This is precisely stated and proved as Theorem 3.9 below. Intuitively, this result allows us to interpolate between shapes in a continuous way via their persistent homology transforms; continuity is mediated via a Grothendieck topology on \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\). More precisely, our main result establishes Čech descent for the persistent homology transform, which is a generalization of the sheaf axiom that holds for higher degrees of homology. In one concrete form, our main result implies the following theorem, which appears as Corollary 3.16 below.
Theorem 1.2
(Nerve Lemma for the PHT) If \( M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) is a polyhedron, i.e. it can be written as a finite union of closed linear simplices \( {\mathcal {M}} = \{\sigma _i\}_{i\in \Lambda }\), then the n-th cohomology sheaf of the PHT, i.e., the \(n^{th}\) PHT sheaf of Definition 2.21, written \({{\,\textrm{PHT}\,}}^n(M)\), is isomorphic to the n-th cohomology of the following complex of sheaves:
Here \({\mathcal {M}}_I\) with \(|I|=k\) denotes the disjoint union of depth k intersections of closed simplices appearing in the cover \({\mathcal {M}}\).
The importance of Theorem 1.2 (Corollary 3.16) is that it allows us to calculate the higher homology PHTs using only \({{\,\textrm{PHT}\,}}^0\) of elements in a PL covering. Since finding connected components in a filtration is computationally simpler—\({\mathcal {O}}(n\log n)\)—than calculating higher homology, this result illustrates how the theory of spectral sequences provides potential guarantees on computing the full PHT of a shape in all degrees. However, the ability to cover a shape by PL shapes, and thus approximate a shape using PL ones, is a necessary first step.
As such it is desirable to have an approximation result that is provably stable under the persistent homology transform. We do this by first proving a general stability theorem for the PHT—after introducing several new metrics in Sect. 4.1—under controlled homotopies. The following theorem appears as Theorem 4.11 below.
Theorem 1.3
(Stability of the PHT) Any two constructible sets \(M,N \in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^{d})\) that are homotopy equivalent via homotopies that move no point more than \(\varepsilon \) have \(\varepsilon \)-close PHTs of M and N.
Finally, using the sampling methods of [62], we show how to construct with high confidence a PL approximation of any nice enough submanifold of \({\mathbb {R}}^d\).
Corollary 1.4
(Approximation of the PHT) For any compact submanifold M and \(\varepsilon >0\) sufficiently small we can construct a polyhedron N so that with high probability \({{\,\textrm{PHT}\,}}(M)\) and \({{\,\textrm{PHT}\,}}(N)\) are \(\varepsilon \)-close. \({{\,\textrm{PHT}\,}}(N)\) can then be computed using Theorem 1.2.
1.1 Prior Work on Shape Space
We now outline in more detail prior approaches to shape space, in order to better situate the contributions of this paper. There is a rich history of using differential geometry for modeling shapes, dating back to Riemann [42], and the reader is encouraged to consult the survey articles [6] and [30] for more context there.
However, what follows is a woefully incomplete survey of the literature that tries to balance the theoretical study of shape space as well as the development of algorithms that are used in practice.
As already mentioned, the landmark-based approach to shape space was pioneered in the works of Kendall [46, 47] and was given a textbook-length treatment in Bookstein [9]. In this approach, a pre-shape is defined by a set of k landmark points in \({\mathbb {R}}^d\), where typically \(d = 2,3\). Comparing pre-shapes operates under the assumption that the i-th point in one shape corresponds to the i-th point in every other pre-shape; this introduces the central notion of correspondences in shape space and leads naturally to Procrustean distances, see [47] and more generally [24]. Shapes are then regarded as elements of the quotient space
where Sim is the group of rotations and dilations. Note that in \(\Sigma _d^k\) a shape is deduced from a \(d \times k\) matrix, which is a very convenient representation. However, the downside of this approach is that a user will need to decide on landmarks before analysis can be carried out, and reducing modern databases of 3-dimensional micro-computed tomography (CT) scans [10, 33] to landmarks can result in a great deal of information loss.
The second approach to shape space mentioned above really is a broader umbrella of techniques, but they are all connected by the use of larger, infinite-dimensional groups of deformations to compare and match shapes using an underlying template. Pulling on ideas from analysis, differential geometry, and probability theory, these approaches are sometimes gathered under the heading of “Pattern Theory”, see [35, 36] and [60]. In many of these approaches, the collection of shapes is regarded as a homogeneous space under the group of diffeomorphisms of \({\mathbb {R}}^d\). The difference between two shapes under this paradigm is encoded by the deformation that matches one shape to another. Theses differences can be measured algorithmically by solving a registration problem, with the large deformation diffeomorphic metric mapping (LDDMM) [4, 7, 41] being one such class of methods. These algorithms typically find the optimal one-parameter family of diffeomorphisms, parametrized by time, that smoothly transforms the initial shape to the target; the optimization problem considered is over paths with the least time integrated kinetic energy. The theory of these shape spaces typically involves the geometry (and Riemannian structure) on the infinite-dimensional space of immersions of a fixed template into \({\mathbb {R}}^d\), written \(\textrm{Imm}(M,{\mathbb {R}}^d)\), and the resulting, induced \(\textrm{Diff}(M)\)-invariant metrics [55, 61]. Although this viewpoint bypasses the need for landmarks, the resulting spaces of interest are infinite-dimensional.
There are many more approaches to shape comparison worth mentioning. In similar spirit to the above, there is elastic shape analysis [58, 70, 81] as well as approaches based on conformal geometry [67, 79], currents [74], and varifolds [14].
Although each of these make varying assumptions on the geometric rigidity of the underlying shapes, the approaches of [54] and [12] are notable for working with probabilistic variations on the Gromov-Hausdorff model for shapes, which is the most general and works for arbitrary metric spaces.
Finally, the shape space model that we propose builds on fundamental work of Schapira [65, 66], who implicitly developed the Euler characteristic transform (ECT), which was later developed alongside the persistent homology transform (PHT) in [73] to compare triangulable shapes. The ECT and PHT have two useful properties: standard statistical methods can be applied to the transformed shape and the transforms are injective [20, 31], so no information about the shape is lost via the transform. The utility of the transforms for applied problems in evolutionary anthropology, biomedical applications and plant biology were demonstrated in [3, 17, 72, 78].
1.2 Our Contribution to Shape Space Theory
Although [73] pioneered the use of the ECT and PHT for shape classification and machine learning, the algebraic relation between the transforms of varying shapes was not realized. In this paper we leverage the functoriality properties of homology to show how the PHT admits a finer organizing structure for the space of all triangulable shapes, ordered by inclusion. In this sense, we move beyond the particular mathematical properties proved in [20], to a broader outlook of how to move between shapes using a sheaf structure. Pinning down this structure occupies the bulk of the paper as it requires an unprecedented amount of algebra for shape space theory, including the first known contact with \(\infty \)-categories, currently isolated to Appendix A. Although the current paper is primarily directed towards developing the full algebraic picture of a PHT-based shape space, we have also made several innovations on the metrics and analysis side, with some preliminary comparison with Procrustes-type distances detailed in Sect. 4.2. A future research program for more systematically comparing our approach with the approaches in Sect. 1.1 is outlined in Sect. 5.
2 Background on Constructibility, Persistent Homology and Sheaves
In this section we recall background material from [20]. We proceed by defining the class of shapes that we want to work with—constructible sets (Definition 2.1)—then identify an increasingly refined set of topological transforms for studying these. The Euler characteristic transform (ECT), the simplest of them all, paves the way for the Betti curve transform (BCT) and Persistent Homology Transform (PHT).
2.1 O-Minimality
Although shapes in the real world can exhibit wonderful complexity, we impose a fairly weak tameness hypothesis that prohibits us from considering infinitely constructed shapes such as fractals and Cantor sets. This tameness hypothesis is best expressed using the language of o-minimal structures [75].
Definition 2.1
An o-minimal structure \({\mathcal {O}}= \{{\mathcal {O}}_d\}\), is a specification of a boolean algebra of subsets \({\mathcal {O}}_d\) of \({\mathbb {R}}^d\) for each natural number \(d\ge 0\). In particular, we assume that \({\mathcal {O}}_1\) contains only finite unions of points and intervals. We further require that \({\mathcal {O}}\) be closed under certain product and projection operators, i.e. if \(A \in {\mathcal {O}}_d\), then \(A\times {\mathbb {R}}\) and \({\mathbb {R}}\times A\) are in \({\mathcal {O}}_{d+1}\); and if \(A \in {\mathcal {O}}_{d+1}\), then \(\pi (A)\in {\mathcal {O}}_d\) where \(\pi : {\mathbb {R}}^{d+1}\rightarrow {\mathbb {R}}^d\) is axis aligned projection. It is a fact that \({\mathcal {O}}\) contains all semi-algebraic sets, but may contain certain regular expansions of these sets. Elements of \({\mathcal {O}}\) are called definable sets and compact definable sets are called constructible sets. The subcollection of constructible subsets in \({\mathcal {O}}_d\) is denoted \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\).
Intuitively, any shape that can be faithfully represented via a mesh on a computer is a constructible set. This is because every constructible set is triangulable [75]. This property also implies that certain algebraic topological signatures, such as Euler characteristic and homology, are well-defined for any constructible set.
2.2 Euler Characteristic and the Radon Transform
Any triangulable space M has a well-defined Euler characteristic, which is given by the formula
The fact that this is a topological invariant—meaning it is independent of the choice of triangulation—is a surprising, if not routine, exercise in homology theory, which stands as the deeper invariant that we will work towards. However, even this simple alternating count of cells can prove to be a powerful invariant for an embedded subset \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) when filtered in a given direction v; see the rightmost part of Fig. 2 for an example. This provides our first definition of a topological transform, which we will refine with other topological invariants in due course.
Definition 2.2
(ECT: Map Version) The Euler Characteristic Transform (ECT) of a constructible set \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) is the map that assigns to each direction \(v\in {\mathbb {S}}^{d-1}\) the piece-wise constant integer-valued function on \({\mathbb {R}}\) that records the Euler characteristic of the sublevel set of M in direction v, i.e.,
where \(M_{v,t}:=\{x\in M \mid x\cdot v \le t\}\) is the intersection of M with the half-space \(x\cdot v\le t\).
We note that since M is constructible and the equation defining a sub-level set is semi-algebraic—and hence definable—the intersection \(M_{v,t}\) is constructible as well, and thus has a well-defined Euler characteristic.
As our notation suggests, one can also view \({{\,\textrm{ECT}\,}}(M)\) as a function from \({\mathbb {S}}^{d-1}\times {\mathbb {R}}\) to \({\mathbb {Z}}\) that assigns to each pair \((v,t)\in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) the Euler characteristic \(\chi (M_{v,t})\). This perspective is important because it allows us to view the ECT as a type of integral transform, which takes a shape (viewed as an indicator function on \({\mathbb {R}}^d\)) and produces a function on \({\mathbb {S}}^{d-1}\times {\mathbb {R}}\)—a coordinate system built for tomographic comparison. To make this precise, we briefly review the key ingredients of Euler calculus [19], which treats Euler characteristic as a type of measureFootnote 1.
Definition 2.3
(Constructible Functions, Integration, Pushforward and Pullback, cf. [65]) If \(X\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\), then a constructible function is an integer valued function \(f:X \rightarrow {\mathbb {Z}}\) with only finitely many non-empty level sets, each of which are definable, and hence triangulable. We denote the subgroup of constructible functions on X by \(\text {CF}(X)\subset {\mathbb {Fun}}(X,{\mathbb {Z}})\).
If \(\varphi :X\rightarrow Y\) is a (tame) mapping between constructible sets, then we have pushforward \(\varphi _*:\text {CF}(X) \rightarrow \text {CF}(Y)\) and pullback \(\varphi ^*:\text {CF}(Y) \rightarrow \text {CF}(X)\) operations via
compactly-supported Euler characteristic.
Definition 2.4
(Radon Transform and ECT: Version 2) Let \(S\subset X\times Y\) be a closed constructible subset of the product of two constructible sets. Let \(\pi _X\) and \(\pi _Y\) be the projections onto the indicated factors. The Radon Transform with respect to S is a group homomorphism \({\mathcal {R}}_S:\text {CF}(X)\rightarrow \text {CF}(Y)\) defined by
Notice that by taking \(\phi = \mathbb {1}_M\) and \(S= \{(x,v,t)\in {\mathbb {R}}^d\times {\mathbb {S}}^{d-1}\times {\mathbb {R}}\mid x\cdot v \le t\}\) the Euler characteristic transform of M coincides with the Radon transform of its indicator function.
A celebrated theorem of Schapira [66] gives a criterion for determining the invertibility of the Radon transform \({\mathcal {R}}_S\) in terms of the Euler characteristic of the fibers of \(S\subset X \times Y\), when projected to each of these two factors:
Theorem 2.5
([66] Theorem 3.1) If \(S\subset X\times Y\) and \(S'\subset Y\times X\) have fibers \(S_x\) and \(S'_x\) in Y satisfying
-
(1)
\(\chi (S_x\cap S'_x)=\chi _1\) for all \(x\in X\), and
-
(2)
\(\chi (S_x\cap S'_{x'})=\chi _2\) for all \(x'\ne x \in X\),
then for all \(\phi \in {{\,\textrm{CF}\,}}(X)\),
In [20] this was used to prove that the Euler Characteristic Transform is injective.
Theorem 2.6
([20] Theorem 3.5) The Euler Characteristic Transform \({{\,\textrm{ECT}\,}}: {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d) \rightarrow {{\,\textrm{CF}\,}}(S^{d-1} \times {\mathbb {R}})\) is injective, i.e. if \({{\,\textrm{ECT}\,}}(M)={{\,\textrm{ECT}\,}}(M')\), then \(M=M'\).
2.3 Homology and the Betti Curve Transform
A useful algebraic summary of a constructible set \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) is homology in degree n with coefficients in a field \(\Bbbk \), written \(H_n(M;\Bbbk )\). Although there are many flavors of homology—simplicial, cellular, and singular, to name a few—for constructible sets they all agree.
As a reminder of the simplest version of homology—simplicial homology—one uses a triangulation of M to define the group of n-chains, written \(C_n(M;\Bbbk )\), which is the \(\Bbbk \)-vector space generated by all the n-simplices in the triangulation of M. Since an n-simplex can be viewed as a formal combination of \(n+1\) vertices \(\sigma =\{v_{i_0},\ldots ,v_{i_n}\}\), one has a natural map from n-chains to \(n-1\)-chains given by deleting one vertex at a time. To make this precise, and to operate over fields \(\Bbbk \ne {\mathbb {F}}_2\), we choose a local orientation of each simplex \(\sigma \). This amounts to specifying an ordering of the vertices so that we can present \(\sigma =[v_{i_0},\ldots ,v_{i_n}]\) as an ordered list rather than a set of vertices. The n-boundary operator \(\partial _n\) takes a basis vector \(\sigma \) to
where \({\hat{v}}_{i_j}\) indicates the vertex being deleted. Extending this definition linearly, one obtains a linear map \(\partial _n:C_n(M;\Bbbk ) \rightarrow C_{n-1}(M;\Bbbk )\). It is a tedious, but routine, check to verify that \(\partial _{n-1} \circ \partial _n=0\) for every \(n\ge 0\). This then guarantees that \({{\,\textrm{im}\,}}\partial _{n+1} \subseteq \ker \partial _n\), which allows us to define the \(n^{th}\) homology groupFootnote 2 of M as
The rank/dimension of the n th homology group of M is also called the n th Betti number \(\beta _n(M)\), and it serves as another topological invariant of M, which can be used to distinguish shapes such as the torus \({\mathbb {T}}\) and the 2-sphere \({\mathbb {S}}^2\), because \(\beta _1({\mathbb {T}})=2\) and \(\beta _1({\mathbb {S}}^2)=0\). Intuitively, the Betti numbers count the number of “holes” in each dimension. The circle \({\mathbb {S}}^1\), or the letter ‘A’ in Fig. 2, each have one hole in dimension 1 so \(\beta _1({\mathbb {S}}^1)=\beta _1(\text {`A'})=1\). Because the sphere \({\mathbb {S}}^2\) and the torus \({\mathbb {T}}\) have a hollow interior which disconnects the complement when viewed as a subset of \({\mathbb {R}}^3\), they each have a single two-dimensional “hole”, reflected in the calculation \(\beta _2({\mathbb {S}}^2)=\beta _2({\mathbb {T}})=1\). In general, a compact subset of \({\mathbb {R}}^d\) cannot have any “holes” in dimension d or higher, thus guaranteeing that \(\beta _{i}(M)=0\) for \(i\ge d\).
The Betti numbers also provide a “lift” of the Euler characteristic in the sense that it both refines the Euler characteristic via the formula
but it also distinguishes spaces that the Euler characteristic cannot, e.g. \(\chi ({\mathbb {T}})=\chi ({\mathbb {S}}^1)=0\), but \(\beta _1({\mathbb {T}})\ne \beta _1({\mathbb {S}}^1)\). Filtering in each direction also lifts the Euler characteristic transform.
Definition 2.7
(BCT: Map Version) The Betti Curve Transform (BCT) of a constructible set \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) associates to each direction \(v\in {\mathbb {S}}^{d-1}\) the vector of piece-wise constant integer-valued functions on \({\mathbb {R}}\) that record the Betti numbers of the sublevel set of M in direction v, i.e.,
2.4 Functoriality and the Persistent Homology Transform
Implicit in the definition of both the ECT and the BCT is the study of topological invariants of a 1-parameter family of spaces. Studying how these invariants vary as a function of the parameter \(t\in {\mathbb {R}}\) is the central idea of persistent topology. Of all the topological invariants discussed—Euler characteristic, homology, and Betti numbers—homology is far more structured than the other two. This is due to the functoriality of homology, which states that maps on spaces \(f:X\rightarrow Y\) induce maps on homology groups \(f_*:H_*(X)\rightarrow H_*(Y)\) and these maps compose correctly, i.e., if \(g:Y\rightarrow Z\) is another map, then the induced map on homology of the composition \((g\circ f)_*\) is the same as the composition of the induced maps \(g_*\circ f_*\). This is summarized by saying that homology in each degree i defines a functor \(H_i:\textbf{Top}\rightarrow \textbf{Vect}\) from the categoryFootnote 3 of topological spaces and continuous maps to the category of vector spaces and linear maps.
In traditional (sublevel set) persistent homology, one organizes the filtration of a shape M in direction v as a functor \(F_v:({\mathbb {R}},\le )\rightarrow \textbf{Top}\), where \(F(t):=M_{v,t}\) is the subset of M cut out by \(x\cdot v\le t\) and \(F(s\le t):M_s \subseteq M_t\) is the induced inclusion of these subsets. Post-composing the filtration functor with the homology functor defines the persistent homology of the filtration, written \({{\,\textrm{PH}\,}}_i(M_v):=H_i\circ F_v: ({\mathbb {R}},\le ) \rightarrow \textbf{Vect}\). It is a remarkable fact of representation theory [18] that whenever this functor lands in the sub-category of finite-dimensional vector spaces and maps, written \({{\,\textrm{PH}\,}}_i(M_v): ({\mathbb {R}},\le ) \rightarrow \textbf{vect}\), then persistent homology decomposes into a collection of indecomposable “building block” functors called interval modules, i.e., \(PH_i(M_v)\cong \bigoplus _I I^{n_I}_{\Bbbk }\), where each \(I^{n_I}_{\Bbbk }:({\mathbb {R}},\le )\rightarrow \textbf{vect}\) assigns \(\Bbbk ^{n_I}\) to points in the intervalFootnote 4\(I=[b,d)\), the identity map to \(I^{n_I}_{\Bbbk }(s\le t)\) whenever \(s,t\in [b,d)\), and outside of this interval the vector spaces and maps are 0. This multi-set of intervals \({\mathcal {B}}=\{(I,n_I)\}\) defines the barcode of \({{\,\textrm{PH}\,}}_i(M)\), which is alternatively represented as a persistence diagram; see Fig. 3. It should be noted that historically the first paper to introduce persistent homology and an efficient algorithm for its computation [28] did not utilize the decomposition result of [18], but rather used the barcode/persistence diagram representation as a convenient device for representing the ranks of each map on homology \({{\,\textrm{PH}\,}}_i(s\le t)\) for arbitrary \(s\le t\). This perspective was later formalized and generalized by [63], which observed that the persistence diagram can be defined as the Möbius inversion of the rank function.
Regardless of its theoretical grounding, the persistence diagram allows to metrize functors from \(({\mathbb {R}},\le )\) to \(\textbf{vect}\) using any one of many Wasserstein-type metrics, as explained in the next two definitions below.
Definition 2.8
(Persistence Diagram Space) The set of all possible persistence diagrams, written \({\mathbb {Dgm}}\), is the set of all countable multi-sets (sets with repetition allowed) of
where the number of points of the form \((b, \infty )\) and \((-\infty , d)\) are finite and \(\sum _{d-b<\infty } d-b <\infty \). Points of the form \((b,\infty )\) or \((-\infty ,d)\) are called essential classes and points of the form (b, d) where neither coordinate is \(\infty \) are called inessential classes. For sublevel set filtrations of a constructible set M, there are only inessential classes and essential classes of the form \([b,\infty )\). We can regard any persistence diagram \({\mathcal {B}}\) as a set rather than a multi-set by using a second coordinate to enumerate copies of each interval I, i.e., \({\mathcal {B}}=\{(I;j) \mid (I;j) \in {\mathbb {R}}^{2+}\times {\mathbb {N}}\}\) where j indicates the j th copy of I.
Definition 2.9
(Matchings and the p-Wasserstein Distances) Suppose \({\mathcal {B}}=\{(I;j)\}\) and \({\mathcal {B}}'=\{(I';j)\}\) are two persistence diagrams. A matching of these is a partial bijection \(\sigma :{\mathcal {B}}\rightarrow \mathcal {B'}\), i.e., a choice of subset \({\mathcal {M}}\subseteq {\mathcal {B}}\), called the domain \({{\,\textrm{dom}\,}}(\sigma )\), and an injection \(\sigma :{\mathcal {M}}\rightarrow {\mathcal {B}}'\). The complement of the domain of \(\sigma \) as \({{\,\textrm{dom}\,}}^c(\sigma ):={\mathcal {B}}{\setminus } {{\,\textrm{dom}\,}}(\sigma )\) and the complement of the image of \(\sigma \) as \({{\,\textrm{im}\,}}^c(\sigma ):={\mathcal {B}}'\setminus {{\,\textrm{im}\,}}(\sigma )\) together define the unmatched points of \(\sigma \). We then promote a partial bijection \(\sigma \) to an actual bijection via the introduction of diagonal images; a point \(I=(b,d)\in {\mathbb {R}}^{2+}\) where neither coordinate is \(\infty \) has a diagonal image \(\Delta (I)=(\frac{b+d}{2},\frac{b+d}{2})\). With this convention, a partial bijection \(\sigma :{\mathcal {B}}\rightarrow {\mathcal {B}}'\) becomes an actual bijection of augmented persistence diagrams \({\tilde{\sigma }}:{\mathcal {B}}(\sigma )\rightarrow {\mathcal {B}}'(\sigma )\) where
and
The map \({\tilde{\sigma }}\) now matches points that were previously unmatched by \(\sigma \) with their corresponding diagonal images. By abuse of notation, we simply write \(\sigma \) for the extended map \({\mathcal {B}}(\sigma )\rightarrow {\mathcal {B}}'(\sigma )\). If \(\sigma _j(I)\) denotes the \({\mathbb {R}}^{2+}\) coordinates of \(\sigma (I;j)\) and \(||I-\sigma _j(I)||_p\) is the \(\ell ^p\) metric on \({\mathbb {R}}^{2+}\), then the p-cost of this extended matching \(\sigma \) is
For every \(p\in [1,\infty ]\) we define the Wasserstein p -distance between two diagrams \({\mathcal {B}}\) and \({\mathcal {B}}'\) is then the infimum of this matching cost over all matchings, i.e.
We note that the Wasserstein \(\infty \)-distance is also called the bottleneck distance, for which we reserve the special notation
We now have enough preliminaries to provide the first, classical definition of the persistent homology transform.
Definition 2.10
(PHT: Map Version) Let \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) be a constructible set. The persistent homology transform of M is defined as the continuous map
where \({\mathbb {Dgm}}\) is equipped with some Wasserstein p-distance. See Figs. 2 and 4 for examples.
The Betti Curve Transform (BCT) in degree i of a shape M is determined by the PHT of M in degree i by associating to each vector v and filtration time t, the number of points up and to the left of (t, t) in the persistence diagram \({{\,\textrm{PHT}\,}}_i(M_v)\). The Euler Characteristic Transform (ECT) of M is then determined from the BCT of M via the usual formula:
Given the injectivity of the ECT (Theorem 2.6) the following is an immediate corollary.
Corollary 2.11
(PHT: Injectivity, cf. [20, 31]) If \({{\,\textrm{PHT}\,}}(M)={{\,\textrm{PHT}\,}}(N)\), then \({{\,\textrm{BCT}\,}}(M)={{\,\textrm{BCT}\,}}(N)\) and \({{\,\textrm{ECT}\,}}(M)={{\,\textrm{ECT}\,}}(N)\) and hence, by Theorem 2.6, \(M=N\).
2.5 Cohomology and Sheaf Theory
Alongside homology is an even more powerful topological invariant known as cohomology, which was formally introduced in 1935 along with its ring structure [2]. We will not go through a systematic development of cohomology, but will outline some of the key ideas and notation, as well as its historical context. This is important because cohomology had a strong influence on the development of sheaf theory [34], which was initiated by Leray as a prisoner of war (POW) in Austria from 1940–1945 [57].
For us, the distinction between homology and cohomology is immaterial because we typically consider finite-dimensional homology over a field \(\Bbbk \) and so homology and cohomology are isomorphic. Under this perspective, the difference between homology and cohomology is purely notational: we will now write \({{\,\textrm{PHT}\,}}^i(M)\) for the persistent homology transform in degree i, instead of \({{\,\textrm{PHT}\,}}_i(M)\), to reflect the switch from homology to cohomology, even though this has no effect on the persistence diagrams assigned to each vector v. As a reminder, the concepts introduced in Sect. 2.3 have vector space duals, where one associates to a triangulation of M the group of n-cochains \(C^n(M;\Bbbk )\), which consists of linear functionals on \(C_n(M;\Bbbk )\). The sequence of boundary operators \(\partial _n:C_n\rightarrow C_{n-1}\) then dualize to define (after re-indexing) a sequence of coboundary operators \(\delta ^n:C^n(M;\Bbbk ) \rightarrow C^{n+1}(M;\Bbbk )\), that together define the cochain complex \((C^{\bullet },\delta ^{\bullet })\). The homology of this cochain complex then defines the cohomology groups of M:
A subtle consequence of this dualization procedure is that functoriality of cohomology is reversed: a map \(f:X\rightarrow Y\) induces a map \(f^*:H^*(Y) \rightarrow H^*(X)\) in the opposite direction.
Leray was aware of these recent developments in cohomology theory and was particularly interested in developing a version of cohomology that did not depend on a triangulation or simplicial approximation. He was also motivated [57, §2] to develop a version of de Rham cohomology—based on differential forms—that could work for arbitrary topological spaces—and not just manifolds. In his POW papers [49,50,51], Leray developed the idea of assigning to each closed subset V of a topological space X a cochain complex \({\mathcal {F}}^{\bullet }(V)\). By considering \(V=\{x\}\) for each point \(x\in X\), one can then consider how the cohomology groups \(H^i({\mathcal {F}}^{\bullet }(x))\) vary across the space X.
It is now understood [21] that traditional persistent homology can be viewed as a special case of sheaf theory, in the sense that the filtration parameter space \({\mathbb {R}}\) indexes the (co)chain complexes of the spaces \(M_{v,t}\). Moreover, as first outlined in [20], sheaf theory also allows us to view the persistent homology transform (PHT) as a collection of (co)chain complexes parameterized by the entire parameter space \({\mathbb {S}}^{d-1}\times {\mathbb {R}}\). In this section we review this latter construction in more detail using the modern convention of sheaves defined on open sets, before moving onto the more general versions on sheaf theory—developed over the 80 years since Leray—that make our current contributions possible.
Definition 2.12
(Pre-Sheaves and Stalks) Let \({\mathbb {X}}\) be a topological space and let \(Open({\mathbb {X}})\) be the poset of open sets in \({\mathbb {X}}\). A pre-sheaf of vector spaces on \({\mathbb {X}}\) is a functor \({\mathcal {F}}:Open({\mathbb {X}})^{op}\rightarrow \textbf{Vect}\). We sometimes write \(\rho _{U,V}:{\mathcal {F}}(U)\rightarrow {\mathcal {F}}(V)\) for the restriction map associated to the inclusion \(V\subseteq U\). The stalk of a pre-sheaf at a point \(x\in {\mathbb {X}}\) is then defined as the direct limitFootnote 5 of \({\mathcal {F}}\) over all open sets containing x, i.e.,
One can think of the stalk at x as the “local picture” of \({\mathcal {F}}\) at x. This can be constructed rigorously as the vector space of equivalence classes under restriction, i.e., \(u\in F(U)\) and \(v\in F(V)\) are equivalent if \(\exists W\subseteq U\cap V\) with \(x\in W\) and \(\rho _{U,W}(u)=\rho _{V,W}(v)\).
Definition 2.13
(Čech Cohomology of a Cover) Given a pre-sheaf \({\mathcal {F}}\) and an open cover \({\mathcal {U}}=\{U_i\}_{i\in \Lambda }\) of an open set U, one has the Čech cochain complex associated to \({\mathcal {U}}\) where the n-cochains are given by the product over intersections of \(n+1\) cover elements, i.e.,
where we always assume \({\mathcal {F}}(\varnothing )=0\). The n th-coboundary operator is defined by specifying the contribution of a general element \(s\in {\check{C}}^n({\mathcal {U}};{\mathcal {F}})\) to the factor \(i_0,\ldots ,i_{n+1}\) in \({\check{C}}^{n+1}({\mathcal {U}};{\mathcal {F}})\). This is given by the formula
where \(\hat{i_j}\) denotes removal of that entry and the vertical line is the commonly accepted short hand for the application of the restriction map from \(U_{i_0,\dots ,\hat{i_j},\dots ,i_{n+1}}\) to \(U_{i_0,\ldots ,i_{n+1}}\).
Definition 2.14
(Sheaves) A pre-sheaf of vector spaces \({\mathcal {F}}\) is a sheaf if for every open set U and open cover \({\mathcal {U}}=\{U_i\}_{i\in \Lambda }\) we have that the value of \({\mathcal {F}}\) on U can be computed using the Čech cohomology of the cover:
This is a local-to-global principle, because it guarantees that a sheaf is always determined locally by a cover. More generally, one can define sheaves valued in categories that are not necessarily abelian, such as \(\textbf{Set}\), but where the categorical notion of an (inverse) limit makes sense. As a reminder, the limitFootnote 6 is a categorical operation that takes an entire diagram of objects—in this case the objects \({\mathcal {F}}(U_i)\)—and produces a single object that maps to each of the objects and commutes with the morphisms connecting the objects—in this case the restriction maps \({\mathcal {F}}(U_i) \rightarrow {\mathcal {F}}(U_{ij})\leftarrow {\mathcal {F}}(U_j)\). One then modifies the sheaf axiom to instead require that
It is well-known that the limit only depends on the objects \(\{{\mathcal {F}}(U_i)\}\) associated to the cover elements along with the objects associated to the pairwise-intersections \(\{{\mathcal {F}}(U_{ij})\}\), in similar spirit to how \(H^0\) only depends on the nodes and edges of a triangulated space. Higher order information, such as intersections of three or more elements, is ignored by the usual sheaf axiom.
Definition 2.15
Let \(\textbf{Dat}\) be a complete “data” category, i.e., all limits in \(\textbf{Dat}\) exist. Denote the category of pre-sheaves and sheaves on \({\mathbb {X}}\) valued in \(\textbf{Dat}\) by \(\textbf{PShv}({\mathbb {X}};\textbf{Dat})\) and \(\textbf{Shv}({\mathbb {X}};\textbf{Dat})\), respectively. Since every sheaf is a pre-sheaf there is a natural inclusion of categories
Under suitable hypothesesFootnote 7 on \(\textbf{Dat}\), the \({{\,\textrm{ps}\,}}\) has an “inverse”.Footnote 8 called sheafification
Typically we set \(\textbf{Dat}=\textbf{Vect}\) and let \(\textbf{Shv}({\mathbb {X}})\) denote the category of sheaves of vector spaces.
Example 2.16
(Constant and Locally Constant Sheaves) The pre-sheaf that assigns the vector space \(\Bbbk \) to every open set is not a sheaf because the value that should be associated to an open set \(U=U_1 \cup U_2\) with two components should be \(\Bbbk ^2\). The sheafification of this constant pre-sheaf is called the constant sheaf and is usually written \(\Bbbk \) as well. One can replace \(\Bbbk \) with any vector space \({\mathbb {V}}\) and obtain an analogous constant sheaf. Moreover, if a sheaf \({\mathcal {F}}\in \textbf{Shv}({\mathbb {X}})\) has the property that for each point \(x\in {\mathbb {X}}\) there is a neighborhood \(U_x\) so that \({\mathcal {F}}\) restricts to a constant sheaf on \(U_x\), then one calls \({\mathcal {F}}\) a locally constant sheaf or local system.
Remark 2.17
(Preservation of Stalks) It is a fact that sheafification preserves stalks, so the “local picture” of a pre-sheaf \({\mathcal {F}}\) is unchanged by this process and only the failure of the local-to-global principle is repaired.
Definition 2.18
(Pushforward and Pullback of Sheaves) Suppose \(f:{\mathbb {X}}\rightarrow {\mathbb {Y}}\) is a continuous map of spaces, \({\mathcal {F}}\) is a sheaf on \({\mathbb {X}}\), and \({\mathcal {G}}\) is a sheaf on \({\mathbb {Y}}\). The pushforward (or direct image) of \({\mathcal {F}}\) along f, written \(f_* {\mathcal {F}}\) is the sheaf that assigns to each open set \(V\in Open({\mathbb {Y}})\) the value \({\mathcal {F}}(f^{-1}V)\). Dually, the pullback (or inverse image) of \({\mathcal {G}}\) along f, written \(f^* {\mathcal {G}}\), is the sheaf associated to the pre-sheaf that assigns to every open set \(U\in Open(X)\) the “stalk at f(U)”:
These define functors
We now isolate a very important class of pushforward sheaves, which we call Leray sheaves.
Definition 2.19
(Leray Sheaves) Suppose \(f:{\mathbb {Y}}\rightarrow {\mathbb {X}}\) is a proper continuous map of spaces, then the i th Leray sheaf of f , written \(R^if_*\Bbbk \), is the sheaf associated to the pre-sheaf
For \(i=0\) this is just the pushforward of the constant sheaf, but for \(i\ge 1\) this definition arises naturally from the “derived” perspective considered in Sect. 2.6.
Remark 2.20
(Cohomology of the Fiber) As Remark 2.17 indicates, the stalk of the Leray pre-sheaf is preserved under sheafification. Consequently, if \(\varinjlim _{U\ni x} H^{i}(f^{-1}U))\cong H^i(f^{-1}(x))\), then this sheaf records the cohomology of the fiber. This last consequence follows from properness of f, which plays a key role in the proper base change theorem [40].
We now have enough language to describe the PHT sheaf-theoretically.
Definition 2.21
(PHT: Sheaf Version, cf. [20]) Let \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) be a constructible set. Associated to M is the auxiliary total space
The i th persistent homology transform sheaf of M, written \({{\,\textrm{PHT}\,}}^i(M)\), is the i th Leray sheaf of the map \(f_M:Z_M \rightarrow {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) that projects onto the last two factors. Since M is compact and \(f_M\) is a projection, we see that \(f_M\) is proper. By Remark 2.20, the stalk of the i th Leray sheaf at \((v,t)\in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) is isomorphic to the i th cohomology of the fiber i.e., \(H^i({f_M}^{-1}(v,t))\). See Fig. 5 for a stalk-wise picture of \({{\,\textrm{PHT}\,}}^0\) of the shape ‘V’, which was considered from the map perspective in Fig. 4.
Remark 2.22
If we restrict the sheaf \({{\,\textrm{PHT}\,}}^i(M)\) to the subspace \(\{v\}\times {\mathbb {R}}\), then one obtains a constructible sheaf that is equivalent to the persistent (co)homology of the filtration of M viewed in the direction of v. The persistence diagram in degree i is simply the expression of this restricted sheaf in terms of a direct sum of indecomposable sheaves.
Remark 2.23
(Iterated Pushforwards and the Equivariance Property) An advantage of the sheaf-theoretic definition of the PHT is that there are further operations that can be performed on it. For example, one can iterate the Leray sheaf construction for any change of coordinates of \({\mathbb {S}}^{d-1}\times {\mathbb {R}}\). For example, a rigid motion \(g\in \textrm{SO}(d)\), induces an action on the corresponding PHT sheaves \({{\,\textrm{PHT}\,}}^i(M)\) via pushforward along g. In particular, we have the following equivariance formula:
To prove the above formula, it suffices to show for any test open \(U\subseteq {\mathbb {S}}^{d-1}\times {\mathbb {R}}\),
The equality of the sets follows from the definition of the projection map \(f_M\) (Definition 2.21) and the fact that \(gx\cdot v = x\cdot g^{-1}v \) for any \(x\in M\) and \(v\in S^{d-1}\). In other words, filtering a shape rotated by g in direction v is equivalent to filtering the original shape in direction \(g\cdot v\). A similar expression can be shown for translations. In particular, if g represents translation by \(T\in {\mathbb {R}}^{d}\). Then it induces a map \(g:{\mathbb {S}}^{d-1}\times {\mathbb {R}}\rightarrow {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) by \((v,t) \mapsto (v,t+T\cdot v)\).
2.6 Derived Sheaf Theory
There is a third way of describing the persistent homology transform that requires the language of derived categories. In many ways this third perspective follows naturally the history of cohomology and sheaf theory. Cochain complexes of vector spaces generalize naturally to cochain complexes of sheaves, which motivated [80] the development of a unified theory that could handle cohomology and the related algebra of all these different situations. This led to the development of homological algebra, which was systematically laid out by Cartan and Eilenberg [29]. This was quickly followed by Grothendieck’s famous Tohoku paper [37], which introduced the general notion of an abelian category, where the concepts of (co)homology make sense. Grothendieck and his student, Verdier, then laid the groundwork for derived category theory, which permit certain dualities and where quasi-isomorphisms (isomorphisms on cohomology) are genuine isomorphisms. Verdier’s 1967 thesis, published later in two installments [76] and [77], crystallized the algebraic aspects of sheaf theory for nearly 50 years as it became the standard treatment used by textbooks, e.g., [44], to this day. However, our efforts to “glue” PHTs—carried out in Sect. 3—also illustrate the deficiencies of the derived category, cf. [38, p. 1261], and motivate [39] the \(\infty \)-category perspective outlined in our Appendix A.
We now recall one definition of the derived category, as there are many.
Definition 2.24
Let \({\textbf{A}}\) be an abelian category, in particular every morphism has a kernel and cokernel. Consider the category of bounded chain complexes of objects in \({\textbf{A}}\), written \({\mathcal {C}}^b({\textbf{A}})\). Associated to this category is the homotopy category \({\mathcal {K}}^b({\textbf{A}})\) of chain complexes, which has the same objects as \({\mathcal {C}}^b({\textbf{A}})\), but where morphisms are homotopy classes of chain maps. Recall that a chain map \(\varphi :(A^{\bullet },d_A) \rightarrow (B^{\bullet },d_B)\) is a quasi-isomorphism if it induces isomorphisms on all cohomology groups
Let \({\mathcal {Q}}\) denote the class of quasi-isomorphisms. The bounded derived category of \({\textbf{A}}\) is the localization of \({\mathcal {K}}^b({\textbf{A}})\) at the collection of morphisms \({\mathcal {Q}}\), i.e.
Remark 2.25
An alternative definition of the derived category makes use of the assumption that \({\textbf{A}}\) has enough injectives, i.e. every object in \({\textbf{A}}\) has an injective resolution or, said differently, every object in \({\textbf{A}}\) is quasi-isomorphic to a complex of injective objects. Under this assumption, the derived category of \({\textbf{A}}\) is equivalently defined as the homotopy category of injective objects in \({\textbf{A}}\), i.e.
Remark 2.25 provides an easier to understand prescription for working with the derived category. One simply takes an object, e.g. a sheaf, replaces it with it’s injective resolution and works with the resolution instead.
Definition 2.26
Suppose \(F:{\textbf{A}}\rightarrow {\textbf{B}}\) is an additive and left-exact functor, i.e. it commutes with direct sums and preserves kernels, then the total right derived functor of F, written \(RF:{\mathcal {D}}^b({\textbf{A}}) \rightarrow {\mathcal {D}}^b({\textbf{B}})\) is defined by
for \(I^{\bullet }\) an injective resolution of \(A^{\bullet }\). In general, one can substitute \(I^{\bullet }\) with any F-acyclic resolution of \(A^{\bullet }\). Such resolutions are said to be adapted to F.
We can now define the persistent homology transform as a derived sheaf.
Definition 2.27
(PHT: Derived Version, cf. [20]) Let \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) be a constructible set. Let \(Z_M\) be the auxiliary space construction from Definition 2.21. Let \(f_{M*}:\textbf{Shv}(Z_M) \rightarrow \textbf{Shv}({\mathbb {S}}^{d-1}\times {\mathbb {R}})\) be the pushforward (or direct image) functor along the projection map \(f_M:Z_M \rightarrow {\mathbb {S}}^{d-1}\times {\mathbb {R}}\). The derived PHT sheaf is
More explicitly we can describe this right-derived pushforward as follows: For a topological space \({\mathbb {X}}\) we let \({\mathcal {S}}^p(U;\mathbb {k})\) denote the group of singular p-cochains of \(U\subset {\mathbb {X}}\) with coefficients in \( \mathbb {k}\). Define \({\mathscr {S}}^p(X,\mathbb {k})= {{\,\textrm{sh}\,}}(U\mapsto {\mathcal {S}}^p(U;\mathbb {k}))\) where \({{\,\textrm{sh}\,}}\) stands for sheafification. The constant sheaf \(\mathbb {k}_{Z_{M}}\) admits a flabby resolution by singular cochains:
Because flabby resolutions form an adapted class for the pushforward functor [11] we can describe \({{\,\textrm{PHT}\,}}(M)\) as the pushforward of the complex of sheaves of singular cochains:
Taking i th cohomology of this complex—written \({\mathcal {H}}^i\) in the category of sheaves—produces the i th PHT sheaf of Definition 2.21.
2.7 Constructible Sheaves and their Functions
We finish our review of preliminary material by showing how our first two topological transforms—the Euler characteristic and Betti curve transforms—are recovered by the derived perspective. This is accomplished via the sheaf-to-function correspondence, which is best studied for constructible sheaves.
Definition 2.28
(Constructible and Cellular Sheaves) A sheaf \({\mathcal {F}}\in \textbf{Shv}({\mathbb {X}})\) is said to be constructible if there is a decomposition of \({\mathbb {X}}\) into definable subsets \(\{{\mathbb {X}}_{\alpha }\}\) so that for each \(\alpha \) the pullback of \({\mathcal {F}}\) along the inclusion \(i_{\alpha }:{\mathbb {X}}_{\alpha }\hookrightarrow {\mathbb {X}}\) produces a locally constant sheaf \(i^*_{\alpha } {\mathcal {F}}\in \textbf{Shv}({\mathbb {X}}_{\alpha })\), cf. Example 2.16. When the subsets \(\{{\mathbb {X}}_{\alpha }\}\) are cells in a triangulation of \({\mathbb {X}}\), we can equivalently express \({\mathcal {F}}\) as a cellular sheaf, which simply assigns a vector space to each cell \({\mathbb {X}}_{\alpha }\) and a linear map to each pair \({\mathbb {X}}_{\alpha }\subseteq \overline{{\mathbb {X}}_{\beta }}\); see [68] for the first description of cellular sheaves and [21] for a modern treatment.
In similar spirit, if \({\mathcal {F}}^\bullet \) is a complex of sheaves, e.g., a derived sheaf, then it is said to be cohomologically constructible if the cohomology sheaves \({\mathcal {H}}^i{\mathcal {F}}^\bullet \) are constructible for every i. A derived cellular sheaf then associates to each cell in a cellulation a complex of vector spaces and a chain map for every face-relation pair \({\mathbb {X}}_{\alpha }\subseteq \overline{{\mathbb {X}}_{\beta }}\).
We now show how to associate to a constructible function to a constructible sheaf.
Definition 2.29
(Euler-Poincaré and Hilbert Functions) Let \({\mathcal {F}}^\bullet \) be a complex of cohomologically constructible sheaves on \({\mathbb {X}}\). The local Euler-Poincaré index is the piecewise constant integer-valued function defined by
The first equality considers the stalks of the cohomology sheaves of \({\mathcal {F}}^{\bullet }\) and the second equality considers the cohomology of the stalk complex. By Remark 2.17 these are isomorphic and thus have the same dimension and Euler characteristic. In the simplest setting—constructible sheaves that are concentrated in a single cohomological degree—the local Euler-Poincaré index is just the Hilbert function—it records the dimension of the stalks of a sheaf.
For a constructible set M, the derived PHT sheaf \({{\,\textrm{PHT}\,}}(M)= R(f_M)_*\Bbbk _{Z_M}\) is constructible [20] and so by the above correspondence there is a constructible function associated to it.
Definition 2.30
(ECT and BCT: Sheaf-to-Function Version) The ECT of a constructible set M is the local Euler-Poincaré index of the derived PHT sheaf of Definition 2.27:
Similarly, the BCT in each degree i is just the Hilbert function of the i th PHT sheaf of Definition 2.21.
3 A Homotopy Sheaf on Shape Space
As mentioned in the introduction, we want to build a shape space using a sheaf-theoretic construction on the poset of constructible sets \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\). Naively one would like to prove that the association
is a sheaf, but there are two main obstacles.
The first obstacle is that a topology on \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) needs to be specified. Although sheaves on posets are well-defined via the Alexandrov topology—see [21] for a modern treatment—the poset under consideration is infinite and using the Alexandrov topology here would imply that a shape can be determined via a cover by its points; this is clearly impossible as there is not enough of an interface between points to determine homology. This first obstacle is neatly handled by restricting the types of covers we’re willing to consider—finite closed covers, to be precise—and is formalized using Grothendieck topologies and sites (Definition 3.3). However, the second obstacle is far more subtle and requires a departure from the usual sheaf axiom of Definition 2.14. To see why, we show that a candidate “local-to-global” principle for the Euler characteristic transform is simply the inclusion–exclusion principle (Theorem 3.1). This in turn motivates the need for a sheaf axiom that considers higher-order intersections, which we call the homotopy sheaf axiom or Čech descent (Definition 3.6). This then implies our main gluing result for the PHT (Theorem 3.9).
3.1 Inclusion–Exclusion for the ECT
As a reminder, Definition 2.4 presented the Euler characteristic transform as the Radon transform \({\mathcal {R}}_S\) associated to a particular relation \(S\subseteq X\times Y\), where \(X={\mathbb {R}}^d\) and \(Y={\mathbb {S}}^{d-1}\times {\mathbb {R}}\). One of the stated properties of the Radon transform is that it defines a group homomorphism
This allows us to prove an immediate inclusion–exclusion principle for the ECT.
Theorem 3.1
For a finite cover \({\mathcal {M}}=\{M_i\}_{i\in \Lambda }\) of \(M \subset {\mathbb {R}}^d\) by constructible subsets
where each \(M_I\) denotes the intersection \(M_{i_1}\cap M_{i_2} \cap \cdots \cap M_{i_k}\) for \(I=(i_1,\ldots ,i_k)\).
Proof
The inclusion–exclusion principle allows us to write the indicator function as
Linearity of the Radon transform then implies that
which is the expression using ECTs written above. \(\square \)
Remark 3.2
If we take the sheaf-to-function correspondence of Sect. 2.7 seriously, then Theorem 3.1 should be viewed as a decategorification of a deeper sheaf-theoretic result:
However, unlike the sheaf axiom of Definition 2.14, this summary operation cannot only use the \(M_i\) and their pairwise intersections \(M_{ij}\). Indeed the inclusion–exclusion result of Theorem 3.1 says that all higher order terms must be considered. This summary operation is accomplished by the homotopy limits of Definition 3.5 or via limits in the derived \(\infty \)-category (Appendix A).
3.2 Sites and Homotopy Sheaves
Grothendieck topologies provide a way of generalizing sheaves to contravariant functors on a general category \({\mathcal {C}}\), like the poset \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\). Covers of an open set are replaced with collections of morphisms that have certain “cover-like” properties.
Definition 3.3
(Grothendieck Pre-topology, cf. [5]) Let \({\mathcal {C}}\) be a category with pullbacks. A basis for a Grothendieck topology (or a pre-topology) on \({\mathcal {C}}\) requires specifying for each object \(U\in {\mathcal {C}}\) a collections of admissible covers of U. This collection of covers must be closed under the following operations:
-
(1)
(Isomorphism) If \(f:U'\rightarrow U\) is an isomorphism then \(\{f:U' \rightarrow U\}\) is a cover.
-
(2)
(Composition) If \(\{f_i: U_i\rightarrow U\}\) is a cover of U and if for each i we have a cover \(\{g_{i,j}:U_{i,j} \rightarrow U_{i}\}\) then the composition \(\{f_i\circ g_{i,j}: U_{i,j}\rightarrow U\}\) is also a cover.
-
(3)
(Base Change) If \(\{f_i:U_i \rightarrow U\}\) is a cover and \(V\rightarrow U\) is any morphism then the pullback \(\{\pi _i: V\times _U U_i \rightarrow V \} \) is a cover as well
As the name suggests, the above data specifies a genuine Grothendieck topology on \({\mathcal {C}}\). A category equipped with a Grothendieck topology is known as a site.
Remark 3.4
(Sheaves on Sites) The classical definition of a pre-sheaf and sheaf can now be generalized to a site. A functor \({\mathcal {F}}:{\mathcal {C}}^{op}\rightarrow \textbf{Dat}\) is a pre-sheaf. If \(\textbf{Dat}\) has all limits, we say a pre-sheaf is a sheaf if for every object \(U\in {\mathcal {C}}\) and cover \({\mathcal {U}}=\{f_i: U_{i} \rightarrow U\}\)
Here equality means isomorphic up to a unique isomorphism and \(U_{ij}\) is the pullback of \(f_j: U_j\rightarrow U\) along \(f_i:U_i \rightarrow U\) for any pair of morphisms \(f_i\) and \(f_j\) that participate in the cover \({\mathcal {U}}\).
Unfortunately the functor \({\mathcal {F}}\) specified in Theorem 1.1 is valued in the derived category of sheaves on \({\mathbb {S}}^{d-1}\times {\mathbb {R}}\). It is well-known among experts that the derived category \({\mathcal {D}}^b({\textbf{A}})\) of an abelian category \({\textbf{A}}\) is not abelian. Candidate kernels and co-kernels do not have canonical inclusion and projection maps, but one can work with so-called distinguished triangles instead. More generally, we can describe a sheaf axiom whenever the notion of a homotopy limit makes sense in the target category \(\textbf{Dat}\). We recall a special case of this construction for \(\textbf{Dat}={\mathcal {D}}^b({\textbf{A}})\).
Definition 3.5
(Homotopy Limits) Given an inverse system of objects \((K_n,f_n)\) in \({\mathcal {D}}^b({\textbf{A}})\)
an object K is a homotopy limit if there is a distingushed triangle in the derived category
The shift map being given by \((k_n) \mapsto (k_n - f_{n-1}(k_{n-1}))\). We note that the homotopy limit is not necessarily unique and so we say that S is a homotopy limit rather than it is the homotopy limit.
We can now define sheaves valued in the derived category.
Definition 3.6
(Homotopy Sheaf) A pre-sheaf \({\mathcal {F}}:{\mathcal {C}}^{op}\rightarrow {\mathcal {D}}^b({\textbf{A}})\) is a homotopy sheaf (or satisfies Čech descent [25]) if for every object \(U\in {\mathcal {C}}\) and cover \({\mathcal {U}}=\{U_i \rightarrow U\}\) the following map is a quasi-isomorphism:
3.3 Gluing Results for the PHT
We can now prove our main results.
Lemma 3.7
The poset \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) admits the structure of a site.
Proof
For every object \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) we say that \(\{M_i \hookrightarrow M\}\) is a covering if it is a finite closed cover of M in the usual sense, i.e. \(\cup M_i = M\). Pullbacks exist by virtue of the fact that o-minimal sets are closed under intersection. \(\square \)
Lemma 3.8
The following assignment is a pre-sheaf
where \({{\,\textrm{PHT}\,}}(M)\) is the derived sheaf version of the PHT; see Definition 2.27.
Proof
We want to show that \({\mathcal {F}}\) is a contravariant functor. Let be an inclusion of constructible sets of \({\mathbb {R}}^d\). Note that \( M_1 \) is a closed subspace of \( M_2 \). This induces an inclusion of the auxiliary total spaces of Definition 2.21. This in turn determines a morphism of pre-sheaves \(f_{M_2 *}{\mathcal {S}}^j(Z_{M_2};\mathbb {k})\rightarrow f_{M_1 *}{\mathcal {S}}^j(Z_{M_1};\mathbb {k})\) for all j. To see this, take an open \(U\subset {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) and observe that \(f_{M_1}^{-1}(U)\) is open in \( f_{M_2}^{-1}(U)\). More generally, for \(U\subset V\) in \({\mathbb {S}}^{d-1}\times {\mathbb {R}}\) we have a commutative diagram of cochain groups:
Since sheafification is a functor, we get a morphism \(f_{M_2 *} {\mathscr {S}}^j(Z_{M_2};\mathbb {k})\rightarrow f_{M_1 *}\) \({\mathscr {S}}^j(Z_{M_1};\mathbb {k})\) for all j. These fit together into a morphism between complexes of sheaves:
The canonical functor from \({\mathcal {C}}^b({\textbf {Shv}}({\mathbb {S}}^{d-1}\times {\mathbb {R}}))\rightarrow {\mathcal {D}}^b({\textbf {Shv}}({\mathbb {S}}^{d-1}\times {\mathbb {R}}))\) then induces the desired restriction morphism between derived PHT sheaves:
\(\square \)
The following is the main result of the paper, which was stated as Theorem 1.1 in the introduction. We give a direct proof below, but Remark 3.13 gives a more intuitive and computationally flavored proof using spectral sequences.
Theorem 3.9
The pre-sheaf \({\mathcal {F}}\) of Lemma 3.8 is a homotopy sheaf; see Definition 3.6.
Proof
We have already specified a Grothendieck topology on \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) in Lemma 3.7. Let \({\mathcal {M}}=\{M_i\}_{i\in \Lambda }\) be a finite closed cover of M. Since \({\mathcal {F}}\) is a pre-sheaf we have an inverse system of derived sheaves:
We wish to show that \(Rf_{M *}\mathbb {k}_{Z_M}\) is the homotopy limit of the above inverse system of derived sheaves, i.e. we want to show that
By replacing each \(Rf_{M_I *}\mathbb {k}_{Z_{M_I}}\) with its flabby resolution by singular cochains it suffices to prove that the following is a distinguished triangle:
To show this we consider the following maps of complexes of sheaves:
Where we drop the coefficient \(\mathbb {k}\) for convenience. For every \((v,t)\in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\), these morphisms induce a sequence on stalks, which give rise to a sequence of cochain complexes
where \((M_I)_{v,t}\) is the intersection of \(M_I\) with the half-space \(\{x\mid x\cdot v \le t\}\). The kernel of the shift map at each stalk is clearly the cochain complex of small co-chains \(S^{{\varvec{\cdot }}}_{{\mathcal {M}}_{v,t}}(M_{v,t})\); these are cochains supported on singular simplices that are individually contained in some cover element \( (M_i)_{v,t} \) of the fiber \(M_{v,t}\). Consequently, we have the following distinguished triangle
where \({\mathscr {S}}_{\mathcal {M}}^{\varvec{\cdot }} (Z_M)\) is the sheaf of cochains supported in the cover.
We now show we can replace \( f_{M*}{\mathscr {S}}_{{\mathcal {M}}}^{\varvec{\cdot }}(Z_M)\) with \( f_{M*}{\mathscr {S}}^{\varvec{\cdot }}(Z_M)\) above. For any \((v,t) \in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\), we show the inclusion of cochain complexes
is a quasi-isomorphism. Since a map of (derived) sheaves is an isomorphism if and only if it induces an isomorphism on stalks [44, Prop. 2.2.2], we can conclude \( f_{M*}{\mathscr {S}}_{{\mathcal {M}}}^{\varvec{\cdot }}(Z_M)\) and \( f_{M*}{\mathscr {S}}^{\varvec{\cdot }}(Z_M)\) are isomorphic.
To prove inclusion (3.11) is a quasi-isomorphism, we appeal to simplicial cohomology. By the Triangulation Theorem (Theorem 2.9 in [75]) we can triangulate \(M_{v,t}\) in a way that is subordinate to the closed cover \(\{(M_I)_{v,t}\}\) for arbitrary (yet finite) intersections \(M_I\). Simplicial cochains for this triangulation form a sub-cochain complex of \(S^{{\varvec{\cdot }}}_{{\mathcal {M}}_{v,t}}(M_{v,t})\), but the triangulation can be used to compute cohomology of \(M_{v,t}\). This completes the proof. \(\square \)
Remark 3.12
(Proof via infinity categories.) There is yet another perspective to the homotopy sheaf axiom. This can be seen by promoting the derived category of sheaves on \({\mathbb {S}}^{d-1}\times {\mathbb {R}}\) to the derived infinity category. In Appendix A we show that our desired sheaf axiom for finite covers is automatically satisfied.
We now show how Theorem 3.9 can be inferred from a simple spectral sequence argument.
Remark 3.13
(Proof via Spectral Sequences) By Theorem 4.4.1 of Godemont [32] there is a resolution of \(\mathbb {k}_{Z_M}\) using the cover of \(Z_M\) by \(\{Z_{M_I}\}\). As such there is a weak equivalence (quasi-isomorphism)
Applying the right derived pushforward functor preserves this weak-equivalence. This already proves, in essence, Čech descent for the PHT. More specifically, the homotopy sheaf axiom is witnessed via a first quadrant spectral sequence. To see this, observe that the sequence of chain complexes in (3.10) can be unpacked to be the double complex given by complex of stalks of the pushforward of singular cochain resolution to sequence (3.14).
In practice, the spectral sequence gives a method of computing the PHT of M at a point (v, t). Passing to stalks the first quadrant of the \(E_1\) page reads
Call this complex \( C^n({\mathcal {M}}_{v,t};H^q(\mathbb {k}_{\mathcal {M}})) \) where \( H^q(\mathbb {k}_{\mathcal {M}}):I\rightarrow H^q(M_{I,v,t}) \) is a system of coefficients, i.e. a cellular sheaf on the nerve of \({\mathcal {M}}\). Taking cohomology of this complex horizontally gives us the \( E_2 \) page of the spectral sequence. Theorem 5.2.4 of [32] guarantees that we converge to the cohomology of \(M_{v,t}\).
We now reconsider Theorem 3.1 from this spectral sequence perspective.
Remark 3.15
(Redux of the Inclusion–Exclusion Principle for the ECT) The inclusion–exclusion principle expression for the indicator function
is exactly the local Euler-Poincaré index of Godemont’s resolution from Eq. 3.14. The Radon transform expression
is exactly the local Euler-Poincaré index of the pushforward of the resolution in Eq. 3.14. Checking on stalks reveals that for any \((v,t)\in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\)
We now illustrate the power of the spectral sequence approach in the following corollary, which was previously stated as Theorem 1.2 in the introduction.
Corollary 3.16
Suppose \( M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) is a polyhedron and suppose \( {\mathcal {M}} = \{M_i\}_{i\in I}\) is a cover of M by PL subspaces, then \({{\,\textrm{PHT}\,}}^n(M) \) is the n-th cohomology of the complex,
where the \(\cdots \) represents \({{\,\textrm{PHT}\,}}^0\) of higher intersection terms.
Proof
By examining the \(E_1\) page of the spectral sequence in Remark 3.13 one can see that for a PL cover, the higher homologies, i.e. the higher PHTs, all vanish. Consequently the spectral sequence collapses after the \(E_1\) page. \(\square \)
Remark 3.18
It should be noted that positive scalar curvature of a constructible set M (when defined) obstructs Theorem 3.16 from being directly applied. The cover elements may necessarily have higher homology when viewed in a direction along the normal vector to the point with positive scalar curvature. See Fig. 6 for an example.
We conclude this section with a detailed example that leverages the spectral sequence argument of Remark 3.13.
Let \( M={\mathbb {S}}^1 \) be the unit circle in \( {\mathbb {R}}^2 \). Define a covering \( {\mathcal {M}} =\{A,B\} \) by two closed half-circles, as indicated in Fig. 7. First, we compute the PHT of each of the cover elements and their intersection. Because our PHT sheaves are on \({\mathbb {S}}^1\times {\mathbb {R}}\) we can project this cylinder onto the plane \({\mathbb {R}}^2\) by following the instructions in the caption of Fig. 8.
Now for every point \( (v,t)\in {\mathbb {S}}^1\times {\mathbb {R}}\) we write out the spectral sequence in Remark 3.13. For example, let \( (v,t)= (\uparrow ,0) \), then the \( E_1 \) page of the spectral sequence works out to be:
This spectral sequence collapses after the \(E_2\) page and converges to \( H^*(M_{v,t};\mathbb {k}) \). And so for this example taking cohomology horizontally gives us that \( H^0(M_{v,t};\mathbb {k})=\mathbb {k}\) and \( H^1(M_{v,t};\mathbb {k})=0 \). Since the PHT is a sheaf we can can do this at all (v, t) to find \( PHT^{*}(M) \). Figure 9 shows the PHT of M.
3.4 Relative PHT and ECT
We showed how to construct the PHT of a shape by gluing PHTs that from a cover. Intuitively this corresponds to “adding” several PHTs together in a precise way. A natural question to consider is if there is a process for “subtracting” one PHT from another. This is accomplished by using relative cohomology.
Definition 3.19
(Relative PHT) Let \( M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) be a constructible set and suppose \(N\subset M\) is a closed constructible subset of M The relative PHT is defined to be the sheaf over \({\mathbb {S}}^{d-1}\times {\mathbb {R}}\) defined by
The stalk at \((v,t)\in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) is the relative cohomology of the pair \((M_{v,t},N_{v,t})\).
To prove that this definition suitably “subtracts” one PHT from another, consider the long exact sequence of pairs:
Exactness at stalks implies exactness of sheaves and so we have the following long exact sequence of PHT sheaves:
Similarly, we can also interpret the long exact sequence of pairs given in Eq. 3.20 from the point of view of Euler characteristic.
Definition 3.21
(Relative ECT) The relative ECT of a pair (M, N) where N is a constructible subset of M is the function associated to the relative PHT sheaf under the function-to-sheaf correspondence. That is for all \((v,t)\in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\),
Subtraction of ECTs characterizes the relative Euler Characteristic Transform.
Lemma 3.22
For closed and constructible \(N\subset M\)
Proof
Recall the LES of a pair from Eq. 3.20,
The long exact sequence implies that
which can be rewritten as
\(\square \)
4 Metrics, Stability and Approximation Theory for the PHT
Aside from the intrinsic theoretical interest in a gluing result for the PHT, a practical motivation is to parallelize PHT computations over a cover. This parallelization inevitably becomes more complex if our cover elements have higher homology when viewed in certain directions and at certain filtration values. See Fig. 6 for an example. This motivates our need to replace our shapes with piecewise-linear (PL) approximations. The main result of this section proves that, up to some tolerance, we can always approximate a submanifold \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) via a PL shape K so that the PHT’s of M and K are arbitrarily close. This requires several preparatory steps. Firstly, we introduce several novel distancesFootnote 9 on the PHT and prove that the PHT is stable under small perturbations of the underlying shape. This stability property reaffirms our belief that the PHT is a good summary statistic for shapes. We also carry out some calculations for especially simple shapes (finite point clouds in \({\mathbb {R}}^d\)) and compare these calculations with the Procrustes distance. Secondly, we use the sampling procedure from Niyogi-Smale-Weinberger [62] to approximate a submanifold of \({\mathbb {R}}^{d}\) by a (PL) polyhedron. Finally, we conclude from the stability theorem that the PHT of the polyhedron is close to the PHT of the submanifold.
4.1 Distances on PHTs
In this section, we define distances on PHTs using both the sheaf perspective (Definition 2.27) and the map to persistence diagram space (Definition 2.10) perspective. We start with the sheaf perspective as the interleaving distance we introduce is more involved algebraically, but it is also simplest for proving our main stability result. Bounds on the interleaving distance then imply bounds on certain Wasserstein-type distances, but not others.
4.1.1 Interleaving-Type Distances on the PHT
As first introduced in [15], the interleaving distance provides a powerful generalization of the Hausdorff distance to functors from \(({\mathbb {R}},\le )\) to an arbitrary data category \(\textbf{Dat}\). When \(\textbf{Dat}=\textbf{vect}\), the celebrated isometry theorem of [52] proves that this distance is equivalent to the bottleneck distance (cf. Definition 2.9), which due to its combinatorial structure as a matching problem can be computed in polynomial time. However, the interleaving distance is far more general and permits the construction of distances in more general categorical settings, where no easy distance is to be found. Following a suggestion of Patel, the interleaving distance for sheaves first appeared in [21, §15], then for cosheaves of sets over \({\mathbb {R}}\) (equivalent to Reeb graphs) in [22], and finally for derived sheaves over vector spaces in [45] as the convolution distance.
In parallel to these developments was the thesis work of Stefanou [71], which generalized the interleaving distance to any category equipped with an action of \([0,\infty )\) on it—also called a category with a flow [23]. This action is used to send any object F to its forward evolution \(F^{\epsilon }\). With this in hand, one defines an \(\epsilon \)-interleaving (or \(\epsilon \)-isomorphism [45, Def. 2.2]) between two objects F and G to be any commutative diagram of the form
although [23, 71] consider more general diagrams then this one. Regardless of the particulars, one defines the interleaving distance \(d_I(F,G)\) to be the infimum over all \(\epsilon \in [0,\infty )\) where such diagrams exist. If there is no such diagram relating two objects, then \(d_I(F,G)=\infty \).
Returning to interleavings of pre-sheaves, the suggestion of Patel was to define the \(\varepsilon \)-thickening/smoothing of a presheaf on a metric space X to be \(F^\varepsilon (U)=F(U^\varepsilon )\), where \(U^\varepsilon \) is the thickening of an open set by \(\epsilon \ge 0\). This has a very similar effect as Kashiwara and Schapira’s [45] convolution with the constant sheaf supported on the closed ball of radius \(\varepsilon \). However, for our applications we leverage the more general perspective of [23] to work with a specialized shift operation in order to define our interleavings, which differs from both [22] and [45].
Definition 4.1
(\(\varepsilon \)-Shift of the Derived PHT) The \(\varepsilon \) -shift of the derived PHT sheaf of a shape \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) is
where \(Z_{M^{\varepsilon }}\) is an \(\varepsilon \)-shift of the set \(Z_M\) in the filtration parameter, i.e.,
The map \(f_{M^\varepsilon }\) is the usual projection of \(Z_{M^{\varepsilon }}\) onto its last two factors. Notice that if \((x,v,t)\in Z_M\), then it certainly is contained in \(Z_{M^{\varepsilon }}\), which implies that \(Z_M \subseteq Z_{M^{\varepsilon }}\). By functoriality of cohomology, there is a restriction map of constant sheaves \(\Bbbk _{Z_{M^{\varepsilon }}} \rightarrow \Bbbk _{Z_{M}}\) and thus a map of sheaves \({{\,\textrm{PHT}\,}}(M)^{\varepsilon }\rightarrow {{\,\textrm{PHT}\,}}(M)\). Further details that this defines an \(\epsilon \)-shift functor, starting on the image of \({{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)^{op} \rightarrow {\mathcal {D}}^b(\textbf{Shv}({\mathbb {S}}^{d-1}\times {\mathbb {R}}))\), which further satisfies the axioms of [23] is left to the reader. Note that an \(\varepsilon \)-shift of the derived PHT sheaf is still a derived sheaf although it might not correspond to the PHT of any particular shape.
Since our sheaves are defined used cohomology, our interleaving diagram goes in the opposite direction of the one stated above, thus closer in spirit to the interleaving diagrams of [21, §15] and [45].
Definition 4.2
(Interleaving Distance between PHTs) Let \(M, N \in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^{d})\). An \(\varepsilon \)-interleaving of \({{\,\textrm{PHT}\,}}(M)\) and \({{\,\textrm{PHT}\,}}(N)\) is a pair of morphisms \(\varphi : {{\,\textrm{PHT}\,}}(M)^\varepsilon \rightarrow {{\,\textrm{PHT}\,}}(N)\) and \(\psi : {{\,\textrm{PHT}\,}}(N)^\varepsilon \rightarrow {{\,\textrm{PHT}\,}}(M) \) such that the following diagram is commutative:
The arrows \({{\,\textrm{PHT}\,}}(M)^{2\varepsilon } \rightarrow {{\,\textrm{PHT}\,}}(N)^{\varepsilon }\) and \({{\,\textrm{PHT}\,}}(N)^{2\varepsilon }\rightarrow {{\,\textrm{PHT}\,}}(M)^{\varepsilon }\) being given by the image of \(\varphi \) and \(\psi \) under the \(\epsilon \)-shift functor. The interleaving distance between PHT sheaves is then
If no such interleaving exists, then \(d_I({{\,\textrm{PHT}\,}}(M),{{\,\textrm{PHT}\,}}(N))=\infty \).
4.1.2 Wasserstein-Type Distances on the PHT
We can also define a metric on the \({{\,\textrm{PHT}\,}}\)s viewed as map (Definition 2.10). This is a generalisation of the p-PHT distance in [69, Definition 5.4]. Let \({{\,\textrm{PH}\,}}^i(M,v)\) be the persistence diagram in degree i associated to shape M with sub-level set filtration given by the height function in direction \(v\in {\mathbb {S}}^{d-1}\), i.e. \(h_v(x)=x\cdot v\).
Definition 4.4
((p, q)-PHT distance) The (p, q)-PHT distance between \(M,N\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^{d})\) for \(p,q\ge 1\) in degree i for \(i>0\) and is defined as:
where \(\mu \) is the Lebesgue measure on \({\mathbb {S}}^{d-1}\). When \(q=\infty \),
Note that when \(p=\infty \), we have the bottleneck distance between persistence diagrams.
Below, we consider the cases where \(p=2\) or \(p=\infty \), i.e., the Wasserstein 2-distance or the bottleneck distance on diagrams. Additionally, we will restrict ourselves to \(q=2\), which computes the squared average diagram distance over all directions, or \(q=\infty \), which takes the biggest diagram distance over all directions. We refer to \(d^{{{\,\textrm{PHT}\,}}^i}_{\infty ,\infty }\) as the PHT bottleneck distance in degree i. The next lemma explains the relationship between the PHT sheaf interleaving distance and the PHT bottleneck distance.
Lemma 4.5
Proof
Evaluating diagram 4.3 on stalks \((v,t)\in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) gives
This can be interpreted as an \(\varepsilon \)-interleaving of persistence modules in degree i obtained by filtering M, N in direction v. The isometry theorem [16, 52] guarantees that the interleaving distance between persistence modules is equal to the the bottleneck distance between their corresponding persistence diagrams. In other words,
where \({\mathcal {W}}_{\infty }^i\) is the bottleneck distance in degree i. \(\square \)
4.2 Comparison with Other Distances on PHTs and Shape Spaces
We now proceeed to compute the above mentioned distances on some simple examples and attempt a comparison with other shape space metrics, primarily the Procrustes distance. A more detailed computation of the PHT of the two embeddings of the letter ‘V’ from Fig. 4 is carried out in Example 4.14 in Sect. 4.3 after our main stability result is proved.
4.2.1 Distances Between Point Clouds
We begin with the simplest possible shapes: a finite collection of points in \({\mathbb {R}}^d\). It should be noted that one quirk of the persistent homology transform is that it is very sensitive to the global homology of a shape. Consequently, if two point clouds have differing numbers of points and no further construction is performed on them, then their PHTs are infinitely far apart. To this end, let \(A=\{a_1,\cdots , a_n\}\) and \(B=\{b_1,\cdots , b_n\}\) be two point clouds in \({\mathbb {R}}^d\).
Proposition 4.6
If \(A= [a_1,\cdots a_n]\) and \(B=[b_1,\cdots , b_n]\) are point clouds regarded as matrices where the vectors that coordinatize each point are stored as columns, then
where \(\Vert \cdot \Vert _F\) and \(\Vert \cdot \Vert _\infty \) stands for the Frobenius norm and Schatten \(\infty \)-norm of a matrix respectively.
Proof
To prove Eq. 4.7, we prove that the sheaf interleaving distance is equal to the max bottleneck distance over all directions. By Lemma 4.5, we have that an \(\varepsilon \)-interleaving of PHT sheaves implies that the \((\infty ,\infty )\)-PHT distance is less than \(\varepsilon \). Suppose the latter distance is \(\varepsilon \) in degree 0, since the sublevel sets are finite point sets, for any \(v\in {\mathbb {S}}^{d-1}\) and \(t\in {\mathbb {R}}\) the following diagram commutes,
Since the sets in the above diagram are finite, it extends to a commutative diagram for every open \(U\in {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) and so, by the functoriality of the right derived functor there is an \(\varepsilon \)-interleaving of \({{\,\textrm{PHT}\,}}(A)\) and \({{\,\textrm{PHT}\,}}(B)\). So, \(d_I({{\,\textrm{PHT}\,}}(A),{{\,\textrm{PHT}\,}}(B)) = d^{{{\,\textrm{PHT}\,}}^0}_{\infty ,\infty }(A,B) \). For the case of points sets, the PHT Bottleneck distance turns out to be:
To prove Eq. 4.8, we need to calculate,
where \(\mu \) is the Lebesgue measure on \({\mathbb {S}}^{d-1}\). Let \(X_i=a_i-\phi (a_i)\), and so rewriting the above expression in terms of matrices gives,
where Y is \(\sum _{i=1}^nX_iX_i^T\). The integral \(A:=\int _{v\in {\mathbb {S}}^{d-1}} vv^T \ d\mu \) is invariant under conjugation by orthogonal matrices, since the sphere is rotationally invariant. So, in particular for orthogonal matrix U we have,
The matrix A commutes with orthogonal matrices and so by Schur’s Lemma, A must be a scalar times the identity matrix.
where \(\lambda \) can be found my taking trace on both sides i.e.,
So, we have,
Finally, to prove Eq. 4.9, we note that
where \(\Vert \cdot \Vert _\infty \) stands for the \(\infty \)-Schatten norm of the matrix. \(\square \)
The appearance of matrix norm expressions for our PHT distances is a welcome development, as it permits a qualitative comparison with a certain class of Procrustes distances.
Remark 4.10
(Comparison with Procrustes Distances) The general Procrustes distance [24] between two ordered point clouds in \({\mathbb {R}}^d\), scaled by their centroid sizes,Footnote 10\(A=[a_1,\cdots ,a_n]\) and \(B=[b_1,\cdots ,b_n]\) is
where \({\mathcal {R}}\) is the group of rigid motions on \({\mathbb {R}}^d\). One advantage of the PHT distances considered here is that apriori no ordering needs to be put on the points in the point clouds. On the other hand, the PHT distances are sensitive to the embedding and consequently point clouds are not compared via their optimal alignments.
However, there is a closer connection between the ECT/PHT and the orthogonal Procrustes distance, which is given by
and whose solution \(R=UV^T\) is determined by the singular value decomposition (SVD) of \(B^TA=U\Sigma V^T\). By comparison, [20, Thm. 6.7] states that if two generic simplicial complexes M and N in \({\mathbb {R}}^d\) have identical pushforward measures on the space of Euler curves (or persistence diagrams), i.e., if \({{\,\textrm{ECT}\,}}(M)_*\mu = {{\,\textrm{ECT}\,}}(N)_*\mu \), then M and N are related by an O(d) action. This, along with Remark 2.23, suggests that one could modify the PHT distances here to also consider a minimization procedure along orthogonal transformations or rigid motions.
4.3 The Stability Theorem
In general the PHT distances are hard to compute, so often times we need to use other notions to bound the PHT distance. In this section we prove that if two shapes are homotopic through an \(\varepsilon \)-controlled homotopy, then their derived PHTs (Definition 2.27) are also \(\varepsilon \)-close in the interleaving distance.
Theorem 4.11
[Stability of the PHT under Controlled Homotopies] Let \(M,N \subseteq {\mathbb {R}}^d\) be constructible sets and let \(\varphi : M \rightarrow N\) and \(\psi : N\rightarrow M\) be a homotopy equivalence of M and N; that is, there are homotopies \(H_M:M\times I\rightarrow M\) and \(H_N:N\times I\rightarrow N\) connecting \(Id_M\) to \(\psi \circ \varphi \) and \(Id_N\) to \(\varphi \circ \psi \). If there is some \(\varepsilon >0 \) such that \(\Vert x-\varphi (x)\Vert _{{\mathbb {R}}^d}^2\le \varepsilon \) for all \(x\in M\) and \(\Vert y-\psi (y)\Vert _{{\mathbb {R}}^d}^2 \le \varepsilon \) for all \(y\in N\), where further \(\Vert x-H_M(x,s)\Vert _{{\mathbb {R}}^{d}}^2 \le 2\varepsilon \) for all \(x\in M\) and \(\Vert y-H_N(y,s)\Vert _{{\mathbb {R}}^{d}}^2 \le 2\varepsilon \) for all \(y\in N\) and \(s\in I\), then the PHT of M and N are \(\varepsilon \)-interleaved.
Proof
We show the following diagram is commutative.
We prove this for the left triangle as the commutativity of the right triangle follows from a similar argument. Let \(U\subset {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) be a test open set and so \(Rf_*\Bbbk _{Z_{M^{\varepsilon }}}(U) = \big [{\mathscr {S}}^\bullet (f_{M^\varepsilon }^{-1}(U);\Bbbk )\big ] \) where \(\big [{\mathscr {S}}^\bullet (f_{M^\varepsilon }^{-1}(U);\Bbbk )\big ]\) represents the class of complexes quasi-isomorphic to the singular cochain complex on \(f_{M^\varepsilon }^{-1}(U)\). We first prove that we have the following non-commutative diagram of topological spaces
that commutes up to homotopy; that is \(h\circ g\) is homotopic to . If we apply the singular cochain functor to this diagram and then take quotients by quasi-isomorphisms, we will get the desired commutative trianglea in Eq. 4.3.
We now explicitly describe the maps g and h. For \((x,v,t) \in f_M^{-1}(U)\) define g such that \(g(x,v,t) = (\varphi (x),v,t+\varepsilon ) \). It remains to verify that \((\varphi (x),v,t)\) is in \( f_{N^\varepsilon }^{-1}(U)\). Note that
Since \(x\cdot v \le t \), we have that \(\varphi (x)\cdot v - t \le \varphi (x)\cdot v - x\cdot v \le \varepsilon \) and so \(\varphi (x)\cdot v \le t+\varepsilon \). Similarly for \((y,v,t)\in f_{N^\varepsilon }^{-1}(U)\), let \(h(y,v,t)=(\psi (y),v,t+\varepsilon )\). After composing we get that \(h\circ g (x,v,t) = (\psi \circ \varphi (x),v,t+2\varepsilon )\). To see that \(h\circ g\) is homotopic to the inclusion , define a map \(K:f_M^{-1}(U) \times I \rightarrow f_{M^{2\varepsilon }}^{-1}(U) \) by
By Cauchy-Schwarz,
for all \(s\in I\). Since \(x\cdot v\le t\), we have \(H_M(x,s)\cdot v\le t+2\varepsilon \). This means that \(K((x,v,t),s)=(H_M(x,s),v,t+2\varepsilon ) \in f_{M^{2\varepsilon }}^{-1}(U)\) for \((x,v,t)\in f_M^{-1}(U)\). Further, \(K((x,v,t),0)= (x,v,t+2\varepsilon )\) and \(K((x,v,t),1)= (\psi \circ \varphi (x),v,t+2\varepsilon )= h\circ g(x,v,t)\). Continuity follows from continuity of \(H_M\) and so K is a homotopy between the inclusion map and \(h\circ g\). \(\square \)
Application of Lemma 4.5 implies the following,
Corollary 4.12
(Stability of the PHT Bottleneck distance) Under the assumptions of Theorem 4.11 for all \(i\ge 0\),
Remark 4.13
One can also bound the \((\infty ,q)\)-PHT distance when \(q\ne \infty \). To see this, the \((\infty ,q)\)-PHT distance is the q-th integral norm of the bottleneck distance, integrated over all directions. Consequently, the \((\infty ,q)\)-PHT distance is bounded by \(\varepsilon \cdot {\text {Area}({\mathbb {S}}^{d-1})}^{\frac{1}{q}}\), thereby establishing stability.
Example 4.14
We now calculate and bound some PHT distances between the shapes A (in blue) and B (in red) in Fig. 10. The normals \(v_1, v_2\) are \((\frac{2}{\sqrt{5}},\frac{1}{\sqrt{5}})\) and \((-\frac{2}{\sqrt{5}},\frac{1}{\sqrt{5}})\). Since all the sublevel sets of the shapes are contractible, it suffices to only consider \({{\,\textrm{PHT}\,}}^0\) of the two shapes. In particular, the PHT bottleneck distance in degree 0 is
The direction at which the maximum occurs is \(v_1\) and \(v_2\).
The PHT sheaf interleaving distance is hard to compute in practice. However, the application of Theorem 4.11 gives an upper bound on the PHT sheaf interleaving distance. In this example, we have that A and B are homeomorphic to each other. Explicitly, the linear map sending \((-4,2)\) to \((-2,4)\) can be extended to a homeomorphism \(\varphi : B\rightarrow A \) where \((x,\frac{1}{2}|x|)\mapsto (\frac{1}{2}x,|x|)\). Further, the maximum movement of points under map \(\varphi \) is, \(\Vert (x,\frac{1}{2}|x|) - \varphi (x,\frac{1}{2}|x|)\Vert _{{\mathbb {R}}^2} \le 2\sqrt{2}\). So, by Theorem 4.11 and Lemma 4.5
4.4 Point Samples for Approximating the PHT
After having established various distances on the PHT, we are now in a position to describe how to approximate a shape with point samples so that the resulting PHTs are close. We note that this is the only section where we require a manifold hypothesis on our shapes M. This is because the problem of approximating a general constructible set (or stratified space) is not well understood. Instead we rely on the following sampling and inference result, which makes implicit use of the injectivity radius of an embedded submanifold. This is encoded via the condition number \(\tau \), but we refer to [62, §2] for a more detailed description of this.
Theorem 4.15
(Theorem 3.1 in [62]) Let M be a compact submanifold of \( {\mathbb {R}}^d \) with condition number \( \tau \). Let \( {\bar{x}}=\{x_1,..,x_n\} \) be a set of n points drawn independently and identically from a uniform probability measure on M. Let \( 0<\varepsilon <\tau /2 \). Let \( U=\cup _{x\in {\bar{x}}}B_\varepsilon (x) \) be the union of the open balls of radius \( \varepsilon \) around the sample points. Then for all
the homology of U equals the homology of M with probability \(>1-\delta \). Here \(\beta _1\) and \(\beta _2\) are constants that depend on the condition number \(\tau \), \(\varepsilon \) and the volume of M. The bound on n ensures that with high probability the sample is \( \frac{\varepsilon }{2} \)-dense in M.
We let \({\mathcal {U}}:=\{B_{\varepsilon }(x)\}\) be the balls produced by Theorem 4.15. As the set of sampled points \(X=\{x\}\) is embedded in \({\mathbb {R}}^d\), we can consider the Voronoi cell decomposition \({\mathcal {V}}=\{V_x\}\) of \({\mathbb {R}}^d\) generated by X—this is the decomposition of \({\mathbb {R}}^d\) into convex regions where every point \(y\in \textrm{int} V_x\) is closest to x and no other point \(x'\in X\). The alpha complex [27] is defined to be the (geometric) nerve of the cover \(\{B_{\varepsilon }(x)\cap V_x\}\) of U; see Fig. 11. By the nerve lemma, the alpha complex is homotopy equivalent to union of the balls U and so with high probability Theorem 4.15 says that the homology of K is equal to homology of M. We now promote this to an observation about the PHT.
Corollary 4.16
(Approximation) Let M be a compact submanifold of \( {\mathbb {R}}^d \) with condition number \( \tau \). Let \( {\bar{x}}=\{x_1,..,x_n\} \) be a set of n points drawn independently and identically from a uniform probability measure on M. Let \( 0<\varepsilon <\frac{\tau }{2} \). Let \( U=\cup _{x\in {\bar{x}}}B_\varepsilon (x) \) be the union of the open balls of radius \( \varepsilon \) around the sample points. Let K be the alpha complex of U. Then for all
we have that, \( d_I({{\,\textrm{PHT}\,}}(M),{{\,\textrm{PHT}\,}}(K)) \le \varepsilon ^2\) with high confidence i.e. probability > 1- \(\delta \).
Proof
We show that the assumptions of Theorem 4.11 are satisfied with \( 0<\varepsilon < \tau /2\) and then apply Theorem 4.11 to conclude the result. We need to find a homotopy equivalence \(\varphi :K\rightarrow M\) and \(\psi :M\rightarrow K\) that satisfies the assumptions of Theorem 4.11. We do this by passing through the union of balls U as an intermediary.
Homotopy equivalence of M and U: Since the sample is \(\varepsilon /2\)-dense in M with high probability, there is an inclusion of M into U with high probability. Let \(\iota \) be this inclusion and let f be the projection that sends \( x\mapsto \arg \min _{p\in M} \Vert p-x\Vert \). By the definition of condition number, the distance between any \(q\in M\) to the medial axis is greater than \(\tau > 2\varepsilon \). The well-definedness of f is equivalent to \(x\in U\) not contained in the medial axis. Suppose \(x\in U\) is in the medial axis, so \(\Vert p-x\Vert > 2\varepsilon \) for every \(p\in M\). Since \({\bar{x}}\) is \(\varepsilon /2\)-dense in M w.h.p and \(U=\cup _{y\in {\bar{x}}}B_\varepsilon (y)\), it must be that for any \(p\in M\), \(\Vert p-x\Vert \le \Vert p-y\Vert + \Vert y-x\Vert< \frac{\varepsilon }{2} + \varepsilon < \frac{3}{2}\varepsilon \). This is a contradiction to x in the medial axis. This proves that f is well-defined. The map f is a deformation retraction and can be seen by taking the homotopy \( H_U(x,t) = tx+ (1-t)f(x)\) for all \( x\in U \) and \( t\in [0,1] \). Further, \(\Vert H_U(t,x)- x\Vert = \Vert tx+(1-t)f(x) -x \Vert = (1-t)\Vert x-f(x) \Vert < (1-t)\varepsilon /2 \le \varepsilon \).
Homotopy equivalence of U and K: We have the inclusion map \(j: K\rightarrow U\). There is a retract \(g: U \rightarrow K \) which follows the lines in U connected to the nearest point in K; see Fig. 11. We call the homotopy that follows these lines \(G_U\). Since U is a union of balls of radius \(\varepsilon \), the homotopy \(G_U\) does not move the points of U more than \(\varepsilon \).
Let \(\varphi := f\circ j\) and \(\psi := g\circ \iota \). On composing, \(\varphi \circ \psi = f\circ j \circ g \circ \iota \sim f \circ \text {Id}_U \circ \iota = f \circ \iota \sim \text {Id}_M \) and similarly \(\psi \circ \varphi \sim \text {Id}_K.\) The radius of balls are less than \(\varepsilon \) and so for \(x\in K\), \(\Vert x-f\circ j(x)\Vert \le \varepsilon \) and so \(\Vert x - \varphi (x) \Vert ^2 < \varepsilon ^2\). Since the sample points are \(\varepsilon /2\)-dense, for \(y\in M\), \(\Vert y-g\circ \iota (y)\Vert \le \varepsilon /2 < \varepsilon \) and so \(\Vert y-\psi (y)\Vert ^2\le \varepsilon ^2. \) Since the homotopy maps \(H_U\) and \(G_U\) satisfy the conditions \(\Vert H_U(x,t)-x\Vert \le \varepsilon \) and \(\Vert G_U(x,t)-x\Vert \le \varepsilon \) for all \(x\in U\), the homotopy map \(K_1\) connecting \(\varphi \circ \psi \) and \(\text {Id}_M\) satisfy \(\Vert K(x,t)-x\Vert \le \varepsilon \) for all \(x\in M\). The case for \(K_2\) connecting \(\psi \circ \varphi \) and \(\text {Id}_K\) is similar. Applying Theorem 4.11 gives \(\varepsilon ^2\)-interleaving of the PHTs of M and K. \(\square \)
5 Discussion and Future Work
In this paper we have outlined an algebraic construction of shape space that uses cohomology, sheaves, and “higher” derived variations on these. We do this while also maintaining close contact with the simpler, tomographic integral transform that is based on Euler characteristic [66]. Our shape space works with shapes more general than manifolds, such as semialgebraic sets, and the ability to triangulate our shapes is more a feature of convenience than an absolute necessity. By leveraging connections to persistent homology, we are able to also metrize our algebraic shape space in various ways and prove stability and approximation results for these.
We note that the use of sheaves to provide a rich mathematical theory for summarizing shapes is in many ways a natural evolution of previous attempts to construct shape space. Approaches that use landmarks or diffeomorphisms each naturally lead to shape spaces modeled via fiber bundles. Since sheaves provide a formalism for generalizing fiber bundles, where the rank can drop from point to point, we hope that our framework leads to a generalization of the landmark and diffeomorphism-based approaches as well. However, there are important differences between these approaches—namely the use of similarity transformations and group actions—that need to be incorporated more fully into our framework as well. We conclude with three directions for future research:
-
(1)
Can we characterize the image of our shape space sheaf?
$$\begin{aligned} {\mathcal {F}}: {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)^{op} \hookrightarrow {\mathcal {D}}^b(\textbf{Shv}({\mathbb {S}}^{d-1}\times {\mathbb {R}})) \end{aligned}$$In more detail, if someone gives us a derived sheaf \({\mathcal {G}}\in {\mathcal {D}}^b(\textbf{Shv}({\mathbb {S}}^{d-1}\times {\mathbb {R}}))\) can we certify if there is a shape \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) such that \({{\,\textrm{PHT}\,}}(M)\cong {\mathcal {G}}\)? Even more fundamentally, if an oracle claims that a collection of barcodes is the result of sampling \({{\,\textrm{PHT}\,}}(M)\) at directions \(v_1,\ldots ,v_n\), is there any way of knowing if the oracle is telling the truth? If they are, can we provide an approximate reconstruction of the shape M just from this information? All of these problems are open and the last question bears some resemblance to Minkowski’s theorem [48] for reconstructing polyhedra from normal and facet data.
-
(2)
Can we leverage the topological simplification procedures of persistent homology [28] to perform automated simplification of shape space? As pointed out in [59, §3.5], there must be obstructions for dimensions 3 and higher because of the existence of the Poincaré homology sphere. Nevertheless, understanding obstructions to these simplifications would shed algorithmic light on some of the deepest questions in algebraic topology, such as the Poincaré conjecture, which was established by Perelman using PDE methods.
-
(3)
Finally, can we embed traditional models of shape space into our current model? Does an optimal transport problem between shapes establish a corresponding optimal transport problem on sheaves? By the continuity property of the PHT, this must certainly be true at the set-theoretic level, but can we promote this correspondence to something with more algebraic structure? Preliminary work in this direction indicates that isotopies of shapes should lift to zigzags of sheaf morphisms, where sheaf cohomology can be used as an obstruction to comparing two shapes.
Notes
More accurately, \(\chi \) defines a valuation [1] on constructible sets, as it can take negative values.
Actually a vector space, since we’re using field coefficients.
See [64] for a good review of category theory.
For a sublevel set filtration of a constructible set, the intervals in this decomposition are always half-open (closed on the left and open on the right). We will ignore all other types of intervals.
The direct limit or injective limit are all examples of colimits. See [64, §3] for a good introduction to limits and colimits.
Kernels, equalizers, and pullbacks are all examples of limits. See [64, §3] for more background.
See condition (17.4.1) in [44].
i.e. a left adjoint, see [64, §4]
By which we mean an extended—the value \(\infty \) is allowed—metric.
The centroid size is given by \(\left( n^{-1}\sum _{i=1}^n\Vert a_i-{\bar{a}}\Vert ^2\right) ^{\frac{1}{2}}\) where \({\bar{a}}\) is the mean of \(\{a_i\}_{i=1}^n\).
References
S. Alesker. Introduction to the Theory of Valuations, volume 126. American Mathematical Soc., 2018.
J. Alexander. On the chains of a complex and their duals. Proceedings of the National Academy of Sciences, 21(8):509–511, 1935.
E. J. Amézquita, M. Y. Quigley, T. Ophelders, J. B. Landis, D. Koenig, E. Munch, and D. H. Chitwood. Measuring hidden phenotype: Quantifying the shape of barley seeds using the Euler Characteristic Transform. in silico Plants, 4(1):diab033, 2022.
S. Arguillere, E. Trélat, A. Trouvé, and L. Younes. Shape deformation analysis from the optimal control viewpoint. Journal de mathématiques pures et appliquées, 104(1):139–178, 2015.
M. Artin. Grothendieck topologies. Harvard Math. Dept. Lecture Notes, 1962.
M. Bauer, M. Bruveris, and P. W. Michor. Overview of the geometries of shape spaces and diffeomorphism groups. Journal of Mathematical Imaging and Vision, 50:60–97, 2014.
M. F. Beg, M. I. Miller, A. Trouvé, and L. Younes. Computing large deformation metric mappings via geodesic flows of diffeomorphisms. International journal of computer vision, 61:139–157, 2005.
P. Bendich, J. S. Marron, E. Miller, A. Pieloch, and S. Skwerer. Persistent homology analysis of brain artery trees. The annals of applied statistics, 10(1):198, 2016.
F. L. Bookstein. Morphometric Tools for Landmark Data: Geometry and Biology. Cambridge University Press, 1992.
D. M. Boyer, G. F. Gunnell, S. Kaufman, and T. M. McGeary. Morphosource: archiving and sharing 3-D digital specimen data. The Paleontological Society Papers, 22:157–181, 2016.
G. E. Bredon. Sheaf theory, volume 170. Springer Science & Business Media, 2012.
A. M. Bronstein, M. M. Bronstein, R. Kimmel, M. Mahmoudi, and G. Sapiro. A Gromov-Hausdorff framework with diffusion geometry for topologically-robust non-rigid shape matching. International Journal of Computer Vision, 89(2-3):266–286, 2010.
V. Cervera, F. Mascaro, and P. W. Michor. The action of the diffeomorphism group on the space of immersions. Differential Geometry and its Applications, 1(4):391–401, 1991.
N. Charon and A. Trouvé. The varifold representation of nonoriented shapes for diffeomorphic registration. SIAM journal on Imaging Sciences, 6(4):2547–2580, 2013.
F. Chazal, D. Cohen-Steiner, M. Glisse, L. J. Guibas, and S. Y. Oudot. Proximity of persistence modules and their diagrams. In Proceedings of the twenty-fifth annual symposium on Computational geometry, pages 237–246, 2009.
F. Chazal, V. De Silva, M. Glisse, and S. Oudot. The structure and stability of persistence modules, volume 10. Springer, 2016.
L. Crawford, A. Monod, A. X. Chen, S. Mukherjee, and R. Rabadán. Predicting clinical outcomes in glioblastoma: an application of topological and functional data analysis. Journal of the American Statistical Association, 115(531):1139–1150, 2020.
W. Crawley-Boevey. Decomposition of pointwise finite-dimensional persistence modules. Journal of Algebra and its Applications, 14(05):1550066, 2015.
J. Curry, R. Ghrist, and M. Robinson. Euler calculus with applications to signals and sensing. In Proceedings of Symposia in Applied Mathematics, volume 70, pages 75–146, 2012.
J. Curry, S. Mukherjee, and K. Turner. How many directions determine a shape and other sufficiency results for two topological transforms. Transactions of the American Mathematical Society, Series B, 9(32):1006–1043, 2022.
J. M. Curry. Sheaves, cosheaves and applications. University of Pennsylvania, 2014.
V. De Silva, E. Munch, and A. Patel. Categorified reeb graphs. Discrete & Computational Geometry, 55(4):854–906, 2016.
V. de Silva, E. Munch, and A. Stefanou. Theory of interleavings on categories with a flow. Theory and Applications of Categories, 33(21):583–607, 2018.
I. L. Dryden and K. V. Mardia. Statistical shape analysis: Wiley series in probability and statistics. New York, NY: John Wiley & Sons, Ltd, 1998.
D. Dugger, S. Hollander, and D. C. Isaksen. Hypercovers and simplicial presheaves. In Mathematical Proceedings of the Cambridge Philosophical Society, volume 136, pages 9–51. Cambridge University Press, 2004.
P. Dupuis, U. Grenander, and M. I. Miller. Variational problems on flows of diffeomorphisms for image matching. Quarterly of applied mathematics, pages 587–600, 1998.
H. Edelsbrunner. The union of balls and its dual shape. In Proceedings of the ninth annual symposium on Computational geometry, pages 218–231, 1993.
H. Edelsbrunner, D. Letscher, and A. Zomorodian. Topological persistence and simplification. Discrete & computational geometry, 28:511–533, 2002.
S. Eilenberg and H. P. Cartan. Homological algebra. Princeton University Press, 1956.
C. C. Fowlkes. Surveying Shape Spaces. survey article for Alan Weinstein’s course on Reimannian Geometry. https://www.ics.uci.edu/~fowlkes/papers/f-ma240.pdf.
R. Ghrist, R. Levanger, and H. Mai. Persistent homology and Euler integral transforms. Journal of Applied and Computational Topology, 2:55–60, 2018.
R. Godement. Topologie algébrique et théorie des faisceaux. Actualites Scientifiques et Industrielles 1252, 1958.
A. Goswami. Phenome10k: a free online repository for 3-D scans of biological and palaeontological specimens. www.phenome10k.org, 2015.
J. W. Gray. Fragments of the history of sheaf theory. In Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, pages 1–79. Springer, 2006.
U. Grenander. Elements of pattern theory. JHU Press, 1996.
U. Grenander and M. I. Miller. Computational anatomy: An emerging discipline. Quarterly of applied mathematics, 56(4):617–694, 1998.
A. Grothendieck. Sur quelques points d’algèbre homologique. Tohoku Mathematical Journal, Second Series, 9(2):119–183, 1957.
F. Hörmann. Fibered multiderivatories and (co)homological descent. Theory and Applications of Categories, 32(38):1258–1362, 2017.
F. Hörmann. The \(\infty \)-categorical interpretation of Abelian and non-Abelian derived functors. Preliminary notes, 2019.
B. Iversen. Cohomology of sheaves. Springer Science & Business Media, 2012.
S. C. Joshi and M. I. Miller. Landmark matching via large deformation diffeomorphisms. IEEE transactions on image processing, 9(8):1357–1370, 2000.
J. Jost, editor. Bernhard Riemann: On the Hypotheses which Lie at the Bases of Geometry. Birkhäuser, Basel, 2016.
J. Jost. Relations and dependencies between morphological characters. Theory Biosci., 136(1):69–83, 2017.
M. Kashiwara and P. Schapira. Sheaves on Manifolds: With a Short History. Les débuts de la théorie des faisceaux, volume 292. Springer Science & Business Media, 2013.
M. Kashiwara and P. Schapira. Persistent homology and microlocal sheaf theory. Journal of Applied and Computational Topology, 2(1-2):83–113, 2018.
D. G. Kendall. The diffusion of shape. Advances in applied probability, 9(3):428–430, 1977.
D. G. Kendall. Shape manifolds, procrustean metrics, and complex projective spaces. Bulletin of the London mathematical society, 16(2):81–121, 1984.
D. A. Klain. The Minkowski problem for polytopes. Advances in Mathematics, 185(2):270–288, 2004.
J. Leray. Sur la forme des espaces topologiques et sur les points fixes des représentations: Première partie d’un cours de topologie algébrique professé en captivité. Journal de Mathématiques Pures et Appliquées, 9:95–167, 1945.
J. Leray. Sur la position d’un ensemble fermé de points d’un espace topologique: Deuxième partie d’un cours de topologie algébrique professé en captivité. Journal de Mathématiques Pures et Appliquées, 24:169–199, 1945.
J. Leray. Sur les équations et les transformations: Troisième partie d’un cours de topologie algébrique professé en captivité. Journal de Mathématiques Pures et Appliquées, 24:200–248, 1945.
M. Lesnick. The theory of the interleaving distance on multidimensional persistence modules. Foundations of Computational Mathematics, 15(3):613–650, 2015.
J. Lurie. Higher algebra, 2017.
F. Memoli. On the use of Gromov-Hausdorff Distances for Shape Comparison. In M. Botsch, R. Pajarola, B. Chen, and M. Zwicker, editors, Eurographics Symposium on Point-Based Graphics. The Eurographics Association, 2007.
P. Michor and D. Mumford. Vanishing geodesic distance on spaces of submanifolds and diffeomorphisms. DOCUMENTA MATHEMATICA, 10:217–245, 2005.
E. Miller. Fruit flies and moduli: interactions between biology and mathematics. Notices of the American Mathematical Society, 62(10):1178–1184, 2015.
H. Miller. Leray in Oflag XVIIA: the origins of sheaf theory, sheaf cohomology, and spectral sequences. In Kantor 2000, pages 17–34, 2000.
W. Mio, A. Srivastava, and S. Joshi. On shape of plane elastic curves. International Journal of Computer Vision, 73:307–324, 2007.
D. Morozov. Homological illusions of persistence and stability. Duke University, 2008.
D. Mumford. Pattern theory: a unifying perspective. In First European Congress of Mathematics: Paris, July 6-10, 1992 Volume I Invited Lectures (Part 1), pages 187–224. Springer, 1994.
D. Mumford and P. Michor. Riemannian geometries on spaces of plane curves. Journal of the European Mathematical Society, 8(1):1–48, 2006.
P. Niyogi, S. Smale, and S. Weinberger. Finding the homology of submanifolds with high confidence from random samples. Discrete & Computational Geometry, 39:419–441, 2008.
A. Patel. Generalized persistence diagrams. Journal of Applied and Computational Topology, 1(3-4):397–419, 2018.
E. Riehl. Category theory in context. Courier Dover Publications, 2017.
P. Schapira. Operations on constructible functions. Journal of pure and applied algebra, 72(1):83–93, 1991.
P. Schapira. Tomography of constructible functions. In International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, pages 427–435. Springer, 1995.
E. Sharon and D. Mumford. 2d-shape analysis using conformal mapping. International Journal of Computer Vision, 70(1):55–75, 2006.
A. D. Shepard. A cellular description of the derived category of a stratified space. Brown University, 1985.
P. Skraba and K. Turner. Wasserstein stability for persistence diagrams. arXiv preprint arXiv:2006.16824, 2020.
A. Srivastava, E. Klassen, S. H. Joshi, and I. H. Jermyn. Shape analysis of elastic curves in euclidean spaces. IEEE transactions on pattern analysis and machine intelligence, 33(7):1415–1428, 2010.
A. Stefanou. Dynamics on categories and applications. State University of New York at Albany, 2018.
W. S. Tang, G. M. da Silva, H. Kirveslahti, E. Skeens, B. Feng, T. Sudijono, K. K. Yang, S. Mukherjee, B. Rubenstein, and L. Crawford. A topological data analytic approach for discovering biophysical signatures in protein dynamics. PLoS computational biology, 18(5):e1010045, 2022.
K. Turner, S. Mukherjee, and D. M. Boyer. Persistent homology transform for modeling shapes and surfaces. Information and Inference: A Journal of the IMA, 3(4):310–344, 2014.
M. Vaillant and J. Glaunes. Surface matching via currents. In Biennial international conference on information processing in medical imaging, pages 381–392. Springer, 2005.
L. Van den Dries. Tame topology and o-minimal structures, volume 248. Cambridge university press, 1998.
J.-L. Verdier. Caégories dérivées, état 0, SGA \(4\frac{1}{2}\)., volume 569 of Lecture Notes in Mathematics. Springer Verlag, 1977.
J.-L. Verdier. Des catégories dérivées des catégories abéliennes. 1996.
B. Wang, T. Sudijono, H. Kirveslahti, T. Gao, D. M. Boyer, S. Mukherjee, and L. Crawford. A statistical pipeline for identifying physical features that differentiate classes of 3D shapes. The Annals of Applied Statistics, 15(2):638–661, 2021.
S. Wang, Y. Wang, M. Jin, X. D. Gu, and D. Samaras. Conformal geometry and its applications on 3d shape matching, recognition, and stitching. IEEE Transactions on Pattern Analysis and Machine Intelligence, 29(7):1209–1220, 2007.
C. A. Weibel. History of homological algebra. 1999.
L. Younes. Computable elastic distances between shapes. SIAM Journal on Applied Mathematics, 58(2):565–586, 1998.
Acknowledgements
The authors would like to acknowledge conversations with Kirsten Wickelgren, Kate Turner, Ezra Miller, Mark Goresky and Henry Kirveslahti. The authors would like to acknowledge partial funding from NASA Contract 80GRC020C0016, HFSP RGP005, NSF DMS 17-13012, NSF BCS 1552848, NSF DBI 1661386, NSF IIS 15-46331, NSF DMS 16-13261, NSF CCF-1850052, as well as high-performance computing partially supported by grant 2016-IDG-1013 from the North Carolina Biotechnology Center. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of any of the funders.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Herbert Edelsbrunner.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Infinity Category Version
Appendix A. Infinity Category Version
Our main task of gluing PHTs together runs into a subtle problem of “gluing in the derived category,” which has motivated some of the development of \(\infty \)-categories [53, p.12]. In this section we provide a brief overview of this theory and show how our gluing result for PHTs (Theorem 3.9) follows from this more general theory. As the theory of \(\infty \)-categories is quite involved, we give only a sketch of the main ideas and refer to [53] for a complete treatment of the subject.
At a high-level, the \(\infty \)-category perspective works by maintaining a data structure that keeps track of maps between objects and separates out composition in a clear way. By doing so, it allows us to consider compositions that are identified with other morphisms only “up to homotopy” or via a similar identification. The usual refrain is that an \(\infty \)-category not only has 1-morphisms, like an ordinary category does, but also 2-morphisms that relate 1-morphisms, 3-morphisms that relate 2-morphisms, and all the way up ad infinitum. The data structure that organizes all these morphisms is called a simplicial set, and an \(\infty \)-category is a simplicial set that has certain “composition” properties that allow us to fill out a simplex.
The way this perspective addresses the lack of gluing in the derived category is subtle. As mentioned in Sect. 2.6, the derived category lacks limits and colimits, but instead has homotopy limits and colimits. The difference between limits and homotopy limits is that although there are objects that one might call a limit (like the kernel of a morphism), they typically lack the uniqueness and functoriality properties that are required of a genuine limit. The infinity category perspective repairs this by keeping track of all the morphisms that might exist mapping to a candidate limit object and uses the “higher order” morphisms described above to address the surfeit or lack of ordinary 1-morphisms. This is just one bit of evidence that the \(\infty \)-category theory approach might be the right foundation for modern pure mathematics, which should in turn percolate into future applied mathematics.
1.1 A.1 Simplicial Sets and Infinity Categories
Let \(\Delta \) denote the simplex category, whose objects are non-empty totally ordered finite sets and whose morphisms are order-preserving maps. A simplicial set is a functor \(S:\Delta ^{\textrm{op}} \rightarrow \textrm{Set}\). It is typical to call S([n]) the set of n-simplices in S. Here [n] denotes the totally ordered set \(\{0<1<\cdots < n\}\) for \(n\ge 0\). In this setting, the standard n -simplex is the simplicial set \(\Delta ^n:= \textrm{Hom}_{\Delta }(-,[n]). \). The ith inner horn \(\Lambda ^n_i\) is the subcomplex of \(\Delta ^n\) obtained by removing the n-simplex and its i th face.
Definition A.1
(Infinity Category) An \(\infty \)-category is a simplicial set \({\mathcal {C}}\) which has the following property: for any \(0< i < n\), any map \(f: \Lambda ^n_i \rightarrow {\mathcal {C}} \) admits an extension \(f: \Delta ^n \rightarrow {\mathcal {C}}\).
Example A.2
(Nerve of a Category) Every ordinary category \({\textbf{C}}\) has an associated \(\infty \)-category via the nerve construction \({\mathcal {N}}({\textbf{C}})\). The 0-simplices of the nerve are objects of \({\textbf{C}}\), the 1-simplices are morphisms of \({\textbf{C}}\), the 2-simplices are strings of compositions of morphisms of length 2, e.g., \(g\circ f:x\rightarrow y \rightarrow z\), the 3-simplices are strings of composition of length 3 and so on.
Morphisms \(f,g:x\rightarrow y\) for any objects x, y in an infinity category are said to be homotopic if there is a 2-simplex of the form:
It can be seen that homotopy of morphisms is an equivalence relation on the set of morphisms between any two objects.
Definition A.3
(Homotopy category) The homotopy category of an infinity category \({\mathcal {C}}\), denoted \(\textrm{h}{\mathcal {C}}\), is the category whose objects are the objects of \({\mathcal {C}}\) and whose morphisms are homotopy classes of morphisms in \({\mathcal {C}}\).
1.2 A.2 Homological Algebra in Infinity categories
Let \({\mathcal {A}}\) be an abelian category with enough injective objects. We denote \(\text {ch}({\mathcal {A}})\) to be the category of chain complexes valued in \({\mathcal {A}}\). This category can be promoted to a differentially graded category by enriching it in the category of chain complexes of abelian groups \(\mathrm {ch(\textbf{Ab})}\). In other words, the hom-sets in \(\textrm{ch}({\mathcal {A}})\) can be replaced by mapping complexes as below: If \(A^\bullet \) and \(B^\bullet \) are chain complexes,
and the differentials \(\partial : {\underline{\hom }}(A^{\bullet },B^{\bullet })[d-1] \rightarrow {\underline{\hom }}(A^{\bullet },B^{\bullet })[d] \) is given by \(\partial f_n= \partial _B\circ f_{n-1} - (-1)^d f_{n}\circ \partial _A\).
We can build an infinity category from a category enriched in ch(Ab) by taking the differentially graded nerve, which is similar to the construction outlined above.
Example A.4
(Differentially graded nerve of \(\text {ch}({\mathcal {A}})\))
-
A 0-simplex of \(N_{dg}(\textrm{ch}({\mathcal {A}}))\) is a chain complex \(A^\bullet \).
-
A 1-simplex of \(N_{dg}(\textrm{ch}({\mathcal {A}}))\) is a pair of chain complexes \(A^\bullet , B^\bullet \) and a morphism \(f\in \underline{\textrm{hom}}(A^\bullet ,B^\bullet )_0\) such that \(\partial f= 0\). In other words, 1- simplices between \(A^\bullet \) and \(B^\bullet \) are morphisms f such that each of the squares commute.
-
A 2-simplex of \(N_{dg}(\textrm{ch}({\mathcal {A}}))\) consists of a triple of chain complexes \(A^\bullet ,B^\bullet \) and \(C^\bullet \) and morphisms \(f\in \underline{\textrm{hom}}(A^\bullet ,B^\bullet )_0\), \(g\in \underline{\textrm{hom}}(B^\bullet ,C^\bullet )_0\) and \(h\in \underline{\textrm{hom}}(A^\bullet ,C^\bullet )_0\) such that \(\partial f=\partial g=\partial h = 0\) and a morphism \(h'\in \hom (A^\bullet ,C^\bullet )\) such that \(\partial h' = g\circ f - h\).
-
and so on.
Remark A.5
The homotopy category of the differentially graded nerve \(hN_{dg}(\textrm{ch}({\mathcal {A}}))\) is the usual homotopy category of chain complexes in \({\mathcal {A}}\), denoted as \(\mathcal {K(A)}\). So, the \(\infty \)-category \(N_{dg}(\textrm{ch}({\mathcal {A}}))\) provides an \(\infty \)-categorical version of homological algebra in \({\mathcal {A}}\). In particular, there exists a derived infinity category which is the \(\infty \)-localization of the category of chain complexes in \({\mathcal {A}}\) at the class of quasi-isomorphisms. Equivalently, by [53], the derived \(\infty \)-category can be defined to be the differentially graded nerve of the category of chain complexes of injectives in \({\mathcal {A}}\).
Let \(\text {ch}^+({\mathcal {A}})\) denote the full subcategory of \(\text {ch}({\mathcal {A}})\) spanned by those chain complexes that are bounded from below i.e. for small \(n<0\), \(A^n\simeq 0\).
Definition A.6
(Derived \(\infty \)-Category) The derived \(\infty \)-category of \({\mathcal {A}}\) is the differentially graded nerve of \(\text {ch}({\mathcal {A}}_{\text {inj}})\), that is \(\mathcal {D^+(A)} = {\mathcal {N}}_{dg}(\text {ch}^+(\mathcal {A_\text {inj}}))\) where \({\mathcal {A}}_{\text {inj}}\) is the full subcategory of \({\mathcal {A}}\) spanned by the injective objects.
This category is a stable \(\infty \)-category and carries a triangulated structure. In particular, the homotopy category of this category, \(h{\mathcal {D}}^{+}({\mathcal {A}})\) is the classical derived category in homological algebra. However, unlike the derived category in classical homological algebra, this category has finite limits and colimits by virtue of being a stable infinity category [53, Prop. 1.1.3.4].
As in the case of classical homological algebra, one can also study the functoriality of the derived \(\infty \)-category. Suppose \({\mathcal {F}}:{\mathcal {A}}\rightarrow {\mathcal {B}}\) is an additive functor between abelian categories i.e. the functor preserves the 0 object and preserves direct sums. The object-wise application of the functor \({\mathcal {F}}\) gives a functor \(\text {ch}({\mathcal {F}}):\text {ch}({\mathcal {A}})\rightarrow \text {ch}({\mathcal {B}})\) which is an enriched functor over chain complexes of abelian groups. The functoriality of the differentially graded nerve construction gives a functor \({\mathcal {N}}_{dg}(\text {ch}({\mathcal {F}})): {\mathcal {N}}_{dg}(\text {ch}({\mathcal {A}}))\rightarrow {\mathcal {N}}_{dg}({\text {ch}({\mathcal {B}}})) \). In particular, this functor commutes with finite limits and colimits because the functor preserves sums and the terminal object 0. Similar to the case of classical homological algebra this functor \({\mathcal {N}}_{dg}(\text {ch}({\mathcal {F}}))\) induces a right derived functor \(RF: D({\mathcal {A}})\rightarrow D({\mathcal {B}})\) by taking its left Kan extension along the projection \(\rho _A: {\mathcal {N}}_{dg}(\text {ch}({\mathcal {A}})) \rightarrow D(A) \).
A surprising property of functors of stable infinity categories is that left exact (equivalently right exact) functors are exact, i.e., they commute with finite limits and colimits [53, Prop. 1.1.4.1]. In particular, by the universal property of \({\mathcal {D}}^+({\mathcal {A}})\) [53, Thm. 1.3.3.2] we have that a left exact functor \({\mathcal {F}}:{\mathcal {A}}\rightarrow {\mathcal {B}}\), gives a left exact (and hence exact) functor, called the right derived functor, \(RF:{\mathcal {D}}^+({\mathcal {A}})\rightarrow {\mathcal {D}}^+({\mathcal {B}})\).
1.3 A.3 The PHT Viewed as an Object of the Derived \(\infty \)-Category.
We can now specialize to the case where the abelian categories are \({\mathcal {A}}= \textbf{Shv}(M\times {\mathbb {S}}^{d-1}\times {\mathbb {R}})\) and \({\mathcal {B}}=\textbf{Shv}({\mathbb {S}}^{d-1}\times {\mathbb {R}})\) where \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^{d})\). As defined before, let \(f:M\times {\mathbb {S}}^{d-1}\times {\mathbb {R}}\rightarrow {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) be the projection on the last two factors. Further, let \(\iota _M: Z_M\rightarrow M\times {\mathbb {S}}^{d-1}\times {\mathbb {R}}\) be an embedding of spaces. The composition \(f\circ \iota _M\) is written as \(f_M\) (see Definition 2.27).
Definition A.7
(PHT: Infinity Category Version) The \(\infty \)-categorical definition of the PHT of \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) is given by:
where \({\mathcal {D}}^+(\textbf{Shv}({\mathbb {S}}^{d-1}\times {\mathbb {R}}))\) is the derived \(\infty \)-category of bounded below complexes.
Since the right derived functor is exact (and hence commutes with finite limits and colimits), we have that the sheaf axiom for the assignment \(M\mapsto {{\,\textrm{PHT}\,}}(M)\) for \(M\in {{\mathcal {C}}}{{\mathcal {S}}}({\mathbb {R}}^d)\) is automatic. Precisely, for a finite covering \(\{M_i \hookrightarrow M\}_{i\in I}\) we have:
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Arya, S., Curry, J. & Mukherjee, S. A Sheaf-Theoretic Construction of Shape Space. Found Comput Math (2024). https://doi.org/10.1007/s10208-024-09650-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10208-024-09650-1