arXiv:1803.05868v1 [math.GR] 15 Mar 2018

FREE SUBGROUPS OF 3-MANIFOLD GROUPS
MIKHAIL BELOLIPETSKY AND CAYO DÓRIA
Abstract. We show that any closed hyperbolic 3-manifold M has a co-final tower
of covers Mi → M of degrees ni such that any subgroup of π1 (Mi ) generated by
ki elements is free, where ki ≥ nC
i and C = C(M ) > 0. Together with this result
we show that log ki ≥ C1 sys1 (Mi ), where sys1 (Mi ) denotes the systole of Mi , thus
providing a large set of new examples for a conjecture of Gromov. In the second
theorem C1 > 0 is an absolute constant. We also consider a generalization of these
results to non-compact finite volume hyperbolic 3-manifolds.

1. Introduction
Let Γ < PSL2 (C) be a cocompact Kleinian group and M = H3 /Γ be the associated
quotient space. It is a closed orientable hyperbolic 3-orbifold, it is a manifold if Γ
is torsion-free. We will call a group Γ k-free if any subgroup of Γ generated by k
elements is free. We denote the maximal k for which Γ is k–free by Nf r (Γ) and we
call it the free rank of Γ. For example, if Sg is a closed Riemann surface of genus
g, then its fundamental group satisfies Nf r (π1 (Sg )) = 2g − 1. In this note we prove
that for any Kleinian group as above there exists an exhaustive filtration of normal
subgroups Γi of Γ such that Nf r (Γi ) ≥ [Γ : Γi ]C , where C = C(Γ) > 0 is a constant.
In geometric terms the result can be stated as follows.
Theorem 1. Let M be a closed hyperbolic 3-orbifold. Then there exists a co-final
tower of regular finite-sheeted covers Mi → M such that
Nf r (π1 (Mi )) ≥ vol(Mi )C ,
where C = C(M) is a positive constant which depends only on M.
The proof of the theorem is based on the previous results of Baumslag, Shalen and
Wagreich [BS89, SW92], Belolipetsky [B13], and Calegari–Emerton [CE11]. Let us
emphasis that although some of the results use arithmetic techniques, our theorem
applies to all closed hyperbolic 3-orbifolds. A result of similar flavor but for another
property of 3-manifold groups was obtained by Long, Lubotzky and Reid in [LLR08].
Indeed, in some parts our construction comes close to their argument.
Together with Theorem 1 we obtain the following theorem of independent interest:
Belolipetsky is partially supported by CNPq and FAPERJ research grants.
Dória is supported by a CNPq fellowship.
1

2

MIKHAIL BELOLIPETSKY AND CAYO DÓRIA

Theorem 2. Any closed hyperbolic 3-orbifold admits a sequence of regular manifold
covers Mi → M such that
Nf r (π1 (Mi )) ≥ (1 + ε)sys1 (Mi ) ,
where ε > 0 is an absolute constant and sys1 (Mi ) is the length of a shortest closed
geodesic in Mi .
This type of bound was stated by Gromov [G87, Section 5.3.A] for hyperbolic
groups in general, but later turned into a conjecture (see [G09, Section 2.4]). We refer
to the introduction of [B13] for a related discussion and some other references. In
[G09], Gromov particularly mentioned that the conjecture is open even for hyperbolic
3-manifold groups. The first set of examples of hyperbolic 3-manifolds for which the
conjecture is true was presented in [B13]. These examples were all arithmetic. Our
theorem significantly enlarges this set.
We review the construction of covers Mi → M and prove a lower bound for their
systoles in Section 2. Theorems 1 and 2 are proved in Section 3. In Section 4 we
consider a generalization of the results to non-compact finite volume 3-manifolds.
Their groups always contain a copy of Z × Z, so have Nf r = 1, however, we can
modify the definition of the free rank so that it becomes non-trivial for the noncompact manifolds: we define Nf′ r (Γ) to be the maximal k for which the group Γ is k–
semifree, where Γ is called k-semifree if any subgroup generated by k elements is a free
product of free abelian groups. With this definition at hand we can extend Gromov’s
conjecture to the groups of finite volume non-compact manifolds. In Section 4 we
prove:
Theorem 3. Any finite volume hyperbolic 3-orbifold admits a sequence of regular
manifold covers Mi → M such that
Nf′ r (π1 (Mi )) ≥ (1 + ε)sys1 (Mi ) ,
where ε > 0 is an absolute constant.
To conclude the introduction we would like to point out one important detail.
While in Theorems 2 and 3 we have an absolute constant ε > 0, the constant in
Theorem 1 depends on the base manifold. In [B13] it was shown that in arithmetic
case C(M) is also bounded below by a universal positive constant. Existence of a
bound of this type in general remains an open problem.
Question 1. Do there exist an absolute constant C0 > 0 such that for any M in
Theorem 1 we have C(M) ≥ C0 .
2. Preliminaries
Let Γ < PSL2 (C) be a lattice, i.e. a finite covolume discrete subgroup. By Mostow–
Prasad rigidity, Γ admits a discrete faithful representation into SL2 (C) with the entries
in some (minimal) number field E. Since Γ is finitely generated, there is a finite set

