RANK TWO JUMP LOCI FOR SOLVMANIFOLDS AND LIE ALGEBRAS

arXiv:1411.0447v2 [math.AT] 29 Jul 2017

ŞTEFAN PAPADIMA1 AND LAURENŢIU PAUNESCU
Abstract. We consider representation varieties in SL2 for lattices in solvable Lie groups, and
representation varieties in sl2 for finite-dimensional Lie algebras. Inside them, we examine
depth 1 characteristic varieties for solvmanifolds, respectively resonance varieties for cochain
Differential Graded Algebras of Lie algebras. We prove a general result that leads, in both
cases, to the complete description of the analytic germs at the origin, for the corresponding
embedded rank 2 jump loci.

1. Introduction and statement of results
Jump loci are basic objects in geometry, topology and group theory. They appear in the
following way. Let M be a connected, compact differentiable manifold (up to homotopy), with
fundamental group π. Let ι : G Ñ GLpV q be an algebraic representation of complex linear
algebraic groups. The representation variety Hompπ, Gq is an affine variety with distinguished
basepoint 1, the trivial group homomorphism. It encodes the representation theory of π into
G. Furthermore, it comes equipped with a collection of closed subvarieties: the characteristic
varieties (or jump loci) in degree i and depth r
(1)

Vri pM, ιq “ tρ P Hompπ, Gq | dim H i pM, ιρ V q ě ru ,

which stratify the local systems on M with typical fiber V that factor through ι, according to the
dimension of the corresponding twisted cohomology of M . This rich structure contains valuable
information on the geometry and topology of M .
The rank one case (when ι “ idCˆ ) received a lot of attention. The corresponding characteristic
varieties, denoted simply by Vri pM q, are the topological counterpart, for r “ 1, of the loci
defined in algebraic geometry by Green and Lazarsfeld in [9, 10], when M is a complex projective
manifold. Results of Arapura [1], further refined in [6], show how the regular maps from M onto
curves of general type may be recovered from the geometry of the variety V11 pM q, when M is
supposed merely quasi-projective. In topology, it is known that the rank 1 jump loci V1i pM q
control delicate finiteness properties of Alexander-type invariants of M . This fact was used in
[4, 3] to obtain significant results on certain important subgroups of mapping class groups of
closed Riemann surfaces.
The rank two case (when G is SL2 pCq or PSL2 pCq) is considerably more difficult. Indeed, the
universality theorem of Kapovich and Millson [13] shows that the varieties Hompπ, PSL2 pCqq have
arbitrarily bad singularities away from 1, when π runs through the family of Artin groups. At the
same time, the large number of applications of this case makes it very interesting. For example,
2010 Mathematics Subject Classification. Primary 55N25. Secondary 17B56, 20J06, 22E40.
Key words and phrases. Representation variety, characteristic variety, resonance variety, analytic germ, solvmanifold, Lie algebra.
1 Partially supported by PN-II-ID-PCE-2011-3-0288, grant 132/05.10.2011.
1

2

S. PAPADIMA AND L. PAUNESCU

a recent result from [23] establishes a connexion between the rank 2 case and a difficult open
problem about the monodromy action on the Milnor fiber homology of a complex hyperplane
arrangement.
In this note, we approach analytic germs at 1 of representation varieties and jump loci through
the prism of the main result from [5]. The idea is to replace M by a model A “ pA , dq:
a connected, finite-dimensional Commutative Differential Graded Algebra (for short, a cdga)
having the same Sullivan minimal model [26] as the complex de Rham cdga of M . Denote by
θ : g Ñ glpV q the tangent map at 1 of ι. Replace the G-representation variety of π by the affine
variety of g-valued flat connections on A, F pA, gq Ď A1 b g, with natural basepoint 0. For
ω P F pA, gq, consider the cochain complex pA b V, dω q, where dω is the associated algebraic
covariant derivative. Replace Vri pM, ιq in (1) by the resonance varieties Rri pA, θq defined in (2).
These Zariski closed subvarieties of F pA, gq record how dim H i pAbV, dω q jumps, for ω P F pA, gq.
See Section 2 for more details.
In what follows, we will denote by Xpxq the analytic germ at x of an affine variety X . Theorem
B from [5] establishes an isomorphism Hompπ, Gqp1q » F pA, gqp0q that identifies Vri pM, ιqp1q with
Rri pA, θqp0q for all i, r, when A models M . We are going to examine topological and algebraic
Green–Lazarsfeld loci, corresponding to r “ 1. In the rank 1 case, we will drop ι and θ from
notation.
To state our first main result, we need to recall two constructions from [18] (see also Section
2). The Zariski closed subset F 1 pA, gq Ď F pA, gq consists of those flat connections of the form
ω “ η b g with dη “ 0. The additional condition det θpgq “ 0 defines the Zariski closed subset
ΠpA, θq Ď F 1 pA, gq.

.

.

Theorem 1.1 (Corollary 2.5). Let A “ pA , dq be a connected, finite-dimensional cdga over C.
Let θ : g Ñ glpV q be a finite-dimensional representation
of a finite-dimensional Lie algebra g,
Ť
with V ‰ 0. Assume that 0 is an isolated point of iě0 R1i pAq, and F pA, gqp0q “ F 1 pA, gqp0q .
Then R1i pA, θqp0q “ ΠpA, θqp0q , for all i.

.

