The fibre-bundles tag has no usage guidance.

**0**

votes

**1**answer

132 views

### about the horizontal lift in a principal bundle [on hold]

I'm currently studying Fibre Bundle by Nakahara's book, and I'm a bit confused about the following:
Imagine we have a Principal Bundle $P(M,G)$ with open chart {$U_i$} and a local section ...

**3**

votes

**1**answer

170 views

### “Ambient homotopy” between preimages under a fiber bundle?

Choose a notion of an "ambient homotopy" between maps of topological spaces. For example, say that two embeddings $Y \rightarrow X$ are ambiently homotopic if there is a path between them in the space ...

**0**

votes

**0**answers

190 views

### triviality of vector bundles with the reduced homology of base space entirely torsion [migrated]

Let $\xi$ be an $n$-dimensional vector bundle over a manifold $M$ such that the reduced cohomology
$\tilde H^*(M;\mathbb{Z})$ is entirely torsion (every element has finite order under addition).
...

**1**

vote

**1**answer

111 views

### triviality of a $2$-sheeted covering map and the triviality of the associated vector bundle

Let $ X$ be a space with a (free and properly discontinuous) $\mathbb{Z}/2$-action and $$p: X\to X/(\mathbb{Z}/2) $$ be a $2$-sheeted covering map. Then we have an associated vector bundle
$$
\xi: ...

**4**

votes

**0**answers

72 views

### positions of polyhedrons with vertices on the unit sphere

Let $S^2$ be the unit $2$-sphere canonically embedded in $\mathbb{R}^3$. Let $P$ be a polyhedron whose all vertices are in $S^2$. Let $\text{Iso}(S^2)$ be the isometry group of $S^2$ and ...

**4**

votes

**2**answers

228 views

### triviality of Whitney sums of a vector bundle

Let a $3$-dimensional subspace $V$ of $\mathbb{R}^4$ be $$V=\{(x_1,x_2,x_3,x_4)\in\mathbb{R}^4\mid\sum_{i=1}^4x_i=0\}.$$ The alternating group $A_4$ acts on $V$ by
...

**3**

votes

**0**answers

32 views

### Is the unit bundle of a Finsler vector bundle a sphere bundle?

I asked this at mathstackexchange but got no answer, so I am trying here.
Let $E$ be a Finsler vector bundle* of rank $k$ over a manifold $M$. Does the unit "bundle" $UE$ admits a structure of a ...

**6**

votes

**1**answer

229 views

### vector bundles associated to a covering space

Let $M$ be a $m$-dimensional manifold whose cohomology ring and cell structure are well-understood, such that there is a free action of the symmetric group $S_n$ on $M$. Then we have a $n!$-sheeted ...

**6**

votes

**1**answer

360 views

### Does pullback in the category of smooth manifolds always exists?

I am looking for an example where $f:Y\to X$ and $f':Y'\to X$, are both smooth maps of smooth manifolds, but the pullback does not exist.
Remarks:
1) A pullback in a certain category is defined as ...

**4**

votes

**0**answers

79 views

### characteristic classes of a covering space with symmetric group action

Let $S_n$ be the $n$-th symmetric group. Suppose we have a $n!$-sheeted covering space
$$
S_n\to M\to M/S_n
$$
where $M$ is a manifold. Let $\mathbb{K}$ be the real numbers $\mathbb{R}$, complex ...

**7**

votes

**2**answers

307 views

### first Chern class of complex vector bundles and first Pontrjagin class of quaternionic vector bundles

Let $\xi$ be a (real) vector bundle of dimension $n$. Then the first Stiefel-Whitney class
$$
w_1(\xi)=0
$$
if and only if $\xi$ is orientable, i.e. the structure group of $\xi$ can be reduced to ...

**3**

votes

**2**answers

339 views

### Cup product of cohomology in a Serre spectral sequence