FREE SUBGROUPS OF 3-MANIFOLD GROUPS

3

of primes S in E such that Γ < SL2 (OE,S ), where OE,S denotes the ring of S-integers
in E.
Following Calegari–Emerton [CE11], we can consider an exhaustive filtration of
normal subgroups Γi of Γ which gives rise to a co-final tower of hyperbolic 3-manifolds
covering H3 /Γ. The subgroups Γi are defined as follows. From the description of Γ
given above it follows that it is residually finite and for all but finitely many primes
p ∈ OE there is an injective map φp : Γ → SL2 (ÔE,p ) (where ÔE,p denotes the p-adic
completion of the ring of integers of E). Let p be a rational prime such that for any
prime p in OE which divides p, the correspondent map φp is injective (this holds for
almost all primes p). We can write pOE = pe11 · · · pm em .
For any j = 1, . . . , m, the ring ÔE,pj contains Zp as a subring and is a Zp –module
of dimension dj = ej fj , where fj is the degree of the extension of residual fields
[OE /pj : Z/pZ]. If we fix j and a basis bj1 , . . . , bjdj ∈ ÔE,pj as Zp –module, we have
a natural ring homomorphism ψj : ÔE,pj → Mdj ×dj (Zp ) given by ψj (x) = (xrs ) if
Pdj
xbjs = r=1
x bj .
Qmrs r
Let ψ : j=1 SL(2, ÔE,pj ) → GLN (Zp ) be given diagonally by the blocks ψ1 , . . . , ψm ,
P
Q
where N = 2 j dj . Let φ = ψ ◦ m
j=1 φpj : SL(OE,S ) → GLN (Zp ). The Zariski closure of the image of φ is a group G < GLN (Zp ) of dimension d ≥ 6 (cf. [CE11,
Example 5.7]). It is a p-adic analytic group which admits a normal exhaustive filtration

Gi = G ∩ ker GLN (Zp ) → GLN (Zp /pi Zp ) .
This filtration gives rise to a filtration of Γ via the normal subgroups Γi = φ−1 (Gi ).
The filtration (Γi ) is exhaustive because φ is injective.
Associated to each of the subgroups Γi of Γ is a finite-sheeted cover Mi of M =
H3 /Γ, and by the construction the sequence (Mi ) is a co-final tower of covers of M.
By Minkowski’s lemma, almost all groups Gi are torsion-free, hence associated Mi
are smooth hyperbolic 3-manifolds. Therefore, when it is needed we can assume that
M is a manifold itself.
We will require a lower bound for the systole of Mi . Such a bound is essentially
provided by Proposition 10 of [GL14], which can be seen as a generalization of a result
of Margulis [M82] (see also [LLR08]). The main difference is that we do not restrict
to arithmetic manifolds. The main technical difference is that while in [op. cit.] the
authors consider matrices with real entries we do it for p-adic numbers, which requires
replacing norm of a matrix by the height of a matrix. This technical part is more
intricate, however, as it is shown below, it does not affect the main argument.
Lemma 2.1. Suppose M is a compact manifold. Then there is a constant c1 =
c1 (M) > 0 such that sys1 (Mi ) ≥ c1 log ni , where ni = [Γ : Γi ].
Proof. Since M is compact, we can apply the Milnor–Schwarz lemma. Therefore, if
we fix a point o ∈ H3 , then Γ has a finite symmetric set of generators X such that

4

MIKHAIL BELOLIPETSKY AND CAYO DÓRIA

