Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Embeddings of the base and bundle isomorphisms - MaRDI portal

Embeddings of the base and bundle isomorphisms (Q1399161)

From MaRDI portal





scientific article; zbMATH DE number 1956723
Language Label Description Also known as
English
Embeddings of the base and bundle isomorphisms
scientific article; zbMATH DE number 1956723

    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