Skip to main content
added 238 characters in body
Source Link

Let $A = \mathcal O(Y)^{SL_2(\mathbb C)}$ be the ring of invariant functions on $Y := \mathrm{Hom}(\mathbb Z^2, SL_2(\mathbb C))$. We can identify $A$ with the quotient of $\mathbb C[x,y,z]$ by the ideal generated by $f(x,y,z) = x^2+y^2+z^2-xyz-4$. (If $a$ and $b$ are the generators for $\mathbb Z_2$, then under this identification, $x$, $y$, and $z$ map to the functions $\rho \mapsto \mathrm{Tr}(\rho(g))$, for $g$ being $a$, $b$, and $ab$, respectively.) This realizes $\mathrm{Spec}(A)$ as a (singular) cubic surface in $\mathbb C^3$.

We can also realize $A$ as the $\mathbb Z_2$-invariants of $\mathbb C[X^{\pm 1}, Y^{\pm 1}]$, where $\mathbb Z_2$ acts by inverting $X$ and $Y$. This isomorphism is given by sending $x \mapsto X+X^{-1}$, $\quad y \mapsto Y+Y^{-1}$, and $z \mapsto XY+X^{-1}Y^{-1}$.

Q: Does $\mathrm{Spec}(A)$ have a "nice" resolution of singularities that has appeared in the literature?

[edit: relation corrected]corrected, comment below added] In particular, I'd be interested in a resolution that has an interpretation as some kind of moduli space, analogous to the way that the Hilbert scheme of $n$ points in $\mathbb C^2$ resolves $(\mathbb C^2)^n / S_n$.

Let $A = \mathcal O(Y)^{SL_2(\mathbb C)}$ be the ring of invariant functions on $Y := \mathrm{Hom}(\mathbb Z^2, SL_2(\mathbb C))$. We can identify $A$ with the quotient of $\mathbb C[x,y,z]$ by the ideal generated by $f(x,y,z) = x^2+y^2+z^2-xyz-4$. (If $a$ and $b$ are the generators for $\mathbb Z_2$, then under this identification, $x$, $y$, and $z$ map to the functions $\rho \mapsto \mathrm{Tr}(\rho(g))$, for $g$ being $a$, $b$, and $ab$, respectively.) This realizes $\mathrm{Spec}(A)$ as a (singular) cubic surface in $\mathbb C^3$.

We can also realize $A$ as the $\mathbb Z_2$-invariants of $\mathbb C[X^{\pm 1}, Y^{\pm 1}]$, where $\mathbb Z_2$ acts by inverting $X$ and $Y$. This isomorphism is given by sending $x \mapsto X+X^{-1}$, $\quad y \mapsto Y+Y^{-1}$, and $z \mapsto XY+X^{-1}Y^{-1}$.

Q: Does $\mathrm{Spec}(A)$ have a "nice" resolution of singularities that has appeared in the literature?

[edit: relation corrected]

Let $A = \mathcal O(Y)^{SL_2(\mathbb C)}$ be the ring of invariant functions on $Y := \mathrm{Hom}(\mathbb Z^2, SL_2(\mathbb C))$. We can identify $A$ with the quotient of $\mathbb C[x,y,z]$ by the ideal generated by $f(x,y,z) = x^2+y^2+z^2-xyz-4$. (If $a$ and $b$ are the generators for $\mathbb Z_2$, then under this identification, $x$, $y$, and $z$ map to the functions $\rho \mapsto \mathrm{Tr}(\rho(g))$, for $g$ being $a$, $b$, and $ab$, respectively.) This realizes $\mathrm{Spec}(A)$ as a (singular) cubic surface in $\mathbb C^3$.

We can also realize $A$ as the $\mathbb Z_2$-invariants of $\mathbb C[X^{\pm 1}, Y^{\pm 1}]$, where $\mathbb Z_2$ acts by inverting $X$ and $Y$. This isomorphism is given by sending $x \mapsto X+X^{-1}$, $\quad y \mapsto Y+Y^{-1}$, and $z \mapsto XY+X^{-1}Y^{-1}$.

Q: Does $\mathrm{Spec}(A)$ have a "nice" resolution of singularities that has appeared in the literature?

[edit: relation corrected, comment below added] In particular, I'd be interested in a resolution that has an interpretation as some kind of moduli space, analogous to the way that the Hilbert scheme of $n$ points in $\mathbb C^2$ resolves $(\mathbb C^2)^n / S_n$.

added 30 characters in body
Source Link

