{"entities":{"Q1808855":{"pageid":1819597,"ns":120,"title":"Item:Q1808855","lastrevid":57570471,"modified":"2026-03-31T10:55:05Z","type":"item","id":"Q1808855","labels":{"en":{"language":"en","value":"Weighted cohomology of arithmetic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369926"}},"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":"Q1808855$EB5E9586-3850-4178-BFEE-B1404E7D39D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3be977e39b9869f8d44b37a2e88ff242bd0e09a9","datavalue":{"value":{"text":"Weighted cohomology of arithmetic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1808855$7805D5F5-1E26-4572-9CF7-915CF085FFF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1acd639e5184744891764a7d7c2e00093dd16392","datavalue":{"value":"1012.11046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808855$CC229ED4-E706-49DA-AF4A-1E68B56D1E2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c3f148ff62ac95bf2bc9bdd438ae65d624e123","datavalue":{"value":"10.2307/121096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808855$4453A555-6BFA-486D-8C23-9CFBC572B923","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":"Q1808855$37374D80-B71C-4109-B204-23C549D09FB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a8ef751728b2b17bbcf17280282a4718c22627","datavalue":{"value":{"time":"+2001-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1808855$DB9E4B9D-BF53-4A92-9030-BE33527B6B4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8089496cfbcfa2ef80a476d6ebfc6b8e0e65bb61","datavalue":{"value":"https://arxiv.org/abs/math/9907207","type":"string"},"datatype":"url"},"type":"statement","id":"Q1808855$6F5FEA07-2A5B-4FCD-A4BE-F82E6E65D0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"efa72b4482239ef32252f836abdea1b415d7fd85","datavalue":{"value":"https://eudml.org/doc/122642","type":"string"},"datatype":"url"},"type":"statement","id":"Q1808855$9A95CBA1-CD1D-477B-93B4-F0EEAABFD7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e9abc7a86fe8e641d813d090efdc6fa0ba71eba","datavalue":{"value":"http://www.math.princeton.edu/~annals/issues/1999/150_1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1808855$BD6578A5-1AAA-4D77-8BF1-FB0CDB290F2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ffd27625d3e10dadd61d48144c529153f9fcc37a","datavalue":{"value":"Let \\(\\mathbb{G}\\) be a semisimple algebraic group defined over the rational numbers, \\(K\\) a maximal compact subgroup of \\(G=\\mathbb{G}(\\mathbb{R})\\), and \\(\\Gamma\\subset \\mathbb{G}(\\mathbb{Q})\\) a neat arithmetic subgroup. Let \\(X =\\Gamma\\setminus G/K\\) be the locally symmetric space associated to \\(\\Gamma\\), and \\(\\mathbb{E}\\) the local system on \\(X\\) constructed out of a finite-dimensional, irreducible, algebraic representation \\(E\\) of \\(\\mathbb{G}\\).    Weighted cohomology is an invariant of \\(\\Gamma\\) introduced by \\textit{M. Goresky, G. Harder}, and \\textit{R. MacPherson} [Invent. Math. 116, 139-213 (1994; Zbl 0849.11047)] in the study of the trace of Hecke operators in the cohomology of \\(\\Gamma\\). For each \\(p\\in X^*(A)\\otimes\\mathbb{Q}\\) there are weight profiles \\(\\overline{p}\\) and \\(\\underline{p}\\) and groups \\(W^{\\overline{p}}H^i(\\Gamma,E)\\) and \\(W^{\\underline{p}} H^i(\\Gamma,E)\\).   Let the space \\(X\\) be a Riemannian manifold, a complete metric coming from an invariant metric on \\(G/K\\). There is a natural choice of inner product on \\(E\\) metrizing \\(\\mathbb{E}\\). For each \\(\\lambda\\in{\\mathfrak A}^*= X^*(A)\\otimes\\mathbb{R}\\), \\textit{J. Franke} [Ann. Sci. \u00c9c. Norm. Sup\u00e9r. (4) 31, 181-279 (1998; Zbl 0938.11026)] has defined weighted \\(L^2\\) cohomology groups via complexes of forms on \\(X\\) satisfying certain square-integrability conditions given by \\(\\lambda\\). For very positive \\(\\lambda\\) these give the full cohomology \\(H^i(X,\\mathbb{E})\\) and for very negative \\(\\lambda\\) they give \\(H^i_c(X,\\mathbb{E})\\). The definition of these groups involves a little reduction theory.   The main theorem is that these two cohomology theories are the same:   Theorem A. Let \\(\\lambda = -p -\\rho_0\\). There are natural isomorphisms  \\[ \\begin{aligned} & W^{\\overline{p}}H^i(\\Gamma,E)\\simeq H^i_{\\lambda-\\log}(X,\\mathbb{E}),\\\\ & W^{\\underline{p}}H^i(\\Gamma,E)\\simeq H^i_{\\lambda+\\log}(X,\\mathbb{E}).\\end{aligned} \\]  The two assertions are equivalent by duality.   Consider the space \\(S_{\\lambda-\\log}(\\Gamma\\setminus G)\\) (resp. \\(S_{\\lambda+\\log}(\\Gamma\\setminus G))\\) of smooth complex-valued functions \\(f\\) on \\(\\Gamma\\setminus G\\) such that, for all \\(j\\geq 0\\) (resp. some \\(j\\leq 0\\)),  \\[ w_\\lambda\\log (w_\\varepsilon)^j R_Df\\text{ is square-integrable} \\]  for every operator \\(D\\) in the universal enveloping algebra of \\({\\mathfrak G} =\\text{Lie}(G)\\). They are \\(({\\mathfrak G},K)\\)-modules. A theorem of Franke computes \\(H^i_{\\lambda\\pm\\log}(X,\\mathbb{E})\\) in terms of \\(S_{\\lambda\\pm\\log}(\\Gamma\\setminus G)\\), and so Theorem A is equivalent to:   Corollary A. Let \\(\\lambda = -p -\\rho_0\\). There are natural isomorphisms  \\[ \\begin{aligned} & W^{\\overline{p}}H^i(\\Gamma,E)\\simeq H^i_{{\\mathfrak G},K} (S_{\\lambda-\\log}(\\Gamma\\setminus G)\\otimes E),\\\\ & W^{\\underline{p}}H^i(\\Gamma,E)\\simeq H^i_{{\\mathfrak G},K} (S_{\\lambda+\\log}(\\Gamma\\setminus G)\\otimes E).\\end{aligned} \\]  There are two special profiles, upper middle \\(\\mu = \\overline{-\\rho_0}\\) and lower middle \\(\\nu= \\underline{-\\rho_0}\\). They are dual to each other. Theorem A says that \\(W^\\mu H^i(\\Gamma,E)\\simeq H^i_{(2)-\\log}(X,\\mathbb{E})\\) and \\(W^\\nu H^i(\\Gamma,E)\\simeq H^i_{(2)+\\log}(X, \\mathbb{E}).\\) The relation of \\(H^i_{(2)\\pm\\log}(X,\\mathbb{E})\\) to the usual \\(L^2\\) cohomology is given by:   Theorem B. If the ranks of \\(G\\) and \\(K\\) are equal then  \\[ H^i_{(2)-\\log}(X,\\mathbb{E})\\simeq H^i_{(2)}(X, \\mathbb{E})\\simeq H^i_{(2)+\\log}(X,\\mathbb{E}). \\]  In fact this holds under a slightly more general condition from \\textit{A. Borel} and \\textit{W. Casselman} [Duke Math. J. 50, 625-647 (1983; Zbl 0528.22012)]. Theorems A and B imply:   Corollary B. If the ranks of \\(G\\) and \\(K\\) are equal then  \\[ W^\\mu H^i(\\Gamma,E)\\simeq H^i_{(2)}(X,\\mathbb{E})\\simeq W^\\nu H^i(\\Gamma,E). \\]  This corollary is related to Zucker's conjecture (a theorem thanks to Looijenga and Saper-Stern). Suppose that \\(X\\) is Hermitian and \\(\\widehat{X}\\) is its Baily-Borel Satake compactification; \\(\\widehat{X}\\) is a complex projective variety. A theorem of Goresky-Harder-MacPherson says that \\(W^\\mu H^i(\\Gamma,E)\\) and \\(W^\\nu H^i(\\Gamma,E)\\) are isomorphic to the intersection cohomology \\(IH^i(\\widehat{X},\\mathbb{E})\\). The corollary then implies Zucker's conjecture.    The proof of Theorem A has three steps. The first step is the equivalence with Corollary A (due to Franke) and is dealt with in Section 1. The second step is to show that there is an inclusion \\({\\mathbf W}^{\\overline{p}}{\\mathbf C}^\\bullet(\\mathbb{E})\\hookrightarrow{\\mathbf S}^\\bullet_{\\lambda-\\log}(\\mathbb{E})\\) for \\(\\lambda =-p -\\rho_0\\). The final step is to show that this inclusion is a quasi-isomorphism via a local calculation on \\(\\overline{X}\\). There are two key points here: Proposition 3.2 (reduction to the space of \\(N_P\\)-invariants of \\({\\mathbf S}^\\bullet_{\\lambda-\\log}(\\mathbb{E})\\) over neighbourhoods of boundary points, (a version of) an idea that goes back to van Est) and Lemma 3.5 (where the logarithmic terms in (*) become essential). In Section 0, for the reader's convenience, the proof of Theorem A is sketched in the simplest possible case, namely when \\(\\mathbb{G}= \\text{SL}(2)\\) and \\(E\\) is trivial.   The proof of Theorem B, which is global and independent of the previous sections, is in Section 4 and uses results of Franke and Borel-Casselman [loc. cit.] and standard Lie algebra cohomology arguments. The final section (\\S 5) contains applications and several comments on relations to other work and on generalizations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808855$5E6791CD-2FBA-4063-9509-2413B9DA58D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3629f9b58c1c86062c61ff85f3263e580bc52bf7","datavalue":{"value":{"entity-type":"item","numeric-id":586708,"id":"Q586708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808855$3E704B72-F647-4E4B-86AD-FD6B9930F4B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cab0ae1ba2cbc658044f1b14af5196c5492e2ad1","datavalue":{"value":"11F75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808855$D3792342-8E61-427F-9575-B9A55ED22B90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03dbb83c5e6f8a843948ef0181589c0ba348b9ed","datavalue":{"value":"1369926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808855$E19A89D0-3C38-4E86-BF24-C78966BD25CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1715a2573b18b84c6167a6af890bad8de47a43fe","datavalue":{"value":{"entity-type":"item","numeric-id":512820,"id":"Q512820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808855$E1308217-0875-4F0C-AAAF-F7B0B4E6FA08","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":"Q1808855$97A7B1D7-9702-4553-A344-CF56CCD4864A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4c13b62ebf25562d2184abaa8b3f3ef5d5ad045","datavalue":{"value":"W2047454787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808855$160DCBF7-FB23-4F60-8C06-E19F87781E8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46670daad5cdd773178b300af6418e413dd228a6","datavalue":{"value":{"entity-type":"item","numeric-id":1320047,"id":"Q1320047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6522129ec9ed781d955e8fde9f8e2c713b1a9dd7","datavalue":{"value":{"amount":"+0.8961921334266663","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":"Q1808855$DB39ED2A-3DE4-4339-A6A7-410F6080D8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20fb440848d40102a239f0072eac4acf8e86cc86","datavalue":{"value":{"entity-type":"item","numeric-id":4386350,"id":"Q4386350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ec81b9b2cdf14d6124d337a42e3a61044a6df5","datavalue":{"value":{"amount":"+0.8130965232849121","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":"Q1808855$49420D1F-937F-431B-A183-88DB31CE3DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1bdb3cd9d73fa65f199a82bf49a412ffd5ea0d","datavalue":{"value":{"entity-type":"item","numeric-id":4011176,"id":"Q4011176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35805af7e49c72a47b89670cf4460cec8bfb51d5","datavalue":{"value":{"amount":"+0.7938277721405029","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":"Q1808855$1239BE79-51DE-4F45-98C5-E4D3A2F34B93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1808855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1808855"}}}}}