Equality of automorphic L-invariants across cohomology degrees

Let FF be a number field, let bpdb\mathfrak{p}d be a fixed prime above pp, let π\pi be the automorphic representation and let ii and ss be the cohomological indices occurring in the construction. For every continuous homomorphism

 ⁣:FpQp,\ell\colon F_{\mathfrak{p}}^{\ast}\to \mathbb{Q}_p,

and every sign character ϵ\epsilon, write L(i)(π,p)ϵ\mathcal{L}_{\ell}^{(i)}(\pi,{\mathfrak{p}})^{\epsilon} for the automorphic L\mathcal{L}-invariant and c(i)(π)ϵc^{(i)}_{\ell}(\pi)^{\epsilon} for the corresponding modular-symbol class, with c()c^{(\ast)} denoting the class in the relevant cohomology degree. Automorphic L\mathcal{L}-invariant conjecture. The following assertions are conjectured:

L(i)(π,p)ϵ=(L(0)(π,p)ϵ)(si).\mathcal{L}_{\ell}^{(i)}(\pi,{\mathfrak{p}})^{\epsilon}=\left(\mathcal{L}_{\ell}^{(0)}(\pi,{\mathfrak{p}})^{\epsilon}\right)^{\binom{s}{i}}.
c()(π)ϵ=L(0)(π,p)ϵcordp()(π)ϵ.c^{(\ast)}_{\ell}(\pi)^{\epsilon}=\mathcal{L}_{\ell}^{(0)}(\pi,{\mathfrak{p}})^{\epsilon}\cdot c^{(\ast)}_{\operatorname{ord}_{{\mathfrak{p}}}}(\pi)^{\epsilon}.
  1. The ii-th L\mathcal{L}-invariant L(i)(π,p)ϵ\mathcal{L}_{\ell}^{(i)}(\pi,{\mathfrak{p}})^{\epsilon} does not depend on the character ϵ\epsilon.
  2. More generally,
c()(π)=L(0)(π,p)ϵcordp()(π)c^{(\ast)}_{\ell}(\pi)=\mathcal{L}_{\ell}^{(0)}(\pi,{\mathfrak{p}})^{\epsilon}\cdot c^{(\ast)}_{\operatorname{ord}_{{\mathfrak{p}}}}(\pi)

for one, and therefore every, sign character ϵ\epsilon.

Sources & referencesView supporting material

Primary source

Lennart Gehrmann, “Derived Hecke algebra and automorphic L-invariants”, arXiv:1805.00392 (2019).

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.