arxiv: v1 [math.dg] 7 Nov 2018

Transcription

1 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. ADRIEN BOULANGER arxiv: v [mah.dg] 7 Nov 208 Absrac. We sudy orbial funcions associaed o finiely generaed Kleinian groups acing on he hyperbolic space H 3, developing a new mehod based on he use of he Brownian moion. On he way, we give some esimaes of he orbial funcion associaed o nilpoen covers of compac hyperbolic manifolds, parially answering a quesion asked by M. Pollico o he auhor.. Inroducion Hisorical background. Given a group Γ acing properly and disconinuously on a meric space (X, d), we define he orbial funcion as follows N Γ (x, y, ρ) := { γ Γ, d(x, γ y) ρ }, where x, y X and ρ > 0. The growh of orbial funcions of groups acing on various ypes of hyperbolic spaces have been exensively sudied since he 50 s. Two main approaches were developed in his seing. The oldes one due o Huber [22], following Delsare (see [2]), used Selberg s pre-race formula in order o sudy orbial funcions in he seing of groups acing cocompacly on he hyperbolic space H 2. This line of work was generalised laer on by Selberg [38, page 47], Paerson [33], Lax-Phillips [26] among many ohers. Anoher way o ge esimaes of he orbial funcion growh comes from Margulis seminal PhD work, which exhibis a srong relaion beween his problem and he mixing of he geodesic flow on he quoien space X /Γ. This second approcach has he benefi o give resuls in he case of variable curvaure as well. This idea has been widely exended by numerous auhors since, dropping mos of Margulis assumpions required in his work [42] [36]. For general references, one can recommend Babillo s survey [2] on couning problems, Secion 2 of Eskin-McMullen s aricle [5] where Margulis sraegy is well explained and he auhor s PhD disserion [6, Chapire ]. The following heorem is, generaliy-wise, he mos advanced of he heory. Theorem.. [36] Le Γ be a group acing by isomeries, properly and disconinuously on a conneced, simply conneced complee manifold of negaive secional curvaure X such ha he lengh specrum of he quoien space is non arihmeic; he uniary angen bundle of he quoien space X /Γ admis a finie Bowen- Margulis-Sullivan measure, hen, for any poins x, y X here exiss a consan C such ha N Γ (x, y, ρ) C e δγρ, ρ where δ Γ is he criical exponen of he group Γ. The above heorem is weaker han he one saed in [36] bu he auhor did no wan o burden his aricle wih definiions regarding he CAT(-) seing for which an analogous version of he above heorem holds. Le us noe ha he wo assumpions of Theorem. are auomaically saisfied when Γ acs convex-compacly on a hyperbolic space of any dimension, see [20, Proposiion 3] for he assumpion made

2 2 ADRIEN BOULANGER on he non-arihmeiciy of he lengh specrum. T. Roblin also showed, under he same assumpions of hose of Theorem., ha if he quoien space X /Γ does no admi any finie Bowen-Margulis-Sullivan measure, one has N Γ (x, y, ρ) = o ( e δγρ). for any pair of poins x, y X when ρ. Nowadays, he goal is o explici he asympoic in his case. There is, up o he auhor s knowledge, only wo classes of examples where he fininess assumpion had been successfully dropped. The firs one is due o Pollico and Sharp [35]. They found an asympoic for orbial funcions of groups associaed o abelian covers of compac hyperbolic manifolds. The second one is due o Vidoo [4] and deals wih an example in variable curvaure. In boh cases, he auhors manage o ge an asympoic of he orbial funcion. Their mehods rely on a finie measure propery hidden somewhere: in [35] he auhor s mehod uses a srong mixing propery of he geodesic flow of he compac underlined manifold whereas in [4] he geodesic flow sill admis a coding by a sub-shif of finie ype. Descripion of he resuls. In his aricle we inroduce a mehod o sudy he growh of orbial funcions of groups acing on he real hyperbolic space H 3 of dimension hree, based on he use of he Brownian moion in he spiri of Sullivan s work [39]. Our moivaion for inroducing he Brownian moion in his seing is o compensae he lack of known randomness of he geodesic flow - prevening o adap Margulis mehod - when here is no finie Bowen-Margulis-Sullivan measure. Replacing he geodesic flow by he Brownian moion gives a larger range of applicaions, he laer being random on is own. The key facs allowing us o relae is dynamical behaviour o he orbial funcion is he srong homogeneiy of he hyperbolic space and he so called drif propery of he Brownian moion. We refer o he auhor s PhD disseraion [6] for more deails. More precisely, his aricle aims a invesigaing he link beween Brownian moion and orbial funcions hrough examples. We call Kleinian group any finiely generaed subgroup Γ of he orienaion preserving isomeries of he hyperbolic 3-space H 3 acing properly and disconinuously. Regarding he couning problem for Fuchsian groups, analoguous o he las bu acing on H 2, here is no so much o be said since all he quoiens H 2 /Γ urned o carry a finie Bowen-Margulis-Sullivan measure [4], so ha Theorem. readily applies in his case. Therefore, one would like o picure wha is he siuaion in dimension 3. We will call a Kleinian group Γ degenerae when he quoien manifold M Γ := H 3 /Γ does no carry any finie Bowen-Margulis-Sullivan measure. By exenion, we also call degenerae he manifold M Γ. These manifolds are cenral objecs in some of he mos famous heorems around Kleinian group heory such as he Thurson s hyperbolisaion heorem (see [28] or [3]), Ahlfors conjecure, corollary of [9] Marden s ameness conjecure (see [8] and he reference herein) or he ending laminaion conjecure [7], all heorems now. Surprisingly, very lile is known abou he behaviour of heir orbial funcions. The only special case already seled being as a corollary of [35], giving an asympoic o he orbial funcion for surface groups associaed o Z-covers of compac 3-manifolds, included in M. Pollico and R. Sharp s heorem as Abelian covers of compac manifolds.

3 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 3 Our wo main heorems can be saed as follows, we refer o Subsecion 4. for he descripion of ends of hyperbolic manifolds involved in he saemens. Theorem.2. Le Γ be a degenerae Kleinian group such ha he manifold M Γ has posiive injeciviy radius, hen: eiher all ends are degenerae and he group is divergen, or he following upper bound for he orbial funcion holds: for any x, y H 3 here is a consan C > 0 such ha for ρ large enough we have N Γ (x, y, ρ) C e2ρ ρ. Under some exra assumpion, one can improve he above heorem ino Theorem.3. Le Γ be a degenerae Kleinian group such ha he manifold M Γ has posiive injeciviy radius, and he averaged orbial funcion is roughly decreasing (see Subsecion 3.3), hen eiher all he ends of M Γ are degenerae, hen here is wo consan C, C + such ha for any x, y H 3 here is ρ big enough such ha C e 2ρ ρ N Γ (x, y, ρ) C + e 2ρ ρ ; or, for every x, y M Γ here is wo consans C, C + such ha for ρ big enough we have C e 2ρ N Γ (x, y, ρ) C + e 2ρ. ρ 3 2 Noe ha he consans appearing in he firs above iem depend only on he group Γ. Consans involved in he second iem depend on he poins under consideraion, which is no a flaw of he mehod bu somehing expeced. The rough decreasing assumpion is naural since we do no know, up o he auhor s knowledge, any orbial funcion no saisfying i. However, i seems hard o verify i in general. To prove boh Theorem.2 and Theorem.3 one needs firs o link he hea kernel o he orbial funcion, which is he purpose of he nex wo heorems. Theorem.4. There is a consan C + > 0 such ha for any subgroup Γ of he group of orienaion preserving isomeries of H 3 acing properly and disconinuously and all x H 3 one has for ρ > 0 N Γ (x, y, ρ) (.5) e 2ρ C + ρ pγ (x, y, ρ ), 2 where p Γ (x, y, ) is he hea kernel of he manifold H 3 /Γ. Remark.6. This upper bound is relevan only when he criical exponen of he group is 2. Oherwise, i would no even have he correc exponenial growh since from [39, Theorem 2.7] and [8, Theorem 0.24] we have ln p Γ (x, y, ρ) ρ ρ 3 2 δ Γ(δ Γ 2). ρ One migh, perhaps, ge an more general upper bound in weighing he manifold M Γ wih respec o is firs eigenfuncion, known o be posiive [39, Theorem 2.].

