We propose a definition of a homology of a one-dimensional foliation defined by a non-singular Morse-Smale flow. We also show the calculation of the homology of such a foliation which is naturally associated with Seifert fibration.
- āĻĒā§āϰāĻŦāύā§āϧ ID: 2402.01387
- āĻļāĻŋāϰā§āύāĻžāĻŽ: āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻš āĻĻā§āĻŦāĻžāϰāĻž āϏāĻāĻā§āĻāĻžāϝāĻŧāĻŋāϤ āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϏāĻŽā§āĻĒāϰā§āĻā§
- āϞā§āĻāĻ: Masato Akizawa, Ryosuke Furuta, Shigeaki Miyoshi
- āĻļā§āϰā§āĻŖā§āĻŦāĻŋāĻāĻžāĻ: math.GT (āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āϏāĻāϏā§āĻĨāĻžāύāĻŦāĻŋāĻā§āĻāĻžāύ)
- āĻĒā§āϰāĻāĻžāĻļāύāĻžāϰ āϏāĻŽāϝāĻŧ: ⧍ā§Ļ⧍ā§Ē āϏāĻžāϞā§āϰ āĻĢā§āĻŦā§āϰā§āϝāĻŧāĻžāϰāĻŋ (arXiv āĻĒā§āϰāĻžāĻ-āĻŽā§āĻĻā§āϰāĻŖ)
- āĻĒā§āϰāĻŦāύā§āϧā§āϰ āϞāĻŋāĻā§āĻ: https://arxiv.org/abs/2402.01387
āĻāĻ āĻĒā§āϰāĻŦāύā§āϧāĻāĻŋ āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻš āĻĻā§āĻŦāĻžāϰāĻž āϏāĻāĻā§āĻāĻžāϝāĻŧāĻŋāϤ āĻāĻ-āĻŽāĻžāϤā§āϰāĻŋāĻ āĻ
āĻāĻŋāĻŽā§āĻā§ āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϰ āĻāĻāĻāĻŋ āϏāĻāĻā§āĻāĻž āĻĒā§āϰāϏā§āϤāĻžāĻŦ āĻāϰā§āĨ¤ āĻāĻāĻ āϏāĻžāĻĨā§ Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āϏāĻžāĻĨā§ āϏā§āĻŦāĻžāĻāĻžāĻŦāĻŋāĻāĻāĻžāĻŦā§ āϏāĻŽā§āĻĒāϰā§āĻāĻŋāϤ āĻāĻ āϧāϰāύā§āϰ āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻāĻŖāύāĻž āĻĒā§āϰāĻĻāϰā§āĻļāύ āĻāϰāĻž āĻšāϝāĻŧāĨ¤
āĻāĻ āĻĒā§āϰāĻŦāύā§āϧāĻāĻŋ āϝ⧠āĻŽā§āϞ āϏāĻŽāϏā§āϝāĻžāϰ āϏāĻŽāĻžāϧāĻžāύ āĻāϰāϤ⧠āĻāĻžāϝāĻŧ āϤāĻž āĻšāϞ āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻš āĻĻā§āĻŦāĻžāϰāĻž āϏāĻāĻā§āĻāĻžāϝāĻŧāĻŋāϤ āĻāĻ-āĻŽāĻžāϤā§āϰāĻŋāĻ āĻ
āĻāĻŋāĻŽā§āĻā§ āĻĒāĻžāϤāĻžāϰ āĻāύā§āϝ āĻāĻāĻāĻŋ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦ āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž āĻāϰāĻžāĨ¤ āĻāϤāĻŋāĻšā§āϝāĻŦāĻžāĻšā§ Morse āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦ āĻĒā§āϰāϧāĻžāύāϤ āĻā§āϰā§āĻĄāĻŋāϝāĻŧā§āύā§āĻ āĻĒā§āϰāĻŦāĻžāĻš āύāĻŋāϝāĻŧā§ āĻāĻžāĻ āĻāϰā§, āϝāĻāύ āĻāĻ āĻĒā§āϰāĻŦāύā§āϧāĻāĻŋ āĻāĻāĻŋāĻā§ āĻāϰāĻ āϏāĻžāϧāĻžāϰāĻŖ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻšā§āϰ āĻā§āώā§āϤā§āϰ⧠āϏāĻŽā§āĻĒā§āϰāϏāĻžāϰāĻŋāϤ āĻāϰā§āĨ¤
- āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āϏāĻŽā§āĻĒā§āϰā§āĻŖāϤāĻž: āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻš āĻā§āϰā§āĻĄāĻŋāϝāĻŧā§āύā§āĻ āĻĒā§āϰāĻŦāĻžāĻšā§āϰ āĻā§āϝāĻŧā§ āĻāϰāĻ āϏāĻžāϧāĻžāϰāĻŖ, āĻāϰ āĻāύā§āϝ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦ āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž āĻāϰāĻž āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻļā§āύā§āϝāϤāĻž āĻĒā§āϰāĻŖ āĻāϰā§
- āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āϤāĻžā§āĻĒāϰā§āϝ: āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻĒā§āϰāĻŦāĻžāĻšāϰā§āĻāĻžāϰ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āĻāĻŦāĻ āϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻŦā§āĻļāĻŋāώā§āĻā§āϝ āĻāĻŋāĻšā§āύāĻŋāϤ āĻāϰāϤ⧠āĻĒāĻžāϰā§, āĻāĻāĻŋ āĻĒāĻžāϤāĻžāϰ āϤāϤā§āϤā§āĻŦā§āϰ āĻāĻāĻāĻŋ āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āĻ
āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ
- āĻĒā§āϰāϝāĻŧā§āĻā§āϰ āĻŽā§āϞā§āϝ: Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āϏāĻžāĻĨā§ āϏāĻāϝā§āĻ āĻāĻ āϤāϤā§āϤā§āĻŦāĻā§ āϤā§āϰāĻŋāĻŽāĻžāϤā§āϰāĻŋāĻ āĻŦāĻšā§āĻā§āĻŖ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāϤ⧠āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āĻĒā§āϰāϝāĻŧā§āĻ āĻĒā§āϰāĻĻāĻžāύ āĻāϰā§
āĻāϤāĻŋāĻšā§āϝāĻŦāĻžāĻšā§ āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞ āĻŦāĻŋāϝāĻŧā§āĻāύ (Round Handle Decomposition, RHD) āϝāĻĻāĻŋāĻ āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻš āĻŦāϰā§āĻŖāύāĻž āĻāϰāϤ⧠āĻĒāĻžāϰā§, āϤāĻŦā§ āĻāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻāĻŦāĻ āĻĒā§āϰāĻŦāĻžāĻšā§āϰ āύāĻŋāĻāϏā§āĻŦ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āĻāĻžāĻ āĻžāĻŽā§āϰ āĻŽāϧā§āϝ⧠āϏāĻŽā§āĻĒāϰā§āĻ āϝāĻĨā§āώā§āĻ āϏāϰāĻžāϏāϰāĻŋ āĻāĻŦāĻ āϏā§āĻĒāώā§āĻ āύāϝāĻŧāĨ¤
āϞā§āĻāĻāϰāĻž āĻāĻŽāύ āĻāĻāĻāĻŋ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦ āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž āĻāϰāϤ⧠āĻāĻžāύ āϝāĻž āĻĒāĻžāϤāĻžāϰ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āĻŦā§āĻļāĻŋāώā§āĻā§āϝ āϏāϰāĻžāϏāϰāĻŋ āĻĒā§āϰāϤāĻŋāĻĢāϞāĻŋāϤ āĻāϰā§, āϝāĻžāϤ⧠āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰ āĻĒā§āϰāĻŦāĻžāĻšāϰā§āĻāĻžāϰ āϏāĻāϝā§āĻ āϏāĻŽā§āĻĒāϰā§āĻ āĻĒā§āϰāĻāĻžāĻļ āĻāϰā§, āĻāĻŦāĻ āĻāϰ āĻĢāϞ⧠āĻĒāĻžāϤāĻžāϰ āĻ
āĻā§āϝāύā§āϤāϰā§āĻŖ āĻ
āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻĒāĻžāĻāϝāĻŧāĻž āϝāĻžāϝāĻŧāĨ¤
- NMS āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϰ āύāϤā§āύ āϏāĻāĻā§āĻāĻž āĻĒā§āϰāϏā§āϤāĻžāĻŦ: Conley āϏā§āĻāĻ āϤāϤā§āϤā§āĻŦā§āϰ āĻŽāĻžāϧā§āϝāĻŽā§ āĻĒā§āϰāĻŦāĻžāĻšāϰā§āĻāĻžāϰ āĻāĻžāĻ āĻžāĻŽā§ āϏāϰāĻžāϏāϰāĻŋ āĻĒā§āϰāϤāĻŋāĻĢāϞāĻŋāϤ āĻāϰ⧠āĻāĻŽāύ āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰ āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž āĻāϰāĻž
- āĻĻā§āĻāĻŋ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦā§āϰ āϏāĻŽāϤā§āϞā§āϝāϤāĻž āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž: RHD āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻāĻŦāĻ NMS āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϰ āĻŽāϧā§āϝ⧠āϏāĻŽāϰā§āĻĒāϤāĻž āĻĒā§āϰāĻŽāĻžāĻŖ āĻāϰāĻž
- āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻāĻŖāύāĻž āĻĒāĻĻā§āϧāϤāĻŋ āĻĒā§āϰāĻĻāĻžāύ: āϏā§āĻāĻ āĻā§āĻĄāĻŧāĻžāϰ āϏā§āĻĒāώā§āĻ āύāĻŋāϰā§āĻŽāĻžāĻŖā§āϰ āĻŽāĻžāϧā§āϝāĻŽā§ āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰā§āϰ āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻāĻŖāύāĻž āϏā§āϤā§āϰ āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž
- Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āĻĒā§āϰāϝāĻŧā§āĻ āĻĒā§āϰāĻĻāϰā§āĻļāύ: Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āϏāĻžāĻĨā§ āϏāĻŽā§āĻĒāϰā§āĻāĻŋāϤ NMS āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻā§āϰā§āĻĒ āĻāĻŖāύāĻž āĻāϰāĻž
āϏāĻāĻā§āώāĻŋāĻĒā§āϤ āĻ
āĻāĻŋāĻŽā§āĻā§ āĻŦāĻšā§āĻā§āĻŖ M-āĻ āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻš Ī āĻĻā§āĻāϝāĻŧāĻž āĻšāϞā§, āĻāϰ āĻĒā§āϰāĻŦāĻžāĻšāϰā§āĻāĻž āĻĻā§āĻŦāĻžāϰāĻž āĻāĻ āĻŋāϤ āĻāĻ-āĻŽāĻžāϤā§āϰāĻŋāĻ āĻ
āĻāĻŋāĻŽā§āĻā§ āĻĒāĻžāϤāĻž F-āĻāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻā§āϰā§āĻĒ H^{NMS}_*(F) āϏāĻāĻā§āĻāĻžāϝāĻŧāĻŋāϤ āĻāϰāĻž, āϝāĻžāϤ⧠āĻāĻāĻŋ āĻĒāĻžāϤāĻžāϰ āĻāĻāĻāĻŋ āϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻ
āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻšāϝāĻŧāĨ¤
āĻĒā§āϰāĻĨāĻŽā§ Asimov āĻāĻŦāĻ Morgan-āĻāϰ āϤāϤā§āϤā§āĻŦā§āϰ āĻāĻĒāϰ āĻāĻŋāϤā§āϤāĻŋ āĻāϰā§, āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞ āĻŦāĻŋāϝāĻŧā§āĻāύ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻāϰ⧠āĻĒā§āϰāĻžāĻĨāĻŽāĻŋāĻ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦ āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž āĻāϰāĻž:
- RHD-āĻāϰ āĻāύā§āϝ: M = (â_-M à 0,1) + âR^0_i + ... + âR^{n-1}_i
- āĻļā§āĻā§āĻāϞ āĻāĻāĻŋāϞ āϏāĻāĻā§āĻāĻž: C^{RHD}k(Ī(M)) = H{k+1}(M^{(k)}, M^{(k-1)})
- āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰ: â^{RHD}_k āĻĻā§āϰā§āĻ āϏāĻ āĻŋāĻ āĻā§āϰāĻŽ-āĻ āϏāĻāϝā§āĻ āϏāĻŽāϰā§āĻĒāϤāĻž
Conley āϏā§āĻāĻ āϤāϤā§āϤā§āĻŦ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻāϰ⧠āĻāϰāĻ āύāĻŋāϰā§āĻā§āϞ āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰ āύāĻŋāϰā§āĻŽāĻžāĻŖ:
āϏā§āĻāĻ āĻā§āĻĄāĻŧāĻž āύāĻŋāϰā§āĻŽāĻžāĻŖ: āĻĒāϰā§āϝāĻžāϝāĻŧāĻā§āϰāĻŽāĻŋāĻ āĻāĻā§āώāĻĒāĻĨ c^k āĻāĻŦāĻ āĻāϰ āϏāĻāϝā§āĻ āĻā§āϰāĻžāϏ A_ â W(c^k, c^{k-1}_i)-āĻāϰ āĻāύā§āϝ, āύā§āϏā§āĻā§āĻĄ āϏāĻāĻā§āώāĻŋāĻĒā§āϤ āϏā§āĻ āύāĻŋāϰā§āĻŽāĻžāĻŖ āĻāϰāĻž:
- NĖ_2 = Q^k âĒ TĖ âĒ RĖ
- NĖ_1 = â_-Q^k âĒ TĖ âĒ RĖ
- NĖ_0 = (â-Q^k \ Int{â-Q^k}(ĪĖ)) âĒ ((â0ĪĖ Âˇ â{âĨ0}) ⊠(TĖ âĒ RĖ)) âĒ â-RĖ
āϝā§āĻāĻžāύ⧠Q^k āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻāĻĒ-āĻšā§āϝāĻžāύā§āĻĄā§āϞ, TĖ āϏāĻāϝā§āĻ āĻā§āϰāĻžāϏā§āϰ āύāϞāĻžāĻāĻžāϰ āĻĒā§āϰāϤāĻŋāĻŦā§āĻļāĨ¤
āĻŽā§āϞ āϞā§āĻŽā§āĻŽāĻž:
- (NĖ_2, NĖ_1) āĻšāϞ c^k-āĻāϰ āϏā§āĻāĻ āĻā§āĻĄāĻŧāĻž
- (NĖ_1, NĖ_0) āĻšāϞ âĒ_i c^{k-1}_i-āĻāϰ āϏā§āĻāĻ āĻā§āĻĄāĻŧāĻž
- (NĖ_2, NĖ_0) āĻšāϞ c^k âĒ Ã âĒ (âĒ_i c^{k-1}_i)-āĻāϰ āϏā§āĻāĻ āĻā§āĻĄāĻŧāĻž
āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻā§āϰā§āĻĒā§āϰ āϏāĻŽāϰā§āĻĒāϤāĻž āϏāĻŽā§āĻĒāϰā§āĻā§āϰ āĻŽāĻžāϧā§āϝāĻŽā§:
- H_{k+1}(NĖ_2, NĖ_1) â
⤠(c^k āĻĻā§āĻŦāĻžāϰāĻž āĻā§āĻĒāύā§āύ)
- H_k(NĖ_1, NĖ_0) â
â¤^{|I|} ({c^{k-1}_i} āĻĻā§āĻŦāĻžāϰāĻž āĻā§āĻĒāύā§āύ)
āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰ āϏāĻāĻā§āĻāĻžāϝāĻŧāĻŋāϤ āĻāϰāĻž:
â^{NMS}k(â¨c^kâŠ) = â{c^{k-1} â C(c^k)} c^k; c^{k-1}â¨c^{k-1}âŠ
āϝā§āĻāĻžāύ⧠c^k; c^{k-1} āϏāĻāϝā§āĻ āϏāĻšāĻ, āϏā§āĻāĻ āĻā§āĻĄāĻŧāĻžāϰ āĻŽāϧā§āϝ⧠āϏāĻāϝā§āĻ āϏāĻŽāϰā§āĻĒāϤāĻžāϰ āĻŽāĻžāϧā§āϝāĻŽā§ āĻāĻŖāύāĻž āĻāϰāĻž āĻšāϝāĻŧāĨ¤
- āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻā§āϤ āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰ: āĻĒā§āϰāĻŦāĻžāĻšāϰā§āĻāĻžāϰ āϏāĻāϝā§āĻ āϏāĻŽā§āĻĒāϰā§āĻā§āϰ āĻŽāĻžāϧā§āϝāĻŽā§ āϏāϰāĻžāϏāϰāĻŋ āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰ āϏāĻāĻā§āĻāĻžāϝāĻŧāĻŋāϤ āĻāϰāĻž, āĻŦāĻŋāĻŽā§āϰā§āϤ āĻŦā§āĻāĻāĻŖāĻŋāϤ āύāĻŋāϰā§āĻŽāĻžāĻŖā§āϰ āĻĒāϰāĻŋāĻŦāϰā§āϤā§
- Conley āϏā§āĻāĻā§āϰ āĻĒā§āϰāϝāĻŧā§āĻ: āĻ
-āĻā§āϰā§āĻĄāĻŋāϝāĻŧā§āύā§āĻ āĻĒā§āϰāĻŦāĻžāĻšā§āϰ āĻā§āώā§āϤā§āϰ⧠Conley āϏā§āĻāĻ āϤāϤā§āϤā§āĻŦ āĻĻāĻā§āώāϤāĻžāϰ āϏāĻžāĻĨā§ āĻĒā§āϰāϝāĻŧā§āĻ āĻāϰāĻž
- āϏā§āĻāĻ āĻā§āĻĄāĻŧāĻžāϰ āϏā§āĻĒāώā§āĻ āύāĻŋāϰā§āĻŽāĻžāĻŖ: āϏāĻāϝā§āĻ āĻā§āϰāĻžāϏ āĻĒāϰāĻŋāĻāĻžāϞāύāĻžāϰ āĻāύā§āϝ āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āύāĻŋāϰā§āĻŽāĻžāĻŖ āĻĒāĻĻā§āϧāϤāĻŋ āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž
āϞā§āĻāĻāϰāĻž āύāĻŋāĻŽā§āύāϞāĻŋāĻāĻŋāϤ āĻāĻĒāĻžāϝāĻŧā§ āϤāϤā§āϤā§āĻŦā§āϰ āϏāĻ āĻŋāĻāϤāĻž āϝāĻžāĻāĻžāĻ āĻāϰā§āύ:
- āϏāĻŽāϰā§āĻĒāϤāĻž āĻĒā§āϰāĻŽāĻžāĻŖ: H^{RHD}*(Ī(M)) â
H^{NMS}*(F) āĻĒā§āϰāĻŽāĻžāĻŖ āĻāϰāĻž
- āĻŦāĻŋāύāĻŋāĻŽāϝāĻŧ āĻāĻŋāϤā§āϰ āϝāĻžāĻāĻžāĻāĻāϰāĻŖ: āĻŦāĻŋāύāĻŋāĻŽāϝāĻŧ āĻāĻŋāϤā§āϰ (ā§§) āĻāĻŦāĻ (⧍) āύāĻŋāϰā§āĻŽāĻžāĻŖ āĻāϰ⧠āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰā§āϰ āϏāĻžāĻŽāĻā§āĻāϏā§āϝ āϝāĻžāĻāĻžāĻ āĻāϰāĻž
- Seifert āϤāύā§āϤā§āĻāϰāĻŖ āĻāĻŖāύāĻž: āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻāĻĻāĻžāĻšāϰāĻŖā§āϰ āĻŽāĻžāϧā§āϝāĻŽā§ āϤāϤā§āϤā§āĻŦā§āϰ āĻāĻŖāύāĻžāϝā§āĻā§āϝāϤāĻž āϝāĻžāĻāĻžāĻ āĻāϰāĻž
Seifert āϤāύā§āϤā§āĻāϰāĻŖ p: M â ÎŖ-āĻāϰ āĻāĻĻāĻžāĻšāϰāĻŖ, āϝā§āĻāĻžāĻ¨ā§ ÎŖ-āĻāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞ āĻŦāĻŋāϝāĻŧā§āĻāύ M-āĻāϰ āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞ āĻŦāĻŋāϝāĻŧā§āĻāύ āĻĒā§āϰā§āϰāĻŖāĻž āĻāϰā§āĨ¤
āĻāĻĒāĻĒāĻžāĻĻā§āϝ I: RHD Ī(M)-āĻāϰ āĻāύā§āϝ, āĻāĻāĻāĻŋ āĻā§āϰā§āĻĄā§āĻĄ āĻā§āϰā§āĻĒ H^{RHD}_*(Ī(M)) āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ, āϝāĻž āĻļā§āĻā§āĻāϞ āĻāĻāĻŋāϞ {C^{RHD}_k(Ī(M)), â^{RHD}_k}-āĻāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻšāĻŋāϏāĻžāĻŦā§ āϏāĻāĻā§āĻāĻžāϝāĻŧāĻŋāϤāĨ¤
āĻāĻĒāĻĒāĻžāĻĻā§āϝ II: āϏāϰāϞ NMS āĻĒāĻžāϤāĻž F-āĻāϰ āĻāύā§āϝ, āĻāĻāĻāĻŋ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž H^{NMS}*(F) āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ, āĻāĻŦāĻ H^{NMS}(F) â
H^{RHD}_(Ī(F))āĨ¤
Seifert āĻ
āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ (g; βâ/Îąâ, ..., βâ/Îąâ) āϏāĻš āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āĻāύā§āϝ, āϝāĻāύ āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻļāϰā§āϤ āĻĒā§āϰāĻŖ āĻšāϝāĻŧ:
- H^{NMS}_2(F(p,f)) â
â¤
- H^{NMS}_1(F(p,f)) â
â¤^{2g}
- H^{NMS}_0(F(p,f)) â
(â¤/eââ¤) â ... â (â¤/eââââ¤) â â¤
āϝā§āĻāĻžāύ⧠eáĩĸ āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰā§āϰ āĻĒā§āϰāĻžāĻĨāĻŽāĻŋāĻ āĻā§āĻĒāĻžāĻĻāĻāĨ¤
āϝāĻāύ Îąâ, ..., Îąâ āĻĒāϰāϏā§āĻĒāϰ āϏāĻšāĻŽā§āϞāĻŋāĻ, H^{NMS}*(F(p,f)) â
H*(ÎŖ), āĻ
āϰā§āĻĨāĻžā§ āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻāĻŋāϤā§āϤāĻŋ āϏā§āĻĨāĻžāύā§āϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϰ āϏāĻžāĻĨā§ āϏāĻžāĻŽāĻā§āĻāϏā§āϝāĻĒā§āϰā§āĻŖāĨ¤
- Asimov-āĻāϰ āĻāĻžāĻ: āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞ āĻŦāĻŋāϝāĻŧā§āĻāύ āϤāϤā§āϤā§āĻŦ āĻāĻŦāĻ āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻšā§āϰ āĻ
āϏā§āϤāĻŋāϤā§āĻŦ
- Morgan-āĻāϰ āĻ
āĻŦāĻĻāĻžāύ: āϤā§āϰāĻŋāĻŽāĻžāϤā§āϰāĻŋāĻ āĻā§āώā§āϤā§āϰ⧠āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞ āĻŦāĻŋāϝāĻŧā§āĻāύ āĻāĻŦāĻ āĻā§āϰāĻžāĻĢ āĻŦāĻšā§āĻā§āĻŖā§āϰ āϏāĻŽā§āĻĒāϰā§āĻ
- Conley āϏā§āĻāĻ āϤāϤā§āϤā§āĻŦ: āĻāϤāĻŋāĻļā§āϞ āϏāĻŋāϏā§āĻā§āĻŽā§āϰ āĻāύā§āϝ āϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻ
āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧā§āϰ āĻāĻžāĻ āĻžāĻŽā§ āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž
āĻāĻ āĻĒā§āϰāĻŦāύā§āϧāĻāĻŋ āĻā§āϞāĻžāϏāĻŋāĻā§āϝāĻžāϞ Morse āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦāĻā§ āĻ
-āĻā§āϰā§āĻĄāĻŋāϝāĻŧā§āύā§āĻ āĻĒā§āϰāĻŦāĻžāĻšā§āϰ āĻā§āώā§āϤā§āϰ⧠āϏāĻŽā§āĻĒā§āϰāϏāĻžāϰāĻŋāϤ āĻāϰā§, Morse āϤāϤā§āϤā§āĻŦā§āϰ āĻŽā§āϞ āĻāĻŋāύā§āϤāĻžāĻāĻžāĻŦāύāĻž āĻŦāĻāĻžāϝāĻŧ āϰā§āĻā§ āĻāĻŋāύā§āϤ⧠āĻāϰāĻ āϏāĻžāϧāĻžāϰāĻŖ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āĻŦāϏā§āϤ⧠āĻĒāϰāĻŋāĻāĻžāϞāύāĻž āĻāϰā§āĨ¤
- NMS āĻĒāĻžāϤāĻžāϰ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦ āϏāĻĢāϞāĻāĻžāĻŦā§ āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž āĻāϰāĻž āĻšāϝāĻŧā§āĻā§
- āĻāĻ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āĻāĻŦāĻ RHD āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϰ āϏāĻŽāϤā§āϞā§āϝāϤāĻž āĻĒā§āϰāĻŽāĻžāĻŖ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§
- āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻāĻŖāύāĻž āĻĒāĻĻā§āϧāϤāĻŋ āĻāĻŦāĻ Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āĻĒā§āϰāϝāĻŧā§āĻ āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§
- āĻŽāĻžāϤā§āϰāĻž āϏā§āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž: āϤāϤā§āϤā§āĻŦ āĻĒā§āϰāϧāĻžāύāϤ āϤā§āϰāĻŋāĻŽāĻžāϤā§āϰāĻŋāĻ āĻŦāĻšā§āĻā§āĻŖā§ āĻŦāĻŋāĻāĻļāĻŋāϤ, āĻāĻā§āĻ āĻŽāĻžāϤā§āϰāĻžāϝāĻŧ āϏāĻŽā§āĻĒā§āϰāϏāĻžāϰāĻŖ āĻāϰāĻ āĻāĻŦā§āώāĻŖāĻžāϰ āĻĒā§āϰāϝāĻŧā§āĻāύ
- āϏāϰāϞāϤāĻžāϰ āĻ
āύā§āĻŽāĻžāύ: RHD āϏāϰāϞ āĻšāĻāϝāĻŧāĻžāϰ āĻĒā§āϰāϝāĻŧā§āĻāύ (āϏāĻŽāϏā§āϤ āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞ āϤā§āĻā§āĻ)
- āĻŦāĻŋāĻļā§āώ āĻļāϰā§āϤ: āĻ
āύā§āĻŽāĻžāύ ⧍.ā§Ģ āĻĒā§āϰāϝāĻŧā§āĻāύ (āĻāĻāĻ āϏā§āĻāĻā§āϰ āĻĒāϰā§āϝāĻžāϝāĻŧāĻā§āϰāĻŽāĻŋāĻ āĻāĻā§āώāĻĒāĻĨā§āϰ āĻŽāϧā§āϝ⧠āĻā§āύ āϏāĻāϝā§āĻ āύā§āĻ)
- āĻŽā§āĻāĻĄāĻŧāĻžāύ⧠āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞā§āϰ āĻā§āώā§āϤā§āϰ⧠āϏāĻŽā§āĻĒā§āϰāϏāĻžāϰāĻŖ
- āĻāĻā§āĻ āĻŽāĻžāϤā§āϰāĻžāϰ āĻŦāĻšā§āĻā§āĻŖā§ āĻ
āύā§āϰā§āĻĒ āϤāϤā§āϤā§āĻŦ āĻāĻŦā§āώāĻŖāĻž
- āĻ
āύā§āϝāĻžāύā§āϝ āĻĒāĻžāϤāĻžāϰ āĻ
āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧā§āϰ āϏāĻžāĻĨā§ āϏāĻŽā§āĻĒāϰā§āĻ āĻ
āύā§āĻŦā§āώāĻŖ
- āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻāĻĻā§āĻāĻžāĻŦāύ: āĻĒā§āϰāĻĨāĻŽāĻŦāĻžāϰā§āϰ āĻŽāϤ⧠NMS āĻĒāĻžāϤāĻžāϰ āĻāύā§āϝ āϏāĻŽā§āĻĒā§āϰā§āĻŖ āϏāĻŽāϏāĻāϏā§āĻĨāĻžāύāϤāĻž āϤāϤā§āϤā§āĻŦ āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž āĻāϰāĻž
- āĻĒāĻĻā§āϧāϤāĻŋāϰ āĻāĻ ā§āϰāϤāĻž: Conley āϏā§āĻāĻ āϤāϤā§āϤā§āĻŦ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻāϰ⧠āĻĻā§āĻĸāĻŧ āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻāĻŋāϤā§āϤāĻŋ āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž
- āĻāĻŖāύāĻžāϰ āϏāĻŽā§āĻāĻžāĻŦā§āϝāϤāĻž: Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āĻāĻĻāĻžāĻšāϰāĻŖā§āϰ āĻŽāĻžāϧā§āϝāĻŽā§ āϤāϤā§āϤā§āĻŦā§āϰ āĻŦā§āϝāĻŦāĻšāĻžāϰāĻŋāĻāϤāĻž āĻĒā§āϰāĻĻāϰā§āĻļāύ āĻāϰāĻž
- āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āϏā§āĻŦāĻā§āĻāĻž: āϏā§āĻŽāĻžāύāĻž āĻ
āĻĒāĻžāϰā§āĻāϰ āϏāϰāĻžāϏāϰāĻŋ āĻĒā§āϰāĻŦāĻžāĻšāϰā§āĻāĻžāϰ āϏāĻāϝā§āĻ āϏāĻŽā§āĻĒāϰā§āĻ āĻĒā§āϰāϤāĻŋāĻĢāϞāĻŋāϤ āĻāϰā§, āϏā§āĻĒāώā§āĻ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āĻ
āϰā§āĻĨ āϰāĻžāĻā§
- āĻĒā§āϰāϝāĻŧā§āĻā§āϰ āĻĒāϰāĻŋāϏā§āĻŽāĻž: āϏāϰāϞāϤāĻžāϰ āĻ
āύā§āĻŽāĻžāύ āϤāϤā§āϤā§āĻŦā§āϰ āϏāĻžāϧāĻžāϰāĻŖāϤāĻž āϏā§āĻŽāĻŋāϤ āĻāϰā§
- āĻĒā§āϰāϝā§āĻā§āϤāĻŋāĻāϤ āĻāĻāĻŋāϞāϤāĻž: āϏā§āĻāĻ āĻā§āĻĄāĻŧāĻžāϰ āύāĻŋāϰā§āĻŽāĻžāĻŖ āĻ
āϤā§āϝāύā§āϤ āĻāĻāĻŋāϞ, āĻŦāĻžāϏā§āϤāĻŦ āĻĒā§āϰāϝāĻŧā§āĻāĻā§ āĻĒā§āϰāĻāĻžāĻŦāĻŋāϤ āĻāϰāϤ⧠āĻĒāĻžāϰā§
- āϏā§āĻŽāĻŋāϤ āĻāĻĻāĻžāĻšāϰāĻŖ: āĻļā§āϧā§āĻŽāĻžāϤā§āϰ Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āĻāĻŖāύāĻž āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž, āĻāϰāĻ āĻŦā§āĻāĻŋāϤā§āϰā§āϝāĻŽāϝāĻŧ āĻĒā§āϰāϝāĻŧā§āĻā§āϰ āĻ
āĻāĻžāĻŦ
- āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻ
āĻŦāĻĻāĻžāύ: āĻĒāĻžāϤāĻžāϰ āϤāϤā§āϤā§āĻŦā§āϰ āĻāύā§āϝ āύāϤā§āύ āĻāĻŦā§āώāĻŖāĻž āϏāϰāĻā§āĻāĻžāĻŽ āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž
- āĻĒā§āϰāϝāĻŧā§āĻā§āϰ āϏāĻŽā§āĻāĻžāĻŦāύāĻž: āϤā§āϰāĻŋāĻŽāĻžāϤā§āϰāĻŋāĻ āĻŦāĻšā§āĻā§āĻŖ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋ āĻāĻŦāĻ āĻāϤāĻŋāĻļā§āϞ āϏāĻŋāϏā§āĻā§āĻŽ āϤāϤā§āϤā§āĻŦā§ āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āĻĒā§āϰāϝāĻŧā§āĻ āĻŽā§āϞā§āϝ āϰāĻžāĻā§
- āĻāύā§āύāϝāĻŧāύā§āϰ āϏāĻŽā§āĻāĻžāĻŦāύāĻž: āĻĒāϰāĻŦāϰā§āϤ⧠āĻāĻŦā§āώāĻŖāĻžāϰ āĻāύā§āϝ āĻāĻŋāϤā§āϤāĻŋ āϏā§āĻĨāĻžāĻĒāύ āĻāϰā§, āĻāĻžāϞ āĻāύā§āύāϝāĻŧāύ āϏāĻŽā§āĻāĻžāĻŦāύāĻž āϰāĻžāĻā§
- āϤā§āϰāĻŋāĻŽāĻžāϤā§āϰāĻŋāĻ āĻŦāĻšā§āĻā§āĻŖā§ āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻš āĻŦāĻŋāĻļā§āϞā§āώāĻŖ
- Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻŦā§āĻļāĻŋāώā§āĻā§āϝ āĻāĻŦā§āώāĻŖāĻž
- āĻĒāĻžāϤāĻžāϰ āĻļā§āϰā§āĻŖā§āĻŦāĻŋāĻāĻžāĻ āĻāĻŦāĻ āĻ
āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻāĻŖāύāĻž
- āĻāϤāĻŋāĻļā§āϞ āϏāĻŋāϏā§āĻā§āĻŽā§āϰ āϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻŦāĻŋāĻļā§āϞā§āώāĻŖ
āĻĒā§āϰāĻŦāύā§āϧāĻāĻŋ āĻāĻ āĻā§āώā§āϤā§āϰā§āϰ āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āϏāĻžāĻšāĻŋāϤā§āϝ āĻāĻĻā§āϧā§āϤ āĻāϰā§, āϝāĻžāϰ āĻŽāϧā§āϝ⧠āϰāϝāĻŧā§āĻā§:
- āĻŦā§āϤā§āϤāĻžāĻāĻžāϰ āĻšā§āϝāĻžāύā§āĻĄā§āϞ āĻŦāĻŋāϝāĻŧā§āĻāύā§āϰ āĻāĻĒāϰ Asimov-āĻāϰ āϝā§āĻāĻžāύā§āϤāĻāĻžāϰ⧠āĻāĻžāĻ
- āϤā§āϰāĻŋāĻŽāĻžāϤā§āϰāĻŋāĻ āĻā§āώā§āϤā§āϰ⧠Morgan-āĻāϰ āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āĻ
āĻŦāĻĻāĻžāύ
- Conley āϏā§āĻāĻ āϤāϤā§āϤā§āĻŦā§āϰ āĻŽā§āϞāĻŋāĻ āϏāĻžāĻšāĻŋāϤā§āϝ
- Seifert āϤāύā§āϤā§āĻāϰāĻŖā§āϰ āĻā§āϞāĻžāϏāĻŋāĻā§āϝāĻžāϞ āϤāϤā§āϤā§āĻŦ
āĻāĻ āĻĒā§āϰāĻŦāύā§āϧāĻāĻŋ āĻĒāĻžāϤāĻžāϰ āϤāϤā§āϤā§āĻŦ āĻāĻŦāĻ āĻāϤāĻŋāĻļā§āϞ āϏāĻŋāϏā§āĻā§āĻŽ āϤāϤā§āϤā§āĻŦā§āϰ āϏāĻāϝā§āĻāϏā§āĻĨāϞ⧠āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āĻ
āĻŦāĻĻāĻžāύ āϰāĻžāĻā§, āĻ
-āĻŦāĻŋāĻļā§āώ Morse-Smale āĻĒā§āϰāĻŦāĻžāĻš āĻĻā§āĻŦāĻžāϰāĻž āϏāĻāĻā§āĻāĻžāϝāĻŧāĻŋāϤ āĻĒāĻžāϤāĻžāϰ āĻāύā§āϝ āύāϤā§āύ āϏāĻāϏā§āĻĨāĻžāύāϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻ
āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻĒā§āϰāĻĻāĻžāύ āĻāϰā§, āĻāϞā§āϞā§āĻāϝā§āĻā§āϝ āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻŽā§āϞā§āϝ āĻāĻŦāĻ āĻĒā§āϰāϝāĻŧā§āĻ āϏāĻŽā§āĻāĻžāĻŦāύāĻž āϰāĻžāĻā§āĨ¤