the map (Γ, X) → H3 given by γ 7→ γ(o) is a (C1 , C2 ) quasi-isometry. This means
that for any pair γ1 , γ2 ∈ Γ we have
C1 dX (γ1 , γ2 ) − C2 ≤ d(γ1 (o), γ2 (o)) ≤

1
dX (γ1 , γ2 ) + C2 ,
C1

where d(·, ·) denotes the distance function in H3 , dX (γ1 , γ2 ) = |γ1−1 γ2 |X and |γ|X is
the minimal length of a word in X which represents γ. For any i ≥ 1, we define
sys(Γi , X) = min{dX (1, γ) | γ ∈ Γi \{1}}.
Claim 1: Let δM > 0 be the diameter of M. For any i ≥ 1, we have
sys1 (Mi ) ≥ C1 sys(Γi , X) − C2 − 2δM .
To prove the claim, consider the Dirichlet fundamental domain D(o) of Γ in H3
centered in o. It is easy to see that any point x ∈ D(o) satisfies d(x, o) ≤ δM . Now
let αi ⊂ Mi be a closed geodesic realizing the systole of Mi . As Mi → M is a
local isometry, the image of αi in M has the same length (counted with multiplicity).
Denote the image by αi again. We can suppose that xi ∈ D(o) is a lift of αi (0). Thus,
there exists a unique nontrivial γi ∈ Γi such that sys1 (Mi ) = d(xi , γi (xi )). Note that
d(xi , o) = d(γi (xi ), γi (o)) ≤ δM , therefore, by the triangle inequality we have
sys1 (Mi ) ≥ d(o, γi (o)) − 2δM ≥ C1 dX (1, γi ) − C2 − 2δM ≥ C1 sys(Γi , X) − C2 − 2δM .
Now our problem is reduced to proving that sys(Γi , X) grows logarithmically as a
function of [Γ : Γi ]. In order to do so we use arithmetic of the field E in an essential
way.
Let S(E) be the set of all places of E, S∞ be the set of archimedean places,
and Sp be the set of places corresponding to the prime ideals p1 , . . . , pm , which
appear inQthe definition of Mi . For any x ∈ E, we define the height of x by
H(x) = v∈S(E) max{1, |x|v }. Recall that for any x, y ∈ E and an archimedean
place v, we have |x + y|v ≤ 4 max{|x|v , |y|v }, and for any non-archimedean place u,
we have |x+y|u ≤ max{|x|v , |y|u}. Therefore, the height function satisfies H(x+y) ≤
4#S∞ H(x)H(y).
We can generalize the definition of height forQ
matrices with entries in E. Thus, for
any M = (mij ) ∈ SL(2, E), we define H(M) = v∈S(E) max{1, |mij |v }. We note that
H(M) ≥ max{H(mij )}.
Claim 2: For any M, N ∈ SL(2, E), we have H(MN) ≤ 4#S∞ H(M)H(N).
Indeed, any entry x of MN can be written as x = au + bt with a, b entries of M
and u, t entries of N. Therefore, for any v ∈ S∞ ,
max{1, |x|v } ≤ 4 max{1, |a|v , |b|v } max{1, |u|v , |t|v } ≤ 4 max{1, |mij |v } max{1, |nij |v }.

FREE SUBGROUPS OF 3-MANIFOLD GROUPS

5

For non-archimedean places we have the same inequality without the factor 4. Now
if MN = (xij ), then these inequalities show that
Y
H(MN) =
max{1, |xij |v } ≤ 4#S∞ H(M)H(N).
v∈S(E)