Let $A = \mathcal O(Y)^{SL_2(\mathbb C)}$ be the ring of invariant functions on $Y := \mathrm{Hom}(\mathbb Z^2, SL_2(\mathbb C))$. We can identify $A$ with the quotient of $\mathbb C[x,y,z]$ by the ideal generated by $f(x,y,z) = x^2+y^2+z^2-xyz$$f(x,y,z) = x^2+y^2+z^2-xyz-4$. (If $a$ and $b$ are the generators for $\mathbb Z_2$, then under this identification, $x$, $y$, and $z$ map to the functions $\rho \mapsto \mathrm{Tr}(\rho(g))$, for $g$ being $a$, $b$, and $ab$, respectively.) This realizes $\mathrm{Spec}(A)$ as a (singular) cubic surface in $\mathbb C^3$.

We can also realize $A$ as the $\mathbb Z_2$-invariants of $\mathbb C[X^{\pm 1}, Y^{\pm 1}]$, where $\mathbb Z_2$ acts by inverting $X$ and $Y$. This isomorphism is given by sending $x \mapsto X+X^{-1}$, $\quad y \mapsto Y+Y^{-1}$, and $z \mapsto XY+X^{-1}Y^{-1}$.

Q: Does $\mathrm{Spec}(A)$ have a "nice" resolution of singularities that has appeared in the literature?

[edit: relation corrected]

Let $A = \mathcal O(Y)^{SL_2(\mathbb C)}$ be the ring of invariant functions on $Y := \mathrm{Hom}(\mathbb Z^2, SL_2(\mathbb C))$. We can identify $A$ with the quotient of $\mathbb C[x,y,z]$ by the ideal generated by $f(x,y,z) = x^2+y^2+z^2-xyz$. (If $a$ and $b$ are the generators for $\mathbb Z_2$, then under this identification, $x$, $y$, and $z$ map to the functions $\rho \mapsto \mathrm{Tr}(\rho(g))$, for $g$ being $a$, $b$, and $ab$, respectively.) This realizes $\mathrm{Spec}(A)$ as a (singular) cubic surface in $\mathbb C^3$.

We can also realize $A$ as the $\mathbb Z_2$-invariants of $\mathbb C[X^{\pm 1}, Y^{\pm 1}]$, where $\mathbb Z_2$ acts by inverting $X$ and $Y$. This isomorphism is given by sending $x \mapsto X+X^{-1}$, $\quad y \mapsto Y+Y^{-1}$, and $z \mapsto XY+X^{-1}Y^{-1}$.

Q: Does $\mathrm{Spec}(A)$ have a "nice" resolution of singularities that has appeared in the literature?

Let $A = \mathcal O(Y)^{SL_2(\mathbb C)}$ be the ring of invariant functions on $Y := \mathrm{Hom}(\mathbb Z^2, SL_2(\mathbb C))$. We can identify $A$ with the quotient of $\mathbb C[x,y,z]$ by the ideal generated by $f(x,y,z) = x^2+y^2+z^2-xyz-4$. (If $a$ and $b$ are the generators for $\mathbb Z_2$, then under this identification, $x$, $y$, and $z$ map to the functions $\rho \mapsto \mathrm{Tr}(\rho(g))$, for $g$ being $a$, $b$, and $ab$, respectively.) This realizes $\mathrm{Spec}(A)$ as a (singular) cubic surface in $\mathbb C^3$.

We can also realize $A$ as the $\mathbb Z_2$-invariants of $\mathbb C[X^{\pm 1}, Y^{\pm 1}]$, where $\mathbb Z_2$ acts by inverting $X$ and $Y$. This isomorphism is given by sending $x \mapsto X+X^{-1}$, $\quad y \mapsto Y+Y^{-1}$, and $z \mapsto XY+X^{-1}Y^{-1}$.

Q: Does $\mathrm{Spec}(A)$ have a "nice" resolution of singularities that has appeared in the literature?

[edit: relation corrected]

Source Link

Resolution of singularities of this cubic surface?

Let $A = \mathcal O(Y)^{SL_2(\mathbb C)}$ be the ring of invariant functions on $Y := \mathrm{Hom}(\mathbb Z^2, SL_2(\mathbb C))$. We can identify $A$ with the quotient of $\mathbb C[x,y,z]$ by the ideal generated by $f(x,y,z) = x^2+y^2+z^2-xyz$. (If $a$ and $b$ are the generators for $\mathbb Z_2$, then under this identification, $x$, $y$, and $z$ map to the functions $\rho \mapsto \mathrm{Tr}(\rho(g))$, for $g$ being $a$, $b$, and $ab$, respectively.) This realizes $\mathrm{Spec}(A)$ as a (singular) cubic surface in $\mathbb C^3$.

We can also realize $A$ as the $\mathbb Z_2$-invariants of $\mathbb C[X^{\pm 1}, Y^{\pm 1}]$, where $\mathbb Z_2$ acts by inverting $X$ and $Y$. This isomorphism is given by sending $x \mapsto X+X^{-1}$, $\quad y \mapsto Y+Y^{-1}$, and $z \mapsto XY+X^{-1}Y^{-1}$.

Q: Does $\mathrm{Spec}(A)$ have a "nice" resolution of singularities that has appeared in the literature?