Geodesic flows on quotients of Bruhat-Tits buildings - and ... · Geodesic flows on quotients of...

Geodesic flows on quotients of Bruhat-Titsbuildings

and Number Theory

Anish Ghosh

University of East Anglia

joint with J. Athreya (Urbana) and A. Prasad (Chennai)

1 / 127

Diagonal Actions

Recurrence

Buildings

Shrinking Targets

2 / 127

Diagonal Actions

Recurrence

Buildings

Shrinking Targets

3 / 127

Diagonal Actions

Recurrence

Buildings

Shrinking Targets

4 / 127

Diagonal Actions

Recurrence

Buildings

Shrinking Targets

5 / 127

Shrinking

Target

Problems

0− 1 laws

Return time asymptotics

Heirarchy

6 / 127

Shrinking

Target

Problems

0− 1 laws

Heirarchy

7 / 127

Shrinking

Target

Problems

0− 1 laws

Heirarchy

8 / 127

Shrinking

Target

Problems

0− 1 laws

Heirarchy

9 / 127

Shrinking

Target

Problems

0− 1 laws

Heirarchy

10 / 127

Shrinking

Target

Problems

0− 1 laws

Heirarchy

11 / 127

Excursions in hyperbolic 3 manifolds

12 / 127

Sullivan (1982)

Y = Hk+1/Γ, y0 ∈ Y , {rt} a sequence of real numbers

For any y ∈ Y and almost every ξ ∈ Ty (Y ) there are infinitely manyt ∈ N such that

dist(y0, γt(y , ξ)) ≥ rt

if and only if

∞∑t=1

e−krt =∞

13 / 127

Sullivan (1982)

if and only if

∞∑t=1

e−krt =∞

14 / 127

Sullivan (1982)

if and only if

∞∑t=1

e−krt =∞

15 / 127

Logarithm Laws

Corollary

For almost every y ∈ Y and almost all ξ ∈ Ty (Y )

lim supt→∞

dist(y , γt(y , ξ))

log t=

16 / 127

Some Number theory

For almost every z , there exist infinitely many pairs (p, q) ∈ O(√−d)

such that

|z − p

q| < ψ(|q|)

|q|2and (p, q) = O(

√−d)

if and only if∞∑t=1

t2=∞

17 / 127

Some Number theory

For almost every z , there exist infinitely many pairs (p, q) ∈ O(√−d)

such that

|z − p

q| < ψ(|q|)

|q|2and (p, q) = O(

√−d)

if and only if∞∑t=1

t2=∞

18 / 127

Sullivan’s strategy

Use the mixing property of the geodesic flow (in the tradition ofMargulis)

Along with geometric arguments

To force quasi-independence

And then apply the Borel-Cantelli Lemma

19 / 127

20 / 127

21 / 127

22 / 127

Kleinbock-Margulis (1999)

Generalized Sullivan’s results

G semisimple Lie group, K maximal compact subgroup, Γnon-uniform lattice

Y = K\G/Γ a locally symmetric space

Logarithm laws for locally symmetric spaces

23 / 127

24 / 127

25 / 127

26 / 127

Khintchine-Groshev Theorem

For almost all A ∈ Matm×n(R), there exist infinitely manyq ∈ Zn,p ∈ Zm such that

‖Aq + p‖m < ψ(‖q‖n)

if and only if

∞∑t=1

ψ(t) =∞

If time permits

More general multiplicative results

27 / 127

‖Aq + p‖m < ψ(‖q‖n)

if and only if

∞∑t=1

ψ(t) =∞

If time permits

28 / 127

‖Aq + p‖m < ψ(‖q‖n)

if and only if

∞∑t=1

ψ(t) =∞

If time permits

29 / 127

SLn(R)/ SLn(Z) can be identified with the space Xn of unimodularlattices in Rn

Mahler’s compactness criterion describes compact subsets of Xn

The systole of a lattice

s(Λ) := minv∈Λ‖v‖

30 / 127

31 / 127

32 / 127

Dani Correspondence

x ! ux :=

