Generating sets for coordinate rings of character varieties

From MaRDI portal



Abstract: We find finite, reasonably small, generator sets of the coordinate rings of G-character varieties of finitely generated groups for all classical groups G. This result together with the method of Grobner basis gives an algorithm for describing character varieties by explicit polynomial equations. Additionally, we describe finite sets of generators of the fields of rational functions on G-character varieties for all exceptional algebraic groups G.


Given an algebraically closed field \(\mathbb{F}\) of characteristic zero and an affine reductive group \(G\) over \(\mathbb{F}\), the space of \(G\)-representations of a discrete finitely \(n\)-generated group \(\Gamma\) is an algebraic subset \(\mathrm{Hom}(\Gamma, G)\) of \(G^n\). The action of \(G\) on this set is given by conjugation. The \(G\)-character variety of \(\Gamma\) is the categorical quotient of the action: \(X_G(\Gamma)=\mathrm{Hom}(\Gamma, G) /\!/ G\). In the paper under review a finite, reasonable small generating set of the coordinate ring \(\mathbb{F}[X_G(\Gamma)]\) is given for an arbitrary classical matrix group \(G\). Finite sets of generators for the fields of rational functions on \(G\)-character varieties are also given for all exceptional algebraic groups.



Cites work









This page was built for publication: Generating sets for coordinate rings of character varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392160)