Questions tagged [orbifolds]

The tag has no usage guidance.

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

How to prove the gluing-condition for a pseudogroup induced by an étale Lie groupoid?

Let $G_1\substack{\to \\ \to}G_0$ be an étale Lie groupoid, whose source- and target-maps are denoted by $s$ and $t$, respectively. Let \begin{equation} \Psi=\{(t|_U)\circ(s|_U)^{-1}:\text{$U$ is ...
zxcv's user avatar
  • 131
4 votes
1 answer
197 views

Non compact Seifert manifolds

A Seifert manifold $M$ is a $3$-dimensional orientable smooth manifold with an effective circle action with no fixed points. Closed connected Seifert manifolds are classified up to an equivariant ...
Rei Henigman's user avatar
6 votes
0 answers
225 views

Direct limit of the orbifolds $\mathbb{R}^n/S_n$? as $n \to \infty$?

While studying the particle interchange symmetry of the Bosons in physics, I have arrived at the notion of $\mathbb{R}^n$ with coordinate interchange symmetry. That is, I take the quotient of $\mathbb{...
Isaac's user avatar
  • 2,727
3 votes
1 answer
141 views

The difference between two lifts along an orbifold chart

The motivation for this question comes from the study of lifts of an orbifold chart, which is simplified as the following: Suppose that $ U $ is an open connected subset of $ \mathbb{R}^n $ and $ G $ ...
ARA's user avatar
  • 739
1 vote
0 answers
55 views

Is there a relation between symplectic toric orbifolds and semi-toric systems?

So recently I have been studying semi-toric systems which are a generalization of toric symplectic manifolds and allow for the presence of focus-focus fibers. These were proved to be classified by $5$ ...
Someone's user avatar
  • 761
11 votes
2 answers
1k views

Is there a contractible hyperbolic 3-orbifold of finite volume?

Let $\mathbb{H}^3:=\operatorname{SO}(3,1)/\operatorname{O(3)}$. Is there a lattice $\Gamma$ in $\operatorname{SO}(3,1)$ such that \begin{equation} X:=\mathbb{H}^3/\Gamma \end{equation} is contractible?...
David.D's user avatar
  • 423
1 vote
0 answers
140 views

Difference between affine quotient variety and a global quotient orbifold

Given a smooth affine variety $X$ and a finite group $G$ acting by automorphisms on $X$, the quotient space $X/G$ has the structure of an affine variety which is in general not smooth. However, in the ...
Flavius Aetius's user avatar
3 votes
1 answer
80 views

Can a compact good orbifold be realized as a global quotient of a compact manifold?

Let $\mathcal{O}$ be a compact good orbifold, where we understand a good orbifold to be an orbifold obtained as a global quotient $M/G$, where $M$ is a manifold and $G$ is a discrete group. Are there ...
gpr1's user avatar
  • 134
5 votes
1 answer
303 views

In what sense is Bass-Serre theory the one-dimensional version of orbifold theory

The Wikipedia article on Bass-Serre theory claims that graphs of groups (in the context of Bass-Serre theory) "can be viewed as one dimensional versions of orbifolds." I hazily see a ...
Mithrandir's user avatar
2 votes
0 answers
121 views

Is there an extension of Ogg's results to surfaces of Genus 1

The first hints of moonshine appeared around 1974 when Andrew Ogg noticed that quotienting the hyperbolic plane by normalizers of the Hecke Congruence subgroups $\Gamma_{0}(p)$ has genus zero iff p is ...
Sidharth Ghoshal's user avatar
3 votes
1 answer
163 views

2-orbifolds that I expect to be hyperbolic, but they're nonnegatively curved

I'm considering some complex 1-dimensional/real 2-dimensional orbifolds that I expect to be hyperbolic. However, some of them seem to be Euclidean or spherical. Any thoughts what's going on here? Here ...
Ethan Dlugie's user avatar
  • 1,247
3 votes
0 answers
82 views

Isometric embedding of a 2-dimensional orbifold with constant curvature and three cone points

There are classical surfaces of revolution, shaped like footballs, that have constant positive curvature, except for their two cone points. How about such a surface with three cone points? To give ...
Gabe K's user avatar
  • 5,324
8 votes
1 answer
418 views

Gluing of orbifolds

Suppose that $P$ and $Q$ are $n$-dimensional orbifolds, with boundaries. Suppose also that there is an isomorphism $f \colon \partial P \rightarrow \partial Q$ (as orbifolds). Is there a way to glue $...
Hao Yu's user avatar
  • 771
3 votes
0 answers
74 views

Reference for foliation on orbifolds

Can anyone recommend a good reference for foliation on orbifolds ? Thanks!
Florent Ygouf's user avatar
4 votes
1 answer
100 views

Extension of an orbifold structure from punctured balls to balls

Let $\hat{D} := D \backslash \{0\}$ be a ball in $R^n$ with the origin $\{0\}$ removed. Assume that $\hat{D}$ has a structure as an orbifold (may be distinct from its standard manifold structure). Is ...
Hao Yu's user avatar
  • 771
1 vote
0 answers
450 views

In what sense is an orbifold a DM stack?

My advisor mentioned in passing that orbifolds are Deligne-Mumford stacks, and I'd like to know in which sense this is true. The only reference I can find is this article (https://arxiv.org/abs/0806....
EJAS's user avatar
  • 181
4 votes
0 answers
105 views

About the construction of the associated complex vector bundle of an orbifold one

My question has to do with the general construction that associates to each complex orbifold vector bundle $\mathscr E\rightarrow\mathscr X$ over an orbifold Riemann surface, a complex vector bundle $...
Akerbeltz's user avatar
  • 484
3 votes
1 answer
274 views

Almost free Lie group action

It's known that if a compact Lie group $G$ acts freely on a compact manifold $M$, then the orbit space $M/G$ is a manifold. If we only assume that $G$ acts almost freely (i.e. $G_x$ is finite for any $...
Mjr's user avatar
  • 307
5 votes
1 answer
194 views

Existence of orbifold vertex algebras – current status?

Let the finite group $G$ act on a vertex algebra $V$. It is expected that there are certain vector spaces $V_g$ (with the structure of $g$ twisted $V$ modules), with $V_1=V^G$, and $$V/G\ :=\ \...
Pulcinella's user avatar
  • 5,507
6 votes
1 answer
377 views

When is a compact orbifold Riemann surface a global quotient of a Riemann surface

While reading the paper Seifert Fibred Homology 3-Spheres and the Yang-Mills Equations on Riemann Surfaces with Marked points by M. Furuta and B. Steer, I stumbled upon the following statement: Any ...
Akerbeltz's user avatar
  • 484
4 votes
0 answers
138 views

An orbifold atlas of linear charts

It is well-known that, if $M$ is a smooth manifold and $G$ is a finite group of diffeomorphisms of $M$, then for each $x\in M$ fixed by the action of $G$ there exists a coordinate system in which $G$ ...
Akerbeltz's user avatar
  • 484
6 votes
0 answers
165 views

Higher homotopy groups of an orbifold

Given an orbifold $\mathcal{O}$, I have seen many ways to define the orbifold fundamental group: Thinking of $\mathcal{O}$ as a groupoid $\mathcal{G}$, $\pi_1^{orb}(\mathcal{O})$ can be defined as ...
CuriousUser's user avatar
  • 1,420
2 votes
1 answer
150 views

HNN-extension of the orbifold fundamental group

Let $\Gamma$ be a discrete subgroup of $\operatorname{PSL}_2(\mathbb{R})$. I know that $\mathbb{H}^2/\Gamma$ has an orbifold structure. Let $\gamma$ be a non-separating closed curve. If $\Gamma$ has ...
Jacques's user avatar
  • 563
2 votes
0 answers
71 views

Product of good orbifolds [closed]

Let $M,N$ be two (very)good orbifold,(i.e. (finitely)covered by a manifold). The local coordinate are given by $U/ \Gamma_M$ and $V/\Gamma_N$ Then the coordinate charts $U\times V/\Gamma_M\times\...
Mjr's user avatar
  • 307
4 votes
0 answers
120 views

Fundamental group of hyperbolic 2-orbifold

Suppose $\Gamma$ is a cocompact lattice of $PSL_2(\mathbb{R})$. Then $\mathbb{H}^2/\Gamma$ has a natural structure of orbifold. My questions are: What is $\pi_1(\mathbb{H}^2/\Gamma)$? What is $\pi_1^{...
Jacques's user avatar
  • 563
9 votes
0 answers
165 views

Configuration space of 4 points as an orbifold

Setup: Consider the braid group $B_n$. One way to define this is as the fundamental group of the unordered configuration space $UC_n(\mathbb{C}) = \{\{z_1,\dotsc,z_n\}\subset \mathbb{C} \mid z_i \not= ...
Ethan Dlugie's user avatar
  • 1,247
8 votes
2 answers
310 views

Smooth rank one foliations with closed leaves

Let $F$ be a smooth rank one foliation on a manifold $M$. Suppose that all leaves of $F$ are compact (that is, circles). Then its leaf space (edit: when additional assumptions are taken) is an ...
Misha Verbitsky's user avatar
4 votes
0 answers
155 views

How to judge whether an orbifold is good

My own case comes from dynamic system on compact complex manifolds. To be precise, let $M$ be a compact complex 3-dimentional manifold, $W^c$ a holomorphic foliation of M with 1-dimentional uniformly ...
Chicken feed's user avatar
6 votes
0 answers
180 views

Find an explicit quasi-smooth embedding $X_{38} \subset \mathbb P(5, 6, 8, 19)$

This question is not quite about research-level mathematics, so I apologize for bringing it here. I asked it in Math.SE first, but I got no answers, and only a suggestion to ask it here. Consider the ...
isekaijin's user avatar
  • 183
1 vote
0 answers
146 views

Orbifold vs étale fundamental group of complex ball quotient

Let $X$ be a quotient of the complex ball by an arithmetic group. How does the orbifold fundamental group of the complex points of $X$ compare to the étale fundamental group of $X$?
Ramón's user avatar
  • 11
3 votes
0 answers
150 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 ...
Juan Sebastian Lozano's user avatar
10 votes
1 answer
1k 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 ...
Tim Campion's user avatar
  • 60.5k
1 vote
0 answers
73 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 ...
nandi's user avatar
  • 53
4 votes
1 answer
162 views

Absolute and relative tilings of the hyperbolic plane

In Conway's Symmetries of Things on p. 265 I found these two tilings of the hyperbolic plane with the same vertex configuration $(3.5.3.5.3)$ (resp. vertex figure, as Conway calls it). The ...
Hans-Peter Stricker's user avatar
3 votes
0 answers
57 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 ...
Tom Sharpe's user avatar
5 votes
0 answers
233 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 ...
jg1896's user avatar
  • 2,683
2 votes
0 answers
77 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 ...
Aaron Maroja's user avatar
1 vote
0 answers
63 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 ...
DLIN's user avatar
  • 1,905
5 votes
0 answers
143 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/\...
Totoro's user avatar
  • 2,515
1 vote
0 answers
72 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{...
Totoro's user avatar
  • 2,515
4 votes
0 answers
166 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 ...
Yuhang Chen's user avatar
  • 1,099
1 vote
0 answers
148 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 ...
Libli's user avatar
  • 7,210
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: ...
user avatar
8 votes
0 answers
173 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"...
Qfwfq's user avatar
  • 22.7k
6 votes
1 answer
460 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 ...
user142317's user avatar
3 votes
0 answers
686 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/(...
ARA's user avatar
  • 739
10 votes
3 answers
883 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 ...
Kim's user avatar
  • 4,034
7 votes
0 answers
162 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 ...
Miguel Moreira's user avatar
6 votes
1 answer
300 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 ...
Sven's user avatar
  • 73
11 votes
0 answers
261 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 (...
Urs Schreiber's user avatar