Skip to main content

How to interpret sections over the $SU$\mathrm{SU}(2)$ character variety as sections over the $SL$\mathrm{SL}(2,\mathbb{C})$ character variety?

The motivation for this question comes from the Volume Conjecture of Kashaev-Murakami-Murakami. The Jones family of invariants of knots and $3$-manifolds can all be defined using $SU(2)$$\mathrm{SU}(2)$ and some corresponding character varieties, but somehow these invariants can "see" representations into $SL(2,\mathbb C)$$\mathrm{SL}(2,\mathbb C)$ as well (in particular, the volumes of these representations). Thus it is natural to ask how the theory would/could extend to $SL(2,\mathbb C)$$\mathrm{SL}(2,\mathbb C)$.

In the Witten-Reshetikhin-Turaev TQFT, we associate to a surface $\Sigma$ a certain space $Z(\Sigma)$ as follows. There is a natural line bundle $\mathcal L$ over the character variety $X:=\operatorname{Hom}(\pi_1(\Sigma),SU(2))/\\!/SU(2)$.$$X:=\operatorname{Hom}(\pi_1(\Sigma),\mathrm{SU}(2))/ \mathrm{SU}(2).$$ There is a natural symplectic form on $X$, and choosing a complex structure on $\Sigma$ equips $X$ with a complex structure which together with the symplectic form makes $X$ a Kahler manifold. Then $Z(\Sigma)$ is the Hilbert space of square integrable holomorphic sections of $\mathcal L$ (note $\mathcal L$ carries a natural inner product, and the curvature form of the induced connection coincides with the natural symplectic form on $X$).

Everything works well here in part because $X$ is compact (trivially, since $SU(2)$$\mathrm{SU}(2)$ is compact). But what if I want to work with the $SL(2,\mathbb C)$$\mathrm{SL}(2,\mathbb C)$ character variety instead? Let's call this character variety $X_{\mathbb C}$ (note that everything I've said above about the symplectic form, KahlerKähler structure, and line bundle all extend naturally to $X_{\mathbb C}$). Do

Do the sections forming $Z(\Sigma)$ naturally extend to sections of $\mathcal L$ over $X_{\mathbb C}$? In what sense are they still square-integrable? In particular, $X_{\mathbb C}$ is now non-compact, so how do I pick a finite-dimensional subspace of the space of sections of $\mathcal L$?

A justification of the notation $X_{\mathbb C}$ is as follows. If we consider a point on the variety $x^2+y^2+z^2+w^2=1$ as representing the matrix $\left(\begin{smallmatrix}x+iy&z+iw\cr-z+iw&x-iy\end{smallmatrix}\right)$, then the real points are exactly $SU(2)$$\mathrm{SU}(2)$ and the complex points are $SL(2,\mathbb C)$$\mathrm{SL}(2,\mathbb C)$. Using these coordinates for the construction of character varieties shows that $X_{\mathbb C}$ is indeed the complexification of $X$.

How to interpret sections over the $SU(2)$ character variety as sections over the $SL(2,\mathbb{C})$ character variety?

The motivation for this question comes from the Volume Conjecture of Kashaev-Murakami-Murakami. The Jones family of invariants of knots and $3$-manifolds can all be defined using $SU(2)$ and some corresponding character varieties, but somehow these invariants can "see" representations into $SL(2,\mathbb C)$ as well (in particular, the volumes of these representations). Thus it is natural to ask how the theory would/could extend to $SL(2,\mathbb C)$.

In the Witten-Reshetikhin-Turaev TQFT, we associate to a surface $\Sigma$ a certain space $Z(\Sigma)$ as follows. There is a natural line bundle $\mathcal L$ over the character variety $X:=\operatorname{Hom}(\pi_1(\Sigma),SU(2))/\\!/SU(2)$. There is a natural symplectic form on $X$, and choosing a complex structure on $\Sigma$ equips $X$ with a complex structure which together with the symplectic form makes $X$ a Kahler manifold. Then $Z(\Sigma)$ is the Hilbert space of square integrable holomorphic sections of $\mathcal L$ ($\mathcal L$ carries a natural inner product, and the curvature form of the induced connection coincides with the natural symplectic form on $X$).

Everything works well here in part because $X$ is compact (trivially, since $SU(2)$ is compact). But what if I want to work with the $SL(2,\mathbb C)$ character variety instead? Let's call this character variety $X_{\mathbb C}$ (note that everything I've said above about the symplectic form, Kahler structure, and line bundle all extend naturally to $X_{\mathbb C}$). Do the sections forming $Z(\Sigma)$ naturally extend to sections of $\mathcal L$ over $X_{\mathbb C}$? In what sense are they still square-integrable? In particular, $X_{\mathbb C}$ is now non-compact, so how do I pick a finite-dimensional subspace of the space of sections of $\mathcal L$?

A justification of the notation $X_{\mathbb C}$ is as follows. If we consider a point on the variety $x^2+y^2+z^2+w^2=1$ as representing the matrix $\left(\begin{smallmatrix}x+iy&z+iw\cr-z+iw&x-iy\end{smallmatrix}\right)$, then the real points are exactly $SU(2)$ and the complex points are $SL(2,\mathbb C)$. Using these coordinates for the construction of character varieties shows that $X_{\mathbb C}$ is indeed the complexification of $X$.

