Questions tagged [orbifolds]
The orbifolds tag has no usage guidance.
152 questions
4
votes
0
answers
177
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,159
1
vote
0
answers
154
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 ...
- 7,300
4
votes
1
answer
2k
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: ...
user143512
8
votes
0
answers
178
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"...
- 23.3k
6
votes
1
answer
520
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 ...
- 61
4
votes
0
answers
738
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/(...
- 751
11
votes
3
answers
953
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 ...
- 4,164
7
votes
0
answers
174
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 ...
- 233
6
votes
1
answer
334
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 ...
- 73
11
votes
0
answers
292
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 (...
- 19.8k
2
votes
1
answer
269
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 ...
- 2,305
8
votes
1
answer
268
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 $...
- 83
12
votes
0
answers
268
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 ...
- 616
7
votes
0
answers
397
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,\...
- 71
1
vote
0
answers
215
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 ...
- 6,023
3
votes
1
answer
368
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\...
- 6,023
0
votes
2
answers
821
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. ...
- 6,023
3
votes
2
answers
315
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}$...
- 6,023
4
votes
1
answer
383
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$ is ...
- 185
2
votes
1
answer
645
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 ...
- 633
4
votes
1
answer
141
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$ ...
- 6,995
2
votes
0
answers
48
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 ...
- 21
6
votes
1
answer
385
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 ...
- 362
4
votes
1
answer
179
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
user114152
1
vote
0
answers
59
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 ...
- 14.3k
5
votes
1
answer
333
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 ...
- 661
2
votes
1
answer
187
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$, ...
- 781
9
votes
1
answer
581
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 ...
- 14.3k
24
votes
2
answers
2k
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 ...
- 151k
2
votes
0
answers
137
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 ...
- 781
3
votes
1
answer
437
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 ...
- 403
3
votes
0
answers
223
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 ...
- 91
6
votes
0
answers
504
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 ...
- 1,452
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 ...
- 394
3
votes
2
answers
591
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&=...
- 133
2
votes
0
answers
271
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, ...
user95283
1
vote
0
answers
133
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 ...
- 367
3
votes
0
answers
227
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.
- 965
11
votes
0
answers
1k
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 ...
- 6,813
23
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 ...
- 281
8
votes
4
answers
870
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 ...
- 437
7
votes
2
answers
887
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.
( ...
- 635
7
votes
0
answers
484
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
1
answer
153
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)})$
...
- 105
0
votes
2
answers
192
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 ...
- 105
6
votes
1
answer
432
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 ...
- 10.7k
6
votes
1
answer
261
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 ...
- 1,312
3
votes
0
answers
148
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 I\...
- 811
1
vote
1
answer
279
views
étalé space of sheaves on a differentiable stack
If $F$ is a sheaf on a topological space $X$, the well-known étalé space
contruction gives rise to a bundle $\Gamma F$ on $X$ such that $F$ is
isomorphic to the sheaf of sections of $\Gamma F$.
On ...
- 41
2
votes
1
answer
388
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 ...
- 363