{"entities":{"Q1607727":{"pageid":1618467,"ns":120,"title":"Item:Q1607727","lastrevid":71431602,"modified":"2026-04-13T22:13:32Z","type":"item","id":"Q1607727","labels":{"en":{"language":"en","value":"Higher limits via subgroup complexes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1779739"}},"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":"Q1607727$AC87B125-A0BE-4577-A4D5-A7AA6B9BDF09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bde9d1722af3a7743f32a1855cf17d7581140635","datavalue":{"value":{"text":"Higher limits via subgroup complexes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607727$86E58AE4-0C37-4F18-8CD7-E7E5118E6037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1b2e1cf55ea5d48272f28e6e97d8cd356bed68c","datavalue":{"value":"1004.55008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$0EABFD68-1DDD-4929-A225-4AFA938890ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83db48ca8e9fe06369b850784552c6ff11af1419","datavalue":{"value":"10.2307/3062122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$7CB5A2DC-8B1B-4ECF-91DA-8FEF838E88B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6ed913edf28f8b230a8e51b93bb9f3500ec4c0a","datavalue":{"value":{"entity-type":"item","numeric-id":464273,"id":"Q464273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607727$7F84DF1F-7A2B-4CCB-A10E-0E4900193AB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607727$9AA54857-D563-4C9A-B47D-69F6B72A15D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fabb0af00a2e0e3b87f3fc8331f319270c08727","datavalue":{"value":{"time":"+2003-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607727$C1771A3B-70F1-41CF-AB78-6166FEF76EC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1a573d92b0cc384bc42317795567b4aa17005d9","datavalue":{"value":"https://arxiv.org/abs/math/0002045","type":"string"},"datatype":"url"},"type":"statement","id":"Q1607727$703A882D-A53D-4752-9964-0500434A367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d18ecacbaf81d2a95c8cbd9cc95bb148b94a219a","datavalue":{"value":"http://hdl.handle.net/1721.1/106719","type":"string"},"datatype":"url"},"type":"statement","id":"Q1607727$1B935C37-F18E-4643-A28B-F1341937890C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64da71b96337d0765e86bdd61901636fda465c58","datavalue":{"value":"Let \\(G\\) be a finite group. A collection \\({\\mathcal C}\\) is a set of subgroups in \\(G\\), closed under conjugation in \\(G\\). Denote by \\(|{\\mathcal C}|\\) the nerve of the poset \\({\\mathcal C}\\) and by \\({\\mathbf O}_{\\mathcal C}\\) the full subcategory of the orbit category of \\(G\\) with objects the transitive \\(G\\)-sets with isotropy groups in \\({\\mathcal C}\\). The purpose of this paper is to give a new finite model for the higher derived functors \\(\\lim_{{\\mathbf O}_{\\mathcal C}}^*F= \\{\\lim_{{\\mathbf O}_{\\mathcal C}}^i \\}_{i\\geq 1}F\\) of the inverse limit when \\(F\\) is a contravariant functor with domain \\({\\mathbf O}_{\\mathcal C}\\) and codomain the category of \\(\\mathbb{Z}_{(p)}\\)-modules. Such functors arise in the homotopy representation theory of compact Lie groups.    Theorem 1: (a) If \\({\\mathcal C}\\) is closed under passage to \\(p\\)-radical over-subgroups then \\(\\lim_{{\\mathbf O}_{\\mathcal C}}^* F=H_G^*(|{\\mathcal C}|;{\\mathcal F})\\) where \\({\\mathcal F}\\) is a \\(G\\)-local coefficient system on \\(|{\\mathcal C}|\\) naturally associated to \\(F\\) and \\({\\mathcal C}\\). (Here \\(H_G^*(-;{\\mathcal F})\\) denotes the Bredon cohomology.) (b) If \\(F\\) is a functor concentrated on conjugates of a single subgroup \\(P\\) then \\(\\lim_{{\\mathbf O}_{\\mathcal C}}^iF= H_G^{i-1} (\\Hom_{NP/P} \\text{St}_* (NP/P);F(P))\\) where \\(\\text{St}_*(W)\\) denotes the Steinberg complex of \\(W\\).    Theorem 2: (a) Let \\({\\mathcal C}\\) be as in Theorem 1. If for all \\(P\\in{\\mathcal C}\\), the centralizer \\(CP\\) acts trivially on \\(F(P)\\) then, for any collection \\({\\mathcal C}'\\subset{\\mathcal C}\\) which contains all \\(p\\)-centric subgroups of \\({\\mathcal C}\\), \\(\\lim_{{\\mathbf O}_{\\mathcal C}}^*F= \\lim_{{\\mathbf O}_{{\\mathcal C}'}}^*F= H_G^*(|{\\mathcal C}'|;{\\mathcal F})\\) where \\({\\mathcal F}\\) is a \\(G\\)-local coefficient system on \\(|{\\mathcal C}|\\) naturally associated to \\(F\\) and \\({\\mathcal C}'\\). (b) If \\(F\\) is a functor concentrated on conjugates of a single \\(p\\)-centric subgroup \\(P\\) then \\(\\lim_{{\\mathbf O}_{\\mathcal C}}^iF= H_G^{i-1} (\\Hom_{NP/PCP} \\text{St}_* (NP/PCP); F(P))\\) where \\(\\text{St}_*(W)\\) denotes the Steinberg complex of \\(W\\).    This last result is in a certain sense equivalent to a version of Quillen's conjecture on the contractibility of the nerve of the collection of nontrivial \\(p\\)-subgroups. The author continues with the construction of a spectral sequence \\(E_1^{i,j} \\Rightarrow \\lim_{{\\mathbf O}_{\\mathcal C}}^{i+j}F\\) where the term \\(E_1^{i,j}\\) is explicitly defined by Theorems 1 and 2 applied to ``atomic functors''. The paper ends with applications to group cohomology and other Mackey functors and an application to \\(\\operatorname {mod}p\\) decomposition of \\(BG\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607727$C466C1B9-1C0B-447E-9612-4782A787EFDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7566d91374117e6c865154f26d3eec2d443097f4","datavalue":{"value":"55R35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$1932FDD8-C42E-4D71-A6E9-19FBE42F76E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd769afa46598af86731556d0d1502291ae401d1","datavalue":{"value":"18G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$DEC59D6F-1D66-49BD-80EB-0FC23CB48609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b5f7d4e71b0eb624aa447dbd011853434f65f200","datavalue":{"value":"55R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$270C75B0-2F1A-498A-A3B8-43A806227D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa9d719128900a6c3d3bf2a958dc19cfff7f4536","datavalue":{"value":"20J06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$2F56023D-97C2-4DEF-9E4F-C511D1607BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f14c3c6281d60db8afa7423b0c7ac8fa70cf0494","datavalue":{"value":"55N91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$9CED9387-1567-4D4F-A724-84460B0094A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26aabd0430de870806a146d8ef566096a18f9ee6","datavalue":{"value":"1779739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$0A02BF98-BFFD-45E0-A028-A7F74A351257","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8386692a9ff4b75a2d3659a907782e211d4eb8","datavalue":{"value":"orbit category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607727$4964DF0F-932C-4039-B2C5-0B3E1FD7263F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30322c0f19f2466c6215121864a6126bf9954d24","datavalue":{"value":"Mackey functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607727$B2703A07-8AA2-424B-A509-AA53C73A0143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f7528c8fdffa0734c2a830d98106fb7636b7f5","datavalue":{"value":"Steinberg complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607727$2039AD1E-1763-4658-B65B-4C928C7151E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea688f77f0d571efdd8753166cf50007da53564e","datavalue":{"value":{"entity-type":"item","numeric-id":223432,"id":"Q223432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607727$E86348EC-362B-42E5-BD8A-C4B90497DD14","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":"Q1607727$7FF14811-FE04-45E4-90B3-2D23AF34F09A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55123c275bcb7940b6790e8771587c01ac3beef2","datavalue":{"value":"W1990097232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607727$53ECA3C8-F308-4911-938F-8129E29D9BEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831fd23ba8e7ebf22622f8e18b68f8b5246429a0","datavalue":{"value":{"entity-type":"item","numeric-id":4288274,"id":"Q4288274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2bef3f32efd976e8c9db1096a324e6e8528ea7b","datavalue":{"value":{"amount":"+0.8218591213226318","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":"Q1607727$F93303B2-44D7-4791-99B5-0357B94969E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df90ca945a2f8c292bf69e89211377293f96079f","datavalue":{"value":{"entity-type":"item","numeric-id":3514776,"id":"Q3514776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0edeba0e3ef4f780288ddb95edbc44a24acadd","datavalue":{"value":{"amount":"+0.8122192025184631","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":"Q1607727$627DA1A0-885B-4B4C-9377-35E2E558F971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61363bbe1fd95ce66197c59fec7935d0e15b4a5","datavalue":{"value":{"entity-type":"item","numeric-id":555976,"id":"Q555976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0684727b6d0bd922471a5c9e07471deb82ff75ba","datavalue":{"value":{"amount":"+0.792529284954071","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":"Q1607727$73BC25FC-2C1A-432A-9BDF-12C895AD83BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9092e370ead910e323d2a8c7ea8652e8aef52f93","datavalue":{"value":{"entity-type":"item","numeric-id":2161282,"id":"Q2161282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c281a48d071eee7c457a807bf3a95f51396785f","datavalue":{"value":{"amount":"+0.7837554812431335","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":"Q1607727$18FD47EB-0D34-4998-8C2F-3B26AE9C43D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa88aa10e5e0c14d30a76b2b4f545b42316ec39","datavalue":{"value":{"entity-type":"item","numeric-id":4312075,"id":"Q4312075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2de19aa8fa344b04f6fc30820186021e28e361","datavalue":{"value":{"amount":"+0.7621939778327942","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":"Q1607727$9E7FB61D-7D8A-4670-92AF-27B0C2395BF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher limits via subgroup complexes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_limits_via_subgroup_complexes"}}}}}