Greenberg–Benois exceptional zero conjecture for GL(3)\mathrm{GL}(3)

Let Lp(c)(π,s)=Lp(c)(π,s)L_p^{(c)}(\pi,s)=\mathscr{L}_p^{(c)}(\pi,\langle-\rangle^s) for sZps\in\mathbb{Z}_p, where :Zp×1+2pZp\langle-\rangle:\mathbb{Z}_p^{\times}\to1+2p\mathbb{Z}_p is the natural map. Let e(c)e_{\infty}^{(c)}, Ep(c)E_p^{(c)}, Lπ,c+1FM\mathcal{L}^{\operatorname{FM}}_{\pi,c+1}, L(π,c)L(\pi,c), and Ωπ,c\Omega_{\pi,c} have the meanings specified in the preceding setup. Exceptional zero conjecture.

ddsLp(c)(π,s)s=0=e(c)(π,c)Ep(c)(c)Lπ,c+1FML(π,c)Ωπ,c.\left.\frac{d}{ds}L_p^{(c)}(\pi,s)\right|_{s=0}=e_{\infty}^{(c)}(\pi_\infty,c)\,E_p^{(c)}(c)\,\mathcal{L}^{\operatorname{FM}}_{\pi,c+1}\,\frac{L(\pi,c)}{\Omega_{\pi,c}}.

The formula predicts that the first derivative at the trivial character is governed by the Fontaine–Mazur L\mathcal{L}-invariant. The conjecture is conditional on the existence of the interpolating pp-adic LL-function, and no resolution is given in the supplied text.

Sources & referencesView supporting material

Primary source

Daniel Barrera Salazar, Andrew Graham and Chris Williams, “Local-global compatibility and the exceptional zero conjecture for GL(3)”, arXiv:2508.10225 (2025).

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.