Abstract
In this note, we provide an algorithm that, starting with a Sullivan algebra gives us its minimal model. More concretely, taking as input a (non-minimal) Sullivan algebra A with an ordered finite set of generators preserving the filtration defined on A, we obtain as output a minimal Sullivan algebra with the same rational cohomology as A. This algorithm is a kind of modified AT-model algorithm used, in the past, to compute a chain contraction providing other kinds of topological information such as (co)homology, cup products on cohomology and persistent homology.
Similar content being viewed by others
References
Cirici, J., Roig, A.: Sullivan minimal models of operad algebras. Eprint arXiv:1612.03862. Publicacions Matemàtiques, 63 (1) (2019)
Felix, Y., Halperin, S., Thomas, J.C.: Rational Homotopy Theory. Graduate Texts in Mathematics, vol. 205. Springer (2000)
Felix, Y., Halperin, S.: Rational homotopy theory via Sullivan models: a survey. Not. Int. Congr. Chin. Math. 5(2), 14–36 (2017)
Gatsinzi, J.B.: Hochschild cohomology of a Sullivan algebra. Mediterr. J. Math. 13, 3765–3776 (2016)
Gonzalez-Diaz, R., Real, P.: On the cohomology of 3D digital images. Discrete Appl. Math. 147, 245–263 (2005)
Gonzalez-Diaz, R., Jimenez, M.J., Medrano, B., Real, P.: Chain homotopies for object topological representations. Discrete Appl. Math. 157(3), 490–499 (2009)
Gonzalez-Diaz, R., Jimenez, M.J., Medrano, B., Real, P.: A tool for integer homology computation: \(\lambda \)-AT-model. Image Vis. Comput. 27(7), 837–845 (2009)
Gonzalez-Diaz, R., Ion, A.N., Jimenez, M.J., Poyatos, R.: Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology. Proc. of Computer Analysis of Images and Patterns. CAIP 2011. LNCS, vol. 6854. Springer, Berlin (2011)
Gonzalez-Diaz, R., Lamar, J., Umble, R.: Computing cup products in \(\mathbb{Z}_2\)-cohomology of 3D polyhedral complexes. Found. Comput. Math. 14(4), 721–744 (2014)
Gugenheim, V.K.A.M., Lambe, L., Stahsheff, J.D.: Perturbation theory in differential homological algebra I. Ill. J. Math. 33, 556–582 (1989)
Gugenheim, V.K.A.M., Lambe, L., Stahsheff, J.D.: Perturbation theory in differential homological algebra II. Ill. J. Math. 35(3), 357–373 (1991)
Manero, V., Marco Buzunáriz, M.Á.: Effective computation of degree bounded minimal models for GCDA’s. J. Softw. Algebra Geom. 10, 25–39 (2020)
Quillen, D.: Rational homotopy theory. Ann. Math. 90, 205–295 (1969)
Real, P.: Homological perturbation theory and associativity. Homol. Homotopy Appl. 2(5), 51–88 (2000)
Sullivan, D.: Geometric Topology: Localization, Periodicty, and Galois Symmetry. MIT Notes (1970)
Sullivan, D.: Rational Homotopy Theory, 2nd edn. Kluwer Academic Publishers, Dordrecht (2001)
Sullivan, D.: Infinitesimal computations in topology. Publ. Math. de l’IHÉS 47, 269–331 (1977)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
R. Gonzalez-Diaz, B. Medrano: Partially supported by MICINN, FEDER/UE under grant PID2019-107339GB-100. Antonio Garvín: partially supported by the Spanish MINECO and ERDF grant MTM2016-78647-P and by the Junta de Andalucía grant FQM-213.
Rights and permissions
About this article
Cite this article
Garvin, A., Gonzalez-Diaz, R., Marco, M.A. et al. Making Sullivan Algebras Minimal Through Chain Contractions. Mediterr. J. Math. 18, 43 (2021). https://doi.org/10.1007/s00009-020-01670-9
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-020-01670-9