Questions tagged [orbifolds]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
27
votes
4answers
4k 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$-...
27
votes
2answers
2k 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 ...
24
votes
3answers
1k 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 ...
24
votes
2answers
2k 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 ...
23
votes
2answers
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 ...
22
votes
5answers
4k 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 ...
20
votes
2answers
1k 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 ...
17
votes
1answer
1k 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 ...
16
votes
2answers
579 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 ...
15
votes
10answers
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 "...
13
votes
1answer
2k 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 ...
12
votes
0answers
224 views

If two group actions lead to the same orbifold, are they conjugate?

In The Geometry and Topology of Three-Manifolds, Thurston says: "In these examples, it was not hard to construct the quotient space from the group action. In order to go in the opposite direction, we ...
11
votes
1answer
2k views

What is the intuition behind the 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 ...
11
votes
4answers
2k views

What is the “right” definition of the homology(cohomology) of an orbifold?

What is the "right" analog in the orbifold case of a singular homology of a topological space? We can not just take the homology of the underlying space, because it does not contain much information. ...
11
votes
2answers
608 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 ...
11
votes
2answers
1k 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 ...
11
votes
1answer
860 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$ ...
10
votes
0answers
145 views

Flat spherical orbifolds

What is known about existence and classification of flat spherical orbifolds?. Here I mean orbifolds that admit a flat Riemannian metric (Euclidean orbifolds) and whose underlying topological space (...
9
votes
2answers
2k 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 ...
9
votes
3answers
741 views

What is the official definition of $\mathcal{M}_g$ as an orbifold, and how much can I ignore it?

There is a well-known description of $\mathcal{M}_g$ as $\mathcal{T}_g/\Gamma$ where $\mathcal{T}_g$ is the Teichmuller space and $\Gamma$ is the mapping class group. Teichmuller space is homeomorphic ...
9
votes
3answers
2k 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
1answer
736 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 ...
9
votes
1answer
598 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 ...
9
votes
0answers
643 views

Equivariant and orbifold Chern classes

Edit. After thinking about this problem a bit longer, I am not so sure anymore that the Bredon cohomology proposed by Adem and Ruan gives me the invariants I am looking for. I have therefore moved ...
8
votes
5answers
460 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 ...
8
votes
3answers
639 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 ...
8
votes
1answer
409 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 ...
8
votes
1answer
227 views

Does geometrization of Alexandrov 3-spaces follow from that of 3-orbifolds?

Galaz-Garcia and Guijarro proved the geometrization of closed (compact, boundaryless) Alexandrov 3-spaces. Part of the strategy was to use the so-called ramified double cover $\tilde{X}$ of the space $...
8
votes
2answers
440 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 ...
8
votes
1answer
504 views

Smoothing of a Kähler orbifold metric on a complex surface

Let $S$ be a smooth complex projective surface and $D\subset S$ be a smooth complex curve. Fix an integer $m>1$ and consider $(S,D,m)$ as an orbifold with orbi-locus $D$ with stabilizer $\mathbb ...
7
votes
3answers
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 ...
7
votes
1answer
660 views

Condensed / pyknotic approach to orbifolds?

Does condensed / pyknotic mathematics afford an (yet!) another approach to orbifold theory? Let me admit up-front that I don't know much about either condensed / pyknotic mathematics or about orbifold ...
7
votes
2answers
1k 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
0answers
141 views

Smooth sub-orbifolds in the language of stacks

In most geometric categories, "monomorphism" is too general to describe useful notions of "embedding". This is the case e.g. for schemes, complex manifolds, and differentiable manifolds. So "embedding"...
7
votes
0answers
311 views

Equivariant De Rham theorem for orbifolds

Recall that the "classical" equivariant De Rham theorem states that, for a compact Lie group $G$ acting on a compact smooth manifold $M$, $$H_G^*(M,\mathbb{R})\cong H^*(\Omega_G(M)),$$ where $H_G^*(M,\...
6
votes
2answers
799 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
1answer
337 views

Homotopy groups of smooth part of moduli space

Let $M_g$ be the moduli space of Riemann surfaces, as described for example in the book of Harris and Morrison - Moduli of curves. As a topological space, or better as orbifold, it has smooth points ...
6
votes
2answers
1k views

A simple minded Poincare duality for orbifolds?

Suppose $X^n$ is an orientable compact orbifold (without boundary) with stabilisers in codimension 2, and $\bar X^n$ is the underlying topological space. We can assume, moreover, that $X^n$ is a ...
6
votes
1answer
237 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
2answers
358 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
1answer
437 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 ...
6
votes
1answer
287 views

What are orbifolds with corners?

What is the geometric definition of orbifolds with corners? Here “geometric" means that there is a definition in chapter 8 of the draft of Dominic Joyce's book D-manifolds and d-orbifolds: a theory of ...
6
votes
1answer
581 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 ...
6
votes
1answer
391 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 ...
6
votes
0answers
116 views

How does the $C^\ast$ algebra of an orbifold grupoid relate to the corresponding orbifold?

My question is in nature a bit vague but let me try to make it concrete. Given a Lie grupoid $G$ that is étale and proper (called an orbifold grupoid) we have an associated orbifold $X$; this is ...
6
votes
0answers
405 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 ...
5
votes
4answers
1k 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 ...
5
votes
3answers
415 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 $\gamma_x$...
5
votes
1answer
265 views

Maps to the universal punctured elliptic curve

I have just started reading Hain's paper On the Universal Elliptic KZB Connection. I am a bit confused about a comment made there about base points on orbifolds. I am still very new to the idea of ...
5
votes
2answers
433 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 ...