Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

February 1, 2006

Moerdijk on Orbifolds, III

Posted by Urs Schreiber

Here is the trascript of the second talk. (The first one was discussed here.)

As I mentioned before, most of what was said in this talk can be found in

I. Moerdijk
Orbifolds as Groupoids: an Introduction
math.DG/0203100.

I’ll try to report on more recent developments concerning loop spaces of orbiolds (loop orbifolds, actually) in a seperate entry.

We started by answering a question by Robert Helling which I forwarded to I. Moerdijk. I have reported on that in the comment section here.

Next came a discussion of some open questions in the theory of groupoid description of orbifolds. Before entering that, however, I will reproduce the discussion of another exmaple for an orbifold.

Example. There is a popular example for a non-local orbifold known as the tear drop or droplet orbifold.

Topolocically the drop orbifold is the 2-dimensional sphere, but with one singular point. In the language of local patches this is obtained as follows.

Pick any symmetric group S n and let this act on the unit disk D by permutation of the rays originating at the center of the disk. Hence D/S n looks like a cone. Glue this along its boundary to another disk D. This is the droplet.

Interestingly, the same orbifold can be expressed in terms of a global quotient by a Lie group. (Recall that a global orbifold is one of the form M/Γ where Γ is finite. However, for G Lie the space M/G is an orbifold that locally looks like U/Γ i, where Γ i are the subgroups of G that fix a given point in M.)

Namely, the tear drop is the global quotient S 3/S 1 of S 3 by S 1 with the following action of S 1 on S 3.

Identify

(1)S 3{(z 0,z 1)z 0,z 1,z 0 2+z 1 2=1}

and

(2)S 1{θθ,θ=1}

and define the action of S 1 on S 3 by

(3)θ(z 0,z 1)=(θz 0,θ nz 1),

where the n appearing here is the index of the symmetric group S n menioned above.

This example is important, because it illustrates what I. Moerdijk said is a major open problem in the theory of orbifolds in terms of groupoids:

Problem: “Is every proper étale groupoid G (Morita) equivalent to one coming from a global quotient M/G, where G is a compact Lie group acting smoothly and ‘almost freely’ (meaning that its stabilizer groups are all finite)?”

Conjecturing that the answer to this question is ‘yes’ is known as the Global Quotient Conjecture.

(Another open question which was briefly mentioned is if there is a model structure in which Morita morphisms are strictly invertible. That’s as in derived categories, but I will not try to give any more details on this issue.)

As for groups, one is interested in the classifying space BG of any groupoid G.

Given any category C, we can consider the simplicial set whose

- 0-simplices are objects of C

- 1-simplices are morphisms of C

- 2 simplices are pairs of composable morphisms in C

- and so on.

This simplicial set is called the nerve N(C) of C. (This played a major role in previous entries, for instance here or here.)

Identifying each p-simplex in the nerve of C with the standard p-simplex in n yields a topological space known as the geometric realization N(C) of the nerve of C.

We may regard any group as a groupoid with a single object. The familiar classifying spaces BG for G a group are nothing but the geometric realizations of the nerves of these groups.

(4)BGN(G).

The same formula holds, by definition, also for groupoids. So the classifying space of a groupoid is the geometric realization of its nerve.

Fine. Now we have the following

Theorem: If HϕG is an equivalence of Lie groupoids, then the map between classifying spaces which it induces

(5)BHGϕBG

is a weak homotopy equivalence.

For some purposes, one might want not to deal with BG itself, but with something closely related, namely with the classifying space of the Čech-groupoid associated to the groupoid G.

I had mentioned this beast before in a somewhat naïive way that did not care about smoothness. The more elaborate defintion of a groupoid’s Čech groupoid works as follows.

Given any groupoid G, pick a good covering 𝒰 of Obj(G) by open contractible subsets. Then define a new groupoid, called Emb 𝒰(G) as follows.

- The objects of Emb(G) are the open sets U i𝒰.

- The morphisms of Emb(G) from U i to U j are smooth functions

(6)σ:UMor(G)

from U to morphisms in G such that these morphisms go from objects in U to objects in V. More precisely, we want

(7)sσ = Id tσ = anembeddingUtσV.

Using this definition, one can give another characterization of the isotropy groups of a groupoid.

Let be a good covering of the orbifold Obj(G)πObj(G)X, such that every open set B i of the orbifold is the projection B i=π(U i) of some open set on the object space of the representing groupoid. The B i are the objects of a category of open sets, with morphsims being inclusions B iB j.

Now, a way to address the isotropy groups of G is to look at the group of automorphisms Aut Emb 𝒰(G)(U,U) of open sets in the Čech groupoid corresponding to 𝒰. More precisely, we have the following

Theorem. Let B i such that B i=π(U i). Then the map

(8)B iAut Emb 𝒰(G)(U,U)

gives a pseudofunctor from the category of open sets in to groups. (The 2-morphisms are given by inner automorphisms. See section 3.8 of the above mentioned paper for details.)


The last part of the talk was about some basic ideas concerning loop spaces of orbifolds. I think I’ll talk about that in a seperate entry.

Posted at February 1, 2006 1:28 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/734

0 Comments & 1 Trackback

Read the post Orbifold String Topology: Paths in Smooth Categories
Weblog: The String Coffee Table
Excerpt: A 2-functorial conception of Lupercio & Uribe's loop groupoid.
Tracked: February 2, 2006 11:32 AM

Post a New Comment