{"entities":{"Q1725558":{"pageid":1736299,"ns":120,"title":"Item:Q1725558","lastrevid":73365048,"modified":"2026-04-14T15:37:20Z","type":"item","id":"Q1725558","labels":{"en":{"language":"en","value":"Congruences between modular forms modulo prime powers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7023572"}},"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":"Q1725558$94CFC804-23F5-4D14-B3B2-AF8E161D3566","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56584deb3e13ceeb6840e742a3baa1edc2bd70b1","datavalue":{"value":{"text":"Congruences between modular forms modulo prime powers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1725558$CB352AA6-7C92-452B-AEFD-8F28285BDB42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a07197e64e5fc0081f2431426f71c03048a863c6","datavalue":{"value":"1446.11075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725558$3C9C4622-BCF4-48E6-B6AC-6CE498CDFE7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16b100323b37ab8297115308c197d15eddb4ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":1725557,"id":"Q1725557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$8C292B62-0676-4C0E-8192-4094DC4D213F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07d83140ed994af63185ce1a90fe550c8eb45e2d","datavalue":{"value":{"entity-type":"item","numeric-id":880064,"id":"Q880064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$E30AE8DC-DABA-4D2D-ADAD-1B8D21F431E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4eb7cc1856a305a963c7393d6ad45e329f3b5d88","datavalue":{"value":{"entity-type":"item","numeric-id":170748,"id":"Q170748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$27156345-C152-4B25-A0AA-1A7DF03D67C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3988244ea333fe3befee59d428db74e7ba16624","datavalue":{"value":{"time":"+2019-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1725558$F468FF4F-96E2-4BA0-9BDA-52BFE5BE62CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e6fd635485d553c5f94ddd57ba7299fac3fdef9","datavalue":{"value":"https://arxiv.org/abs/1312.4925","type":"string"},"datatype":"url"},"type":"statement","id":"Q1725558$31E848DE-ADD7-4203-ABD0-1DBBB9C5A929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d0768d9843ea0fab297dadbdd176a3493d58444","datavalue":{"value":"http://hdl.handle.net/11336/88143","type":"string"},"datatype":"url"},"type":"statement","id":"Q1725558$CB59A13E-C942-4A3D-A74D-6A480D7D6DDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f79e94a26f8481d17e88f6256561693521f9aa29","datavalue":{"value":"Summary: Given a prime \\(p \\geq 5\\) and an abstract odd representation \\(\\rho_n\\) with coefficients modulo \\(p^n\\) (for some \\(n \\geq 1\\)) and big image, we prove the existence of a lift of \\(\\rho_n\\) to characteristic \\(0\\) whenever local lifts exist (under minor technical conditions). Moreover, our results allow to chose the lift's inertial type at all primes but finitely many (where the lift is of Steinberg type).  We apply this result to the realm of modular forms, proving a level lowering theorem modulo prime powers and providing examples of level raising. An easy application of our main result proves that given a modular eigenform \\(f\\) whose Galois representation is not induced from a character (i.e., \\(f\\) has no inner twists), for all primes \\(p\\) but finitely many, and for all positive integers \\(n\\), there exists an eigenform \\(g\\neq f\\), which is congruent to \\(f\\) modulo \\(p^n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725558$D6A8ED11-8AC4-4A58-ADB1-F8D36133EBA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d11a6e195f3049ff8524b5914d15571e0f6db55","datavalue":{"value":"11F33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725558$4C77A180-EDFA-470C-A819-38149A8BEDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0d42ca98bb26b3a05c94c33b4dbecdc66da95c4","datavalue":{"value":"11F80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725558$4CB6F796-B201-4F4C-A51D-9D0BCFE492B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a78c61b67c1ef735085afd11d89da33321f5f4a0","datavalue":{"value":"7023572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725558$72ABB0E0-E0FC-438D-B2D0-46E4C9D816EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f2c2f17b94cf84089e5ae62be9ebb199167d84","datavalue":{"value":"modular forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725558$896F0B45-FB9C-4DF9-B8F6-A865F61545C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a510483a37aa51a3681f0d0510833c35833306f","datavalue":{"value":"Galois representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725558$6426EE4A-5379-4961-80EA-CB8D3B822599","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$F1B93A18-D7C1-4916-8C27-52B763FA9BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5199c731888cb3ba10630bedfbd9575640bb4daa","datavalue":{"value":{"entity-type":"item","numeric-id":13434,"id":"Q13434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$C281CD6A-52E7-4A57-946A-5141F694DBEA","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":"Q1725558$0CD68EEE-B813-4664-A891-2764658EF595","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3523bb73f2d01708348de44e0c0c1ddbfcd16314","datavalue":{"value":"W2963739462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725558$AE418B17-1ED7-4822-96C5-48054D6A2B8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad8a461f56f42b336dfdef630844fe79849e9f4","datavalue":{"value":{"entity-type":"item","numeric-id":2938667,"id":"Q2938667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$58DB888D-7E8E-453A-A9BA-94C7C00BCC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"181a113fbb0705eb9cfe8a61c14bd660ae7e171d","datavalue":{"value":{"entity-type":"item","numeric-id":915768,"id":"Q915768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$68E502C5-DE83-46AB-938F-4F6AEE2CC8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f1c8dd663fd4eecfcc4bd4389f44fbe8c8abb0","datavalue":{"value":{"entity-type":"item","numeric-id":4935966,"id":"Q4935966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$4AA023D7-BE20-4A56-B3C4-BAFD06F8CD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca7c8639870cf7ac5a6a6e85579f7de1eb5618d","datavalue":{"value":{"entity-type":"item","numeric-id":4491412,"id":"Q4491412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$DAB969F3-581D-4DD0-BEF7-886DE70755BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7079b5292b4ac087a4170fc4b48cc18e51dbaf0","datavalue":{"value":{"entity-type":"item","numeric-id":4651828,"id":"Q4651828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$E147F9E1-5AC5-433B-B6B3-81C32ECE839E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a859ee3a03d26fbcee6b9b0b18ab13c31b00af","datavalue":{"value":{"entity-type":"item","numeric-id":3542675,"id":"Q3542675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$AC34F50E-CCDB-4A32-961F-12D0739A4221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94e96b523234e93bb7ea67465e36cc9334be687b","datavalue":{"value":{"entity-type":"item","numeric-id":558189,"id":"Q558189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$A452F1FF-03DC-444C-9DFF-FF37AE95E7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fc145230cf3ebc65bec8488964ecddc0399b30","datavalue":{"value":{"entity-type":"item","numeric-id":5693526,"id":"Q5693526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$5C16047C-DEF8-4AD5-96DE-6BA0A7063407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c22d35532baba973f3a731824955545695b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3139241,"id":"Q3139241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$A3F781BB-5C99-493B-8E23-EBFE7804DD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c439118ee217fabee6c98f582df0badc7b8df0","datavalue":{"value":{"entity-type":"item","numeric-id":1818342,"id":"Q1818342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$F50CAF6E-AA11-403F-B56B-8A229F4D0AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f8dc9edfdb59808fb14311d3ad0e5f58d98302","datavalue":{"value":{"entity-type":"item","numeric-id":1852704,"id":"Q1852704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$C140E8D9-27E5-45E8-98E5-8809B93520DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d340ab66fe2130bbd90e7da5b697032539061e","datavalue":{"value":{"entity-type":"item","numeric-id":5443235,"id":"Q5443235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$4996321F-2821-4D20-BC81-2A064BD221A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a644c232e84830beec6e58899f192a0450d40f3","datavalue":{"value":{"entity-type":"item","numeric-id":3728080,"id":"Q3728080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$3C1E99EF-F1C0-4A89-9A6B-E93841596D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2109c1df822f5baee1456648981162199b754998","datavalue":{"value":{"entity-type":"item","numeric-id":3997322,"id":"Q3997322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$8B8C9D3F-45A5-4409-9C52-7AE0E6DA0EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141843dc76337190763c13d018262d397c83e5f3","datavalue":{"value":{"entity-type":"item","numeric-id":1612805,"id":"Q1612805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725558$453FA6A6-B4EF-418F-BFA9-4ED8FBC6C19E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab9c1982dc44d1e8e715083555db58ada1e35243","datavalue":{"value":"10.4171/RMI/1037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725558$E62CE79A-905A-4AE1-A89D-32932B155978","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5fffcca0353a7ef7da4a94ac832c86d58108b9","datavalue":{"value":{"entity-type":"item","numeric-id":829852,"id":"Q829852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2244d8805b4daabab0c3c9a86843f6a408e0e3e","datavalue":{"value":{"amount":"+0.8087216019630432","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":"Q1725558$6FE6F9CB-BF2B-4F01-9AF1-1DAC8F3E118F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eaa1d75b66201668c27f97d6a210c60e94f76b1","datavalue":{"value":{"entity-type":"item","numeric-id":4904413,"id":"Q4904413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6963eb447e14c97f27a0274e02770d494e3d100","datavalue":{"value":{"amount":"+0.7847525477409363","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":"Q1725558$51AE1BF5-E643-4E39-8059-743883B2EE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2004aff7e03a5e2a2ec9836180adc8fa4dc20e88","datavalue":{"value":{"entity-type":"item","numeric-id":4026196,"id":"Q4026196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a908db284bd452b75122b921daf352c1953ccf","datavalue":{"value":{"amount":"+0.7756473422050476","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":"Q1725558$F7210E7A-28FA-439D-8CBA-FD7EE63CEC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c802825a700cb4ef3afda66444752a140203847","datavalue":{"value":{"entity-type":"item","numeric-id":1032669,"id":"Q1032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc4ef840e8761ffd3d5cf66e45829c0c769204f","datavalue":{"value":{"amount":"+0.774772047996521","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":"Q1725558$CA995880-5280-4735-B59D-06CEAE93D49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e7ac8547e8199105844d7e17cac7f75a1df6af","datavalue":{"value":{"entity-type":"item","numeric-id":4991945,"id":"Q4991945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6f1e65f0c20e5138c8d898341883cb76f18cc7","datavalue":{"value":{"amount":"+0.7729683518409729","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":"Q1725558$60E82B30-EC2B-4F81-879C-8B2F00238600","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruences between modular forms modulo prime powers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruences_between_modular_forms_modulo_prime_powers"}}}}}