The p-adic representation of the Weil-Deligne group associated to an abelian variety

详细信息    查看全文

• 作者：Rutger Noot ^{noot@math.unistra.fr" class="auth_mail" title="E-mail the corresponding author}
• 关键词：14K15 ; 14F30 ; 11G10
• 刊名：Journal of Number Theory
• 出版年：2017
• 出版时间：March 2017
• 年：2017
• 卷：172
• 期：Complete
• 页码：301-320
• 全文大小：501 K

文摘

Let A   be an abelian variety defined over a number field 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=08e6947ee8772613164b03fcc1db9deb" title="Click to view the MathML source">F⊂C$F\subset \mathbf{C}$ and let 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=6edbf6c9b7689c7c290234c6ccdb5848" title="Click to view the MathML source">G_A$G_A$ be the Mumford–Tate group of 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=b0274ff49ba30d744cf3bed2b85d27af" title="Click to view the MathML source">A_/C$A_{/\mathbf{C}}$. After replacing F by a finite extension, we can assume that, for every prime number ℓ  , the action of 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=dd71083b6b95a0644a397f5fbc0479a4">114" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0022314X1630213X-si5.gif">${\mathrm{\Gamma }}_F=\mathrm{Gal}(\overline{F}/F)$ on 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=1ca5c09203798f209df11c23a272284c">${\mathrm{H}}_{\text{ét}}^1(A_{/\overline{F}},{\mathbf{<font\; color="red">Q</font>}}_{\ell })$ factors through a map 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=51f086fd16b086ed279e951be975e2b2" title="Click to view the MathML source">ρ_ℓ:Γ_F→G_A(Q_ℓ)${\rho }_{\ell }:{\mathrm{\Gamma }}_F\to G_A({\mathbf{Q}}_{\ell })$.

Fix a valuation v of F and let p be the residue characteristic at v  . For any prime number 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=4eb649e9d75c30832f6a1218fe3d6cd2" title="Click to view the MathML source">ℓ≠p$\ell \ne p$, the representation 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=528275032338b4090101d91be212c478" title="Click to view the MathML source">ρ_ℓ${\rho }_{\ell }$ gives rise to a representation 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=6af2bdab1a04d72afc7f43e9fa17ff61">${}^{\prime }W_{F_v}\to G_{A/{\mathbf{Q}}_{\ell }}$ of the Weil–Deligne group. In the case where A has semistable reduction at v it was shown in a previous paper that, with some restrictions, these representations form a compatible system of Q-rational representations with values in 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=6edbf6c9b7689c7c290234c6ccdb5848" title="Click to view the MathML source">G_A$G_A$.

The p  -adic representation 11" class="mathmlsrc">11.gif&_user=111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=91de8287935340162f6c2b792b100e57" title="Click to view the MathML source">ρ_p defines a representation of the Weil–Deligne group 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=e407aa7cf8b8f8686307036dff8581a0">115" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0022314X1630213X-si12.gif">${}^{\prime }W_{F_v}\to G_{A/F_{v,0}}^{\iota }$, where 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=18d98ff358b9963e75e34d83096f0fd1" title="Click to view the MathML source">F_v,0$F_{v,0}$ is the maximal unramified extension of 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=45d4a71d0aee96cd054afc23d98f3c38" title="Click to view the MathML source">Q_p${\mathbf{Q}}_p$ contained in 15" class="mathmlsrc">15.gif&_user=111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=d0017b6d89f51badcddd5b5566fe2dc5" title="Click to view the MathML source">F_v and 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=e377f7f92b5f52dc572d82c0a7162f80">$G_A^{\iota }$ is an inner form of 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=6edbf6c9b7689c7c290234c6ccdb5848" title="Click to view the MathML source">G_A$G_A$ over 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=18d98ff358b9963e75e34d83096f0fd1" title="Click to view the MathML source">F_v,0$F_{v,0}$. It is proved, under the same conditions as in the previous theorem, that, as a representation with values in 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=6edbf6c9b7689c7c290234c6ccdb5848" title="Click to view the MathML source">G_A$G_A$, this representation is Q-rational and that it is compatible with the above system of representations 111111111&_pii=S0022314X1630213X&_rdoc=1&_issn=0022314X&md5=6af2bdab1a04d72afc7f43e9fa17ff61">${}^{\prime }W_{F_v}\to G_{A/{\mathbf{Q}}_{\ell }}$.