NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
130 MARGULIS and MOHAMMADI<br />
We fix some more notations. Let n = p + q, andletG = SLn(R) ⋉R n . Let<br />
Ɣ = SLn(Z) ⋉Z n , which is a lattice in G. We have the following, which is similar to<br />
Siegel’s integral formula.<br />
LEMMA 2.1<br />
Let f and fˆ be as above. Let µ be a probability measure on G/ Ɣ which is invariant<br />
under Rn . Then<br />
<br />
<br />
f ˆ(g)<br />
dµ(g) =<br />
G/ Ɣ<br />
Rn f (x) dx. (27)<br />
Proof<br />
Note that Rn is the unipotent radical of G. Now the lemma follows from Fubini’s<br />
theorem and the fact that µ is Rn-invariant. <br />
We end this section by recalling the definition of the α functions defined on the space<br />
of lattices. Let be a lattice in R n . A subspace L of R n is called -rational if L ∩ <br />
is a lattice in L. For a -rational subspace L, letd(L) be the volume of L/(L ∩ ).<br />
For 0 ≤ i ≤ n,define<br />
<br />
1<br />
αi() = sup<br />
d(L)<br />
<br />
: L is a -rational subspace of dimension i , (28)<br />
and let α() = maxi αi(). Now if ξ = + ξ is an inhomogeneous lattice, let<br />
α(ξ) = α(). There is a constant c = c(f ) depending on f such that, for any<br />
inhomogeneous lattice ξ = + ξ, wehave<br />
ˆ<br />
f (ξ)