Gehrmann's conjecture on automorphic L\mathcal{L}-invariant spaces

Let π\pi be the automorphic representation and let c{1,,n1}c\in\{1,\dots,n-1\}, 0r0\le r\le\ell, and εEπ\varepsilon\in\mathcal{E}_\pi. Let Lcr,ε(π)\mathcal{L}_c^{r,\varepsilon}(\pi) be the subspace of Homcts(Qp×,L)\operatorname{Hom}_{\operatorname{cts}}(\mathbb{Q}_p^\times,L) defined by the vanishing of the relevant cup-product pairing. Gehrmann's conjecture. The following assertions hold: (i) Lcr,ε(π)\mathcal{L}_c^{r,\varepsilon}(\pi) has codimension exactly 11, equivalently dimension exactly 11, for every c{1,,n1}c\in\{1,\dots,n-1\}, 0r0\le r\le\ell, and εEπ\varepsilon\in\mathcal{E}_\pi; (ii) Lcr,ε(π)\mathcal{L}_c^{r,\varepsilon}(\pi) is independent of both rr and εEπ\varepsilon\in\mathcal{E}_\pi. This predicts that the automorphic L\mathcal{L}-invariant space is a single line, independent of the cohomological degree and admissible sign. Part (i) is known in the bottom and top degrees r=0r=0 and r=r=\ell by the proposition immediately preceding the conjecture; the supplied text gives no resolution for the remaining cases or for the independence assertion.

Sources & referencesView supporting material

Primary source

Daniel Barrera Salazar, Andrew Graham and Chris Williams, “The non-abelian Leopoldt conjecture and equalities of L-invariants”, arXiv:2603.18961 (2026).

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.