4 4 ADRIEN BOULANGER Ulimaely, he proof of his heorem relies on he drif propery of he Brownian moion. This upper bound is no sharp, and finer esimaes - sharp upper and lower bounds up o muliplicaive consans - can be proven under a polynomial conrol of he hea kernel in large ime and some exra assumpions on he orbial funcions. This assumpions and he definiion of he average orbial funcion are saed in Subsecion 3.3. Theorem.7. Le Γ be a Kleinian group such ha here is α 0 such ha here is wo poins x, y M Γ and wo consans C, C + such ha for big enough one has (.8) c α p Γ (x, y, ) c + α ; he averaged orbial funcion is roughly decreasing, hen here is wo posiive consans C and C + such ha C e 2ρ ρ α N Γ (x, y, ρ) C + e 2ρ ρ α. Boh Theorem.4 and Theorem.7 apply immediaely in he conex of an infinie manifold admiing he volume doubling propery and a Poincaré inequaliy (see Secion 5.), which is he case for nilpoen covers of compac manifold. This parially answers he following quesion. Quesion: (M. Pollico) wha is he asympoic behaviour of he orbial funcion associaed o a nilpoen cover of a compac hyperbolic manifold? Corollary.9. Le Γ be a Kleinian group such ha M Γ is roughly isomeric o a nilpoen cover of a compac manifold hen here exiss a consan C + such ha N Γ (x, y, ρ) C + ρ e 2ρ ( vol B(x, ). ρ) Moreover, if he averaged orbial funcion is roughly decreasing, hen here exiss wo consan C, C + such ha for every wo poins x, y one has for ρ big enough C e 2ρ C ( vol B(x, ) + e N Γ (x, y, ρ) ( 2ρ ρ) vol B(x, ). ρ) In view of he above heorem, i seems naural o hope ha here exiss a consan C > 0 such ha for every pair of poins x, y H 3 one has N Γ (x, y, ρ) ρ C e ( 2ρ vol B(x, ), ρ) which would give a saisfying answer o Pollico s quesion. In order o deduce our mains heorems.2 and.3 from Theorems.4 and.7, we invesigae he large ime behaviour of he hea kernel on he manifolds under consideraion, he degenerae hyperbolic manifolds. Theorem.0. Le Γ a degenerae Kleinian group such ha M Γ has posiive injeciviy radius, hen eiher all he ends of M Γ are degenerae, hen here is wo consan C, C + > 0 such ha for every x, y H 3 one has for large enough C p Γ (x, y, ) C + ;

5 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 5 or here are boh degenerae ends and geomerically finie ends, hen for every x, y M Γ here exiss a consan C + > 0 such ha one has for large enough p Γ (x, y, ) C + Moreover, for any x M Γ here is a consan C such ha C p Γ (x, x, ) Le us emphasis ha he firs par of Theorem.2 will follow from he fac ha he above heorem implies he Brownian moion o be recurren in he case where all ends are degenerae, see Secion 5. Ouline of he paper. In Secion 2 we inroduce all he key noions and definiions regarding he hea kernel and is naural weighed cousin. We also sae wo heorems relaing he large ime behaviour of he hea kernel wih he large scale geomery of he underlined manifold. Secion 3 is devoed o he proofs of boh Theorems.4 and.7. We end up his secion in proving Corollary.9. In Secion 4, we summarize all he geomeric properies of degenerae manifolds ha we will need in order o use he maerial inroduced in Secion 2. We will also recall Thurson-Sullivan s argumen, showing ha here is a family of harmonic funcions growing linearly on all degenerae ends, wih definie limi in he geomerically finie ends. They will play a crucial role in order o apply Theorems saed in Secion 3 as weighs of he underlined degenerae manifolds. Secion 5 is fully dedicaed o prove Theorem.0, which, combined wih Theorem.4 and Theorem.7, readily gives Theorems.2 and.3. The inuiion behind Theorem.0 is raher clear, and will be explained in he beginning of his secion. Acknowledgemen. I am especially graeful o G. Carron for having indicaed o me he proof of Proposiion 5.9. I would like o hank boh my PhD advisors, G. Courois and F. Dal Bo, as well as S. Gouëzel for numerous commens and suggesions abou his aricle. To conclude, I also would like o hank F. Ledrappier for ineresing and simulaing conversaions. 2. Weighed manifolds and heir hea kernels. 2.. Weighed manifolds. We denoe by (M, g) a complee Riemannian manifold and by µ g is associaed Riemannian measure. Given a posiive funcion σ on M, he weigh, we call he meric measured space (M, g, σµ g ) a weighed Riemannian manifold. We will denoe he weighed Riemannian measure σµ g by µ σ for shor. The following definiion aims a enlarging he Laplace operaor o he seing of weighed Riemannian manifolds. Definiion 2.. The weighed Laplace operaor, denoed by σ, is defined as follows σ f := σ div(σ f) where f is a smooh funcion on M. We refer o he non-weighed (equivalenly weighed wih he consan funcion ) Riemannian Laplace operaor as he usual Laplace operaor..

