Breuil–Herzig global ordinary-part conjecture for indecomposable points

Let XX be the parameter space appearing in the global setting, let LL be the coefficient field, and let Σp\Sigma_p be the set of places above pp. For a generic ordinary point z=(χz,λz)X(Qp)z=(\chi_z,\lambda_z)\in X(\overline{\mathbf Q}_p) with ρz,v\rho_{z,v} indecomposable for every vΣpv\in\Sigma_p, define

Π(ρz,p)ord=^vΣpΠ(ρz,v)ord.\Pi(\rho_{z,p})^{\operatorname{ord}}=\widehat{\bigotimes}_{v\in\Sigma_p}\Pi(\rho_{z,v})^{\operatorname{ord}}.

Let H^0(Kp)Lλz,ord\widehat H^0(K^p)^{\lambda_z,\operatorname{ord}}_L denote the ordinary part of the GΣpG_{\Sigma_p}-representation H^0(Kp)Lλz\widehat H^0(K^p)^{\lambda_z}_L. Breuil–Herzig's global ordinary-part conjecture. Suppose that zX(L)z\in X(L) is a generic ordinary point and that ρz,v\rho_{z,v} is indecomposable at each place vΣpv\in\Sigma_p. Then there exists an integer d1d\geq 1 and a GΣpG_{\Sigma_p}-equivariant isomorphism

(Π(ρz,p)ord)dH^0(Kp)Lλz,ord.\left(\Pi(\rho_{z,p})^{\operatorname{ord}}\right)^{\oplus d}\simeq \widehat H^0(K^p)^{\lambda_z,\operatorname{ord}}_L.

This is a global realization conjecture of Breuil and Herzig: the ordinary local representations should occur, with finite multiplicity, in the ordinary completed cohomology. The paper restricts the conjecture to the indecomposable case, while the more general generic ordinary formulation is attributed to Breuil and Herzig.

Sources & referencesView supporting material

Primary source

John Bergdall and Przemyslaw Chojecki, “Ordinary representations and companion points for U(3) in the indecomposable case”, arXiv:1405.3026 (2014).

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.