(1 x0 1

(et 00 e−t

Read Diophantine properties of x from the gt (semi) orbits of uxZ2

For example, x is badly approximable if and only if the orbit of uxZ2

is bounded

33 / 127

Dani Correspondence

x ! ux :=

(1 x0 1

(et 00 e−t

is bounded

34 / 127

Dani Correspondence

x ! ux :=

(1 x0 1

(et 00 e−t

is bounded

35 / 127

Dani Correspondence

x ! ux :=

(1 x0 1

(et 00 e−t

is bounded

36 / 127

More generally

There are infinitely many solutions to

|qx + p| < ψ(q)

if and only if there are infinitely many t > 0 such that

s(gtuxZ2) ≤ r(t)

37 / 127

More generally

There are infinitely many solutions to

|qx + p| < ψ(q)

if and only if there are infinitely many t > 0 such that

s(gtuxZ2) ≤ r(t)

38 / 127

r(t) defines the complement Xn(t) of a compact set

Shrinking systolic neighborhoods

If r(t)→ 0 very fast we should expect few solutions

The speed is governed by convergence of

∞∑t=0

vol(Xn(t))

39 / 127

∞∑t=0

vol(Xn(t))

40 / 127

∞∑t=0

vol(Xn(t))

41 / 127

∞∑t=0

vol(Xn(t))

42 / 127

Similar story for logarithm laws

Model geodesic flow on T 1(K\G/Γ) by the action of diagonalone-parameter subgroups on G/Γ

Compute vol({x ∈ G/Γ : d(x0, gtx) ≥ r(t)})

Use quantitative mixing, i.e. effective decay of matrix coefficients forautomorphic representation

For φ, ψ ∈ L2(G/Γ), and g ∈ G

|〈gφ, ψ〉| � L2l (φ)L2

l (ψ)H(g)−λ

To force quasi-independence on average

43 / 127

|〈gφ, ψ〉| � L2l (φ)L2

l (ψ)H(g)−λ

44 / 127

|〈gφ, ψ〉| � L2l (φ)L2

l (ψ)H(g)−λ

45 / 127

|〈gφ, ψ〉| � L2l (φ)L2

l (ψ)H(g)−λ

46 / 127

|〈gφ, ψ〉| � L2l (φ)L2

l (ψ)H(g)−λ

47 / 127

|〈gφ, ψ〉| � L2l (φ)L2

l (ψ)H(g)−λ

48 / 127

Much recent activity

Maucourant, Hersonsky-Paulin, Parkonnen-Paulin, Chaika

Nogueira, Laurent-Nogueira, G-Gorodnik-Nevo

49 / 127

50 / 127

51 / 127

Key technical point

In order to apply decay of matrix coefficients we have to smoothencusp neighborhoods

And use suitable Sobolev norms

This destroys sensitive information about exponents

Which is crucial in G-Gorodnik-Nevo

52 / 127

Key technical point

53 / 127

Key technical point

54 / 127

Key technical point

55 / 127

Volume estimates

Γ arithmetic lattice in G , S Siegel set for Γ in G

dist metric on G , ¯dist metric on G/Γ defined by

¯dist(gΓ, hΓ) := infγ∈Γ{dist(gγ, h) : γ ∈ Γ}

Coarse isometry (Leuzinger + Ji)

¯dist(gΓ, hΓ) ≤ dist(g , h) ≤ ¯dist(gΓ, hΓ) + C

For g , h ∈ S

56 / 127

Volume estimates

For g , h ∈ S

57 / 127

Volume estimates

For g , h ∈ S

58 / 127

Volume estimates

For g , h ∈ S

59 / 127

Trees and Buildings

If G is a p-adic Lie group then

The analogue of a symmetric space is a Bruhat-Tits building

Example from Shahar Mozes’ talk

G = PGL2(Qp)× PGL2(Qq)

Γ a co-compact lattice coming from a quaternion algebra

X/Γ is a finite graph

In fact, any lattice in a p-adic Lie group is necessarily cocompact(Tamagawa)

60 / 127

Trees and Buildings

61 / 127

Trees and Buildings

62 / 127

Trees and Buildings

63 / 127

Trees and Buildings

64 / 127

Trees and Buildings

65 / 127

Trees and Buildings

66 / 127

Trees and Buildings

However, we could consider G = PGL2(Fp((t)))× PGL2(Fp((t−1)))

And Γ = PGL2(Fp[t, t−1])

Which turns out to be a non-uniform lattice in G

67 / 127

Trees and Buildings

68 / 127

Trees and Buildings

69 / 127

Trees and Buildings

The Tree of SL2(F2((X−1)))

70 / 127

Trees and Buildings

Ultrametric logarithm laws

So it makes sense to investigate analogues of logarithm laws for

The graph K\G/Γ where G is an algebraic group

Defined over a totally disconnected field

K is a compact open subgroup and Γ is a lattice in G

71 / 127

Trees and Buildings

72 / 127

Trees and Buildings

73 / 127

Trees and Buildings

74 / 127

Trees and Buildings

Local fields of positive characteristic

Fp - finite field

Fp[X ] ! Z

Fp(X ) ! Q

Fp((X−1)) ! R

75 / 127

Trees and Buildings

Fp - finite field

Fp[X ] ! Z

Fp(X ) ! Q

Fp((X−1)) ! R

76 / 127

Trees and Buildings

Fp - finite field

Fp[X ] ! Z

Fp(X ) ! Q

Fp((X−1)) ! R

77 / 127

Trees and Buildings

Fp - finite field

Fp[X ] ! Z

Fp(X ) ! Q

Fp((X−1)) ! R

78 / 127

Trees and Buildings

Euclidean buildings

G has a BN pair

Corresponding to which there is a Euclidean building

A Euclidean building is polyhedral complex

With a family of subcomplexes called apartments

There is a nice (CAT(0)) metric on the building

And G acts by isometries

79 / 127

Trees and Buildings

Euclidean buildings

G has a BN pair

80 / 127

Trees and Buildings

Euclidean buildings

G has a BN pair

81 / 127

Trees and Buildings

Euclidean buildings

G has a BN pair

82 / 127

Trees and Buildings

Euclidean buildings

G has a BN pair

83 / 127

Trees and Buildings

Euclidean buildings

G has a BN pair

84 / 127

Trees and Buildings

Borel-Harish-Chandra, Behr-Harder

G (Fp[X ]) is a lattice in G (Fp((X−1)))

Lubotzky

G (rank 1) has non-uniform and uniform, arithmetic and non-arithmeticlattices.

85 / 127

Trees and Buildings

Borel-Harish-Chandra, Behr-Harder

G (Fp[X ]) is a lattice in G (Fp((X−1)))

Lubotzky

G (rank 1) has non-uniform and uniform, arithmetic and non-arithmeticlattices.

86 / 127

Trees and Buildings

Logarithm laws for trees

T - a regular tree, then Aut(T ) is a locally compact group

Hersonsky and Paulin obtained logarithm laws for T/Γ

Where Γ is a geometrically finite lattice in Aut(T )

By Serre + Raghunathan + Lubotzky

This includes all algebraic examples

Namely lattices in rank 1 algebraic groups

87 / 127

Trees and Buildings

88 / 127

Trees and Buildings

89 / 127

Trees and Buildings

90 / 127

Trees and Buildings

91 / 127

Trees and Buildings

92 / 127

Trees and Buildings

93 / 127

Trees and Buildings

Trees continued

They also obtained generalizations of Khintchine’s theorem

In positive characteristic

Their method is very geometric

And reminiscent of Sullivan

94 / 127

Trees and Buildings

Trees continued

95 / 127

Trees and Buildings

Trees continued

96 / 127

Trees and Buildings

Trees continued

97 / 127

Trees and Buildings

Let G be a connected, semisimple linear algebraic group defined andsplit over Fp

Let Γ be an S arithmetic lattice in GS

By a result of Margulis + Venkataramana

This includes any irreducible lattice in higher rank

98 / 127

Trees and Buildings

99 / 127

Trees and Buildings

100 / 127

Trees and Buildings

101 / 127

Trees and Buildings

And their quotients

We prove analogues of the results of Kleinbock-Margulis

Namely logarithm laws for arithmetic quotients of

Bruhat-Tits buildings of semisimple groups

And several results in Diophantine Approximation

102 / 127

Trees and Buildings

And their quotients

103 / 127

Trees and Buildings

And their quotients

104 / 127

Trees and Buildings

And their quotients

105 / 127

Trees and Buildings

Main Result

Let B be a family of measurable subsets and F = {fn} denote asequence of µ-preserving transformations of G/Γ

B is Borel-Cantelli for F if for every sequence {An : n ∈ N} of setsfrom B

µ({x ∈ G/Γ | fn(x) ∈ An for infinitely many n ∈ N})

∑∞n=1 µ(An) <∞

1 if∑∞

n=1 µ(An) =∞

106 / 127

Trees and Buildings

Main Result

Let B be a family of measurable subsets and F = {fn} denote asequence of µ-preserving transformations of G/Γ

B is Borel-Cantelli for F if for every sequence {An : n ∈ N} of setsfrom B

µ({x ∈ G/Γ | fn(x) ∈ An for infinitely many n ∈ N})

∑∞n=1 µ(An) <∞

1 if∑∞

n=1 µ(An) =∞

107 / 127

Trees and Buildings

∆ a function on G/Γ define the tail distribution function

Φ∆(n) := µ({x ∈ G/Γ | ∆(x) ≥ sn})

Call ∆ “distance-like” if

Φ∆(n) � s−κn ∀ n ∈ Z

108 / 127

Trees and Buildings

∆ a function on G/Γ define the tail distribution function

Φ∆(n) := µ({x ∈ G/Γ | ∆(x) ≥ sn})

Call ∆ “distance-like” if

Φ∆(n) � s−κn ∀ n ∈ Z

109 / 127

Trees and Buildings

Let F = {fn | n ∈ N} be a sequence of elements of G satisfying

supm∈N

∞∑n=1

‖fnf −1m ‖−β <∞ ∀ β > 0,

and let ∆ be a “distance-like” function on G/Γ. Then

B(∆) := {{x ∈ G/Γ | ∆(x) ≥ sn} | n ∈ Z}

is Borel-Cantelli for F

110 / 127

Trees and Buildings

supm∈N

∞∑n=1

‖fnf −1m ‖−β <∞ ∀ β > 0,

B(∆) := {{x ∈ G/Γ | ∆(x) ≥ sn} | n ∈ Z}

111 / 127

Trees and Buildings

supm∈N

∞∑n=1

‖fnf −1m ‖−β <∞ ∀ β > 0,

B(∆) := {{x ∈ G/Γ | ∆(x) ≥ sn} | n ∈ Z}

112 / 127

Trees and Buildings

Ergodic ideas

We establish effective decay of matrix coefficients for semisimplegroups in positive characteristic

Well known to experts but unavailable in the literature

Main idea is to establish strong spectral gap for the regularrepresentation of G on G/Γ

For simple groups this is known due to work of Bekka and Lubotzky

They also show that there are tree lattices without spectral gap

113 / 127

Trees and Buildings

Ergodic ideas

114 / 127

Trees and Buildings

Ergodic ideas

115 / 127

Trees and Buildings

Ergodic ideas

116 / 127

Trees and Buildings

Ergodic ideas

117 / 127

Trees and Buildings

Effective mixing

Let G be a connected, semisimple, linear algebraic group, defined andquasi-split over k and Γ be an non-uniform irreducible lattice in G . Forany g ∈ G and any smooth functions φ, ψ ∈ L2

0(G/Γ),

|〈ρ0(g)φ, ψ〉| � ‖φ‖2‖ψ‖2H(g)−1/b.

We use the Burger-Sarnak method as extended to p-adic and positivecharacteristic fields by

Clozel and Ullmo

Along with the solution of the Ramanujan conjecture for GL2 due toDrinfield

118 / 127

Trees and Buildings

Effective mixing

0(G/Γ),

|〈ρ0(g)φ, ψ〉| � ‖φ‖2‖ψ‖2H(g)−1/b.

Clozel and Ullmo

119 / 127

Trees and Buildings

Effective mixing

0(G/Γ),

|〈ρ0(g)φ, ψ〉| � ‖φ‖2‖ψ‖2H(g)−1/b.

Clozel and Ullmo

120 / 127

Trees and Buildings

Effective mixing

0(G/Γ),

|〈ρ0(g)φ, ψ〉| � ‖φ‖2‖ψ‖2H(g)−1/b.

Clozel and Ullmo

121 / 127

Trees and Buildings

Volumes

Complements of compacta

µ({x ∈ G/Γ : d(x0, x) ≥ sn}) � s−κn

We compute volumes of cusps directly

Using an explicit description in terms of algebraic data attached to G

Building on work of Harder, Soule and others

122 / 127

Trees and Buildings

Volumes

µ({x ∈ G/Γ : d(x0, x) ≥ sn}) � s−κn

123 / 127

Trees and Buildings

Volumes

µ({x ∈ G/Γ : d(x0, x) ≥ sn}) � s−κn

124 / 127

Trees and Buildings

Volumes

µ({x ∈ G/Γ : d(x0, x) ≥ sn}) � s−κn

125 / 127

Trees and Buildings

Picture credits

D. Sullivan, Acta Math 1982

Ulrich Gortz, Modular forms and special cycles on Shimura curves, S.Kudla, M. Rapoport and T. Yang

126 / 127

Trees and Buildings

Picture credits

D. Sullivan, Acta Math 1982

Ulrich Gortz, Modular forms and special cycles on Shimura curves, S.Kudla, M. Rapoport and T. Yang

127 / 127

Geodesic flows on quotients of Bruhat-Tits buildings - and ... · Geodesic flows on quotients of...

Documents

Introduction - uni-due.dehx0050/pdf/CVGH.pdf · using the relative position to elements of the group J b, the ˙-centralizer of b, coincides with the Bruhat-Tits strati cation in

INTRODUCTION - University of Michigankaletha/gr.pdf · The Lie-algebra of Gwill be denoted by the Fraktur letter g. When Gis semi-simple, we will write B(G;F) for the Bruhat-Tits

BRUHAT-TITS BUILDINGS AND A CHARACTERISTIC P …

Neuro Derma Tits

B -TITS BUILDINGS AND ANALYTIC GEOMETRYbremy.perso.math.cnrs.fr/BerkoParis_final.pdf · BRUHAT-TITS BUILDINGS AND ANALYTIC GEOMETRY BERTRAND RÉMY, AMAURY THUILLIER AND ANNETTE WERNER

BRUHAT-TITS THEORY FROM BERKOVICH S POINT OF VIEW I — …math.univ-lyon1.fr/~thuillier/articles/BerkovichBuildings.pdf · spaces from Berkovich’s theory may make these compactiﬁcat

! Cassidy Morgan Tits !

Location Quotients

Geodesic bulk diagrams on the Bruhat–Tits tree Geodesic bulk diagrams on the Bruhat–Tits tree Steven S. Gubser∗and Sarthak Parikh† Joseph Henry Laboratories, Princeton University,

Non-Archimedean Strings and Bruhat-Tits Trees

B -TITS BUILDINGS AND ANALYTIC GEOMETRY B R , A T A Wmath.univ-lyon1.fr/~thuillier/articles/BerkoParis_final.pdf · BRUHAT-TITS BUILDINGS AND ANALYTIC GEOMETRY BERTRAND RÉMY, AMAURY

Ramanujan Complexes and High Dimensional Expanders … › pdf › 1301.1028.pdf · 2013-01-15 · 1.2 Bruhat-Tits trees and representation theory of PGL2 Let F be a local ﬁeld

Everyday Mathematics Partial-Quotients Division Partial-Quotients Division Partial-quotients is a simpler way to do long division. Many children like

Paritial quotients ppt

B -TITS BUILDINGS AND ANALYTIC GEOMETRY B R , A T A Wmath.univ-lyon1.fr/~thuillier/articles/BerkoParis.pdf · BRUHAT-TITS BUILDINGS AND ANALYTIC GEOMETRY BERTRAND RÉMY, AMAURY THUILLIER

Tensor network and (p-adic) AdS/CFT - arXiv network and (p-adic) AdS/CFT Arpan Bhattacharyyaa, Ling-Yan Hunga;b;c, ... Abstract: We use the tensor network living on the Bruhat-Tits

Partial Quotients

Vds Tits 2007

land tits cases

Estimating Quotients