Extensions of motives of modular forms
type: Item
instance of: scholarly article
title: Extensions of motives of modular forms
zbMATH Open document ID: 0913.11025
author: Guido Kings
published in: Mathematische Annalen
publication date: 1997-12-10T00:00:00Z
review text: Write \(\mathcal{E}\) for the universal elliptic curve, and let \(p_m^n:\mathcal{E}^n\rightarrow\mathcal{E}^m\) (resp. \(q_m^n:\mathcal{E}^n\rightarrow\mathcal{E}^m\)) be the projection onto the first (resp. last) \(m\) fibre coordinates if \(n\geq m\) and inclusion of the first (resp. last) \(n\) fibre coordinates times \((m-n)\)-times the identity section if \(n<m\). With the notations of \textit{G. Kings} [J. Reine Angew. Math. 503, 109-128 (1998; see the preceding review)], for elements \(\varphi\in\text{Hom}_{\mathcal{MM}}(\overline{\mathbb Q}(0),\underline{H}^{r+1}(\mathcal{E}^r,r+1)(\varepsilon_r))\) and \(\psi\in\text{Hom}_{\mathcal{MM}}(\overline{\mathbb Q}(0),\underline{H}^{s+1}(\mathcal{E}^s,s+1)(\varepsilon_s))\), one constructs an extension \[ \mathcal{F}_{r,s}(\varphi\otimes\psi)\in\text{Ext}^1_{\mathcal{MM}}(\overline{\mathbb Q}(0),\underline{H}^{k+1}(\mathcal{E}^k,k+l+2)(\varepsilon_k)), \] where \(r+s=k+2l\). Writing \(\tau\) for the horospherical isomorphism, one has a commutative diagram \[ \begin{matrix} \Phi({\mathbb A}_f^2)_{-k}\otimes\nu^{\otimes k}& {\buildrel\text{Eis}_{\mathcal{M}}\over\longrightarrow}&H_{\mathcal{M}} ^{k+1}(\mathcal{E}^k,\overline{\mathbb Q}(k+1))(\varepsilon_k)\\ \tau\downarrow \simeq&&\downarrow\text{ch}\\ \bigoplus_{\eta=\eta_{\infty}\otimes\eta_f}\text{Ind}_{B({\mathbb A}_f)}^{\text{GL}_2({\mathbb A}_f)}\overline{\mathbb Q}(\eta_f)&{\buildrel \text{Eis}\over\longrightarrow}&\text{Hom}_{\mathcal{MM}}(\overline{\mathbb Q}(0),\underline{H}^{k+1}(\mathcal{E}^k,k+1)(\varepsilon_k)). \end{matrix} \] The main result now says: Let \(r+s=k+2l\) with \(r\geq s\geq l\) and let \(f\in\Phi({\mathbb A}_f^2)_{-r}\otimes\nu^{\otimes r}\), \(g\in\Phi({\mathbb A}_f^2)_{-s}\otimes\nu^{\otimes s}\), then if \(s\neq 0\), \[ \mathcal{F}_{r,s}(\text{Eis }\tau(f)\otimes\text{Eis }\tau(g))=\text{ch}((p^{k+l}_{r-l}\times q^{k+l}_{s-l})_*(p^{k+l*}_r\text{Eis}_{\mathcal{M}}f\cup q^{k+l*}_s\text{Eis}_{\mathcal{M}} g)). \] If \(s=0\) and \(\psi\in …
Mathematics Subject Classification ID: 11G18
Mathematics Subject Classification ID: 11F41
Mathematics Subject Classification ID: 19F27
zbMATH DE Number: 1096007
zbMATH Keywords: mixed motives
zbMATH Keywords: Shimura varieties
zbMATH Keywords: modular forms
zbMATH Keywords: Beilinson's conjecture
zbMATH Keywords: holomorphic cuspidal representation of integral weight
reviewed by: W. W. J. Hulsbergen
MaRDI profile type: Publication
full work available at URL: s002080050118
OpenAlex ID: W2047535554
DOI: 10.1007/S002080050118
description: scientific article; zbMATH DE number 1096007