How to use Serre spectral sequence to compute cup product structures?
Let $F\to E\to B$ be a fibration. Suppose all the differentials of the corresponding Serre spectral sequence of cohomology are ...

**8**

votes

**1**answer

234 views

### Stiefel-Whitney class of fibre bundles

Let $F,E,B$ be manifolds (we may assume them to be compact, without boundary if necessary) and $$F\to E\to B$$ be a fibre bundle. Suppose $$w(F), w(B),$$ the Stiefel-Whitney class of $F$ and $B$, are ...

**2**

votes

**0**answers

35 views

### Why generalized vectors can be written locally as sum of vectors and 1-forms?

I would like to understand better this point.
In generalized complex geometry the generalized bundle $E$ is defined as a non-trivial fibration of the cotangent bundle $T^*M$ over the tangent bundle ...

**5**

votes

**0**answers

145 views

### When is a circle fibration a circle bundle?

Let $\pi : E \to B$ be a Serre fibration over a CW complex, with circle fibers.
In the orientable case, it is easy to see that $\pi$ is fiber homotopy equivalent to a principal $SO(2)$--bundle.
...

**2**

votes

**0**answers

50 views

### cohomology ring of cross-section space of one-point compactification of tangent bundle

Let $M$ be an $m$-manifold whose cohomology is known. Let $TM$ be the tangent bundle of $M$ and $\xi$ be the fibre-wise one-point compactification of $TM$. Then $\xi$ is a $m$-sphere bundle over $M$. ...

**2**

votes

**0**answers

93 views

### cross-sections of a sphere bundle

Let $M$ be a $m$-manifold and $M_0$ a submanifold of $M$. Let $X$ be a pointed topological space. In the paper On the homology of configuration spaces, Bodigheimer-Cohen-Taylor, Topology 1989, ...

**2**

votes

**0**answers

65 views

### section spaces related to configuration spaces

In the paper Configuration spaces of positive and negative particles, Dusa McDuff, a section space $\Gamma(M)$ is constructed:
And in the paper ON THE HOMOLOGY OF CONFIGURATION SPACES. C.-F. ...

**1**

vote

**0**answers

105 views

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

I ask this question in MSE and I received no answer, so I repeat it here:
Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a ...

**9**

votes

**2**answers

468 views

### Pull-back of a fibration along a homotopy equivalence and homotopy classes of sections

I previously asked this on Math.SE but didn't receive a satisfactory answer.
Let $p:E\rightarrow B$ be a fibration (i.e. have the homotopy lifting property with respect to all spaces), and $f: ...

**2**

votes

**0**answers

171 views

### Fiber Bundle with a perfect bilinear map

Let $\pi:X\rightarrow Y$ a double cover of Riemann surfaces, and consider a $SL_n-$bundle $E$ with a perfect $\mathcal O_Y-$bilinear pairing $$\psi:\pi_*E\times\pi_*E\rightarrow\pi_*\mathcal O_X$$
...

**3**

votes

**1**answer

460 views

### Explicitly describing the region of the plane “outward of” a simple, open, oriented, cubic curve $c:(0,1)\to\mathbb{R}^2$

Some Context:
I'm working with some data given in the form of Bezier curves. I need to sort these (partially ordered) Bezier curves by "outwardness" (described below) and have come across an ...

**16**

votes

**3**answers

595 views

### When can a class in $H^1(M;\mathbb{Z})$ be represented by a fiber bundle over $S^1$

For a topological space M, It is known from homotopy theory that the elements of the first cohomology $H^1(M;\mathbb{Z})$ are in 1-1 correspondence with homotopy classes of maps $[M,S^1]$
In my case ...

**1**

vote

**0**answers

93 views

### Almost complex structure gluing

Consider smooth complex manifold $X$ of complex dimension $n$ and its smooth submanifold $Z$ of codimension $k$. Denote the normal bundle of the inclusion $Z\subset X$ by $\nu.$ One can blow up $X$ ...

**5**

votes

