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
0answers
24 views

Gap between “fibration” and “fiber bundle”.

There are fibrations $E \rightarrow B$ which are not fiber bundles. Example: $E = [0,1]^2 / \text{middle vertical line segment}$ and $B=[0,1]$. In this example, $E$ has the homotopy type of a total ...
0
votes
0answers
27 views

Can a fiber bundle with fiber R and structure group Z_2 be considered a vector bundle?

I have a principal $\mathbb{Z}_2$-bundle, then by Borel construction I get a fiber bundle with fiber $\mathbb{R}$ and structure group $\mathbb{Z}_2$. Can I say that this is a vector bundle?
4
votes
1answer
33 views

Classical differential operators with complex functions on Riemannian manifolds

I am having some trouble understanding how to use the classical operators ($\nabla, \operatorname{div}, \Delta$) with complex functions on a Riemannian manifold $(M, g)$. Consider the formula ...
1
vote
0answers
51 views

Cylinder and Möbius strip as fiber bundles: trivializations and cocycles

I know that this question has already been asked, but I couldn't find a clear answer. I have to show that the cylinder and the Möbius strip are fiber bundles over $S^1$ with fiber an open interval ...
2
votes
0answers
26 views

Gysin sequence for the sphere bundle $B[O_a \times O_B]^+ \to BO_a \times BO_b$?

I have the sphere bundle $S^0 \hookrightarrow B[O_a \times O_b]^+ \stackrel{p}{\to} BO_a \times BO_b$ that can be thought of like: $B[O_a \times O_b]^+$ as the set of tuples of vector spaces $E^a$ ...
-1
votes
0answers
20 views

About fiber bundles, how to visualize them? [closed]

The title of the topic is may be broad , but I would like an answer that satisfy a physical theory we are familiar with. What is a fiber bundle abstractly? in context of electromagnetism how can we ...
0
votes
0answers
3 views

Is the space of smooth sections of a smooth bundle a Fréchet Manifold?

I'm not very prepared on these concepts and i'm wondering if there're some good references addressing this problem... My aim is to present the problem of linearization for the Euler-Lagrange operator ...
2
votes
0answers
43 views

Weil: Fibre Spaces in Algebraic Geometry

I have spent a decent amount of time searching for the notes for Weil's Fibre Spaces in Algebraic Geometry, written by A. Wallace, both in print and online. Does anyone have a file of it they'd be ...
4
votes
1answer
109 views

Fiber bundles with category morphisms as fibers

Given a total space $E = M \times F$ of a fiber bundle where $M$ is a smooth manifold and $F$ is the fiber. The fiber $F_x$ corresponding to the point $x \in M$ is the set of morphisms between objects ...
3
votes
1answer
40 views

Intersection form on $S^2 \tilde \times S^2$

The intersection form on the nontrivial $S^2$-bundle over $S^2$, denoted $S^2 \tilde \times S^2$, can be written as $\left[\begin{smallmatrix} 1 & 0 \\ 0 & -1 \end{smallmatrix}\right]$ with ...
1
vote
0answers
18 views

Polynomials as Locally Isotrivial Covers

Let $k=\mathbb{A}^1$ be algebraically closed of arbitrary characteristic. I am interested in understanding when a polynomial $f:\mathbb{A}^n\to\mathbb{A}^1$ defines a locally isotrivial family over ...
0
votes
0answers
22 views

Confused with notations about Leray's theorem for singular cohomology

The following theorem is copied from Bott's book Differential Forms in Algebraic Topology in Page 192: Theorem 15,11 {Leray's theorem for singular cohomology with coefficients in a commutative ...
4
votes
1answer
50 views

Fiber bundle with null-homotopic fiber inclusion

It is an exercise from Hatcher (exercise 31, page 392): For a fiber bundle $F \to E \xrightarrow{p} B$ such that the inclusion $F \hookrightarrow E$ is homotopic to a constant map, show that the long ...
1
vote
0answers
27 views

$G$-structure defined by a tensor

Let $M$ be an $n$ dimensional manifold with its bundle of linear frames $\pi:L(M)\to M$. Suppose $T_0$ is a tensor on $\mathbb R^n$ and $u\in L(M)$. We may view $u$ as a linear map $u:\mathbb R^n\to ...
4
votes
1answer
50 views

Determine when $T(S^n \times S^k)$ is a trivial tangent bundle.

My partial answer is that , to make $T(S^n \times S^k)$ trivial, a neccessary condition is that $n$ or $k$ is odd. My argument is as follows: Suppose $T(S^n \times S^k)$ is trivial, that is, $S^n ...
3
votes
1answer
56 views

Homeomorphism between $S^2$ and $CP^1$ via uniqueness of quotient

I am trying to show that $S^2$ and $\mathbb{C}P^1$ are homeomorphic making use of the following result - see e.g. Jack Lee Introduction to topological manifolds. Let $Y \xrightarrow{\pi_1} X_1 $, $Y ...
1
vote
0answers
32 views

Is there a relation between vectors on these two spaces?

I've been reading lately one paper on Physics, which basically presents one gauge theory approach to the problem of swimming at low Reynolds number. I've been trying lately to rewrite some of the ...
2
votes
1answer
19 views

