Archimedean motivic action conjecture for Shimura varieties

From papers

Let Π=ΠfΠ\Pi=\Pi_f\otimes\Pi_\infty satisfy the paper's Assumption, with Π\Pi_\infty a non-discrete-series representation that is not a discrete series. Set

M=HM1((AdΠ)OE,Q(1)),Hi=Hi(X)[Πf].\mathcal{M}=H_M^1((\operatorname{Ad}\Pi)_{\mathcal{O}_E},\overline{\mathbb{Q}}(1)),\qquad \mathcal{H}^i=H^i(X)[\Pi_f].

Regard both as Q\overline{\mathbb{Q}}-vector spaces with the Hermitian bilinear forms induced by a fixed admissible Hermitian bilinear form on gC\mathfrak{g}_{\mathbb{C}}. Archimedean motivic action conjecture. There is an isomorphism of graded Hermitian Q\overline{\mathbb{Q}}-vector spaces

MHimini=iminimaxHi,\bigwedge^{*}\mathcal{M}^{*}\otimes\mathcal{H}^{i_{\min}}\cong \bigoplus_{i=i_{\min}}^{i_{\max}}\mathcal{H}^{i},

where imini_{\min} and imaxi_{\max} are respectively the bottom and top degrees in which Πf\Pi_f appears in H(X)H^*(X). The conjecture predicts that motivic cohomology accounts for the multiple coherent-cohomology appearances of one finite automorphic representation.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Gyujin Oh, “Coherent cohomology of Shimura varieties, motivic cohomology, and archimedean L-packets”, arXiv:2211.17233 (2022).

Solutions 0

No solutions have been posted yet.