• ### Wonderful Compactification of Character Varieties(1703.04431)

Feb. 5, 2019 math.AG, math.SG, math.RT
Using the wonderful compactification of a semisimple adjoint affine algebraic group G defined over an algebraically closed field k of arbitrary characteristic, we construct a natural compactification Y of the G-character variety of any finitely generated group F. When F is a free group, we show that this compactification is always simply connected with respect to the \'etale fundamental group, and when k=C it is also topologically simply connected. For other groups F, we describe conditions for the compactification of the moduli space to be simply connected and give examples when these conditions are satisfied, including closed surface groups and free abelian groups when G=PGL(n,C). Additionally, when F is a free group we identify the boundary divisors of Y in terms of previously studied moduli spaces, and we construct a family of Poisson structures on Y and its boundary divisors arising from Belavin-Drinfeld splittings of the double of the Lie algebra of G. In the appendix, authored by Sam Evens and Arlo Caine, we explain how to put a Poisson structure on a quotient of a Poisson algebraic variety by the action of a reductive Poisson algebraic group.
• ### Homotopy Groups of Free Group Character Varieties(1412.0272)

May 8, 2018 math.AT, math.AG, math.RT
Let G be a connected, complex reductive Lie group with maximal compact subgroup K, and let X denote the moduli space of G- or K-valued representations of a rank r free group. In this article, we develop methods for studying the low-dimensional homotopy groups of these spaces and of their subspaces Y of irreducible representations. Our main result is that when G = GL(n,C) or SL(n,C), the second homotopy group of X is trivial. The proof depends on a new general position-type result in a singular setting. This result is proven in the Appendix and may be of independent interest. We also obtain new information regarding the homotopy groups of the subspaces Y. Recent work of Biswas and Lawton determined the fundamental group of X for general G, and we describe the fundamental group of Y. Specializing to the case G = GL(n,C), we explicitly compute the homotopy groups of the smooth locus of X in a large range of dimensions, finding that they exhibit Bott Periodicity. As a further application of our methods (and in particular our general position result) we obtain new results regarding centralizers of subgroups of G and K, motivated by a question of Sikora. Additionally, we use work of Richardson to solve a conjecture of Florentino-Lawton about the singular locus of X, and we give a topological proof that for G= GL(n,C) or SL(n,C), the space X is not a rational Poincar\'e Duality Space for r>3 and n=2.
• ### Covering spaces of character varieties(1402.0781)

May 8, 2018 math.AT, math.AG
Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is torsion-free and F is free, free Abelian, or the fundamental group of a closed Riemann surface M of genus g, this map induces a covering map between the corresponding moduli spaces of representations. We give conditions under which this map is actually the universal covering, leading to new information regarding fundamental groups of these moduli spaces. Let pi be the fundamental group of M. As an application, we show that for g>0, the stable moduli space Hom(pi, SU)/SU is homotopy equivalent to infinite complex projective space. In the Appendix by Ho and Liu, it is shown show that there is a bijection between the number of connected components of Hom(pi, G) and the fundamental group of [G,G] for all complex connected reductive Lie groups G.
• ### Rank 1 character varieties of finitely presented groups(1703.08241)

Sept. 8, 2017 math.AG, math.RT
Let X(F,G) be the G-character variety of F where G is a rank 1 complex affine algebraic group and F is a finitely presentable discrete group. We describe an algorithm, which we implement in Mathematica, SageMath, and in Python, that takes a finite presentation for F and produces a finite presentation of the coordinate ring of X(F,G). We also provide a new description of the defining relations and local parameters of the coordinate ring when F is free. Although the theorems used to create the algorithm are not new, we hope that as a well-referenced exposition with a companion computer program it will be useful for computation and experimentation with these moduli spaces.
• ### Varieties of Characters(1604.02164)

July 16, 2019 math.AG, math.RT
Let G be a connected reductive affine algebraic group. In this short note we define the "variety of G-characters" of a finitely generated group F and show that the quotient of the G-character variety of F by the action of the trace preserving outer automorphisms of G normalizes the variety of G-characters when F is a free group, free abelian group, or a surface group.
• ### Invariants of pairs in SL(4,C) and SU(3,1)(1602.08392)

