{"entities":{"Q906180":{"pageid":908028,"ns":120,"title":"Item:Q906180","lastrevid":65278821,"modified":"2026-04-12T01:30:31Z","type":"item","id":"Q906180","labels":{"en":{"language":"en","value":"The stable homology of congruence subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6533811"}},"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":"Q906180$E6D61ED1-A659-48A7-9275-A0630DAFFA3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d22e87337ba2843bcf1e72e9d07c05a05f82ace8","datavalue":{"value":{"text":"The stable homology of congruence subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q906180$0B9AFC58-1D10-4D83-9694-812E9EA736B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dc5a6a7800f4a1946045b54aa4bcb5c407c6f22","datavalue":{"value":"1336.11045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906180$FD18612B-33AF-4A1A-AC90-C587DEB37164","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0111f578a7b2025c330f3d0f462d9abb4fc40970","datavalue":{"value":{"entity-type":"item","numeric-id":261416,"id":"Q261416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906180$8BF1AE93-E342-4875-AB92-BFC61F0BED1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f8eee6ee8695bbd9c06eea333500679f2ce6509","datavalue":{"value":{"entity-type":"item","numeric-id":258878,"id":"Q258878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906180$7F9C27B0-1981-4E61-AC2B-A4EAF2A27606","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6937e10c11873e4101540e0d8cbdc70be054cd81","datavalue":{"value":{"time":"+2016-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q906180$ACE7D8EF-FE5E-43B9-9C8F-5C8C20406382","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"455a2ab1b0ea28283941673d4a4d324726e844b5","datavalue":{"value":"https://arxiv.org/abs/1311.5190","type":"string"},"datatype":"url"},"type":"statement","id":"Q906180$67473FB8-55F9-44A8-AA1C-60E4DE826F49","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7d6eb738c009877dd58f0708d04a3f4e8ec7405","datavalue":{"value":"The paper under review is one in a permanently growing list of papers by the author and several coauthors. The general framework of his approach towards stable (co-)homology is motivated and documented in [Lond. Math. Soc. Lect. Note Ser. 393, 239--257 (2012; Zbl 1288.11056)] by the author and \\textit{M. Emerton}.  To get a specific impression of the results, let \\(p\\) be a prime number and \\(\\Gamma_N(p^r)\\leq \\text{SL}_N({\\mathbb Z})\\) the principal congruence subgroup of level \\(p^r\\). Then define the completed homology as  \\[ \\widetilde H_*(\\text{SL}_N, {\\mathbb Z}_p) := {\\lim} H_*(\\Gamma_N(p^r),{\\mathbb Z}_p) \\]  and analogously  \\[ \\widetilde H^*(\\text{SL}_N, {\\mathbb Z}_p) := \\text{colim} H^*(\\Gamma_N(p^r),{\\mathbb Z}_p). \\]  Here the (co-)limits are taken over \\(r\\in {\\mathbb N}.\\)  Now we can take the limit of these groups over \\(N\\) for every fixed degree and define, e.g.,  \\[ \\widetilde H_d(\\text{SL} , {\\mathbb Z}_p) = \\lim_{N\\to \\infty} \\widetilde H_d(\\text{SL}_N, {\\mathbb Z}_p). \\]  Using a lot of machinery from homotopy theory and \\(K\\)-theory, the author proves several general results and deduces in particular that for \\(p\\neq 2\\) we have \\(\\widetilde H_2(\\text{SL}, {\\mathbb Z}_p) \\simeq {\\mathbb Z}_p.\\) There are more technical assumptions in place for dealing with other number fields. The author stresses relations to \\(K\\)-theory and to Leopoldt's conjecture and uses his results to calculate cohomology of congruence subgroups. For instance, if \\(p\\neq 2\\) and \\(N\\) is large enough, \\(H^2(\\Gamma_N(p), {\\mathbb F}_p) = \\bigwedge^2 M \\oplus {\\mathbb F}_p,\\) where \\(M = H^1(\\Gamma_N(p),{\\mathbb F}_p)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q906180$A33A98DD-D7C7-4CE6-B4FB-7D8F9769AB90","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9ea573ba5d52de46ce22b29fc764eb0adf11e61c","datavalue":{"value":{"entity-type":"item","numeric-id":587204,"id":"Q587204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906180$11AA44B0-A093-4438-A42A-80BE4D31A7F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cab0ae1ba2cbc658044f1b14af5196c5492e2ad1","datavalue":{"value":"11F75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906180$75705119-6160-4F3E-9242-97306D63C537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f966160f56b2bc5c16009b20fb6ca074b6abf9e1","datavalue":{"value":"19F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906180$8DE31747-2545-4F86-B61D-9111EF69DA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0d42ca98bb26b3a05c94c33b4dbecdc66da95c4","datavalue":{"value":"11F80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906180$02913009-C9A4-4D20-931F-F9DA2AAD040B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bbfa76aa2f0a197c81429bee063a5a28727a851","datavalue":{"value":"6533811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906180$3CF185F8-814B-4611-9E09-A21DC444996D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c11f16259e968fdcc7c6a1e64f617fd18573ac4f","datavalue":{"value":"arithmetic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q906180$D0A8B8D9-3F0A-4F1B-80F2-607075550F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a1554e2d9e924abfef2185919c9890f18212d4","datavalue":{"value":"stable homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q906180$143F9D73-B485-473B-9A10-C15B4F815A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709b01de6e969b516cb60f2bdd6e5a931344f181","datavalue":{"value":"completed homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q906180$340F4BB0-252F-49C2-AAAB-CB4B3D9E8B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"464b0cbcbaef43937e7429191c070cd47de0c06c","datavalue":{"value":"K-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q906180$724EDBEF-FA78-4C54-A559-F3213B028A5F","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":"Q906180$161B10A5-3BC0-412C-9D82-31B2179EE0BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e50144b2879c674fbfbd291339c69365901b2a0","datavalue":{"value":"W2963808976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906180$93D895BA-145C-4D8C-B8ED-82621380BC3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"589abc759f099d20d42d12ad10aa6d036dd9debd","datavalue":{"value":"10.2140/GT.2015.19.3149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906180$D44104A1-5CBE-40FB-AACF-0D8753C04237","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a643a6aee9a5de19923155b3beb623f18e089","datavalue":{"value":{"entity-type":"item","numeric-id":5893763,"id":"Q5893763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739e38b1c52f81113214ec7f29a9876fd0d9b2e4","datavalue":{"value":{"amount":"+0.8321226239204407","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":"Q906180$683C1129-3DC0-426B-AD82-8196D6E1E83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b20e448bd6370b198bd99cf2d63bda5eb46c4a2","datavalue":{"value":{"entity-type":"item","numeric-id":261417,"id":"Q261417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8712a8350e489cb6bda011211c76c7a1a5af08","datavalue":{"value":{"amount":"+0.771964967250824","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":"Q906180$8ED3EE25-8772-4460-B689-880E4CC0BAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7cff24b3245f63692a12e329f65b6891f6ef38","datavalue":{"value":{"entity-type":"item","numeric-id":2933722,"id":"Q2933722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7155378f346d39689a61571632d926a45d6b5e","datavalue":{"value":{"amount":"+0.7595579624176025","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":"Q906180$8EC60D7B-2A2D-4635-B348-CF519F957E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b5ba91ed485025a4d4db0dbf414679cd7adc8e","datavalue":{"value":{"entity-type":"item","numeric-id":5222163,"id":"Q5222163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe1255146e6ead70cb2b4e06b69b7c5a024e7ae","datavalue":{"value":{"amount":"+0.7547884583473206","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":"Q906180$6ED24218-30BD-436E-ACA4-19E2307747A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b011055b1bc227f79c25fc7f98d51c98fec457","datavalue":{"value":{"entity-type":"item","numeric-id":896255,"id":"Q896255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ba4598afe917863098ff99f846fd8f77bce096","datavalue":{"value":{"amount":"+0.747654139995575","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":"Q906180$BE4BA4D7-0FAB-4F5C-9F5C-A1CB2BB0CAD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The stable homology of congruence subgroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_stable_homology_of_congruence_subgroups"}}}}}