How to interpret sections over the $\mathrm{SU}(2)$ character variety as sections over the $\mathrm{SL}(2,\mathbb{C})$ character variety?

The motivation for this question comes from the Volume Conjecture of Kashaev-Murakami-Murakami. The Jones family of invariants of knots and $3$-manifolds can all be defined using $\mathrm{SU}(2)$ and some corresponding character varieties, but somehow these invariants can "see" representations into $\mathrm{SL}(2,\mathbb C)$ as well (in particular, the volumes of these representations). Thus it is natural to ask how the theory would/could extend to $\mathrm{SL}(2,\mathbb C)$.

In the Witten-Reshetikhin-Turaev TQFT, we associate to a surface $\Sigma$ a certain space $Z(\Sigma)$ as follows. There is a natural line bundle $\mathcal L$ over the character variety $$X:=\operatorname{Hom}(\pi_1(\Sigma),\mathrm{SU}(2))/ \mathrm{SU}(2).$$ There is a natural symplectic form on $X$, and choosing a complex structure on $\Sigma$ equips $X$ with a complex structure which together with the symplectic form makes $X$ a Kahler manifold. Then $Z(\Sigma)$ is the Hilbert space of square integrable holomorphic sections of $\mathcal L$ (note $\mathcal L$ carries a natural inner product, and the curvature form of the induced connection coincides with the natural symplectic form on $X$).

Everything works well here in part because $X$ is compact (trivially, since $\mathrm{SU}(2)$ is compact). But what if I want to work with the $\mathrm{SL}(2,\mathbb C)$ character variety instead? Let's call this character variety $X_{\mathbb C}$ (note that everything I've said above about the symplectic form, Kähler structure, and line bundle all extend naturally to $X_{\mathbb C}$).

Do the sections forming $Z(\Sigma)$ naturally extend to sections of $\mathcal L$ over $X_{\mathbb C}$? In what sense are they still square-integrable? In particular, $X_{\mathbb C}$ is now non-compact, so how do I pick a finite-dimensional subspace of the space of sections of $\mathcal L$?

A justification of the notation $X_{\mathbb C}$ is as follows. If we consider a point on the variety $x^2+y^2+z^2+w^2=1$ as representing the matrix $\left(\begin{smallmatrix}x+iy&z+iw\cr-z+iw&x-iy\end{smallmatrix}\right)$, then the real points are exactly $\mathrm{SU}(2)$ and the complex points are $\mathrm{SL}(2,\mathbb C)$. Using these coordinates for the construction of character varieties shows that $X_{\mathbb C}$ is indeed the complexification of $X$.

How to interpret sections over the SU$SU(2)$ character variety as sections over the SL$SL(2,\mathbb{C})$ character variety?

Source Link
John Pardon
  • 18.7k
  • 3
  • 55
  • 131

How to interpret sections over the SU(2) character variety as sections over the SL(2,C) character variety?

The motivation for this question comes from the Volume Conjecture of Kashaev-Murakami-Murakami. The Jones family of invariants of knots and $3$-manifolds can all be defined using $SU(2)$ and some corresponding character varieties, but somehow these invariants can "see" representations into $SL(2,\mathbb C)$ as well (in particular, the volumes of these representations). Thus it is natural to ask how the theory would/could extend to $SL(2,\mathbb C)$.

In the Witten-Reshetikhin-Turaev TQFT, we associate to a surface $\Sigma$ a certain space $Z(\Sigma)$ as follows. There is a natural line bundle $\mathcal L$ over the character variety $X:=\operatorname{Hom}(\pi_1(\Sigma),SU(2))/\\!/SU(2)$. There is a natural symplectic form on $X$, and choosing a complex structure on $\Sigma$ equips $X$ with a complex structure which together with the symplectic form makes $X$ a Kahler manifold. Then $Z(\Sigma)$ is the Hilbert space of square integrable holomorphic sections of $\mathcal L$ ($\mathcal L$ carries a natural inner product, and the curvature form of the induced connection coincides with the natural symplectic form on $X$).

Everything works well here in part because $X$ is compact (trivially, since $SU(2)$ is compact). But what if I want to work with the $SL(2,\mathbb C)$ character variety instead? Let's call this character variety $X_{\mathbb C}$ (note that everything I've said above about the symplectic form, Kahler structure, and line bundle all extend naturally to $X_{\mathbb C}$). Do the sections forming $Z(\Sigma)$ naturally extend to sections of $\mathcal L$ over $X_{\mathbb C}$? In what sense are they still square-integrable? In particular, $X_{\mathbb C}$ is now non-compact, so how do I pick a finite-dimensional subspace of the space of sections of $\mathcal L$?

A justification of the notation $X_{\mathbb C}$ is as follows. If we consider a point on the variety $x^2+y^2+z^2+w^2=1$ as representing the matrix $\left(\begin{smallmatrix}x+iy&z+iw\cr-z+iw&x-iy\end{smallmatrix}\right)$, then the real points are exactly $SU(2)$ and the complex points are $SL(2,\mathbb C)$. Using these coordinates for the construction of character varieties shows that $X_{\mathbb C}$ is indeed the complexification of $X$.