In mathematics, and particularly topology, a fiber bundle (or, in British English, fibre bundle) is a space that is locally a product space, but globally may have a different topological structure. (Def: http://en.m.wikipedia.org/wiki/Fiber_bundle)

learn more… | top users | synonyms

2
votes
2answers
45 views

Principal bundle as homotopy fiber universally self-trivializes

In this MO answer, I was told the definition of principal bundle as a homotopy fiber of its classifying map precisely says that it's the universal bundle which trivializes itself. However, I'm having ...
0
votes
1answer
30 views

What is $u^{-1}TN$ with $u: M\rightarrow N$ be a smooth map

As picture below, $u\in C^\infty(M,N)$, $(M,g)$ and $(N,h)$ are two smooth Riemannian manifold. I don't know what mean the $\frac{\partial }{\partial y^1} \circ u$ , it is $\frac{\partial u}{\partial ...
1
vote
1answer
25 views

Diffeomorphism between local trivialization

I try to proof the following statement: Let $(W_p, F_p, t_p)$ and $(W_p', F_p', t_p')$ be two local trivialization around the same point $p \in M$, then $F_p$ and $F_p'$ are diffeomorphic. I showed ...
1
vote
1answer
55 views

On the definition of projective vector bundle.

Definition 1 : Let $B$ be a topological space. A complex vector bundle of rank $n$ over $B$ consists of the data $(E,B,\pi,\{U_i\}_i,\{\phi_i\}_i)$ where $E$ is a topological space, $\pi:E\to B$ is a ...
0
votes
1answer
21 views

Example of non global section

I am very new to differential geometry. I am familiar with fibered manifolds, fibered bundles (i.e fibered manifold with local trivialization) and sections. No I want to motivate the existence of ...
1
vote
1answer
37 views

How do these sections arise in a Bott tower?

A Bott tower of height $n$ is a sequence of $\mathbb CP^1$ bundles $\require{AMScd}$ \begin{CD} B_n @>{\pi_n}>> B_{n-1} @>{\pi_{n-1}}>> \cdots @>{\pi_2}>>B_1@>{\pi_1}...
3
votes
1answer
52 views

Fundamental group of the unit tangent bundle on the genus 2 torus?

I'm interested in the 3-dimensional model geometries; specifically $\widetilde{SL}(2,\mathbb{R})$. I'm looking for a good (see, easily visualizable) example of a compact manifold formed as a quotient ...
0
votes
0answers
20 views

Intuition Lie Bundle

I am thinking about the following discretization problem: I want to rotate a given discrete 2D array over arbitrary angles around the origin, thus I want to be able to represent all rotated versions ...
3
votes
1answer
63 views

Does the associated bundle functor have left or right adjoints?

Let $\mathsf{Prin}_G$ be the category of (right) $G$-principal bundles, with a morphism from the bundle $p: P \to M$ to the bundle $p': P' \to M'$ being a pair of arrows $\chi: P \to P'$ and $\bar{\...
1
vote
0answers
29 views

Smooth structure in reconstruction theorem

Let $M,F$ be smooth manifolds, $\{U_i:i\in I\}$ an open cover of $M$ and a cocycle $\{t_{ij}:U_i\cap U_j\to\mathrm{Diff}(F)\}$. In almost any book which discusses fibre bundles, one can find the ...
1
vote
1answer
18 views

How do I see if the induced homomorphism from the inclusion map $S^{1'}\to S^1\times S^3$ is injective

Let $S^1\times S^3$ be parametrised as $\{(\alpha,\beta, \gamma)\in \mathbb{C}^3||\alpha|^2+|\beta|^2=1, |\gamma|=1\}$ and let $S^{1'}=\{e^{i\theta}(1,0,1)|\theta\in [0,2\pi]\}$. I would like to see ...
0
votes
0answers
41 views

Calculating The Fundamental Group of the Hopf Fibration

I want to calculate the fundamental group of the Hopf fibration (or rather, the fundamental group of the total space of the fibre bundle that is the hopf fibration). I know that $S^3$ is simply ...
1
vote
1answer
46 views

elements of $Z$ can be written uniquely as $z=p d^{n+1}x+p_A^\mu dy^A \wedge d^nx_\mu$

Let $X$ be an oriented $n+1$-dimensional manifold which coordinates on it are denoted $x^\mu$, $\mu =0,1,...,n$ and let $\pi_{XY}:Y\to X$ be a finite dimensional fiber bundle and fiber coordinates on $...
1
vote
0answers
40 views

What does “factoring out an (group) action $\tau$ of a group $G$ acting on some set $E$” mean?

I am reading a survey article where they define the following objects: $\Gamma:=\mathbb{Z}^{n}$ seen as a group of translations. $\mathbb{T}:=\mathbb{R}^{n}/\Gamma$ is the $n$-dimensional ...
2
votes
1answer
45 views

Characteristic class invariant under bundle isomorphism

Let $c$ be a characteristic class for principal $G$-bundles and $p_1: E_1 \to X, p_2: E_2 \to X$ be isomorphic principal $G$-bundles, then $c(E_1) = c(E_2)$ Is this part of the defining naturality ...
0
votes
0answers
20 views

Linear connection in a vector bundle in terms of the vertical projection

Let $\pi:E \rightarrow M$ a vector bundle. Can we define a linear connection as a connection $\Phi \in \Omega^1(E,VE)$ such that the horizontal projection $p_H = \text{id}_{TE} - \Phi$ is a vector ...
0
votes
2answers
64 views

Why does a tangent bundle have dimension 2n instead of n?

Let $n=dim(T_pM)$ for every $p\in M$, where $M$ is a smooth manifold. I understand that specifying $p$ is not enough to determine an element of $TM$, but what if do we specify only $v\in T_pM\subset ...
3
votes
1answer
56 views

Difference between product projections and split epis in $\mathbf{Top}$

I don't understand the excerpt below. The trivial bundles were defined as split epimorphisms, and since the ground category was additive with kernels (in fact abelian), they are the same as ...
0
votes
1answer
19 views

Are continuous product projections always split?

Are continuous product projections always split? What's an example of a product projection without a continuous right inverse?
0
votes
0answers
27 views

Do all Fibre Bundles have a structure group?

The transition functions of a vector bundle over the field $\mathbb{F}$ are in $GL(n,\mathbb{F})$. Such a vector bundle has structure group equal to a a subgroup of $GL(n,\mathbb{F})$. Do all fibre ...
4
votes
1answer
35 views

Fiber bundles with varying fibers via pullbacks along étale surjections

Suppose $\mathsf C$ is a complete extensive category. I managed to prove that a bundle $\alpha$ is a fiber bundle with fiber $F$ if there exists an associated cover $p:\coprod_iU_i\rightarrow B$ such ...
3
votes
2answers
34 views

Möbius Band Bundle $(Mo,\mathbb{S}^1,\text{proj}_1,\mathbb{R}) $ is not a Principal $\mathbb{R}$-bundle

This is claimed in various places. The problem seems to be with finding a free and transitive group action that has the fibers of $Mo$ as its orbits. I construct $Mo$ as $$ Mo = \mathbb{S}^1 \times \...
2
votes
0answers
23 views

When can a vector field be “lifted” to a spinor field with preservation of continuity?

Suppose we are given a vector field $\xi ^a (x)$ on some region of Minkowski spacetime which is null everywhere, $$\xi^a(x) \xi_a (x) =0.$$ For every point of our region we can choose a spinor $\...
1
vote
0answers
51 views

Existence of pullback of fiber bundles from abstract nonsense?

Let $\mathsf C$ be a superextensive site with products. A trivial fiber bundle is a bundle $\pi:E\rightarrow B$ which is isomorphic to $\pi_1:B\times F\rightarrow B$ in $\mathsf{C}/B$. Let $\mathcal ...
2
votes
1answer
38 views

Is a bundle morphism which restricts to homeomorphisms of the fibers a bundle isomorphism?

If $f$ is such a map between total spaces (assume a common base space) then it is a bijective and continuous and the inverse will be fiber preserving so that all we would need to prove is that the ...
2
votes
0answers
34 views

Cylinder as trivial fiber bundle with fiber $S^1$?

In prepartion for the example of a Mobius strip, a cylinder is often taken as a first example of a trivial fiber bundle with fiber $I$ and total space $S^1\times I$. However, it seems to me that we ...
0
votes
2answers
29 views

Are slices $\left\{b\right\}\times F\subset B\times F$ homeomorphic to $F$? [closed]

Looking at a continuous projection $B\times F\rightarrow B$, are slices $\left\{b\right\}\times F\subset B\times F$ homeomorphic to $F$?
1
vote
0answers
22 views

Continuously variable *space* [closed]

I'm trying to understand formally how and why a fiber bundle with fiber $F$ should be thought of as a gluing of homeomorphic copies of $F$ which varies continuously. I do not understand how this is ...
3
votes
1answer
34 views

Formalizing continuously indexed spaces in fiber bundles?

This MSE question asks for clarification of the local triviality condition imposed in the definition of a fiber bundle. As mentioned there, the point of local triviality seems to somehow ensure a "...
0
votes
0answers
26 views

Principal bundle isomorphism.

Let $G\longrightarrow P\overset{\pi}{\longrightarrow} M$ be a differentiable principal bundle, i.e. $M$ and $P$ are differentiable manifolds, $G$ is a Lie group, $\pi$ is a differentiable surjective ...
2
votes
1answer
43 views

Showing that the Hopf fibration is a non-trivial fibre bundle

I want to show that the Hopf bundle $$ \mathbb{S}^1 \rightarrow \mathbb{S^3} \rightarrow \mathbb{S}^2$$ is non-trivial as a principal fibre bundle. I have seen hints of several different approaches: ...
0
votes
0answers
86 views

What defines a fiber bundle?

I am slightly confused by Geometry, Topology and Physics by M. Nakahara. The following definition of fibre bundle $(E, \pi, M, F, G)$ is given: $E, M, F$ are differentiable manifolds, $E$ being the ...
1
vote
1answer
42 views

Every fiber bundle with Cantor set fiber is the suspension of a homeomorphism of the Cantor set.

I've heard that every fiber bundle (over $\mathbb S^1$?) with Cantor set fiber is the suspension of a homeomorphism of the Cantor set. Can someone explain the intuition behind the fact? Is there a ...
2
votes
0answers
122 views

What notation would I use to differentiate between a cartesian product and a cotangent bundle of surfaces?

If the $S^1$ is defined by $x^2 + y^2 = r^2$ , $T^2 = S^1 \times S^1$ is defined by $\left(\sqrt{x^2 + y^2} -R\right)^2 + z^2 = r^2$ , $T^3=S^1\times S^1\times S^1$ is defined by $\left(\sqrt{\left(...
1
vote
1answer
102 views

Line bundle trivial on fibers then isomorphic to the pullback of a line bundle

$\require{AMScd}$ I'm currently reading Milne's notes about Abelian varieties. On page 26 he proves the following theorem: Let $V$ and $T$ be varieties over $k$ with $V$ complete, and let $\...
2
votes
0answers
31 views

Smoothing a continuous section in a fibre bundle.

Let $\pi: X \rightarrow M$ be a smooth fibre bundle and let $p^{1}_{0} : X^{(1)} \rightarrow X$ be its 1-jet bundle. Suppose there is a $\mathcal{C}^{1}$ section $h: M \rightarrow X$ such that it is ...
0
votes
1answer
37 views

How to lift an action along a covering

Took from Lawson-Michelsohn "Spin Geometry", pages 80-81. Let $E\to X$ be an oriented $n$-dimensional vector bundle over a manifold $X$, and let $P_{SO}E$ be the associated $SO(n)$-bundle. Assume $...
1
vote
1answer
47 views

Is there a Mobius (infinite) cylinder?

In order to understand the question of the title I need to understand another thing first. If we consider the Mobius band, locally, for a $U_i \subset S^1$, where $S^1$ is the base space, the bundle ...
19
votes
0answers
301 views

Why is a PDE a submanifold (and not just a subset)?

I struggle a bit with understanding the idea behind the definition of a PDE on a fibred manifold. Let $\pi: E \to M$ be a smooth locally trivial fibre bundle. In Gromovs words a partial differential ...
6
votes
1answer
82 views

Is it possible for $R \oplus M$ and $R \oplus N$ to be isomorphic to each other if $M$ and $N$ are not isomorphic?

Suppose $M$ and $N$ are non-isomorphic $R$-modules (where $R$ is a commutative ring with a unit element).Can we conclude that $R \oplus M \not\simeq R \oplus N$ ? If not in this most general setup, ...
1
vote
0answers
31 views

the definition of relative Thom spaces

I find the definition of Thom space on the book Characteristic classes, J.W. Milnor, J.D. Stasheff, page 205: For a vector bundle $\xi$ with a Riemannian metric over a $CW$-complex $B$, let $A$ ...
0
votes
0answers
16 views

Which constructions on vector bundles satisfy a universal property?

I'm wondering whether constructions on vector bundles, such as the Whitney sum or tensor product of two bundles, satisfy some kind of universal property. What I mean by "some kind of universal ...
1
vote
0answers
17 views

Why do we need the $S \otimes L^{1/2}$ bundle product to determine a $Spin_c$ structure?

I am reading Marino's book on topological field theory and 4-manifolds and I am very confused in the construction of the $Spin_c$ structures for manifolds that do not admit a $Spin$ structure. In the ...
1
vote
0answers
22 views

Construct a lifting from the the total space of a fiber bundle to its spoace of 1-jets

I am reading the book "Convex Integrtion Theory by D.Spring" and need some help. Let $\pi:X \rightarrow V$ be a smooth fiber bundle over a smooth base manifold $V$. Let $h\in\Gamma^{0}(X)$ and $\phi\...
2
votes
1answer
51 views

Euler classes of oriented $2$-dimensional vector bundle, oriented $S^1$-bundle same?

As the question title suggests, are the Euler classes of an oriented $2$-dimensional vector bundle and of an oriented $S^1$-bundle the same?
1
vote
0answers
29 views

What is $P\times_G E$?

I know what is principal bundle and associated bundle according Wiki.But I am not understand what is $P\times_G E$ .Seemly it is bundle,but I am not sure what structure is it . Below picture is from ...
0
votes
1answer
27 views

Coset spaces of a lie group and fiber bundles

I am reading Steenrod. He writes: Another example of a bundle is a Lie group $B$ operating as a transitive group of transformations on manifold $X$. The projection is defined by selecting a point $...
-1
votes
2answers
76 views

Covering spaces as fiber bundles

I am reading Steenrod. I think there is something wrong or sloppy in his definition of a covering space as a fiber bundle. He writes: A fibre bundle consists of: (i) A topological space $B$ (ii) a ...
1
vote
0answers
55 views

Equivariant flat U(1) bundle on a torus

I am trying to understand equivariant flat $U(1)$ bundles on a torus, $(S^1)^N$. By equivariant, I mean equivariance with respect to the natural action of $(U(1))^N$ on $(S^1)^N$. $G$-equivariant ...
0
votes
0answers
20 views

Whitney sum of Mobius bundles

I'm currently working through Nakahara's book and I've hit a snag on exercise 9.1. Consider the real line bundle $ L $ of $ S^1 $ $ \left ( L,S^1,\pi,\mathbb{R}, G \right ) $ $ L $ is either the ...