Embeddings of the base and bundle isomorphisms (Q1399161)

From MaRDI portal
Revision as of 17:37, 5 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Embeddings of the base and bundle isomorphisms
scientific article

    Statements

    Embeddings of the base and bundle isomorphisms (English)
    0 references
    0 references
    30 July 2003
    0 references
    The purpose of this work is to give two generalizations of the results of \textit{R. De Sapio} and \textit{G. Walschap} [Topology 39, 921-929 (2000; Zbl 0955.55008)] on two oriented, smooth vector bundles, \(\pi_i: E_i\rightarrow M\), \(i=1, 2\), both of rank \(k\), over a smooth, closed, oriented \(n\)-dimensional manifold \(M\), and to give new counterexamples in certain situations. The author states the main theorems as follows. Theorem 1. Suppose that \(k>[(n+1)/2]+1\) and let \(F:U\rightarrow E_2\) be a smooth, orientation preserving embedding of an open neighborhood \(U\) of the zero section \(s_1(M)\) in \(E_1\) so that the composition \(\pi_2\circ F\circ s_1: M\rightarrow M\) is homotopic to a diffeomorphism \(f\). If \(f\) has degree \(+1\), then \(E_1\) and the induced bundle \(f^\ast E_2\) are isomorphic as oriented bundles. If \(f\) has degree \(-1\), then there is a smooth bundle map from \(E_1\) onto \(f^\ast E_2\) covering the identity and reversing the orientation of each fiber, hence if either \(k\) is odd or one of the bundles has a nowhere-zero cross-section, then \(E_1\) and \(f^\ast E_2\) are isomorphic oriented bundles. Theorem 2. Suppose that \(k=[(n+1)/2]+1\), that \(M\) is a homotopy \(n\)-sphere, and that one of the bundles has a nowhere-zero cross-section. If \(F: U\rightarrow E_2\) is a smooth, orientation-preserving embedding of an open neighborhood \(U\) of the zero section \(s_1(M)\) in \(E_1\) such that \(\pi_2\circ F\circ s_1\) is homotopic to a diffeomorphism of \(M\), then \(E_1\) and \((\pi_2\circ F\circ s_1)^\ast E_2\) are isomorphic oriented bundles. The author remarks that the results of this paper provide a correction to the statement of the corollary of Theorem 2 in his joint paper with Walschap mentioned above.
    0 references
    vector bundle
    0 references
    closed smooth manifold
    0 references
    smooth embedding
    0 references
    induced bundle
    0 references
    diffeomorphism
    0 references
    zero cross-section
    0 references
    nowhere-zero cross-section
    0 references

    Identifiers