dg.differential geometry - Special map from a manifold to GL_n(R)?

The question can be interpreted to ask, given a diffeomorphism $phi:M to N$, what topological information in its derivative, interpreted as a bundle map? If the bundle map is used carefully, the answer is that there is a lot of information. There is a principle that, in dimension $n ne 4$, there is enough information to completely tell when a homeomorphism can be improved to a diffeomorphism. That is a hard result if you are comparing PL homeomorphisms to diffeomorphisms, and a very hard result if you are comparing topological homeomorphisms to diffeomorphisms. It is easier to sketch that in principle you get important obstructions to smoothing a homeomorphism. The obstructions exist in all dimensions, the only difference being that in dimension 4 they aren't everything.

Suppose that $M$ and $N$ are smooth $n$-manifolds, or topological $n$-manifolds, or PL $n$-manifolds, and $phi$ is an equivalence. Then in all of these cases, $phi$ has a formal "derivative" that is locally a germ of a (continuous, PL, or smooth) homeomorphism. The "derivative" is a map between "tangent" bundles (which are actually most natural as microbundles) to match the germ picture, rather than ordinary fiber bundles. If you're afraid of germs (who isn't), a germ is no more than an equivalence class of local maps: Two local maps are the same if they agree on a neighborhood. The germ derivative of a map is basically a fake, tautological derivative.

On the other hand, the group $text{Diff}(n)$ of germs of diffeomorphisms that fix the origin is homotopy equivalent to the true derivative group $GL(n,mathbb{R})$, which is homotopy equivalent to the orthogonal group $O(n)$. The other two groups of germs are called $PL(n)$ and $TOP(n)$.

Now suppose, to take the best-behaved case, that $phi$ is a PL homeomorphism between two smooth manifolds $M$ and $N$ with smooth triangulations. It has a formal derivative $Dphi$ that is a map between tangent $PL(n)$ microbundles. You could ask, roughly speaking, whether you can homotop $Dphi$ to make it a true smooth derivative in the available $text{GL}(n,mathbb{R})$ bundle, or equivalently an $O(n)$ bundle. This is a necessary condition to be able to improve $phi$ itself to a diffeomorphism. The more subtle result is that it is also a sufficient condition. In this sense, the relative homotopy theory $PL(n)/O(n)$ exactly measures the non-uniqueness of smooth structures on manifolds. (I learned about this stuff from Rob Kirby, but it looks like it is covered in some form by Jacob Lurie.)

There is an older situation in which the derivative of a map gives you an obstruction to something, and it turns out to be the only obstruction. Namely, if $M$ is a smooth $n$-manifold, you can ask whether it immerses in $mathbb{R}^k$; or you could ask whether two immersions are equivalent through an isotopy of immersions. Clearly if $phi:M to mathbb{R}^k$ is an immersion, the homotopy type of the derivative $dphi$ (among maximum rank choices) is an invariant of $phi$, and clearly there is no immersion if there is no available homotopy class. The theorem of Smale and Hirsch is that these are the only obstructions to existence and equivalence of immersions, unless $M$ is closed and the dimensions $n$ and $k$ are equal. This theorem is illustrated very nicely in the math movie Outside In.

Another way to say it is that you can formaly weaken both questions by decoupling maps from their derivatives, but still get the correct answer.

• Next big list - Undergraduate Level Math Books
• Previous higher category theory - The Yoneda Lemma for (oo,1)-categories?