In mathematics , representation varieties are an important tool in group theory , topology, and geometry .
definition
Let be a finitely generated group and a semisimple algebraic Lie group . Be a presentation of a finite number of producers. One gives
![\Gamma](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cfde86a3f7ec967af9955d0988592f0693d2b19)
![{\ displaystyle \ Gamma = \ langle x_ {1}, \ ldots, x_ {n} \ mid R_ {1}, \ ldots, R_ {r}, \ ldots \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e50080da14435e3c30f965ee12e34e0a995c2516)
![\Gamma](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cfde86a3f7ec967af9955d0988592f0693d2b19)
![{\ displaystyle \ operatorname {Hom} (\ Gamma, G) = \ left \ {f \ colon \ Gamma \ rightarrow G {\ text {Homomorphism}} \ right \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25297bd5b63a784619d0d7cf8caae80306239e89)
the structure of an algebraic set (i.e. a not necessarily irreducible algebraic variety ) as
-
,
where the neutral element of denotes and a homomorphism is identified with the tuple .
![e](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd253103f0876afc68ebead27a5aa9867d927467)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![{\ displaystyle f \ colon \ Gamma \ rightarrow G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05fd9e17f4ffa08d22cd2eec90f852aef1ece5b6)
![{\ displaystyle (g_ {1}, \ ldots, g_ {n}) = (f (x_ {1}), \ ldots, f (x_ {n}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfe58c3dda7317ec2e0b8ebf3f2b13e8a209fd07)
It follows from Hilbert's basic theorem that the variety can already be defined by a finite number of equations.
It can be shown that the isomorphism type of the representation variety does not depend on the selected generating system.
Formation of quotients
The group acts through conjugation![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
-
.
The quotient is generally not a variety, instead one often looks at a somewhat smaller quotient, the character variety .
![{\ displaystyle {\ mathcal {R}} (\ Gamma, G) = \ operatorname {Hom} (\ Gamma, G) // G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82de4d3f0f1bc130a85ed057085d3efa9e8ce7ca)
Non-algebraic groups
For arbitrary (not necessarily algebraic) semi-simple Lie groups one can define the representation variety as an analytic manifold as above . The quotient space is generally not Hausdorffian . However has
![{\ displaystyle \ operatorname {Hom} (\ Gamma, G) / G: = \ operatorname {Hom} (\ Gamma, G) / conj.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ad264c699f8b5098e963bcb817fc35206c6a799)
![{\ displaystyle \ operatorname {Hom} ^ {red} (\ Gamma, G): = \ left \ {\ rho \ in \ operatorname {Hom} (\ Gamma, G): \ not \ exists P {\ text {parabolic with}} \ rho (\ Gamma) \ subset P \ right \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47fe207b17ae56c8dd5ce0b453264e1e8cb5dc7f)
(i.e. the submanifold of those homomorphisms whose picture is not in a parabolic subgroup ) an analytic manifold as a quotient.
Invariants
Let it be a CW complex with a fundamental group , then each representation corresponds to a flat bundle
![{\ displaystyle \ pi _ {1} X = \ Gamma}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b17311b5558a841de95053cba2cb94118373d207)
![{\ displaystyle G \ to E _ {\ rho} \ to X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5297811a36978558df2df92ff2e8e80fee8d9d41)
and the topological invariants of the bundles defined by means of obstruction theory are invariants of the connected components of the representation variety.
The first class of obstruction
![{\ displaystyle o_ {1} \ in H ^ {1} (X, \ pi _ {0} (G))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87afd1d144008037f25b53c0e6029853bf151c54)
disappears when is contiguous .
The second class of obstruction
![{\ displaystyle o_ {2} \ in H ^ {2} (X, \ pi _ {1} (G))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/553ebfc67f37f37925b9a9a360cc3e77d41fd855)
corresponds for the Euler class and for the second Stiefel-Whitney class .
![G = SL (2, \ mathbb {R})](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f8aac8580b8b31e718265342a3de75a45713591)
![{\ displaystyle w_ {2} (E _ {\ rho})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/435635d672db9c9fe7300693ae2c0ecda7541389)
literature
-
Alexander Lubotzky , Andy Magid: Varieties of representations of finitely generated groups . In: Mem. Amer. Math. Soc. , 58, 1985, no.336.
-
Michail Kapovich : Hyperbolic manifolds and discrete groups. Reprint of the 2001 edition. Modern Birkhäuser Classics. Birkhäuser Boston, Boston MA 2009, ISBN 978-0-8176-4912-8
-
Marc Culler , Peter Shalen : Varieties of group representations and splittings of 3-manifolds . In: Ann. of Math. , (2) 117, 1983, no. 1, pp. 109-146, doi: 10.2307 / 2006973 , JSTOR 2006973 .
-
William Goldman : Topological components of spaces of representations . In: Invent. Math. , 93, 1988, no. 3, pp. 557-607; doi : 10.1007 / BF01410200