Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Can anything be said about connectedness of a smooth manifold M from some property of Diff(M) in an analogous way Like C(X) has no idempotents iff X is connected.

share|improve this question
    
I guess the question is a bit vague. Is Diff(M) the subsheaf of C(M) of smooth functions on M? Clearly, if Diff(M) has non-trivial idempotents, so has C(M). Are you asking for the converse? –  Stephan Müller Feb 18 '13 at 15:13
    
i am asking both way –  Koushik Feb 18 '13 at 15:39
    
i don't see why Diff(M) should be a subsheaf of C(M). –  Koushik Feb 18 '13 at 15:44
1  
What is Diff(M) here? The notation is usually used to denote the group of diffeomorphisms, but then Stephan's comment is weird. –  Mariano Suárez-Alvarez Feb 18 '13 at 16:29
2  
$Diff(M)$ is the group of diffeomorphisms, and the question is how properties of $Diff(M)$ reflect in topological properties of $M$. –  Alain Valette Feb 18 '13 at 16:53
add comment

2 Answers 2

up vote 14 down vote accepted

Let $M$ be a compact oriented manifold. The following hold if and only if $M$ is connected.

1) $\text{Diff}_0(M)$ is simple.

This was proven by Thurston if $M$ is connected; see

MR1445290 (98h:22024) Banyaga, Augustin(1-PAS) The structure of classical diffeomorphism groups. (English summary) Mathematics and its Applications, 400. Kluwer Academic Publishers Group, Dordrecht, 1997. xii+197 pp. ISBN: 0-7923-4475-8

If $M$ is not connected, then $\text{Diff}_0(M)$ contains normal subgroups consisting of elements that fix some connected components and don't fix others.

2) $\text{Diff}_0(M)$ does not decompose as a direct product.

If $M$ is the disjoint union of submanifolds $M_1$ and $M_2$, then it is clear that $\text{Diff}_0(M) = \text{Diff}_0(M_1) \times \text{Diff}_0(M_2)$.

If $M$ is connected, then one can show that $\text{Diff}_0(M)$ does not decompose as a direct product by exhibiting elements $f \in \text{Diff}_0(M)$ whose centralizers consist only of $\langle 1, f, f^2, \ldots \rangle$. There are many such constructions; for instance, see

MR0985855 (90i:58151a) Palis, J.(BR-IMPA); Yoccoz, J.-C.(F-POLY) Rigidity of centralizers of diffeomorphisms. Ann. Sci. École Norm. Sup. (4) 22 (1989), no. 1, 81–98.

A famous conjecture of Smale says that such elements should in fact be generic. This was recently proven by Bonatti-Crovisier-Wilkinson for $C^1$ diffeomorphisms; see

MR2511588 (2010g:37035) Bonatti, Christian(F-DJON-IM); Crovisier, Sylvain(F-PARIS13-AG); Wilkinson, Amie(1-NW) The C1 generic diffeomorphism has trivial centralizer. (English summary) Publ. Math. Inst. Hautes Études Sci. No. 109 (2009), 185–244.

share|improve this answer
2  
For part 2, only if $M$ and $N$ are not diffeomorphic. –  Will Sawin Feb 18 '13 at 18:03
3  
Part 1, only if all connected components of $M$ are compact, or if you consider the connected component of the group of diffeomorphisms with compact support. –  Peter Michor Feb 18 '13 at 18:11
3  
@Will Sawin : I don't think this is a problem since I restricted myself to the connected component of the identity in $\text{Diff}(M)$; such elements cannot permute the components around (which is the problem I think you were referring to). I spent a little time before writing this trying to come up with a clean formulation of what happens to $\text{Diff}(M)$ when some components are diffeomorphic. I couldn't find one, so I took the easy way out. –  Andy Putman Feb 18 '13 at 20:14
1  
@Peter Michor : Good point, I was assuming implicitly that everything was compact anyway. I'll add that assumption to the answer. –  Andy Putman Feb 18 '13 at 20:15
add comment

$M$ is connected if and only if the connected component of $Diff(M)$ (equivalently, of $Diff_c(M)$) acts transitively on $M$.

Edit: I just remembered, that the Lie algebra of compactly supported vector fields determines the base manifold up to diffeomorphism, see: MR0064764 (16,331a) Reviewed Shanks, M. E.; Pursell, Lyle E. The Lie algebra of a smooth manifold. Proc. Amer. Math. Soc. 5, (1954). 468–472.

This is also true for larger Lie algebras, and for complex Stein manifolds, see: MR0516602 (80g:57036) Reviewed Grabowski, J. Isomorphisms and ideals of the Lie algebras of vector fields. Invent. Math. 50 (1978/79), no. 1, 13–33.

Moreover, the group of compactly supported diffeomorphisms determines the base manifold completely, but I cannot find the relevant paper now.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.