Let π be a cuspidal automorphic representation of Sp2n over ℚ which is holomorphic discrete series at infinity, and χ a Dirichlet character. Then one can attach to π an orthogonal p-adic Galois representation ρ of dimension 2n+1. Assume ρ is irreducible, that π is ordinary at p, and that p does not divide the conductor of χ. I will describe work in progress which aims to prove that the Bloch-Kato Selmer group attached to the twist of ρ by χ vanishes, under some mild ramification assumptions on π; this is what is predicted by the Bloch-Kato conjectures.
The proof uses "ramified Eisenstein congruences" by constructing p-adic families of Siegel cusp forms degenerating to Klingen Eisenstein series of non-classical weight, and using these families to construct ramified Galois cohomology classes for the Tate dual of the twist of ρ by χ.
