The orbifolds tag has no usage guidance.

**23**

votes

**2**answers

930 views

### Cobordism of orbifolds?

Is it possible to setup classical cobordism theory in the context of orbifolds? For example, let's consider the free abelian group generated by oriented smooth orbifolds and quotient by those which ...

**22**

votes

**4**answers

3k 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 ...

**22**

votes

**2**answers

1k views

### Is there a Chern-Gauss-Bonnet theorem for orbifolds?

There's a Gauss-Bonnet theorem for compact 2-orbifolds(due to Satake, I think), which gives a relation between the curvature of a Riemannian orbifold and the orbifold topology(i.e. taking into account ...

**20**

votes

**3**answers

946 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 ...

**17**

votes

**5**answers

2k 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 ...

**16**

votes

**2**answers

537 views

### why most of the angles are right

The Coxeter–Dynkin diagrams tell us that in a spherical Coxeter simplex most of the dihedral angles are right. Say among $\tfrac{n{\cdot}(n+1)}2$ dihedral angles we can have at most $n$ angles which ...

**13**

votes

**1**answer

856 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 ...

**10**

votes

**8**answers

2k 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 ...

**9**

votes

**3**answers

1k views

### Groupoids vs Pseudogroups

(Warning: I'm not an expert in the topic) Let's work in a "geometric" category, for example the category $\mathfrak{Diff}$ of "manifolds" (without the requirements of connectedness and second ...

**9**

votes

**1**answer

639 views

### Orbifold fundamental group and configuration space

I'm not very familiar with (even simple examples of) orbifolds, so my first question is:
Let $C_2$ be $\mathbb{C}$ with one cone singularity at 0 of index 2. What is the fundamental group of $C_2$ ...

**8**

votes

**1**answer

1k views

### Why isn't the orbifold cohomology of $pt/G$ equal to the cohomology of $BG$?

The classifying space of a group $G$ is given by taking a contractible space $E$ equipped with a free $G$-action, and looking at the quotient, which we dub $BG$. The homotopy type of this space (and ...

**8**

votes

**2**answers

1k 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 ...

**8**

votes

**1**answer

426 views

### tangent bundles of orbifolds

Hello,
I want to take a unit $n$-ball $B_n$ and quotient it by some subgroup $G \subset \mathbb{Z}_2^n$.
Here is a sketch of the construction: take the obvious inscribed $n$-hypercube of $B_n$; we ...

**7**

votes

**3**answers

378 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 ...

**7**

votes

**1**answer

301 views

### 3-orbifolds with a Seifert geometry that are not actually Seifert fibered

It is well-known that Seifert fibered $3$--manifolds are geometric: they admit one of the Thurston geometries $S^2 \times R$, $R^3$, $H^2 \times R$, $S^3$, $Nil$, and $PSL(2,R)$. Furthermore, the ...

**7**

votes

**2**answers

506 views

### What is a good reference (preferably thorough) for the Derived Category of a scheme/orbifold/stack?

I've sort of circled around the idea of derived categories a few times, read a few introductory papers ("Derived Categories for the working mathematician", e.g.), and feel now that this is something ...

**7**

votes

**2**answers

397 views

### Orbifolds vs. branched covers

Forgive me if this is a basic question. I'm just learning about orbifolds, and covering spaces are my happy place for thinking about group actions.
If $M$ is a manifold and $G$ is a group acting ...

**7**

votes

**1**answer

335 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 ...

**6**

votes

**5**answers

399 views

### A terminological question concerning orbifolds.

The notion of orbifold is quite well established by now. I would like to ask how one should call a point of an orbifold with non-trivial stabilizer? Should one call this a singular point? Of something ...

**6**

votes

**2**answers

631 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.
( ...

**6**

votes

**1**answer

181 views

### Orbit spaces of crystallographic groups

In their paper "On Three-Dimensional Space Groups", Conway et al. write
Although this paper was inspired by the orbifold concept, we did not need to consider the 219 orbifolds of space groups ...

**6**

votes

**2**answers

302 views

### how to construct a $C^\infty$ stack from a holomorphic stack

Given a complex manifold, you can `weaken' its structure to give a smooth manifold. Is there an analogous construction that constructs a stack over the category of smooth manifolds from a stack over ...

**6**

votes

**1**answer

413 views

### Stable homotopy theory of orbifolds

Is there a notion of stable homotopy, spectrum, or a stable homotopy category which corresponds to orbifolds and orbispaces, in the same way that classical stable homotopy theory corresponds to ...

**5**

votes

**1**answer

650 views

### What is the intuition inertia orbifold (or stack)?

I am studying orbifolds with view towards Chen-Ruan cohomology. I have been struggling with inertia orbifolds but have no intuition about them at this point. I would appreciate your motivating me by ...

**5**

votes

**1**answer

359 views

### Diffeomorphism groups of orbifolds

A lot is known about geometric and topological properties of diffeomorphism groups of surfaces (here, I am mainly thinking about the work of Smale and Eells-Elworthy). Is there anything known for ...

**5**

votes

**3**answers

319 views

### Smoothness of frame bundle of (global) orbifolds [reference request]

Background
Let $(M,g)$ be a riemannian manifold and let $G$ be a finite group acting effectively and isometrically on $M$. Recall that this means that for all $x \in G$, the diffeomorphism ...

**5**

votes

**1**answer

259 views

### Is there a Riemann existence theorem for orbifolds?

For smooth algebraic varieties $X$ over $\mathbb{C}$, the Riemann existence theorem establishes an equivalence of categories between the category of finite etale covers of $X$ and finite unramified ...

**5**

votes

**2**answers

243 views

### Seifert Fibrations and their associated Spectral Sequence

In a somewhat limited setting, a Seifert Fibre Space is a 3-manifold $M$ with a "nice" decomposition into circles (http://en.wikipedia.org/wiki/Seifert_fiber_space). That is, $M$ is decomposed into ...

**5**

votes

**2**answers

366 views

### How to specify a finite group up to inner automorphism?

I want some finite set of data to which I can canoically associate a "group up to inner automorphism", and which can be constructed canoically from a "group up to inner automorphism". I have a few ...

**4**

votes

**2**answers

1k views

### Are orbifold singularities canonical?

This is a direct consequence of my previous question: Extending group actions on varieties
In his answer, inkspot said that group actions can be extended if the variety has ample canonical class and ...

**4**

votes

**4**answers

798 views

### Quotient Surface of A Hyperelliptic Involution

Let $X$ be a hyperelliptic Riemann surface, and let $J$ be the hyperelliptic involution. Then consider the quotient surface $X/ < J > ,$ my question is whether $X/ < J > $ is a Riemann ...

**4**

votes

**1**answer

193 views

### hyperbolic orbifolds of small area

Is there a list of 2-dimensional hyperbolic orbifolds obtained from reflection groups (such as the double of a hyperbolic triangle with angles $\pi/p$, etc.) of small area, for instance area smaller ...

**4**

votes

**1**answer

380 views

### Ramification formula for orbifolds

It's well known for smooth curves that if $\pi:X\to Y$ is a finite map, $K_X=\pi^*K_Y+Ram(\pi)$, this is just the Riemann-Hurwitz formula at the level of line bundles. I've been told that this ...

**4**

votes

**1**answer

421 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 ...

**4**

votes

**0**answers

190 views

### manifold branched covering space for orbifolds

An orbifold structure on some topological space $X$ is a covering of $X$ with local quotient charts $V/G$, where $V$ is some connected manifold and $G$ effectively acts on $V$ via a finite group of ...

**3**

votes

**1**answer

605 views

### What does the 'V' in 'V-manifold' stand for?

The story of how the name 'orbifold' came about is pretty well-documented, but I can't find any explanation as to why Satake originally named orbifolds 'V-manifolds'. The 'manifold' part is clear ...

**3**

votes

**1**answer

610 views

### A simple minded Poincare duality for orbifolds?

Suppose $X^n$ is an orientable compact orbifold (without boundary) with stabilisers in codimesnion 2, and $\bar X^n$ is the underlying topological space. We can assume moreover that $X^n$ is a ...

**3**

votes

**2**answers

551 views

### Spinors on orbifolds

Let $R^{n}$ be a cone over sphere $S^{n-1}$ with the metric $g = dr^2 + r^{2}g[S^{n-1}]$ ($r> 0$).
Whether it is true that the cone over $S^{n-1}/Z_{2} = RP^{n-1}$ has twice less parallel spinors, ...

**3**

votes

**1**answer

181 views

### Does fixing the reparameterization invariance of the string action correspond to some kind of orbifolding?

Does fixing the reparameterization invariance of the string action, for example by choosing the light-cone gauge
$$
X^{+} = \beta\alpha' p^{+}\tau
$$
$$
p^{+} = \frac{2\pi}{\beta} P^{\tau +}
$$
...

**3**

votes

**0**answers

72 views

### Properties of the induced map between inertia stacks

Let $\mathcal X$ and $\mathcal Y$ be (separated) Deligne-Mumford stacks. A morphism of stacks $f:\mathcal X \to \mathcal Y$ induces a morphism between inertia stacks $\tilde f:I\mathcal X \to ...

**3**

votes

**0**answers

298 views

### “Step-by-Step” toric resolution process?

WLOG the fan $\Sigma$ of our toric variety $X_{\Sigma}$ is simplicial. (So $X_{\Sigma}$ has at worst orbifold singularities and all cones $\sigma \in \Sigma$ are simplicial).
The classical toric ...

**3**

votes

**0**answers

210 views

### Seek “typical examples” for the structure of spaces with two-sided Ricci bounds

By a 1990 paper of Michael Anderson, the following is true:
Theorem. Let the metric space $(X,d,p)$ be a pointed Gromov-Hausdorff limit of a sequence of complete pointed Riemannian manifolds ...

**2**

votes

**2**answers

180 views

### Topological invariants of toroidal orbifolds

Which are the most powerful topological invariants of toroidal orbifolds?
In particular I am looking for topological invariants of two-dimensional toroidal orbifolds such as $T^{2}/Z_{k}\times Z_{k}$ ...

**2**

votes

**4**answers

4k views

### Cotangent bundle of a differentiable stack

If you ever wanted to construct the tangent bundle of a differentiable stack, it's relatively simple:
First, if $\mathbf{X}$ is a stack coming from a Lie groupoid $\mathcal{G}$, you could just say ...

**2**

votes

**2**answers

413 views

### Branched coverings over orbifolds with reflector lines

It is well known that if $F\to B$ is a $n$-finite branched covering over an orbifold with cone-points then the orbifold Euler's characteristics are related via ...

**2**

votes

**1**answer

137 views

### Real weight modular forms as sections of a line bundle

Background: I've been trying to read
Baily, Walter L., Jr.
The decomposition theorem for V-manifolds.
Amer. J. Math. 78 1956
and I have problems with the language used in the paper. Firstly I am ...

**2**

votes

**1**answer

121 views

### Can stabilizer groups in an orbifold have global twisting?

Can stabilizer groups in an orbifold have global twisting?
For example, consider the two groups $\mathbb Z/3\times\mathbb Z$ and $\mathbb Z/3\rtimes\mathbb Z$ (where $\mathbb ...

**2**

votes

**0**answers

337 views

### Low Dimensional Spin Manifolds

I am looking for examples of 2- and 3-dimensional flat spin manifolds with Euclidean and Lorentzian signatures, which admit parallel spinors and the dimension of the space of the parallel spinors is ...

**2**

votes

**0**answers

454 views

### Thurston's definition of an orbifold

I'm currently trying to understand the definition of an orbifold as expressed in Thurston's Geometry and topology of three manifolds (The definition is in chapter 13 p300). I'm confused about the ...

**2**

votes

**0**answers

268 views

### Quasi-projective orbifolds and algebraic line bundles

The notion of quasi-projective orbifold is generally accepted to contain at least the following: let $X$ be a (simply-connected) complex manifold, $G$ a group acting on $X$ by biholomorphisms, and ...