Questions tagged [fibration]
For questions about or involving fibrations which are maps which satisfy the homotopy lifting property for all spaces.
181
questions
9
votes
0
answers
78
views
Reference for the tricategory of elements associated to a trifunctor
The theory of bicategorical fibrations has been relatively well studied, e.g. by Baković and by Buckley. In particular, given a trifunctor $F : \mathcal K \to \mathbf{Bicat}$ from a bicategory $\...
- 9,521
6
votes
1
answer
223
views
Fibrations using adjoints
For ordinary fibrations is it true that:
Given a functor $F \colon C \to D$ with $C$ finitely complete, and a fully faithful functor $U$ such that $F \dashv U$ and F preserving limits. Then F is a ...
- 195
2
votes
0
answers
69
views
Pullbacks in Cat in a 2-dimensional sense
$\newcommand\Fib{\mathrm{Fib}}\newcommand\Cat{\mathrm{Cat}}\newcommand\OpF{\mathrm{OpF}}\DeclareMathOperator\cod{cod}$In proving that a codomain functor from the 2-category $\Fib$ to $\Cat$ is a 2-...
- 195
0
votes
0
answers
43
views
How is the behaviour of a deformation retract under a fibration? [duplicate]
Let $p:E \rightarrow B$ a fibration and take $A\subset B$ a deformation retract of B. Is it true that $p^{-1}(A)$ is a deformation retract of E?
By deformation retract I mean the weaker definition.
I'...
6
votes
1
answer
284
views
Is this $\mathbb C$-fibration over compact Riemann surface trivial?
I have a question about a complex manifold $M$ and a holomorphic submersion $p : M \to S$ to a compact complex curve satisfying the following conditions:
$p^{-1}(x)$ is biholomorphic to $\mathbb{C}$ ...
- 651
5
votes
0
answers
127
views
Division of fibration by $\Sigma_{n}$ gives Serre fibration
This is related to a question posted on StackExchange: https://math.stackexchange.com/questions/4776877/left-divisor-of-a-fibration-by-compact-lie-group-is-a-fibration. The question there had received ...
- 151
4
votes
0
answers
100
views
Is the pushforward of an exponentiable fibration along an exponentiable fibration again exponentiable?
Recall that functor $p\colon \mathcal{C} \to \mathcal{D}$ of $\infty$-categories is said to be an exponentiable fibration if the following equivalent conditions hold:
The pullback functor $p^*\colon \...
- 9,306
20
votes
1
answer
820
views
Are all homotopy equivalences realized by fibrations over [0,1]?
Given two homotopy equivalent spaces $X$ and $Y$, does there always exist a Hurewicz fibration $p: E\rightarrow [0,1]$ with $p^{-1} (0) = X$ and $p^{-1} (1)=Y$?
This issue shows up in the accepted ...
- 8,568
1
vote
1
answer
621
views
Cohomology of the amplitude space of unlabeled quantum networks
I am investigating a particular map from a product of three-spheres to the moduli space of (non-negative, real edge weight) networks. The map in question is
$$f: \smash{\left( \mathbb{S}^3 \right)}^N \...
- 541
3
votes
1
answer
205
views
A fiber-like method to show equivalence of infinity categories
Suppose I have a functor of quasi-categories $f: \mathcal{C} \to \mathcal{D}$. I want to show a criterion like: "$f$ is an equivalence of $\infty$-categories if the homotopy fiber of $f$ ...
- 1,954
8
votes
2
answers
252
views
Is the fiberwise suspension of a Serre fibration a Serre fibration?
Let $\pi\colon X \rightarrow Y$ be a Serre fibration. Define $\Sigma_f\pi \colon \Sigma_f X \rightarrow Y$ be the fiberwise unreduced suspension of $\pi$. Thus $\Sigma_f X = X \times [0,1] / {\sim}$,...
- 83
2
votes
2
answers
188
views
Fibration of hyperbolic 3-manifold
A fibration of a manifold $\phi: M \to S^1$ gives rise to a short exact sequence
$$
1 \to \pi_1(N) \to \pi_1(M) = \mathbb{Z} \overset{f_\ast}{\to} 1
$$
where $N$ is the fiber.
I've heard that, if $M$ ...
- 137
10
votes
2
answers
290
views
Reference request - Fibrations between spaces of embeddings
This is a cross-post of this question from MSE.
Given topological manifolds $M$ and $N$ of the same dimension, let $\operatorname{Emb}(M,N)$ denote the subspace of $\operatorname{Map}(M,N)$ ...
- 2,154
4
votes
0
answers
108
views
Monodromy action on homogeneous spaces
If $H$ is a Lie subgroup of $G$, then there is a fibration sequence
$$
G/H\to BH\to BG.
$$
By choosing a model for $EG$ we can promote this into a fibre bundle.
My question is about how to understand ...
- 35.5k
3
votes
1
answer
187
views
Looking for examples of non-singular holomorphic foliations with compact leaves
I am looking for examples (or what is known about) of the following kind of object:
X compact Kähler manifold
F a non-singular holomorphic foliation on X (so given by a holomorphic subbundle of the ...
- 280