Journal of the American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Help
ISSN 1088-6834(e) ISSN 0894-0347(p)

Flat vector bundles, direct images and higher real analytic torsion

Author(s): Jean-Michel Bismut; John Lott
Journal: J. Amer. Math. Soc. 8 (1995), 291-363.
MSC: Primary 58G26; Secondary 58G11
MathSciNet review: 1303026
Retrieve article in: PDF
This article is available free of charge

Abstract | References | Similar articles | Additional information

Abstract: We prove a Riemann-Roch-Grothendieck-type theorem concerning the direct image of a flat vector bundle under a submersion of smooth manifolds. We refine this theorem to the level of differential forms. We construct associated secondary invariants, the analytic torsion forms, which coincide in degree 0 with the Ray-Singer real analytic torsion.

RéSUMé. On démontre un analogue du théorème de Riemann-Roch-Grothendieck pour l'image directe d'un fibré plat par une submersion. On raffine ce théorème au niveau des formes différentielles. On construit des invariants secondaires, les formes de torsion analytique, qui coïncident, en degré 0, avec la torsion de Ray-Singer.

References:

[B]: J. M. Bismut, The index theorem for families of Dirac operators: two heat equation proofs, Invent. Math. 83 (1986), 91-151. MR 813584 (87g:58117)
[BC]: J. M. Bismut and J. Cheeger, $\eta$ -invariants and their adiabatic limits, J. Amer. Math. Soc. 2 (1989), 33-70. MR 966608 (89k:58269)
[Be]: A. Besse, Einstein manifolds, Springer, Berlin, Heidelberg, and New York, 1987. MR 867684 (88f:53087)
[BerB]: A. Berthomieu and J. M. Bismut, Quillen metrics and higher analytic torsion forms, J. Reine Angew. Math. (to appear). MR 1305280 (96d:32036)
[BG]: J. Becker and D. Gottlieb, Transfer maps for fibrations and duality, Compositio Math. 33 (1976), 107-133. MR 0436137 (55:9087)
[BGS1,2,3]: J. M. Bismut, H. Gillet, and C. Soulé, Analytic torsion and holomorphic determinant bundles, I, II, III, Comm. Math. Phys. 115 (1988), 49-78, 79-126, 301-351. MR 931666 (89g:58192c)
[BGV]: N. Berline, E. Getzler, and M. Vergne, Heat kernels and the Dirac operator, Grundlehren Math. Wiss., vol. 298, Springer, Berlin, Heidelberg, and New York, 1992. MR 1215720 (94e:58130)
[BK]: J. M. Bismut and K. Köhler, Higher analytic torsion forms for direct images and anomaly formulas, J. Algebraic Geom. 1 (1992), 647-684. MR 1174905 (94a:58209)
[BL]: J. M. Bismut and G. Lebeau, Complex immersions and Quillen metrics, Inst. Hautes Études Sci. Publ. Math. 74 (1991), 1-297. MR 1188532 (94a:58205)
[BLo]: J. M. Bismut and J. Lott, Fibrés plat, images directes et formes de torsion analytique, C. R. Acad. Sci. Paris Sér. I Math. 316 (1993), 447-482. MR 1209270 (94f:58134)
[Bo]: A. Borel, Stable real cohomology of arithmetic groups, Ann. Sci. École Norm. Sup. (4) 7 (1974), 235-272. MR 0387496 (52:8338)
[BoC]: R. Bott and S. S. Chern, Hermitian vector bundles and the equidistribution of the zeros of their holomorphic sections, Acta Math. 114 (1968), 71-112. MR 0185607 (32:3070)
[BZ]: J. M. Bismut and W. Zhang, An extension of the Cheeger-Müller theorem, Astérisque, no. 205, Soc. Math. France, Paris, 1992.
[C]: J. Cheeger, Analytic torsion and the heat equation, Ann. of Math. (2) 109 (1979), 259-322. MR 528965 (80j:58065a)
[CS]: J. Cheeger and J. Simons, Differential characters and geometric invariants, Geometry and Topology (J. Alexander and J. Harer, eds.), Lecture Notes in Math., vol. 1167, Springer, Berlin, Heidelberg, and New York, 1985, pp. 50-80. MR 827262 (87g:53059)
[D]: J. Dupont, Simplicial de Rham cohomology and characteristic classes of flat bundles, Topology 15 (1976), 233-245. MR 0413122 (54:1243)
[DM]: X. Dai and R. Melrose (to appear).
[F]: R. Forman (to appear).
[Fr]: W. Franz, Uber die Torsion einer überdeckrung, J. Reine Angew. Math. 173 (1935), 245-254.
[I]: K. Igusa, Parametrized Morse theory and its applications, Proc. Internat. Congr. Math. (Kyoto 1990), Math. Soc. Japan, Tokyo, 1991, pp. 643-651. MR 1159251 (93c:57022)
[K]: J. Klein, Higher Franz-Reidemeister torsion and the Torelli group, Proc. Workshop of Mapping Class Groups, Lecture Notes in Math., Springer, Berlin, Heidelberg and New York (to appear). MR 1234265 (94g:19004)
[KT]: F. Kamber and P. Tondeur, Characteristic invariants of foliated bundles, Manuscripta Math. 11 (1974), 51-89. MR 0334237 (48:12556)
[L]: L. Lewin et al., Structural properties of polylogarithms, Amer. Math. Soc., Providence, RI, 1991.
[Lo]: J. L. Loday, Les matrices monomiales et le groupe de Whitehead Wh $_{2}$ , Algebraic -Theory, Proc. Conf. Northwestern Univ. (Evanston, IL, 1976), Lecture Notes in Math., vol. 551, Springer, Berlin, Heidelberg, and New York, 1976, pp. 155-163. MR 0494129 (58:13058)
[M]: J. Milnor, Whitehead torsion, Bull. Amer. Math. Soc. 72 (1966), 358-426. MR 0196736 (33:4922)
[Mü1]: W. Müller, Analytic torsion and -torsion of Riemannian manifolds, Adv. Math. 28 (1978), 233-305. MR 498252 (80j:58065b)
[Mü2]: -, Analytic torsion and -torsion for unimodular representations, J. Amer. Math. Soc. 6 (1993), 721-753. MR 1189689 (93m:58119)
[Q1]: D. Quillen, Superconnections and the Chern character, Topology 24 (1985), 89-95. MR 790678 (86m:58010)
[Q2]: -, Determinants of Cauchy-Riemann operators over a Riemann surface, Functional Anal. Appl. 14 (1985), 31-34.
[Q3]: -, Higher algebraic -theory, Proc. Internat. Congr. Math. (Vancouver), Canad. Math. Congress, 1974, pp. 171-176. MR 0422392 (54:10382)
[RS1]: D. B. Ray and I. M. Singer, -torsion and the Laplacian on Riemannian manifolds, Adv. Math. 7 (1971), 145-210. MR 0295381 (45:4447)
[RS2]: -, Analytic torsion for complex manifolds, Ann. of Math. (2) 98 (1973), 154-177. MR 0383463 (52:4344)
[Re]: K. Reidemeister, Homotopieringe und Linsenraüm, Abh. Math. Sem. Univ. Hamburg 11 (1935), 102-109.
[Se]: R. T. Seeley, Complex powers of an elliptic operator, Proc. Sympos. Pure Appl. Math., vol. 10, Amer. Math. Soc., Providence, RI, 1967, pp. 288-307. MR 0237943 (38:6220)
[Sp]: M. Spivak, A comprehensive introduction to differential geometry, Vol. I, Publish or Perish, Berkeley, 1979. MR 532830 (82g:53003a)
[W]: J. Wagoner, Diffeomorphisms, ${K_2}$ and analytic torsion, Proc. Sympos. Pure Appl. Math., vol. 39, Amer. Math. Soc., Providence, RI, 1978, pp. 23-33. MR 520491 (80e:57036)

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|