A branch of topology that deals with the notion of a fiber bundle.

learn more… | top users | synonyms

2
votes
1answer
29 views

How to construct the horizontal bundle?

I am learning the concept of connection. I am confused by the construction of the horizontal bundle. My question is: For a fibre bundle $M\rightarrow B$, the vertical vector space $V$ can be easily ...
1
vote
0answers
44 views

Is there a generalization of the Quaternionic Hopf fibrations and its natural connection?

For the quaternionic Hopf fibrations, $S^3\rightarrow S^7\rightarrow S^4$, we have a natural BPST connection form. Do we have some generalization of it? For example, the 'natural' connection form on ...
3
votes
1answer
49 views

examples for fibration not fibre bundle

We can use path space to make a map into a fibration. Generally, is this construction of fibration a fiber bundle? Or can someone give me some examples of fibration not fiber bundle?
9
votes
1answer
131 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 ...
1
vote
0answers
54 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 ...
1
vote
0answers
21 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 ...
1
vote
0answers
28 views

Bundle map is isomorphism iff it covers a homeomorphism

Consider $P_0$ and $P_1$ principal G-bundles with projection maps $\pi_0, \pi_1$, respectively; $f:P_0 \rightarrow P_1$ a continuous G-equivariant map (i.e. a bundle map) and $g:X_0 \rightarrow X_1$ ...
1
vote
2answers
49 views

Pullbacks and homotopy equivalences

