Trace Diagrams, Representations, and Low-Dimensional Topology , PhD Thesis at the University of Maryland (advised by Bill Goldman), 2006. PDF
Abstract: This thesis concerns a certain basis for the coordinate ring of the character variety of a surface. Let G be a connected reductive linear algebraic group, and
let § be a surface whose fundamental group ¼ is a free group. Then the coordinate ring C[Hom(¼;G)] of the homomorphisms from ¼ to G is isomorphic to C[G£r] »= C[G]r for some r 2 N. The coordinate ring C[G] may be identified with the ring of matrix coe±cients of the maximal compact subgroup of G. Therefore, the coordinate ring on the character variety, which is also the ring of invariants C[Hom(¼;G)]G, may be described in terms of the matrix coefficients of the maximal compact subgroup.
This correspondence provides a basis fÂ®g for C[Hom(¼;G)]G, whose constituents will be called central functions. These functions may be expressed as
labelled graphs called trace diagrams. This point-of-view permits diagram manipulation to be used to construct relations on the functions.
In the particular case G = SL(2;C), we give an explicit description of the central functions for surfaces. For rank one and two fundamental groups, the diagrammatic approach is used to describe the symmetries and structure of the central function basis, as well as a product formula in terms of this basis. For SL(3;C), we describe how to write down the central functions diagrammatically using the Littlewood-Richardson Rule, and give some examples. We also indicate progress for SL(n;C).