Welcome to MathOverflow

Question

3

1

Let $G \subset SL(n,\mathbb{C})$ be a cyclic subgroup of finite order, Is it true that $\mathbb{C}^n /G$ is toric ? If not then when it is ?

flag	asked Feb 25 2012 at 23:50 Mohammad F.Tehrani 2,490●3●14

1

The "cyclic" condition is redundant, the quotient is toric for any finite Abelian group. – Dmitri Feb 26 2012 at 0:21

I kind of knew that but I just simplified the problem. I could not remember any proof or procedure. How is the the construction? – Mohammad F.Tehrani Feb 26 2012 at 0:34

3

The action of any finite Abelian group on $\mathbb C^n$ is diagonalisable - this is just linear algebra. So the action commutes with diagonal $(\mathbb C^*)^n$, this makes your quotient toric. – Dmitri Feb 26 2012 at 1:26

David Speyer · Accepted Answer · 2012-02-26 00:18:04Z UTC

Yes, it is true. Let $G \cong \mathbb{Z}/m$ act by $\mathrm{diag}(\zeta^{a_1}, \zeta^{a_2}, \ldots, \zeta^{a_n})$, where $\zeta$ is a primitive $n$-th root of unity. Let $S$ be the semigroup $\{ (b_1, \ldots, b_n) \in \mathbb{Z}_{\geq 0}^n : \sum a_i b_i \equiv 0 \mod m \}$. Then the quotient is Spec of the semigroup ring $\mathbb{C}[S]$. Since the semigroup is torsion free, finitely generated and saturated, the corresponding Spec is an affine toric variety.

When a quotient singularity is toric?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.