The signature of a fibre bundle is multiplicative mod 4 (Q873944)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The signature of a fibre bundle is multiplicative mod 4
scientific article

    Statements

    The signature of a fibre bundle is multiplicative mod 4 (English)
    0 references
    0 references
    0 references
    0 references
    21 March 2007
    0 references
    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.
    0 references
    PL manifold
    0 references
    PL fibre bundle
    0 references
    signature of a fibre bundle
    0 references
    absolute torsion invariant
    0 references

    Identifiers