Perfect Discrete Morse Functions on Triangulated 3-Manifolds

  • Rafael Ayala
  • Desamparados Fernández-Ternero
  • José Antonio Vilches
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7309)


This work is focused on characterizing the existence of a perfect discrete Morse function on a triangulated 3-manifold M, that is, a discrete Morse function satisfying that the numbers of critical simplices coincide with the corresponding Betti numbers. We reduce this problem to the existence of such kind of function on a spine L of M, that is, a 2-subcomplex L such that M − Δ collapses to L, where Δ is a tetrahedron of M. Also, considering the decomposition of every 3-manifold into prime factors, we prove that if every prime factor of M admits a perfect discrete Morse function, then M admits such kind of function.


perfect discrete Morse function triangulated 3-manifold spine 


  1. 1.
    Ayala, R., Fernández, L.M., Vilches, J.A.: Discrete Morse inequalities on infinite graphs. Electron. J. Comb. 16 (1), paper R38, 11 (2009)Google Scholar
  2. 2.
    Ayala, R., Fernández-Ternero, D., Vilches, J.A.: Perfect discrete Morse functions on 2- complexes. Pattern Recognition Lett. (2011), doi: 10.1016/j.patrec.2011.08.011Google Scholar
  3. 3.
    Ayala, R., Fernández-Ternero, D., Vilches, J.A.: Constructing optimal discrete Morse functions on certain 2-complexes (submitted)Google Scholar
  4. 4.
    Benedetti, B.: Discrete Morse Theory is as perfect as Morse Theory. arXiv:1010.0548v3 [math.DG]Google Scholar
  5. 5.
    Couprie, M., Bertrand, G.: New characterizations of simple points in 2D, 3D and 4D discrete spaces. IEEE Trans. Pattern Anal. Mach. Intell. 31(4), 637–648 (2009)CrossRefGoogle Scholar
  6. 6.
    Eğecioğlu, Ö., Gonzalez, T.: A computationally intractable problem on simplicial complexes. Comput. Geom. 6(2), 85–98 (1996)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Forman, R.: Morse Theory for cell complexes. Adv. Math. 134(1), 90–145 (1998)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Forman, R.: A user’s guide to discrete Morse theory. Sém. Lothar. Combin. 48, Art. B48c, 35 (2002) (electronic)Google Scholar
  9. 9.
    Glaser, L.C.: Geometrical Combinatorial Topology. Van Nostrand Reinhold Company, New York (1970)zbMATHGoogle Scholar
  10. 10.
    González-Díaz, R., Real, P.: Computation of cohomology operations on finite simplicial complexes. Homology Homotopy Appl. 5(2), 83–93 (2003)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Gyulassy, A., Bremer, P.T., Hamann, B., Pascucci, V.: A practical approach to Morse-Smale complex computation: Scalability and generality. IEEE Trans. Vis. Comput. Graph. 14(6), 1619–1626 (2008)CrossRefGoogle Scholar
  12. 12.
    Hatcher, A.: Notes on basic 3-manifold Topology,
  13. 13.
    Hatcher, A.: The clasification of 3-manifolds. A brief overview,
  14. 14.
    Jonsson, J.: Simplicial complexes of graphs. Lecture Notes in Math., vol. 1928. Springer, Berlin (2008)zbMATHCrossRefGoogle Scholar
  15. 15.
    Knutson, G.W.: A characterization of closed 3-manifolds with spines containing no wild arcs. Proc. Amer. Math. Soc. 21, 310–314 (1969)MathSciNetzbMATHGoogle Scholar
  16. 16.
    Lutz, F., Ziegler, G.: A small Polyhedral ℤ-Acyclic 2-complex in ℝ4. EG-Models, No. 2008.11.001 (2008)Google Scholar
  17. 17.
    Molina-Abril, H., Real, P.: Homological Spanning Forest Framework for 2D Image Analysis. To Appear in Ann. Math. Artif. Intell.Google Scholar
  18. 18.
    Mrozek, M., Pilarczyk, P., Żelazna, N.: Homology algorithm based on a cyclic subspace. Comput. Math. Appl. 55, 2395–2412 (2008)MathSciNetzbMATHCrossRefGoogle Scholar
  19. 19.
    Pacheco, A., Mari, J.L., Real, P.: Obtaining cell complexes associated to four dimensional digital objects. Imagen-A 1, 57–64 (2010)Google Scholar
  20. 20.
    Pitcher, E.: Inequalities of critical point theory. Bull. Amer. Math. Soc. 64, 1–30 (1958)zbMATHCrossRefGoogle Scholar
  21. 21.
    Robins, V., Wood, P.J., Sheppard, A.P.: Theory and algorithms for constructing discrete Morse complexes from grayscale digital images. IEEE Trans. Pattern Anal. Mach. Intell. 33(8), 1646–1658 (2011)CrossRefGoogle Scholar
  22. 22.
    Whitehead, J.H.C.: Simple homotopy types. Amer. J. Math. 72, 1–57 (1950)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Rafael Ayala
    • 1
  • Desamparados Fernández-Ternero
    • 1
  • José Antonio Vilches
    • 1
  1. 1.Departamento de Geometría y TopologíaUniversidad de SevillaSevillaSpain

Personalised recommendations