Harder's conjecture II

Abstract: Let

f

be a primitive form of weight

2 k + j - 2

for

S L_{2} (Z)

, and let

m a t h f r a k p

be a prime ideal of the Hecke field of

f

. We denote by

S P_{m} (Z)

the Siegel modular group of degree

m

. Suppose that

k e q u i v 0 m o d 2, j e q u i v 0 m o d 4

and that

m a t h f r a k p

divides the algebraic part of

L (k + j, f)

. Put

. Then under certain mild conditions, we prove that there exists a Hecke eigenform

F

in the space of modular forms of weight

(k + j, k)

for

S P_{2} (Z)

such that

is congruent to

A_{4}^{(I)} (F)

modulo

m a t h f r a k p

. Here,

is the Klingen-Eisenstein lift of the Saito-Kurokawa lift

I_{2} (f)

of

f

to the space of modular forms of weight

for

S P_{4} (Z)

, and

A_{4}^{(I)} (F)

is a certain lift of

F

to the space of cusp forms of weight

for

S P_{4} (Z)

. As an application, we prove Harder's conjecture on the congruence between the Hecke eigenvalues of

F

and some quantities related to the Hecke eigenvalues of

f

.

This page was built for publication: Harder's conjecture II