×

The signature of a fibre bundle is multiplicative mod 4. (English) Zbl 1136.55013

The purpose of this paper is to study the signature of a fibre bundle. The structure of this note is: Signed \(K\)-theory, Round \(L\)-theory, Absolute torsion and signatures, Absolute torsion structures on polyhedra (and on manifolds), Fibre transport on transfer, Absolute torsion, Structures of fibre bundles, Fibrations of PD space, Filtered chain complexes.
In the last part of the paper, the main result is an invariance theorem identifying the torsion of a contractible filtered chain complex with the torsion of the contractible chain complex of filtration quotients. All the fundamental concepts are clearly defined. The authors give a formula for the absolute torsion of the total space \(E\) (\(E\) is a PL fibred bundle) using absolute torsion of the base and fibre. Then the signature of \(E\) is congruent mod 4 to the product of the signatures of the fibre and base. The main results are the following:
Theorem 1: Let \(F@>q>> E@> p>> B\) be a PL fibre bundle of closed, connected, compatibly oriented PL manifolds. Then \(\text{sign}(E)\equiv \text{sign}(F)\cdot \text{sign}(B)\text{\,mod\,}4\).
Theorem 2: Let \(F@>q>> E@>p>> B\) be a PL fibre bundle of closed, connected, compatibly oriented PL manifolds. Then, if \(n= \dim E\), \[ \tau^{\text{New}}(E)= p^!(\tau^{\text{New}}(B))+ \chi(B)q_*(\tau^{\text{New}}(F))\in \widehat H^n(\mathbb{Z}/2; K_1(\mathbb{Z}\pi_1(E)). \]
In this statement the maps \(p^!\) and \(q_*\) are the transfer and push-forward maps associated to the fibre bundle. The exposition is generally easy to read. Some eamples are examined.

MSC:

55R25 Sphere bundles and vector bundles in algebraic topology

References:

[1] D R Anderson, The Whitehead torsion of the total space of a fiber bundle, Topology 11 (1972) 179 · Zbl 0231.57010 · doi:10.1016/0040-9383(72)90005-5
[2] M F Atiyah, The signature of fibre-bundles, Univ. Tokyo Press (1969) 73 · Zbl 0193.52302
[3] A J Casson, Generalisations and applications of block bundles, K-Monogr. Math. 1, Kluwer Acad. Publ. (1996) 33 · Zbl 0871.57022
[4] S S Chern, F Hirzebruch, J P Serre, On the index of a fibered manifold, Proc. Amer. Math. Soc. 8 (1957) 587 · Zbl 0083.17801 · doi:10.2307/2033523
[5] H Endo, A construction of surface bundles over surfaces with non-zero signature, Osaka J. Math. 35 (1998) 915 · Zbl 0919.55006
[6] I Hambleton, A Ranicki, L Taylor, Round \(L\)-theory, J. Pure Appl. Algebra 47 (1987) 131 · Zbl 0638.18003 · doi:10.1016/0022-4049(87)90057-0
[7] F Hirzebruch, The signature of ramified coverings, Univ. Tokyo Press (1969) 253 · Zbl 0208.51802
[8] F Hirzebruch, W D Neumann, S S Koh, Differentiable manifolds and quadratic forms, Lecture Notes in Pure and Applied Mathematics 4, Marcel Dekker (1971) · Zbl 0226.57001
[9] S Klaus, P Teichner, Private communication (2003)
[10] K Kodaira, A certain type of irregular algebraic surfaces, J. Analyse Math. 19 (1967) 207 · Zbl 0172.37901 · doi:10.1007/BF02788717
[11] A J Korzeniewski, Absolute Whitehead torsion, Geom. Topol. 11 (2007) 215 · Zbl 1140.57015 · doi:10.2140/gt.2007.11.215
[12] W Lück, The transfer maps induced in the algebraic \(K_0\)- and \(K_1\)-groups by a fibration. I, Math. Scand. 59 (1986) 93 · Zbl 0589.57020
[13] W Lück, The transfer maps induced in the algebraic \(K_0\)- and \(K_1\)-groups by a fibration. II, J. Pure Appl. Algebra 45 (1987) 143 · Zbl 0657.57010 · doi:10.1016/0022-4049(87)90066-1
[14] W Lück, A Ranicki, Surgery obstructions of fibre bundles, J. Pure Appl. Algebra 81 (1992) 139 · Zbl 0755.57013 · doi:10.1016/0022-4049(92)90003-X
[15] S Maumary, Contributions à la théorie du type simple d’homotopie, Comment. Math. Helv. 44 (1969) 410 · Zbl 0207.53304 · doi:10.1007/BF02564541
[16] W Meyer, Die Signatur von Flächenbündeln, Math. Ann. 201 (1973) 239 · Zbl 0241.55019 · doi:10.1007/BF01427946
[17] J Milnor, Whitehead torsion, Bull. Amer. Math. Soc. 72 (1966) 358 · Zbl 0147.23104 · doi:10.1090/S0002-9904-1966-11484-2
[18] H J Munkholm, Whitehead torsion for PL fiber homotopy equivalences, Lecture Notes in Math. 741, Springer (1979) 90 · Zbl 0442.57005
[19] W D Neumann, Multiplicativity of signature, J. Pure Appl. Algebra 13 (1978) 19 · Zbl 0404.55008 · doi:10.1016/0022-4049(78)90038-5
[20] E K Pedersen, Geometrically defined transfers, comparisons, Math. Z. 180 (1982) 535 · Zbl 0511.55015 · doi:10.1007/BF01214724
[21] H Putz, Triangulation of fibre bundles, Canad. J. Math. 19 (1967) 499 · Zbl 0147.23402 · doi:10.4153/CJM-1967-042-3
[22] A Ranicki, The algebraic theory of surgery. I. Foundations, Proc. London Math. Soc. \((3)\) 40 (1980) 87 · Zbl 0471.57010 · doi:10.1112/plms/s3-40.1.87
[23] A Ranicki, The algebraic theory of surgery. II. Applications to topology, Proc. London Math. Soc. \((3)\) 40 (1980) 193 · Zbl 0471.57011 · doi:10.1112/plms/s3-40.2.193
[24] A Ranicki, The algebraic theory of torsion. I. Foundations, Lecture Notes in Math., Springer (1985) 199 · Zbl 0567.57013
[25] A Ranicki, The algebraic theory of torsion. II. Products, K-Theory 1 (1987) 115 · Zbl 0591.18007 · doi:10.1007/BF00533416
[26] A Ranicki, Additive \(L\)-theory, K-Theory 3 (1989) 163 · Zbl 0686.57017 · doi:10.1007/BF00533377
[27] H Seifert, W Threlfall, Seifert and Threlfall: a textbook of topology, Pure and Applied Mathematics 89, Academic Press (1980) · Zbl 0469.55001
[28] C T C Wall, Surgery on compact manifolds, London Mathematical Society Monographs 1, Academic Press (1970) · Zbl 0219.57024
[29] J H C Whitehead, Simple homotopy types, Amer. J. Math. 72 (1950) 1 · Zbl 0040.38901 · doi:10.2307/2372133
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.