Morse 理論の一般化

Morse 理論は, その有用性から一般化が様々な方向に様々な人によって考えられている。

• generalized Morse function
• framed function
• framed function の成す simplicial set

Generalized Morse function とは, Morse 関数に birth-death singularity を許した関数であり, framed function はそれに framing の情報を付け加えたものである。K. Igusa [Igu87] は, framed function の成す空間 ( simplicial set) を導入し, \(n\) 次元多様体上の framed function の空間が \((n-1)\) 連結であることを示している。

Lurie [Lur09] は, topological quantum field theory での cobordism hypothesis を証明するために, framed function の成す空間が可縮であることを示している ([Lur09] の Theorem 3.4.7 と Remark 3.4.8) が, これは Igusa の結果の精密化になっている。また, Eliashberg と Mishachev [EM12] が別証を考えている。

Mathai と Shubin [MS96] によると, より一般の closed \(1\)-form を考えることを suggest したのは Novikov [Nov82; Nov86] らしい。 Farber [Far85] や Pazhitnov [Paz91] により調べられている。

• Morse \(1\)-form

Barraud, Gadbled, Le [Bar+20]は, そのアイデアを元に 基本群の 「Novikov版」を定義している。

\(S^1\) に値を持つ Morse 関数については, Pajitnov の本 [Paj06] がある。Kohno と Pajitnov [KP15] は hyperplane arrangement の complement のホモロジーへの応用を考えている。

• \(S^1\)-valued Morse theory

境界を持つ多様体の場合は, Akaho の [Aka07] や Laudenbach の [Lau11] がある。 2012年5月30日の信州トポロジーセミナーでの赤穂まなぶ氏自身の講演で知った。

• 境界を持つ多様体の Morse theory

Borodzik と Némethi と Ranicki の [BNR16] によると, Kronheimer と Mrowka [KM07] も考えていたようである。 他にも Jankowski と Rubinsztein の [JR72], Braess の [Bra74], Hajduk の[Haj81] などの文献が挙げられている。Borodzik らは, interior critical point を boundary に移動できることを示している。 その際に1つの interior critical point が2つの boundary critical point に分割されるが。これにより, 境界を持つ多様体の Morse関数としては, critical point が全て boundary にあるものだけ考えればよいようである。 最近でも, Pushkar の [Pus] がある。

Cohen-Jones-Segal の Morse theory は, 多様体 \(M\) 上の Morse-Smale function \(f\) から topological category \(C_{f}\) で \(BC_{f}\simeq M\) となるものを作る試みであるが, 位相空間上の Reeb function に対し同様のことを考えたものとして, Trygsland の [Try; VHT] がある。彼は section category という topological category を定義し, その分類空間が元の空間とホモトピー同値になることを示している。

• Cohen-Jones-Segal の Morse theory
• Reeb function
• section category

Noncompact な場合を考えている人もいる。Rybakowski と Zehnder の [RZ85], Benci の [Ben91], Razvan の [Raz00] など。

パラメトライズされたもの, つまり fiberwise 版も考えられている。 2010年7月5日の信州トポロジーセミナーでの渡邊忠之氏の講演で知った。 K. Igusa の仕事が重要であるようである。 [Igu84; Igu87; Igu02; Igu05] など。

可微分多様体以外にも胞体分割できる空間は色々あるので, それらにも, Morse理論を拡張しようというのは自然なアイデアである。

• stratified Morse 理論
• discrete Morse 理論
• orbifold の Morse 理論 (Hepworth の [Hep09])

Discrete Morse theory には, 多様体の Morse theory の一般化に対応した, 様々な一般化や変種が考えられている。

• discrete Morse theory の 一般化や変種

無限次元多様体に対する Morse 理論を構築しようという試みも色々ある。Hilbert manifold については, Abbondandolo と Majer の [AM05; AM04; AM06] などにある文献をみてみるとよい。Qin の [Qin10] もある。

• Hilbert manifold の Morse 理論

いわゆる Morse 理論ではないが, Morse 関数を用いて元の多様体に関連した空間を作る別の方法もある。Maksymenko [Mak08] は, 曲面 \(M\) の場合に, Morse 関数の diffeomorphism による orbit が \(M\) の configuration space のある 被覆空間になることを示している。

