![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
ABSTRACT
We classify representations of a class of Deligne-Mostow lattices into . In particular, we show local rigidity for the representations (of Deligne-Mostow lattices with three-fold symmetry and of type one) where the generators we chose are of the same type as the generators of Deligne-Mostow lattices. We also show local rigidity without constraints on the type of generators for six of them and we show the existence of local deformations for a number of representations in three of them. We use formal computations in SAGE and Maple to obtain the results. The code files are available on GitHub ([Citation7]).
1 Introduction
Lattices in semi-simple Lie groups have strong rigidity properties (see [Citation13] for a general introduction to lattices in semi-simple Lie groups and more details in Section 2). The Mostow-Prasad rigidity theorem states that, when is an isomorphism between two lattices
contained in G1 and G2 (with Gi being a connected simple Lie group with trivial center and non-isogenous to
), then ρ extends to an isomorphism between the Lie groups G1 and G2. In higher rank, Margulis’ superrigidity theorem implies that any homomorphism
of a lattice
(with G,
simple, connected, with trivial center, no compact factors and such that the rank of G is > 1) with Zariski dense image, extends to a homomorphism
.
In rank one, it is well known that superrigidity fails. In particular, there exist representations of a given lattice in into other Lie groups which do not extend to homomorphisms of the whole group
(see Remark 2.5). In this paper we are interested in representations (up to conjugation) of a class of Deligne-Mostow lattices into
.
An important motivation for our results is the study of complex projective structures. Indeed, given a complex projective structure on a complex surface M, one can define a developing map and a holonomy representation
. Complex hyperbolic manifolds carry an induced complete complex projective structure. It is an open question whether a complex hyperbolic manifold has a different complex projective structure than this one. On the other hand, fixing the complex structure of a finite volume complex hyperbolic surface, its complex projective structure is unique by a theorem of Mok-Yeung [Citation15] (see also [Citation11]). This means that if a complex hyperbolic manifold carried a complex projective structure different from the one induced by the complex hyperbolic structure, it would have to come from a different complex structure. It is possible that, for the non-cocompact lattices, some of the representations in our list correspond (taking torsion free subgroups) to complex projective structures on complex manifolds diffeomorphic but not biholomorphic to complex hyperbolic manifolds. One should be aware that in the compact case, Siu’s rigidity theorem (valid for any compact hermitian locally symmetric space) implies that any other Kähler complex structure on the manifold is biholomorphic or conjugate-biholomorphic to the original complex hyperbolic structure.
A more comprehensive overview of the panorama of known rigidity theorems that motivate our work and relate to it is given in Section 2.
In Section 3 we state the classification of all representations where the generators we chose are of the same type as the generators of the Deligne-Mostow lattice.
In Section 4 we review the definition of the Deligne-Mostow lattices with three-fold symmetry in . The main result which allows for our computations is the explicit presentation of the three-fold Deligne-Mostow lattices. It was obtained in several steps culminating in [Citation16], where a unified treatment of all three-fold Deligne-Mostow lattices is given. We will use a presentation of each Deligne-Mostow group using two generators easily obtained from the presentations in [Citation16].
In Section 5 we give the detailed proofs for one case. The other cases are calculated in the same way and can be found in the SAGE and MAPLE companion notebooks to this paper. The main strategy is to use Gröbner basis methods to solve the equations imposed by the relators in the presentation. We use computations in SAGE and in MAPLE which are available on GitHub ([Citation7]). The case of representations not preserving generator types is treated in the Maple files. In these, we make use of the Rational Univariate Representation to get formal parameterizations of the solutions when the system we obtain is zero-dimensional (for an introduction to the method in the context of representations to see [Citation6]). The computations show that the representations obtained for six of the lattices are all locally rigid (that is, zero-dimensional), while for three of them, there exists a one-dimensional branch of representations. We were not able to find explicit parametrizations of them but they are given by explicit Gröbner basis in the available MAPLE file (see also the comments at the end of Section 3). With the exception of the Deligne-Mostow lattice itself (because of the local rigidity theorem for complex hyperbolic lattices—see Lemma 2.2), we do not know if this local rigidity phenomenon for type preserving representations is specific to the lattices we studied or has a more general scope. With an appropriate conjugation, the representations have values in an algebraic field extension of
and we studied the orbits by the Galois group.
We thank Sorin Dumitrescu for useful discussions and for pointing to us the local rigidity result in [Citation15]. The second author also acknowledges the support of the FSMP and of the EPSRC grant EP/T015926/1. The third author acknowledges the support of the COnsejo NAcional de Ciencia Y Tecnología, project 769037. We also thank the anonymous referees for useful comments and remarks.
2 Rigidity of lattices and projective structures
In this section we give some background on the problem of finding representations of a lattice and several fundamental rigidity theorems which are known.
Representations of a group Γ into a Lie group G have been studied for a long time. It is common to consider only representations modulo conjugation by the Lie group and refer to the set of deformations modulo conjugation as the deformation variety. For instance, if Γ is the fundamental group of a compact surface and , then one component of the deformation variety is Teichmüller space, containing only discrete and faithful representations. On the other hand, assume that G is a higher dimensional semi-simple group and that Γ is a lattice in a Lie group (that is, a discrete subgroup with a finite volume quotient for the Haar measure). Then, building on partial results by Calabi, Selberg, Calabi-Vesentini, the following local rigidity result was obtained by A. Weil in the cocompact case and by Garland-Raghunatan in the non-cocompact case.
Theorem 2.1.
Let be an isomorphism onto its image, which is a lattice in the semi-simple Lie group G. If G is not locally isomorphic to
or
then the embedding is locally rigid. In other words, all representations near the embedding are conjugate.
A slightly different but strongly related rigidity concept is that of infinitesimal rigidity. The infinitesimal rigidity of a representation is, by definition, the vanishing of the cohomology group
, where Γ acts on the Lie algebra of G,
, by the adjoint representation
. The cohomology group is identified with the Zariski tangent space of the deformation variety. Then Weil’s criterion states the following: if Γ is finitely generated, then an infinitesimally rigid representation is also locally rigid. Note that here we are not assuming that G is semi-simple nor that Γ is a lattice.
The opposite implication is in general not true. It could happen that , but that the representation is still locally rigid. It occurs when the elements of
are not tangent to a path in the deformation variety. But, under the assumptions of Theorem 2.1 above, one can, in fact, prove infinitesimal rigidity. In particular, for a lattice
, one has
. This implies the following local rigidity property for the induced representation
obtained by the inclusion
(see [Citation11] prop. 3.2):
Lemma 2.2.
Let be a lattice and
be the representation obtained by composition with the inclusion
. Then ι is locally rigid.
Proof.
By Weil’s criterion it suffices to prove that the representation is infinitesimaly rigid, that is . As
one has that
. □
This lemma, with the same proof, is also valid for other representations of lattices obtained through complexifications of Lie groups. Related to local rigidity of complex hyperbolic lattices one should mention that the complex structure of a quotient of complex hyperbolic space by a torsion free lattice is locally rigid [Citation4]. It is still an open problem to decide if this complex structure is unique.
A step further is the passage from local rigidity to global rigidity in the case of lattices. This is known as the Mostow theorem and is due to Mostow for the cocompact case and to Prasad for the non-cocompact case (see [Citation13], p. 309):
Theorem 2.3.
Let be an isomorphism between two lattices in G1 and G2 (with Gi connected non-compact simple Lie group with trivial center non-isogenous to
). Then ρ extends to an isomorphism between the Lie groups G1 and G2.
In particular, in the case of two lattices and
in
is conjugated to
or to its complex conjugate by an element of
.
The main goal of this paper is to classify representations of lattices in into
. By Mostow-Prasad rigidity, they are rigid in
. But, as it turns out, they are not rigid in
. This should be compared with the superrigidity theorem by Margulis. We state it in a simplified form (see [Citation13], p. 323):
Theorem 2.4.
Assume G1 and G2 are connected non-compact simple Lie groups with trivial center. Assume that the rank of G1 is at least two. Let be a homomorphism from a lattice
such that
is Zariski dense in G2. Then ρ extends to a continuous homomorhism
.
The theorem is also valid if G1 is a Lie group of rank one other than those isogeneous to or
(see [Citation3]). The techniques used in the rank one case are inspired by Siu’s theorem [19] which states that any Kähler manifold homotopic to a compact complex hyperbolic manifold is either biholomorphic or conjugate biholomorphic to it.
Remark 2.5.
Mostow (see [
Citation14] section 22) constructed two cocompact lattices (which are arithmetic) and
of
and a surjective homomorphism
with infinite kernel. This gives an example of a violation of superrigidity for lattices in
. We are not able to exactly relate this homomorphism with our representations, since our group is the same as Mostow’s group only up to finite index.
2.1 Real and complex projective structures
In this paper we construct a large class of homomorphisms of Deligne-Mostow lattices in into
. One might think that these representations (taking torsion free subgroups of the lattice) might be holonomy representations of different complex projective structures on the quotient of complex hyperbolic space by the lattice. But if the complex structure of the quotient is fixed, that cannot be the case:
Theorem 2.6
(Mok-Yeung [
Citation15]). Let be a complex hyperbolic manifold of finite volume. Then its complex projective structure induced by the embedding
is the unique projective structure compatible with its complex structure.
On the other hand, the existence of different complex structures on the quotient (for a torsion free lattice Γ) is an open problem. The theorem is also true for complex hyperbolic manifolds of dimension greater than two (see [Citation15]) and for higher rank hermitian symmetric domains (see [Citation11]).
It is interesting to compare the analogous situation arising in the case of lattices in . One can consider the embedding
and look for deformations. The argument in Lemma 2.2 does not apply anymore and indeed in many situations the lattice is not locally rigid in
(see [Citation10]). In particular, the existence of totally geodesic hypersurfaces in a quotient of real hyperbolic space,
implies the existence of deformations, called bendings, of the group Γ inside
. The space of deformations of representations of Γ into
modulo conjugation has been studied for a long time with contributions by several authors (see the survey [Citation18] which describes, among others, contributions by Kac-Vinberg, Koszul and Benoist). In particular, starting from a cocompact discrete subgroup of
, there exists a whole component of the space of deformations consisting of discrete faithful representations ρ of Γ such that there exists a convex open subset in projective space
whose quotient by
is compact. These deformations correspond to holonomies of real projective structures on the underlying manifold structure of the hyperbolic structure.
2.2 Other deformations
Another problem related to the one we study is to classify embeddings of lattices in into
or the analogous problem of embeddings of lattices of
into
. For the latter, bending deformations were also studied in [Citation10]. The former has been studied in [Citation9, Citation20]. In particular, a discrete, torsion free, cocompact subgroup
embedded in
preserving a totally geodesic complex hypersurface in complex hyperbolic space has some rigidity in the sense that a connected component of the representation space into
consists also of discrete representations preserving a totally geodesic complex hypersurface. For a review and generalizations of this phenomenon we refer to [Citation12]. See also [Citation17] for a recent overview of maximal representations of lattices in
into
.
3 The results
We refer to Section 4 for the definition of Deligne-Mostow lattices. For the statement of the results we simply recall that three-fold Deligne-Mostow lattices of type one are parametrized by a pair of integers (p, k) and are generated by two elements J and R1 which are, respectively, a regular elliptic element of order 3 and a complex reflection of order p. We say that a representation of the lattice preserves generators types if the image of a complex reflection generator (respectively regular elliptic) is a complex reflection (respectively regular elliptic). Note that in this definition the image of a complex reflection could be the identity and its order could be a factor of the order of the Deligne-Mostow generator. That is, conjugacy classes of reflections might not be preserved.
Theorem 3.1.
Classification of representations of type one Deligne-Mostow lattices (with three-fold symmetry) into :
Representations preserving generator types are locally rigid and are classified in and .
Representations without constraints on generators are also locally rigid, except for lattices (4,3), (4,4), and (6,2) which have one dimensional branches for certain representations with regular elliptic generators. They are enumerated in the MAPLE file in [ Citation7].
Table 1 Compact three-fold Deligne-Mostow Lattices.
Table 2 Non-compact three3-fold Deligne-Mostow Lattices.
In are the details for each compact three-fold type one Deligne-Mostow lattice. The representations are defined with coefficients in a cyclotomic extension of , which depends on (p, k). We also compute the orbits of the Galois group action on the space of representations. For the compact Deligne-Mostow lattices, there exists an invariant Hermitian form which is always non-degenerate.
In are the details on non-compact three-fold type one lattices. Each pair (p, k) defines a -extension and each representation of the (p, k) lattice has coefficient in (a subfield of) this
extension. For each representation there exists an invariant Hermitian form that can be non-degenerate with signatures (2,1) or (3,0), or degenerate. While the irreducible representations can only come from non-degenerate configurations, the reducible ones can come from either degenerate or non-degenerate configurations (see Section 5). In the Reducible column the numbers (m, n) mean that m reducible representations come from non-degenerate configurations and n come from degenerate ones. The last column corresponds to the number of representations which contain in their kernel an element of the centralizer of the cusp group. One may interpret those representations as representations which factor through the orbifold fundamental group of a compactification of the complex hyperbolic orbifold defined by the Deligne-Mostow lattice.
Concerning the representations which do not preserve types of generators, the computations show that they are all locally rigid except for one dimensional branches for Deligne-Mostow lattices and (6, 2). We did not obtain, though, a parameterization of the few examples having a positive dimension. In fact, we obtain the Hilbert dimension of the system of equations describing representations for each fixed order of the eigenvalues of R1 (note that, for each Deligne-Mostow group of type (p, k) the type preserving representations, R1 has eigenvalues 1 and order p). In a few cases, described in detail in the MAPLE file, the Hilbert dimension is one. This implies that there exists a one dimensional branch without the need of computing a parameterization. We do not have a general understanding of this phenomenon.
We also determine which representations may be lifted to representations (see [Citation7]). The representations with generators
and
of other types are not tabulated.
In the following sections, we give details for the calculations in the case of the Deligne-Mostow lattice (3, 6). We also compute the reducible representations of this lattice when the generators are not of the same type as the ones of the Deligne-Mostow lattice (note that in this case, all representations are locally rigid). The same calculations for the other Deligne-Mostow lattices in the table can be found on GitHub ([Citation7]).
4 Deligne-Mostow Lattices
The Deligne-Mostow lattices were introduced and studied by Mostow and by Deligne and Mostow in various works, including [Citation5, Citation14]. They have a long history dating back to by Picard, Le Vavasseur and Lauricella. Deligne and Mostow start with a ball N-tuple which is a set of N real numbers in (0, 1) whose sum is 2. Then they look at a hypergeometric function defined using these parameters. Finally, they use the monodromy action to build some lattices in
. This list of lattices contains the first known examples of non-arithmetic complex hyperbolic lattices in dimensions 2 and 3.
Here we will concentrate on a special class of the Deligne-Mostow lattices in , called the lattices with three-fold symmetry (or the three-fold Deligne-Mostow lattices) and of type one. More precisely, first we restrict to the case of dimension 2. This means that we are looking at the group
acting on two-dimensional complex hyperbolic space and hence that we are looking at ball 5-tuples. In this dimension, the finite list of lattices that Deligne and Mostow found contains only lattices with some special symmetry. These are called the two-fold and three-fold symmetry lattices. A lattice has m-fold symmetry if m of the N elements of the ball N-tuple are equal.
In this work we will only look at some of the lattices with three-fold symmetry. For all of those, one can find a construction for a fundamental domain and a presentation in [Citation16]. In principle the two-dimensional Deligne-Mostow lattices depend on the five elements of the ball 5-tuple. The condition on the sum of the elements of the ball 5-tuple reduces the parameters to 4. Of these 4, 3 are equal, so the lattices only depend on two parameters. One common choice for the parameters is to choose the orders of some of the generators. We will hence identify the lattices using a pair (p, k) which corresponds to the ball 5-tuple .
The Deligne-Mostow lattices in with 3-fold symmetry are divided in four types according to the ranges of p and k. The type determines the presentation, the volume formula and the combinatorics of a fundamental domain. Here we will look at the lattices of type one, for which an explicit fundamental domain and presentation can be found, for example, in [Citation1]. We are choosing these because they have minimal complexity (minimum number of facets in a fundamental domain, shortest presentation). Note that they are all arithmetic. In terms of p and k they are characterized by
Then a presentation for them is given by(1)
(1)
We can rewrite this presentation in terms of the two generators J and R1 in the following way:(2)
(2)
One can go back to the previous presentation writing and
.
For the Deligne-Mostow lattices, the generator J is always regular elliptic of order 3, while the generator R1 is a complex reflection of order p. Recall that by the classification of isometries in complex hyperbolic space (see, for example, [Citation2]), elliptic elements have at least one fixed point inside , parabolic elements have a unique fixed point on the boundary and loxodromic elements have exactly two fixed points on the boundary. Elliptic elements have finite order and have all eigenvalues of norm 1. They can be of two types: regular elliptic when they have three distinct eigenvalues, or complex reflections when they have a repeated eigenvalue.
The same analysis can be carried out for the Deligne-Mostow lattices of the other three types. This can be found in the note [Citation8].
5 The group (3,6)
In this section we look in detail at the case . The presentation for this case is
(3)
(3)
We first note that for the Deligne-Mostow lattices, one has that J is a regular elliptic element, while R1 is a complex reflection. In general, while the presentation guarantees that and
are both elliptic, we cannot say more about their type. We will hence look at all possible combinations of types:
when
is regular elliptic and
is a complex reflection,
when
is a complex reflection and
is regular elliptic,
when
and
are both regular elliptic,
when
and
are both complex reflections.
Note that if and
are both complex reflections, then the group preserves the intersection of two complex lines in
. The group is therefore reducible and we will hence ignore this last case.
5.0.1 ![](//:0)
is regular elliptic and ![](//:0)
is a complex reflection
First, let us assume that the fixed points of do not intersect the fixed points of
. We will call these the non-degenerate configurations. We remark that this case might give rise to reducible representations when there exists a degenerate Hermitian form preserved by the generators with non-trivial kernel. We note in the following
and ζ9 a primitive 9th-root of unity.
Proposition 5.1.
A representation such that
is a complex reflection and
has three distinct eigenvectors which do not intersect the fixed line of
are given, up to conjugation, by the matrices
(4)
(4) and
(5)
(5)
with (r1, r2) in the following list
Proof.
The projective group acts transitively on ordered sets of three distinct points and a line not containing them in . One observes that the fixed points of J are
and the line fixed by R1 (generated by
and
) does not meet the fixed points.
Then the matrix of may be fixed to be the one in the statement of the lemma and the matrix of
will be of the form
(6)
(6)
By a computation, if and only if
with
.
In fact, the first six solutions appear from a simple factorization of the equations. The others come from the following system:
Writingboth polynomials factor over
. For each root of
the corresponding values of r1 satisfy a quadratic polynomial equation which factors over
. In a similar way, for each root of
the corresponding values of r1 satisfy a linear polynomial equation whose root belong to
. Therefore the whole set of solutions belongs to the field
. The solutions are then written in the basis of
. □
Remark 5.2.
The general procedure in the SAGE notebooks goes as follows. With the group relations we produce a system of equations and using SAGE we construct a polynomial ideal over
. Then we produce a Gröebner basis for our system of equations. This has, as output, an array of polynomials that generates our initial ideal. Finally, we solve these polynomials for each variable to find the solutions.
For each solution
we take lifts into
of the form:
In order to have a lift of the representation, the previous matrices should satisfy the group relations. Therefore, we use the relations to obtain a system of equations in the variables k and l. It is interesting to note that in the (3,6) case only the first six representations can be lifted to representations (see [
Citation7]).
We now look at the degenerate configurations, where one eigenvector of intersects the fixed complex line of
. This gives rise to reducible representations, but note that they might not be completely reducible.
Proposition 5.3.
The representation such that
is a complex reflection and
has three distinct eigenvectors with one intersecting the fixed line of
are given, up to conjugation, by the matrices
(7)
(7) and
(8)
(8)
where
and with r2 determined as follows:
for
or
,
for
or
.
Proof.
We choose a diagonal form for and impose that
has the same eigenvector e1. One can then impose that the fixed line in projective space passes through
and
. By conjugating by a diagonal matrix, one can suppose that
is as above with r2 to be determined. As in the previous proposition, a computation using Gröebner basis package in SAGE gives the result. Note that the two sets of solutions are complex conjugates. □
Remark 5.4.
Note that for solutions with the second form of R1 in (8), the image of the group is contained in a copy of
inside
This implies that, for each solution, the group is contained in a
-representation of the triangle group
In general, for the (p, k)-lattice, we can say that the image is contained in a
-representation of a triangle group
Note that if we remove the condition in the previous proposition, there exists a unique (extra) solution for which
This solution is part of the representations with type-preserving generators, and whose image is a cyclic group of order three generated by J. For the lattice (3,6), this is the unique reducible representation with finite image. This unique representation is contained also in representations for lattices (4,3), (5,3), (6,2), and (6,3). This solution is already taken into account in and .
5.0.2 ![](//:0)
is a complex reflection and ![](//:0)
is regular elliptic
Interchanging the type of and
, a computation with Gröbner basis proves the following:
Proposition 5.5.
There are no representations such that
is a complex reflection and
has three distinct eigenvectors which do not intersect the fixed line of
.
5.0.3 ![](//:0)
and ![](//:0)
are regular elliptic
The final case to consider occurs when both and
are regular elliptic. A simple computation shows that the two regular elliptic elements cannot have the same eigenspaces.
Proposition 5.6.
The representations such that
and
are regular elliptic with at least one distinct eigenspace are given, up to conjugation, by the matrices
(9)
(9) and
(10)
(10)
with r1, r2, s1, s2, s3 in the following list (up to complex conjugation)
,
,
,
,
,
,
,
,
,
,
,
Proof.
We can again fix J to be of the form above and one eigenvector for R1 to be the first column vector. Observe that a regular elliptic element of order three has null trace and, therefore, we obtain the form of the matrix for R1. We obtain the result finding a Gröbner basis for the system of equations as in the previous proposition. □
5.1 The Galois Conjugation
Consider the -extension by the cyclotomic polynomial
that we will denote
where ζ9 is again the 9-th root of unity. This extension has a subfield isomorphic to the
-extension by
that we will denote by
where we recall that
. Recall also that the Galois group of
is isomorphic
.
Remark 5.7.
For the first six solutions in Proposition 5.1, the group image belongs to up to a projective representative, therefore the corresponding groups have discrete image. This follows from the fact that
is a discrete set in
For the other solutions, up to a projective representative, the image belongs to where
denotes the ring of integers of
. Unfortunately, we do not know if the image of these groups is discrete.
In general, for every representation of the (p, k)-lattice that preserves generators types, we have (up to a projective representative) that its image is a subgroup of where
is the ring of integers of the extension
that contains the solution.
The action of the Galois group over the field
induces an action over the set of solutions, therefore on the set of representations. Recall that
is a cyclic group, and we will denote its generator by g. In particular,
. Therefore, the element g2 sends ζ9 to
and one can verify that
and so the group generated by g2 is the unique subgroup of the Galois group that fixes ω. Therefore, the subgroup
fixes the subfield
and in particular, all solutions
are fixed points under the Galois group action.
By a direct computation, one can check that the action of on the solutions
has three closed orbits, namely
, and
and these are the only closed orbits in the set of solutions under the Galois group action.
5.2 The Hermitian form
In what follows, we will find the Hermitian form that is preserved by each representation and it will sometimes be degenerate. Assume that H is an Hermitian form. Now if Γ preserve H, then the generators in the presentation (3) satisfy
From the first equation, we can assure that H is of the formwhere
and we can assume that
. Let
. Then the second equation provides a polynomial system on
. For each solution αi, we use Gröbner basis to reduce the system into two linear equations.
Once we solved the equation, we have that for the Galois orbits and
, the Hermitian form is non-degenerate and of signature (3,0). For the orbit
the Hermitian form is non-degenerate of signature (2,1). In the case of the Galois fixed points
all Hermitian forms are degenerate with two zero eigenvalues.
5.3 The cusp group
For a non-compact lattice, one defines a cusp holonomy as a conjugacy class of maximal subgroups (not containing loxodromic elements) fixing a point in the boundary of complex hyperbolic space. The following proposition was proved using a fundamental domain for the lattice (see [Citation1] and [Citation16]).
Proposition 5.8.
The Deligne-Mostow (3,6)-lattice has only one cusp. The cusp holonomy is the class determined by
.
The cusp holonomy might contain elliptic elements. The purely parabolic cusp holonomy is the maximal subgroup of the cusp holonomy with no elliptics.
Proposition 5.9.
The purely parabolic cusp holonomy of is
. The center of this group is the cyclic group generated by
.
A straightforward computation with the list of representations gives the following description of cusp groups. The representations for which the generator of the centralizer is elliptic, may be factorized (up to a finite index subgroup) through a representation of the fundamental group of the Satake-Baily-Borel compactification. Indeed, in the compactification, the centralizer of the cusp holonomy disappears.
Proposition 5.10.
The generator of the centralizer, , is elliptic of order at most three for all representations except for three (up to conjugation) where it can be chosen to be unipotent of the form
References
- Boadi, R. K., Parker, J. R. (2015). Mostow’s lattices and cone metrics on the sphere. Adv. Geom. 15(1): 27–53.
- Chen, S. S., Greenberg, L. (1974). Hyperbolic spaces. In: Contributions to Analysis (A Collection of Papers Dedicated to Lipman Bers), pp. 49–87.
- Corlette, K. (1992). Archimedean superrigidity and hyperbolic geometry. Ann. Math. (2) 135(1): 165–182. doi:10.2307/2946567
- Calabi, E., Vesentini, E. (1960). On compact, locally symmetric Kähler manifolds. Ann. Math. (2), 71: 472–507.
- Deligne, P., Mostow, G. D. (1986). Monodromy of hypergeometric functions and nonlattice integral monodromy. Inst. Hautes Études Sci. Publ. Math. 63: 5–89. doi:10.1007/BF02831622
- Falbel, E., Koseleff, P.-V., Rouillier, F. (2015). Representations of fundamental groups of 3-manifolds into PGL(3,C): exact computations in low complexity. Geom. Dedicata 177: 229–255.
- Falbel, E., Pasquinelli, I., Ucan-Puc, A. (2021). Code Representations of Deligne-Mostow lattices into PGL(3,C). https://github.com/IrenePasquinelli/Representations.git.
- Falbel, E., Pasquinelli, I., Ucan-Puc, A. (2021). Representations of Deligne-Mostow lattices into PGL(3, C) – Part II.
- Goldman, W. M., Millson, J. J. (1987). Local rigidity of discrete groups acting on complex hyperbolic space. Invent. Math. 88(3): 495–520.
- Johnson, D., Millson, J. J. (1987). Deformation spaces associated to compact hyperbolic manifolds. In: Discrete Groups in Geometry and Analysis (New Haven, Conn., 1984). Progress in Mathematics, Vol. 67. Boston: Birkhäuser, pp. 48–106.
- Klingler, B. Un théorème de rigidité non-métrique pour les variétés localement symétriques hermitiennes. Comment. Math. Helv. 76(2): 200–217. doi:10.1007/s00014-001-8320-0
- Koziarz, V., Maubon, J. (2017). Maximal representations of uniform complex hyperbolic lattices. Ann. Math. (2) 185(2): 493–540.
- Morris, D. W. (2015). Introduction to Arithmetic Groups. Deductive Press. https://deductivepress.ca/
- Mostow, G. D. (1980). On a remarkable class of polyhedra in complex hyperbolic space. Pacific J. Math. 86(1): 171–276.
- Mok, N., Yeung, S.-K. (1993). Geometric realizations of uniformization of conjugates of Hermitian locally symmetric manifolds. In: Ancona, V., Silva, A., eds. Complex Analysis and Geometry. University Series in Mathematics. New York: Plenum, pp. 253–270.
- Pasquinelli, I. (2016). Deligne-Mostow lattices with three fold symmetry and cone metrics on the sphere. Conform. Geom. Dyn. 20: 235–281. doi:10.1090/ecgd/299
- Pozzetti, M. B. (2015). Maximal representations of complex hyperbolic lattices into SU(M,N). Geom. Funct. Anal. 25(4): 1290–1332.
- Quint, J.-F. (2010). Convexes divisibles (d’après Yves Benoist). 332: pages Exp. No. 999, vii, 45–73. 2010. Séminaire Bourbaki. Volume 2008/2009. Exposés 997–1011.
- Siu, Y. T. (1980). The complex-analyticity of harmonic maps and the strong rigidity of compact Kähler manifolds. Ann. of Math. (2) 112(1): 73–111. doi:10.2307/1971321
- Toledo, D. (1989). Representations of surface groups in complex hyperbolic space. J. Differ. Geom. 29(1): 125–133.