Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
started a section on the homotopy type of the diffeomorphism group and recorded the case for closed orientable surfaces
added a few more facts under Homotopy type and mapping class group, all taken from Hatcher’s review (pdf), also dug out some of the references (unfortunately no citation detail in that review).
Is there a more recent/more comprehensive such review? Textbook account? (Unfortunatley Hatcher’s review is not dated.)
There’s 2012 in the URL.
And on his homepage it says
A talk at the 50th Cornell Topology Festival in May 2012 sketching some highlights of what’s known about the homotopy types of diffeomorphism groups of smooth manifolds. A full history would of course be impossible in an hour talk.
Ah. Should have seen that. Thanks! Am adding it now…
I have added the following pointers, claiming dis-proof of the analogue of the Smale conjecture in 4d:
Tadayuki Watanabe, Some exotic nontrivial elements of the rational homotopy groups of Diff(S4) (arXiv:1812.02448)
Tadayuki Watanabe, Addendum to: Some exotic nontrivial elements of the rational homotopy groups of Diff(S4) (homological interpretation) (arXiv:2109.01609)
added pointer to today’s
Was there somewhere in the nLab a discussion of the stack X//Diff(X) (and maybe its geometric realization given the results listed in this page for 2d surfaces), or am I imagining this?
I was recently talking about π1Maps(Σ,S2)⫽π0Diff(Σ), for Σ a surface. Maybe that’s what you saw.
Parts of this discussion is at 2-Cohomotopy moduli of surfaces, more discussion is on pp. 21 in Engineering of Anyons on M5-Probes.
Hmm, I don’t recall this, actually. What I had in mind was something more along the lines of Section 5.3 in this paper by Hořava. But it seems the second thing you mentioned is related?
Alternatively, the expression Σ⫽Diff(Σ) plays a central role in the discussion general covariance – in HoTT.
Yes, I think that is more along the lines of what I remembered, thanks.
Are there any concrete results concerning diffeomorphism (higher) groups of orbifolds? Say a concrete presentation for 2d orbisurfaces or similar?
The mapping class group π0Diff(Σ) (the connected component group of the group of diffeomorphisms) for orbi-surfaces Σ was recently discussed in:
Jonas Flechsig: Braid groups and mapping class groups for 2-orbifolds, PhD thesis Bielefeld (2023) [doi:10.4119/unibi/2979933]
Jonas Flechsig: Mapping class groups for 2-orbifolds [arXiv:2305.04272]
Jonas Flechsig: Braid groups and mapping class groups for 2-orbifolds [arXiv:2305.04273]
Added the statement (here) that the connected components of diffeomorphism groups of compact smooth surfaces with boundary, fixing the boundary pointswise, is contractible.
Together with pointer to:
added pointer to
which seems to go a long way towards completing the proof of what is claimed as Thm. 1.14 (p. 43) by Farb & Margalit 12 (who do not provide,as far as I can see, references for the claimed situation with punctures).
1 to 16 of 16