{"entities":{"Q1922216":{"pageid":1932958,"ns":120,"title":"Item:Q1922216","lastrevid":78111173,"modified":"2026-05-06T10:48:36Z","type":"item","id":"Q1922216","labels":{"en":{"language":"en","value":"Algebras of symbols and modular forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 927198"}},"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":"Q1922216$CC4432A8-4435-4D2F-846D-C90C5ADA30C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aff40332b1da0a05bcec581d463b26bde44a1614","datavalue":{"value":{"text":"Algebras of symbols and modular forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1922216$E2F392ED-6411-4406-96FE-941A8969AA97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00159e925e74b89acd5d40a627139bc6a045a36c","datavalue":{"value":"0857.43015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922216$1242CE39-09FB-4C37-8742-496FA7F7ED3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"991ce39d754cca619226b9e6be9af47d86e9c140","datavalue":{"value":"10.1007/BF02790207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922216$4266FCD5-C972-4158-9026-A656150EC016","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e4d467109c9d49fa57c80365bbc358db96139f","datavalue":{"value":{"entity-type":"item","numeric-id":262292,"id":"Q262292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$6EB3F05D-A5F2-42C1-A663-112106893CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51a1e1e8808f5c36a72f8a622770f2190e75ee25","datavalue":{"value":{"entity-type":"item","numeric-id":908414,"id":"Q908414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$AECCDE1F-B4A2-43DD-8DB2-A8B21FAF0BDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7cb94b734d7b2835c194481178a8cd8e8a59783","datavalue":{"value":{"entity-type":"item","numeric-id":163291,"id":"Q163291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$CFA63B0E-EC94-42CD-AF56-2417CC1FCBF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9657586cd13c4c74a5ce71e23eb80160be2bda3","datavalue":{"value":{"time":"+1997-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1922216$6833342F-1B16-4830-9C1F-16B325E679A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96010bfa60dec62fb83ffacd03d1a23c1c84acba","datavalue":{"value":"Given a holomorphic function \\(f\\) on the Poincar\u00e9 upper half-plane \\(\\Pi\\) and a nonnegative integer \\(k\\); set, as usual,  \\[ (f|_k)(z)=(cz+d)^{-k} f\\left({az+b\\over cz+d}\\right), \\]  so that the validity of the equation \\(f|_k \\gamma=f\\) whenever \\(\\gamma\\) belongs to some arithmetic subgroup of \\(G=SL(2, \\mathbb{R})\\) characterizes weakly modular forms of weight \\(k\\) with respect to the given group. Given three nonnegative integers \\(k_1\\), \\(k_2\\) and \\(j\\), and any two holomorphic functions \\(f\\) and \\(g\\) on \\(\\Pi\\), \\textit{H. Cohen} introduced in [Math. Ann. 217, 271-285 (1975; Zbl 0311.10030)] the function  \\[ F_j(f,g)=\\sum^j_{l=0} (-1)^l {k_1+j-1\\choose l} {k_2+j-1\\choose j-l} f^{(j-l)} g^{(l)} \\]  with \\(g^{(l)}=({\\partial \\over \\partial z})^\\ell g\\), and proved, for all \\(\\gamma \\in G\\), the identity  \\[ F_j(f|_{k_1}\\gamma,g|_{k_2}\\gamma)=F_j(f,g)|_{k_1+k_2+2j} \\gamma.  \\]  We here show that the sequence \\(\\{F_j(f,g)\\}\\) appears in the composition formula relative to a certain symbolic calculus of operators. The phase space \\(\\Pi_i\\) to be used is the one-sheeted hyperboloid, on which \\(G\\) acts under the coadjoint action. The calculus, studied in some earlier work of the authors, permits to associate with every function \\(f\\) in \\(L^2(\\Pi_i)\\) a Hilbert-Schmidt operator \\(Op(f)\\) on the Hilbert space of any representation taken from the principal series \\(\\pi_{i\\lambda}\\) of \\(G\\). Decomposing the space \\(L^2(\\Pi_i)\\) under the quasi-regular action of \\(G\\) brings to light a family \\(\\{E^\\pm_n\\}_{n\\geq 0}\\) of discrete summands. The term \\(E^+_n\\) can be identified, under some intertwining map \\(T_n\\), with some weighted \\(L^2\\)-space of holomorphic functions on \\(\\Pi\\), the natural Hilbert space for the representation of \\(G\\), taken from the discrete series, sometimes denoted \\({\\mathcal D}^+_{2n+2}\\). It now turns out that, given \\(f\\in E^+_m\\) and \\(g\\in E^+_n\\), the composition of symbols \\(f\\# g\\) can be written \\(j\\in E^+_{m+n+j+1}\\), convergent in \\(L^2(\\Pi_i)\\). Finally, setting \\((k_1,k_2)=(2m+2,2n+2)\\), one can make the various terms in the series explicit as  \\[ T_{m+n+j+1} h_j=\\Phi(m,n,\\lambda) F_j(T_mf,T_ng), \\]  where the numerical coefficient \\(\\Phi(m,n,\\lambda)\\) can be computed. In this setting, one can view Cohen's formula as quoted above as a consequence of the covariance of the symbolic calculus under consideration.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922216$685B0162-81DE-4AD3-ACE2-96D82DDD3C26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5512436a7eec63ba15d3979ff16720b4ed593eee","datavalue":{"value":"43A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922216$793D6E16-B357-4FC6-A578-02E6AE08EFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42c7fbaa018c01ca8258924c3b206a2dd8d9b6b1","datavalue":{"value":"11F11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922216$96292634-7594-4AAC-8153-B0CD6E4108D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78ac1e6639180042767cac77f5f80d5833b9196f","datavalue":{"value":"30F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922216$BF40C125-3C1A-4CE3-88AA-EF76650CA8FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be30e358bb9af4adc73733b3fc32da01440361a1","datavalue":{"value":"927198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922216$7065BEBC-0516-4DCB-A4B7-B0514C599B0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bac6324566acf85cd87c0ae8d942fd2f31dd6195","datavalue":{"value":"holomorphic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922216$AF4A7F2A-A550-468B-88D2-4FA7BAAA0F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f2c2f17b94cf84089e5ae62be9ebb199167d84","datavalue":{"value":"modular forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922216$A7B4F3AB-87F1-4BD1-922E-1BAFC88699C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20856d19cc05a82ee84e0ce7d0ffe139881d2d56","datavalue":{"value":"symbolic calculus of operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922216$298FD71B-6810-4330-93AA-EE6E1DC0ECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73319f0d4964a5b61866fb8b26f75a5305d92a8a","datavalue":{"value":"Hilbert-Schmidt operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922216$47CE791B-1BBC-4A37-AAAF-F8B81617CED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27db29e1545997752d0ba25fa3e41f101d1cfb85","datavalue":{"value":"Hilbert space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922216$14591310-66EB-4BB2-BCBA-6EF2675B031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922216$17024DDC-A39D-47B8-8FDE-8F479C2447EC","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":"Q1922216$6498543C-B24D-4D0D-A566-E390AC1121DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f59d2ada9a7407e891c8de8dde7cd0977685c3","datavalue":{"value":{"entity-type":"item","numeric-id":4069955,"id":"Q4069955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$23ADB96A-0E67-424D-9459-03503E875EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8c652f295a1284dda91089bc416f268d929ad7","datavalue":{"value":{"entity-type":"item","numeric-id":4087946,"id":"Q4087946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$C25D9D3E-7F20-4499-A960-5627C43EDAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8c47040e058560a4a6b85911ea0ff771f1c928","datavalue":{"value":{"entity-type":"item","numeric-id":1219324,"id":"Q1219324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$E0D311D3-9B76-4DE6-8F96-E2F88039ADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b8d9344477ab6d67834f3f95ad2d206362826","datavalue":{"value":{"entity-type":"item","numeric-id":1140823,"id":"Q1140823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$673A99C8-DBCE-4875-8197-60B55A9DEED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f968beef7a3d4b16d32716259fd3c5ca2d503b8d","datavalue":{"value":{"entity-type":"item","numeric-id":5520376,"id":"Q5520376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$069D8444-78F7-47B8-845C-F9CB75992DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a333039bc78248ec274ab223eee18edc42173ce8","datavalue":{"value":{"entity-type":"item","numeric-id":3741813,"id":"Q3741813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$13A87D94-9263-4CD8-AE48-7449E25F8424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e124be180ffb0e45980a5fc099b34ff870215c4","datavalue":{"value":{"entity-type":"item","numeric-id":5518575,"id":"Q5518575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$470F3241-5C57-463C-8196-87A1130311A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2da35ceabe22deaacb58455c7592bdd0cbaff18","datavalue":{"value":{"entity-type":"item","numeric-id":3883102,"id":"Q3883102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$929F566F-E177-4764-A9B9-F30D2AD1BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3d93fb2eb42755c51f2eeffe39367e3656c9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2557869,"id":"Q2557869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$969FFFFF-0D8E-4D57-AFFB-9C9326FCD28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"301df1df56c81cf79a90f2e706d3780b4e40d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4698295,"id":"Q4698295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$955D87F8-098B-4860-9B5D-48B008F963FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf054b2c6876d8b1ba8ffeaccaae5de00a16cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3790357,"id":"Q3790357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$13DD41A2-0CD4-4271-B71F-CC192E77AFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab90ce182d8447fa74adda1311cea3381438b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":1095479,"id":"Q1095479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$B8E8BE7E-A6BC-4AEC-A429-5CCDE67993D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c522d180b8f8a1d180736a75ccd39325d8a683","datavalue":{"value":{"entity-type":"item","numeric-id":1329573,"id":"Q1329573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$561BA301-E311-4832-8F9A-B4C579EA0B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a7e6a56b8a8909a227d8ea97aaad0c96d08b2","datavalue":{"value":{"entity-type":"item","numeric-id":4284459,"id":"Q4284459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922216$825FBF3C-D9B5-450F-BB29-8F291DE08D6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6c96e21a4c0a25707bc7ccd6a5d33ce05380702","datavalue":{"value":"https://doi.org/10.1007/bf02790207","type":"string"},"datatype":"url"},"type":"statement","id":"Q1922216$2DE4A7DE-2D1A-461E-92C2-EC9DE80DED1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00dbcb19607854088d749e3282475c1752df5794","datavalue":{"value":"W2051534854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922216$FEA81842-74D5-4056-B1A0-26B857462EFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24587a321c22f969f2b2a08523d24806a00f14d","datavalue":{"value":{"entity-type":"item","numeric-id":1854906,"id":"Q1854906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434baba045691adfcabf6de8e8708b7cb574ee43","datavalue":{"value":{"amount":"+0.7622841000556946","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":"Q1922216$7E751392-3648-4C20-A513-F801BE9C0DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef44607dab002d2c1ab62ac2ff55469662ca37b","datavalue":{"value":{"entity-type":"item","numeric-id":2391265,"id":"Q2391265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434baba045691adfcabf6de8e8708b7cb574ee43","datavalue":{"value":{"amount":"+0.7622841000556946","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":"Q1922216$0885E904-15B4-4AE8-8F9B-82A6C6EDBE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"658f8ec2809d699583625d2f5375d1315c2cc6d3","datavalue":{"value":{"entity-type":"item","numeric-id":5262889,"id":"Q5262889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de43303c7f80bab52e8371d0688c4e886edc1d2a","datavalue":{"value":{"amount":"+0.7440267205238342","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":"Q1922216$68C7C070-B5E6-4223-99C5-66F01CB2BE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72152bb5a8faf2fe5e1b4043051753f982db7c58","datavalue":{"value":{"entity-type":"item","numeric-id":1329573,"id":"Q1329573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4bf76b2c1f2f3108189e6b4ca2407789e4dbf84","datavalue":{"value":{"amount":"+0.7408896684646606","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":"Q1922216$7CE521D1-EE45-4E69-B0C4-40EA2D9DF0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05ba3012d6fc0e819690ede448f1ff23a8fb254","datavalue":{"value":{"entity-type":"item","numeric-id":4718264,"id":"Q4718264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7c9098727698eaa0f524a0deeed9bcdc689563","datavalue":{"value":{"amount":"+0.7406851053237915","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":"Q1922216$4A165840-8FC3-415F-B142-5EBF515E1488","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras of symbols and modular forms","badges":[]}}}}}