All Questions
Tagged with orbifolds ag.algebraic-geometry
22 questions
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-...
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{...
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 ...
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....
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 ...
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$?
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
1
vote
0
answers
213
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 $\...
3
votes
0
answers
531
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 ...
6
votes
2
answers
2k
views
What is a good reference (preferably thorough) for the Derived Category of a scheme/orbifold/stack?
I've sort of circled around the idea of derived categories a few times, read a few introductory papers ("Derived Categories for the working mathematician", e.g.), and feel now that this is something ...
1
vote
1
answer
412
views
Enumerativity of Gromov-Witten invariants of orbifolds
For smooth Deligne-Mumford stacks, there is a well-defined Gromov-Witten theory, see http://arxiv.org/pdf/math/0103156.pdf and http://arxiv.org/pdf/math/0603151.pdf.
Is there some sense, or some ...
1
vote
2
answers
283
views
Is the zero set of a equivariant polynomial map of minimal degree a union of linear subspaces?
Suppose that a finite group acts on two vector spaces $X$ and $Y$, and that $f:X\longrightarrow Y$ is an equivariant polynomial map which is homogeneous of degree $n$, and that there does not exist ...
6
votes
1
answer
725
views
Ramification formula for orbifolds
It's well known for smooth curves that if $\pi:X\to Y$ is a finite map, $K_X=\pi^*K_Y+Ram(\pi)$, this is just the Riemann-Hurwitz formula at the level of line bundles. I've been told that this ...
5
votes
2
answers
2k
views
Are orbifold singularities canonical?
This is a direct consequence of my previous question: Extending group actions on varieties
In his answer, inkspot said that group actions can be extended if the variety has ample canonical class and ...
2
votes
0
answers
378
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 ...