A NULLSTELLENSATZ FOR AMOEBAS
A NULLSTELLENSATZ FOR AMOEBAS
A NULLSTELLENSATZ FOR AMOEBAS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
ENDOSCOPIC LIFTING 475<br />
by<br />
Let ̂R 1 denote the group of all unipotent matrices inside V(Sp 2m(2n+1) ) defined<br />
⎧⎛<br />
⎪⎨<br />
̂R 1 =<br />
⎜<br />
⎝<br />
⎪⎩<br />
I 2n(m−1)<br />
⎞<br />
R<br />
⎛<br />
I n+m I 2n ⎟<br />
I n+m R ∗ ⎠ ,R= ⎜<br />
⎝<br />
I 2n(m−1)<br />
R m−1<br />
R m−2<br />
.<br />
R 1<br />
⎞<br />
⎟<br />
⎠ : R i ∈ Mat col,i<br />
2n×(n+m)<br />
Also, let S denote the group of all unipotent matrices inside Sp 2m(2n+1) defined by<br />
⎧⎛<br />
⎪⎨<br />
S =<br />
⎜<br />
⎝<br />
⎪⎩<br />
I 2n(m−1)<br />
S 2 I n+m S 1 S 3<br />
I 2n S1<br />
∗<br />
I n+m<br />
S2<br />
∗<br />
⎫<br />
⎪⎬<br />
.<br />
⎞<br />
⎫<br />
⎟<br />
⎠ ,S 2 = ( )<br />
⎪⎬<br />
0 S 2,m−1 ··· S 2,3 S 2,2 .<br />
⎪⎭<br />
I 2n(m−1)<br />
Here S 1 ∈ Mat row,1<br />
(n+m)×2n ,S 2,i ∈ Mat row,i<br />
(n+m)×2n ,andS 3 ∈ Mat 0 (n+m)×(n+m)<br />
are such that the<br />
first column of S 3 is zero. The center of the group S, which we denote by Ŝ, consists of<br />
all matrices in S such that S 1 and S 2 are zero. Thus, Ŝ is an abelian unipotent subgroup<br />
of V (Sp 2m(2n+1) ).<br />
Returning to integral (15) as defined by integral (3), we start by expanding it along<br />
the group Ŝ(A)S(F )\S(A). We obtain<br />
∑<br />
∫<br />
( )<br />
ϕ σ (g)θ ɛ su(g, vh) ψU (u)ψ V (Sp2(m+n) ),a(v)ψ α (s) ds dv dudg.<br />
α<br />
Here g is integrated over Sp 2n (F )\Sp 2n (A), the variable u is integrated over the<br />
group U(F )\U(A) (see (3)), the variable s is integrated over Ŝ(A)S(F )\S(A),<br />
and v is integrated as in (15). The variable α is summed over all characters of<br />
the group Ŝ(A)S(F )\S(A). Notice that ̂R 1 is a subgroup of U. Sinceθ ɛ is leftinvariant<br />
over rational points, conjugating in the above integral by a suitable rational<br />
matrix in ̂R 1 (F ), and after a suitable collapsing of summation and integration, we<br />
obtain<br />
∫<br />
(<br />
ϕ σ (g)θ ɛ su(1,v)̂r1 (g, h) ) ψ U (u)ψ V (Sp2(m+n) ),a(v) ds dudv d̂r 1 dg.<br />
⎪⎭<br />
Here the variable u is integrated over U(F )̂R 1 (A)\U(A), and the variable ̂r 1 is integrated<br />
over ̂R 1 (A). All other variables are integrated as before.