Skip Navigation


Journal of Topology Advance Access originally published online on October 25, 2007
Journal of Topology 2008 1(1):159-186; doi:10.1112/jtopol/jtm011
This Article
Right arrow Abstract Freely available
Right arrow FREE Full Text (PDF) Freely available
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Igusa, K.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© 2007 London Mathematical Society

Axioms for higher torsion invariants of smooth bundles

Kiyoshi Igusa

Department of Mathematics, Brandeis University, P O Box 9110, Waltham, MA 02454-9110, USA igusa{at}brandeis.edu

This paper attempts to explain the relationship between various characteristic classes for smooth manifold bundles which are known as ‘higher torsion’ classes. We isolate two fundamental properties that these cohomology classes may or may not have: additivity and transfer. We show that higher Franz–Reidemeister torsion and higher Miller–Morita–Mumford classes satisfy these axioms. Conversely, any characteristic class of smooth bundles satisfying the two axioms must be a linear combination of these two examples.

We also show how any higher torsion invariant, that is, any characteristic class satisfying the two axioms, can be computed for a smooth bundle with a fiberwise Morse function with distinct critical values. Finally, we explain the statements of the conjectured formulas relating higher analytic torsion classes, higher Franz–Reidemeister torsion and Dwyer–Weiss–Williams smooth torsion.

Received February 22, 2007.

2000 Mathematics Subject Classification 55R40 (primary), 57R50, 19J10 (secondary)

I am in great debt to John R. Klein and E. Bruce Williams for their help in completing the final crucial steps in the proof of the main theorem. I also benefitted greatly from conversations with Sebastian Goette, Xiaonan Ma, Wojciech Dorabiala and Gordana Todorov. Also, I would like to thank Bernard Badzioch for his inspired presentation of this work during the Arbeitsgemeinshaft at Oberwolfach in April, 2006. Finally, I should not forget to thank the organizers Thomas Schick, Ulrich Bunke and Sebastian Goette of the conference on higher torsion in Göttingen in September 2003 at which the first version of these results were developed and announced. Research for this paper was supported by NSF grants DMS 02-04386 and DMS 03-09480.



References

  1. Becker J. C., Schultz R. E. ‘Axioms for bundle transfers and traces’. Math. Z. (1998) 227:583–605.[CrossRef]
  2. Becker J. C., Gottlieb D. H. ‘The transfer and fiber bundles’. Topology (1975) 14:1–12.[CrossRef][ISI]
  3. Bismut J.-M., Goette S. ‘Families torsion and Morse functions’. Astérisque (2001) 275.
  4. Bismut J.-M., Lott J. ‘Flat vector bundles, direct images and higher real analytic torsion’. J. Amer. Math. Soc. (1995) 8:291–363.[CrossRef]
  5. Bökstedt M. The rational homotopy type of {Omega}WhDiff(*) (1984) Berlin: Springer. 25–37. Lecture Notes in Mathematics 1051.
  6. Bunke U. ‘Higher analytic torsion of sphere bundles and continuous cohomology of Diff(S2n–1)’. (1998) Preprint math.DG/9802100.
  7. Cerf J. Sur les difféomorphismes de la sphère de dimension trois ({gamma}4 = 0). (1968) Berlin: Springer.
  8. Cerf J. ‘La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudo-isotopie’. Pub. Math. Inst. Hautes Études Sci. (1970) 39:5–173.
  9. Corwin L. J., Greenleaf F. P. Representations of nilpotent Lie groups and their applications (1990) Cambridge: Cambridge University Press. Part I, Cambridge Studies in Advanced Mathematics 18.
  10. Dorabiala W., Johnson M. W. ‘The product theorem for parametrized homotopy Reidemeister torsion’. J. Pure Appl. Algebra (2005) 196:53–90.[CrossRef]
  11. Dwyer W., Weiss M., Williams B. ‘A parametrized index theorem for the algebraic K-theory Euler class’. Acta Math. (2003) 190:1–104.[CrossRef]
  12. Farrell F. T., Hsiang W. C. ‘On the rational homotopy groups of the diffeomorphism groups of discs, spheres and aspherical manifolds’. In: Algebraic and geometric topology, Stanford, CA, 1976, Part 1, Proceedings of Symposia in Pure Mathematics (1978) Providence, RI: American Mathematical Society. 325–337.
  13. Goette S. ‘Morse theory and higher torsion invariants I’. (2001) Preprint math.DG/0111222.
  14. Geotte S. ‘Morse theory and higher torsion invariants II’. (2003) Preprint math.DG/0305287.
  15. Haefliger A. ‘Rational homotopy of the space of sections of a nilpotent bundle’. Trans. Amer. Math. Soc. (1982) 273:609–620.[CrossRef]
  16. Igusa K. ‘The stability theorem for smooth pseudoisotopies’. K-Theory in (1–2) (1988) 2:vi+355.
  17. Igusa K. Higher Franz–Reidemeister torsion (2002) International Press. AMS/IP Studies in Advance Mathematics 31.
  18. Igusa K. ‘Axioms for higher torsion’. (2003) Preprint, http://people.brandeis.edu/~igusa/Papers/AxiomsI.pdf.
  19. Igusa K. ‘Higher complex torsion and the framing principle’. Mem. Amer. Math. Soc. (835) (2005) 177:xiv+94.
  20. Igusa K., Klein J. ‘The Borel regulator map on pictures. II. An example from Morse theory’. K-Theory (1993) 7:225–267.
  21. Klein J. ‘The cell complex construction and higher R-torsion for bundles with framed Morse function’. In: PhD Thesis (1989) Brandeis University.
  22. Klein J. ‘Higher Franz–Reidemeister torsion and the Torelli group’. In: Mapping Class Groups and Moduli Spaces (1993) American Mathematical Society. 195–204. Contemporary Mathematics 150.
  23. Ma X. ‘Formes de torsion analytique et familles de submersions’. C. R. Acad. Sci. Paris Sér. I Math. (1997) 324:205–210.
  24. Morita S. Geometry of Characteristic Classes (2001) American Mathematical Society. Translations of Mathematical Monographs 199.
  25. Roitberg J. ‘The signature of quasi-nilpotent fiber bundles’. Invent. Math. (1977) 39:91–94.[CrossRef]
  26. Wagoner J. B. ‘Diffeomorphisms, K2, and analytic torsion’. In: Algebraic and geometric topology, Stanford, CA, 1976, Part 1, Proceedings of Symposia in Pure Mathematics (1978) Providence, RI: American Mathematical Society. 23–33.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow FREE Full Text (PDF) Freely available
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Igusa, K.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?