Morse 理論の複素数版が Picard-Lefschetz theory であるということは, 色んな人が言っている。例えば, Arnol\('\)d の [Arn95] など。 実際に Morse 関数の「複素化」を作ろうとしている人 [Joh] もいる。

• Picard-Lefschetz theory

非可換版は, Milaniと Mansoubeigi と Rezaei の [MRM11] で考えられている。

• \(C^*\)-algebra の Morse theory

Morse 理論の \(\mathbb {A}^{1}\)-homotopy theory での類似は, Wendt の [Wen] で考えられている。Morse 関数の代わりに, isolated fixed point を持つ \(\mathbb {G}_{m}\) の作用を gradient flow とみなしている。

References

[Aka07]

Manabu Akaho. “Morse homology and manifolds with boundary”. In: Commun. Contemp. Math. 9.3 (2007), pp. 301–334. url: http://dx.doi.org/10.1142/S0219199707002459.

[AM04]

Alberto Abbondandolo and Pietro Majer. “When the Morse index is infinite”. In: Int. Math. Res. Not. 71 (2004), pp. 3839–3854. arXiv: math/0403552. url: http://dx.doi.org/10.1155/S1073792804142050.

[AM05]

Alberto Abbondandolo and Pietro Majer. “A Morse complex for infinite dimensional manifolds. I”. In: Adv. Math. 197.2 (2005), pp. 321–410. arXiv: math/0309020. url: http://dx.doi.org/10.1016/j.aim.2004.10.007.

[AM06]

Alberto Abbondandolo and Pietro Majer. “Lectures on the Morse complex for infinite-dimensional manifolds”. In: Morse theoretic methods in nonlinear analysis and in symplectic topology. Vol. 217. NATO Sci. Ser. II Math. Phys. Chem. Dordrecht: Springer, 2006, pp. 1–74. url: http://dx.doi.org/10.1007/1-4020-4266-3_01.

[Arn95]

V. I. Arnol\('\)d. “Remarks on eigenvalues and eigenvectors of Hermitian matrices, Berry phase, adiabatic connections and quantum Hall effect”. In: Selecta Math. (N.S.) 1.1 (1995), pp. 1–19. url: http://dx.doi.org/10.1007/BF01614072.

[Bar+20]

J.-F. Barraud, A. Gadbled, R. Golovko, and H. V. Lê. “Novikov fundamental group”. In: Int. Math. Res. Not. IMRN 24 (2020), pp. 10447–10494. arXiv: 1710.10353. url: https://doi.org/10.1093/imrn/rnz032.

[Ben91]

Vieri Benci. “A new approach to the Morse-Conley theory and some applications”. In: Ann. Mat. Pura Appl. (4) 158 (1991), pp. 231–305. url: http://dx.doi.org/10.1007/BF01759307.

[BNR16]

Maciej Borodzik, András Némethi, and Andrew Ranicki. “Morse theory for manifolds with boundary”. In: Algebr. Geom. Topol. 16.2 (2016), pp. 971–1023. arXiv: 1207.3066. url: https://doi.org/10.2140/agt.2016.16.971.

[Bra74]

Dietrich Braess. “Morse-Theorie für berandete Mannigfaltigkeiten”. In: Math. Ann. 208 (1974), pp. 133–148.

[EM12]

Y. M. Eliashberg and N. M. Mishachev. “The space of framed functions is contractible”. In: Essays in mathematics and its applications. Springer, Heidelberg, 2012, pp. 81–109. arXiv: 1108.1000. url: https://doi.org/10.1007/978-3-642-28821-0_5.

[Far85]

M. Sh. Farber. “Sharpness of the Novikov inequalities”. In: Funktsional. Anal. i Prilozhen. 19.1 (1985), pp. 49–59, 96.

[Haj81]

B. Hajduk. “Minimal \(m\)-functions”. In: Fund. Math. 111.3 (1981), pp. 179–200.

[Hep09]

Richard Hepworth. “Morse inequalities for orbifold cohomology”. In: Algebr. Geom. Topol. 9.2 (2009), pp. 1105–1175. arXiv: 0712.2432. url: https://doi.org/10.2140/agt.2009.9.1105.

[Igu02]

Kiyoshi Igusa. Higher Franz-Reidemeister torsion. Vol. 31. AMS/IP Studies in Advanced Mathematics. Providence, RI: American Mathematical Society, 2002, pp. xxii+370. isbn: 0-8218-3170-4.

[Igu05]

Kiyoshi Igusa. “Higher complex torsion and the framing principle”. In: Mem. Amer. Math. Soc. 177.835 (2005), pp. xiv+94.

[Igu84]

Kiyoshi Igusa. “Higher singularities of smooth functions are unnecessary”. In: Ann. of Math. (2) 119.1 (1984), pp. 1–58. url: http://dx.doi.org/10.2307/2006962.

[Igu87]

Kiyoshi Igusa. “The space of framed functions”. In: Trans. Amer. Math. Soc. 301.2 (1987), pp. 431–477. url: http://dx.doi.org/10.2307/2000654.

[Joh]

Joe Johns. The Picard-Lefschetz theory of complexified Morse functions. arXiv: 0906.1218.

[JR72]

A. Jankowski and R. Rubinsztein. “Functions with non-degenerate critical points on manifolds with boundary”. In: Comment. Math. Prace Mat. 16 (1972), pp. 99–112.

[KM07]

Peter Kronheimer and Tomasz Mrowka. Monopoles and three-manifolds. Vol. 10. New Mathematical Monographs. Cambridge: Cambridge University Press, 2007, pp. xii+796. isbn: 978-0-521-88022-0. url: http://dx.doi.org/10.1017/CBO9780511543111.

[KP15]

Toshitake Kohno and Andrei Pajitnov. “Circle-valued Morse theory for complex hyperplane arrangements”. In: Forum Math. 27.4 (2015), pp. 2113–2128. arXiv: 1101.0437. url: https://doi.org/10.1515/forum-2013-0032.

[Lau11]

François Laudenbach. “A Morse complex on manifolds with boundary”. In: Geom. Dedicata 153 (2011), pp. 47–57. arXiv: 1003.5077. url: http://dx.doi.org/10.1007/s10711-010-9555-y.

[Lur09]

Jacob Lurie. “On the classification of topological field theories”. In: Current developments in mathematics, 2008. Int. Press, Somerville, MA, 2009, pp. 129–280. arXiv: 0905.0465.

[Mak08]

Sergiy Maksymenko. “Homotopy dimension of orbits of Morse functions on surfaces”. In: Travaux mathématiques. Vol. XVIII. Vol. 18. Trav. Math. Fac. Sci. Technol. Commun. Univ. Luxemb., Luxembourg, 2008, pp. 39–44. arXiv: 0710.4437.

[MRM11]

Vida Milani, Ali Asghar Rezaei, and Seyed M. H. Mansourbeigi. “Morse theory for \(\mathrm {C}^*\)-algebras: a geometric interpretation of some noncommutative manifolds”. In: Appl. Gen. Topol. 12.2 (2011), pp. 175–185. arXiv: 0912.2471. url: https://doi.org/10.4995/agt.2011.1650.

[MS96]

Varghese Mathai and Mikhail Shubin. “Twisted \(L^2\) invariants of non-simply connected manifolds and asymptotic \(L^2\) Morse inequalities”. In: Russian J. Math. Phys. 4.4 (1996), pp. 499–526. arXiv: dg-ga/9610018.

[Nov82]

S. P. Novikov. “The Hamiltonian formalism and a multivalued analogue of Morse theory”. In: Uspekhi Mat. Nauk 37.5(227) (1982), pp. 3–49, 248.

[Nov86]

S. P. Novikov. “Bloch homology. Critical points of functions and closed \(1\)-forms”. In: Dokl. Akad. Nauk SSSR 287.6 (1986), pp. 1321–1324.

[Paj06]

Andrei V. Pajitnov. Circle-valued Morse theory. Vol. 32. de Gruyter Studies in Mathematics. Berlin: Walter de Gruyter & Co., 2006, pp. x+454. isbn: 978-3-11-015807-6; 3-11-015807-8. url: http://dx.doi.org/10.1515/9783110197976.

[Paz91]

A. V. Pazhitnov. “Morse theory of closed \(1\)-forms”. In: Algebraic topology Poznań 1989. Vol. 1474. Lecture Notes in Math. Springer, Berlin, 1991, pp. 98–110. url: http://dx.doi.org/10.1007/BFb0084740.

[Pus]

Petr E. Pushkar. Morse theory on manifolds with boundary I. Strong Morse function, cellular structures and algebraic simplification of cellular differential. arXiv: 1912.06437.

[Qin10]

Lizhen Qin. “On moduli spaces and CW structures arising from Morse theory on Hilbert manifolds”. In: J. Topol. Anal. 2.4 (2010), pp. 469–526. arXiv: 1012.3643. url: https://doi.org/10.1142/S1793525310000409.

[Raz00]

M. R. Razvan. “Ljusternik-Schnirelmann theory and Conley index, a noncompact version”. In: Asian J. Math. 4.2 (2000), pp. 383–390. url: http://dx.doi.org/10.4310/AJM.2000.v4.n2.a9.

[RZ85]

Krzysztof P. Rybakowski and Eduard Zehnder. “A Morse equation in Conley’s index theory for semiflows on metric spaces”. In: Ergodic Theory Dynam. Systems 5.1 (1985), pp. 123–143. url: http://dx.doi.org/10.1017/S0143385700002790.

[Try]

Paul Trygsland. Combinatorial models for topological Reeb spaces. arXiv: 2109.05474.

[VHT]

Melvin Vaupel, Erik Hermansen, and Paul Trygsland. Section complexes of simplicial height functions. arXiv: 2201.12617.

[Wen]

Matthias Wendt. More examples of motivic cell structures. arXiv: 1012.0454.