{"entities":{"Q808485":{"pageid":810333,"ns":120,"title":"Item:Q808485","lastrevid":49531426,"modified":"2026-01-07T13:14:27Z","type":"item","id":"Q808485","labels":{"en":{"language":"en","value":"The classification of flat compact complete space-forms with metric of signature \\((2,2)\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4211091"}},"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":"Q808485$4F3B3DDA-829C-4F51-8330-FC45E7211F49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75c345093157fab76f9f472b758d9514e5f241b8","datavalue":{"value":{"text":"The classification of flat compact complete space-forms with metric of signature \\((2,2)\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q808485$8614A425-D05F-4ED6-B89A-0EB4D925E964","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41fb31c9887444f097134677e6e27748025f0885","datavalue":{"value":"0732.57017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808485$A48AEB13-E0BF-4EBE-9583-3F0C84DE1489","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d95a52e648259773ee44dd9f2b68bee4ef6f4204","datavalue":{"value":{"entity-type":"item","numeric-id":256461,"id":"Q256461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808485$CC08A12E-F5D5-4D5A-9DE9-1817A7A200AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808485$E396EA31-C0F2-4D83-BA47-317621E3B2B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q808485$A47E3E88-A460-4C29-8190-E118A6CE313D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5e9535bf571e6813a371387a3db837903347837","datavalue":{"value":"This is a remarkable paper. As a continuation of the classification of flat compact space-forms with metric of signature \\((1,3)\\) by \\textit{D. Fried} [J. Differ. Geom. 26, 385-396 (1987; Zbl 0643.53047)], the author has classified the flat (complete) compact space-forms with metric of signature (2,2) up to finite covers. As the author remarks the idea was suggested by Ravi S. Kulkarni.    If \\(\\Gamma \\subseteq {\\mathbb{R}}^ 4\\rtimes SO(2,2)\\) and \\(\\Gamma\\) acts on \\({\\mathbb{R}}^ 4\\) freely and properly discontinuously with compact quotient, then \\(X:={\\mathbb{R}}^ 4/\\Gamma\\) is a flat compact (complete) space-form with metric of signature \\((2,2)\\). The method is based on the following Theorem: Suppose X is a flat compact space-form with fundamental group \\(\\Gamma \\subseteq {\\mathbb{R}}^ 4\\rtimes SO(2,2)\\). Then there is a uniquely determined subgroup H of \\({\\mathbb{R}}^ 4\\rtimes SO(2,2)\\) that acts simply transitively on \\({\\mathbb{R}}^ 4\\) and \\(H\\cap \\Gamma =\\pi\\) has finite index in \\(\\Gamma\\).    First, those subgroups of \\({\\mathbb{R}}^ 4\\rtimes SO(2,2)\\) are classified that act on \\({\\mathbb{R}}^ 4\\) simply transitively, up to the conjugacy of \\({\\mathbb{R}}^ 4\\rtimes O(2,2)\\). These are the Lie groups: Type 0 \\(\\cong {\\mathbb{R}}^ 4\\), Type I \\(\\cong {\\mathbb{R}}\\times Nil^ 3\\), Type II \\(\\cong Nil^ 4\\), Type III-1 \\(\\cong {\\mathbb{R}}\\times \\{{\\mathbb{R}}^ 2\\rtimes \\left( \\begin{matrix} e^ t\\\\ 0\\end{matrix} \\begin{matrix} 0\\\\ e^{-t}\\end{matrix} \\right)\\); \\(t\\in {\\mathbb{R}}\\}\\), Type III-2 \\(\\cong {\\mathbb{R}}\\times \\{{\\mathbb{R}}^ 2\\rtimes SO(2)\\}\\). All of them, except the last one, correspond to \\(\\Gamma\\) 's. Then \\(\\Gamma\\) is proved to be virtually solvable, i.e. \\(\\Gamma\\) has a solvable subgroup of finite index. This confirms a Milnor's conjecture in a special case. The theory of crystallographic hull, developed by \\textit{D. Fried} and \\textit{W. Goldman} [Adv. Math. 47, 1-49 (1983; Zbl 0571.57030)] completes the proof of the theorem.    Corollary: Up to finite covers, every flat compact space-form with metric of signature (2,2) is of the form H/\\(\\Gamma\\), where H is a simply transitive subgroup of \\({\\mathbb{R}}^ 4\\rtimes SO(2,2)\\) of Type 0, Type I, Type II or Type III-1, and \\(\\Gamma\\) is a uniform lattice of H.    These uniform lattices have already been listed by \\textit{H. Zassenhaus} [``Beweis eines Satzes \u00fcber diskrete Gruppen'', Abh. Math. Semin. Hansische Univ. 12, 289-312 (1938; Zbl 0023.01403)]. The uniform lattices of H are semidirect products \\({\\mathbb{Z}}^ 3\\rtimes {\\mathbb{Z}}_ A\\), where \\(A\\in SL({\\mathbb{Z}})\\) has the characteristic polynomial \\(\\det (tI-A)=(t-1)(t^ 2- bt+1)\\) and Type 0: \\(A=I\\), \\(b=2\\); Type I: \\((A-I)^ 2=0\\), \\(A\\neq I\\), \\(b=2\\); Type II: \\((A-I)^ 2\\neq 0\\), \\((A-I)^ 3=0\\), \\(b=2\\); Type III-1: \\(b\\geq 3\\) is an integer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q808485$25E7FEEC-1C19-4C55-870B-AC3B83B2922D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85168c971c8dd8144a2ec995a527c7169786cead","datavalue":{"value":"57S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808485$6D97A535-38AF-422B-8DA8-C6479A195472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e72d613bb898973cef63008ac08de22e4b16ac04","datavalue":{"value":"51N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808485$BE72230F-4B7D-4340-994F-D34B9B401C34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f976f99a9835c56eea9a5f38979f386c5e96722","datavalue":{"value":"4211091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808485$D780614D-A6B6-47EF-A99B-D8F666CF71FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b008246889d3313898421b13b1243e7a795b59","datavalue":{"value":"flat compact space-forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q808485$51C0E69F-24F8-48D7-8C4D-22D8198D9C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda41adc453c45a375111b646597f1154ba456d5","datavalue":{"value":"metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q808485$4E9E9607-59C6-404F-B8D1-8F36F7072716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09a0f09e9dbda634cbb9c5f07e6d2da08243ee5","datavalue":{"value":"signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q808485$091B63AA-9F6E-40A0-854A-D36F4283900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5efc89aa83edfc12cab2db94178013b9c5bdd1","datavalue":{"value":"fundamental group","type":"string"},"datatype":"string"},"type":"statement","id":"Q808485$16C7B60E-7AA1-4582-A042-5DFFE35910D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"333bb8590d626772beef668890c3f87ba69c18d6","datavalue":{"value":"crystallographic hull","type":"string"},"datatype":"string"},"type":"statement","id":"Q808485$20982AE0-BCEB-4231-A2E8-159E50507BCF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"975c187eaca1e4f7334d04493819c81630128874","datavalue":{"value":{"entity-type":"item","numeric-id":588445,"id":"Q588445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808485$289829D3-8D82-4E55-AA79-A4191333D364","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":"Q808485$9C226F21-0BF8-4D24-B1C3-076279A131D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"709b9f6587a56f0009f204cea42a4f8f84e4a392","datavalue":{"value":"https://doi.org/10.2140/pjm.1991.148.181","type":"string"},"datatype":"url"},"type":"statement","id":"Q808485$24AD3871-9E53-4DB3-AB75-CE528D7CED09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a4f7fad84bad9e457ad3c4471063aa1e4157c5f","datavalue":{"value":"W1996136891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808485$A44ADAC4-9750-449D-9BDB-54DF8D129EB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13ce5cf0a864e9146f3d6b41c0c171c71dae492e","datavalue":{"value":"10.2140/PJM.1991.148.181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808485$82EAA3D9-F25F-42BD-8D1D-E324E60AA008","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817a0d29e98b33f040de817841a487d343b206b8","datavalue":{"value":{"entity-type":"item","numeric-id":1345018,"id":"Q1345018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0718a9d33e9cc04928db47bffa4c53e23f2824c9","datavalue":{"value":{"amount":"+0.7570608258247375","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":"Q808485$FB4BB4E0-6A89-4955-8A66-ABC1195E4E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d83704172b0d4deb5400e890802c03f43444c8","datavalue":{"value":{"entity-type":"item","numeric-id":1296432,"id":"Q1296432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800e96baaf5ef71124d34346081acb8121738b1b","datavalue":{"value":{"amount":"+0.7532777190208435","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":"Q808485$91EE1326-399F-4B84-A72B-4D192B290003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6333063753e0a1667db605be29d9c25175b5f244","datavalue":{"value":{"entity-type":"item","numeric-id":797851,"id":"Q797851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62993ed860b0d76d80fa99907c531cb1a6d6e6dc","datavalue":{"value":{"amount":"+0.7520430684089661","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":"Q808485$A7ABC3ED-0C83-4C9A-9F0B-195A1D6FC368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c27b619d0f88989e2e132bba750302ba384dfa","datavalue":{"value":{"entity-type":"item","numeric-id":1886838,"id":"Q1886838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50395f40dc3e8d457355b175b80e9098bc9ab871","datavalue":{"value":{"amount":"+0.7517904043197632","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":"Q808485$98632913-21CD-4BB3-95F1-0CB64AA19AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617474d7b10fe05e3898bfdc9523f472b98eebf6","datavalue":{"value":{"entity-type":"item","numeric-id":1101981,"id":"Q1101981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ad93f8547ca7b1f5607e0033adc8254d5efa87","datavalue":{"value":{"amount":"+0.7474473118782043","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":"Q808485$FA2B26B2-12C9-423F-B3D1-47B39B6B4781","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:808485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:808485"}}}}}