Let
be the space of
unimodular lattices in
,
and for any
denote by
the set of lattices such that all its nonzero vectors have supremum norm at least
. These are compact
nested subsets of
,
with
being the union of two closed horocycles. We use an explicit second moment
formula for the Siegel transform of the indicator functions of squares in
centered at the origin to derive an asymptotic formula for the volume of sets
as
.
Combined with a zero-one law for the set of the
-Dirichlet
numbers established by Kleinbock and Wadleigh (Proc. Amer. Math. Soc. 146 (2018),
1833–1844), this gives a new dynamical Borel–Cantelli lemma for the geodesic flow on
with respect to the family
of shrinking targets
.