{"entities":{"Q2835324":{"pageid":2846054,"ns":120,"title":"Item:Q2835324","lastrevid":58032267,"modified":"2026-04-03T13:00:19Z","type":"item","id":"Q2835324","labels":{"en":{"language":"en","value":"A vanishing theorem for the homology of discrete subgroups of \\(\\text{Sp}(n,1)\\) and \\(\\text{F}_{4}^{-20}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6659019"}},"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":"Q2835324$8C411D70-CB0E-49F9-BAA7-717DA44BE694","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71d5c9101f7cdcb2dde2f156992eead2aa4002db","datavalue":{"value":"1358.57037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835324$DFF84EC8-5903-43FF-A0BC-9086E1B93F4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459a79a201f9d6c418634ac1edc69d2adcd7cc3","datavalue":{"value":{"entity-type":"item","numeric-id":429562,"id":"Q429562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$B6F6EC2E-A80C-481B-9ED9-FB7C50F7CC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20183388bb66276bc18e3d1644ad66326ef60d65","datavalue":{"value":{"entity-type":"item","numeric-id":168396,"id":"Q168396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$D1A34312-8FDC-43B2-9743-A0F5E4549F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb7d097137d76df18eeb678fa278cb64cfbe511","datavalue":{"value":{"entity-type":"item","numeric-id":703992,"id":"Q703992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$1D3960F6-44DC-4D68-A947-76C75F6830CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a54830ddddf8efde2ef9bbf0a00011143bf8f201","datavalue":{"value":{"time":"+2016-12-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":"Q2835324$6865EA74-5A00-4F58-A424-7CF6D2D50040","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb34f7bf645aa47504868d195ee78dce796d1f34","datavalue":{"value":"https://arxiv.org/abs/1506.03516","type":"string"},"datatype":"url"},"type":"statement","id":"Q2835324$FA4909AE-3002-48C2-8014-E6183A06CE99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fed76c99a1ecb59e896acdbb8994ecfa2b314f3f","datavalue":{"value":"57T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835324$3B1649EB-941A-4871-8E51-4BFB9828B3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa9d719128900a6c3d3bf2a958dc19cfff7f4536","datavalue":{"value":"20J06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835324$2F686363-A78A-4A3B-BFD6-3C03505CB0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b94b407701508e5bb46691743c4f6b27a112b94","datavalue":{"value":"22E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835324$F387113B-E1AF-4DFA-BB40-56493B002DBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"004c3b3e9e5035d9732b823870d9eecbc57c71d4","datavalue":{"value":"6659019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835324$1C0F53B1-511C-448D-93AE-01A2C1E4A472","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c80479ca721bea39ea9ed63a26cbab7c5fa01f","datavalue":{"value":"homological vanishing results","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835324$4C3174DA-8BA2-4519-B6D6-58DB0B0A7A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a0759e2bde691dbb57311dc41face0d0df6f82","datavalue":{"value":"homological dimension gap","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835324$4E59D981-1F74-452D-9B95-055E84A95D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17726a32413ae049b8180500e7818deb5ec67844","datavalue":{"value":"barycenter map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835324$96F03CE9-5423-4BA8-A214-708ECC79DC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27257cb565674493ff72998e3bea110d3db1d3f3","datavalue":{"value":"Jacobian estimate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835324$733D68B8-B64A-412E-9F11-7995E246B544","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":"Q2835324$300E3342-0AB0-49D1-932A-F366475CF4C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4db9d0310602f500e050322ebd90e984925e0656","datavalue":{"value":"W2422007519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835324$CF80387E-B8BC-4F8C-93BB-CB56EC629FDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c35ec8e6713c39facc112c719ccf4474e7f595","datavalue":{"value":{"entity-type":"item","numeric-id":1908266,"id":"Q1908266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$CA329040-48EF-4747-869E-0250D6B331BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efef389acdb3714cc7678a551b348e99d11c42f","datavalue":{"value":{"entity-type":"item","numeric-id":1588922,"id":"Q1588922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$BD329C34-C254-47A2-8889-6E2294619A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efba99d37b68281f446fee5e948ea00a77a09cd5","datavalue":{"value":{"entity-type":"item","numeric-id":1384833,"id":"Q1384833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$546DBFEC-2386-4BA6-8E33-934B0F94CF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b21cbd1d1899bc17bfa0e6b53d2213ffc46cbfd","datavalue":{"value":{"entity-type":"item","numeric-id":5489515,"id":"Q5489515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$36A68B58-04F1-4AB1-B41F-DD99AEB00650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b6dcf67e4c1478ddf91eefc30d5d6cf146f54d","datavalue":{"value":{"entity-type":"item","numeric-id":1173882,"id":"Q1173882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$62C24C13-DB46-4191-9BB2-7AFE05A66293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af82a5081ea5d47f33a1183d039063c1521db84e","datavalue":{"value":{"entity-type":"item","numeric-id":841087,"id":"Q841087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$2057AAAF-62F5-47CB-B29B-173D72FA77CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265463a01d12e4fad3b9fcfa8ef7321b56aca89","datavalue":{"value":{"entity-type":"item","numeric-id":3997989,"id":"Q3997989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$285591CA-3A84-49CA-BA8C-CD74AB957224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf35216041a32b16bba5f2f2d3c9a60079517fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5669004,"id":"Q5669004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$7589FC44-CA3A-4092-A061-5006015A3260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a85d81ad559c271496fdd24cc37a81d8f81c633","datavalue":{"value":{"entity-type":"item","numeric-id":4550408,"id":"Q4550408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$14CDA067-726E-4F7B-AD93-60DBCEFDA8D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f040736175dd4f804f5a90790ef79b66734899d","datavalue":{"value":"10.1112/JLMS/JDW036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835324$83E22602-222C-436A-9C7A-BB15882B3280","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cf4a0fa8ca3e543e89640386b51f9e22a7b632f","datavalue":{"value":{"text":"A vanishing theorem for the homology of discrete subgroups of \\(\\text{Sp}(n,1)\\) and \\(\\text{F}_{4}^{-20}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835324$5EEB8ACF-A029-4719-9FAC-6A62649F79BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd06f03000a68ed41ca657843f37f844031b6943","datavalue":{"value":{"entity-type":"item","numeric-id":6536654,"id":"Q6536654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$1B45364E-DC1F-4D0D-813A-27712B5CD455","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eff45342d6eb0960a5b1fc4ade1fdd3a16e400cd","datavalue":{"value":"Let \\(G\\) be a simple Lie group with rank\\(_\\mathbb{R}(G) =1\\), namely \\(\\text{SO}(n,1), \\text{SU}(n,1),\\text{Sp}(n,1), \\text{ or F}_4^{-20}\\). These groups are, up to isogeny, the groups of orientation preserving isometries of the real, complex, and quaternionic-hyperbolic spaces \\(\\mathbf{H}^n_\\mathbb{R}, \\mathbf{H}^n_\\mathbb{C}, \\mathbf{H}^n_\\mathbb{H}\\) and the Cayley-hyperbolic plane \\(\\mathbf{H}^2_\\mathbb{O}\\), respectively. If \\(\\mathbb{K}=\\mathbb{R}, \\mathbb{C}, \\mathbb{H}, \\mathbb{O}\\), then each \\(\\mathbf{H}^n_\\mathbb{K}\\) is a connected, contractible, negatively curved, symmetric Riemannian manifold of dimension \\(dn\\) where \\(d=1,2,4\\) or \\(8\\), with normalized sectional curvatures between \\(-4\\) and \\(-1\\). For a discrete torsion-free subgroup \\(\\Gamma<G\\), we have the corresponding locally symmetric manifold \\(M_\\Gamma=\\mathbf{H}^n_\\mathbb{K}/\\Gamma\\).NEWLINENEWLINEThe main result of the present paper is the following homology vanishing theorem: Theorem 1.1. Let \\(\\Gamma\\) be any discrete, finitely generated, torsion-free subgroup of \\(\\text{Sp}(n,1)\\) or \\(\\text{F}_4^{-20}\\). Assume that Vol\\((\\mathbf{H}^n_\\mathbb{K}/\\Gamma)= \\infty\\) and that \\(\\Gamma\\) has no parabolic elements. (a) If \\(\\Gamma < \\text{Sp}(n,1)\\) and \\(n\\geq 2\\), then, for all \\(\\Gamma\\)-modules \\(V\\), \\(H_{4n-1}(\\Gamma;V)=0\\). (b) If \\(\\Gamma < \\text{F}_4^{-20}\\), then, for all \\(\\Gamma\\)-modules \\(V\\), \\(H_{13}(\\Gamma,V)=H_{14}(\\Gamma,V)=H_{15}(\\Gamma; V) =0\\).NEWLINENEWLINEThe statement of Theorem 1.1. also holds when \\(\\Gamma\\) is cocompact and \\(V\\) is finite dimensional. An immediate consequence of Theorem 1.1 is the following result concerning the homological dimension gap. Corollary 1.2. If \\(\\Gamma < \\text{Sp}(n,1)\\) is any discrete, finitely generated, torsion free subgroup with no parabolic elements, then either the homological dimension hd\\((\\Gamma) =4n\\) or hd\\((\\Gamma)\\leq 4n-2\\). Moreover, the value \\(4n\\) is obtained precisely when \\(\\Gamma\\) is a lattice. Similarly, if \\(\\Gamma< F_4^{-20}\\) satisfies the same condition, then either hd\\((\\Gamma)=16\\) or hd\\((\\Gamma)\\leq 12\\). Moreover, the value 16 is obtained precisely when \\(\\Gamma\\) is a lattice. The proof of Theorem 1.1. uses \\(\\mathbb{K}\\)-hyperbolic geometry. The main steps in the proof are: Step 1. Contracting map, Step 2. Arbitrarily small \\((4n-1)\\)-mass, Step 3. Gromov's principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835324$C8797553-CBF0-4D4A-A114-AEA05FE51084","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fbed882b1b8e4900eb9b4b7e0eb03624838f69d6","datavalue":{"value":{"entity-type":"item","numeric-id":178798,"id":"Q178798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835324$A57B88F9-DD93-4765-86A6-60E698D46B1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890542332d4316fb6abdd86769396b0042149b47","datavalue":{"value":{"entity-type":"item","numeric-id":1068961,"id":"Q1068961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0ce24e4c5dcf11db51eadaeb849a8cc5058ca1","datavalue":{"value":{"amount":"+0.782440185546875","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":"Q2835324$FAE2C26D-6492-4F23-AB2A-DA4D0A2FEC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb8732d4cd3f3492edb913182392f46d3936baf","datavalue":{"value":{"entity-type":"item","numeric-id":917720,"id":"Q917720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d63a3ba1b1f4017c71178e2da51a00305b782a","datavalue":{"value":{"amount":"+0.7393417954444885","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":"Q2835324$BBF2EC6B-2A68-4E1D-8BA9-0D632D10AE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c8993b220cf1c1e3b3d2ae5667a35d89665db5","datavalue":{"value":{"entity-type":"item","numeric-id":1432384,"id":"Q1432384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1414be776f3643f3cd0d32549e3578e53ad22a96","datavalue":{"value":{"amount":"+0.7284509539604187","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":"Q2835324$4EDAAEE8-8CA3-416E-935C-655A300AF179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e859ab7f08bd9fb19ad23369f67305bc69d754","datavalue":{"value":{"entity-type":"item","numeric-id":1110864,"id":"Q1110864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a69f475a98d5b44e981a198eb8a4cb4b9386842","datavalue":{"value":{"amount":"+0.7144893407821655","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":"Q2835324$3C06AF48-A664-4AFA-A007-A71DE6DB4505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856928a8239a247afd7d51ed37229cf9da5871d7","datavalue":{"value":{"entity-type":"item","numeric-id":4783524,"id":"Q4783524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f275855f34376709b9db2aa2d706c0df2a5f01b","datavalue":{"value":{"amount":"+0.7131250500679016","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":"Q2835324$B6F3E1B3-3F25-4492-B9ED-C5CEE52E86FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2835324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2835324"}}}}}