**1**answer

256 views

### When are principal bundles preserved by colimits?

Let $G$ be a topological group and consider a family $$G\rightarrow E_i\rightarrow B_i$$ of $G$-principal bundles indexed over the natural numbers. Suppose we have $G$-bundle morphisms (equivariant ...

**4**

votes

**1**answer

173 views

### Frame-bundle reduction from spinor-bundle reduction

Let $(M,g)$ be a $d$-dimensional Riemannian oriented, spin manifold, and let us denote by $F(M)$ its frame bundle, by $SP(M)$ its spin bundle and by $S = P(M)\times_{\rho}\Delta$ its spinor bundle, ...

**7**

votes

**3**answers

329 views

### A conjecture about parallelizable generalized spheres

Let $S^{d}$ denote the standard $d$-dimensional sphere. I heard from a physicist that from physical arguments they have been able to show that the vector bundle:
$E_{d} = TS^{d}\oplus \Lambda ...

**2**

votes

**1**answer

86 views

### Space of invariant sections

I have a principal bundle $\pi: M \to B$ with structure group $G$ and a vector bundle $p: V\to M$. I need to work with $\Gamma_G(V,M)$, the space of invariant (under the fiber action on $M$) sections ...

**3**

votes

**1**answer

208 views

### Curvature of a principal bundle and the exterior covariant derivative

I am sorry if this is too elementary; I had posted it on math.stack but no one answered.
Let $P\to M$ a principal fibre bundle with fibre $G$, and let $A\in \Omega^{1}(P)\otimes\mathfrak{g}$ be a ...

**1**

vote

**1**answer

67 views

### Principal bundle associated to a Courant algebroid

A Courant algebroid is defined as a real vector bundle equipped with a product and a symmetric bilinear on its space of sections satisfying a particular set of conditions. What would be the definition ...

**5**

votes

**1**answer

279 views

### Differential forms along the fiber

Let $E \to M$ be a smooth fiber bundle. Instead of differential forms defined on the whole tangent bundle $TE$ one could also consider forms on the vertical tangent bundle $VE$, i.e. forms defined on ...

**0**

votes

**1**answer

144 views

### Does there exist a fibre bundle $K(\mathbb{Z}_4,1)\rightarrow K(\mathbb{Z}_2,1)$ with fiber $K(\mathbb{Z}_2,1)$? [closed]

Does there exist a fibration $K(\mathbb{Z}_4,1)\rightarrow K(\mathbb{Z}_2,1)$, evidently with fiber $K(\mathbb{Z}_2,1)$?

**3**

votes

**1**answer

100 views

### Coarsely trivial Borel cross section for $G\to G/N$

Let $G$ be a locally compact group, and let $N$ be a closed, normal subgroup, and let $\pi\colon G\to G/N$ be the quotient homomorphism. It is known that there exists a Borel cross section, i.e., a ...

**3**

votes

**2**answers

320 views

### Is there a formula for the total Chern Class of the tangent space of a projectivized vector bundle?

Let $V\rightarrow M$ be a complex vector bundle (of rank $k$) over a complex manifold $M$ (you can assume $M$ is compact if that helps, but it may not be relevant to my question). Let $\pi:\mathbb{P}V ...

**1**

vote

**0**answers

88 views

### Discrete group action on Stiefel manifold

Let $S_3$ be the symmetric group of degree $3$. Let $V_2(\mathbb{R}^n)$ be the stiefel manifold of $2$-frames in $\mathbb{R}^n$. Let $S_3$ act on $V_2(\mathbb{R}^n)$ by
$$
(1,2)(u,v)=(-u,v-u),
$$
$$
...

**3**

votes

**1**answer

155 views

### A Dold-Thom style construction of a cohomology class from a sphere bundle

Re-reading my comment to the question Pontryagin class of quaternionic line bundle I suddenly realized that I do not understand something crucial about it. For the purposes of that crucial thing let ...

**14**

votes

**1**answer

313 views

### Anything between vector bundles and sphere bundles?

There are two extremities: on the "easy end" one has vector bundles which are classified by maps to the (more or less) well understood spaces like Grassmanians; on the "hard end" there are spherical ...

**2**

votes

**1**answer

179 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$.
...

**1**

vote

**0**answers

233 views

### Lifting a quadratic system to a non vanishing vector field on $S^{3}$ or $T^{1} S^{2}$

Let $P:S^{3}\to S^{2}$ be the Hopf fibration. For a vector field $X$ on $S^{2}$ there is a non vanishing vector field $\tilde{X}$ on $S^{3}$ such that $DP(\tilde{X})=X$. It is constructed in ...

**5**

votes

**2**answers

213 views

### The unit tangent bundle of 2- or 4-manifolds as a principal $S^{1}$- or $S^{3}$-bundle

What type of obstructions have been studied so that the unit tangent bundle of a Riemannian 2-(4-)manifold have a structure of a principal $S^{1}$-($S^{3}$-)bundle?

**4**

votes

**2**answers

157 views

### Differentiable structure on the Gauge group of a principal bundle?

I am currently reading this paper in which we have a map $g:I\rightarrow Gauge(P)$ for some principal bundle $P$ which is differentiated. I am looking for a reference or explanation what the "most ...

**6**

votes

**1**answer

346 views

### A generalization of covering spaces to fiber bundles with totally path-disconnected fibers

There is a classical theorem about covering spaces and the actions of the fundamental group.
Theorem 1: Let $B$ be a non-empty locally path-connected and path-connected space. The category of ...

**14**

votes

**3**answers

326 views

### Existence of sections of the evaluation map for the diffeomorphism group

Let $M$ be a closed connected oriented smooth manifold and $\mathrm{Diff}_{+}(M)$ the group of orientation preserving diffeomorphisms of $M$ endowed with the compact-open topology. Pick a base point ...

**4**

votes

**1**answer

119 views

### connections on principal bundles over $S^1$

Suppose $G$ is a compact connected Lie group and $P$ is a $G$-bundle over $S^1$, $A$ is a connection. Then we can choose a frame such that $A = a d\theta$ where $a\in \mathfrak{g}$ is constant. My ...

**8**

votes

**1**answer

386 views

### Two questions about sphere bundles

I would like to better understand the relationship between different notions of orientable sphere bundle. Let me say that a locally trivial fiber bundle $\pi\colon E\to M$ with fiber $S^n$ and ...

**2**

votes

**1**answer

198 views

### Is this sphere bundle over SL3/SO3 trivial?

The space $SL_3(\mathbb{R})/SO_3(\mathbb{R})$ can be though of as some kind of 5-(real)dimensional generalized upper half-space.
Fix any copy of $SO_2(\mathbb{R})$ sitting inside $SO_3(\mathbb{R})$, ...

**3**

votes

**1**answer

445 views

### How was this Lie algebra found?

In a paper the author lists, without justification, generators for a Lie algebra. I would be grateful if someone could justify these choices and perhaps suggest how I might have found them for myself.
...

**2**

votes

**1**answer

140 views

### Fibre bundles of fibre genus greater than 1

What are concrete examples of fibre bundles with fibre genus $\geq 2$? I am trying to find examples I can use to work throught the following construction:
Suppose $X \to C$ is a fibre bundle with ...

**3**

votes

**0**answers

141 views

### Orthonormal frame bundle orthogonal to a curve

This is a duplicate of this question on math.stackexchange, since I got there not a single answer.
Let $M$ be a $n$-dimensional smooth riemannian manifold and ...

**2**

votes

**0**answers

201 views

### Global sections for torus fiber bundle

Let us consider the following situation: $\pi:X\rightarrow B$ is a locally trivial fibration between smooth manifolds, its fiber being a torus $T$. My question is two-fold:
1) what is the obstruction ...