20.07.2013 Views

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

SHOW MORE
SHOW LESS

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 (ξ)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!