Questions tagged [fibre-bundles]

for questions about fiber bundles, including structure groups, principal bundles, and spaces of sections.

Filter by
Sorted by
Tagged with
1 vote
0 answers
64 views

Representing geodesic compactifications of $S^1\times \Bbb R$ as analytic sections over base (analytic) foliations

Given a smooth nested set of "partial" foliations $\mathcal F_{\alpha}=\big\lbrace e^{\frac{\alpha}{\log x}}: \alpha \in (1/k,k), x\in(0,1),k\in [1,\infty) \big\rbrace$ of $X^2=(0,1)^2$ with ...
53Demonslayer's user avatar
7 votes
1 answer
173 views

Connection of principal fiber bundles — history

I wonder who was the first to discover the notion of principal fiber bundle and its connection (gauge field in the physical language). Wikipedia cites the book by Steenrod (1951). But was he the ...
Andrei Smilga's user avatar
4 votes
1 answer
192 views

Non compact Seifert manifolds

A Seifert manifold $M$ is a $3$-dimensional orientable smooth manifold with an effective circle action with no fixed points. Closed connected Seifert manifolds are classified up to an equivariant ...
Rei Henigman's user avatar
3 votes
1 answer
162 views

Isomorphism between tangent bundle of $S^2$ and the kernel of a bundle homomorphism

