Visualizing Forman’s Discrete Vector Field

  • Thomas Lewiner
  • Helio Lopes
  • Geovan Tavares
Part of the Mathematics and Visualization book series (MATHVISUAL)


Morse theory has been considered to be a powerful tool in its applications to computational topology, computer graphics and geometric modeling. Forman introduced a discrete version of it, which is purely combinatorial. This opens Morse theory applications to a much larger scope.

The main objective of this work is to illustrate Forman’s theory. We intend to use some of Forman’s concepts to visually analyze the topology of an object. We present an algorithm to build a discrete gradient vector field on a cell complex as defined in Forman’s theory.


Morse theory Forman theory vector field visualization 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M.A. Armstrong (1979): Basic topology. McGraw-Hill, London.zbMATHGoogle Scholar
  2. 2.
    U. Axen and H. Edelsbrunner (1998): Auditory Morse analysis of triangulated manifolds. In: Hege, H.C., Polthier, K. (ed) U. Axen and H. Edelsbrunner, 223 - 236, Springer Berlin.Google Scholar
  3. 3.
    C. Berge (1970): Graphes et hypergraphes. Dunod, Paris.zbMATHGoogle Scholar
  4. 4.
    M. Chari (2000): On discrete Morse functions and combinatorial decompositions. Discrete Math., 217, 101 - 113.MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    M. Chari and M. Joswig (2001): Discrete Morse complexes. preprint.Google Scholar
  6. 6.
    C. Delfinado and H. Edelsbrunner (1993): An Incremental Algorithm for Betti Numbers of Simplicial Complexes. Proceedings of the 9th Annual Symposium on Computer Geometry, 232 - 239.Google Scholar
  7. 7.
    T.K. Dey, H. Edelsbrunner, and S. Guha (1999): Computational topology. In: Chazelle B., Goodman J.E., Pollack, R. (ed) Advances in Discrete and Computational Geometry, Contemporary mathematics 223, American Mathematical Society, Providence.Google Scholar
  8. 8.
    T.K. Dey and S. Guha (2001): Algorithms for manifolds and simplicial complexes in euclidean 3-Space. preprint.Google Scholar
  9. 9.
    E. Koutsofios and S.C. North (1993): Drawing graphs with dot. Technical report, ATT Bell Laboratories, Murray Hill, NJ. Google Scholar
  10. 10.
    H. Edelsbrunner, J. Harer, and A. Zomorodian (2001): Hierarchical Morse Complexes for Piecewise Linear 2-Manifolds. Proceedings of the 17th Annual Symposium on Computer Geometry, 70 - 79.Google Scholar
  11. 11.
    O. Egecioglu and T.F. Gonzalez (1996): A computationally intractable problem on simplicial complexes. Computational Geometry: Theory and Applications 6, 85-98.Google Scholar
  12. 12.
    R. Forman (1995): A discrete Morse theory for cell complexes. In: Yau S.T. (ed), Geometry, Topology Physics for Raoul Bott, International Press.Google Scholar
  13. 13.
    R. Forman (1998): Morse theory for cell complexes. Advances in Mathematics 134, 90 - 145.MathSciNetzbMATHCrossRefGoogle Scholar
  14. 14.
    R. Forman (2001): Some applications of combinatorial differential topology. preprint.Google Scholar
  15. 15.
    R. Forman (2001): A user guide to discrete Morse theory. preprint.Google Scholar
  16. 16.
    J. Hart (1998): Morse theory for implicit surface modeling. In: Hege, H.C., Polthier, K. (ed) J. Hart 257 - 268, Springer Berlin.Google Scholar
  17. 17.
    J. Hart (1997): Morse theory for computer graphics. WSU Technical Report EECS-97-002. In: Hart, J., Ebert, D. (ed), New Frontiers in Modeling and Texturing.Google Scholar
  18. 18.
    M. Hachimori: Simplicial Complex Library."hachi/math/library/index_eng.htmlGoogle Scholar
  19. 19.
    R. Scharein: Knot-Plot. Scholar
  20. 20.
    T. Lewiner, G. Tavares, and H. Lopes (2001): Optimal discrete Morse functions for 2-manifolds. To appear in Computational Geometry: Theory and Applications.Google Scholar
  21. 21.
    H. Lopes (1996): Algorithm to build and unbuild 2 and 3 dimensional manifolds. PhD. Thesis, PUC-Rio, Rio de Janeiro.Google Scholar
  22. 22.
    H. Lopes and G. Tavares (1997): Structure operators for modeling 3 dimensional manifolds. In: Hoffman, C., Bronsvort, W. (ed), ACM Siggraph Symposium on Solid Modeling and Applications, 10 - 18.Google Scholar
  23. 23.
    H. Lopes, J. Rossignac, A. Safanova, A. Szymczak, and G. Tavares (2002): Edgebreaker: a simple compression for surfaces with handles. To appear in 7th ACM Siggraph Symposium on Solid Modeling and Applications.Google Scholar
  24. 24.
    A. Lundell and S. Weingram (1969): The topology of CW complexes. Van Nostrand Reinhold, New York.zbMATHCrossRefGoogle Scholar
  25. 25.
    J. Milnor (1963): Morse theory. Princeton University Press, NJ.Google Scholar
  26. 26.
    S.C. North (1992): Neato User’s Guide. Technical Report, ATT Bell Laboratories, Murray Hill, NJ."north/graphviz/Google Scholar
  27. 27.
    Y. Shinagawa, T.L. Kunii, and Y.L. Kergosien (1991): Surface coding based on Morse theory. IEEE Computer Graphics and Applications 11, 66 - 78.CrossRefGoogle Scholar
  28. 28.
    A. Szymczak and J. Rossignac (2000): Grow Fold: Compression of Tetrahedral Meshes. Computer-Aided Design 32 (8/9), 527 - 538.CrossRefGoogle Scholar
  29. 29.
    G. Vegter (1997): Computational topology. In: Goodman, J.E., O’Rourke, J. (ed), G. Vegter, 517 - 536, CRC Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Thomas Lewiner
    • 1
  • Helio Lopes
    • 1
  • Geovan Tavares
    • 1
  1. 1.Math&Media Laboratory, Department of MathematicsPontifical Catholic UniversityGávea, Rio de JaneiroBrazil

Personalised recommendations