Abstract
A theory of bisheaves has been recently introduced to measure the homological stability of fibers of maps to manifolds. A bisheaf over a topological space is a triple consisting of a sheaf, a cosheaf, and compatible maps from the stalks of the sheaf to the stalks of the cosheaf. In this note we describe how, given a bisheaf constructible (i.e., locally constant) with respect to a triangulation of its underlying space, one can explicitly determine the coarsest stratification of that space for which the bisheaf remains constructible.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The open star of \(\sigma \in \mathcal {M}\) is given by \({{{\mathbf {st}}}}\, \sigma = \{\tau \in \mathcal {M} \mid \sigma \leq \tau \}\).
References
Bendich, P., Edelsbrunner, H., Morozov, D., Patel, A.: Homology and robustness of level and interlevel Sets. Homology Homotopy Appl. 15, 51–72 (2011).
Chazal, F., de Silva, V., Glisse, M., Oudot, S.: Structure and stability of persistence modules. Springer, Heidelberg (2016).
Cohen-Steiner, D., Edelsbrunner, H., Harer, J.L.: Stability of persistence diagrams. Disc. & Comput. Geom., 37, 103–120 (2007).
Curry, J.: Sheaves, cosheaves and applications. arXiv:1303.3255 [math.AT], (2013).
Curry, J., Ghrist, R, Nanda, V.: Discrete Morse theory for computing cellular sheaf cohomology. Found. Comput. Math. 16, 875–897 (2016).
Gabriel, P., Zisman, M.: Calculus of fractions and homotopy theory. Springer-Verlag, Heidelberg (1967).
Goresky, M., MacPherson, R.: Intersection Homology II. Inventiones Mathematicae 71, 77–129 (1983).
Hatcher, A.: Algebraic Topology, Cambridge University Press, Cambridge (2002).
MacPherson, R., Patel, A.: Persistent local systems. arXiv:1805.02539v1 [math.AT] (2018).
Milnor, J.: Morse theory, Princeton University Press, Princeton (1963).
Nanda, V.: Local cohomology and stratification. Found. Comput. Math. (2017). https://doi.org/10.1007/s10208-019-09424-0
Whitney, H.: Tangents to an analytic variety. Ann. Math. 81, 468–549 (1965).
Acknowledgements
This work had its genesis in the Abel Symposium on Topological Data Analysis, held in June 2018 amid the breathtaking fjords of Geiranger, where both authors gave invited lectures. AP spoke about [9] and VN about [11], and it became clear to us almost immediately that there were compelling practical reasons to combine these works. It is a sincere pleasure to thank the Abel Foundation and the Abel Symposium organizers, particularly Nils Baas and Marius Thaule, for giving us the opportunity to work in such an inspiring location. The ideas of Robert MacPherson are densely sprinkled throughout not only this paper, but also across both its progenitors [9] and [11]. We are grateful to the Institute for Advanced Study for hosting many of our discussions with Bob. We also thank the anonymous referee for encouraging us to clarify Definition 2 and the subsequent remark.
VN’s work is supported by The Alan Turing Institute under the EPSRC grant number EP/N510129/1, and by the Friends of the Institute for Advanced Study. AP’s work is supported by the National Science Foundation under agreement number CCF-1717159.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Nanda, V., Patel, A. (2020). Canonical Stratifications Along Bisheaves. In: Baas, N., Carlsson, G., Quick, G., Szymik, M., Thaule, M. (eds) Topological Data Analysis. Abel Symposia, vol 15. Springer, Cham. https://doi.org/10.1007/978-3-030-43408-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-43408-3_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-43407-6
Online ISBN: 978-3-030-43408-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)