Which polynomials are Fricke polynomials ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T04:02:07Z http://mathoverflow.net/feeds/question/103020 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103020/which-polynomials-are-fricke-polynomials Which polynomials are Fricke polynomials ? Joël 2012-07-24T16:40:31Z 2012-07-24T20:07:52Z <p>Let me recall the definition which seems the most standard of Fricke polynomials. Let $G$ be the free group with two generators $u,v$. It is not very hard to prove that there exists a unique application $t : G \rightarrow \mathbb{Z}[X,Y,Z]$ such that </p> <p>(1) $t(u)=X,t(v)=Y,t(uv)=Z$,</p> <p>(2) $t$ is the character (i.e. the trace) of a representation $r : G \rightarrow \rm{SL}_2(K)$ where $K$ is some field containing $\mathbb{Z}[X,Y,Z]$.</p> <p>A <em>Fricke polynomial</em> is just an element of $\mathbb{Z}[X,Y,Z]$ which is in the mage of $t$.</p> <blockquote> <p>What is the image of $t$ ? </p> </blockquote> <hr> <p>Edit: As requested, I give here the proof of the statement about $t$. I believe that this statement is due in some form to Fricke in the nineteenth century: </p> <p>If $t:G \rightarrow K$ is the trace of a representation $r: G \rightarrow {\rm{SL}}_2(K)$, then one has $t(gh)+t(gh^{-1}) = t(g)t(h)$ for all $g,h$ in $G$ (since this formula holds when $t$ is the trace, and $g,h$ are matrices in ${\rm SL}_2(K)$, as easily checked). Now this formula, and an easy induction on the length of a word $g$ in $G$ shows that $t(g)$ can be expressed as a polynomial (with integral coefficients) in $t(u)$, $t(v)$ and $t(uv)$. Hence a $t$ satisfying (1) and (2) is unique if it exists. </p> <p>For the existence, let $U$ and $V$ be two matrices in ${\rm SL}_2(\mathbb{C})$ such that tr$U$, tr$V$, and tr$UV$ are algebraically independent (this is really easy). Then see $\mathbb{Z}[X,Y,Z]$ as a subring of $\mathbb{C}$ by sending $X$ on tr$U$, $Y$ on tr$V$, $Z$ on tr$UV$. Let $r$ be the representation $G \rightarrow \rm{SL}_2(\mathbb{C})$ sending $u$ on $U$ and $v$ on $V$, and $t=$tr $r$. Then by definition $t$ satisfies (2), with $K=\mathbb{C}$, one has $t(u)=X$, $t(v)=Y$, $t(uv)=Z$ by construction and $t$ takes value in the subring $\mathbb{Z}[X,Y,Z]$ of $\mathbb{C}$ by what we have said earlier. Hence the existence of $t$.</p> http://mathoverflow.net/questions/103020/which-polynomials-are-fricke-polynomials/103038#103038 Answer by Bruce Westbury for Which polynomials are Fricke polynomials ? Bruce Westbury 2012-07-24T18:24:16Z 2012-07-24T20:07:52Z <p><S>You have not shown that your map $t$ is well-defined. I suspect you are defining the quotient of $SL_2\times SL_2$ by simultaneous conjugation. This was studied by Procesi.</S></p> <p>Edit: A quick search found the paper <a href="http://www.mathematics.jhu.edu/brown/Documents/FrickeCharAutos.pdf" rel="nofollow">http://www.mathematics.jhu.edu/brown/Documents/FrickeCharAutos.pdf</a> which confirms Andreas comment. It also gives the action of $Out(F_2)$ in Example 6.1. This raises the question: does $Out(F_2)$ act transitively on this set of polynomials?</p> <p>In particular they give the reference:</p> <p>`Fricke, R., and Klein, F., Vorlesungen uber die Theorie der automorphem Functionen, Vol. 1, pp. 365-370. Leipzig: B.G. Teubner 1897. Reprint: New York Juhnson Reprint Corporation (Academic Press) 1965</p> <p>This can be found at <a href="http://archive.org/details/vorlesungenber01fricuoft" rel="nofollow">http://archive.org/details/vorlesungenber01fricuoft</a></p> http://mathoverflow.net/questions/103020/which-polynomials-are-fricke-polynomials/103040#103040 Answer by Andreas Thom for Which polynomials are Fricke polynomials ? Andreas Thom 2012-07-24T19:31:49Z 2012-07-24T19:31:49Z <p>I do not think that there is a complete answer to this question. However, one can give some necessary conditions (which show that any answer must be complicated).</p> <p>One can show that a triple $(x,y,z) \in \mathbb C^3$ comes from traces of matrices in $SU(2)$ (i.e. there exist $u,v \in SU(2)$ such that $(x,y,z)=(t(u),t(v),t(uv))$) if and only if $(x,y,z) \in \mathbb [-2,2]^3$ (this is obviously necessary) and $$x^2 + y^2 + z^2 - xyz \leq 4.$$</p> <p>Hence, a necessary condition on a polynomial $p \in \mathbb Z[X,Y,Z]$ to be a Fricke polynomial is that for all $(x,y,z) \in [-2,2]^3$ we have the implication $$x^2 + y^2 + z^2 - xyz \leq 4 \quad \Rightarrow \quad p(x,y,z) \in [-2,2].$$</p> <p>Indeed, the word evaluated on $u$ and $v$ will give again a matrix in $SU(2)$ and hence its trace is in the interval $[-2,2]$.</p> <p>The semi-algebraic set $$S:=[-2,2]^3 \cap \lbrace (x,y,z) \in \mathbb R^3 \mid x^2 + y^2 + z^2 - xyz \leq 4 \rbrace$$ is a spectrahedron (that means it can be defined by a linear matrix inequality) and is called the Elliptope $E_3$.</p>