Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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-...
Alekos Robotis's user avatar
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{...
Isaac's user avatar
  • 3,477
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 ...
Flavius Aetius's user avatar
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....
EJAS's user avatar
  • 191
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 ...
isekaijin's user avatar
  • 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$?
Ramón's user avatar
  • 11
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 ...
jg1896's user avatar
  • 3,318
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 ...
Libli's user avatar
  • 7,300
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 ...
EdoardoFossati's user avatar
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 ...
Alex Saad's user avatar
  • 661
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 ...
aglearner's user avatar
  • 14.3k
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 ...
Monsie's user avatar
  • 91
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 ...
Kevin Ye's user avatar
  • 367
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 ...
Will Chen's user avatar
  • 10.7k
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 $\...
user avatar
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 ...
Spinorbundle's user avatar
  • 1,939
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 ...
Simon Rose's user avatar
  • 6,290
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 ...
OldMacdonaldHadaForm's user avatar
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 ...
Brett Parker's user avatar
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 ...
Charles Siegel's user avatar
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 ...
Charles Siegel's user avatar
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 ...
Oscar Randal-Williams's user avatar