Dec. 29, 2016 math.DG, math.AG, math.RT
We describe a minimal global coordinate system of order 30 on the SL(4,C)-character variety of a rank 2 free group. Using symmetry within this system, we obtain a smaller collection of 22 coordinates subject to 5 further real relations that determine conjugation classes of generic pairs of matrices in SU(3,1).
• ### Decision problems, complexity, traces, and representations(1312.1261)

Nov. 12, 2016 math.GT, math.GR
In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure efficiency in terms of the size of the quotients required to distinguish a distinct pair of conjugacy classes.
• ### Character Varieties of Free Groups are Gorenstein but not always Factorial(1504.01210)

March 9, 2016 math.AG, math.RT, math.AC
Fix a rank g free group F and a connected reductive complex algebraic group G. Let X(F,G) be the G-character variety of F. When the derived subgroup DG in G is simply connected we show that X(F,G) is factorial (which implies it is Gorenstein), and provide examples to show that when DG is not simply connected X(F,G) need not even be locally factorial. Despite the general failure of factoriality of these moduli spaces, using different methods, we show that X(F,G) is always Gorenstein.
• ### E-polynomial of the SL(3,C)-character variety of free groups(1405.0816)

Sept. 12, 2015 math.AG
We compute the E-polynomial of the character variety of representations of a rank r free group in SL(3, C). Expanding upon existing techniques, we stratify the space of representations and compute the E-polynomial of each geometrically described stratum using fibrations. Consequently, we also determine the E-polynomial of its smooth, singular, and abelian loci and the corresponding Euler characteristic in each case. Along the way, we give new proofs of the SL(2,C), PGL(2,C), and PGL(3,C) cases.
• ### Fundamental Groups of Character Varieties: Surfaces and Tori(1412.4389)

June 30, 2015 math.AT, math.AG, math.RT
We compute the fundamental group of moduli spaces of Lie group valued representations of surface and torus groups.
• ### Fundamental Group of Moduli Spaces of Representations(1405.3580)

Jan. 20, 2015 math.AT, math.AG
Let S be a surface of genus g with n points removed, G a connected Lie group, and X(G) the moduli space of representations of the fundamental group of S into G. We compute the fundamental group of X(G) when n>0 and G is a real or complex reductive algebraic group, or a compact Lie group; and when n=0 and G=GL(m,C), SL(m,C), U(m), or SU(m).
• ### Homotopy type of free group character varieties(1412.4396)

Dec. 14, 2014 math.AT, math.AG, math.RT
Let G be a real reductive algebraic group with maximal compact subgroup K, and let F be a rank r free group. Here, we summarize the construction of a natural strong deformation retraction from the space of closed orbits in Hom(F,G)/G to the orbit space Hom(F,K)/K. In particular, these spaces have the same homotopy type.
• ### SL(3,C)-Character Varieties and RP2-Structures on a Trinion(1407.1003)

Denote the free group on two letters by F2 and the SL(3,C)-representation variety of F2 by R = Hom(F2, SL(3, C)). There is a SL(3,C)-action on the coordinate ring of R, and the geometric points of the subring of invariants is an affine variety X. We determine explicit minimal generators and defining relations for the subring of invariants and show X is a hyper-surface in C9. Our choice of generators exhibit Out(F2) symmetries which allow for a succinct expression of the defining relations. We then show C[X] is a Poisson algebra with respect to a presentation of F2 imposed by a punctured surface. We work out the bracket on all generators when the surface is a thrice punctured sphere, or a trinion. The moduli space of convex real projective structures on a trinion, denoted by P,is a subset of X. Lastly, we determine explicit conditions in terms of C[X] that distinguish this moduli space.
• ### Topology of Moduli Spaces of Free Group Representations in Real Reductive Groups(1403.3603)