Next we want to estimate from below the height of γ for any nontrivial γ ∈ Γi .
Claim 3: There exists a constant C3 > 0 such that for any γ ∈ Γi \{1} we have
H(γ) ≥ C3 pni , where n = [E : Q].
Indeed, let γ = γr1 · · · γrw (γ) ∈ Γi be a nontrivial element with γrj ∈ X and 
w(γ) =
a b
dX (1, γ). We now recall the definition of the group Γi . If we write γ =
, then
c d
for any l = 1, . . . , m we have


 
ψl (a) ψl (b)
Idl 0
mod (pi Zp ).
≡
ψl (c) ψl (d)
0 Idl
By the definition of ψl we have that (a − 1)blj , bblj , cblj , (d − 1)blj ∈ pi ÔE,pl for any
1 ≤ j ≤ dl . Taking C ∗ = minl,j {|blj |pl } > 0, we obtain
C ∗ max{|a − 1|pl , |b|pl , |c|pl , |d − 1|pl } ≤ Norm(pl )−iel ,
for any l = 1, . . . , m. This is because |p|pl = Norm(pl )−el by definition, where for an
ideal I ⊂ OE the norm of I is equal to Norm(I) = #(OE /I).
Q
Recall that the Product Formula says that for any nonzero x ∈ E we have v |x|v =
1. Since γ is nontrivial, at least one of the numbers {a − 1, b, c, d − 1} is not zero.
Therefore, if we apply the Product Formula for any nonzero element in this set, we
obtain
m
Y
max{H(a − 1), H(b), H(c), H(d − 1)} ≥
C ∗ Norm(pl )iei = (C ∗ )m pni .
l=1

Moreover, by the estimate of the height of a sum we have
max{H(a − 1), H(b), H(c), H(d − 1)} ≤ 4#S∞ max{H(a), H(b), H(c), H(d)},
therefore,
H(γ) ≥ max{H(a), H(b), H(c), H(d)} ≥

(C ∗ )m pni
= C3 pni .
4#S∞

This proves Claim 3.
We can now finish the proof of the lemma. If we take C4 = 4#S∞ max{H(M) | M ∈
X}, we have
d (1,γ)

