{"entities":{"Q2509504":{"pageid":2520247,"ns":120,"title":"Item:Q2509504","lastrevid":52051136,"modified":"2026-01-20T20:21:16Z","type":"item","id":"Q2509504","labels":{"en":{"language":"en","value":"On a problem of local-global compatibility modulo \\(p\\) for \\(\\mathrm{GL}_2\\) (with an Appendix of Lassina Demb\u00e9l\u00e9)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6322270"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509504$0C43D71E-D88C-498B-924B-60E00597F3AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c85351abda57eed2a3a8204b2af2839df1527b0","datavalue":{"value":{"text":"On a problem of local-global compatibility modulo \\(p\\) for \\(\\mathrm{GL}_2\\) (with an Appendix of Lassina Demb\u00e9l\u00e9)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2509504$719133D5-3DC3-4E01-9ECA-D99DE8871501","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63bfd0c3a3d3047b225a3a175178fc76be208735","datavalue":{"value":"1314.11036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509504$E8F4776C-0E9E-4C73-BD9D-A09482EB03C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509504$73AEB383-4C88-4DC3-BDDA-F34CB7D1DBE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e5382aa51a25ae480b980e753fc58338bc820b","datavalue":{"value":{"time":"+2014-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2509504$61A06762-B805-4822-82A3-63F1B565AC1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43fe716e500eadfb471aefa5de263b0d3a4574bc","datavalue":{"value":"Let \\(L\\) be a non ramified finite extension of \\(\\mathbb Q_p\\). This article deals with the question whether certain representations of \\(\\mathrm{GL}_2 (L)\\) over \\(\\overline{\\mathbb F}_p\\) attached by the author and \\textit{V. Pa\u0161k\u016bnas} to a ``generic'' 2-dimensional representations of \\(\\mathrm{Gal} (\\overline{\\mathbb Q}_p/L)\\) over \\(\\overline{\\mathbb F}_p\\) [Mem. Am. Math. Soc. 1016, 114 p. (2012; Zbl 1245.22010)] can appear in certain spaces of automorphic forms. The origin of the problem lies in the modularity conjecture of Buzzard-Diamond-Jarvis [\\textit{K. Buzzard} et al., Duke Math. J. 155, No. 1, 105--161 (2010; Zbl 1227.11070)] generalizing the Serre conjecture to continuous irreducible totally odd representations \\(\\overline{\\rho} : \\mathrm{Gal} (\\overline{\\mathbb Q}/F) \\to \\mathrm{GL}_2(\\overline{\\mathbb F}_p)\\), where \\(F\\) is a totally real number field and \\(p\\) is non ramified in \\(F\\): consider the space of quaternionic forms \\(S^D(U, \\overline{\\mathbb F}_p)\\) := functions on \\((D^*\\backslash( D\\otimes_F \\mathbb A_F^f)^*/U, \\overline{\\mathbb F}_p)\\), where \\(D\\) is a suitable quaternion field of center \\(F\\) which is ramified at infinite places and non ramified at \\(p\\)-places, and \\(U = \\prod_v U_v\\) is an open compact subgroup of \\((D\\otimes_F \\mathbb A_F^f)^*\\); then it is conjectured that \\(\\mathrm{ind lim}_U(S^D(U, \\overline{\\mathbb F}_p)[\\overline{\\rho}^\\vee]) \\simeq \\bigotimes_v' \\pi_v^D(\\overline{\\rho}^\\vee)\\), where \\(\\pi_v^D(\\overline{\\rho}^\\vee)\\) is a certain smooth admissible representation of \\((D\\otimes_F F_v)^*\\) over \\(\\overline{\\mathbb F}_p\\); the conjecture also predicts the list of irreducible representations of \\(\\mathrm{GL}_2(\\mathcal O_{F_v})\\) which appear as sub-objects in the \\(\\mathrm{GL}_2(F_v)\\)-representation \\(\\pi_v^D(\\overline{\\rho}^\\vee)\\), when \\(v\\) divides \\(p\\); under an additional ``genericity'' hypothesis on \\(\\overline{\\rho}|_{\\mathrm{Gal} (\\overline{\\mathbb Q}_p/F_v)}\\), it is moreover conjectured as a bonus that all the multiplicities of the representations of \\(\\mathrm{GL}_2(\\mathcal O_{F_v})\\) appearing in the socle of \\(\\pi_v^D(\\overline{\\rho}^\\vee)|_{\\mathrm{GL}_2 (\\mathcal O_{F_v})}\\) are equal to 1.  The present paper concentrates on the examination of \\(\\pi_v^D(\\overline{\\rho}^\\vee)\\) under the additional genericity hypothesis. In particular, it is conjectured that \\(\\pi_v^D(\\overline{\\rho}^\\vee)\\) always contains one of the representations of \\(\\mathrm{GL}_2(F_v)\\) associated to \\(\\overline{\\rho}|_{\\mathrm{Gal} (\\overline{\\mathbb Q}_p/F_v)}\\) by Breuil-Paskunas [loc. cit.]. This is a ``local-global compatibility'' conjecture which the author expresses from the point of view of compatibility for the \\(\\mathrm{GL}_2(\\mathcal O_{F_v})\\)-types (in the sense of Bushnell-Kutzko), rather than for the \\(\\mathrm{GL}_2(F_v)\\)-representations over \\(\\overline{\\mathbb F}_p\\). More specifically, let \\(\\pi = \\bigotimes_v' \\pi_v\\) be an infinite dimensional irreducible component of \\(\\mathrm{ind lim}_U(S^D(U, \\overline{\\mathbb Q}_p))\\) and \\(\\rho : \\mathrm{Gal} (\\overline{\\mathbb Q}/F) \\to \\mathrm{GL}_2(\\overline{\\mathbb Q}_p)\\) the irreducible \\(p\\)-adic representation associated with \\(\\pi\\), assumed to be absolutely irreducible modulo \\(p\\); in particular, \\(\\rho\\) admits up to homothety a unique stable \\(\\overline{\\mathbb Z}_p\\)-lattice whose reduction in \\(\\overline{\\mathbb F}_p\\) will be denoted by \\(\\overline{\\rho}\\). Suppose that there exists a \\(p\\)-place \\(v\\) such that on the one hand \\(\\pi_v\\) is a tamely ramified (but not unramified) principal series, on the other hand \\(\\overline{\\rho}_v := \\overline{\\rho}|_{\\mathrm{Gal} (\\overline{\\mathbb Q}_p/F_v)}\\) is generic.   The Bushnell-Kutzko type \\(\\sigma_v\\subset \\pi_v\\) (see the appendix by Henniart in [the author with \\textit{A. M\u00e9zard}, Duke Math. J. 115, No. 2, 205--310 (2002; Zbl 1042.11030)]) is a \\(\\mathrm{GL}_2(\\mathcal O_{F_v})\\)-representation which possesses many stable \\(\\overline{\\mathbb Z}_p\\)-lattices, and the author's \\(\\mathrm{GL}_2(\\mathcal O_{F_v})\\) local-global compatibility conjecture over \\(\\overline{\\mathbb Z}_p\\) gives an explicit (and likely, due to considerations on the Serre weights of \\(\\overline{\\rho}_v\\), i.e. the irreducible representations of \\(\\mathrm{GL}_2(\\mathcal O_{F_v})\\) over \\(\\overline{\\mathbb F}_p\\) associated to \\(\\overline{\\rho}_v\\) by Buzzard-Diamond-Jarvis [loc. cit.]) description of the homothety class of the \\(\\overline{\\mathbb Z}_p\\)-lattices induced by \\(\\mathrm{ind lim}_U(S^D(U, \\overline{\\mathbb Z}_p))\\) on \\(\\sigma_v\\) via the embeddings of \\(\\sigma_v\\) into \\(\\mathrm{ind lim}_U(S^D(U, \\overline{\\mathbb Q}_p))\\). Assuming the bonified modularity conjecture of Buzzard-Diamond-Jarvis, the author is able to prove certain partial cases of his compatibility conjecture; he points out that Emerton-Gee-Savitt have recently announced a full proof.  The above conjectures and results also yield consequences for the \\(\\mathrm{GL}_2(F_v)\\) local-global compatibility over \\(\\overline{\\mathbb F}_p\\). Let \\(\\overline{\\rho} : \\mathrm{Gal} (\\overline{\\mathbb Q}/F) \\to \\mathrm{GL}_2(\\overline{\\mathbb F}_p)\\) be irreducible and let \\(v\\) be a \\(p\\)-place such that \\(\\overline{\\rho}_v\\) is generic. Let \\(D_0 (\\overline{\\rho}_v)\\) be the largest representation for the inclusion of \\(\\mathrm{GL}_2(\\mathcal O_{F_v}/(p))\\) over \\(\\overline{\\mathbb F}_p\\) whose socle is \\(\\bigoplus\\tau_v\\) (the sum bears on the Serre weights \\(\\tau_v\\) of \\(\\overline{\\rho}_v\\)) and such that these \\(\\tau_v\\) appear only in the socle. Let \\(I_{1,v}\\subset\\mathrm{GL}_2(\\mathcal O_{F_v}/(p))\\) the subgroup of upper unipotent matrices modulo \\(p\\). It follows from the constructions of the author-Paskunas [loc. cit.] that the \\(\\mathrm{GL}_2(F_v)\\)-representation \\(\\pi_v^D(\\overline{\\rho}^\\vee)\\) contains one of the representations associated to \\(\\overline{\\rho}_v\\) if and only if the action of the matrix \\(\\left(\\begin{smallmatrix} 0&1\\\\ p&0\\end{smallmatrix}\\right)\\) on \\(\\pi_v^D(\\overline{\\rho}^\\vee)\\) (or on \\(\\mathrm{ind lim}_U(S^D(U, \\overline{\\mathbb F}_p))\\)) stabilizes the invariant subspace \\({D}_0 (\\overline{\\rho}_v)^{I_{1,v}}\\).   The author shows that, assuming the bonified modularity conjecture for \\(\\overline{\\rho}\\), his compatibility conjecture implies the desired stability. Finally, fix a \\(p\\)-place \\(v\\) and take \\(U = \\prod_w U_w\\) such that \\(U_v= I_{1,v}\\) and (if possible) \\(S^D(U, \\overline{\\mathbb F}_p)[\\overline{\\rho}^\\vee] \\simeq \\pi_v^D (\\overline{\\rho}^\\vee)^{I_{1,v}}\\). Then the maximality of \\(D_0 (\\overline{\\rho}_v )\\) implies that the above stability property would follow from an assertion of multiplicity 1 for the characters of the Iwahori group \\(I_v\\) acting on \\(S^D(U, \\overline{\\mathbb F}_p)[\\overline{\\rho}^\\vee]\\).  In a more restricted setting, this multiplicity 1 is equivalent to the conjecture B.1 formulated by Demb\u00e9l\u00e9 in the appendix B concerning the dimension of certain subspaces of \\(S^D(U, \\overline{\\mathbb F}_p)[\\overline{\\rho}^\\vee]\\), and verified by computer calculations in certain cases (\\(p = 3, 5\\), \\(F = \\mathbb Q(\\sqrt{2})\\), \\(\\mathbb Q(\\zeta_7)^+\\), \\(\\mathbb Q(\\zeta_9)^+\\), \\(\\mathbb Q(\\zeta_{16})^+\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509504$5D1473A5-5EB1-4D32-9AFD-E5475667CB96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bcf8b154aada8af1e5247844463f982f4d4aef1f","datavalue":{"value":"11F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509504$3B49F1F2-409C-4322-9800-7356EAAF9EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f3db65ed09a53b4a1a158cb0a8069769e5ed98","datavalue":{"value":"22E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509504$75B61E43-FE09-42E0-9712-CE1278F8529D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a53a9fa6cf1c009ac521a4c9c58110875a5b643b","datavalue":{"value":"22E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509504$FF7CEE45-4CFF-4708-B254-A878219B47B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d6f51687f4d4d5d8486749fc90395b0a1f25661","datavalue":{"value":"6322270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509504$DAC9CF83-3311-43E7-851A-189505BE453A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17252c8dbf561a5ffd1605428f34c9a9b047ce83","datavalue":{"value":"\\(p\\)-adic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509504$CC38AE3E-9CCB-4FDA-AE8A-4F02A0023E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bdad539d761e1e9006cac1c1cad6537bf64879","datavalue":{"value":"automorphic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509504$4A29D276-0578-425B-A196-5B9858286E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d945ad7d366ae9d773e426eba475385d9a33674","datavalue":{"value":"local-global compatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509504$568FD88C-BD36-48F9-934D-F9042AEB5E36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9512322dd8e6451ec8a7602e1f69fe734f9346ce","datavalue":{"value":{"entity-type":"item","numeric-id":204772,"id":"Q204772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509504$0080AB12-D8C3-445E-9A5B-7D944D0F1A7A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509504$6D26F5CA-256E-4E0C-A845-A5DAF8C20D9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f73c5c9a4d4cc4413fed4dd25919e8f2188156e","datavalue":{"value":"https://doi.org/10.1515/crelle-2012-0083","type":"string"},"datatype":"url"},"type":"statement","id":"Q2509504$CB8CEE45-5883-4A09-AAA3-B5BBD476366C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ad6c7e7491bc021a094cfefc07f0d10bbb7e41d","datavalue":{"value":"W2041459253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509504$B7953919-078C-4393-AED1-98416C20BC8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4189e30acffa43438ca2cd2b05901e00a8d4efd1","datavalue":{"value":"10.1515/CRELLE-2012-0083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509504$9C3C9B39-97C0-4C3A-B6B4-B0389EACA96F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126d067a05045121fdd87df39ad83b234ff771f4","datavalue":{"value":{"entity-type":"item","numeric-id":6482393,"id":"Q6482393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509504$50C9DF46-C0FB-4E1A-95DD-F45E9C1C7B47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e44d63ce3051b4564fbb8a8189c69a2c49005ff","datavalue":{"value":{"entity-type":"item","numeric-id":851470,"id":"Q851470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9804ff6a73abfdb28e01472f5c737b3da4acc291","datavalue":{"value":{"amount":"+0.8291801810264587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509504$A0E49034-8FB1-45AE-8ED5-91AD95793E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da69225d340fd3106b145283c3a38e0ee799556","datavalue":{"value":{"entity-type":"item","numeric-id":605915,"id":"Q605915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"900aeb0fd4f8ab27070539221d8428efe6b3eeab","datavalue":{"value":{"amount":"+0.8130400776863098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509504$EE86C952-7440-4449-82BD-D36942387E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af034ba911c02ca24e0a990f1301eef0676fe565","datavalue":{"value":{"entity-type":"item","numeric-id":3579579,"id":"Q3579579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598977cfd49f1e1f001fdcc26803fc97ef19d1b7","datavalue":{"value":{"amount":"+0.8100440502166748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509504$C18992B4-2C58-4837-B6E9-C59D41E415F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c8b2b49d5e0a4cc8e3506f77e6f359bf5035e0","datavalue":{"value":{"entity-type":"item","numeric-id":3499976,"id":"Q3499976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5379d264ba67dcf42188cf2bc71d8d3ce7276e","datavalue":{"value":{"amount":"+0.8091060519218445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509504$5D1968B3-A329-4908-8640-667AA6E7EC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6287e3420955b90f0e419a2b696bed493ee2cdfd","datavalue":{"value":{"entity-type":"item","numeric-id":2572633,"id":"Q2572633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb8d747c143ec70ee5db74ffd4b17ab1e1633c9","datavalue":{"value":{"amount":"+0.807633638381958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509504$90B0E593-68BB-4A4F-97E6-699ABB403016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2509504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2509504"}}}}}