{"entities":{"Q2845584":{"pageid":2856304,"ns":120,"title":"Item:Q2845584","lastrevid":83855591,"modified":"2026-05-07T13:00:56Z","type":"item","id":"Q2845584","labels":{"en":{"language":"en","value":"Classity in Hida's theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203651"}},"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":"Q2845584$524D6A69-3769-4E11-A663-502F036F841A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35f726622f31c2b1c9dd36e3917ebbaf024a0284","datavalue":{"value":"1322.11067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845584$2CC5993F-FB09-4919-B139-51039B58AB2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96acf31bb95f7abd6a15a8013e615db4aacba20f","datavalue":{"value":{"entity-type":"item","numeric-id":291023,"id":"Q291023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845584$35827FE6-59ED-42DB-B74D-E417016BFAA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845584$229EF3CA-ADDC-4D04-B2D4-34165CF479B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3b85d7159f5ef57559e9e342ed79a406d1d621","datavalue":{"value":{"time":"+2013-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845584$DFE4F8CD-5980-4819-9C2E-DCEBCD490862","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae61fee828aa17db4c1d27be0f560b73f79c72f7","datavalue":{"value":"11G18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845584$03757168-32A5-45A8-9DB9-920CD49DE371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de98e1b969c8219b2123c91e37fce4119495e7a9","datavalue":{"value":"11F41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845584$3E11E20F-A4C3-4DA2-A220-A18882198B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89fb9493aa18fb1623dc68bfa6a25617bdf58c41","datavalue":{"value":"14G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845584$F6D17341-A1B1-498B-8D65-456E6C1BBF50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cc36f73fad376f824ff72239455bf6820906313","datavalue":{"value":"6203651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845584$0021F5B9-59D1-4C3F-9CBB-54C0E0A3F756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19f07d98dacf4986dd0af7b0709c3f8167d9bb2b","datavalue":{"value":"Siegel modular form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845584$44DD6136-2D9E-4E25-B5DC-F3BA08715A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7b38566450af48a8905b24d13f51e12aa9d9044","datavalue":{"value":"p-adic and classical modular form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845584$B34A65C0-8D26-4621-A8D3-F5F27AB9ED5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fac392d970c22db7d6b967da186e76a7832b4af","datavalue":{"value":"lifting of modular form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845584$B5B35FC9-CD48-429A-AD78-94A9286396D4","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":"Q2845584$5CE0DCF9-F746-4BE7-B56E-00246885C89B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fe253e36b9826c5d6a1c77d57fe1eb6bccf99b5","datavalue":{"value":"https://doi.org/10.1353/ajm.2013.0038","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845584$911310CB-7490-42AE-BDCA-44A65CB7A932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"667ecc08784a4221d0b14c7d410ed1782230fd3e","datavalue":{"value":"W2020746927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845584$976C620F-EB46-4E12-A4B6-D6CF45394CAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca8bcc0123ce9c1f18ffb04de7c7797769a17a82","datavalue":{"value":"10.1353/AJM.2013.0038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845584$06AECE55-44B0-4B18-AA96-FF0D82ABF15C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e253248a15efa626069b794948154a56f5a9e818","datavalue":{"value":{"text":"Classity in Hida's theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845584$6A71C733-36C2-4658-8870-A872D1DB0900","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8227159295826704fcedfa50f98f9ad35df56f7","datavalue":{"value":"\\textit{H. Hida} developed the theory of ordinary cuspidal \\(p\\)-adic Siegel modular forms in ``Control theorems of coherent sheaves on Shimura varieties of PEL type'' [J. Inst. Math. Jussieu 1, No. 1, 1--76 (2002; Zbl 1039.11041)]. It is conjectured that any \\(p\\)-adic modular form is classical, i.e., comes from a usual Siegel modular form, if its weight \\((k_1,\\dots,k_g)\\) is large enough. The main result of this paper is to effectively prove this conjecture under a certain condition (on the prime number \\(p\\), the weight and the level of \\(f\\)). More precisely, the author proves that an ordinary cuspidal \\(p\\)-adic Siegel modular form of weight \\((k_1,\\dots,k_g)\\) is classical if \\(p>g(g+1)/2\\), \\(k_1>\\dots>k_g>g+1\\), \\(\\sum_i(k_i-k_g)<p-g(g+1)/2\\) and \\(f\\) is of principal level at in integer \\(n>12\\) not divisible by \\(p\\).NEWLINENEWLINEA by-product of the proof of the main theorem is to uniquely lift cuspidal Siegel modular forms from \\(\\mathbb{F}_p\\) to \\(\\mathbb{Z}[1/n]\\), where \\(n\\) is as in the main theorem (i.e., integer \\(n>12\\) not divisible by \\(p\\)). The main ingredients to prove this lifting are: {\\parindent=6mm \\begin{itemize}\\item[(1)] A theorem of Shepherd-Barron saying that \\(\\omega^k(-D)\\) is ample, where \\(\\omega\\) is the canonical bundle over a specific compatification \\(\\bar{\\mathcal{A}_g}\\) of the Siegel modular scheme over \\(\\mathbb{Z}[1/n]\\), \\(D\\) is the boundary and \\(k>n/12\\). \\item[(2)] The Berstein-Gelfand-Gelfand complex \\(DR(\\mathcal{V}_{\\lambda})\\) with filtration \\(F^*DR\\). The graduation complex of the BGG complex is then canonically quasi-isomorphic to a split complex associated with the sheaf of Siegel modular forms. \\item[(3)] Ogus' vanishing theorem which claims that higher cohomologies of certain sheaves over \\(\\bar{\\mathcal{A}}_{g,\\mathbb{F}_p}\\) vanish. It applies to the sheaf of Siegel modular forms twisted by \\(-D\\) by the quasi-isomorphism in (2). NEWLINENEWLINE\\end{itemize}} Another auxiliary result to prove the main theorem is the vanishing of \\(T_p\\cdot f\\bmod p\\) on the non-ordinary locus of \\(\\mathcal{A}_g(\\bar{\\mathbb{F}}_p)\\). This will give an extension result of ordinary Siegel modular forms mod \\(p\\) on the ordinary locus to the whole \\(\\bar{\\mathcal{A}}_{g,\\mathbb{F}_p}\\). Then, with the lifting theorem and Hida's theory we can conclude.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845584$0311ECE2-7144-4AF1-A96A-6384F998F026","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b707c4799a66ac9a9ea738a5ad43546d0d62691","datavalue":{"value":{"entity-type":"item","numeric-id":292510,"id":"Q292510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845584$CED58D2B-8CD3-4981-80EE-E092A8B10DD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b1e9c9660db906ab81017e14d49cafb8724d80","datavalue":{"value":{"entity-type":"item","numeric-id":4929977,"id":"Q4929977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3775521e4237622235b5654db1d47e4be8e609e0","datavalue":{"value":{"amount":"+0.8049693703651428","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":"Q2845584$9E5F73E5-C30C-4C6D-AB4C-C0548D337B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1af352c9e96d3e4496086426a8c8aad0265158","datavalue":{"value":{"entity-type":"item","numeric-id":957880,"id":"Q957880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7495f043b1584c36dd319bdb7e2e9e77709ebb","datavalue":{"value":{"amount":"+0.7666825652122498","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":"Q2845584$98FD69E6-43B8-4A62-BDA7-E204C3624BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fa9b000a328a2918711e470e9ecdaa5a8d3de0","datavalue":{"value":{"entity-type":"item","numeric-id":3003652,"id":"Q3003652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491275958c96b0cb1d9699d942d382eaca2413d5","datavalue":{"value":{"amount":"+0.7630999684333801","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":"Q2845584$FC1FBB28-0B11-4B0B-8FD6-F5D11BE04E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e223bd890850d46b9f95d5055585bbcfbd0549","datavalue":{"value":{"entity-type":"item","numeric-id":5395478,"id":"Q5395478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a73964a8207f40a7f540fc468aea0d2216c5537","datavalue":{"value":{"amount":"+0.7605733871459961","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":"Q2845584$F94AD3D1-7B79-41CC-8CB5-789665574482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2091c7c4c84dc90e4f2350b92e195c31ca40e11","datavalue":{"value":{"entity-type":"item","numeric-id":2890360,"id":"Q2890360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355fec6b5cd8b41ba0668f8493472f79a4694faa","datavalue":{"value":{"amount":"+0.7605625987052917","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":"Q2845584$C6639276-2046-41B8-92A0-B9D44D537E09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classity in Hida's theory","badges":[]}}}}}