{"entities":{"Q1574449":{"pageid":1585189,"ns":120,"title":"Item:Q1574449","lastrevid":67906560,"modified":"2026-04-12T20:08:13Z","type":"item","id":"Q1574449","labels":{"en":{"language":"en","value":"Lattice representations of Heisenberg groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1488550"}},"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":"Q1574449$5C582D7A-6E0E-4FAB-825D-7F2C64E44442","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef113b2ae29edf0dfe7c0931bfdcbb84aecc5efe","datavalue":{"value":{"text":"Lattice representations of Heisenberg groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1574449$A926763E-AF64-4826-BF16-F5763530612F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1174166ed1cd402b7e9bc3e86b79cb741d2efb34","datavalue":{"value":"0958.22005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574449$F9C6AA8B-C174-4F54-AB0D-BB36081AE3D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce6798fb3961796451f3eae4f011faa4ae6cbe7","datavalue":{"value":{"entity-type":"item","numeric-id":1336056,"id":"Q1336056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574449$A1C27C57-F8B5-40F3-920C-C3A363D399A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574449$0C6B3E85-4248-421C-BC47-2076A48AAC36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe8a530d976b07eb2b8dc09fcd2b5eceddfd2f41","datavalue":{"value":{"time":"+2001-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1574449$F0BBFDDD-D965-4900-BB46-1A3728820D2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbcd82317b35d0813ae583096815acbf97930789","datavalue":{"value":"https://arxiv.org/abs/math/0612339","type":"string"},"datatype":"url"},"type":"statement","id":"Q1574449$3813D097-FF7F-480B-B012-D6FF8EFE678C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba1f1a99277d2241958842e0179326710cdb6de0","datavalue":{"value":"Let \\(\\mathbb{F}^{(k,l)}\\) be the set of all \\(k\\times l\\) matrices with entries in \\(\\mathbb{F}\\). For positive integers \\(g\\) and \\(h\\), the Heisenberg group \\(H^{(g,h)}_{\\mathbb{R}}\\) is defined as follows:  \\[ H^{(s,h)}_{\\mathbb{R}}= \\{(\\lambda, \\mu,\\kappa)\\mid \\lambda, \\mu\\in \\mathbb{R}^{(h,g)},\\quad \\kappa\\in \\mathbb{R}^{(h,h)},\\quad \\kappa+\\mu^t\\lambda\\text{ symmetric}\\} \\]  with multiplication  \\[ (\\lambda, \\mu,\\kappa)\\circ (\\lambda', \\mu',\\kappa')= (\\lambda+ \\lambda', \\mu+\\mu', \\kappa+\\kappa'+ \\lambda^t\\mu'- \\mu^t\\lambda'). \\]  \\textit{P. Cartier} [Proc. Symp. Pure Math. 9, 361-383 (1966; Zbl 0178.28401)] stated without proof that for \\(h=1\\) the lattice representation of \\(H^{(g,1)}_{\\mathbb{R}}\\) associated to the lattice \\(L\\) is unitarily equivalent to the direct sum of \\([L^*: L]^{1/2}\\) copies of the Schr\u00f6dinger representation of \\(H^{(g,1)}_{\\mathbb{R}}\\), where \\(L^*\\) is the dual lattice of \\(L\\) with respect to a certain alternating bilinear form. \\textit{R. Berndt} proved this fact for the case \\(h=1\\) in his lecture notes [Darstellungen der Heisenberggruppe und Thetafunktionen, Vorlesungsausarbeitung (Hamburg 1988)]. The main result of this paper is a complete proof of Cartier's theorem for \\(H^{(g,h)}_{\\mathbb{R}}\\). Namely, let \\({\\mathcal M}\\) be a positive definite, symmetric half-integral matrix of degree \\(h\\) and \\(L\\) be a self-dual lattice in \\(\\mathbb{C}^{(h,g)}\\). Then the lattice representation \\(\\pi_{\\mathcal M}\\) of \\(H^{(g,h)}_{\\mathbb{R}}\\) associated with \\(L\\) and \\({\\mathcal M}\\) is unitarily equivalent to the direct sum of \\((\\text{det }2{\\mathcal M})^g\\) copies of the Schr\u00f6dinger representation of \\(H^{(g,h)}_{\\mathbb{R}}\\).   A relation between lattice representations and theta functions is also explained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574449$29C7B416-3519-449E-8388-4CAA2C6F7CA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b630cc40b6607150e3a409d16fa4f6bfebb4dd48","datavalue":{"value":{"entity-type":"item","numeric-id":587210,"id":"Q587210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574449$959B8388-30E7-42C5-A305-BE7E0D976AA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14513ec2d0d11abd00f9fd2bb3657e85a43b1f12","datavalue":{"value":"22E27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574449$EEDA8D43-E7E8-48BA-B648-B7C50BECF0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e750e1c945c0ad643c20fc62803e0d25e319e274","datavalue":{"value":"11F27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574449$26423120-38A3-4A14-B52E-860DCD7C8F6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68d135b8f1429cd9065d99ec9092767db0dd9c63","datavalue":{"value":"1488550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574449$4EF06D37-8B76-4E66-80A1-4027A463FAE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b05f11759e50cb73b3b995261cfc4f4683f1a4d","datavalue":{"value":"Heisenberg group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574449$050EDD12-CE94-4640-9E6E-F095AB8222E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553d9c09ad3dfb85f09d1cfd0b0f7e34a53fcdf8","datavalue":{"value":"lattice representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574449$3BFF545A-7927-4EBF-86D9-0665362F6A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574449$583E04A6-938B-4776-96C1-08512612B109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582d33bf959df55577ebd290d2dd7fd0d1ceead8","datavalue":{"value":"Schr\u00f6dinger representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574449$E3F9E98C-2A62-493F-B414-1A52DAEDE70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ec9ffbf2555ce1d85bc2e99dd80b93ceb424e1","datavalue":{"value":"theta functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574449$89515BD1-4356-4E2F-9B2E-5452785273A9","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":"Q1574449$65089254-02F2-40AE-BCF6-E9A9E02C787A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9c1140f5bf340adda9251288ae0944554a3b7a2","datavalue":{"value":"W2001489474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574449$32A561C0-74C3-489E-9600-759568831D14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3c668e5b6123649151ac8f0083b5bd92b72821c","datavalue":{"value":"10.1007/S002080000097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574449$A4AD36E3-562F-463C-A19A-796208BDA3C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3bd3d12ae11c28dc4f4a1ecca4a59e26e495e03","datavalue":{"value":{"entity-type":"item","numeric-id":4539783,"id":"Q4539783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f464d022578e1fb40c8220f5671176ed5b6cc61","datavalue":{"value":{"amount":"+0.8132495284080505","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":"Q1574449$A83B4429-D20A-4043-BA2A-0B603CE9618F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2ce7bc8186901cbf08eb710f4323ab7f9d587e","datavalue":{"value":{"entity-type":"item","numeric-id":4352144,"id":"Q4352144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e18fb6606739f17e0ad27e34bc8d326c05710f4","datavalue":{"value":{"amount":"+0.8127077221870422","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":"Q1574449$00FB410E-5A4C-487D-AD5A-CB818E1F0824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de64c9ed4d513ae599c7a11a19b22264f5371f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5185266,"id":"Q5185266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9bca72d1ae849df8e43b6f1fae328670ce38f5","datavalue":{"value":{"amount":"+0.7740135192871094","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":"Q1574449$A60EBA6E-005F-41A9-9EA5-F2EB36AAADE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattice representations of Heisenberg groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattice_representations_of_Heisenberg_groups"}}}}}