Let $S^{4n+3} \to \mathbb{H}P^n$ be the standard projection which is a fiber bundle with fiber $S^3$. By the action of $S^1$ on $S^3$ we get a fiber bundle $$ \mathbb{C}P^1 \xrightarrow{\iota} \mathbb{...
Patrick Perras's user avatar
8 votes
0 answers
287 views

Flat Maurer-Cartan connection iff flat Berry connection

I am studying two connections on induced representation spaces $\text{Ind}_{H}^{G} \Gamma$, where $H \subseteq G$ are groups, and $\Gamma$ is an irrep of $H$. The first is the canonical or $H$-...
Victor V Albert's user avatar
4 votes
1 answer
86 views

Some questions about the definition of Chern classes in Cheeger--Simons differential characters

In page 62 to 63 of the paper "Differential characters and geometric invariants" by Cheeger and Simons, they define, among other things, Chern classes taking values in differential ...
Ho Man-Ho's user avatar
  • 1,087
3 votes
1 answer
161 views

Precise definition of a linear total differential operator

In the works of A. M. Vinogradov on calculus on the infinite jet space, differential equations and "diffieties", a central notion is that of a $\mathcal C$-differential operator. If $\pi:Y\...
Bence Racskó's user avatar
3 votes
0 answers
58 views

Are two homotopic principal bundles isomorphic?

Let $E_1 \to B$ and $E_2 \to B$ be two principal $G$-bundles, where $E_1$ and $E_2$ are two simply-connected manifolds and $G$ is a compact Lie group. Suppose there exists a $G$-equivariant continuous ...
Zhiqiang's user avatar
  • 849
1 vote
0 answers
140 views

Minimal first Pontryagin class $p_1=1$?

From Hirzbuch theorem, the signature of 4-manifold $\sigma = p_1/3$ with the first Pontryagin class $p_1$. I know that the $\sigma=p_1/3 =1$ so $p_1=3$ for complex projective space $\mathbb{P}^2$. Is ...
zeta's user avatar
  • 337
4 votes
1 answer
290 views

Induced fiber sequence and Eilenberg–MacLane space in Whitehead tower of $BO$

In Whitehead tower of $BO$, there is a induced fiber sequence: 1. $$ Z_2 \to B SO \to BO \overset{w_1}{\rightarrow} B Z_2 $$ How does this map $\overset{w_1}{\rightarrow}$ from $BO$ to $B Z_2$? ...
zeta's user avatar
  • 337
6 votes
0 answers
162 views

How exactly does the Kreck-Stolz description of elliptic homology match the one by Totaro?

In Kreck, Matthias; Stolz, Stephan, $\mathbf H\mathbf P^2$-bundles and elliptic homology, Acta Math. 171, No. 2, 231-261 (1993). ZBL0851.55007. the $n$th elliptic homology group of a space $X$ is ...
მამუკა ჯიბლაძე's user avatar
2 votes
0 answers
61 views

Orthogonal bundles with values in a line bundle vs. reductions of structure group to $O(n)$

I have already posted this question in math.stackexchange here, but didn't get any response, so I'm posting my question here as well. Let $X$ be a smooth projective variety over $\mathbb{C}$, and $\pi:...
Hajime_Saito's user avatar
1 vote
0 answers
120 views

Lifting action of torus to torus bundle

Preamble: Let $X$ be a simply connected smooth manifold and $P \to X$ be a principal $T^\ell$ bundle on it. Let $\phi$ be a smooth action of $T^k$ on $X$. The paper "Lifting compact group actions ...
Nicolò Cavalleri's user avatar
3 votes
0 answers
61 views

Integral sections of higher-order jet fields

I posted this topic on StackExchange, but it may suit this forum better. Consider a bundle $(E,\pi, M)$ and let $k\in \mathbb N$. I am going to adopt the notations and conventions by Saunders. ...
Parco Macelli's user avatar
2 votes
1 answer
274 views

Bianchi's identity in a principal bundle

Let us consider a principal bundle $P$, with a Lie-algebra-valued connection one-form $\omega\in\mathfrak{g}\otimes\Omega^1(P)$ and a Lie-algebra-valued curvature two-form $\Omega\in\mathfrak{g}\...
Nabla's user avatar
  • 41
1 vote
1 answer
129 views

On the definition of smooth fiber bundle and smooth manifolds with boundary

On page 268 of Prof. John M Lee's book "Introduction to Smooth Manifolds" (second edition), it says if $E$, $M$ and $F$ are smooth manifolds with or without boundary, $\pi:E\to M$ is a ...
Ho Man-Ho's user avatar
  • 1,087
2 votes
2 answers
305 views

Twisted interval-bundles over a surface

I am trying to understand interval bundles over orientable surfaces. I know of course the basic examples: trivial interval bundles are just products. From what I understand, there is only one non-...
luthien's user avatar
  • 379
2 votes
0 answers
61 views

Lifting paths along group quotients relative to a base

Suppose you have a map of topological spaces $X\to S$, an $S$-group $G\to S$ (i.e. a group object in $\mathrm{Top}_{/S}$), an action of $G$ on $X$ relative to $S$ which is free and properly ...
W. Rether's user avatar
  • 445
4 votes
1 answer
202 views

Euler class of vertical tangent bundle of the surface bundle over circle

Suppose $\Sigma$ is an oriented genus $g>1$ surface and $h:\Sigma\to \Sigma$ is a diffeomorphism preserving a point $p$. Let $M$ be the surface bundle over $S^1$ obtained by gluing $\Sigma\times I$ ...
Faniel's user avatar
  • 593
2 votes
1 answer
127 views

Obstruction to a cohomology class on total space being a pullback of a class on the base space is the restriction to the fiber

Let $\pi \colon E \to X$ be a fiber bundle with fiber $F$ and suppose that $\tilde H^i(F) = 0$ for $0 \leq i \leq k-1$. Using the Leray-Serre spectral sequence, we get an exact sequence $$ 0 \to H^k(...
Motmot's user avatar
  • 293
3 votes
1 answer
281 views

Frame bundle of $\mathbb{C}P^n$ as homogeneous space

I am reading "Dirac Operator in Riemannian Geometry" by T. Friedrich, where he writes that (the total space of) the frame bundle $R$ of the tangent space of $\mathbb{C}P^n$ is: $$ R = SU(n+1)...
ychemama's user avatar
  • 1,326
2 votes
2 answers
98 views

Reference request: Cut-and-project method gives rise to a fiber bundle over the torus

I apologize in advance for how vague this request is. A few weeks ago, I came upon a paper that (if I recall correctly) proves that the hull of a cut-and-project tiling is a fiber bundle over a torus. ...
Kyle's user avatar
  • 243
3 votes
1 answer
127 views

When is compactness of fiber components an open condition?

Consider a smooth map $f:M\rightarrow N$ between smooth manifolds. Ehresmann's theorem states that if $f$ is a proper submersion, then it is locally trivializable; in particular, this implies that ...
Nikhil Sahoo's user avatar
  • 1,175
2 votes
0 answers
43 views

Lifting a group action to a Banach bundle

I have been searching the literature for results on lifting a group action from the base space of a Banach bundle (Important note: NOT Banach VECTOR bundle). The setting I am interested in weaker than ...
Alexander Schmeding's user avatar
4 votes
1 answer
158 views

What integral formula is being used here?

I am trying to read the paper "Simple closed geodesics on convex surfaces" by E.Calabi and J. Cao and a certain passage is unclear for me. Before, let me contextualize and set up some ...
Eduardo Longa's user avatar
2 votes
0 answers
47 views

Gauge-natural lifts of principal connections

Let $P=(P,\pi,M,G)$ be a principal fibre bundle and $\omega$ a principal connection on it. If $\lambda:G\times S\rightarrow S$ is a smooth left action of $G$ on a manifold $S$, the associated fibre ...
Bence Racskó's user avatar
1 vote
0 answers
181 views

The key step in Serre's method on higher homotopy groups

Let $n \geq 2$ and $X$ be a $(n-1)$-connected simplicial complex. This means that all of the lower homotopy groups $\pi_{k}(X) = 0$ for $k \leq n-1$. My goal is to compute the higher homotopy groups ...
Student's user avatar
  • 4,978
3 votes
1 answer
179 views

Free $S^1$-action on compact homogeneous spaces

Let $M = G/K$ be a compact homogeneous space, i.e. $G$ a connected compact Lie group, and $K$ a closed subgroup inside $G$ that contains no nontrivial normal subgroup of $G$. If $r(G) > r(K)$ (...
abracadabra12345's user avatar
1 vote
0 answers
82 views

Continuous choice of null directions for a family of bilinear forms

Let $E$ and $F$ be (real) Hilbert spaces, where $\dim E = \infty$ and $1 \leq \dim F < \infty$. Let $T : E \to \operatorname{Sym}(F \times F,\mathbb{R})$ be a continuous linear map, where $\...
Eduardo Longa's user avatar
5 votes
1 answer
243 views

Does a compact Lie group action on a family of compact manifolds have diffeomorphic fixed point submanifolds?

Let $\pi: M\to B$ be a fiber bundle of smooth manifolds with $B$ connected and each fiber of $\pi$ is a compact manifold. Let $G$ be a compact Lie group acting smoothly on $M$ such that $\pi(g\cdot m)=...
Zhaoting Wei's user avatar
  • 8,657
4 votes
0 answers
116 views

Lifting smooth homotopies in smooth fiber bundles

I wish I had a reference for the following fact. Every smooth bundle on $M\times I$ is isomorphic to the pullback (via projection $M\times I\to M$) of a smooth bundle on $M$.
Tom Goodwillie's user avatar
1 vote
0 answers
169 views

Riemannian geometry of Grassmannian bundles

The Grassmannian bundle of a vector bundle $E$ is a smooth manifold where each fiber over the base space is replaced by the Grassmannian (of specified rank) of the fiber. I am interested in defining a ...
mathuser128's user avatar
1 vote
0 answers
234 views

Relation between the pushback closed form of sphere bundle and the pullback closed form of ball bundle

Let $B$ be a closed oriented $n$-manifold, and $\pi_N:N\to B$ be an oriented $m$-dim ball bundle, i.e. each fiber is an oriented $m$-dim ball(disk) $D^m$. We have a sphere bundle $\pi_\partial:\...
DLIN's user avatar
  • 1,905
1 vote
0 answers
54 views

When does an analytic submanifold descend to the quotient?

Let $\pi : M \to B$ be a smooth principal bundle with group $G$, where $M$ is an analytic (Fréchet, in my case) manifold, $B$ is a smooth (Fréchet) manifold and $G$ is a smooth (Fréchet) Lie group. ...
Eduardo Longa's user avatar
1 vote
1 answer
161 views

Does fiber bundles admits good properties of covering spaces?

Let $X$ and $Y$ be non compact complex manifolds and $f:X\to Y$ be a holomorphic fiber bundle with fibers $F$ such that $f^*:\pi_1(X)\to\pi_1(Y)$ is injective and let for any $f_1,f_2\in F$ there ...
tota's user avatar
  • 585
5 votes
1 answer
405 views

A question regarding isomorphism in cohomology for moduli space of stable bundles over a compact Riemann surface

Let $N(n,k)$ denote the moduli space of stable vector bundles of rank $n$ and degree $k$ over a compact Riemann surface $X$, and let $N_0(n,k)$ denote the moduli space where we fix rank $n$ and some ...
Hajime_Saito's user avatar
1 vote
1 answer
85 views

Pull-back of factor of automorphy

Let $M=\mathbb C^g/ \Gamma$ be a complex tori and $E$ a be a holomorphic vector bundle of rank $r$ over $M$. Then $E$ is characterised by factor of automorphy, i.e. a holomorphic map $J:\Gamma\times\...
Mjr's user avatar
  • 307
1 vote
0 answers
436 views

Fiber bundle orientability vs manifold orientability

This question seems like a pretty straightforward generalization of a result from vector bundles but its been on MSE for over a week with no answers so I'm reposting https://math.stackexchange.com/...
Ian Gershon Teixeira's user avatar
1 vote
1 answer
208 views

Projective bundle is stable under twisting by a line bundle [closed]

I want to prove that "Given a bundle $E$, for any line bundle $L$ the projectivizations of $E$ and $E$ tensor $L$ are isomorphic i.e $P(E)≅P(E⊗L)$". The statement can also be seen on the ...
Devendra Singh Rana's user avatar
15 votes
4 answers
1k views

Cohomology ring of mapping torus

A mapping torus, $M \rtimes_\varphi S^1$, is a fiber bundle over $S^1$ with fiber $M$, where $\varphi$ is an element of mapping class group of $M$, describing the twist around $S^1$. For $M=S^1\times ...
Xiao-Gang Wen's user avatar
2 votes
0 answers
186 views

Stiefel Whitney number of a fiber bundle

I was going through this paper, and the author rights the following The Stiefel-Whitney class of $E$ is given by $$w(E)=(1+\alpha)^{2m+1}\left\{(1+c)^{2n+1}+u_1(1+c)^{2n}+\dots+u_{2n}(1+c)+u_{2n+1}\...
Devendra Singh Rana's user avatar
8 votes
0 answers
236 views

Linear $S^{2k}$-bundles over $S^{4k}$

By the classification of Dold and Whitney, linear $S^2$-bundles over $S^4$ are classified by their first Pontryagin class $p_1$, which takes the value $4\lambda$ for the bundle corresponding to $\...
PR_'s user avatar
  • 291
5 votes
2 answers
242 views

Patching up two trivial fibre bundles induces homology equivalence

I was wondering to ask this question may be it's a silly one. I could not prove or disprove it. Let $X,Y$ be smooth connected manifolds. Let $X=X_1\cup X_2$ ($X_i$'s sub-manifold of $X$) and $X_1 \cap ...
tota's user avatar
  • 585
6 votes
1 answer
520 views

Torus bundles and compact solvmanifolds

I asked this question on MSE 9 days ago and it got a very helpful comment from Eric Towers providing the Palais Stewart reference, but no answers. So I'm crossposting it here. Let $$ T^n \to M \to T^m ...
Ian Gershon Teixeira's user avatar
0 votes
1 answer
138 views

Non existence of preferred Horizontal subspace on a bundle [closed]

If I choose a principal bundle, let us say $G\rightarrow P \rightarrow B$, with $G=U(1)$, $P=S^1 \times S^1$ and $B=S^1$. Can I follow the identity element of the group over a curve at the base. How ...
Virgile Guemard's user avatar
2 votes
0 answers
397 views

Isometries of the complex projective space for the Fubini Study metric

$\DeclareMathOperator\SU{SU}$I am trying to understand a geometric proof in our mathematical quantum mechanics lecture regarding Wigner's theorem in finite dimensions. We have already shown that it ...
Tobias Simon's user avatar
6 votes
1 answer
507 views

What conditions are sufficient for the Leray-Hirsch theorem to be a Künneth formula?

This was originally posted on MSE, and since it didn't receive much attention, I'll try here. Let me know if this is not the appropriate place. Given a fiber bundle $F \to E \to B$ over a paracompact ...
Paul Cusson's user avatar
  • 1,735
11 votes
2 answers
597 views

$ \mathbb{R}P^n $ bundles over the circle

Is every $ \mathbb{R}P^{2n} $ bundle over the circle trivial? Are there exactly two $ \mathbb{R}P^{2n+1} $ bundles over the circle? This is a cross-post of (part of) my MSE question https://math....
Ian Gershon Teixeira's user avatar
4 votes
0 answers
135 views

Combinatorial fiber bundles

Triangulations (as simplicial complexes) and bi-stellar flips are a combinatorial analogue of (piece-wise linear) topological manifolds. I'm looking for a similar combinatorial analogue for fiber ...
Andi Bauer's user avatar
  • 2,901
4 votes
1 answer
265 views

Classification of functorial smooth vector fiber bundles

Let $\mathrm{Bundle}$ be the category whose objects are smooth vector fiber bundles over $\mathbb{R}$, and morphisms are fiberwise smooth linear map (that is, the base is not assumed to be fixed). Let ...
Arshak Aivazian's user avatar

1
2 3 4 5
7