Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 6666

The study of differentiable manifolds and differentiable maps. One fundamental problem is that of classifying manifolds up to diffeomorphism. Differential topology is what Poincaré understood as topology or “analysis situs”.

9 votes
Accepted

How to define relative orientation in terms of (co)homology?

Yes, if I understand the question right. Reading between the lines, I suppose that you would define an orientation of a smooth $n$-manifold $X$ to be an isomorphism $L\otimes L\to \Omega^n_X$ where $L …
LSpice's user avatar
  • 12.9k
6 votes
Accepted

Connectivity of the space of transverse vector fields

Let $F(M)$ be this space of vector fields. Let's work this out for an even-dimensional sphere $M=S^n=S^{2p}$, so $n=2p$ and $k=2p-1$. I claim that it is not rationally $3$-connected, if $n\ge 3$. This …
Tom Goodwillie's user avatar
61 votes
Accepted

Do rings of smooth functions differ from rings of continuous functions?

No. In both the smooth function ring and the continuous function ring a maximal ideal $\frak m$ consists of the functions vanishing at some point. In the smooth case $\frak m/\frak m^2$ is the cotange …
Tom Goodwillie's user avatar
3 votes
Accepted

Decomposing proper map into closed embedding and proper submersion

Yes. Choose a smooth (but not necessarily closed) embedding $i:X\to W$ where the manifold $W$ is compact, for example a sphere. Together $i$ and $f$ give a smooth map $X\to W\times Y$ that is both pro …
Tom Goodwillie's user avatar
10 votes
Accepted

Do $h$-cobordism groups arise from a 'Thom-like' spectrum?

This topic has a very different flavor from what is usually meant by cobordism. No, the correspondence between cobordism classes and homotopy classes (of a Thom space or Thom spectrum) has no analogue …
Tom Goodwillie's user avatar
14 votes
Accepted

Possible mistake in Cohen notes "Immersions of manifolds and homotopy theory" (version 27 Ma...

The statement is false in two ways. First, two immersions might not even be homotopic even though their normal bundles are both, say, trivial. Second, even if $M=\mathbb R^m$, regular homotopy classes …
Tom Goodwillie's user avatar
4 votes
Accepted

On the proof of the surgery step in Wall's book

The theorem has the hypothesis "$f$ is in this class", meaning that the embedding $f$ is in the regular homotopy class of immersions determined by $F$ together with the element of the relative homotop …
Tom Goodwillie's user avatar
13 votes
Accepted

Is a manifold-with-boundary with given interior and non-empty boundary essentially unique?

No, there are examples detected by Whitehead torsion. If $P$ is a compact connected $(n-1)$-manifold with empty boundary, then (assuming $n\ge 6$) for every element $\tau$ of the Whitehead group of $\ …
Tom Goodwillie's user avatar
2 votes
Accepted

Isotopy extension theorem: how non-unique is ambient isotopy

If I interpret the question correctly then the answer is "yes". You seem to be asking whether, if $H'$ is an isotopy satisfying the same conditions as $H$, there must be a one-parameter family of such …
Tom Goodwillie's user avatar
15 votes
Accepted

Does an oriented $S^3$ fiber bundle admit the structure of a principal $SU(2)$-bundle?

No. (The main idea here is present in Dylan Wilson's comment.) Every principal $SU(2)$-bundle over $S^2$ is trivial, because $\pi_1 SU(2)$ is trivial. But there is a nontrivial oriented bundle over $ …
Tom Goodwillie's user avatar
21 votes

Manifolds with polynomial transition maps

Brief sketch of slight simplification of Bryant's answer: Without loss of generality $\mathcal A$ is maximal with respect to the condition that all transition functions are polynomial. Now make a spa …
Tom Goodwillie's user avatar
3 votes

On a parallelizable manifold, is there always a frame satisfying $[X_i,X_j]=0$?

If $M$ is connected and non-compact of dimension $m$, then parallelizability implies that $M$ can be immersed in $\mathbb R^m$, and this implies existence of such a framing.
Tom Goodwillie's user avatar
17 votes
Accepted

Homotopy of space of immersions, Smale-Hirsch theorem

No. For example, if $M$ is a Moebius band then, at least for even $k$, $Imm(M,\mathbb R^{2+k})$ is not homotopy equivalent to $Imm(S^1\times \mathbb R,\mathbb R^{2+k})$. The latter is equivalent to …
Tom Goodwillie's user avatar
1 vote

Generalising the parametric transversality theorem to a foliation

The theorem says that if $F:M\times S\to N$ is transverse to $R$ then for almost every $s\in S$ the map $\phi_s:M\to N$ given by $m\mapsto F(m,s)$ is transverse to $R$. ($S$ being connected is irrelev …
Tom Goodwillie's user avatar
47 votes
Accepted

When is there a submersion from a sphere into a sphere?

In most cases $\pi_{n+k}(S^k)$ is a finite group, so that the homotopy fiber of any map $S^{n+k}\to S^k$ is rationally equivalent to $\Omega S^k\times S^{n+k}$ and therefore has homology in arbitraril …
Tom Goodwillie's user avatar

15 30 50 per page