In Section 3, we apply this general result to a discrete, co-compact subgroup Γ of a 1-connected
solvable real Lie group S and the associated aspherical solvmanifold M “ S{Γ. It leads to the
following complete description of embedded germs at 1 of rank two topological Green–Lazarsfeld
loci, for solvmanifolds. (In what follows, we denote by PpHq the projective space of a vector
space, and by V pf q the zero set of a polynomial.)
Theorem 1.2 (Theorem 3.3). Let M “ S{Γ be a solvmanifold and let ι : G Ñ GLpV q be a
rational representation of a complex, semisimple linear algebraic group of rank 1, with tangent
map θ : sl2 Ñ glpV q. Then the germ at 1 of HompΓ, Gq is isomorphic to the germ at 0 of the
cone on PpH 1 pM qq ˆ Ppsl2 q, and the embedded topological Green–Lazarsfeld germs are given by
#
H
if H i pM q “ 0,
i
V1 pM, ιqp1q “
1
conepPpH pM qq ˆ V pdet ˝θqqp0q otherwise.
This extends the computation done in [18] for nilmanifolds, by replacing Nomizu’s model [21]
of such a manifold with a model found by Kasuya [14] for an arbitrary solvmanifold. As explained
in [25], lattices in solvable Lie groups are much more complicated than those in nilpotent Lie
groups. Nevertheless, Theorem 1.1 makes things work well. Note that the first assumption from
Theorem 1.1 (on rank one resonance) also appears in Theorem 1 from [7]: it is equivalent to
the fact that all completed Alexander invariants of M are finite-dimensional, for an arbitrary

RANK TWO JUMP LOCI FOR SOLVMANIFOLDS AND LIE ALGEBRAS

3

compact manifold M modeled by A. To check it for solvmanifolds, we prove in Theorem 3.5 a
result of independent interest: each rank one characteristic variety V1i pM q is finite, when M is
the classifying space of a virtually polycyclic group.
Next, we recall that Nomizu’s model for the nilmanifold M “ S{Γ is the Chevalley–Eilenberg
cochain cdga, C ps b Cq, of the nilpotent Lie algebra s b C, where s is the Lie algebra of S. In
Section 4, we apply Theorem 1.1 to another large class of examples: cochain cdga’s of arbitrary
finite-dimensional Lie algebras. Denoting by H phq untwisted Lie algebra cohomology, we obtain
in Theorem 4.8 the following complete description of embedded germs at 0 of rank two algebraic
Green–Lazarsfeld loci, for this class.

.

.

Theorem 1.3 (Theorem 4.8). Let h be a finite-dimensional complex Lie algebra and let θ : sl2 Ñ
glpV q be a finite-dimensional Lie representation with V ‰ 0. Then F pC h, sl2 qp0q is equal to
t0u when H 1 phq “ 0, and otherwise is isomorphic to conepPpH 1 phqq ˆ Ppsl2 qqp0q . In the first
case, R1i pC h, θqp0q is empty or equal to t0u, depending on whether H i phq vanishes or not. In the
second case, the embedded germs of depth 1 resonance varieties are given by
#
H
if H i phq “ 0,
i
R1 pC h, θqp0q “
1
conepPpH phqq ˆ V pdet ˝θqqp0q otherwise.

.

.

.

When A “ C h, the analysis of the second hypothesis from Theorem 1.1 (on flat connections) turns out to be the more difficult part. We know from [18] that F pA, sl2 q “ F 1 pA, sl2 q,
when h is nilpotent. We first extend this property to the solvable case, where we prove that
F pC h, sl2 qp0q “ F 1 pC h, sl2 qp0q . Along the way, we show in Lemma 4.3(2) that the global
property F pC h, sl2 q “ F 1 pC h, sl2 q actually characterizes the nilpotence of h, within a certain
metabelian class. Finally, we associate to an arbitrary finite-dimensional Lie algebra h a solvable
Lie algebra rs, and we prove in Proposition 4.6 that, for any finite-dimensional Lie algebra k,
there is a natural analytic isomorphism, F pC h, kqp0q » F pC rs, kqp0q . This leads to the equality
F pC h, sl2 qp0q “ F 1 pC h, sl2 qp0q , in the general case.

.

.

.

.

.

.

.

.

.

.

2. Vanishing rank one resonance
We start by isolating a useful property of rank 1 resonance. In the sequel, this will enable us
to treat simultaneously the germs at the origin of rank 2 jump loci, for both solvmanifolds and
Lie algebras.
First, we need to review a couple of basic definitions and facts related to algebraic jump loci,
following [5] and [18]. Unless otherwise mentioned, our ground ring will be C.
Let A “ pA , dq be a cdga, whose defining axioms capture the essential algebraic features of
the de Rham algebra of a differentiable manifold. Our standard assumption is that A is finitedimensional (as a vector space) and connected (i.e., A0 “ C ¨ 1). For a finite-dimensional Lie
algebra g, we denote by F pA, gq Ď A1 b g the variety of g-valued flat connections on A, given
by the solutions of the Maurer–Cartan equation, dω ` 12 rω, ωs “ 0. This construction gives a
Zariski closed subset of A1 b g containing the distinguished point 0, and is natural in both A and
g. When g is abelian, F pA, gq “ H 1 pAq b g, since A is connected. Otherwise, the singularity
F pA, gqp0q can be pretty complicated. We will denote F pA, Cq simply by F pAq.
Now, let θ : g Ñ glpV q be a finite-dimensional Lie representation with V ‰ 0. For ωřP F pA, gq,
the covariant derivative dω acts on Ařb V (via θ), in the following way. Write ω “ i ηi b gi P
A1 b g. Then dω pη b vq “ dη b v ` i ηi η b θpgi qv, for η b v P A b V . The flatness condition

.

.

.

4

S. PAPADIMA AND L. PAUNESCU

implies that d2ω “ 0. We may thus speak for each degree i about the descending filtration of
F pA, gq by the depth r resonance varieties
(2)

Rri pA, θq “ tω P F pA, gq | dim H i pA b V, dω q ě ru ,

which are Zariski closed in F pA, gq. We are going to pay particular attention to the depth 1
resonance varieties, since their germs at 0 are isomorphic to the germs at 1 of the corresponding
topological Green–Lazarsfeld loci V1i pM, ιq, when A models M .
The simplest case is the rank one case, corresponding to θ “ idC , when Rri pA, θq Ď F pA, Cq
is denoted simply by Rri pAq Ď F pAq, and F pAq “ H 1 pAq. This case is much more studied
than the non-abelian situation. Our starting point in this note is to identify properties of rank
1 resonance that give valuable information on higher rank resonance. A simple useful remark in
this direction, made in [18], is that
(3)

R1i pA, θqp0q ‰ H ðñ R1i pAqp0q ‰ H ðñ H i pAq ‰ 0 .

More information comes from considering the quadratic map
P : A1 ˆ g ÝÑ A1 b g ,

(4)

pη, gq ÞÑ η b g ,

1

the induced map P : H pAq ˆ g ÝÑ F pA, gq, and the (essentially) rank one part F 1 pA, gq :“
P pH 1 pAq ˆ gq, which is Zariski closed in F pA, gq and contains the origin 0. Define ΠpA, θq :“
P pH 1 pAq ˆ V pdet ˝θqq, where det : glpV q Ñ C is the deteminant. Again, ΠpA, θq is Zariski closed
in F 1 pA, gq and contains 0. Moreover, as shown in [18], H i pAq ‰ 0 implies that
(5)

ΠpA, θq Ď R1i pA, θq .

This higher rank resonance bound actually follows from a more precise result.
Theorem 2.1 ([18]). Let ω “ η b g with dη “ 0 be an arbitrary element of F 1 pA, gq. Then
ω P R1i pA, θq if and only if there is an eigenvalue λ of θpgq such that λη P R1i pAq.
In coordinates, consider the quadratic map
(6)

P : Cm ˆ Cn ÝÑ Cmn ” Cm b Cn ,

px, yq ÞÑ z ,

where zij “ xi yj . We denote its image by F 1 pm, nq. Clearly, F 1 pm, nq “ F 1 pA, gq, when
dim H 1 pAq “ m and dim g “ n. As is well-known, F 1 pm, nq » conepPm´1 ˆ Pn´1 q is Zariski
closed in Cm b Cn .
Ť
Clearly, P ´1 p0q “ Cm ˆ 0 0 ˆ Cn . To describe the other fibers, let us consider the Cˆ -action
defined by t ¨ px, yq “ pt´1 x, tyq, for t P Cˆ . Then P px, yq “ P px1 , y 1 q if and only if px, yq and
px1 , y 1 q lie in the same Cˆ -orbit, when P px, yq ‰ 0.
We will use the following nice property of the regular map (6).
Lemma 2.2. A regular function f on Cm ˆ Cn factors through the surjection P : Cm ˆ Cn ։
F 1 pm, nq if and only if f is Cˆ -invariant. If this is the case, then the (unique) quotient function
F is regular on F 1 pm, nq.
Proof. If f factors, then clearly f is Cˆ -invariant, since P pt ¨ px, yqq “ P px, yq, for all t P Cˆ
and px, yqřP Cm ˆ Cn . Conversely, Cˆ -invariance means that the polynomial f is of the form
f px, yq “ |I|“|J| cIJ xI yJ where pI, Jq P Nm ˆ Nn . This plainly implies factorization, according
to the above description of the fibers of P . The second claim follows from the fact that the
algebra of Cˆ -invariant polynomials is generated by the monomials xi yj .


RANK TWO JUMP LOCI FOR SOLVMANIFOLDS AND LIE ALGEBRAS

5

Definition 2.3. We say that the cdga A has Ş
trivial resonance in degree i if 0 is an isolated
point of R1i pAq. In other words, R1i pAq “ t0u Y α pV pϕα q X H 1 pAqq, where tϕα u are polynomial
functions on A1 and there is ϕ0 such that ϕ0 p0q ‰ 0.
This property has the following significant higher rank consequence.
Theorem 2.4. If A has trivial resonance in degree i, then ΠpA, θq and R1i pA, θq X F 1 pA, gq have
the same germ at 0, for any representation θ : g Ñ glpV q.
Proof. By (3) and (5), we know that 0 P ΠpA, θq Ď R1i pA, θq X F 1 pA, gq. Set p “ dim V and
ś
consider the polynomial function on A1 ˆ Cp , frpη, λq “ pi“1 ϕ0 pλi ηq, where ϕ0 is chosen as in
definition 2.3. Since fr is symmetric in λ, frpη, λq “ f pη, σq, for some polynomial function f on
A1 ˆ Cp , when σi is the
řpi-th elementary symmetric function σi pλq, for i “ 1, . . . , p. Next, write
detpt ¨ id ´θpgqq “ tp ` i“1 p´1qi ci tp´i , where each ci is a polynomial function in g P g. Clearly,
ci pgq “ σi pλq, for all i, where λ1 , . . . , λp are the eigenvalues of θpgq. Define the polynomial
function f on A1 ˆ g by f pη, gq “ f pη, cpgqq. By construction, f pη, gq “ frpη, λq, when λ1 , . . . , λp
are the eigenvalues of θpgq.
We may thus apply Lemma 2.2 to the quadratic map (4) and the regular function f . Let us
check that f factors through P . If η “ 0 or g “ 0, then clearly f pη, gq “ ϕ0 p0qp . It is equally
clear that f pt´1 η, tgq “ f pη, gq. Hence, we may find a regular function F on A1 b g such that
F ˝ P “ f and F p0q “ ϕ0 p0qp ‰ 0.
Ť
Our claim will follow from the inclusion R1i pA, θq X F 1 pA, gq Ď ΠpA, θq V pF q. To prove
this inclusion, assume that ω P R1i pA, θq, where ω “ η b g with dη “ 0, η ‰ 0 and det θpgq ‰ 0.
We infer from Theorem 2.1 that there is an eigenvalue λj ‰ 0 of θpgq such that λj η P R1i pAq.
Therefore, ϕ0 pλj ηq “ 0, according to definition 2.3. By the construction of f , 0 “ frpη, λq “
f pη, gq. Finally, the factorization property of f implies that f pη, gq “ F pωq, and we are done. 
Under an additional hypothesis, the above result implies that the bound (5) is sharp, at the
level of germs at the origin.
Corollary 2.5. If A has trivial resonance in degree i and F pA, gqp0q “ F 1 pA, gqp0q , then
R1i pA, θqp0q “ ΠpA, θqp0q , for any representation θ : g Ñ glpV q.
The trivial resonance property is also related to delicate finiteness properties of Alexander
invariants of spaces [22, 7]. For cdga’s with d “ 0, it follows from definition (2) that all resonance
varieties Rri pA, θq are homogeneous. In particular, in this case, triviality of resonance in degree i
is equivalent to R1i pAq “ t0u. As shown in [22], examples of this sort abound. More precisely, the
cdga’s with d “ 0 and fixed Betti numbers bi “ dim Ai may be viewed as the points of an affine
variety. On this parameter space, triviality of resonance in degree i is a Zariski open condition,
when bi ą 0. Moreover, for i “ 1 and b2 ě 2b1 ´ 3 ě ´1, this open set is non-void, as follows
from Theorem 1.1 in [24]. In the next sections, we will exhibit new classes of examples, with
trivial resonance and non-zero differential.
Example 2.6. For n ě 2, let M “ Cztn pointsu be the classifying space of a finitely generated
free non-abelian group. It is well-known that in this case A “ pH pM q, d “ 0q is a model of M ,
and R11 pAq “ Cn . Hence, A does not have trivial resonance in degree 1.

.

6

S. PAPADIMA AND L. PAUNESCU

This simple example also shows that the second assumptionřfrom Corollary 2.5 is not always
satisfied. Indeed, for an arbitrary cdga A “ pA , dq and ω “ i ηi b gi P A1 b g, the Maurer–
Cartan equation is equivalent to
ÿ
ÿ
(7)
dηi b gi `
ηi ηj b rgi , gj s “ 0.

.

i

iăj

In our example, (7) shows that F pA, gq “ A1 bg. When dim g ą 1, it follows that F pA, gqp0q ‰
F pA, gqp0q .
1

3. Solvmanifolds
In this section, we apply the general theory to solvmanifolds, where it leads to a complete description of germs at 1 for both varieties of SL2 -representations and topological Green–Lazarsfeld
loci. We also show that the rank one topological Green–Lazarsfeld sets of virtually polycyclic
groups are finite.
A solv-lattice is a discrete, co-compact subgroup Γ of a 1-connected solvable real Lie group S,
giving rise to the compact, aspherical solvmanifold M “ S{Γ, with fundamental group Γ. For
such a manifold, Kasuya constructed in [14] a connected, finite-dimensional cdga model. Since
the details are rather complicated, we are going to extract only the properties of the Kasuya
model A of M that are relevant to our study, following [14, 16].
Let n be the nilshadow of the solvable Lie algebra s of S. The model A is a sub-cdga of
the Chevalley-Eilenberg cochain algebra of the finite-dimensional nilpotent Lie algebra n b C,
B :“ C pn b Cq. This information is enough to prove that A satisfies the second assumption
from Corollary 2.5 globally, for g “ sl2 .

.

.

.

Lemma 3.1. If A is a Kasuya solvmanifold model and g “ sl2 , then F pA, gq “ F 1 pA, gq.
Proof. Since A Ď B , equation (7) readily implies that F pA, gq “ F pB, gq X A1 b g, for any g.
Similarly, F 1 pA, gq “ F 1 pB, gq X A1 b g. Finally, the nilpotence of n b C implies, for g “ sl2 ,

the equality F pB, gq “ F 1 pB, gq [18]. Our claim follows.

. .

To verify triviality of resonance for Kasuya models, we will use a general result from [7],
which we now recall. Let M be a connected, finite CW-complex, with fundamental group π
and universal abelian cover M ab . The action of πab by deck-transformations makes H pM ab q a
p pM ab q, where I is the augmentation
graded Crπab s-module, with I-adic completion denoted H
ideal of the group ring Crπab s. Let A be a cdga model of a connected, compact manifold M .
Ť
p pM ab q is finiteThen 0 is an isolated point of iě0 R1i pAq if and only if the C-vector space H
ab
1
dimensional. When M “ S{Γ is a solvmanifold, note that H pM q “ H pΓ q, where Γ1 is the
derived subgroup.

.

.

.

.

.

Lemma 3.2. All connected covers of a solvmanifold M “ S{Γ have finite dimensional homology.
Moreover, if H i pM q ‰ 0, then A has trivial resonance in degree i, for an arbitrary cdga model A
of M .
Proof. By the above discussion and (3), it is enough to show that the vector space H pGq is
finite-dimensional, for any subgroup G Ď Γ. This in turn will follow from results in [25, Chapters
III-IV]. We know that the solv-lattice Γ is a polycyclic group, by [25, Proposition 3.7]. Hence,
G must be polycyclic [25, Remark 4.2]. According to Theorem 4.28 from [25], G contains as a
normal subgroup of finite index a solv-lattice Γ0 , with associated (compact) solvmanifold M0 .

.

RANK TWO JUMP LOCI FOR SOLVMANIFOLDS AND LIE ALGEBRAS

7

A transfer argument shows then that H pGq is a quotient of H pΓ0 q “ H pM0 q, and we are
done.


.

.

.

We may now describe germs at 1 of non-abelian topological Green–Lazarsfeld loci for solvmanifolds, as follows.
Theorem 3.3. Let M “ S{Γ be a solvmanifold and let ι : G Ñ GLpV q be a rational representation of a complex, semisimple linear algebraic group of rank 1, with tangent map θ : sl2 Ñ glpV q.
Then the germ at 1 of HompΓ, Gq is isomorphic to the germ at 0 of the cone on PpH 1 pM qqˆPpsl2 q,
and the embedded topological Green–Lazarsfeld germs are given by
#
H
if H i pM q “ 0,
i
V1 pM, ιqp1q “
conepPpH 1 pM qq ˆ V pdet ˝θqqp0q otherwise.
Proof. Let A be a Kasuya model for M . Theorem B from [5] allows us to replace HompΓ, Gqp1q
by F pA, sl2 qp0q and V1i pM, ιqp1q by R1i pA, θqp0q . The assertion about HompΓ, Gqp1q follows then
from Lemma 3.1 and the description (6) of F 1 pA, sl2 q, since H pAq » H pM q. If H i pAq “ 0,
R1i pA, θqp0q “ H, by (3). When H i pAq ‰ 0, Lemma 3.2 and Corollary 2.5 together imply that
R1i pA, θqp0q “ ΠpA, θqp0q . The identification of ΠpA, θq with the cone on PpH 1 pM qq ˆ V pdet ˝θq
follows as before.


.

.

Note that the complete description of embedded non-abelian jump loci from Theorem 3.3
depends only on θ and the untwisted Betti numbers of M , and extends the similar result on
nilmanifolds obtained in [18].
Example 3.4. When the Lie group S is nilpotent, a remarkable result of Dixmier [8] says that
the untwisted Betti numbers of M have no gaps, i.e., bi pM q ‰ 0 for all i ď dim M . This no longer
holds for solvmanifolds. Indeed, Kasuya constructed in [14, Example 10.4], for every s ě 1, a
solvmanifold M of dimension 2s ` 2 with the property that bs`1 pM q “ 0.
We close this section by examining the rank one jump loci of virtually polycyclic groups. Let
M be a connected CW-complex with finite 1-skeleton and (finitely generated) fundamental group
π. Denote by TpM q :“ Hompπ, Cˆ q “ Hompπab , Cˆ q the affine character torus, corresponding to
the case ι “ idCˆ . For ρ P TpM q, let Cρ be the associated rank 1 local system on M , identified
with the right π-module Cρ , where z ¨ g “ zρpgq, for z P C and g P π. As noted in [18], the rank
1 jump loci (the characteristic varieties Vri pM q) are given by
(8)

Vri pM q “ tρ P TpM q | dim Hi pM, Cρ q ě ru .

When M is aspherical, we will replace it by π in the notation. Our goal is to prove the
following.
Theorem 3.5. If π is a virtually polycyclic group, then the characteristic variety V1i pπq is finite,
for all i.
Ť
This extends a result from [17], where it was shown that iě0 V1i pπq “ t1u, when π is a finitely
generated nilpotent group. At the same time, this gives a more precise version of Lemma 3.2,
when M “ S{Γ is a solvmanifold (aspherical, with polycyclic fundamental group Γ) with cdga
model A, since Vri pM qp1q » Rri pAqp0q , by the main result of [5]. Theorem 3.5 was proved for
solv-lattices by Kasuya in [15], using a different method.
We begin by pointing out a useful virtual property, for characteristic varieties of groups.

8

S. PAPADIMA AND L. PAUNESCU

Lemma 3.6. Let f : K ãÑ G be the inclusion of a finite index subgroup K in a finitely generated
group G. Then f ˚ : TpGq Ñ TpKq has finite fibers and sends Vri pGq into Vri pKq, for all i, r. In
particular, if V1i pKq is finite for all i, then G has the same property.
Proof. Clearly, fab : Kab Ñ Gab has finite index image. By the exactness of the T-functor, f ˚
has finite kernel, which proves the first assertion. For ρ P TpGq, a transfer argument (see [2,
III.9]) shows that f : H pK, Cf ˚ ρ q Ñ H pG, Cρ q is surjective, whence our second claim. The last
property follows from the first two.


. .

.

If π is virtually polycyclic, it contains a finite index subgroup π0 which is polycyclic with
infinite cyclic quotients in a composition series, by [25, Lemma 4.6]. Due to Lemma 3.6, we may
thus assume in Theorem 3.5 that π is actually poly-Z, and argue by induction on the length of
a composition series.
The induction step goes as follows. Let α be an automorphism of a finitely generated group
G. Denote by Gα the semidirect product G ¸α Z and consider the exact sequence
j

p

1 Ñ G ÝÑ Gα ÝÑ Z Ñ 1 .

(9)

We are going to use, for a Gα -module U , the Hochschild–Serre spectral sequence of the group
extension (9) ([2, p. 171]),
2
Est
“ Hs pZ, Ht pG, U qq ùñ Hs`t pGα , U q ,

(10)

which collapses at the E 2 -term. We denote by τ “ σp1q P Gα the lift of 1 P Z to Gα , via the
canonical section σ of p.
We start by using trivial coefficients Z, to describe character tori. We find that pGα qab » C‘Z,
where C denotes the coinvariants of αab acting on Gab . Thus, ρ P TpGα q is identified with
pχ, λq P TpCq ˆ Cˆ , χ is identified with j ˚ ρ P TpGq, and λ “ ρpτ q.
For U “ Cρ , the spectral sequence (10) collapses to the isomorphism
Hi pGα , Cρ q “ H0 pZ, Hi pG, Cχ qq ‘ H1 pZ, Hi´1 pG, Cχ qq .

(11)

Moreover, the action of 1 P Z on H pG, Cχ q may be described as follows, cf. [2, p. 171 and
p. 78-79]. Note that α : G Ñ G is conjugation by τ . Let pα, idq : pG, Cχ q Ñ pG, Cχ q be the
automorphism in the category of coefficients associated to α and idC . Then the right action of
1 P Z on H pG, Cχ q is given by λ ¨ pα, idq´1
˚ .

.

.

Lemma 3.7. If dim Hi pG, U q ă 8 for all i and every finite-dimensional G-module U , then the
same property holds for Gα .
Proof. This is a straightforward consequence of the spectral sequence (10).



Lemma 3.8. Assume that G has the finiteness property from Lemma 3.7. In the above setting, ρ P V1i pGα q if and only if either j ˚ ρ “ χ P V1i pGq and λ is an eigenvalue of pα, idq˚i :
Hi pG, Cχ q Ñ Hi pG, Cχ q or the same conditions hold for i ´ 1.
Proof. By definition (8), ρ P V1i pGα q if and only if Hi pGα , Cρ q ‰ 0. We infer from (11) that
Hi pGα , Cρ q ‰ 0 if and only if 1 is an eigenvalue for the monodromy action of 1 P Z on either
Hi pG, Cχ q or Hi´1 pG, Cχ q. Our claim follows.

Proof of Theorem 3.5. As noticed before, we may assume that π is poly-Z. We suppose
inductively that the group G from (9) has the finiteness property from Lemma 3.7, and Theorem
3.5 holds for G. We will finish the induction by showing that both properties are inherited by

RANK TWO JUMP LOCI FOR SOLVMANIFOLDS AND LIE ALGEBRAS

9

Gα . Lemma 3.7 takes care of the first property. We may use then Lemma 3.8 to deduce that, if
ρ P V1i pGα q, then χ “ j ˚ ρ belongs to the finite set V1i pGq Y V1i´1 pGq, and the second component
of ρ, λ, is among the finitely many eigenvalues of pα, idq˚q acting on Hq pG, Cχ q, for q “ i or i ´ 1.
This completes our proof.
l
4. Lie algebras
The tools developed in Section 2 also enable us to describe completely the germs at 0 of
both sl2 -valued flat connections and their depth 1 resonance subvarieties, for cochain cdga’s of
finite-dimensional Lie algebras.
By a result of Hattori [11], the cdga A “ C ps b Cq is a model for the solvmanifold S{Γ, when
the Lie algebra s of S is completely solvable. Due to Lemmas 3.1 and 3.2, the comparison theorem
with the corresponding topological germs at 1 from [5] implies that F pA, sl2 qp0q “ F 1 pA, sl2 qp0q
and A has trivial rank one resonance in degree i, if H i pAq ‰ 0. Therefore, Corollary 2.5 may be
used for the cochain cdga A and g “ sl2 . In what follows, we aim at extending this approach to
an arbitrary cochain cdga A “ C h, assuming only that the Lie algebra h is finite-dimensional.
Ť
Remark 4.1. Millionschikov proved in [19] that tě0 R1t pC sq is finite, for an arbitrary solvable
Lie algebra s. By the above discussion, this is an infinitesimal analogue of Theorem 3.5, in the
completely solvable case.

. .

.

.

We refer the reader to [12, Ch. VII-VIII] for basic facts related
Ź ˚to Lie algebra (co)homology.
Let h be a finite-dimensional Lie algebra. Note that C h “ p
h , dq has the exterior algebra
on the dual vector space h˚ as underlying commutative graded algebra, hence C h is connected
and finite-dimensional. Denoting by H ph, U q the Lie cohomology of h with coefficients in the
h-module U , note also that H pC hq is the Lie cohomology of h with trivial C-coefficients, denoted
simply by H phq. Hence, F pC hq “ H 1 phq.
We will need a couple of results on jump loci of cochain cdga’s from [18]. First, for any finitedimensional Lie algebra g, there is a natural isomorphism between the variety F pC h, gq and the
Lie representation variety Repph, gq Ď h˚ b g “ Homph, gq, consisting of all Lie homomorphisms
from h to g. Moreover, F 1 pC h, gq is identified with Rep1 ph, gq :“ tϕ P Repph, gq | rankpϕq ď
1u. For g “ C (the rank one case), clearly Repph, Cq “ Repphab , Cq “ Homph{rh, hs, Cq “
HompH1 phq, Cq “ H 1 phq, thus recovering the previous identification. For ω P H 1 phq, we will
denote by ω C the corresponding rank 1 h-module. This leads to the following description of rank
1 resonance:

.

.

.

.

.
.

.

.

.

Rri pC hq “ tω P H 1 phq | dim H i ph, ω Cq ě ru .

(12)

.

We may now establish the Lie analogue of Theorem 3.5, in full generality.
Proposition 4.2. If the Lie algebra h is finite-dimensional, then R1i pC hq is finite, for all i. In
particular, the cdga C h has trivial resonance in degree i, if H i phq ‰ 0.

.

.

Proof. By Levi’s theorem [12, p. 250], h “ s ¸ g, with s solvable and g semisimple. Consider the
j

Lie extension 0 Ñ s ÝÑ h ÝÑ g Ñ 0, and the associated natural exact sequence [12, p. 238]
(13)

H2 phq Ñ H2 pgq Ñ s{rh, ss Ñ H1 phq Ñ H1 pgq Ñ 0 ,

where H1 pgq and H2 pgq vanish by semisimplicity, cf. [12, p. 247 and p. 249]. We infer that
the map induced on abelianizations, jab : H1 psq Ñ H1 phq, may be identified with the surjection
s{rs, ss ։ s{rh, ss; in particular, j ˚ : H 1 phq ãÑ H 1 psq is injective.

10

S. PAPADIMA AND L. PAUNESCU

For ω P H 1 phq, the extension gives rise to the Grothendieck–Hochschild–Serre spectral sequence [12, p. 305]
(14)

Ť

H s pg, H t ps, j ˚ ω Cqq ùñ H s`t ph, ω Cq .

If j ˚ ω R tě0 R1t pC sq, (14) implies by (12) that H ph, ω Cq “ 0. On the other hand, the
Ť
solvability of s forces tě0 R1t pC sq to be finite, as shown by Millionschikov in [19]. Our claim
follows.


.

.
.
We know from [18] that F pC .h, sl q “ F pC .h, sl q, when h is nilpotent. Now, we have
to prove that F pC .h, sl q
“ F pC .h, sl q , in general. We will use the standard basis of
2

2 p0q

1

1

2

2 p0q

sl2 , tH, X` , X´ u (where H is diagonal with EigenpHq “ t˘1u), for which rX` , X´ s “ H and
rH, Xǫ s “ 2ǫXǫ.
We start by analyzing a simple metabelian case: h “ V ¸α C, where V is abelian and α P glpV q.
It is easy to check that h is non-nilpotent if and only if α has a non-zero eigenvalue. Choose a
basis tzi u of V for which α is in Jordan normal form. For an eigenvalue λ P Eigenpαq, and an
r-Jordan block of type λ, V pλq, αz1 “ λz1 and αzi “ λzi ` zi´1 for 1 ă i ď r. We will use the
basis tzi , uu for h, where u corresponds to 1 P C.
For ϕ P Repph, sl2 q, we know that, on V , ϕzi “ ti Z with ti P C, for some Z P sl2 , since V is
abelian. We set ϕu “ U P sl2 . When h is not nilpotent, we denote by f the regular function
ś
2
on Homph, sl2 q defined by f pϕq “ pdet U ` λ4 q, where the product is taken over the non-zero
eigenvalues λ P Eigenpαq. Clearly, f p0q ‰ 0.
Lemma 4.3. For h “ V ¸α C as above, the following hold.
(1) Assuming that h is non-nilpotent, ϕ P Repph, sl2 qz Rep1 ph, sl2 q if and only if there is 0 ‰
λ P Eigenpαq and ǫ P t˘1u such that ϕ has the following form (up to GL2 -conjugation):
λ
H;
‚ ϕu “ 2ǫ
‚ ϕ “ 0, on each Jordan block V pλ1 q with λ1 ‰ λ;
‚ on each r-Jordan block V pλq, ϕzi “ ti Xǫ for 1 ď i ď r, with ti “ 0 for i ă r;
‚ tr ‰ 0, for at least one such block V pλq.
Furthermore, in this situation f pϕq “ 0.
(2) Repph, sl2 q “ Rep1 ph, sl2 q if and only if h is nilpotent.
Proof. Part (1). The rank condition on ϕ translates to the fact that ranktU, Zu “ 2 plus the
property that the vector t “ pt1 , . . . , tr q is non-zero for at least one Jordan block. Clearly,
ϕ P Repph, sl2 q if and only if, for every r-Jordan block V pλq, ϕαzi “ ϕru, zi s “ ti rU, Zs, for
1 ď i ď r. In more detail, this means that
(15)

λt1 Z “ t1 rU, Zs and pλti ` ti´1 qZ “ ti rU, Zs ,

for

1 ă i ď r.

When t ‰ 0, (15) may be solved as follows. Let i be the first value for which ti ‰ 0. We
deduce from (15) that rU, Zs “ λZ. Since Z ‰ 0, it follows that (15) is equivalent to ti “ 0 for
1 ď i ă r.
We are left with solving the equation rU, Zs “ λZ, which implies that λ ‰ 0, since otherwise
our assumption ranktU, Zu “ 2 would be violated. This in turn forces det U ‰ 0. Indeed,
otherwise U would be nilpotent, hence ad-nilpotent, which implies λ “ 0. Thus, we may assume
that U “ tH with t P Cˆ , modulo GL2 -conjugation. This implies that we may also assume
λ
. Plainly, rtH, Xǫ s “ λXǫ .
Z “ Xǫ for some ǫ P t˘1u and t “ 2ǫ
This completes our explicit description of Repph, sl2 qz Rep1 ph, sl2 q. The property f pϕq “ 0
becomes a direct consequence of the construction of f , since det H “ ´1.

RANK TWO JUMP LOCI FOR SOLVMANIFOLDS AND LIE ALGEBRAS

11

Part (2). If h is nilpotent, the claim is proved in [18]. If h is non-nilpotent, then Repph, sl2 q ‰

Rep1 ph, sl2 q, by Part (1).
At the next step, we settle the solvable case.
Lemma 4.4. Let s be a finite-dimensional solvable Lie algebra. There is a Zariski closed subset
W Ď Homps, sl2 q not containing 0 such that Repps, sl2 q Ď Rep1 ps, sl2 q Y W . In particular,
Repps, sl2 qp0q “ Rep1 ps, sl2 qp0q .
Proof. We argue by induction on the length of the derived series, tspkq u. If sp1q “ s1 “ 0, then
s is nilpotent and we may take W “ H. For the inductive step, we assume that spk`1q “ 0 and
p
we consider the Lie extension 0 Ñ V ÝÑ s ÝÑ h Ñ 0, where V “ spkq is abelian and h “ s{spkq
satisfies hpkq “ 0. Hence, Repph, sl2 q Ď Rep1 ph, sl2 q Y W 1 , with W 1 Ď Homph, sl2 q Zariski closed
and 0 R W 1 . Clearly, p˚ W 1 Ď Homps, sl2 q is Zariski closed and 0 R p˚ W 1 .
Let tui u Ď s be a lift of an h-basis. Plainly, for each i, hi :“ V ‘ C ¨ ui is a Lie subalgebra of s, and hi “ V ¸αi C, where αi “ adV pui q. If hi is nilpotent for all i, we claim that
Repps, sl2 q Ď Rep1 ps, sl2 q Y p˚ Repph, sl2 q. Consequently, we are done by induction, since clearly
p˚ Rep1 ph, sl2 q Ď Rep1 ps, sl2 q. To prove the claim, suppose that ϕ P Repps, sl2 qzp˚ Repph, sl2 q.
This implies that ϕpV q is 1-dimensional, since V is abelian. By our nilpotence assumption, we
infer that ϕui P ϕpV q for all i, whence ϕ P Rep1 ps, sl2 q, as claimed.
Thus, we may assume that hi is non-nilpotent, for some i. For each such i, let fi be a
regular lift to Homps, sl2 q of the polynomial function
f on Homphi , sl2 q from Lemma 4.3(1). Let
ś
V pF q Ď Homps, sl2 q be the zero set of F :“
fi , which clearly does not contain 0. We claim
that we may take W “ p˚ W 1 Y V pF q.
Indeed, let ϕ P Repps, sl2 qz Rep1 ps, sl2 q be arbitrary. If ϕ P p˚ Repph, sl2 q Ď p˚ Rep1 ph, sl2 q Y
˚
p W 1 , we are done. If ϕ R p˚ Repph, sl2 q, pick i such that ϕi R Rep1 phi , sl2 q, where ϕi denotes
the restriction of ϕ to hi , using an argument as before. In particular, hi is non-nilpotent. By

Lemma 4.3(1), fi pϕq “ 0. Therefore, F pϕq “ 0, which completes our proof.
Now, we describe a procedure that reduces the study of germs at 0 of arbitrary Lie representation varieties to the case when the domain is solvable. We begin with the semisimple case.
Lemma 4.5. Let g be a semisimple and k be an arbitrary finite-dimensional Lie algebra. Then
Reppg, kqp0q “ t0u.
Proof. By Ado’s theorem, k may be embedded in glpV q, for some finite-dimensional vector space
V . Note that GLpV q acts by conjugation on Reppg, glpV qq, and the GLpV q-orbit of 0 is t0u. By a
classical result of Nijenhuis and Richardson [20, p. 3], Reppg, glpV qq is the union of finitely many
Zariski closed GLpV q-orbits, provided g is semisimple. (This is due to the fact that H 1 pg, U q “ 0
when dim U ă 8, see [12, p. 247].) Our claim follows then from the obvious equality Reppg, kq “
Reppg, glpV qq X Hompg, kq.

For an arbitrary finite-dimensional Lie algebra h, pick a Levi decomposition h “ s ¸α g, with
s solvable, g semisimple and α a Lie homomorphism from g to the Lie algebra of derivations,
Derpsq Ď glpsq. Let k be another finite-dimensional Lie algebra. The semi-direct product structure
of h implies that the map
ϕ P Homph, kq ÞÑ pΦ :“ ϕ|s , Ψ :“ ϕ|g q P Homps, kq ˆ Hompg, kq

12

S. PAPADIMA AND L. PAUNESCU

identifies the variety Repph, kq with the Zariski closed subset of Repps, kq ˆ Reppg, kq given by the
equations
Φpαpyqxq “ rΨy, Φxs ,

(16)

for x P s

and y P g .

Denote by r
s the (solvable) quotient of s by the Lie ideal generated by αpyqx, for x P s and
y P g. Let q : s ։ r
s be the quotient map. Consider the regular map

(17)

Q : Repprs, kq ãÑ Repph, kq ,

˚r

r to pq Φ, 0q. It follows from (16) that Q identifies the variety Repprs, kq with the
which sends Φ
Zariski closed subvariety Repph, kq X Repps, kq ˆ 0.

Proposition 4.6. Let h and k be finite-dimensional Lie algebras. The map Q from (17) induces
an analytic isomorphism Repprs, kqp0q » Repph, kqp0q .
Proof. By the above discussion, it is enough to show that, for pΦ, Ψq P Repph, kq near the origin,
Ψ “ 0. This follows from Lemma 4.5.

Corollary 4.7. For any finite-dimensional Lie algebra h, F pC h, sl2 qp0q “ F 1 pC h, sl2 qp0q .

.

.

Proof. We have to show that Repph, kqp0q “ Rep1 ph, kqp0q , when k “ sl2 . For ϕ “ pΦ, Ψq P
r with Φ
r P Repprs, kq
Repph, kq near 0, we know from Proposition 4.6 that Ψ “ 0 and Φ “ q ˚ Φ
r
near 0. Lemma 4.4 implies that dim impΦq ď 1, and therefore dim impΦq ď 1. We deduce that
ϕ P Rep1 ph, sl2 q, which completes the proof.

We end with the following Lie analog of Theorem 3.3.

Theorem 4.8. Let h be a finite-dimensional complex Lie algebra and let θ : sl2 pCq Ñ glpV q
be a finite-dimensional Lie representation with V ‰ 0. Then F pC h, sl2 qp0q is equal to t0u
when H 1 phq “ 0, and otherwise is isomorphic to conepPpH 1 phqq ˆ Ppsl2 qqp0q . In the first case,
R1i pC h, θqp0q is empty or equal to t0u, depending on whether H i phq vanishes or not. In the second
case, the embedded germs of depth 1 resonance varieties are given by
#
H
if H i phq “ 0,
R1i pC h, θqp0q “
conepPpH 1 phqq ˆ V pdet ˝θqqp0q otherwise.

.

.

.

Proof. By Proposition 4.2 and Corollary 4.7, the hypotheses of Corollary 2.5 are satisfied by
A “ C h and g “ sl2 , if H i phq ‰ 0. The proof goes as in Theorem 3.3, when H 1 phq ‰ 0. Finally,
assume H 1 phq “ 0. Then F pC h, sl2 qp0q “ t0u, since F 1 pC h, sl2 q “ t0u, by definition (4). The

remaining assertions, on R1i pC h, θqp0q , follow then from (3).

.

.
.

.

Acknowledgment. We are grateful to the referee, for pertinent remarks and suggestions.
References
[1] D. Arapura, Geometry of cohomology support loci for local systems I, J. Algebraic Geom. 6 (1997), no. 3,
563–597. 1
[2] K. S. Brown, Cohomology of groups, Grad. Texts in Math., vol. 87, Springer-Verlag, New York-Berlin, 1982.
3, 3, 3
[3] A. Dimca, R. Hain, S. Papadima, The abelianization of the Johnson kernel, J. Eur. Math. Soc. 16 (2014),
805–822. 1
[4] A. Dimca, S. Papadima, Arithmetic group symmetry and finiteness properties of Torelli groups, Annals of
Math. 177 (2013), no. 2, 395–423. 1

RANK TWO JUMP LOCI FOR SOLVMANIFOLDS AND LIE ALGEBRAS

13

[5] A. Dimca, S. Papadima, Non-abelian cohomology jump loci from an analytic viewpoint, Commun. Contemp.
Math. 16 (2014), no. 4, 1350025 (47 p). 1, 2, 3, 3, 4
[6] A. Dimca, S. Papadima, A. I. Suciu, Topology and geometry of cohomology jump loci, Duke Math. Journal
148 (2009), no. 3, 405–457. 1
[7] A. Dimca, S. Papadima, A. Suciu, Algebraic models, Alexander-type invariants, and Green-Lazarsfeld sets,
Bull. Math. Soc. Sci. Math. Roumanie 58(106) (2015), no. 3, 257–269. 1, 2, 3
[8] J. Dixmier, Cohomologie des algèbres de Lie nilpotentes, Acta Sci. Math. Szeged 16 (1955), 246–250. 3.4
[9] M. Green, R. Lazarsfeld, Deformation theory, generic vanishing theorems, and some conjectures of Enriques,
Catanese and Beauville, Invent. Math. 90 (1987), 389–407. 1
[10] M. Green, R. Lazarsfeld, Higher obstructions to deforming cohomology groups of line bundles, J. Amer.
Math. Soc. 4 (1991), no. 1, 87–103. 1
[11] A. Hattori, Spectral sequence in the De Rham cohomology of fibre bundles, J. Fac. Sci. Univ. Tokyo 8 (1960),
289–331. 4
[12] P. J. Hilton, U. Stammbach, A course in homological algebra, Grad Texts in Math., vol. 4, Springer-Verlag,
New York, 1971. 4, 4, 4, 4
[13] M. Kapovich, J. Millson, On representation varieties of Artin groups, projective arrangements and the
fundamental groups of smooth complex algebraic varieties, Inst. Hautes Études Sci. Publ. Math. 88 (1998),
5–95. 1
[14] H. Kasuya, Minimal models, formality and Hard Lefschetz properties of solvmanifolds with local systems, J.
Diff. Geom. 93 (2013), 269–298. 1, 3, 3.4
[15] H. Kasuya, Flat bundles and hyper-Hodge decomposition on solvmanifolds, Int. Math. Res. Notices 19 (2015),
9638–9659. 3
[16] H. Kasuya, Singularity of the varieties of representations of lattices in solvable Lie groups, J. Topol. Anal.
8 (2016), no. 2, 273–285. 3
[17] A. Macinic, S. Papadima, Characteristic varieties of nilpotent groups and applications, in: Proceedings of
the Sixth Congress of Romanian Mathematicians (Bucharest, 2007), pp. 57–64, vol. 1, Romanian Academy,
Bucharest, 2009. 3
[18] A. Măcinic, S. Papadima, R. Popescu, A. Suciu, Flat connections and resonance varieties: from rank one to
higher ranks, Trans. Amer. Math. Soc. 369 (2017), no. 2, 1309–1343. 1, 1, 1, 2, 2, 2, 2.1, 3, 3, 3, 4, 4, 4
[19] D. V. Millionschikov, Cohomology of solvmanifolds with local coefficients and problems of the Morse-Novikov
theory, Russian Math. Surveys 57 (2002), 813–814. 4.1, 4
[20] A. Nijenhuis, R. W. Richardson, Cohomology and deformations in graded Lie algebras, Bull. Amer. Math.
Soc. 72 (1966), 1–29. 4
[21] K. Nomizu, On the cohomology of compact homogeneous spaces of nilpotent Lie groups, Annals of Math. 59
(1954), 531–538. 1
[22] S. Papadima, A. Suciu, Jump loci in the equivariant spectral sequence, Math. Res. Lett. 21 (2014), no. 4,
863–883. 2
[23] S. Papadima, A. Suciu, The Milnor fibration of a hyperplane arrangement: from modular resonance to
algebraic monodromy, Proc. London Math. Soc. 114 (2017), no. 6, 961–1004. 1
[24] S. Papadima, A. Suciu, Vanishing resonance and representations of Lie algebras, J. Reine Angew. Math. 706
(2015), 83–101. 2
[25] M. S. Raghunathan, Discrete subgroups of Lie groups, Ergebnisse der Math., vol. 68, Springer-Verlag, New
York, 1972. 1, 3, 3
[26] D. Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 269–331.
1
Simion Stoilow Institute of Mathematics, P.O. Box 1-764, RO-014700 Bucharest, Romania
E-mail address: Stefan.Papadima@imar.ro
School of Mathematics and Statistics, The University of Sydney, Sydney, 2006, Australia
E-mail address: laurent@maths.usyd.edu.au

