Search Results
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 differential-topology
Search options answers only
not deleted
user 10366
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”.
7
votes
Accepted
Intersection of non transverse submanifolds
Let $M$ be any manifold, and let $Z$ be a closed subset of $M$. Suppose there exists a smooth function $f:M\to\mathbb{R}$ with $f^{-1}\{0\}=Z$. We can then take $X=M\times\mathbb{R}$ and identify $M …
47
votes
How can there be topological 4-manifolds with no differentiable structure?
Let's try doing this with a compact, closed, connected $1$-manifold $M$. Certainly I can choose a topological embedding $f:M\to\mathbb{R}^2$. However, the image might be very fractal, like a Koch sn …
11
votes
Accepted
Analytic maps in homotopy classes
This is always true. The Morrey-Grauert theorem says that $M$ has a real-analytic embedding in Euclidean space, so real-analytic functions $M\to\mathbb{R}$ separate points, so they are dense in the a …
6
votes
Treating the Connected Sum (and other constructions) as a Push-out
I don't think it is true that this kind of construction is a pushout in the smooth category. Consider the function $f:\mathbb{R}\to\mathbb{R}$ given by $f(x)=|x|$. This is smooth on $(-\infty,0]$ an …
6
votes
Accepted
Submersions of closed manifolds
Let $F$ be the homotopy fibre of $f$ (ie the space of pairs $(x,u)$, where $x\in M$ and $u$ is a path from $f(x)$ to a specified baspoint in $N$). If $f$ is homotopic to a submersion $f'$, then (usin …
0
votes
Singular fibers of generic smooth maps of negative codimension
No, this isn't right. Take $N=\mathbb{R}^n$ and $M=\{(v,L):v\in L\in \mathbb{R}P^{n-1}\}$ and $f(v,L)=v$. Here $M$ is a one-dimensional vector bundle over $\mathbb{R}P^{n-1}$ and so has dimension $n …
8
votes
Accepted
Does the projectivization of a vector bundle have sections?
I'll assume you're asking about sections of $PE$. The bundle $E$ has Chern classes $c_i(E)\in H^{2i}(X)$ and thus a Chern polynomial $f_E(t)=\sum_{i=0}^nc_{n-i}(E)t^i$, where $n=\dim(E)$. A section …
19
votes
Accepted
On the fundamental group of a finite CW complex
Let $X$ be a CW-complex, and write $X_k$ for the $k$-skeleton. The cellular approximation theorem says that any based map $S^1\to X$ is homotopic to a cellular map, and that any two cellular maps tha …
6
votes
Accepted
Eilenberg-Zilber-type theorem for good fiber products?
There are fibrations
\begin{align*}
F \to X & \to B \\
G \to Y & \to B \\
F\times G \to X\times_B Y & \to B \\
F\times G \to X\times Y & \to B\times B \\
F \to X\times_BY &\to Y \\
G \to X\times …
8
votes
Accepted
How to classify continuous/differentiable maps from $T^2$ to $U(N)$?
You are asking about the structure of the set $M=[T^2,U(N)]$ of homotopy classes of maps from $T^2$ to $U(N)$. The functor $H_1$ gives a map $M\to\text{Hom}(H_1(T^2),H_1(U(n)))$, and standard calcula …
2
votes
How to extend an equivariant map from a compact Lie group
First, if I understand your conventions correctly, the thing that you are interested in can be described as $\text{Map}_P(X,Y)$, where $P=C_G(g)$ and $X=G/H$ (considered as a $P$-space by left multipl …
8
votes
Accepted
smooth manifolds as real algebraic set (continued)
It isn't too easy to find good equations for surfaces as algebraic subspaces of $\mathbb{R}^3$, but if you are willing to use $\mathbb{R}^n$ for larger $n$ then the picture is clearer. There are stan …
13
votes
Classification of fibrations $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$
I'll assume that $1\leq k<d$, the other cases being easy. Then the long exact sequence of homotopy groups shows that $B$ is simply connected, so we have a Serre spectral sequence with untwisted coeff …
8
votes
Spin bordism group of classifying space $BG$ with a finite Abelian $G$
The paper of Anderson, Brown and Peterson also shows that the localisation of the spectrum $MSpin$ splits as a wedge of suspensions of the real connective $K$-theory spectrum $kO$ and various closely …
10
votes
Accepted
A map of spaces implementing the Pontryagin Thom collapse map? (collapse maps in families)
The right framework of definitions is as follows.
You have a space $E=\text{Emb}(M,\mathbb{R}^n)$ of smooth embeddings, topologised in a way that respects all derivatives. In more detail, we give $ …