{"entities":{"Q516142":{"pageid":517909,"ns":120,"title":"Item:Q516142","lastrevid":52767179,"modified":"2026-01-23T11:17:56Z","type":"item","id":"Q516142","labels":{"en":{"language":"en","value":"Level-raising and symmetric power functoriality. III."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6696284"}},"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":"Q516142$0C105A56-8326-4E73-B237-99DDA97E93FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8aff3ef6d5f18edbc5fe65b5ca4e9e5422bb818","datavalue":{"value":{"text":"Level-raising and symmetric power functoriality. III.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q516142$7BFF5D1E-30E1-4594-A147-13D27ABA635A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5271e216648e6c61d82ebd3b6c8eaa889d836890","datavalue":{"value":"1372.11054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$629BD5B3-EA52-4CF8-AD76-7C769200BA20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42a478af605f6fd5a805f9e577df0496d8870678","datavalue":{"value":"10.1215/00127094-3714971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$095E4426-8588-44DC-8408-D152F8C95CD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2966c0ef157a2ba8d2683d4759b3f8388aa31ae","datavalue":{"value":{"entity-type":"item","numeric-id":206310,"id":"Q206310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516142$3B2170AA-AEA9-4543-A7AC-24571CD20459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"940853bf62e8f33cf0b79d2f8939e23a9e5f9885","datavalue":{"value":{"entity-type":"item","numeric-id":482913,"id":"Q482913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516142$6514FFC7-64D4-4334-AF7C-F12FB2E5E1BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516142$E60DE5F2-994B-48DF-9051-3EB43CBE49E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5a8a3ac41ce533fa5c1881f7f5e9144ec9aee6c","datavalue":{"value":{"time":"+2017-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q516142$7052323A-1A90-427F-A520-EF83440C99C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"870aa0c0a1af324cb16463fdf5c0ef6879c59b5d","datavalue":{"value":"https://projecteuclid.org/euclid.dmj/1481252669","type":"string"},"datatype":"url"},"type":"statement","id":"Q516142$C11E1446-A9D3-4967-83E5-8727D2125DCA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13e7613e5fc0dabed41d2c87bcc50b57c3a06bcb","datavalue":{"value":"This paper is part of a series of the authors establishing the existence of symmetric power lifts for classical modular forms over totally real fields. Recall that if \\(F\\) is a number field and \\(\\pi\\) is a cuspidal automorphic representation of \\(\\mathrm{GL}_2(\\mathbb{A}_F)\\) and \\(n\\geq2\\), then the Langlands conjectures predict the existence of an automorphic representation \\(\\Pi\\) of \\(\\mathrm{GL}_{n+1}(\\mathbb{A}_F)\\) corresponding to the symmetric \\(n\\)-th power map of (connected) \\(L\\)-groups \\(\\mathrm{Sym}^n:\\mathrm{GL}_2(\\mathbb{C})\\to \\mathrm{GL}_{n+1}(\\mathbb{C})\\). This has been established for \\(n=2,3,4\\) (by Gelbart-Jacquet, Kim-Shahidi and Kim, resp.) but is not known for a general cuspidal automorphic representation \\(\\pi\\) when \\(n\\geq5\\).  Suppose now that \\(F\\) is totally real and \\(\\pi\\) is the automorphic representation corresponding to a classical modular cusp form over \\(F\\). Then attached to \\(\\pi\\) one has an \\(\\ell\\)-adic representation \\(r_\\ell(\\pi):\\mathrm{Gal}(\\overline F/F)\\to \\mathrm{GL}_2(\\overline{\\mathbb{Q}}_\\ell)\\) (for some embedding of its field of coefficients into \\(\\overline{\\mathbb{Q}}_\\ell\\)). Suppose that \\(\\pi\\) is not of CM type. For \\(n=6,8\\), the authors show that if \\(F\\) is linearly disjoint from the cyclotomic field \\(\\mathbb{Q}(\\zeta_{n-1})\\) then there is a regular algebraic cuspidal automorphic representation \\(\\Pi\\) of \\(\\mathrm{GL}_{n+1}(\\mathbb{A}_F)\\) such that \\(\\text{Sym}^n(r_\\ell(\\pi))\\cong r_\\ell(\\Pi)\\), where \\(r_\\ell(\\Pi)\\) is the \\(\\ell\\)-adic Galois representation attached to \\(\\Pi\\). (This is independent of the apparent choices.) Combining this with the authors' work [Ann. Math. (2) 181, No. 1, 303--359 (2015; Zbl 1339.11060)] and the earlier results for \\(n\\leq4\\), it follows that there exists a symmetric power lifting \\(\\text{Sym}^n(\\pi)\\) for such \\(\\pi\\) for all \\(n\\leq 8\\) provided that \\(F\\) is linearly disjoint from \\(\\mathbb{Q}(\\zeta_{35})\\), and the associated \\(n\\)-th symmetric power \\(L\\)-function of \\(\\pi\\) is entire.  The authors' approach is through the deformation theory of modular Galois representations. In view of earlier work of \\textit{T. Barnet-Lamb} et al. [J. Am. Math. Soc. 24, No. 2, 411--469 (2011; Zbl 1269.11045)], this result was known after a suitable base change. The paper under review shows the existence of \\(\\Pi\\) over the field \\(F\\) itself. To establish this when \\(n=8\\) (for example), the authors consider the reduction modulo \\(\\ell\\) of the attached Galois representation \\(\\mathrm{Sym}^8r_\\ell(\\pi)\\), and base change to a suitable CM extension \\(E\\) of \\(F\\), obtaining a representation \\(\\overline{R}: G_E\\to \\mathrm{GL}_9(\\overline{\\mathbb{F}}_7)\\), with \\(G_E\\) the absolute Galois group of \\(E\\). They then apply deformation theory. This requires showing the existence of a cuspidal automorphic lifting \\(R:G_E\\to \\mathrm{GL}_9(\\overline{\\mathbb{Z}}_7)\\) corresponding to an automorphic representation of \\(\\mathrm{GL}_9(\\mathbb{A}_E)\\) that is Steinberg at some finite place. This level-raising is the focus of much of the paper under review. It is carried out by extending arguments of the authors [loc. cit.]. In doing so, the interplay between certain integral structures and the endoscopic decomposition of global spaces of automorphic forms on unitary groups, established by \\textit{C. P. Mok} [Mem. Am. Math. Soc. 1108, iii-v, 248 p. (2015; Zbl 1316.22018)], plays a key role.","type":"string"},"datatype":"string"},"type":"statement","id":"Q516142$0666F494-38E0-4BBD-9E0E-0FA38259D33B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a0a5d2316f232f549e85437640ce306f1abcc8e7","datavalue":{"value":{"entity-type":"item","numeric-id":233570,"id":"Q233570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516142$20DB499E-B16F-4FA5-B877-50E353F6777A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7d6f43b461df83aae6c957cd96e11902a62525","datavalue":{"value":"11F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$4C70CD6B-E994-4200-A563-2994D5FDFB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a40e4b2bbaa25331c12af98d733a46773b373dce","datavalue":{"value":"11F66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$9C182EF8-7FD3-487B-8BE7-31CAEB720F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0d42ca98bb26b3a05c94c33b4dbecdc66da95c4","datavalue":{"value":"11F80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$93BD5EC3-D1F7-4988-83B2-4315A24448C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bcf8b154aada8af1e5247844463f982f4d4aef1f","datavalue":{"value":"11F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$CB809F81-0377-40D9-B799-E0ACF1F78936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d15c2c952c1e8117cf319e9bf16f566c3ad6aac","datavalue":{"value":"6696284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$D94F31C8-4FD9-47FD-9AFE-6CD977E8318A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41d99f387708a8f931d7a8099a2101216c8c1a1b","datavalue":{"value":"Hilbert modular form","type":"string"},"datatype":"string"},"type":"statement","id":"Q516142$1459D5E7-DC53-49BF-AA74-68FF73E8570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd843f7ee5b620c4ac4c52be914a8f1d5747d661","datavalue":{"value":"regular algebraic automorphic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q516142$286FD72E-AFCD-48A6-AFE2-12DF5CE6D7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c625a3abccef892706c72a97563db092729659a6","datavalue":{"value":"symmetric power lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q516142$7374D13F-DF95-48E4-92A6-85A697E4E6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb5c220f27a22bc3c05547ac5d7f3e6661cff53","datavalue":{"value":"\\(l\\)-adic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q516142$81BFA7CF-5231-4684-8A24-A84C740365A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"160c217457fbe486772ec6fffa7e648f2ff1e437","datavalue":{"value":"modular Galois representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q516142$FEB08176-B961-4BB2-8FE8-3AD617459962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d13e49d41df1f3f0b606434b67da3b14256111","datavalue":{"value":"deformation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q516142$BE634C22-1551-48BB-863B-40C08C17522F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"416b48ed02fcc6b9306efb72256151d06fc0587b","datavalue":{"value":"unitary group","type":"string"},"datatype":"string"},"type":"statement","id":"Q516142$CC2A141B-4C18-4343-86A0-CB60540C4BE2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"946f4ace6d4fa7af776ef752751db14f83609b2c","datavalue":{"value":"Q102356314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$521276B9-D265-4D09-ADFD-C55141BA49D3","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":"Q516142$B8892498-1138-4061-8A05-F9051FE6547A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be116f270594182a7b5a31950ac68186d4d68590","datavalue":{"value":"W2560217775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516142$1CB55680-339B-4621-B062-E981F98D6EEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7277ad7b932fe7fc7bea700d0b0aba2ce1d031","datavalue":{"value":{"entity-type":"item","numeric-id":482914,"id":"Q482914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a152456f4312ddb2f2e18727b9b65770ea6084c","datavalue":{"value":{"amount":"+0.8903532028198242","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":"Q516142$EF40FE68-13F1-42F7-B45A-3498D94EE2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b13f62a64a6e68e0e4aed507dd792e8bfe8ec0","datavalue":{"value":{"entity-type":"item","numeric-id":2877500,"id":"Q2877500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184d369085c2f15888ce2077c8c2be3c8be8cd87","datavalue":{"value":{"amount":"+0.8834470510482788","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":"Q516142$7400E4CE-4A06-4B1E-8496-E731ECC387FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bb59a85e5ff759ec0348a18f7b3faf5e2b4a55","datavalue":{"value":{"entity-type":"item","numeric-id":2067686,"id":"Q2067686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5df6e26432c65895e427dc66b2ac6a879494160","datavalue":{"value":{"amount":"+0.8619852066040039","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":"Q516142$B4F680F1-5C5E-49EF-83C2-447FAF95790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43b29ca7b79344bb34e0d5ccf6497a1ad30cd6b","datavalue":{"value":{"entity-type":"item","numeric-id":5325598,"id":"Q5325598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472a1017476e19573ce0a100c0315b2cb5c7dea7","datavalue":{"value":{"amount":"+0.838287889957428","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":"Q516142$8407F5BF-B6BA-46BC-BDF0-B5CA9C6283E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc90fd601f031c3e458e0c1f78103d1f3c8597ec","datavalue":{"value":{"entity-type":"item","numeric-id":2067687,"id":"Q2067687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4805972bf5b7548d2dc62793091a5c67049bf7f","datavalue":{"value":{"amount":"+0.8269948363304138","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":"Q516142$CDC97540-0F59-48A5-99C9-7FCA4172248D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:516142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:516142"}}}}}