Questions tagged [orbifolds]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
30 votes
4 answers
5k views

What is meant by smooth orbifold?

There seems to be some confusion over what the tangent space to a singular point of an orbifold is. On the one hand there is the obvious notion that smooth structures on orbifolds lift to smooth $G$-...
AndrewLMarshall's user avatar
3 votes
1 answer
342 views

Proper and etale groupoid is locally a translation groupoid

I am reading Orbifolds as Groupoids: an Introduction by Ieke Moerdijk. In page $8$ when explaining local charts, it says the following : Let $\mathcal{G}$ be a Lie groupoid. For an open set $U\...
Praphulla Koushik's user avatar
16 votes
10 answers
3k views

Orbifold fundamental group in terms of loops?

In chapter 13 in his notes on 3-manifolds, Thurston defines the orbifold fundamental group to be the group of deck transformations of the universal cover of the orbifold. He also makes a statement "...
j.c.'s user avatar
  • 13.5k
10 votes
2 answers
3k views

Euler characteristic of orbifolds

Hello, Suppose $M$ is a compact oriented smooth manifold and $G$ is a finite group acting on it. Then it is well-known, although I have yet to find a proof or derivation of it, that the (normal ...
miramo's user avatar
  • 515
8 votes
4 answers
815 views

Conditions for underlying space of an orbifold $\Bbb T^n/\Gamma$ to be a sphere?

Given a $n$-dimensional torus, is it always possible to find a discrete action to produce an orbifold such that its underlying space is the $n$-dimensional sphere? Or does it only happens for specific ...
arivero's user avatar
  • 437
24 votes
3 answers
2k views

What tools cannot work for orbifolds?

Consider all of your basic constructions/tools/theorems for manifolds: fundamental group, Euler characteristic, triangulations, orientation, smoothness, bundle structure, cobordisms, etc.. Viewing ...
Chris Gerig's user avatar
  • 17.1k
24 votes
5 answers
5k views

How should one understand orbifold fundamental groups?

I am studying orbifold fundamental group (or more generally orbifold homotopy groups). In a nutshell, my questions is: what are they intuitively? In what follows I give definitions and more precise ...
Michel's user avatar
  • 375
23 votes
2 answers
1k views

Is every rational realized as the Euler characteristic of some manifold or orbifold?

Let me first ask the question for two-dimensional compact, connected manifolds and orbifolds. Then, if the answer is No, one can remove various conditions on the dimension, and allow non-compact ...
Joseph O'Rourke's user avatar
22 votes
2 answers
2k views

What is an example of an orbifold which is not a topological manifold?

In Thurston's book The Geometry and Topology of Three-Manifolds it is proven that the underlying space of a two-dimensional orbifold is always a topological surface. Are there any easy examples of ...
user88649's user avatar
  • 271
17 votes
1 answer
2k views

Homotopy theory of topological stacks/orbifolds

Motivation $\newcommand{\T}{\mathscr{T}}$ I have many times found myself saying some variant of the following. Let $\T_g$ be the Teichmüller space of a surface of genus $g$, and $\Gamma_g$ its ...
Dan Petersen's user avatar
  • 39.1k
9 votes
1 answer
678 views

Duality between orbifold and quasi-Hopf algebra (twisted quantum doubles)

A quick Question: Is there some duality known between the quasi Hopf algebra $D^\omega(H)$ of a finite group $H$ to an orbifold model (such as SU(2)/$G$ or SO(3)/$G$ orbifold of some group $G$)? What ...
wonderich's user avatar
  • 10.3k
8 votes
3 answers
1k views

Is the Čech cohomology of an orbifold isomorphic to its singular cohomology?

Let $\mathcal{O}$ be a finite-dimensional, paracompact, Hausdorff, smooth (and compact, if it helps) orbifold. Is there an isomorphism between the real Čech cohomology and singular cohomology of the ...
Caramello's user avatar
  • 382
7 votes
2 answers
864 views

Is there a topological Chevalley-Shephard-Todd Theorem?

Is the following true: For a representation of a finite group $G$ on $\mathbb{C}^n$, the quotient $\mathbb{C}^n/G$ is a topological manifold if and only if $G$ is generated by pseudo-reflections. ( ...
Nico Bellic's user avatar
4 votes
1 answer
533 views

Intrinsic Characterization of when an orbifold (or more general stack) is effective?

Recall that an orbifold is an etale and proper differentiable stack $X$. Etale means that it admits an etale atlas $M \to X$ from a manifold $M$ (which is to say it is represented by an etale Lie ...
David Carchedi's user avatar
3 votes
2 answers
303 views

Necessity/Motivation for generalised homomorpisms

I am reading Ieke Moerdijk's article "Orbifolds as Groupoids : an Introduction". In that notes author defines a notion of generalized map between Lie groupoids. Let $\mathcal{G}$ and $\mathcal{H}$...
Praphulla Koushik's user avatar