Say I have a map between pullback squares $(Y \rightarrow Z \leftarrow X) \to (Y' \rightarrow Z' \leftarrow X')$. If the maps $X \to X'$, $Y \to Y'$ and $Z \to Z'$ are homotopy equivalences, does it ...
4
votes
1answer
51 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 ...
1
vote
0answers
32 views

natural map to the homotopy fibre

In the paper Homology fibrations and group completion theorem, McDuff-Segal, page 280, paragraph 4, line 2-line 3 and Configuration spaces of positive and negative particles, McDuff, page 105, line ...
1
vote
0answers
59 views

the geometric realization of a simplicial set is contractible

Let $M$ be a monoid up to homotopy. The simplicial set $WM$ is defined by setting $$ WM_n=M^{n+1}=\{(g_0, g_1,\cdots,g_n)\mid g_i\in M\} $$ with faces and degeneracies given by \begin{eqnarray*} ...
2
votes
0answers
26 views

universal bundle of topological monoids

Let $M$ be a topological monoid. There is a classifying space $BM$ (cf. canonical map of a monoid to its classifying space). When $M$ is a group $G$, there is a principal $G$-bundle $EG\to BG$ such ...
2
votes
1answer
51 views

question about “Homology fibrations and the group completion theorem”

In the paper Homology fibrations and group completion theorem, McDuff-Segal, page 281 line 17-line 18: we have a fibre bundle $M_\infty\to (M_\infty)_M\to BM$ with $(M_\infty)_M$ constractible. In ...
0
votes
0answers
30 views

Fibrations over topoi

Let $\mathcal{S}$ be an elementary topos. What is (exactly) the relation between $\mathcal{S}$-indexed categories and fibrations over $\mathcal{S}$? Where can I read about this? (Or even find the ...
2
votes
1answer
78 views

Homology of homotopy fiber of degree map between spheres

From Hatcher's Spectral Sequences: Compute the homology of the homotopy fiber of a map $S^k → S^k$ of degree $n$, for $k,n > 1$. Here's where I am: For $k > 1$, the sphere $S^k$ is ...
2
votes
1answer
61 views

Getting fiber bundles from short exact sequences

Are there conditions that guarantee that a split short exact sequence of groups $$ 1 \rightarrow K \rightarrow G \rightarrow Q \rightarrow 1 $$ gives rise to a fiber bundle $$ F \rightarrow E ...
1
vote
1answer
69 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 ...
4
votes
1answer
59 views

Fibered product of Hopf Fibrations

I am wondering: what is the vector bundle associated to the Hopf-fibration $S^{3}\to S^{2}$? What is the fibered product of two Hopf-fibrations? Thanks.
0
votes
0answers
10 views

About fibrations with isomorphic smooth fibers

Let $S$ be a smooth projective (complex) surface with a fibration $f:S\longrightarrow B$ over a base curve $B$. If all the fibers of $f$ are isomorphic to $F$, which is smooth, can I conclude that ...
1
vote
1answer
77 views

Rational map on $\mathbb P^1$ and its fibers

Consider a non-singular complex projective surface $S$ and a rational map $\psi:S\longrightarrow \mathbb P^1$; moreover suppose that $\psi$ is not defined on $\Delta=\{x_1,\ldots,x_m\}\subset S$. Now ...
2
votes
0answers
25 views

Two different notions of covering homotopy?

In Steenrod's The Topology of Fibre Bundles, there are two different notions of covering homotopy. One is furnished in Theorem 11.3: Let $\mathcal B,\mathcal B'$ be two bundles having the same ...
0
votes
0answers
29 views

Serre fibration and CW-complexes

Suppose that $p:X\rightarrow E$ is a Serre fibration. I know the definition: then $p$ has the right lifting property with respect to all inclusions $I^n\rightarrow I^{n}\times I$. Now it seems that ...
0
votes
1answer
43 views

Points with smooth fibers form an open subset

Let $S$ be a complex non-singular projective surface and let $C$ be a complex non-singular projective curve. Moreover consider a morphism $\varphi:S\longrightarrow C$ which is flat, proper and with ...
0
votes
0answers
28 views

Fibration with CW-complex as basespace admits retraction

Suppose $f:E\rightarrow B$ has the right lifting property with respect to all CW-pairs $(X,A)$. Then $f$ is a Serre fibration and also a weak-homotopy equivalence. But want i want to prove is the ...
1
vote
1answer
49 views

Fiber sequence of principal bundles

Let $G$ be a group, either a Lie group or a discrete group. Let a principal $G$-bundle $$G\to E\to B,$$ then $B=E/G$, the orbit space under action of $G$. Let $BG$ be the classifying space of $G$. ...
2
votes
0answers
37 views

Sequence of cofibrations gives strict commutativity of given triangle

The problem is the following: Suppose $X_0\rightarrow X_1\rightarrow\cdots$ is a sequence of cofibrations. We will denote $f_n:X_n\rightarrow X_{n+1}$. Assume that we have also maps ...
1
vote
1answer
60 views

Fiber bundles and manifolds

Each vector bundle is an example of a fibre bundle with some extra structure. This extra structure provides the algebraic object consisting of all sections (continuos or smooth) of given bundle. When ...
2
votes
1answer
80 views

Relative $CW$-complexes and Serre fibrations

Suppose we have a (continuous) map $p:E\rightarrow X$. Assume that $p$ has the right lifting property with respect to any relative $CW$-complex $i:A\rightarrow B$. I want to show that $p$ is a Serre ...
2
votes
2answers
57 views

Fibration $p_1:P(Y,y_0)\to Y$ has section iff $Y$ is contractible.

Let $P(Y,y_0) = \{ \omega : \omega(0) = y_0 \}$ be path space let's consider a fibration $p_1:P(Y,y_0)\to Y$ such that $\omega \mapsto \omega(1)$. Show that there exists $s: Y \to P(Y,y_0)$ such ...
2
votes
1answer
59 views

fibration of real projective space over complex projective space

From the fibration $$U(1)=S^1\to S^{2n+1}\to \mathbb{C}P^n,$$ can we quotient the action of $S^0$ and obtain a well-defined fibration $$ S^1/S^0=\mathbb{R}P^1\cong S^1\to ...
1
vote
1answer
53 views

fibration of complex projective space over quaternion projective space

From the fibration $$Sp(1)=S^3\to S^{4n+3}\to \mathbb{H}P^n,$$ can we quotient the action of $U(1)=S^1$ and obtain a well-defined fibration $$ S^2\to \mathbb{C}P^{2n+2}\to\mathbb{H}P^n?$$ ...
3
votes
1answer
63 views

Postnikov towers for non-CW spaces

In the literature, Postnikov systems seem to be defined always in the setting of CW complexes. Looking at the proofs, it is not clear to me, why this assumption should be necessary. Question: Does ...
3
votes
3answers
129 views

$p:E\to B$ is fibration then $p_*:map(X,E)\to map(X,B)$ is fibration as well.

$p:E\to B$ is fibration then for $X$ being compactly generated weakly Hausdorff space $p_*:map(X,E)\to map(X,B)$ is fibration as well. We'd like to show that for any $Y$ and continuous $f$ and ...
1
vote
0answers
41 views

When does a homogeneous space define a fibration?

Let $G$ be a locally compact and $\sigma$-compact group acting continuously and transitively on locally compact Hausdorff $X$. Then if $x_0 \in X$ and $H_{x_0}$ denotes the isotropy group at $x_0$ we ...
0
votes
0answers
50 views

Group action on fibre homotopy group

Let $p : E \rightarrow B$ be a Serre fibration, with typical fibre $F \cong p^{-1}(b)=: F_b$ for each $b \in B$. I know that $\pi_1(F) \looparrowright \pi_k(F)$, but now I would like to find a way to ...
2
votes
1answer
125 views

Being contractible in homotopy theory vs. homotopy type theory

I'm trying to clarify the notion of being contractible in homotopy theory vs. homotopy type theory. Is the following right? "In homotopy theory the real interval $[0,1]$, considered as a subset ...
6
votes
1answer
121 views

Serre fibrations vs. Hurewicz fibrations

What is an example of a Serre fibration that is not a Hurewicz fibration?
1
vote
1answer
96 views

Fibrations lift p-connectedness

Let $p: X \to B$ be a Serre fibration, and suppose that $B^p \subset B$ is a subspace of $B$ such that $(B,B^p)$ is $p$-connected, i.e. $\pi_n(B,B^p)=0 \ \forall n \leq p$ or, equivalently, ...
2
votes
1answer
48 views

Fundamental crossed square of a square of spaces

I am a newbie at Topology and I didn't took the homotopy theory course. Sorry for that, but I need to know some facts about this paper ("Van Kampen Theorems for Diagrams of Spaces", authors R. Brown ...
0
votes
1answer
56 views

A problem concern about the relationship between homotopy groups.

I encountered the following problem: Let $X$ be a closed manifold, $S^n$ be the $n$-dimensional standard sphere and denote $\Omega(S^n,X)$ be the space of base point-preserving maps from $S^n$ to ...
1
vote
1answer
37 views

Proving the left lifting property for a map

I want to prove the left lifting property for the inclusion map of the sphere into the disk for any fibration $q:X \rightarrow Y$, where $q$ is a weak equivalence. I don't know how to draw a square ...
1
vote
0answers
28 views

Is $\operatorname{Fib}(B)$ cartesian closed when $B$ is?

Is the ($2$-)category $\operatorname{Fib}(B)$ of fibrations over $B$ cartesian closed whenever $B$ is? If not, are there some restrictions that would make it so? For example, consider restricting to ...
1
vote
0answers
72 views

morphisms of principal bundles with different structure groups

Let $f \,: X \to Y$ be a continuous map between spaces. Let $G$ and $H$ be topological groups. Consider the diagram: \begin{equation} \label{} \begin{array}{ccccccccccccccccccccccccccccccc} E_G ...
1
vote
0answers
85 views

extending maps from spaces to their whitehead towers

Let $f \,: X \to Y$ be a map between connected spaces. Let: $$ X^{(k)} \to \ldots \to X^{(0)} \approx X $$ and $$ Y^{(k)} \to \ldots \to Y^{(0)} \approx Y $$ be whitehead towers for $X$ and $Y$. What ...
2
votes
1answer
46 views

Proof that if $S^{k}\rightarrow S^{m}\rightarrow S^{n}$ is a fiber bundle, then $k=n-1$ and $m=2n-1$.

I was reading a proof online (7a) here: http://www.math.wisc.edu/~dummit/sets/752-fs.pdf that if $S^{k}\rightarrow S^{m}\rightarrow S^{n}$ is a fiber bundle, then $k=n-1$ and $m=2n-1$ but I'm ...
1
vote
2answers
88 views

Action of $SO_n$ on $\mathbb{S}^{n-1}$ induces fibre bundle.

Real compact Lie group $SO_n$ acts smoothly and transitively on $\mathbb{S}^{n-1} \subseteq \mathbb{R}^n$ with obvious action. Isotropy subgroup of each point in $\mathbb{S}^{n-1}$ is isomoprhic to ...
3
votes
1answer
118 views

Fibrations induced by deformation retractions

Given a map $f: A \to B$ and a homotopy equivalence $g: C \to A$, I wish to show that $E_f \to B$ and $E_{fg} \to B$ are fiber homotopy equivalent, where, given a function $f: A \to B$, $E_f$ is the ...
0
votes
1answer
46 views

Regarding an arbitary fibration as an inclusion

I'm reading through Allen Hatcher's Algebraic Topology, and he mentions that, given a Postnikov tower, the fibration $X_n \rightarrow X_{n-1}$, where $X_n$ and $X_{n-1}$ are CW complexes, can be ...
1
vote
1answer
76 views

Inverse limit of sequence of fibrations

I'm reading through the proof of Proposition 4.67 in Hatcher's Algebraic Topology, and I've come to something that I'm having trouble understanding. For an arbitrary sequence of fibrations $... ...
1
vote
1answer
165 views

Understanding the Concept of Monodromy; case of Lefschetz Fibrations.

My question is on the concept of monodromy around critical points in a Lefschetz fibration $p: M^4 \rightarrow S^2$ (and monodromy in general), where $M^4$ is a 4-manifold and $S^2$ is the 2-sphere. ...