Questions tagged [orbifolds]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
0answers
43 views

About the orientation of index formula on orbifold

Let $X$ be a closed oriented orbifold with singularity $\Sigma X$. The singularity is defined as $$ \Sigma X=\{(x)|~x\in X,~G_x\neq1\}, $$ where $G_x$ is the isotropy group. For $u\in K_v(TX)$, as ...
4
votes
0answers
80 views

A fiber bundle of the Euclidean space over an orbifold

Consider a fiber bundle $p: F\hookrightarrow E \to B$, where $E$ and $F$ are smooth manifolds and $B$ is a smooth orbifold. More precisely, each point $b \in B$ has an orbifold chart $U=\tilde U/\...
1
vote
0answers
50 views

Quotient of Euclidean space with maximal volume growth

Let $\Gamma$ be a discrete subgroup of the isometry group of $\mathbb R^n$ and $O=\mathbb R^n/\Gamma$ is the orbifold. If there exists a point $p \in O$ such that $$ \lim_{r \to \infty}\frac{\text{...
4
votes
0answers
100 views

The Fock space in Costello's paper “Higher genus Gromov-Witten invariants as genus zero invariants of symmetric products”

Let $X$ be a smooth projective variety. In this Annals paper, Costello expressed the descendent genus $g$ Gromov-Witten (GW) invariants of $X$ in terms of genus zero GW invariants of the symmetric ...
1
vote
0answers
110 views

Berglund-Hübsch-Hori-Vafa mirror symmetry is a ring isomorphism?

Let $W = \sum_{i=1}^{m} a_i \prod_{j=1}^{n} x_j^{b_{ij}}$ be a homogeneous polynomial of degree $d$ in $n$ variables. I focus on the $m=n$ case (invertible polynomial in the Berglund-Hübsch ...
4
votes
1answer
443 views

Is a free and discrete group action on the plane a covering space action?

Let $\mathbb{R}^2$ be the plane, and let a group $G$ act on it with orientation preserving homeomorphisms, and assume that every orbit of $G$ is a discrete subset in $\mathbb{R}^2$ $G$ acts freely: ...
7
votes
0answers
136 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"...
6
votes
1answer
242 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 ...
3
votes
0answers
316 views

Geometry of the irrational torus

One of the motivations of diffeology is to study singular spaces such as the irrational torus. The irrational torus $T_α$ of slope $α∈R∖Q $ as a diffeological space is given by the quotient space $ R/(...
9
votes
3answers
691 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 ...
5
votes
0answers
105 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 ...
4
votes
1answer
163 views

Geodesic representatives in the orbifold fundamental group

Does every element in the orbifold fundamental group $\pi_1^{orb}(X,x)$ of a closed hyperbolic 2-orbifold $X$ admit a unique geodesic arc representing it? Does every free homotopy class in $X$ admit ...
10
votes
0answers
128 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 (...
2
votes
1answer
146 views

Global symplectic reduction

Let $M$ be a symplectic manifold equipped with a hamiltonian action of a compact Lie group $G$ with moment map $\mu\colon M\to \mathfrak g^*$. Assume $c\in \mathfrak g^*$. Then the symplectic ...
8
votes
1answer
220 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 $...
12
votes
0answers
218 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 ...
7
votes
0answers
278 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,\...
1
vote
0answers
112 views

Idea behind definition of classifying space over an orbifold

Today I was explaining to some one the notion of $\mathcal{G}$ spaces, covering spaces over orbifolds from Orbifolds as Groupoids: an Introduction. Definition : Let $X$ be a locally compact ...
3
votes
1answer
223 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\...
0
votes
2answers
590 views

Why study orbifolds? [closed]

Question is as in the title. Why study orbifolds? I study orbifolds as locally compact Hausdorff spaces $X$ having an orbifold structure, i.e., there exists an orbifold groupoid (proper foliatio. ...
2
votes
2answers
218 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}$...
3
votes
1answer
218 views

Do regular points of an orbifold form a connected set?

First, a bit of background on orbifolds: Let $X$ be a connected (effective) orbifold. To every point $x \in X$, we associated a group $G_x$ called the isotropy group. The singular locus $\Sigma X$ ...
2
votes
1answer
337 views

How singular is the metric on an orbifold

I am reading some stuff on orbifolds. I am particularly interested in the metrics on orbifolds. The famous example of one orbifold is the "American football", which is $\mathbb{S}^2$ quotient by the ...
4
votes
1answer
122 views

Can we perturb a surface away from an orbifold point?

Let $X$ be a smooth, compact, orbifold of dimension $4$, where the stabilisers are only allowed to be cyclic groups. Let $p \in X$ be an isolated orbifold point (i.e. the orbifold chart about $p$ ...
1
vote
0answers
50 views

Orbifolds with maximal diameter

Orbifolds with positive curvature and maximal diameter are investigated in this article, by J. Borzellino. Theorem 1 of the article states: Let $\mathcal{O}$ be a complete $n$-dimensional ...
2
votes
0answers
40 views

Minimization of the volume of the image of space-filling convex polytopes under similarities

Suppose $A:\mathbb{R}^n \to \mathbb{R}^n$ is a similarity, given by $A(x) = \lambda Ox$, where $\lambda > 1$ and $O$ is an orthogonal matrix (i.e., $A$ is a particular loxodromic repelling ...
6
votes
1answer
326 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 ...
2
votes
1answer
150 views

Is there a pair of pants decomposition analogue for orbifolds?

The pair of pants decomposition is a useful tool is surface theory. Is there an analogous decomposition for orbifolds? Thanks
1
vote
0answers
53 views

Integer valued signature of $4n$ dimensional orbifolds

Let $M^{4n}$ be a smooth oriented $4n$-dimensional manifold without boundary. Then we have an intersection form in $H^{2n}(M^{4n},\mathbb R)$ and such a form has signature $(n_+, n_-)$. Question. I ...
5
votes
1answer
254 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 ...
2
votes
1answer
157 views

Cobordism/bordism group based on orbifolds with corners

We define a geometric homology group of a topological space $X$ as follows: the chain complex $C_{\bullet}$is freely generated by the maps $f$ from a compact oriented orbifold with corners $P$ to $X$, ...
8
votes
1answer
492 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 ...
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 ...
2
votes
0answers
80 views

Does any smooth oriented closed orbifold have a fundamental class

This thread:triangulation of orbifolds has shown that any smooth closed orbifold has a triangulation. My further question is: if the difference of any two triangulations $P$ and $Q$ is a boundary of a ...
3
votes
1answer
302 views

Does the torus $T^d$ 2-fold cover an orbifold $Q^d$ with underlying space $S^d$?

I asked the same question on math.stackexchange recently (https://math.stackexchange.com/questions/2134978/is-it-possible-to-orbifold-torus-td-into-a-sphere-sd-using-mathbbz-2), but it didn't receive ...
3
votes
0answers
189 views

What is a proper n-etale morphism?

Let $Y$ be a complex algebraic variety, and let $n\in \mathbb Z_{\geq 1}\cup \{\infty\}$. How do I think about a proper $n$-etale morphism $X\to Y$? If $n=1$, I think this should be a finite etale ...
4
votes
0answers
254 views

Symplectic orbifolds

I will start by saying that I am not a symplectic topology. However, in my research I now have on my hands a symplectic 4-orbifold, which I would like to understand better. Certain results for ...
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 ...
3
votes
2answers
297 views

Orbifold of the three-sphere (and lens spaces)

Think of the three-sphere as given by $\lbrace|z|^2+|w|^2=1, \;z,w\in \mathbb{C}^2\rbrace$. We can regard it in terms of Hopf coordinates \begin{align*} z&= \cos(\theta/2)e^{i(\phi+\psi)}\\ w&=...
2
votes
0answers
255 views

Einstein's field equation on orbifolds

I was wondering if there is some kind of Einstein's field equation for orbifolds (say semi-Riemannian of Lorentz signature if this make sense). Here, by an orbifold I mean the "stacky" quotient of, ...
1
vote
0answers
113 views

Embedding of Gorenstein orbifold as a hypersurface

I am trying to understand if three complex dimensional orbifold singularity $\mathbb{C}^3 / \Gamma$ can be embedded as hypersurface in $\mathbb{C}^4$. The condition of being Gorenstein and having ...
3
votes
0answers
169 views

Mayer-Vietoris sequence for orbifolds

Is there a version of the Mayer-Vietoris long exact sequence for orbifolds? I am interested in orbifold homology as opposed to the homology of the underlying topological space.
10
votes
0answers
568 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 ...
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 ...
8
votes
3answers
587 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 ...
6
votes
2answers
769 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
0answers
380 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 ...
0
votes
1answer
130 views

Rationally graded singular cohomology

In the paper "A new cohomology theory for orbifold" by Chen/Ruan, they define the orbifold cohomology group of an orbifold $X$ by $H^d_{orb}(X)=\bigoplus_{(g) \in T} H^{d-2\iota_{(g)}}(X_{(g)})$ ...
0
votes
2answers
158 views

Orbifold singularities over a smooth map

I recently starded studying the book "Orbifolds and Stringy Topology" by Adem, Leida and Ruan and I'm trying to see if there is a relation between the singularites of two orbifolds when there is a ...
6
votes
1answer
370 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 ...