Geometry & Topology

Circle-valued Morse theory and Reidemeister torsion

Michael Hutchings and Yi-Jen Lee

Full-text: Open access

Abstract

Let X be a closed manifold with χ(X)=0, and let f:XS1 be a circle-valued Morse function. We define an invariant I which counts closed orbits of the gradient of f, together with flow lines between the critical points. We show that our invariant equals a form of topological Reidemeister torsion defined by Turaev [Math. Res. Lett. 4 (1997) 679–695].

We proved a similar result in our previous paper [Topology 38 (1999) 861–888], but the present paper refines this by separating closed orbits and flow lines according to their homology classes. (Previously we only considered their intersection numbers with a fixed level set.) The proof here is independent of the previous proof, and also simpler.

Aside from its Morse-theoretic interest, this work is motivated by the fact that when X is three-dimensional and b1(X)>0, the invariant I equals a counting invariant I3(X) which was conjectured in our previous paper to equal the Seiberg–Witten invariant of X. Our result, together with this conjecture, implies that the Seiberg–Witten invariant equals the Turaev torsion. This was conjectured by Turaev and refines the theorem of Meng and Taubes [Math. Res. Lett 3 (1996) 661–674].

Article information

Source
Geom. Topol., Volume 3, Number 1 (1999), 369-396.

Dates
Received: 28 June 1999
Accepted: 21 October 1999
First available in Project Euclid: 21 December 2017

Permanent link to this document
https://projecteuclid.org/euclid.gt/1513883151

Digital Object Identifier
doi:10.2140/gt.1999.3.369

Mathematical Reviews number (MathSciNet)
MR1716272

Zentralblatt MATH identifier
0929.57019

Subjects
Primary: 57R70: Critical points and critical submanifolds
Secondary: 53C07: Special connections and metrics on vector bundles (Hermite-Einstein- Yang-Mills) [See also 32Q20] 57R19: Algebraic topology on manifolds 58F09

Keywords
Morse–Novikov complex Reidemeister torsion Seiberg–Witten invariants

Citation

Hutchings, Michael; Lee, Yi-Jen. Circle-valued Morse theory and Reidemeister torsion. Geom. Topol. 3 (1999), no. 1, 369--396. doi:10.2140/gt.1999.3.369. https://projecteuclid.org/euclid.gt/1513883151


Export citation

References

  • R F Brown, The Lefschetz fixed point theorem, Scott, Foresman and Co. (1971)
  • D Fried, Homological identities for closed orbits, Invent. Math. 71 (1983) 419–442
  • D Fried, Lefschetz formulas for flows, from: “The Lefschetz centennial conference, part III”, Contemp. Math. 58, III, Amer. Math. Soc. Providence, R.I. (1987) 19–69
  • K Fukaya, The symplectic s–cobordism conjecture: a summary, from: “Geometry and Physics (Aarhus, 1995)”, Lecture Notes in Pure and Appl. Math. 184, Dekker (1997) 209–219
  • H Hofer, D Salamon, Floer homology and Novikov rings, from: “The Floer memorial volume”, Progr. Math. 133, Birkhäuser, Basel (1995) 483–524
  • M Hutchings, Reidemeister torsion in generalized Morse theory, e-print math.DG/9907066
  • M Hutchings, Y-J Lee, Circle-valued Morse theory, Reidemeister torsion, and Seiberg–Witten invariants of three–manifolds, Topology, 38 (1999) 861–888
  • E Ionel, T Parker, Gromov invariants and symplectic maps, e-print dg-ga/9703013
  • P B Kronheimer, T S Mrowka, The genus of embedded surfaces in the projective plane, Math. Res. Lett. (1994) 797–806
  • F Latour, Existence de 1–formes fermées non singuliéres dans une classe de cohomologie de de Rham, Inst. Hautes Études Sci. Publ. Math. No. 80 (1994) 135–194
  • F Laudenbach, On the Thom–Smale complex, appendix to J-M Bismut & W Zhang, An extension of a theorem by Cheeger and Müller, Asterisque, 205 (1992)
  • Y-J Lee, Morse theory and Seiberg–Witten monopoles on 3–manifolds, Harvard University thesis (1997)
  • Y Lim, Seiberg–Witten theory of 3–manifolds, preprint (1996)
  • G Meng, C H Taubes, $\underline{SW}=$ Milnor torsion, Math. Res. Lett. 3 (1996) 661–674
  • J Milnor, Infinite cyclic coverings, Collected works vol. 2, Publish or Perish (1996)
  • J Milnor, Whitehead torsion, Bull. Amer. Math. Soc. 72 (1966) 358–426
  • S P Novikov, Multivalued functions and functionals. An analogue of the Morse theory, Soviet Math. Dokl. 24 (1981) 222–226
  • C Okonek, A Teleman, 3–dimensional Seiberg–Witten invariants and non-Kählerian geometry, Math. Ann. 312 (1998) 261–288
  • A Pazhitnov, On the Novikov complex for rational Morse forms, Ann. Fac. Sci. Toulouse Math. (6) 4 (1995) 297–338
  • A Pajitnov, Simple homotopy type of Novikov complex for closed 1–forms and Lefschetz zeta functions of the gradient flow, eprint dg-ga/9706014
  • M Pozniak, Floer homology, Novikov rings, and clean intersections, Univ. of Warwick thesis (1994)
  • D Salamon, Seiberg–Witten invariants of mapping tori, symplectic fixed points, and Lefschetz numbers, from: “Proceedings of Gökova Geometry–Topology Conference 1998”, (S Akbulut, T Önder and R Stern, editors), International Press (1999) 117–143
  • E Spanier, Algebraic topology, Springer–Verlag corrected reprint (1989)
  • C H Taubes, The Seiberg–Witten and Gromov invariants, Math. Res. Lett. 2 (1995) 221–238
  • C H Taubes, Counting pseudo-holomorphic submanifolds in dimension 4, J. Differential Geom. 44 (1996) 818–893
  • V Turaev, Reidemeister torsion in knot theory, Russian Math. Surveys 41 (1986) 119–182
  • V Turaev, Euler structures, nonsingular vector fields, and torsions of Reidemeister type, Math. USSR-Izv. 34 (1990) 627–662
  • V Turaev, Torsion invariants of $\Spinc$ structures on 3–manifolds, Math. Res. Lett. 4 (1997) 679–695
  • V Turaev, A combinatorial formulation for the Seiberg–Witten invariants of 3–manifolds, Math. Res. Lett. 5 (1998) 583–598
  • A Weil, Numbers of solutions of equations in finite fields, Bull. Amer. Math. Soc. 55 (1949) 497–508