Is a principal bundle automorphism locally given by a left action?

Let $G\hookrightarrow P \xrightarrow{\pi} M$ be a principal bundle, denote by $\cdot$ the right action of $G$ on $P$. Let $f:P\rightarrow P$ a bundle automorphism (i.e. $f$ is a diffeo, $f(p \cdot g) ...
0
votes
0answers
22 views

Definition of structure group associated with fiber bundle.

I was studying fiber bundle from Spanier book.In that book there is a definition of structure group associated with a fiber bundle.But I am not able to understand the definition properly.Could ...
7
votes
0answers
80 views

How to prove this is a fibre bundle?

Let $M^{2n}$ be $2n$ dimensional toric manifold over a simple polytope $P^n$. Let $\pi : M^{2n} \longrightarrow P^n$ be the orbit map of the torus action. Let $F^k$ be a $k$ dimensional face of $P^n$. ...
3
votes
1answer
30 views

Connection form on a frame bundle

Let $(E(M),\pi,M)$ be the frame bundle over a manifold $M$ of rank $n$. Consider a covering of $M$ by open neighborhoods $U_{\alpha}$. Let $s_{i}$ and $t_{j}$ where $i,j\in {1,...,n}$ be frames of $M$ ...
0
votes
1answer
28 views

slice charts of subbundles

Definition. Let $ \pi :E \to M $ be a smooth vector bundle of rank $r$. A subbundle of rank $k$ is a disjoint union $E'$ of $k$-subspaces, one for each fiber $E_p$ , such that $E'$ is an embedded ...
1
vote
0answers
32 views

Motivation for the name “vertical subspace” in the context of fiber bundles.

Let $p:E\to B$ be a smooth fiber bundle with fiber $F$. Consider the vector spaces $V_u=\{x\in T_uE: p_*(x)=0\}$. We call $V_u$ the vertical subspace of the tangent space $T_uE$. How can we see that ...
1
vote
0answers
16 views

Relation beween transition functions of a principal fiber bundle and its dual

What is the relation between transition functions of a principal fiber bundle and its dual? As an example, consider the transition map of the frame bundle on a manifold of dimension $n$ as the ...
1
vote
0answers
47 views

Certain principle bundle structure on $\mathbb{R}^{n}\setminus \{0\}$

Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a principle fibre bundle. Here $\mathbb{H}^{2}$ is the Poincare upper plane ...
2
votes
1answer
48 views

Quotient manifold theorem provides a fibration?

It's known that if $G$ is a Lie group and $H\subseteq G$ is a closed subgroup, then the quotient map $p\colon G\to G/H$ is in fact a principal $H$-bundle, which follows from the existence of local ...
2
votes
1answer
36 views

A tangent vector to the unit tangent bundle $T_1S^n$ at $(x,\xi)$ can be written $(X,Z)$ with $X \cdot x = 0$ and $Z \cdot \xi = 0$.

Let $T_1S^n$ be the unit tangent bundle, $(x,\xi) \in T_1S^n$. Why can a tangent vector in $T_{(x,\xi)}T_1S^n$ be written $(X,Z)$ with $X \cdot x = 0$ and $Z \cdot \xi = 0$? This is claimed in ...
5
votes
4answers
236 views

section of a fiber bundle

I heard in class that not every fiber bundle admits a section. I am not sure why this is true, you can always pick a point on a fiber and follow it through as you glue local trivializations then you ...
0
votes
0answers
19 views

2-form as a curvature form

Let $M$ be a manifold and let $F$ be a global-defined $2$-form over $M$. Are there any conditions of $M,F$ such that $F$ is a curvature form of a connection on some line bundle ?
1
vote
1answer
28 views

Cohomology of the Thom Space of a Vector Bundle

The Thom space $T(E)$ of a vector bundle $E \to B$ with metric is defined as $D(E)/S(E)$, where $D(E)$ denotes the disk bundle and $S(E)$ denotes the sphere bundle of $E \to B$. I've been trying to ...
2
votes
1answer
51 views

A morphism of principal bundles is an isomorphism.

Let $p_1:E_1\to B$ and $p_2:E_2\to B$ be two principal $G$-bundles. Let $f:E_1\to E_2$ be a principal $G$-bundle morphism. I want to show that $f$ is an isomorphism. I read somewhere that it is ...
4
votes
2answers
130 views

Classify sphere bundles over a sphere

Problem (1) Classify all $S^1$ bundles over the base manifold $S^2$. (2) Do the same question for $S^2$ bundles. Moreover, does there exist a universal method to solve this kind of ...
0
votes
0answers
27 views

The pullback bundle

Consider a smooth fibre bundle $P:E\to B$ over a base $B$ with fiber $F$, and a trivializing family $\{(\phi_a:P^{-1}(U_a)\tilde =U_a\times F\}_{a\in A}$. Let the clutch functions of this family be ...
2
votes
1answer
80 views

Riemann surfaces with Riemann Roch theorem, linear fiber over an elliptic curve

Let $g:\mathbb{C}\times \mathbb{C^*}\rightarrow \mathbb{C}\times\mathbb{C^*}$ defined by $g(z,w)=(w^n z,\alpha z)$ where $0<|\alpha|<1$. Let $G$ be the cyclic group spanned by $g$ and $A$ the ...
3
votes
1answer
32 views

A differentiable fiber bundle exists for any family of clutching functions.

Lemma: Let $F$ be a smooth manifold and let $\{U_a\}_{a\in A}$ be a covering of a manifold $B$, and let $\{g_{ab}\}_{a,b\in A}$ be a family of clutching functions. That is, $g_{ab}:U_a\cap U_b\to ...
2
votes
1answer
38 views

The inverse of a smooth bundle map is smooth.

Consider smooth fiber bundles $P_i:E_i\to B_i,\quad i=1,2\quad$ with fiber $F$. Let $\tilde f:E_1\to E_2$ be a smooth bundle map. That is a smooth map which preserves the fiber $F$. Let $f:B_1\to B_2$ ...
1
vote
1answer
66 views

Pull-back of a fibration along a homotopy equivalence

Let $p:E\rightarrow B$ be a fibration (i.e. have the homotopy lifting property with respect to all spaces), and $f: B'\rightarrow B$ and $g:B\rightarrow B'$ be homotopy inverses. Denote by ...
1
vote
0answers
22 views

What is an infinitesimal automorphism of a connection?

Let $P\to M$ be a principal bundle over a differentiable manifold $M$, with fibre $G$, equipped with a connection $H\subset TP$. I have heard the term "infinitesimal automorphism of $H$" but I haven't ...
1
vote
0answers
28 views

Holomorphic Hermitian metrics

Let $E\to M$ be a complex vector bundle. A hermitian metric $h$ on $E$ is a hermitian inner product on each fiber $E_{p},\, p\in M$. Suppose that $M$ is also a complex manifold and that $E$ is ...
4
votes
2answers
207 views

How to Show Cotangent Bundles Are Not Compact Manifolds?

Hamiltonian mechanics occurs in a sympletic manifold called phase space. Lagrangian mechanics take place in the tangent bundle of the configuration manifold. Using Legendre transform makes possible ...
8
votes
1answer
92 views

What the curvature $2$-form really represents?

Let $(E,\pi,B)$ be a principal bundle with structure group $G$. The connection $1$-form can be thought of as a projection on the vertical part. It allows us to characterize the horizontal subspaces as ...
5
votes
1answer
57 views

Fibre bundles for homogeneous spaces

Let $G$ be a Lie group and let $H$ be a closed subgroup of $G$. Then it is known that $G/H$ can be equipped with a unique differentiable structure such that $G\xrightarrow{\pi} G/H$ is a locally ...
1
vote
1answer
71 views

Euler characteristic of a singular fiber

I am trying to understand Kodaira's classification of fibers. In the table at page 41 of Miranda's book http://www.math.colostate.edu/~miranda/BTES-Miranda.pdf there is given the Euler number of the ...
-1
votes
1answer
72 views

Fiber bundle beginner question.

I'm reading some notes on fiber bundles. Let $f:X \rightarrow Y$ be a continuous map of topological spaces. The author states: We say $f$ makes $Y$ a fiber space over $X$ if $f$ is locally trivial ...
1
vote
1answer
36 views

Principal bundle, horizontal and vertical subspaces

Given a principal bundle $P(M,G)$, we can decompose $$T_pP=V_pP\oplus H_pP.$$ I don't understand why $$[X,Y]\in H_pP$$ if $X\in H_pP$, and $Y\in V_pP$. Thanks!
1
vote
0answers
31 views

When the associated bundle to a $U(1)$-bundle is an holomorphic line bundle?

Let $P$ be a principal $U(1)$ bundle over a complex manifold $M$, and let $\rho\colon U(1)\to Aut(\mathbb{C})$ be the representation of $U(1)$ on $\mathbb{C}$ given by the standard multiplication. My ...
3
votes
0answers
75 views

Correspondence between line bundles and $U(1)$-bundles: a mistake from the physicists?

I am reading a paper written by physicists and they say the following: Let $(L,h,\nabla)$ be an holomorphic line bundle equipped with a Hermitian metric $h$ and Chern connection $\nabla$. If ...
0
votes
0answers
8 views

Reduction of the structure group

Given a vector bundle $V$ of rank $r$ over a curve. What proprieties should $V$ satisfies in order to admet a reduction of the structur group to $O_r(k)$ (resp. $SL_r(k)$, $Sp(r,k)$) Could you give ...
6
votes
1answer
67 views

Is there a fibre bundle with fibre homeomorphic to $\mathbb R^k$ which cannot be given the structure of a vector bundle?

We define a (rank $k$) vector bundle to be a fibre bundle with fibre $\mathbb R^k$ such that the local trivializations are fibre-by-fibre vector space isomorphisms. I'm curious whether this linearity ...
0
votes
0answers
20 views

Metric, torsion free connections on principal bundles

Let $F(M)$ be the frame bundle of a $n$-dimensional differentiable manifold $M$, and let $H\subset TF(M)$ be a connection. A Riemannian metric on $M$ can be equivalently written as an equivariant ...