C3 pni ≤ H(γ) ≤ (4#S∞ )dX (1,γ)−1 (max{H(M) | M ∈ X})dX (1,γ) ≤ C4 X

.

6

MIKHAIL BELOLIPETSKY AND CAYO DÓRIA
sys(Γ ,X)

This estimate holds for any nontrivial γ ∈ Γi , hence C3 pni ≤ C4 i
for any i. On
i dim(G)
the other hand, there exists a constant C5 > 0 such that [Γ : Γi ] ≤ C5 p
. These
inequalities together imply that
−n

log(C3 C5dim G )
n
log([Γ : Γi ]) +
.
sys(Γi , X) ≥
dim(G) log(C4 )
log(C4 )
Since [Γ : Γi ] → ∞ and sys1 (Mi ) is bounded below by a positive constant, we conclude
that there exists a constant c1 = c1 (o, δM , p, ψ1 , . . . , ψm ) = c1 (M) > 0 such that
sys1 (Mi ) ≥ c1 log([Γ : Γi ]) for any i ≥ 1.

Note that the constant c1 depends on M (cf. Question 1). If M is arithmetic,
then by [KSV07] we can take c1 = 23 − ǫ for a small ǫ > 0 assuming ni is sufficiently
large. In general case the argument of [KSV07] does not apply, while the proof of
Lemma 2.1 does not provide a sufficient level of control over the constants.
3. Proofs of Theorems 1 and 2
Following [B13], we define the systolic genus of a manifold M by
sysg(M) = min{g | the fundamental group π1 (M) contains π1 (Sg )},
where Sg denotes a closed Riemann surface of genus g > 0.
Let M be a closed hyperbolic 3-manifold with sufficiently large systole sys1 (M).
By [B13, Theorem 2.1], we have
(1)

log sysg(M) ≥ c2 · sys1 (M),

where c2 > 0 is an absolute constant (for any δ > 0, assuming sys1 (M) is sufficiently
large, we can take c2 = 21 − δ).
The second ingredient of the proof is a theorem of Calegary–Emerton [CE11], which
implies that for the sequences of covers defined in Section 2 we have
(2)

dim H1 (Mi , Fp ) = λ · p(d−1)i + O(p(d−2)i )

for some rational constant λ 6= 0. Recall that we have dimension d = dim(G) ≥ 6
and the degree of the covers Mi → M grows like pdi . Hence we can rewrite (2) in the
form
(3)

dim H1 (Mi , Fp ) ≥ c3 vol(Mi )5/6 ,

where c3 > 0 is a constant depending on M and we assume that vol(Mi ) is sufficiently
large.
We note that in contrast with the previous related work, the theorem of [CE11]
applies to non-arithmetic manifolds as well as to the arithmetic ones.
Now recall a result of Baumslag–Shalen [BS89, Appendix]. They show that if
sysg(M) ≥ k and dim H1 (M, Q) ≥ k + 1, then π1 (M) is k-free. In a subsequent paper
[SW92], Shalen and Wagreich proved that the same conclusion holds if sysg(M) ≥ k
and dim H1 (M, Fp ) ≥ k + 2 [loc. cit., Proposition 1.8].

FREE SUBGROUPS OF 3-MANIFOLD GROUPS

7

We now bring all the ingredients together. Given a closed hyperbolic 3-orbifold M,
for the sequence (Mi ) of its manifold covers defined in Section 2 we have:
sysg(Mi ) ≥ ec2 ·sys1 (Mi ) (by (1))
≥ vol(Mi )c (by Lemma 2.1);
and
dim H1 (Mi , Fp ) ≥ c3 · vol(Mi )5/6 (by (3)).
Hence by the theorem from [SW92] cited above we obtain
Nf r (π1 (Mi )) ≥ vol(Mi )C ,
where C = C(M) > 0 and we assume that vol(Mi ) is sufficiently large. This proves
Theorem 1.
For the second theorem recall that the systole of a hyperbolic 3-manifold is bounded
above by the logarithm of its volume. Indeed, a manifold M with a systole sys1 (M)
contains a ball of radius r = sys1 (M)/2. The volume of a ball in H3 is given by
vol(B(r)) = π(sinh(2r) − 2r), hence we get
π
vol(M) ≥ π(sinh(sys1 (M)) − sys1 (M)) ∼ esys1 (M ) ;
2
c·sys1 (M )
vol(M) ≥ e
, as sys1 (M) → ∞.
By Lemma 2.1, the systole of the covers Mi → M grows as i → ∞. Therefore, we
can bound both sysg(Mi ) and dim H1 (Mi , Fp ) below by an exponential function of
sys1 (Mi ) with an absolute constant in exponent. Theorem 2 now follows immediately
from the theorem of [SW92].

Remark 3.1. It follows from the proof that for any δ > 0, assuming sys1 (Mi ) is large
1
enough, we can take ε in Theorem 2 equal to e 2 −δ − 1. The same bound applies for
the constant in Theorem 3, which we prove in the next section.
4. Generalization to finite volume hyperbolic 3-manifolds
Let Γ < PSL2 (C) be a finite covolume Kleinian group. The quotient M = H3 /Γ
is a finite volume orientable hyperbolic 3-orbifold, which can be either closed or noncompact with a finite number of cusps. The group Γ is a relatively hyperbolic group
with respect to the cusp subgroups. In this section we discuss a generalization of
Gromov’s conjecture and our results to this class of groups.
We call Γ a k-semifree group if any subgroup of Γ generated by k elements is a free
product of free abelian groups. The maximal k for which Γ is k–semifree is denoted
by Nf′ r (Γ). With this definition, we can generalize Gromov’s conjecture to relatively
hyperbolic groups. Although the injectivity radius of manifolds with cusps vanish,
their systole is still bounded away from zero. Therefore, a natural generalization
of Gromov’s conjecture would be that Nf′ r (Γ) is bounded below by an exponential

8

MIKHAIL BELOLIPETSKY AND CAYO DÓRIA

function of the systole of the associated quotient space M. Theorem 3, which we
prove in this section, can be considered as an evidence for this conjecture.
We need to modify the definition of the systolic genus of a manifold M in the
following way:
sysg(M) = min{g > 1 | the fundamental group π1 (M) contains π1 (Sg )},
where Sg denotes a closed Riemann surface of genus g. We excluded the genus g = 1
in order to adapt the definition to the non-compact finite volume 3-manifolds which
otherwise would all have sysg = 1.
Let M be a finite volume 3-manifold with sufficiently large systole sys1 (M). By
[B13, Theorem 2.1], we have
(4)

log sysg(M) ≥ c2 · sys1 (M),

where c2 > 0 is an absolute constant. The theorem in [B13] is proved only for
closed hyperbolic 3-manifolds but we can check that with our definition of systolic
genus the proof extends to the finite volume case. To this end we only need to find
an appropriate generalization of the theorem of Schoen–Yau and Sacks–Uhlenbeck
which was used in the beginning of the proof. This generalization is provided by a
recent work of Huang–Wang [HW17].
The theorem of Calegary–Emerton applies to non-cocompact groups as well as to
the cocompact ones.
We now recall a result of Anderson–Canary–Culler–Shalen [ACCS96]. They show
that if sysg(M) ≥ k and dim H1 (M, Fp ) ≥ k + 2 for some prime p, then π1 (M) is
k-semifree [loc. cit., Corollary 7.4]. This theorem generalizes the previous results
in [BS89, SW92] to non-compact hyperbolic 3–manifolds. Its proof also makes an
essential use of topology of 3-manifolds.
Similar to Section 3, we bring together the results which are cited above.
Given a finite volume hyperbolic 3-orbifold M, for the sequence (Mi ) of its manifold
covers defined in Section 2 we have:
sysg(Mi ) ≥ ec2 ·sys1 (Mi ) (by (4)),
and
dim H1 (Mi , Fp ) ≥ c3 · vol(Mi )5/6 (by Calegary–Emerton).
The fact that a manifold M with systole sys1 (M) contains a ball of radius r =
sys1 (M)/2 is not necessarily true for non-compact finite volume hyperbolic 3-manifolds
but it is still possible to bound the volume by an exponential function of the systole.
By Lakeland–Leininger [LL14, Theorem 1.3], we have
vol(M) ≥ ec·sys1 (M ) , as sys1 (M) → ∞
(with c = 43 − δ for any δ > 0, assuming sys1 (M) is sufficiently large).
Although we do not have a generalization of Lemma 2.1, we do know that sys1 (Mi ) →
∞ with i because the sequence of covers Mi → M is co-final. Therefore, we can bound

FREE SUBGROUPS OF 3-MANIFOLD GROUPS

9

both sysg(Mi ) and dim H1 (Mi , Fp ) below by an exponential function of sys1 (Mi ) with
an absolute constant in exponent and Theorem 3 now follows from the theorem of
[ACCS96].
Acknowledgments. We would like to thank Valdir Pereira Jr. for helpful discussions.
References
[ACCS96] J. W. Anderson, R. D. Canary, M. Culler and P. B. Shalen, Free Kleinian groups and
volumes of hyperbolic 3-manifolds, J. Differential Geom. 43 (1996), 738–782.
[BS89] G. Baumslag and P. B. Shalen, Groups whose three-generator subgroups are free, Bull.
Austral. Math. Soc. 40 (1989), 163–174.
[B13] M. Belolipetsky, On 2-systoles of hyperbolic 3-manifolds, Geom. Funct. Anal. 23 (2013),
813–827.
[CE11] F. Calegari and M. Emerton, Mod-p cohomology growth in p-adic analytic towers of 3manifolds, Groups Geom. Dyn. 5 (2011), 355–366.
[G87] M. Gromov, Hyperbolic groups, in Essays in Group Theory (S. M. Gersten, ed.), MSRI
Publications 8, Springer-Verlag, 1987, 75–265.
[G09] M. Gromov, Singularities, expanders and topology of maps. Part 1: Homology versus volume
in the spaces of cycles, Geom. Funct. Anal. 19 (2009), 743–841.
[GL14] L. Guth and A. Lubotzky, Quantum error correcting codes and 4-dimensional arithmetic
hyperbolic manifolds, J. Math. Phys. 55 (2014), 082202-1 – 082202-13.
[HW17] Z. Huang and B. Wang, Closed minimal surfaces in cusped hyperbolic three-manifolds,
Geom. Dedicata 189 (2017), 17–37.
[KSV07] M. Katz, M. Schaps and U. Vishne, Logarithmic growth of systole of arithmetic Riemann
surfaces along congruence subgroups, J. Diff. Geom. 76 (2007) 399–422.
[LL14] G. S. Lakeland and C. J. Leininger, Systoles and Dehn surgery for hyperbolic 3-manifolds,
Algebr. Geom. Topol. 14 (2014), 1441–1460.
[LLR08] D. D. Long, A. Lubotzky and A. W. Reid, Heegaard genus and property τ for hyperbolic
3-manifolds, Journal of Topology 1 (2008), 152–158.
[M82] G. A. Margulis, Explicit construction of graphs without short cycles and low density codes,
Combinatorica 2 (1982), 71–78.
[SW92] P. B. Shalen and P. Wagreich, Growth rates, Zp -homology, and volumes of hyperbolic 3manifolds, Trans. Amer. Math. Soc. 331 (1992), 895–917.
IMPA, Estrada Dona Castorina, 110, 22460-320 Rio de Janeiro, Brazil
E-mail address: mbel@impa.br
E-mail address: crfdoria@impa.br

