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 |
Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.
11
votes
Diffeomorphism group of the projective plane
It is a theorem of A. Gramain from 1973 (Annales Sci. E.N.S.) that the diffeomorphism group of the projective plane has the homotopy type of $SO(3)$, the subgroup of isometries of the standard constan …
11
votes
Accepted
Homotopy versus path-homotopy on punctured surface
The special feature of $X$, a sphere with three or more punctures, that is being used here is that the space $E(X)$ of all homotopy equivalences $X\to X$ has $\pi_1 E(X)=0$. (Here we take the identity …
8
votes
Accepted
Existence of an isotopy in Riemannian manifold
For the first question, which concerns just the smooth category without reference to metrics, the answer depends on the dimension of $M$. Before explaining this a small clarification is needed. By "a …
14
votes
Accepted
Homotopically trivial vs isotopically trivial diffeomorphisms
The quotient group $Diff_1(M)/Diff_0(M)$ is a discrete group since $ Diff_0(M)$ is a path component of $Diff(M)$, hence also a connected component since $Diff(M)$ is locally path-cconnected, and $Diff …
13
votes
Accepted
Textbook for undergraduate course in geometry
I wonder whether Igor Pak's "Lectures on Discrete and Polyhedral Geometry" might be appropriate as a textbook for an undergraduate geometry course. This is still in preliminary form, available on his …
41
votes
Parallelizability of the Milnor's exotic spheres in dimension 7
Here's another way to answer the original question. There is a theorem of Bredon and Kosinski (Annals, 1966) which says that if a manifold $M^n$ is stably parallelizable, then either $M^n$ is parallel …
22
votes
CW-structures and Morse functions: a reference request
The result you are looking for is Theorem 4.18 in "An Introduction to Morse Theory" by Yukio Matsumoto, published by AMS in 2002 (translated from Japanese). The connections between Morse functions, ha …