July 2, 2014 math.AT, math.AG, math.RT
Let $G$ be a real reductive algebraic group with maximal compact subgroup $K$, and let $F_r$ be a rank $r$ free group. We show that the space of closed orbits in $\mathrm{Hom}(F_r,G)/G$ admits a strong deformation retraction to the orbit space $\mathrm{Hom}(F_r,K)/K$. In particular, all such spaces have the same homotopy type. We compute the Poincar\'e polynomials of these spaces for some low rank groups $G$, such as $\mathrm{Sp}(4,\mathbb{R})$ and $\mathrm{U}(2,2)$. We also compare these real moduli spaces to the real points of the corresponding complex moduli spaces, and describe the geometry of many examples.
• ### E-polynomial of SL(2,C)-Character Varieties of Free groups(1401.0228)

May 13, 2014 math.AG, math.GN, math.RT, math.NT
Let $\mathsf{F}_r$ be a free group of rank $r$, $\mathbb{F}_q$ a finite field of order q, and let $\mathrm{SL}_n(\mathbb{F}_q)$ act on $\mathrm{Hom}(\mathsf{F}_r, \mathrm{SL}_n(\mathbb{F}_q))$ by conjugation. We describe a general algorithm to determine the cardinality of the set of orbits $\mathrm{Hom}(\mathsf{F}_r, \mathrm{SL}_n(\mathbb{F}_q))/\mathrm{SL}_n(\mathbb{F}_q)$. Our first main theorem is the implementation of this algorithm in the case $n=2$. As an application, we determine the $E$-polynomial of the character variety $\mathrm{Hom}(\mathsf{F}_r, \mathrm{SL}_2(\mathbb{C}))//!/\mathrm{SL}_2(\mathbb{C})$, and of its smooth and singular locus. Thus we determine the Euler characteristic of these spaces.
• ### Character Varieties and the Moduli of Quiver Representations(1104.2960)

May 12, 2013 math.AG, math.GT, math.RT
Let G be a Lie group and Q a quiver with relations. In this paper, we define G-valued representations of Q which directly generalize G-valued representations of finitely generated groups. Although as G-spaces, the G-valued quiver representations are more general than G-valued representations of finitely generated groups, we show by collapsing arrows that their quotient spaces are equivalent. We then establish a general criterion for the moduli of G-valued quiver representations with relations to admit a strong deformation retraction to a compact quotient by pinching vertices on the quiver. This provides two different generalizations of main results in our previous work. Lastly, we establish quiver theoretic conditions for the moduli spaces of GL(n,C) and SL(n,C)-valued quiver representations to embed into traditional moduli spaces of quiver representations having constant dimension vector.
• ### The Topology of Parabolic Character Varieties of Free Groups(1204.5924)

Dec. 21, 2012 math.AG, math.GT, math.RT
Let G be a complex affine algebraic reductive group, and let K be a maximal compact subgroup of G. Fix elements h_1,...,h_m in K. For n greater than or equal to 0, let X (respectively, Y) be the space of equivalence classes of representations of the free group of m+n generators in G (respectively, K) such that for each i between 1 and m, the image of the i-th free generator is conjugate to h_i. These spaces are parabolic analogues of character varieties of free groups. We prove that Y is a strong deformation retraction of X. In particular, X and Y are homotopy equivalent. We also describe explicit examples relating X to relative character varieties.
• ### Singularities of free group character varieties(0907.4720)

June 18, 2012 math.AG, math.GT, math.RT
Let X be the moduli space of SL(n,C), SU(n), GL(n,C), or U(n)-valued representations of a rank r free group. We classify the algebraic singular stratification of X. This comes down to showing that the singular locus corresponds exactly to reducible representations if there exist singularities at all. Then by relating algebraic singularities to topological singularities, we show the moduli spaces X generally are not topological manifolds, except for a few examples we explicitly describe.
• ### Computing SL(2,C) Central Functions with Spin Networks(0903.2372)

