Equidistribution in the space of 3-lattices and Dirichlet-improvable vectors on planar lines

Abstract: Let

X = e x t {S L}_{3} (m a t h b b R) / e x t {S L}_{3} (m a t h b b Z)

, and

g_{t} = e x t d i a g (e^{2 t}, e^{- t}, e^{- t})

. Let

u

denote the push-forward of the normalized Lebesgue measure on a segment of a straight line in the expanding horosphere of

{g_{t}}_{t > 0}

, under the map

h m a p s t o h e x t {S L}_{3} (m a t h b b Z)

from

e x t {S L}_{3} (m a t h b b R)

to

X

. We give explicit necessary and sufficient Diophantine conditions on the line for equidistribution of each of the following families of measures on

X

: (1)

g_{t}

-translates of

u

as

t o i n f t y

. (2) averages of

g_{t}

-translates of

u

over

t i n [0, T]

as

T o i n f t y

. (3)

g_{t_{i}}

-translates of

u

for some

t_{i} o i n f t y

. We apply this dynamical result to show that Lebesgue-almost every point on the planar line

y = a x + b

is not Dirichlet-improvable if and only if

(a, b) o t i n m a t h b b Q^{2}

.

Recommendations

Cited in

(1)

This page was built for publication: Equidistribution in the space of 3-lattices and Dirichlet-improvable vectors on planar lines