Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 2nd 2012
    • (edited Jan 2nd 2012)

    I am moving the following old query box exchange from orbifold to here.

    old query box discussion:


    I am confused by this page. It starts out by boldly declaring that “An orbifold is a differentiable stack which may be presented by a proper étale Lie groupoid” but then it goes on to talk about the “traditional” definition. The traditional definition definitely does not view orbifolds as stacks. Neither does Moerdijk’s paper referenced below — there orbifolds form a 1-category.

    Personally I am not completely convinced that orbifolds are differentiable stacks. Would it not be better to start out by saying that there is no consensus on what orbifolds “really are” and lay out three points of view: traditional, Moerdijk’s “orbifolds as groupoids” (called “modern” by Adem and Ruan in their book) and orbifolds as stacks?

    Urs Schreiber: please, go ahead. It would be appreciated.


    end of old query box discussion

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2012

    I have touched the entry orbifold once more, polishing a bit:

    • moved some statements from Idea to Properties

    • reorganized and expanded Idea a bit to read more smoothly;

    • added references and pointers to references.

    (I am still far from happy with the state of this entry. But if I continue to make a tiny edit every six months of so, then maybe in a few years it will be good.)

    • CommentRowNumber3.
    • CommentAuthorStephan A Spahn
    • CommentTimeMay 4th 2012
    • (edited May 4th 2012)

    (I am still far from happy with the state of this entry. But if I continue to make a tiny edit every six months of so, then maybe in a few years it will be good.)

    Maybe we can list what is unsatisfactory in this entry.

    In the idea-section there is a statement (”There is also a notion of finite stabilizers in algebraic geometry. A singular variety is called an (algebraic) orbifold if it has only so-called orbifold singularities. ”) without reference.

    Maybe one could emhasize that to give some reasonable 2-catgory (Lerman mentions that in no case there is a reasonable 1-category of them) of orbifolds requires to take the spans called morita morphisms as morphisms; the same is true for Lie groupoids in general (Hilsum-Skandalis). This somehow seems to be a genuine nlab topic!

    Moreover I dont’t know what makes orbifolds categorially interesting since the presentation of orbifolds by proper étale smooth groupoids divides the focus into two different subjects of study and I didn’t yet notice what precisely distinguishes stacks presented by this combination of properties from others ”out there”.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2012
    • (edited May 4th 2012)

    Hi Stephan,

    right I should have been more explicit. Here some things that deserve to be improved:

    1. As you notice, the discussion of the relation to algebraic and other kinds of “geometric stacks” needs a section all of its own with a systematic discussion.

    2. The issue of what kind of category or 2-category orbifolds form and the emphasis on Morita morphisms is maybe of historical interest, but should not dominate the conceptual discussion. It is clear that the natural thing to consider is the full sub-(2,1)-category on objects equivalent to orbifolds in the (2,1)-topos Sh 2(SmthMfd)Sh_2(SmthMfd) or equivalently in Sh (SmthMfd)Sh_\infty(SmthMfd) Period. Everything else is a corollary of this. The fact that morphisms in Sh 2(SmthMfd)Sh_2(SmthMfd) can be presented by “Morita morphisms” of Lie gorupoids should be (and partly is, I think) dealt with in the entry Lie groupoid and need not be re-iterated here. It only makes a simple concept sound involved and awkward.

    3. The paragraph on orbifold cohomology has no links to anything and needs more context. This should eventually be systematically embedded into the general discussion of cohomology, homotopy, etc. of smooth infinity-groupoids, as discussed there. Somehow the entry defeats its own assertions if it starts out saying “an orbifold really is just” only to then behave as if one needs lots of special notions for orbifolds. No, the entry should explain how all these special notions considered in the literature are but special case of general simple concepts for smooth higher groupoids.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeMay 14th 2012
    • (edited May 14th 2012)

    3: Stephan, I do not know the reference, but it is often heard and used. Why would be quoting infinity stacks without a reference be more unsatisfactory than to quote a striking geometric fact that knowing the singularities determines the orbifold structure in algebraic setup. Of course here only the effective orbifolds are meant, what used to be the classical generality; it is definitely not true for noneffective. I am not competent to defend the precise statement, and know it as a folklore.

    I do not understand the unanonymous complaints listed in 1. Yes, one should look at 2-category of stacks. While the precise conditions in the case of differentiable version are clarified by Moerdijk, in algebraic situation the stack version is of prevalent usage and “everybody knows” there that geometrically stacks are usually presented by groupoids; but stack is more fundamental point of view than groupoid presentation (e.g. stack does not need further equivalence relation).

    I afree with Urs 4.

  1. I do not know the reference, but it is often heard and used. Why would be quoting infinity stacks without a reference be more unsatisfactory than to quote a striking geometric fact that knowing the singularities determines the orbifold structure in algebraic setup.

    I would tend to require references in particular for statements or terminology which is not in the primary scope of the nlab. It is quite easy to find out within the nlab what an infinity-stack is but the word ”orbifold singularity” is not explained here.

    Of course here only the effective orbifolds are meant, what used to be the classical generality; it is definitely not true for noneffective.

    I guess this is no longer the standard. For example Eugene Lerman in ”orbifolds as stacks?” requires just étale- and properness. He remarks to Satake’s definition(s):

    ”The group actions were required to be effective (and there was a spurious condition on the codimen- sion of the set of singular points). The requirement of effectiveness created a host of problems: there were problems in the definition of suborbifolds and of vector (orbi-)bundles over the orbifolds. A quotient of a manifold by a proper locally free action of a Lie group was not necessarily an orbifold by this definition.”

    • CommentRowNumber7.
    • CommentAuthorStephan A Spahn
    • CommentTimeMay 15th 2012
    • (edited May 15th 2012)

    I added a definition section at orbifold saying just that it is a stack presented by an orbifold groupoid such that the reader can customize the definition to his individual preferences.

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 15th 2012

    Note that people don’t only study smooth orbifolds, but algebraic and topological. It is the properness and etale-ness of the groupoids that is important, as these have (sometimes exact) analogues in categories other than ManifoldsManifolds.

    (Also we need to distinguish between effective and non-effective orbifolds. I’m going to bed now else I’d do it (-: )

    • CommentRowNumber9.
    • CommentAuthorStephan A Spahn
    • CommentTimeMay 15th 2012
    • (edited May 15th 2012)

    Note that people don’t only study smooth orbifolds, but algebraic and topological. It is the properness and etale-ness of the groupoids that is important, as these have (sometimes exact) analogues in categories other than ManifoldsManifolds.

    I gave pointers in this direction in the idea-section of orbifold groupoid.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeMay 16th 2012

    I would tend to require references in particular for statements or terminology which is not in the primary scope of the nlab.

    Orbifold is a notion quite close to the center of the scope of nLab. It is among the MAIN examples of stacks, it is used widely in mathematical physics and geometry, both of which drive many of us here, especially e.g. Urs, John, David Roberts and me. Finally, if some thing is NEW in the nLab, it is more logical to expect that it starts with lower criteria, and that the higher criteria of polishness be achieved at a LATER stage. Also if on some entry, notion or theorem MANY people work it will be easier to them to make it satisfactory than for a single person, so it is again against common sense to require more from more isolated efforts. Finally, your level of liking of some math or theorem should not discriminate on other’s contributor’s feeling on how to contribute.

    Finally I agree that infinity stacks are easier to find, but it is harder to use and understand for most of nLab users, including some of the regular contributors. It is a language which is theoretically both powerful and demanding. There are hundreds of mathematicians who silently use nLab, and most of them do not speak infinity stacks, while speak more classical notions.

    David: there are also noncommutative orbifolds, especially in mathematical physics literature.

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 28th 2016

    I added a reference to Adem-Leida-Ruan 2007 to orbifold for the statement that every orbifold is the quotient of an effective almost free action of a compact Lie group on a manifold.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2018
    • (edited Nov 13th 2018)

    am adding references:


    Survey of basic orbifold theory:

    • Adam Kaye, Two-Dimensional Orbifolds, 2007 (pdf)

    • Joan Porti, An introduction to orbifolds, 2009 (pdf)

    • Daryl Cooper, Craig Hodgson, Steve Kerckhoff, Three-dimensional Orbifolds and Cone-Manifolds (pdf)

    On orbifolds with Riemannian metric and as singular limits of Riemannian manifolds (such as metric cones):

    diff, v50, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeDec 8th 2018

    added pointer to

    diff, v53, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeDec 8th 2018

    Has anyone see an account that would discuss curved Riemannian manifolds as limits of flat orbifolds in a limit where the “density of orbifold singularities” grows large?

    So there are lots of accounts that consider singular limits of Riemannian manifolds as orbifolds, with one or a handful singularities where the manifolds degenerate. But here I a wondering about a different kind of limit:

    Something that looks like a curved Riemannian manifold on large scales, but as one zooms in one sees that the curvature is not evenly spread out, but carried by a “gas of curvature singularities”. If you see what I mean.

    Has anyone looked into this?

    • CommentRowNumber15.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 11th 2018

    How do you mean? Take a 2-sphere. Would a case be ever finer triangulations? Vertices there would provide the overall curvature.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeDec 12th 2018
    • (edited Dec 12th 2018)

    Yes, that’s exactly the kind of example that I have in mind: Like triangulations, but such that the result is a flat orbifold, with each vertex an orbifold singularity.

    It seems non-trivial to me to see that any given triangulation admits the structure of a flat orbifold, but maybe I am missing something.

    In computer graphics they talk about “Orbifold Tutte embeddings” (Aigerman-Lipman 15 web) and the graphics they show as well as their use of the word “orbifold” suggests that they do realize fairly arbitrary triangulations of surfaces as (flat?) orbifolds. But I am not sure if they really mean orbifolds in the standard mathematical sense. Even if, they don’t seem to be after compact flat orbifolds, but after orbifold structures on bounded domains in the plane.

    But their pictures at least express the idea that I am asking for: Can we speak of a version of Riemannian geometry which looks like ordinary smooth Riemannian geometry to arbitrary accuracy on large enough scales, but which on small scales is really given by flat orbifolds.

    • CommentRowNumber17.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 12th 2018

    Have to be doing something else, but when Milnor speaks of classifying “all possible flat orbifold structures on the Riemann sphere” on p. 11 here, concluding that there are four types, doesn’t the mean the answer to your question is ’No’?

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeDec 12th 2018

    I guess here you are thinking of the classification of compact flat 2-dimensional orbifolds here. Right, there is only few of them (four) and they have only a handful of singularities. So in 2d and for compact orbifolds there is not much going on. But relaxing these conditions, there should be more. I’d be interested in dimension d=10 and not necessarily a compactness condition.

    In any case, I suppose my question is now sufficiently clear. If anyone sees any literature vaguely in this direction, please drop me a note.

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2019
    • (edited Jan 6th 2019)

    I am still trying to figure out the extent to which the following statement is true, and the extent to which this is known in the literature:

    Statement: For nn \in \mathbb{N} there exists an nn-dimensional flat orbifold whose underlying topological space is the nn-sphere.

    (For n=2n=2 this is classical: There is the pillowcase and three other orbifolds of this kind (here)).

    One way to show existence should be to exhibit the nn-torus as a branched cover over the nn-sphere, such that the action of the group of deck transformations is smooth. In this case the global homotopy quotient of the nn-torus by this group should be the desired flat spherical orbifold.

    Moreover, for the action of the group of deck transformations of the branched cover to be smooth, it should be sufficient that the singular locus of the branched cover is itself smooth. (Right?)

    I was hoping to extract just this statement, for n=4n = 4, from

    but I am still unsure about the intended precise definitions of some of the technical assumptions there. However, p. 30 of

    • Alain Connes, Geometry and the Quantum, Foundations of Mathematics and Physics One Century After Hilbert. Springer 2018. 159-196 (arXiv:1703.02470)

    asserts exactly that this is what Iori-Piergallini prove. So it looks like it should be right.

    [edit:
    ah, footnote 5 in arXiv:1411.0977 has more on the issue of parsing the result of Iori-Piergallini:

    This theorem is stated in the PL category but, as confirmed to us by R. Piergallini, it holds in the smooth category due to general results PL=Smooth in 4-dimensions.

    ]

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2019

    made this an MO question, here

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeJan 13th 2019
    • (edited Jan 13th 2019)

    Just trivia:

    I am looking for more nice graphics illustrating orbifolds, preferably Euclidean orbifolds.

    Besides the hand-drawn graphics currently in the page, most of what I keep seeing people have is either simplistic examples of cones (deficit angles) or some variant of a computer rendering of the Kummer orbifold.

    Is there more/better graphics available? If anyone further pointers, please drop me a note.

    • CommentRowNumber22.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 13th 2019

    Something from Thurston or his school? I haven’t looked, but I know he was into visualisation in a big way.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJan 13th 2019

    Right, in Thurston’s text (pdf) there is plenty of nice graphics. Somehow I am looking for something else, though, more like the Kummer orbifold graphics, say on p. 4 here.

    • CommentRowNumber24.
    • CommentAuthorAlizter
    • CommentTimeJan 13th 2019

    @Urs you might have better luck in algebraic geometry literature. Especially things on toric varieties. I remember seeing lots of graphics like that.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeJan 13th 2019
    • (edited Jan 13th 2019)

    I have added graphics of the Kummer orbifold from Snowden11 here.

    But to be frank, I am a little unsure how to read the graphics. What’s those boundary-like-looking circles? Is a point on the circle a stand-in for an S 2S^2?

    (Maybe I should in fact remove the graphics until that’s clarified.)

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeMar 22nd 2019

    made “effective” (for effective orbifolds) link to effective group action, and cross-linked back

    diff, v60, current

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeMay 16th 2019

    and doi-s and more publication data to some references (Satake, Lerman, …)

    diff, v61, current

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeMay 17th 2019

    added more references on orbifolds in string theory, and added pointer to Orbifolds in Mathematics and Physics

    diff, v62, current

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2019

    added pointer to

    diff, v64, current

    • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2019
    • (edited May 29th 2019)

    am adding references on orbifolds regarded as naive local quotient diffeological spaces:

    diff, v65, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)