Archimedean motivic action conjecture for Shimura varieties

About 4 years old · traced to

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

⋀∗M∗⊗Himin⁡≅⨁i=imin⁡imax⁡Hi,\bigwedge^{*}\mathcal{M}^{*}\otimes\mathcal{H}^{i_{\min}}\cong \bigoplus_{i=i_{\min}}^{i_{\max}}\mathcal{H}^{i},

where imin⁡i_{\min} and imax⁡i_{\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.