Discrete Morse Theory

Blochの [Blo13]によると, Morse theory の discrete analogue を考えた人は何人かいるようである。 最近有名なのは, Forman のCW複体上の Morse theory だろう。Bloch は, Banchoff の [Ban67; Ban70; Ban83] を挙げている。 この“discrete Cerf theory があるか”という Math Overflow の質問に対する コメントでは, Bestvina の [Bes08] が挙げられている。

Forman のものは, 文献としては [For95; For98b; For98a; MY99] などがある。解説としては, Forman 自身による User’s Guide [For02] がある。Jonsson の graph からできる単体的複体の本 [Jon08] や Kozlov の本 [Koz08] にも解説が含まれている。

  • discrete Morse function
  • critical cell
  • critical cell の数と Betti 数に関する Morse 不等式の類似

単体的複体regular cell complex の場合には, その face poset で全て議論できる。例えば, 多様体の Morse theory の gradient vector field に対応するのは, face poset の Hasse diagram 上の acyclic partial matching である。また gradient flow に対応するのは, その acyclic partial matching の成す path である。

  • discrete vector field
  • acyclic partial matching

Forman は, gradient flow に対応する path として, 余次元1の面の関係になっている alternating sequence を考えたが, それでは条件が厳しすぎて, 多様体の Morse theory の真似をするのは難しい。そこで, Nanda と Tanaka との共著 [NTT18] で flow path という概念を導入した。

  • Forman の gradient path
  • flow path

Flow path が「正しい」gradient flow の類似であることは, Cohen-Jones-Segal の preprint [CJS] の主定理の離散版が証明されていることで保証されている, と思っている。 Nanda による categorical な approach [Nan19] もある。

多様体の Morse theory の場合には, Morse 関数が, ある transversality を満たすと, ホモロジーがその多様体のホモロジーと同型になる chain complex が作れるが, discrete Morse theory でも同様の chain complex が構成できる。Gallais は, その chain complex の combinatorial realization を [Gal10] で与えている。

PL topology組み合せ論など様々な応用が考えられている。

自然な疑問は, 可微分多様体の Morse 理論との関係であるが, それについては, Gallais [Gal10] や Benedetti [Ben16] らが調べている。

様々な variation も考えられている。

References

[Ban67]

Thomas Banchoff. “Critical points and curvature for embedded polyhedra”. In: J. Differential Geometry 1 (1967), pp. 245–256.

[Ban70]

T. F. Banchoff. “Critical points and curvature for embedded polyhedral surfaces”. In: Amer. Math. Monthly 77 (1970), pp. 475–485.

[Ban83]

Thomas F. Banchoff. “Critical points and curvature for embedded polyhedra. II”. In: Differential geometry (College Park, Md., 1981/1982). Vol. 32. Progr. Math. Boston, MA: Birkhäuser Boston, 1983, pp. 34–55.

[Ben16]

Bruno Benedetti. “Smoothing discrete Morse theory”. In: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 16.2 (2016), pp. 335–368. arXiv: 1212.0885.

[Bes08]

Mladen Bestvina. “PL Morse theory”. In: Math. Commun. 13.2 (2008), pp. 149–162.

[Blo13]

Ethan D. Bloch. “Polyhedral representation of discrete Morse functions”. In: Discrete Math. 313.12 (2013), pp. 1342–1348. arXiv: 1008.3724. url: https://doi.org/10.1016/j.disc.2013.02.020.

[CJS]

R. L. Cohen, J.D.S. Jones, and G. B. Segal. Morse theory and classifying spaces. preprint. url: http://math.stanford.edu/~ralph/morse.ps.

[For02]

Robin Forman. “A user’s guide to discrete Morse theory”. In: Sém. Lothar. Combin. 48 (2002), Art. B48c, 35.

[For95]

Robin Forman. “A discrete Morse theory for cell complexes”. In: Geometry, topology, & physics. Conf. Proc. Lecture Notes Geom. Topology, IV. Int. Press, Cambridge, MA, 1995, pp. 112–125.

[For98a]

Robin Forman. “Morse theory for cell complexes”. In: Adv. Math. 134.1 (1998), pp. 90–145. url: http://dx.doi.org/10.1006/aima.1997.1650.

[For98b]

Robin Forman. “Witten-Morse theory for cell complexes”. In: Topology 37.5 (1998), pp. 945–979. url: http://dx.doi.org/10.1016/S0040-9383(97)00071-2.

[Gal10]

Étienne Gallais. “Combinatorial realization of the Thom-Smale complex via discrete Morse theory”. In: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 9.2 (2010), pp. 229–252. arXiv: 0803.2616.

[Jon08]

Jakob Jonsson. Simplicial complexes of graphs. Vol. 1928. Lecture Notes in Mathematics. Berlin: Springer-Verlag, 2008, pp. xiv+378. isbn: 978-3-540-75858-7. url: http://dx.doi.org/10.1007/978-3-540-75859-4.

[Koz08]

Dmitry Kozlov. Combinatorial algebraic topology. Vol. 21. Algorithms and Computation in Mathematics. Berlin: Springer, 2008, pp. xx+389. isbn: 978-3-540-71961-8. url: http://dx.doi.org/10.1007/978-3-540-71962-5.

[MY99]

Varghese Mathai and Stuart G. Yates. “Discrete Morse theory and extended \(L^{2}\) homology”. In: J. Funct. Anal. 168.1 (1999), pp. 84–110. url: http://dx.doi.org/10.1006/jfan.1999.3439.

[Nan19]

Vidit Nanda. “Discrete Morse theory and localization”. In: J. Pure Appl. Algebra 223.2 (2019), pp. 459–488. arXiv: 1510.01907. url: https://doi.org/10.1016/j.jpaa.2018.04.001.

[NTT18]

Vidit Nanda, Dai Tamaki, and Kohei Tanaka. “Discrete Morse theory and classifying spaces”. In: Adv. Math. 340 (2018), pp. 723–790. arXiv: 1612.08429. url: https://doi.org/10.1016/j.aim.2018.10.016.