All Questions
45
questions
8
votes
1
answer
434
views
On the definition of stably almost complex manifold
According to Adams' paper "Summary on complex cobordism", a manifold is
stably almost-complex if it can be embedded in a sphere of sufficiently high dimension with a normal bundle which is a ...
- 757
2
votes
0
answers
94
views
lifting a family of curves to a family of sections of a vector bundle?
This is a question in obstruction theory. It should be basic but I can't find a reference.
Let's stick to the $C^\infty$ category, so all objects mentioned are smooth. Let $\pi: E \to M$ be a vector ...
- 21
1
vote
0
answers
153
views
If $X$ is a strong deformation retract of $\mathbb{R}^n$, then is $X$ simply connected at infinity?
Let $X \subseteq \mathbb{R}^n$, and assume there is a strong deformation retract from $\mathbb{R}^n$ to $X$. Is $X$ necessarily simply connected at infinity?
(Edit) Follow up question: if there is a ...
- 627
3
votes
2
answers
417
views
A question on the manifold $ \{n\otimes n-m\otimes m:n,m\in S^2,(n,m)=0\} $
Consider a manifold $ N $ defined as follows
$$
N=\{n\otimes n-m\otimes m:n,m\in S^2,\quad(n,m)=0\}\subset M^{3\times 3},
$$
where $ S^2 $ denotes the two dimensional sphere, $ (\cdot,\cdot) $ ...
- 1,167
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
2
votes
0
answers
83
views
Turning cocycles in cobordism into an inclusion or a fibering
By the classical Pontryagin-Thom construction, we know that the cobordism group $\Omega^n_U(X)$ is represented by cocyles
$$ M\hookrightarrow X\times \mathbb{R}^{2k}\rightarrow X,$$
where $M$ is a ...
- 171
5
votes
0
answers
133
views
Geometric interpretation of pairing between bordism and cobordism
In page 448 of these notes, a pairing between bordism and cobordism
$$\langle \ ,\ \rangle: U^m(X)\otimes U_n(X)\rightarrow \Omega^U_{n-m}$$
is defined as follows. Assume $x\in U^m$ is represented by $...
- 171
1
vote
0
answers
97
views
Continuity of the 1-jet prolongation map $\text{imm}(M,N)\to \text{fimm}(M,N)$
I am studying the article Immersion Theory for Homotopy theorists by Michael Weiss for my bachelor thesis. The main theorem states that the space of immersions and formal immersions between two smooth ...
- 11
1
vote
0
answers
137
views
Is $\pi_m(M) = 0$ if $\pi_m(M-X) = 0$ for a low-dimensional subset $X$?
I am doing a problem where I am stuck at this point.
Let $M$ be a connected smooth manifold of dimension $n$ and let $X$ be any subset of $M$. Assume that there is a positive integer $m$ such that $n&...
6
votes
1
answer
380
views
Do $h$-cobordism groups arise from a 'Thom-like' spectrum?
Not thinking about $h$-cobordism, one usually defines a cobordism between manifolds, realizes it is an equivalence relation, chooses an appropriate class of structured manifolds (framed, unoriented, ...
- 599
15
votes
1
answer
1k
views
Possible mistake in Cohen notes "Immersions of manifolds and homotopy theory" (version 27 March 2022)
In Theorem 2 of these notes, Ralph Cohen reformulates the main theorem of Hirsch-Smale theory merely in terms of normal bundles.
In particular, he says that if $N, M$ are two manifolds, $\dim N< ...
- 2,533
10
votes
2
answers
614
views
Homotopy properties of Lie groups
Let $G$ be a real connected Lie group. I am interested in its special homotopy properties, which distinguish it from other smooth manifolds
For example
$G$ is homotopy equivalent to a smooth compact ...
- 6,684
6
votes
0
answers
157
views
Uniqueness of normal microbundle of a smooth embedding
Suppose $M$ is a topological manifold and $\iota: N\hookrightarrow M$ be a submanifold. A normal microbundle of $N$ consists of an open neighborhood $U$ of $N$ and a retraction $\pi: U \to N$ such ...
- 803
-1
votes
1
answer
752
views
Essential simple closed curves in a torus [closed]
Definition: By a closed curve in a surface $S$ we will mean a continuous map $S^1 \to S$.
We will usually identify a closed curve with its image in $S$. A closed curve
is called essential if it is not ...
- 119
9
votes
1
answer
513
views
Oriented bordism in higher dimensions (e.g. $12 \leq d \leq 28$)
The classification of oriented compact smooth manifolds up to oriented cobordism is one
of the landmarks of 20th century topology. The techniques used there form the part of the foundations of ...
- 10.4k