Questions tagged [orbifolds]

The tag has no usage guidance.

35 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
10
votes
0answers
144 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
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 ...
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
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
0answers
147 views

Pseudoreflection groups in affine varieties

Suppose $\mathsf{k}$ is an algebraically closed field of zero characteristic. Chevalley-Shephard-Todd (C-S-T) Theorem in one of its equivalent versions is the following result: (C-S-T): Let $G$ be a ...
4
votes
0answers
93 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/\...
4
votes
0answers
123 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 ...
4
votes
0answers
305 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 ...
3
votes
0answers
96 views

Metropolis-Hastings sampling as a group action

Suppose that you have a topological space $\Omega \subset \mathbb R^n$ accompanied a measure $\mu$ and you're running an iterative sampling algorithm like Metropolis-Hastings. To sample you choose a ...
3
votes
0answers
32 views

A canonical map from a Euclidean cone-manifold $M^3$ to $\mathbb{E}^3/\mathrm{Hol}(M)$

Suppose we have a 3-dimensional Euclidean cone-manifold $M$—in my book that just means $M$ is a manifold whose geometry is constructed by gluing it out of Euclidean tetrahedra, with faces paired by ...
3
votes
0answers
200 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 ...
3
votes
0answers
176 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.
3
votes
0answers
125 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\...
3
votes
0answers
450 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
0answers
371 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 ...
3
votes
0answers
251 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 $(M_i,...
2
votes
0answers
72 views

Equivalence between integrals over a reduced space

Context: I have been trying to understand this paper from Y. Cho and K. Kim. More precisely, a specific argument in Lemma 2.2 where they say the ABBV localization formula on an integral over a ...
2
votes
0answers
363 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/(...
2
votes
0answers
42 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 ...
2
votes
0answers
92 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 ...
2
votes
0answers
257 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, ...
2
votes
0answers
567 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
0answers
362 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 ...
1
vote
0answers
44 views

Clarification about the process of naturally endowing a space with a Riemann orbifold structure supported on a sphere

I am having some difficulties understanding an argument in a proof. Here is an excerpt from Lyubich–Peters - Classification of invariant Fatou components for dissipative Henon maps, first geometric ...
1
vote
0answers
47 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 ...
1
vote
0answers
56 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{...
1
vote
0answers
124 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 ...
1
vote
0answers
138 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 ...
1
vote
0answers
54 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 ...
1
vote
0answers
119 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 ...
1
vote
0answers
205 views

Explicit formula for hermitian form on coadjoint orbit of $G$ on $\mathfrak{g}^*$

Let $G$ be a compact Lie group and $\mathfrak{g}$ be its Lie algebra and $\mathfrak{g}^*$ be its dual , then I am looking for explicit formula for hermitian form on coadjoint orbit of $G$ on $\...
1
vote
0answers
88 views

Pseudo-Euclidean orbifolds

Are there any papers (reviews) devoted mainly to pseudo-Euclidean orbifolds in mathematics and physics (e.g. string theory)? A more specific question is related to orbifolds of type $\mathbb R^{1,4m-3}...