
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 Gcharacter
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
BelavinDrinfeld 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.

Let G be a connected, complex reductive Lie group with maximal compact
subgroup K, and let X denote the moduli space of G or Kvalued representations
of a rank r free group. In this article, we develop methods for studying the
lowdimensional 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 positiontype 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
FlorentinoLawton 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.

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 torsionfree 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.

Let X(F,G) be the Gcharacter 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
wellreferenced exposition with a companion computer program it will be useful
for computation and experimentation with these moduli spaces.

Let G be a connected reductive affine algebraic group. In this short note we
define the "variety of Gcharacters" of a finitely generated group F and show
that the quotient of the Gcharacter variety of F by the action of the trace
preserving outer automorphisms of G normalizes the variety of Gcharacters when
F is a free group, free abelian group, or a surface group.

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).

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.

Fix a rank g free group F and a connected reductive complex algebraic group
G. Let X(F,G) be the Gcharacter 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.

We compute the Epolynomial 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 Epolynomial of each geometrically
described stratum using fibrations. Consequently, we also determine the
Epolynomial 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.

We compute the fundamental group of moduli spaces of Lie group valued
representations of surface and torus groups.

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).

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.

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 hypersurface 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.

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.

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.

Let G be a Lie group and Q a quiver with relations. In this paper, we define
Gvalued representations of Q which directly generalize Gvalued
representations of finitely generated groups. Although as Gspaces, the
Gvalued quiver representations are more general than Gvalued 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
Gvalued 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.

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 ith 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.

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.

Let G=SL(2,C) and F_r be a rank r free group. Given an admissible weight in
N^{3r3}, 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.

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.

For any complex affine reductive group G and a fixed choice of maximal
compact subgroup K, we show that the Gcharacter variety of a free group
strongly deformation retracts to the corresponding Kcharacter space, which is
a real semialgebraic 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.

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.

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 rtuples of matrices in gl(3,C). Consequently,
we also state general invariant theoretic correspondences between the
coordinate rings of the moduli of rtuples of elements in gl(n,C), sl(n,C), and
SL(n,C).

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 threeholed sphere and when
the surface is a oneholed 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 threeholed sphere into
the oneholed torus induces a rank preserving Poisson map on C[X].

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 threeholed sphere or a
oneholed torus.