6 6 ADRIEN BOULANGER The weighed Laplace operaor may also be defined on L 2 (M, µ σ ), he se of square inegrable funcions wih respec o he measure µ σ. The resuling operaor generaes a semi-group, denoed by e σ. We also denoe by p σ (x, y, ) he kernels of hese operaors, saisfying he following ideniy for any f L 2 (M, µ σ ) e σ (f)(x) = p σ (x, y, ) f(y) dµ σ (y). M As a comprehensive reference around hea operaors and heir kernels, one can refer o [8, Chapers 6 and 7] Sochasic compleeness. Provided ha he weighed manifold (M, g, µ σ ) o saisfy a mild assumpion of he volume growh of balls, one can idenify he hea kernel o ) he fundamenal soluion of a Cauchy problem. We denoe by vol σ (B(x, ρ) he - weighed - volume of he ball cenred a x of radius ρ. Theorem 2.2. [8, Corollary 9.6, Theorem.8] Le (M, g, µ σ ) be a complee weighed Riemannian manifold of infinie volume. If here is a poin x 0 M such ha d (2.3) ( ln (vol σ B(x, )) = ) hen for any bounded coninuous iniial condiion u 0 he following Cauchy problem { σ u(x, ) + u(x, ) = 0 (2.4) u(, ) u 0 in he uniform opology 0 has a unique soluion given by e σ (u 0 ). Noe ha he condiion 2.3 is no oo demanding, for example i is saisfied for all complee Riemannian manifold of Ricci curvaure bounded from below - hyperbolic manifolds in paricular - from he celebraed Bishop-Gromov comparison heorem. If he Cauchy problem (2.4) has a unique soluion, he weighed Riemannian manifold is said o be sochasically complee. Uniqueness gives a way o check ha a given kernel is he acual hea kernel of a sochasically complee weighed Riemannian manifold. The following proposiion follows from he above discussion, i is well known bu we give i here a proof for he reader s convenience. Proposiion 2.5. Le (M, g) a sochasically complee Riemannian manifold and h a posiive harmonic funcion. If he weighed manifold (M, g, µ h 2) is sochasically complee hen he weighed hea kernel p h 2(x, y, ) saisfies he following ideniy (2.6) p h 2(x, y, ) = p(x, y, ) h(x)h(y) where p(x, y, ) is he usual hea kernel on (M, g). Proof: as emphasised above, o verify ha our candidae is he weighed hea kernel one wans o check ha i solves he Cauchy problem (2.4). Le us sar off showing ha i is soluion of he weighed hea equaion: we freeze he variable x, and we denoe by p (y) he funcion (y, ) p(x, y, ). One wans firs o show ha he funcion ϕ := y p (y) h(y) is soluion of he hea equaion (2.4) h 2ϕ + ϕ = 0.

7 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 7 We sar off he righ member lef erm of he above equaion: h 2ϕ := h 2 div(h2 ϕ ) = ( (h h 2 div 2 p )) h = h 2 div (h p p h) = h 2 ( h p h p p h + p h). Since h is harmonic and p soluion of p = p, we have h 2ϕ = ( ) h 2 h p = h p ( p ) = = ϕ. h To conclude, we mus show ha for every coninuous and bounded funcion f we have p h 2(x, y, ) f(y) dµ h 2(y) f(x). 0 M To do i, we use he fac ha such a propery holds for he usual hea kernel; since he Riemannian manifold (M, g, µ σ ) is also sochasically complee by assumpion one has M p(x, y, ) p h 2(x, y, ) f(y) dµ(y) = h(y) h(x) f(y) h2 (y) dµ g (y) M = p(x, y, ) f(y) h(y) dµ g (y) h(x) Bu p Γ (x, y, ) is soluion of he Cauchy problem 2.4 associaed o he Riemannian manifold (M, g), herefore: p(x, y, ) f(y)h(y) dµ g (y) f(x) h(x) 0 M uniformly on every compac se, which complees he proof. Provided ha he weighs of wo manifolds differs from one anoher by a posiive harmonic funcion, he above proposiion relaes he wo induced hea kernels by a ime independen facor. In paricular, he large ime behaviour of hese hea kernels are alike, he wo poins x and y being fixed. We shall make a crucial use of his fac laer on. The nex secion aims o relae he large ime behaviour of hea kernels wih he geomery of he underlined manifold rough funcional ideniies Sobolev inequaliies and hea kernel esimaes. The following heorem, due o Varopoulos [40], relaes an upper bound for he hea kernel wih a Sobolev inequaliy. Theorem 2.7 (see [8] corollary 4.23 page 383). Le (M, g, µ σ ) a weighed Riemannian manifold and n > 2. The wo following asserions are equivalen: M

8 8 ADRIEN BOULANGER The Sobolev inequaliy: here is a consan C > 0 such ha for all smooh compacly suppored funcion u one has n 2 2n (2.8) u 2n n 2 dµσ C u 2 dµ σ. M There is a consan C > 0 such ha for every x, y M and all > 0 one has (2.9) p σ (x, y, ) C n 2. If Equaion (2.8) holds on a weighed Riemannian manifold we say he las o admi a Sobolev inequaliy of ype n. Remark 2.0. The condiion n > 2 may seem arificial. There is indeed a similar saemen for n =, 2, replacing he above Sobolev inequaliy by a Nash s one. We refer o Saloff-Cose s survey [37] and he references herein for a panoramic view of he resuls around esimaes of he hea kernel. These inequaliies have he benefi of being invarian by some kind of weak isomeries, he so called rough isomeries, preserving he large scale geomery of he underlined manifolds. Definiion 2. (Kanaï [23]). Le (M, d, µ ) and (M 2, d 2, µ 2 ) wo meric measured spaces. We will say of an applicaion f : M M 2 ha i is a rough isomery if he hree following condiions hold: () here is ɛ > 0 such ha he ɛ-neighbourhood of f(m ) is equal o M 2 ; (2) here is C > 0 such ha for every x M we have ) ( ) ( ) C vol µ (B(x, ) vol µ2 B(f(x), ) C vol µ B(x, ) ; (3) here is a, b > 0 such ha for every x, y M we have a d (x, y) b d 2 (f(x), f(y)) a d (x, y) + b. This definiion is very closed o he more familiar one of quasi-isomery. However, he laer one does no require any measured srucure on he underlined meric spaces; he noion of rough isomery may herefore be considered as an exension of he one of quasi-isomery o he seing of meric measured spaces. This measured addiional assumpion on he volume of small balls is no so much o ask, for example wo quasi-isomeric Riemannian manifold wih injeciviy radius bounded and Ricci curvaure bounded from below are auomaically roughly isomeric. The following proposiion will be be used o prove he Solobev inequaliy (2.8) in he case of ineres. Proposiion 2.2. [3, Proposiion 4., page 698] The Sobolev Inequaliy (2.8) is invarian under rough isomeries. We conclude his secion by saing anoher heorem which gives, on he diagonal, an lower bound for he hea kernel, provided a doubling condiion (see (2.4) below). The heorem saed below generalises he non weighed one proved in [2]. Theorem 2.3. [8, Theorem 6.6 page 427] Le (M, g, µ σ ) be a complee weighed manifold and x M such ha here is a consan C > 0 saisfying for all ρ > 0 ) ( ) (2.4) vol σ (B(x, 2ρ) C vol σ B(x, ρ) ; M

9 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 9 he following upper bound holds for he hea kernel C p (x, x, ) vol σ (B(x, ), ) hen he hea kernel also saisfies he lower bound C p (x, x, ) vol σ (B(x, ). ) 3. The orbial funcion and he usual hea kernel We sar off reviewing some properies of he hea kernel on H 3 and is quoien manifolds; hyperbolic manifolds of dimension 3. We will hen prove successively he upper bound of Theorem.4 and heorem.7, giving some conrol on he orbial funcion provided some knowledge of he large ime behaviour of he hea kernel. On he way, we will define he averaged orbial funcion and he rough decreasing propery required o apply Theorem.7. These are ones of he main wo ingrediens o prove Theorems.2 and Hea kernels of hyperbolic manifolds. The hyperbolic 3-space H 3 enjoys an explici formula for is hea kernel denoed p H 3, denoed by p 3 (x, y, ) from now on. Theorem 3. (see [9]). For any wo poins x, y H 3 a disance ρ and for all > 0 one has ρ ρ (3.2) p 3 (x, y, ) = 2 (4π) 3 2 sinh(ρ) e 4. For ρ 0 and > 0, we denoe by p 3 (ρ, ) he funcion giving he value of he hea kernel p 3 (x, y, ) for any wo poins x, y H 3 a disance ρ from one anoher. Hea kernels of hyperbolic spaces of differen dimensions are relaed by he following formula (see [9]): (3.3) p n+2 (ρ, ) = e n 2π sinh(ρ) ρp n (ρ, ). Remark 3.4. There is also an explici formula for he hea kernel of he hyperbolic space of dimension 2, so ha, using he above formula one can derive a formula in any dimension. The resuls of his aricle can herefore be exended o any dimension. However, our main applicaion being oward Kleinian groups, we will sick o he dimension hree in order no o burden his aricle wih quie a lo of compuaions. Lemma 3.5. For any Kleinian group Γ and any wo poins x, y on M Γ he hea kernel of he manifold M Γ is given by he formula: (3.6) p Γ (x, y, ) := γ Γ p 3 ( x, γ ỹ, ). where x and ỹ are any wo lifs on H 3 of he poins x and y. Proof : one needs firs o verify ha he above series makes sense in H 3. This is due o he explici formula given by 3. which shows ha he hea kernel decreases spaially super-exponenially whereas he orbial funcion N Γ (x, y, ρ) as a mos exponenial growh in he variable ρ for any wo poins fixed poins x and y. To descend o somehing well defined on he quoien manifold M Γ, his series mus no depend on he choices involved abou he lifed poins x and ỹ. Since we average his series wih respec o he second variable along he group Γ, i is auomaic

10 0 ADRIEN BOULANGER ω() x ω() x Figure. Seen as he spaial disribuion of he Brownian moion, Lemma 3.5 fis wih he inuiion ha for a random pah ω o hi in ime he orange ball on he quoien manifold he lifed pah ω has o hi one he lifs of his ball in H 3. ha he series does no depend on a lif of y. To show ha he same propery holds for he firs facor as well, le us noe ha he diagonal acion of an isomery on H 3 H 3 leaves he kernel p 3 (x, y, ) invarian since, being fixed, i depends only on he disance beween x and y. To conclude we show ha p Γ = p MΓ in applying Theorem 2.2. In fac, since he volume growh of balls in hyperbolic manifolds is no faser han exponenial, we know ha he complee hyperbolic manifold are sochasically complee. Therefore, i remains o verify ha he series p Γ saisfies he Cauchy problem (2.4), which follows readily from he fac ha p 3 is he hea kernel of he hyperbolic space H The orbial funcion upper bound. This subsecion is enirely dedicaed o prove he upper bound of Theorem.4 announced in he inroducion, ha we recall here for he reader s convenience. Theorem. There is a universal consan C + > 0 such ha for every Kleinian group Γ and all x, y H 3 one has for > ( N Γ (x, y, ) e 2 C + pmγ x, y, ). 2 The above heorem relies on Lemma 3.5 and wih he fac ha he hea kernel p 3 (x, y, ) only depends on he disance beween x and y, which relaes he hea kernel o he orbial funcion. Secondly, we use he explici Formula given by Theorem 3. o conclude. Given wo poins x, y X and ρ 2 > ρ, we denoe by A Γ (x, y, ρ, ρ 2 ) he following subse of Γ: {γ Γ, ρ d(x, γ y) < ρ 2 }, which is finie since Γ acs discreely on X. Lemma 3.7. Le X be a meric space, x, y wo poins in X and Γ a discree subgroup of X such ha Γ y is a discree se. Given b > a 0 and f : [a, b] R

11 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. a smooh funcion we have: f (d(x, γ y)) = (3.8) γ A Γ(x,y,a,b) N Γ (x, y, b)f(b) N Γ (x, y, a)f(a) [a,b] N Γ (x, y, ρ) f (ρ)dρ. Proof : he proof consiss of doing a discree inegraion by par. Le n N. We chop off he inerval [a, b] in n inervals of same lengh; le x k := a + k b a n such ha A Γ (x, y, a, b) = ( ) A Γ x, y, xk, x k. So ha we also have γ A Γ(x,y,a,b) f(d(x, γ y)) = k n The funcion f being coninuous one also has f(d(x, γ y)) = γ A Γ(x,y,a,b) k n γ A Γ(x,y,x k,x k ) lim n + k n f(d(x, γ y)). A Γ (x, y, x k, x k )f(x k ). Now we work he righ side of he above equaion, n being fixed. We will perform a discree inegraion by par and hen we will le n + o recognize he Riemann sum appearing in Equaion (3.8). We inegrae he sequence A Γ (x, y, x k, x k ) by N Γ (x, y, x k ) and we differeniae f(x k ) o ge A Γ (x, y, x k, x k )f(x k ) = k n N Γ (x, y, b) f(b) k n k n N Γ (x, y, x k ) [f(x k ) f(x k+ )]. We rewrie he righ sum appearing in he above equaion as ( ) b a f(x k ) f(x k+ ) N Γ (x, y, x k ). n b a n The funcion f being smooh one can replace he parenhesis ( ) f(x k ) f(x k+ ) b a n by f (x k ) so ha he quesion is now o deermine wheher N Γ (x, y, ρ)f (ρ)dρ [a,b] is acually limi of he Riemann sums associaed o he funcion ρ N Γ (x, y, ρ)f (ρ). Which is clear here since he Γ-orbi of he poin y is discree, implying his funcion o be piecewise coninuous. We now use he above lemma 3.7 o ge he following inegral formula for he hea kernel.

12 2 ADRIEN BOULANGER Corollary 3.9. Le Γ a Kleinian group, hen (3.0) p Γ (x, y, ) = N Γ (ρ, x, y) ρ p 3 (ρ, )dρ R + Proof: Lemma 3.7 wih he daa f : R + R ρ p 3 (ρ, ), and b + gives p 3 (x, γ y, ) = γ Γ lim b + N Γ (x, y, b)p 3 (b, ) [0,b] N Γ (x, y, ρ) ρ p 3 (ρ, )dρ. The hea kernel p 3 (x, y, ρ) being decreasing spaially super-exponenially, one also has lim N Γ(x, y, b)p 3 (b, ) = 0, b + and herefore (3.) p Γ (x, y, ) = lim N Γ (x, y, ρ) ρ p 3 (ρ, )dρ. From Equaion 3.3 we know ha b + [0,b] so ha, leing b, we ge (3.2) p Γ (x, y, ) = which is he desired resul. N Γ (x, y, ρ) ρ p 3 (ρ, ) 0, R + N Γ (x, y, ρ) ρ p 3 (ρ, )dρ, To conclude he proof of Theorem.4 we use he explici formula for he hea kernel on H 3 as announced. The key feaure, from our perspecive, given by Formula 3. is he drif of he Brownian moion. Brownian pahs end o concenrae in large ime on an annulus of small radius 2 and of large radius 2 +. This -lack-of-concenraion on he perfec sphere of radius 2 is responsible for he non opimaliy of he upper bound of Theorem.4, even for compac manifolds. We shall come back laer on his and see how o srenghen he resul adding an exra assumpion on he Γ-acion, cf. Subsecion 3.3. Proof of Theorem.4 : Because he funcion ρ p 3 (ρ, ) is posiive, one has he following lower bound of he lef member of (3.): (3.3) p Γ (x, y, ) N(x, y, ρ) [ ρ p 3 (ρ, )] dρ. [2,2+] The orbial funcion ρ N Γ (x, y, ρ) being increasing and non negaive as well, one also has p Γ (x, y, ) N Γ (x, y, 2) ρ p 3 (ρ, )dρ. [2,2+] Therefore, he exisence of a consan C > 0 such ha (3.4) [ ρ p 3 ] (ρ, ) C e 4,

13 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 3 S( x, ) ω( 2 ) x + Figure 2. Wih non zero probabiliy, he Brownian moion issued from x H 3 will lie in he shady red annulus of he picure a ime 2. would give p Γ (x, y, ) N Γ (x, y, 2) C e 4, and hus he upper bound (.5) of Theorem.4 in subsiuing wih 2. To show ha he lower bound (3.4) holds, we recall Formula 3.2: hence, and hen, ρ p 3 (ρ, ) = (4π) 3 2 (3.5) ρ p 3 (ρ, ) = (4π) 3 2 ρ p 3 (ρ, ) = (4π) 3 2 sinh(ρ) e ρ 2 4, ( sinh(ρ) ρ cosh(ρ) sinh(ρ) 2 ρ 2 ) ρ2 e 4 2 sinh(ρ) ( ρ cosh(ρ) ) sinh(ρ) ρ2 e ρ2 4 2 sinh(ρ). From which one ges a consan C 2 > 0 such ha for every > and ρ [2, 2+] we have: ρ p 3 (ρ, ) C ( ) 2 e e (4π) which concludes he proof. C 3 e 4, 2 As already emphasised, his heorem may be re-enforced under some exra assumpions Sharper esimaes oward finer resuls. Under a rough decreasing assumpion defined below, one can sharpen he proof of Theorem.4 o ge a beer conrol of he orbial funcion growh.

14 4 ADRIEN BOULANGER Definiion 3.6. Le I R an inerval. A funcion f : I R + is said o be roughly decreasing if here is a posiive consan C such ha for ρ large enough and any s ρ, one has f(s) C f(). This rough decreasing propery will be required for he averaged orbial funcion defined as N(x, y, ρ) Ñ(x, y, ρ) := ρ e 2ρ, where e 2ρ is hough as he volume of an hyperbolic ball of radius ρ. Before enering in he proof of Theorem.7, we recall here is saemen for he reader s convenience. Theorem. Le Γ be any Kleinian group such ha here is α 0 such ha here is wo poins x, y M Γ and wo consans C, C + such ha for large enough one has (3.7) c α p Γ (x, y, ) c + α he averaged orbial funcion Ñ(x, y, ρ) is roughly decreasing, hen here is wo posiive consans C and C + such ha C e 2ρ ρ α N Γ (x, ρ) C + e 2ρ ρ α. We shall see laer ha he firs condiion made on he hea kernel is fulfilled in naural examples, as nilpoen covers of a given compac hyperbolic manifold or for hick degenerae Kleinian groups, see Secions 4 and 5. The second condiion is quie naural: up o he auhor s knowledge, we do no know any orbial funcion no saisfying i. However i doesn seem easy o verify i in general. Proof : We prove firs he upper bound appearing in he conclusion of Theorem.7 and hen we will use i o prove he lower one. For wha follows he poins x, y are fixed, so ha all he funcions appearing along he proof have o be seen as funcions defined on R +. Given wo funcions f, g : R + R +, we denoe f() g() he ransiive relaion : here is a consan C > 0 such ha f() Cg() for large enough, omiing he value of he consans. The proof of he upper bound is raher similar o he proof of Theorem.4. Recall firs Equaion 3.: p Γ (x, y, ) = N Γ (x, y, ρ) ρ p 3 (ρ, )dρ. R + Using he upper bound assumed on he hea kernel, one has N Γ (x, y, ρ) [ ρ p 3 (ρ, )]dρ α. R + Insead of he rough lower bound giving by Equaion(3.3) we prefer 2+ N Γ (x, y, ρ) [ ρ p 3 ](ρ, )dρ α, 2 ha can be rewrie as 2 2+ ÑΓ (x, y, ρ) e 2ρ [ ρ p 3 ](ρ, )dρ α.

15 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 5 Using he rough decreasing assumpion made on he averaged orbial funcion we ge (3.8) Ñ Γ (x, y, ) e 2ρ ρ p 3 (ρ, )dρ α. Recalling Equaion (3.5) one has 2 e 2ρ ρ p 3 (ρ, ) = (4π) 3 2 ( ρ cosh(ρ) ) sinh(ρ) ρ2 e ρ2 4 +2ρ 2 sinh(ρ) from which we deduce he exisence of wo universal consans C, C 2 > 0 such ha for every ρ (, 3) and > one has :, (3.9) In paricular, C 2 ρ2 e 4 +ρ e 2ρ ρ p 3 (ρ, ) C e 2ρ ρ p 3 (ρ, )dρ C. ρ2 e 4 +ρ. 2 So ha Equaion (3.8) gives Ñ Γ (x, y, 2 + ) α. Noe ha he funcion g := 2 + being asympoic o he funcion 2, one knows he inverse funcion g o be asympoic o 2 as well. Therefore, since (g ) α (2) α and one ges he following in subsiuing wih g () in he above inequaliy: Ñ Γ (x, y, ) α, which gives he desired upper bound in muliplying boh erms by e 2. The sraegy o ge he lower bound is raher similar o wha we have done for he upper one, bu more suble. Le us menion ha we will need he already proven upper bound in order o ge he lower one. We can no bound from below as roughly as we did for he upper bound, we prefer o sar off he mid-rough approximaion 3 p Γ (x, y, ) N Γ (x, y, ρ) ρ p 3 (ρ, )dρ, valid since he polynomial growh assumpion made on he hea kernel and because he wo remaining inegrals are decreasing faser han any raional funcion (from he rough upper bound N Γ (x, y, ρ) e 2ρ ). From he polynomial lower bound assumed on he hea kernel, we also have 3 α N Γ (x, y, ρ) [ ρ p 3 ](ρ, )dρ. We now use he righ side of Inequaliy (3.9) o ge α 3 N Γ (x, y, ρ) e 2ρ e ρ 2 4 +ρ 2 dρ,

16 6 ADRIEN BOULANGER which can be rewrie (3.20) α 3ÑΓ (x, y, ρ) e ρ2 4 +ρ Le chop off he above inegral he following way, k > 0 will be chosen laer on. 3 N Γ (x, y, ρ) e 2ρ e ρ 2 4 +ρ 2 The goal is now o show he Lemma 3.2. for i =, k N Γ (x, y, ρ) dρ = k 2+k e 2ρ 2+k N Γ (x, y, ρ) e 2ρ 3 N Γ (x, y, ρ) e 2ρ I i () e k2 α dρ. e ρ 2 4 +ρ 2 e ρ 2 4 +ρ 2 e ρ 2 4 +ρ 2 dρ := I () dρ dρ := I 2() := I 3(). Before proving he above lemma, le us show how o conclude using almos he same argumenaion han he one used o ge he upper bound. Combined wih Equaion (3.20) he above lemma gives α e k α 2 + I 2() + e k 2 α, aking k large enough we ge α I 2 (), namely: α 2 k 2+k N Γ (x, y, ρ) e 2ρ Using he rough decreasing assumpion made one has α ÑΓ(x, y, 2 k ) 2 k The righ above inegral being bounded, we also have e ρ 2 4 +ρ 2 dρ. 2+k ρ2 e 4 +ρ α ÑΓ(x, y, 2 k ). We conclude, he same way as done for he upper bound, in noicing ha 2 k 2 so ha one can subsiue 2 k wih 2 in he righ member of he above equaion. I remains o show ha Lemma 3.2 holds. Proof : (of Lemma 3.2) The proofs for bounding from above he inegrals I () and I 3 () being very similar, we will perform here only he compuaion concerning 2 dρ.

17 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 7 I (). We sar off using he already proven upper bound N Γ (x, y, ρ) e2ρ 2 k N Γ (x, y, ρ) I () := α 2 k e 2ρ e ( ρ α 2 ρ 2 )2 e ρ 2 4 +ρ dρ 2 2 k 2 ρ ( e 2 )2 dρ. We subsiue ρ by 2 ρ 2 in he above inegral o ge 2 k 2 ρ ( e e 2 u2 )2 dρ = 2 du which gives k 2e k2, dρ ρ α : he expeced resul. I () e k2 α, 3.4. Firs applicaion: nilpoen covers of compac manifolds. We apply Theorems.4 and.7 o nilpoen covers of compac hyperbolic manifold for which he large ime behaviour of he hea kernel is well known. We refer o [37] for a comprehensive survey abou he sudy of he large ime behaviour of he hea kernel in his seing. Theorem See [37] and he references herein. Le M be a manifold roughly isomeric o a nilpoen cover of a compac manifold M 0, hen here are wo consan C, C + such ha for every wo poins x, y he hea kernel p M (x, y, ) saisfies for large enough C ( vol B(x, ) p M (x, y, ) ) C + ( vol B(x, ) The proof of his heorem is a corollary of Grigor yan s work, saing an equivalence beween he large scale geomery of he manifold and he long ime behaviour of is associaed hea kernel, we will come back o his aspec hrough he las Remark 5.7 of Subsecion 5.. From Milnor s work [29], improved laer on by Pansu [32], one knows ha he volume growh of finiely generaed nilpoen groups is polynomial: here are consans α, C, C + such ha ( ) C ρ α vol B(x, ρ) C + ρ α. Theorem 3.22 combined wih Theorems.4, Theorem.7 and he above discussion gives Corollary The hick amed degenerae hyperbolic manifolds. This secion is devoed o he descripion of he opology and he geomery of degenerae hyperbolic manifolds of posiive injeciviy radius, called hick. I basically gahers resuls from he lieraure. ).

18 8 ADRIEN BOULANGER 4.. Their geomery. In his subsecion we gaher resuls describing he geomery and he opology of a hick hyperbolic manifold wih finiely generaed fundamenal group. The Tameness heorem, a resul proved by Agol and Calegari-Wise independenly (see [8]), assers ha he quoien of H 3 by a finiely generaed Kleinian group is homeomorphic o he inerior of a compac manifold. On he geomeric side, his heorem assers ha if Γ is a finiely generaed Kleinian group acing on H 3 hen he quoien manifold can be described as a compac submanifold K on which one has aached finiely many ends E,..., E p. These ends can be pu in wo families: he geomerically finie ends and he degenerae ends, see Figure 3. The geomery of he geomerically finie ones is well undersood and feaures he same behaviour han he 2-dimensional funnel. Theorem 4.. [34] Le E be a geomerically finie end. Then here is a Riemannian surface (S, g) such ha E is roughly-isomeric o he wised meric space ( (S R+ ), e 2 g + d 2). On he oher hand, degenerae ends have been described more recenly, hanks o he work of Minsky (see [30]). The picure is now quie simple and provided he manifold M Γ o be hick, he degenerae ends can no be oo wild: hey are quasi-cylinders. Definiion 4.2. A quasi-cylinder is a manifold wih boundary which is roughly isomeric o R +. Theorem 4.3. [4, Theorem 6.3] Le Γ a finiely generaed Kleinian group such ha M Γ is a hick amed manifold, hen all is degenerae ends are quasi-cylinders. E K E 2 E 3 Figure 3. Here he manifold carries 3 ends, E, E 2 and E 3. The fis one is geomerically finie and he wo las ones are degenerae. The chosen compac core, no unique, is represened in orange. In [4], he auhors acually prove, under he hickness assumpion, ha any produc region - a region which is opologically given by he produc on an inerval and some surface - in he convex core is (, C)-quasi-isomeric o an inerval, he consan C depending only on he rank of he underlined surface group and he injeciviy radius. In paricular, heir resul apply for degenerae ends. This quasi-isomery o R + is auomaically upgraded o a rough isomery using again he posiiviy of he injeciviy radius.

19 A STOCHASTIC APPROACH TO COUNTING PROBLEMS Thurson-Sullivan s harmonic funcion. In his subsecion we inroduce he Thurson-Sullivan s harmonic funcion, which will ulimaely plays he role of he weigh we will use in order o esimae he large ime behaviour of he hea kernel. Theorem 4.4. [27] [5] [4] Le Γ be a finiely generaed Kleinian group such ha he manifold M Γ is hick and carries boh degenerae and geomerically finie ends, hen here exiss an harmonic funcion h such ha () he funcion h 0 has linear growh in degenerae ends: given an marked poin x 0 M Γ, here is wo consans a, b > 0 saisfying ha for all x in he union of all he degenerae ends hen a d(x 0, x) b h 0 (x) ad(x 0, x) + b ; (2) he harmonic funcion h converges o 0 in he geomerically finie ends. The sory of his heorem is more inricae han he above saemen migh le hink. In [27, Theorem 3 page 35], carrying furher Thurson s ideas, Sullivan showed ha a non consan harmonic funcion has o have linear growh on quasicylinder. Laer on, Bishop and Jones [5, lemma.7] consruced a posiive harmonic funcion in he full generaliy of amed hick hyperbolic manifolds wihou requiring he ends o be quasi-cylinder. Moreover hey classify hem according o he number of degenerae ends. Roughly, here showed ha he se of he harmonic funcions described above is he convex cone generaed by he finiely many harmonic funcion; λ i h i (x), i d where d is he number of degenerae ends, h i is a definie harmonic funcion and he vecor (λ i ) i d has posiive coordinaes. The funcion h 0 appearing in Theorem 4.4 can be aken randomly in he previous family. We will come back on his aspec in he nex secion. We will denoe by h c he harmonic funcion h 0 +c, which enjoys he same properies han h 0, excep ha i converges o c in he geomerically finie ends. Lacking a precise descripion of he degenerae ends, hey could no manage o ge he linear growh. Theorem 4.3 comes here o fill his lack in showing ha he ends are acual quasi-cylinders, so ha Thurson-Sullivan s argumen was enough in he end, o ge exisence a leas. 5. Proof of he main heorems.2 and.3 The wo couning Theorems.2 and.3 announced in our inroducion are corollaries of Theorems.4,.7 and.0. Namely, combined wih Theorems.4 and.7 one readily ges Theorem.2 and he firs par of Theorem.3. Second par of Theorem.3 follows from Theorem.7 combined wih second par of Theorem.0 which gives ha for every poin x M Γ here is wo consans C and C + such ha for ρ large enough one has C e 2ρ N Γ (x, x, ρ) C + e 2ρ. ρ 3 2 This inequaliies self improves immediaely o he saemen proposed in Theorem.3 since one has N Γ (x, x, ρ d(x, y)) N Γ (x, y, ρ) N Γ (x, x, ρ + d(x, y)), which gives he desired resul, up o enlarging he consans. ρ 3 2

20 20 ADRIEN BOULANGER I remains hen o prove Theorem.0; esimaing he large ime behaviour of he hea kernel on hick degenerae hyperbolic manifolds. The proof splis depending on wheher or no M Γ carries geomerically finie ends: if all he ends of M Γ are degenerae, we will say ha Γ is fully degenerae; if M Γ carries boh degenerae ends and geomerically finie ones, we will say ha Γ is of mixed ype. We shall deal wih he fully degenerae case firs. 5.. The fully degenerae case. We have o prove he following Theorem 5.. Le M Γ be fully degenerae, hen here is wo consans C, C + such ha for any wo poins x, y M Γ, for big enough we have C p Γ (x, y, ) C +. One can deduce he above heorem from [6, Theorem 2.3 (i) page 0]. However, we prefer o give i here a proof in order o bypass all he refined echnology involved in [6] which was developed for harder-o-ge esimaes. In he case where he manifold M Γ carries only wo degenerae ends, as i is for he hisorical examples given by degeneraion of quasi-fuchsian manifolds [28], i follows from Theorem 4.3 ha M Γ is roughly isomeric o Z. If one would be able o compare he Brownian moion on M Γ and he random walk on Z, he inuiion behind Theorem 5. becomes clear since he local limi heorem for a random walk on Z is well known o behave as in he above heorem. Theorem 5. implies in paricular ha he Brownian moion is recurren. Definiion 5.2. Le M be a complee Riemannian manifold. The Brownian moion on M is said o be recurren if here is a x, y M such ha + p M (x, y, ) d = +. As a corollary, we ge firs par of Theorem.2. Corollary 5.3. Le Γ a hick fully degenerae Kleinian group, hen he group Γ is divergen. Equivalenly, he geodesic flow is recurren wih respec o he Liouville measure. The fac ha he group is divergen sraighforward follows from Sullivan s work [39, Proposiion 23]. The divergence of he group is equivalen o he recurrence of he geodesic flow wih respec o he unique Bowen-Margulis-Sullivan measure [36, Theorem.7]. From uniqueness, since he criical exponen is 2 in our seing, his measure has o be he Liouville measure. Proof of Theorem 5.: The proof relies on he discreisaion of a Riemannian manifold M. A discreisaion of M is a graph G buil as follows: given an ɛ > 0 we define he verex of G as any ɛ-separaed maximal family of poins of M. An edge relaes wo verexes if and only if he wo poins in consideraion are a disance a mos 2ɛ. See [3, Secion ]. A discreisaion, as a graph, comes wih a srucure of meric measured space in aking he classical disance given by he edges and he couning measure.

21 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 2 E E 2 N + E 3 K p N + Figure 4. On he lef, a fully degenerae manifold wih 3 ends. One of is discreisaion is he graph on he righ side. N + From he work performed in he previous secion, a discreisaion of a hick manifold M Γ associaed o a fully degenerae Kleinian group would be given by he graph buil from a rooed poin - he convex core - on which we aach d copies of N - corresponding o he number of degenerae ends - as in Figure 4. We denoe such a graph by G d. A very firs example of wo meric measured spaces roughly isomeric is acually given by a Riemannian manifold wih Ricci curvaure bounded from below and of posiive injeciviy radius and one of is discreisaion [24, Secion 6]. In [3] he auhors proved ha many large scale properies of a meric measured space are invarian under rough isomeries, as he doubling volume propery (2.4) and he Poincaré inequaliy (see below). The following heorem is herefore invarian under rough isomeries. Theorem 5.4. [7], see also [37] and he references herein. Le (M, g, σ) be a weighed complee manifold, he wo following proposiion are equivalen: The wo sided hea kernel esimaes: here is fours consans c ± and C ± such ha C C + vol σ (B(x, ) d(x,y)2 c+ ) e 4 p σ (x, y, ) vol σ (B(x, ) d(x,y)2 c ) e 4. (5.5) he conjuncion of he doubling volume propery and he following Poincaré inequaliy: There is k, P > 0 such ha for any x M, r > 0 and Lipschiz funcion f we have f f 2 dµ P r 2 f 2 dµ, B(x,r) B(x,kr) where f is he mean of f on he ball B(x, r). So ha Theorem 5. will readily follow if one would be able o make sense for graphs of he Poincaré inequaliy above and prove i for he graphs G d, since he volume doubling propery is immediae here. The only symbol which does no make sense is he gradien of a funcion in he seing of a graph, ha should be replace (see [3, Theorem 2.]) for he discree analogue δf(x) := f(y) f(x) 2, y x where x y sands for he relaion x and y are relaed by an edge of he graph.

22 22 ADRIEN BOULANGER The proof of he Poincaré inequaliy for he graphs G d is essenially he same han he shor - less han a page - one proposed by Kleiner and Saloff-Coses in [25, Theorem 2.2] a he very beginning of he paper. The main idea being ha i follows whenever one has few canonical shor pahs relaing any wo poins. Proof of he Poincaré inequaliy: here µ sands for he couning measure on he graph G d. Le f be a funcion on G d, we sar off he lef member of Equaion (5.5): 2 f f 2 dµ = vol ( B(x, r) ) f(z) f(y) dµ(y) dµ(z). B(x,r) B(x,r) B(x,r) B(x,r) B(x,r) B(x,r) Since we have he lower bound vol ( B(x, r) ) r we ge 2 f f 2 dµ r 2 f(z) f(y) dµ(y) dµ(z). Using Cauchy-Schwarz ideniy one has 2 f(z) f(y) dµ(y) dµ(z) vol ( B(x, r) ) B(x,r) B(x,r) (f(z) f(y)) 2 dµ(y). We now use he upper bound vol ( B(x, r) ) d r o ge (5.6) f f 2 dµ d (f(z) f(y)) 2 dµ(y)dµ(z). r B(x,r) B(x,r) B(x,r) Le us denoe by γ y,z = (ω 0 = y, ω,..., ω n = z) he (unique) geodesic of G d relaing he poins x and y, where n = d(x, y). Wriing f(z) f(y) ( f(ωi ) f(ω i ) ), k n and using again he Cauchy Schwarz ideniy one ges (f(z) f(y)) 2 n ( f(ωi ) f(ω i ) ) 2. i n Noe ha n 2r since x, y B(x, r). Noe also ha ( f(ωi ) f(ω i ) ) 2 which gives k n (f(z) f(y)) 2 2r Looking backward a 5.6, we have f f 2 dµ 2d B(x,r) B(x,r) B(x,r) ω γ y,z (δf) 2 (ω), ω γ y,z (δf) 2 (ω). ω γ y,z (δf) 2 (ω) dµ(y)dµ(z). Any geodesic γ z,y of G d is exacly given by is endpoins, and, again because γ z,y is a geodesic, a poin p B(x, r) belongs o γ z,y a mos once. Since we have prescribed in he above summaion he endpoins of he geodesics o lie in B(x, r),

23 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 23 here is a mos (d r) 2 differen such geodesics and hus a mos (d r) 2 occurrences of he erm (δf) 2 (p). Therefore, f f 2 dµ 2d 3 r 2 (δf) 2 (p) dµ(p), B(x,r) B(x,r) which concludes he proof seing P = 2 d 3. Remark 5.7. Noe ha, given a finiely generaed nilpoen group N, Theorem [25, Theorem 2.2] implies ha he Poincaré inequaliy holds for all Cayley graphs of N since we know hem o have polynomial growh. Therefore, Theorem 3.22 follows as well from he invariance of under rough isomeries of he doubling volume and he Poincaré inequaliy The mixed ype case. To deal wih he mixed ype case, we shall use he weighed version of heorem 2.7 o prove he second par of heorem.0. We recall here is saemen for he reader s convenience. Theorem 5.8. Le Γ be a mixed ype hyperbolic manifold hen, for every x, y M Γ here is a consan C + such ha for large enough p Γ (x, y, ) C Moreover, for any x M Γ here is a consan C such ha C 3 2 p Γ (x, x, ) The end of his paper is devoed o he proof of his heorem. The inuiion behind 5.8 is ha whenever he Brownian moion eners he geomerically finie end, which looks roughly like a hyperbolic space, i has o choose a poin a infiniy and goes oward i. Therefore, i ends o escape every compac se; i seems hen naural o compare, in large ime, he behaviour of he hea kernel o he one of a Brownian moion defined on he degenerae ends sopped whenever i eners some definie compac core region, see Figure 5. An discree analogue would be a random walk defined on N - he degenerae end - and sopped a 0 - he compac core - known o have a probabiliy of firs reurn of he order of n E E2 K Figure 5. The red Brownian pah is expeced o behave like a random walk on N when i belongs o he end E 2 and o be sopped whenever i eners he geomerically finie end, analogous o 0.

24 24 ADRIEN BOULANGER To ge he lower bound, we will use Theorem 2.3 which acually needs an upper bound, so ha we will sar in proving he upper bound using Theorem 2.7. One would like hen o show ha a mixed ype hyperbolic manifold admis a ype 3 Sobolev inequaliy. Unforunaely, such a direc approach will surely fail since Theorem 2.7 gives a uniform upper bound on he hea kernel, regardless of where are he poins x and y, see Figure 6 and commens below. x = y Figure 6. One expecs he hea kernel p Γ (x, y, ), aken a x = y far away in he degenerae end, o behave like, as i would be on a cylinder. We will use successively Theorem 2.7 and Theorem 2.3. We will weigh he manifold M Γ in wo differen ways, depending on which heorem we use. Recall ha we denoed by h c he Thurson-Sullivan s harmonic funcion h + c. Proposiion 5.9. Le M Γ a hick amed hyperbolic manifold and h be he Thurson- Sullivan s harmonic funcion. The weighed Riemannian manifold (M, g, µ h 2 ) saisfies a ype 3 Sobolev inequaliy. For he lower bound, we will need he following Proposiion 5.0. For any x here is wo consan C +, C such ha ) C 3 vol h 2 0 (B(x, ) C + 3. In paricular he manifold M Γ enjoys he volume doubling propery around x. Before proving hese wo proposiions, le us show how o deduce Theorem 5.8. Proof: [ => 5.8] Proposiion 5.9 combined wih Theorem 2.7 give readily ha here is a consan C > 0 such ha for every x, y M Γ one has p h 2 (x, y, ) C 3 2. On he oher hand, Proposiion 2.5 shows ha for every x, y M Γ one has p h 2 (x, y, ) = p Γ(x, y, ) h (x)h (x). Therefore, for any poins x, y M Γ here is a consan C 2 such ha (5.) p Γ (x, y, ) C 2 3 2, which is he desired upper bound. For he lower one, as announced, we weigh M Γ wih respec o h 2 0. By Proposiion 2.5, he large ime behaviour on he hea kernel a some definie poin does no depend on a harmonic weigh, we readily ge ha for every poin x M Γ here is a consan C 3 such ha p h 2 0 (x, x, ) C

25 A STOCHASTIC APPROACH TO COUNTING PROBLEMS. 25 Proposiion 5.0 gives ha he volume growh of a ball is of order 3 allowing one o apply Theorem 2.3, giving he lower bound for he h 2 0-weighed hea kernel. We use again ha large values (a definie poins) of he hea kernel do no depend of he harmonic weigh o conclude Proof of Proposiion 5.9. We will prove he Sobolev inequaliy of ype 3 on degenerae ends and geomerically finie ones independenly. We will deduce he global Sobolev inequaliy on M Γ in using he Theorem. [0, Theorem 2.5] Le (M, g, µ σ ) be a Riemannian weighed manifold of infinie volume. If here is a compac K such ha he Sobolev inequaliy 2.8 holds on M \ K, hen he same inequaliy holds for he whole manifold (M, g, µ σ ). This heorem is no saed in he generaliy of weighed manifolds in Carron s aricle, bu he proof is idenical in his seing. For our purpose, we will use he above proposiion wih K a compac core of he degenerae manifold. I remains herefore o show he Sobolev inequaliy for all he ends independenly. The degenerae ends. The Sobolev inequaliy (2.8) for a degenerae hick end E comes from ha we now such an inequaliy of ype n o hold for he Euclidean space of dimension n [2, Theorem 5.3. page 204]. In paricular, he euclidean space R 3 saisfies i leing n = 3, and so every radial funcion of R 3 saisfies i oo. The volume of sphere in R 3 being growing quadraically, he Euclidean Sobolev inequaliy implies ha any radial funcion from R 3 o R, saisfies R + ϕ 6 (x) x 2 dx ϕ : R + R, 6 C R + ϕ 2 x 2 dx, which is equivalen o say ha he space (R +, dx 2, x 2 dx) saisfies a ype 3 Sobolev inequaliy. Recall ha h has linear growh by Theorem 4.4 in a degenerae end. Therefore he weighed degenerae end (E, g, µ h 2 ) is roughly isomeric o (R +, dx 2, x 2 dx), he map being explici in aking he harmonic funcion iself as he rough isomery. We conclude in recalling Proposiion 2.2 which saes ha saisfying a Sobolev inequaliy of ype n is invarian under rough isomery. The geomerically finie ends. Le E be a geomerically finie ends. Recall ha he harmonic funcion h values asympoically in his ends, so ha he weighed Riemannian manifold (E, g, h 2 ) is roughly isomeric o he hyperbolic manifold (E, g). One is herefore able o work wih he non weighed Riemannian manifold, calling back again Proposiion 2.2 assering ha he sobolev inequaliy (2.8) is invarian under rough isomeries. To prove ha such an inequaliy occurs for he non weighed degenerae ends, we shall use he following Proposiion 5.2. [2, page 20] Le (M, g) be an hyperbolic manifold of dimension n > 2 wih injeciviy radius bounded from bellow hen for all square inegrable