Questions tagged [orbifolds]
The orbifolds tag has no usage guidance.
152 questions
2
votes
0
answers
32
views
Questions about classifying hyperkahler ALE orbifolds
Kronheimer classified all smooth hyperkahler ALE 4-manifolds. In his paper, he constructed, unsing hyperkahler qutient, a complete family of hyperkahler ALEs for each finite group $\Gamma<\mathrm{...
- 93
1
vote
0
answers
94
views
Audin's claim on Seifert manifolds, and generalization to orbifolds
In Audin's book on symplectic torus actions, she states the following proposition:
Proposition I.3.8: Let $W$ be an oriented Seifert manifold. Let $n$ be a common multiple of the orders of the ...
- 226
3
votes
0
answers
119
views
Signature vs commensurability
If a closed oriented $4n$-dimensional manifold $M$ has an orientation-reversing homeomorphism, then the signature $\sigma(M)$ of the intersection form vanishes. More generally, $\sigma(M) = 0$ if $M$ ...
- 41
8
votes
2
answers
382
views
Suppose that $G$ is a finite subgroup of ${\rm SO}(3)$. Is there a *smooth* self-map of ${\bf R}^3$ whose fibers are precisely the orbits of $G$?
$\newcommand\R{\mathbf R}\DeclareMathOperator\SO{SO}\newcommand\C{\mathbf C}$The question is motivated by the theory of orbifolds. If $\mathcal O$ is an orientable $3$-orbifold (without boundary), an ...
- 83
5
votes
0
answers
78
views
Is there a generalization of the Diameter Sphere Theorem to orbifolds?
The Diameter Sphere Theorem of Grove and Shiohama asserts that if $M$ is a compact Riemannian manifold with sectional curvature bounded from bellow by 1 and diameter greater than $\pi/2$, then $M$ is ...
- 51
1
vote
1
answer
277
views
Moduli space of complex and anti-complex tori?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SL{SL}$By Will Sawin's answer to Moduli Spaces of Higher Dimensional Complex Tori the moduli space of complex $d$-tori is $X ...
- 261
3
votes
0
answers
100
views
Quotient of GL(N) by row permutations
Let $\mathcal{M}$ be the quotient space of $GL(n)$ over $\mathbb{R}$ under the action of the permutation group $S^n$ acting as follows
$$
X\sim Y \Leftrightarrow (\exists \pi \in S^n)\, X_i = Y_{\pi(i)...
1
vote
0
answers
68
views
Complex of groups of an orbifold
I have just started to look a bit into orbifolds. The English Wikipedia page mentions that there is a complex of groups associated to an (effective) orbifold.
However I couldn't manage to find the ...
- 19
1
vote
0
answers
56
views
Good orbifold and Ricci flow with Dirichlet boundary conditions on $\Sigma$
An orbifold $\mathcal O$ is a metrizable topological space equipped with an atlas modeled on $\Bbb R^n/\Gamma, \Gamma<O(n)$ finite. Let $\Sigma$ be the singular locus i.e. points modeled on $\...
- 383
5
votes
2
answers
241
views
References for orbifold curves
I am looking for a good reference (if there is any) for the theory of orbifold curves from the perspective of stacks. By an orbifold curve I mean something like a $1$-dimensional irreducible Deligne-...
- 341
1
vote
0
answers
31
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 ...
- 131
5
votes
1
answer
233
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 ...
- 226
6
votes
0
answers
227
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{...
- 3,477
3
votes
1
answer
149
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 $ ...
- 751
1
vote
0
answers
71
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$ ...
- 791
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?...
- 423
1
vote
0
answers
170
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 ...
- 609
3
votes
1
answer
91
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 ...
- 144
5
votes
1
answer
366
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 ...
- 283
4
votes
0
answers
181
views
Is there an extension of Ogg's Moonshine results to surfaces of Genus 1
Per here 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 ...
- 2,689
3
votes
1
answer
187
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 ...
- 1,277
3
votes
0
answers
87
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 ...
- 6,001
8
votes
1
answer
429
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 $...
- 781
3
votes
0
answers
91
views
Reference for foliation on orbifolds
Can anyone recommend a good reference for foliation on orbifolds ? Thanks!
4
votes
1
answer
101
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 ...
- 781
1
vote
0
answers
655
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....
- 191
4
votes
0
answers
120
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 $...
- 516
3
votes
1
answer
391
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 $...
- 307
5
votes
1
answer
208
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\ :=\ \...
- 5,701
6
votes
1
answer
426
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 ...
- 516
4
votes
0
answers
152
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$ ...
- 516
7
votes
0
answers
192
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 ...
- 1,452
2
votes
1
answer
162
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 ...
- 563
2
votes
0
answers
73
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\...
- 307
4
votes
0
answers
131
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^{...
- 563
9
votes
0
answers
176
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= ...
- 1,277
9
votes
2
answers
377
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 ...
- 9,237
5
votes
0
answers
185
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 ...
- 661
6
votes
0
answers
188
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 ...
- 183
1
vote
0
answers
154
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$?
- 11
3
votes
0
answers
153
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 ...
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 ...
- 63.9k
1
vote
0
answers
75
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 ...
- 53
4
votes
1
answer
169
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 ...
- 9,720
3
votes
0
answers
60
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 ...
- 458
5
votes
0
answers
245
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 ...
- 3,318
2
votes
0
answers
78
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 ...
- 83
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 ...
- 1,915
5
votes
0
answers
156
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/\...
- 2,535
1
vote
0
answers
80
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{...
- 2,535