The local ghost conjecture for primitive augmented modules

Let ρˉ=(ω1a+b+10ω1b):IQpGL2(F)\bar\rho=\begin{pmatrix}\omega_1^{a+b+1}&*\\0&\omega_1^b\end{pmatrix}:\operatorname{I}_{\mathbb{Q}_p}\to\operatorname{GL}_2(\mathbb{F}) be a character with a{1,,p4}a\in\{1,\dots,p-4\} and b{0,,p2}b\in\{0,\dots,p-2\}. Let H~\widetilde{\mathrm{H}} be a primitive OKp\mathcal{O}\llbracket K_p\rrbracket-projective augmented module of type ρˉ\bar\rho, and let ε\varepsilon be a character of Δ2\Delta^2 relevant to ρˉ\bar\rho. Define the characteristic power series C(ε)(w,t)C^{(\varepsilon)}(w,t) of the UpU_p-action and the ghost series G(ε)(w,t)G^{(\varepsilon)}(w,t) for H~\widetilde{\mathrm{H}} as in the paper. Local ghost conjecture. The ghost series G(ε)(w,t)G^{(\varepsilon)}(w,t) depends only on ρˉ\bar\rho and ε\varepsilon, and for every wmCpw_\star\in\mathfrak{m}_{\mathbb{C}_p} one has

NP(G(ε)(w,))=NP(C(ε)(w,)).\operatorname{NP}(G^{(\varepsilon)}(w_\star,-))=\operatorname{NP}(C^{(\varepsilon)}(w_\star,-)).

Part (1) is proved in the paper, while part (2), identifying the Newton polygons of the ghost and characteristic power series, is the remaining conjectural assertion.

Sources & referencesView supporting material

Primary source

Ruochuan Liu, Nha Xuan Truong, Liang Xiao and Bin Zhao, “A local analogue of the ghost conjecture of Bergdall-Pollack”, arXiv:2206.15372 (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.