Multicurves and regular functions on the representation variety of a surface in \(SU(2)\) (Q424811)

From MaRDI portal
Revision as of 13:31, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Multicurves and regular functions on the representation variety of a surface in \(SU(2)\)
scientific article

    Statements

    Multicurves and regular functions on the representation variety of a surface in \(SU(2)\) (English)
    0 references
    0 references
    0 references
    5 June 2012
    0 references
    Given a compact surface \(\Sigma\) of negative Euler characteristic, the authors study a special class of functions which they call ``trace functions'' on the representation space \(\mathrm{Hom}(\pi_1(\Sigma),G)/G\), for \(G=\mathrm{Sl}(2,\mathbb{C})\), \(\mathrm{SU}(2)\) and \(\mathrm{Sl}(2,\mathbb{R})\). A trace function is associated to a multicurve \(\gamma\) on \(\Sigma\) and to a representation \(\rho\) by the formula \[ f_{\gamma,G}([\rho])=\prod_i(-\mathrm{tr}(\rho(t_i))) \] where the \(t_i\)'s represent the free homotopy classes of the (essential) components of the multicurve \(\gamma\). The authors prove that in the case where \(G=\mathrm{Sl}(2,\mathbb{C})\) or \(\mathrm{SU}(2)\), the trace functions are linearly independent as function on \(\mathrm{Hom}(\pi_1(\Sigma),G)/G\) and, therefore, in the case of \(\mathrm{Sl}(2,\mathbb{C})\) these functions form a basis of the coordinate ring of the representation variety and this coordinate ring is isomorphic to the Kauffman bracket skein algebra of the thickened surface \(\Sigma \times [0,1]\) at \(A=-1\). The proof of these results involves a Fourier decomposition of the trace functions with respect to the action of a torus \(\mathbb{T}^{\mathcal{C}}\) on the representation space \[ \mathcal{M}= \mathrm{Hom}(\pi_1(\Sigma),\mathrm{SU}(2))/\mathrm{SU}(2) \] associated to a pants decomposition of \(\Sigma\), where \(\mathcal{C}\) is the set of separating curves in the decomposition. They show by the way that one can recover the Dehn parameters of a multicuve from its Fourier decomposition. The authors discuss an application of their results to TQFT, namely, to the proof of the asymptotic faithfulness of quantum representations of mapping class groups that is given in the paper [\textit{J. Marché} and \textit{M. Narimannejad}, ``Some asymptotics of topological quantum field theory via Skein theory'', Duke Math. J. 141, No. 3, 573--587 (2008; Zbl 1139.57030)].
    0 references
    representation variety
    0 references
    multicurve
    0 references
    skein algebra
    0 references
    Dehn coordinates
    0 references
    topological quantum field theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references