{"entities":{"Q2272811":{"pageid":2283554,"ns":120,"title":"Item:Q2272811","lastrevid":53538764,"modified":"2026-01-25T05:19:17Z","type":"item","id":"Q2272811","labels":{"en":{"language":"en","value":"Quinary lattices and binary quaternion hermitian lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7108037"}},"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":"Q2272811$96D4BE85-054F-4979-88D9-97497E2D01E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"775b053b32d89accfc09e544067e9a9cf8c37f23","datavalue":{"value":{"text":"Quinary lattices and binary quaternion hermitian lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272811$A69E0C85-1724-4402-AEB5-743B33617C2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c27e062280b05ae6ba37cb0bb4a3dfaf5801c14","datavalue":{"value":"1465.11093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272811$DF7E4F51-B38B-4B48-BA64-5DDD83BEFBCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13472b2f4facb987bc20080fd2ff317527ddc9cc","datavalue":{"value":{"entity-type":"item","numeric-id":170662,"id":"Q170662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$580498F5-83DE-44DA-9824-E75B174900CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f57d451e29ac1aea784b2facd6b9348f2ad6b455","datavalue":{"value":{"entity-type":"item","numeric-id":177355,"id":"Q177355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$D91294CC-ECDD-4DC9-93D6-C288A3EA429D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6049aa581089a35fd3528944ecd7fa58d8f4de01","datavalue":{"value":{"time":"+2019-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272811$5BDB8419-A371-40B4-B340-37C490C58C41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63a83d54f9e8155a8dc39e55430cef9201d6e721","datavalue":{"value":"https://projecteuclid.org/euclid.tmj/1561082596","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272811$0FCE2569-1F83-4523-B065-5E42FB6053BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6231d92ab4a5ac073e5ec7deccaf78005d0cbf74","datavalue":{"value":"Let \\(B\\) be a definite quaternion algebra over \\(\\mathbb Q\\), and let \\(G\\) be the group of similitudes of the positive definite quaternion hermitian form on \\(B^2\\); that is, \\(G=\\{g\\in M_2(B):gg^*=n(g)I_2, n(g)\\in \\mathbb Q^{\\times}\\}\\), where \\(g^*\\) denotes the conjugate transpose of \\(g\\) and \\(I_2\\) is the \\(2\\times 2\\) identity matrix. The goal of the paper under review is to show that the \\(G\\)-type number of any genus of positive definite binary quaternion hermitian maximal lattices in \\(B^2\\) is equal to the class number of an explicitly determined genus of positive definite quinary quadratic lattices. This generalizes the result previously obtained for the case of a principal genus by \\textit{K. Hashimoto} and the author [J. Fac. Sci., Univ. Tokyo, Sect. IA 27, 549--601 (1980; Zbl 0452.10029); ibid. 28, 695--699 (1982; Zbl 0493.10030); ibid. 30, 393--401 (1983; Zbl 0533.10019)].  To describe the results in more detail, let \\(\\mathcal O\\) be a maximal order in \\(B\\) and let \\(D\\) be the product of the finite primes such that \\(B_p=B\\otimes _{\\mathbb Q}\\mathbb Q_p\\) is a division algebra. For \\(p\\nmid D\\), there is only one \\(G_p\\)-orbit of maximal left \\(\\mathcal O_p\\)-lattices in \\(B_p^2\\), where \\(G_p\\) acts on such a lattice by right multiplication, and for each \\(p|D\\), there are two such orbits. For each factorization \\(D=D_1D_2\\), let \\(\\mathcal L(D_1,D_2)\\) denote the genus consisting of all left \\(\\mathcal O\\)-lattices \\(L\\) in \\(B^2\\) such that \\(L_p\\) is in the \\(G_p\\)-orbit of \\(\\mathcal O_p^2\\) for precisely those primes \\(p\\) such that \\(p\\nmid D_2\\). So if \\(d\\) is the number of prime divisors of \\(D\\), there are \\(2^d\\) different genera of this kind; \\(\\mathcal L(D,1)\\) is called the principal genus (of discriminant \\(D\\)). Explicit formulas for the number \\(H(D_1,D_2)\\) of \\(G\\)-orbits in \\(\\mathcal L(D_1,D_2)\\) were given by Hashimoto and the author [op cit]. Let \\(L_1,\\ldots,L_h\\) be a complete set of representatives of these orbits, and denote by \\(R_i=\\{g\\in M_2(B):L_ig\\subset L_i\\}\\) the right order of \\(L_i\\). If \\(a^{-1}R_ia=R_j\\) for some \\(a\\in G\\), then \\(R_i\\) and \\(R_j\\) are said to have the same \\(G\\)-type. The number of different \\(G\\)-types in \\(\\{R_1,\\ldots, R_h\\}\\) is called the \\(G\\)-type number of \\(\\mathcal L(D_1,D_2)\\), denoted \\(T(D_1,D_2)\\).  Under the assumption that \\(D\\) is odd, the author establishes a correspondence between such a genus \\(\\mathcal L(D_1,D_2)\\) and a genus of quinary quadratic lattices in a quadratic space \\(V\\) of discriminant \\(2D_2\\). The space \\(V\\) can be identified with \\(\\mathbb Q\\oplus B\\) equipped with the quadratic form \\(Q(t,r)=(t^2+N(r))/D_2\\), where \\(t\\in \\mathbb Q\\), \\(r\\in B\\), and \\(N\\) denotes the reduced norm on \\(B\\). Several explicit \\(\\mathbb Z_p\\)-lattices on \\(V_p\\) are defined, and a connection with \\(G\\)-type numbers is established by considering the stabilizers of these lattices and their actions on the right orders of quaternion hermitian lattices. A genus \\(\\mathcal M(D_1,D_2)\\) of global lattices of discriminant \\(2D_1^2D_2\\) on V is then defined by specifying the localizations of the lattices at each of the primes \\(p|D_2\\) and \\(p\\nmid D_2\\) separately. The main result of the paper is that the \\(G\\)-type number of the genus \\(\\mathcal L(D_1,D_2)\\) in \\(B^2\\) is equal to the class number of the genus \\(\\mathcal M(D_1,D_2)\\). The latter class numbers can be computed by formulas given by T. Asai [Japan J. Math. 3, 239--296 (1977; Zbl 0376.10017)]. Motivated by connections with algebraic geometry, explicit formulas are given in this paper for the numbers \\(T(1,p)\\) and \\(2T(1,p)-H(1,p)\\) for the case of the non-principal genus \\(\\mathcal L(1,p)\\), for an odd prime \\(p\\). An explanation of an application of the latter numbers to the study of supersingular abelian varieties can be found in a previous paper of the author [Osaka J. Math. 55, 369--382 (2018; Zbl 1403.11034)]. For the principal genus, the analogous formula for \\(2T(p,1)-H(p,1)\\) was given by the author and \\textit{T. Katsura} [Compositio Math. 91, 37--46 (1994; Zbl 0817.14024].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272811$889BBBBD-F7B3-4B7F-8E58-F69E9010410E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a065a4d0021067dc43e4b39265a368d5c4f6598a","datavalue":{"value":{"entity-type":"item","numeric-id":590855,"id":"Q590855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$08AB288A-E72C-49E2-AACB-7762225160E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a13eec48c4add3f598b102f5e4cdca81b19731f1","datavalue":{"value":"11E41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272811$C78D22C0-F622-4159-AC98-6456EC066FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72d3d5c91527ce1768a62209c74c9c83d88c602a","datavalue":{"value":"14K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272811$E5F7F8B8-DF79-454A-AFBF-E38BF8210770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111aa0d521548ce9bf404704c7ad9cfc95d17aa9","datavalue":{"value":"11E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272811$9039CD72-752B-49EF-B6D2-7711A97B38A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"379b0d374a80479c9d4432da0eb913d314d9b461","datavalue":{"value":"7108037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272811$8300BFDB-5F33-4641-A330-391478DEA2AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb49c489b4ba61ee293dce27bbb1d8f40e60fb44","datavalue":{"value":"quinary quadratic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272811$EAE2D3BA-93E0-44DB-B82A-E4D85D0E1BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e04c4db131dd3087147f54a049267c53abe0e3f","datavalue":{"value":"quaternion hermitian lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272811$CF4466A4-A859-438A-B14A-532476090A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5652ae5455520ec55b1475e143474bc866bebc","datavalue":{"value":"supersingular abelian variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272811$77C4817B-72CB-4326-BF01-A5508D20CA4C","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":"Q2272811$5D1149F9-A1CF-4944-8296-067D4952F807","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d4f78f4f9d7859835172b58a90f87154f759042","datavalue":{"value":"W2951321439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272811$94BE9FBA-A027-4764-9BB1-9FBD2ED1DF41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5122d417647826648708f42f2bec41534cd22b2e","datavalue":{"value":{"entity-type":"item","numeric-id":5419014,"id":"Q5419014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$8AF69F50-592B-4588-AB98-25A8735EE313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76f1f1350cd507f0785933a86a8bf950331c05d","datavalue":{"value":{"entity-type":"item","numeric-id":4154635,"id":"Q4154635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$0B46E256-A72E-430B-AC74-38CB9DB8A7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a35b4fbc8dee57b9a93068d5a41d777625ee8b1","datavalue":{"value":{"entity-type":"item","numeric-id":3898575,"id":"Q3898575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$B1B80099-2A36-4047-BD75-C65C776C8374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2216f68dcfc9510733586f6b1f5661953fa9a0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1750372,"id":"Q1750372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$EA93B2D7-8448-4F43-8388-59CF6B415FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cbf97aa00b78a4c5026da8cc71f7635bab1e555","datavalue":{"value":{"entity-type":"item","numeric-id":4296333,"id":"Q4296333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$4C17E1CC-B82B-4DEA-8492-01B3E6AB8861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5360a2ec8218b738ed27f6e5b94c211d21ed1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3775667,"id":"Q3775667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$0EE70E5B-9545-42D3-8FAE-BADE4EAB9D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"725d479a06b2bbd01f8570115cebd5c2a111c788","datavalue":{"value":{"entity-type":"item","numeric-id":4271318,"id":"Q4271318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$37D90108-B87F-44BA-B590-B0A5742CFFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011e268ceab544ffa3dfb6fc8154092839e66478","datavalue":{"value":{"entity-type":"item","numeric-id":1378264,"id":"Q1378264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$A21BD7F6-E116-4495-B0DA-B8D61151E266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5866e3214a0eb302ad0c38a5b2c0908d3753674","datavalue":{"value":{"entity-type":"item","numeric-id":2739533,"id":"Q2739533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$FF11D257-46A3-4149-BA03-BDAB1BC0B9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee1665aed0753ad2f19be55801f329a1317da01","datavalue":{"value":{"entity-type":"item","numeric-id":1071045,"id":"Q1071045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$F773AC6C-0D08-4564-992C-1B77056D4044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06c558ccdda9c52b30325e90f13c04444e891d6","datavalue":{"value":{"entity-type":"item","numeric-id":2626610,"id":"Q2626610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272811$D08A4829-0518-4960-BE89-829247E9FA6C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"453adb9afebade1017e121fc84ab5538aeac4201","datavalue":{"value":"Q127679875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272811$C1CB3E38-85DA-46CA-8E36-AE12C154AD26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d1553b7e061f7b7edf065f89a16da053523cb13","datavalue":{"value":"10.2748/TMJ/1561082596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272811$88B05C29-A568-402C-9A70-E6D66CA59BD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd23e121f4c6a048962bcc20537f394f649aafb4","datavalue":{"value":{"entity-type":"item","numeric-id":1750372,"id":"Q1750372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6683469f0d96cf1e73b608b7817342d359b114d0","datavalue":{"value":{"amount":"+0.8370136022567749","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":"Q2272811$2F5B5241-18BA-42E4-AC7D-473A3B3930F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ececf20a294e5906ba25afe3d4930f0cc4576b","datavalue":{"value":{"entity-type":"item","numeric-id":3315584,"id":"Q3315584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d47a8fac52fd9a0f707d4860d68ce106519d54a","datavalue":{"value":{"amount":"+0.8159019351005554","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":"Q2272811$4714F828-9AB1-4F43-AA21-7EF8F80A0754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970483fcfd0351a3ddd02d3f9aba98df65263116","datavalue":{"value":{"entity-type":"item","numeric-id":3481775,"id":"Q3481775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315c1548b91308503c0d3aafa5fd258e8f47209d","datavalue":{"value":{"amount":"+0.8154981732368469","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":"Q2272811$7884B03A-93B6-436E-BA8C-327C0BC514DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2296f4ad7719306933d033ec233acd8a72f5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1117970,"id":"Q1117970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83cb4f1b4f4691a216d5e4fbcdecc14922b6320","datavalue":{"value":{"amount":"+0.8068163394927979","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":"Q2272811$8E5A44E0-0EAC-4F2D-8A61-9D3A47ED0559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd7c02d9829b2be6ac83ac9d2ffbcc162656d22","datavalue":{"value":{"entity-type":"item","numeric-id":793770,"id":"Q793770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be41806a78198b471ca5d5af298310cd20a26d88","datavalue":{"value":{"amount":"+0.7873649001121521","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":"Q2272811$DF62C97C-7CAE-4341-A9F3-AD7FC6716D96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2272811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2272811"}}}}}