Nov. 28, 2010 math.AG, math.QA
Let G=SL(2,C) and F_r be a rank r free group. Given an admissible weight in N^{3r-3}, there exists a class function defined on Hom(F_r,G) called a central function. We show that these functions admit a combinatorial description in terms of graphs called trace diagrams. We then describe two algorithms (implemented in Mathematica) to compute these functions.
• ### Algebraic Independence in SL(3,C) Character Varieties of Free Groups(0807.0798)

July 27, 2010 math.DG, math.AG, math.AC
Let X be the moduli space of SL(3,C) representations of a free group of rank r. In this paper we describe maximal algebraically independent subsets of certain minimal sets of coordinate functions on X. These subsets locally parametrize the moduli space.
• ### The topology of moduli spaces of free group representations(0807.3317)

March 14, 2009 math.AG, math.GT, math.GN
For any complex affine reductive group G and a fixed choice of maximal compact subgroup K, we show that the G-character variety of a free group strongly deformation retracts to the corresponding K-character space, which is a real semi-algebraic set. Combining this with constructive invariant theory and classical topological methods, we show that the SL(3,C)-character variety of a rank 2 free group is homotopic to an 8 sphere and the SL(2,C)-character variety of a rank 3 free group is homotopic to a 6 sphere.
• ### Spin networks and SL(2,C)-Character varieties(math/0511271)

July 22, 2008 math.AG, math.QA
Denote the free group on 2 letters by F_2 and the SL(2,C)-representation variety of F_2 by R=Hom(F_2,SL(2,C)). The group SL(2,C) acts on R by conjugation. We construct an isomorphism between the coordinate ring C[SL(2,C)] and the ring of matrix coefficients, providing an additive basis of C[R]^SL(2,C) in terms of spin networks. Using a graphical calculus, we determine the symmetries and multiplicative structure of this basis. This gives a canonical description of the regular functions on the SL(2,C)-character variety of F_2 and a new proof of a classical result of Fricke, Klein, and Vogt.
• ### Minimal Affine Coordinates for SL(3,C) Character Varieties of Free Groups(0709.4403)

July 3, 2008 math.AG, math.AC
Let X be the moduli of SL(3,C) representations of a rank r free group. In this paper we determine minimal generators of the coordinate ring of X. This at once gives explicit global coordinates for the moduli and determines the dimension of the moduli's minimal affine embedding. Along the way, we utilize results concerning the moduli of r-tuples of matrices in gl(3,C). Consequently, we also state general invariant theoretic correspondences between the coordinate rings of the moduli of r-tuples of elements in gl(n,C), sl(n,C), and SL(n,C).
• ### Obtaining the One-Holed Torus from Pants: Duality in an SL(3,C)-Character Variety(0803.3489)

March 25, 2008 math.DG, math.AG
The SL(3,C)-representation variety R of a free group F arises naturally by considering surface group representations for a surface with boundary. There is a SL(3,C)-action on the coordinate ring of R. The geometric points of the subring of invariants of this action is an affine variety X. The points of X parametrize isomorphism classes of completely reducible representations. The coordinate ring C[X] is a complex Poisson algebra with respect to a presentation of F imposed by the surface. In previous work, we have worked out the bracket on all generators when the surface is a three-holed sphere and when the surface is a one-holed torus. In this paper, we show how the symplectic leaves corresponding to these two different Poisson structures on X relate to each other. In particular, they are symplectically dual at a generic point. Moreover, the topological gluing map which turns the three-holed sphere into the one-holed torus induces a rank preserving Poisson map on C[X].
• ### Poisson Geometry of SL(3,C)-Character Varieties Relative to a Surface with Boundary(math/0703251)

March 3, 2008 math.AG, math.SG
The SL(3,C)-representation variety R of a free group F arises naturally by considering surface group representations for a surface with boundary. There is a SL(3,C)-action on the coordinate ring of R by conjugation. The geometric points of the subring of invariants of this action is an affine variety X. The points of X parametrize isomorphism classes of completely reducible representations. We show the coordinate ring C[X] is a complex Poisson algebra with respect to a presentation of F imposed by the surface. Lastly, we work out the bracket on all generators when the surface is a three-holed sphere or a one-holed torus.