The Ptolemy variety for SL(2,C)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${{\mathrm{SL}}}(2,{\mathbb {C}})$$\end{document} is an invariant of a topological ideal triangulation of a compact 3-manifold M. It is closely related to Thurston’s gluing equation variety. The Ptolemy variety maps naturally to the set of conjugacy classes of boundary-unipotent SL(2,C)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${{\mathrm{SL}}}(2,{\mathbb {C}})$$\end{document}-representations, but (like the gluing equation variety) it depends on the triangulation, and may miss several components of representations. In this paper, we define a Ptolemy variety, which is independent of the choice of triangulation, and detects all boundary-unipotent irreducible SL(2,C)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${{\mathrm{SL}}}(2,{\mathbb {C}})$$\end{document}-representations. We also define variants of the Ptolemy variety for PSL(2,C)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${{\mathrm{PSL}}}(2,{\mathbb {C}})$$\end{document}-representations, and representations that are not necessarily boundary-unipotent. In particular, we obtain an algorithm to compute all irreducible SL(2,C)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${{\mathrm{SL}}}(2,{\mathbb {C}})$$\end{document}-characters as well as the full A-polynomial. All the varieties are topological invariants of M.
