Multiplicative representations of surface groups

Un gruppo di superficie è (isomorfo) al gruppo fondamentale di una superficie orientabile chiusa di genere k (maggiore o uguale a 2). È uno small cancellation group e quindi iperbolico; il suo grafo di Cayley è isomorfo a una tassellatura del piano iperbolico fatta di 2k-goni iperbolici. È possibile definire alcuni sottoinsiemi del grafo di Cayley, detti “coni”, su cui il gruppo agisce con un numero finito di orbite, chiamate “cono tipi”. Una rappresentazione moltiplicativa di un gruppo di superficie è una rappresentazione unitaria definita sullo spazio di Hilbert delle funzioni moltiplicative. Una funzione moltiplicativa su un gruppo di superfici ha valori vettoriali ed è definita mediante la scelta di un insieme di parametri, chiamato “sistema di matrici”. Due funzioni moltiplicative sono equivalenti se differiscono solo su un numero finito di elementi. Si può definire un prodotto interno sulle classi di equivalenza di funzioni moltiplicative. Dimostriamo che almeno per il caso di un gruppo di superficie del genere 2 ed una scelta del sistemi di matrici il prodotto interno non è identicamente nullo; dato che esso non dipende dalla scelta dei rappresentanti per le funzioni moltiplicative, è ben definito. Questa dimostrazione si basa sull'irriducibilità di una certa matrice associata alla geometria del grafo di Cayley; in particolare, un certo autovalore Perron-Frobenius deve essere semplice. Una rappresentazione moltiplicativa agisce semplicemente per traslazione sinistra sul completamento dello spazio di Hilbert dello spazio delle funzioni moltiplicative rispetto al prodotto interno sopra menzionato. La rappresentazione così definita è temperata: mostriamo che i coefficienti di matrice della rappresentazione regolare approssimano quelli della rappresentazione moltiplicativa. Con il termine “rappresentazione sul bordo” intendiamo una rappresentazione di una certa C*-algebra prodotto incrociato, ottenuta dall'azione del gruppo di superficie sulla C*-alge
A surface group is (isomorphic to) the fundamental group of a closed orientable surface of genus k greater or equal than 2. It is a small cancellation group (hence hyperbolic); its Cayley graph is isomorphic to a tiling of the hyperbolic plane by 2k-gons. One can define certain subsets of the Cayley graph called cones. The group acts on the set of cones with finitely many orbits, called cone types. A multiplicative representation of a surface group is a unitary representation defined on the Hilbert space of multiplicative functions. A multiplicative function on a surface group is a vector-valued function defined through the choice of a set of parameters, called matrix system. Two multiplicative functions are equivalent if they differ only on finitely many elements. An inner product can be defined for equivalence classes of multiplicative functions. We prove that at least for the case of a surface group of genus 2 and a choice of the matrices as non-negative scalars the inner product is not identically zero; thus, since it does not depend on the representatives for the multiplicative functions, it is well posed. This proof relies on the irreducibility of a certain matrix associated with the geometry of the Cayley graph; in particular, a certain Perron-Frobenius eigenvalue must be simple. A multiplicative representation then simply acts by left translation on the Hilbert space completion of the space of multiplicative functions with respect to the inner product above mentioned. The representation thus defined is tempered: we show that the matrix coefficients of the regular representation approximate those of the multiplicative representation. By the term boundary representation, we mean a representation of a certain crossed product C*-algebra, obtained by the action of the surface group on the C*-algebra of continuous functions on its boundary – which is homeomorphic to the unit circle. Such a boundary representation is given by a unitary representation of the group a