Breuil–Herzig global ordinary-part conjecture for indecomposable points

At least 11 years old · documented by

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(Q‾p)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 z∈X(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 d≥1d\geq 1 and a GΣpG_{\Sigma_p}-equivariant isomorphism

(Π(ρz,p)ord⁡)⊕d≃H^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.

References

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.