26.12.2013 Views

A NULLSTELLENSATZ FOR AMOEBAS

A NULLSTELLENSATZ FOR AMOEBAS

A NULLSTELLENSATZ FOR AMOEBAS

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

ENDOSCOPIC LIFTING 499<br />

from which it follows that<br />

(η m+4 |ϖ m ) ↓ Spin7 ×Spin 2m+1<br />

= (µ 3 |0) ⊕ (µ 3 |2ϖ m ) ⊕ m−1<br />

i=1 (µ 3|ϖ i ). (33)<br />

The representations on the right-hand side of this equality are representations of the<br />

group Spin 7 (C)×Spin 2m+1 (C).Let(01) denote the second fundamental representation<br />

of G 2 (C). Its degree is 7. Then µ 3 restricted to G 2 (C) gives us 1 ⊕ (01). From this,<br />

we obtain the fact that<br />

(η m+4 |ϖ m ) ↓ G2 ×Spin 2m+1<br />

= (0|0) ⊕ (01|0) ⊕ (0|2ϖ m ) ⊕ (01|2ϖ m )<br />

⊕ m−1<br />

i=1 [(0|ϖ i) ⊕ (01|ϖ i )],<br />

where the representations of the right-hand side are representations of the group<br />

G 2 (C) × Spin 2m+1 (C).<br />

Assume that Conjecture 2(3) holds. Then the above branching decomposition<br />

induces a factorization of the partial L-function L S (π × ɛ, Spin 2(m+4) × Spin 2m+1 ,s),<br />

which contains at least one zeta factor. One expects that for generic representations,<br />

the other partial L-function must be nonzero at s = 1. Moreover, if the representations<br />

ν and ɛ are in general position, one would expect that these L-functions also must be<br />

holomorphic at s = 1. This would then imply that at s = 1, the pole of the above<br />

L-function would actually be a simple pole. This then motivates the implication that<br />

(3) implies (1) in Conjecture 2.<br />

Next, we introduce the period integral Q(π, ɛ). To simplify things, we introduce<br />

the period not in the similitude groups but on the orthogonal and symplectic groups<br />

themselves. The adoption to the similitude groups is quite simple but requires some<br />

more notation. Let P denote the standard parabolic subgroup of M ′ = SO 2(3m+2)<br />

whose Levi part is GL m−1<br />

2 × SO 2(m+4) ,andletU ′ denote its unipotent radical. In terms<br />

of matrices, this unipotent group is described in (2) with r = m − 2,p = 1, and<br />

q = m + 4. As explained in Section 2.2(c), one can define a projection l from the<br />

group U ′ onto the Heisenberg group H 4(m+4)+1 .LetK = SO 2(m+4) × SL 2 .Wedefine<br />

Q(π, ɛ) to be the period integral<br />

∫ ∫<br />

ϕ π (k 1 )θ ψ (<br />

Sp l(u)(k1<br />

4(m+4)<br />

,k 2 ) ) θ ɛ( ′ u(k1 ,k 2 ) ) ψ U ′(u) dudk 1 dk 2 . (34)<br />

K(F )\K(A) U ′ (F )\U ′ (A)<br />

Here k 1 ∈ SO 2(m+4) ,andk 2 ∈ SL 2 . The function θ<br />

ɛ ′ is a vector in the space of the<br />

representation ′ ɛ defined on the group M′ (A) as follows. Recall the representation<br />

ɛ defined on the group M = SO 14m+8 in Section 2.2(4), with n = 3. This representation<br />

is a residue representation that was attached to the induced representation<br />

from the parabolic subgroup Q whose Levi part is GL 3 2m+1 × SO 2(m+1).Todefinethe<br />

representation ′ ɛ , we start with the parabolic subgroup Q′ of M ′ whose Levi part

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

Saved successfully!

Ooh no, something went wrong!