{"entities":{"Q1362800":{"pageid":1373539,"ns":120,"title":"Item:Q1362800","lastrevid":67675800,"modified":"2026-04-12T19:17:56Z","type":"item","id":"Q1362800","labels":{"en":{"language":"en","value":"Group cohomology, harmonic functions and the first \\(L^ 2\\)-Betti number"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1045428"}},"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":"Q1362800$A5740B57-F85D-45C8-99CC-F43915843D29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c86a9abc65bc8443ea08083a11c8e86277454d86","datavalue":{"value":{"text":"Group cohomology, harmonic functions and the first \\(L^ 2\\)-Betti number","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362800$6193F15F-0795-450E-AFB4-65853A7D59A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f962af7bb5966e032c855e3154c7a16a8d49584d","datavalue":{"value":"0882.22013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362800$ABAD7066-7605-42D3-8030-DA0D86A54D3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6cddd55227f4bba55735e6e73f26a77157f18ca","datavalue":{"value":"10.1023/A:1017974406074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362800$F461A82B-FB62-4CC0-8925-C2FDFD00B918","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41b06999a661ebd84bcf15c459e4832052100d12","datavalue":{"value":{"entity-type":"item","numeric-id":229907,"id":"Q229907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362800$368F4D90-E617-4914-86D8-0BA9B51C66C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cacc0a4c22fd86543ae4b5380a1e333cbcad8d79","datavalue":{"value":{"entity-type":"item","numeric-id":1050475,"id":"Q1050475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362800$8E4D5AEE-E2EB-4F4D-AE4E-AA3F1FA40BBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d36cf850f6b9d6a3a04665091251ccb46c524367","datavalue":{"value":{"entity-type":"item","numeric-id":185093,"id":"Q185093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362800$004C4713-6686-4697-9D95-1779DD554670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41bd464af959f1d39dcdde9372100cb844fa6305","datavalue":{"value":{"time":"+1998-03-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":"Q1362800$11BDE5CC-B1A6-4342-A9D0-BA35C364C912","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6fdadc0a338474f8bc9fcad5514902f8a4910cf7","datavalue":{"value":"Let \\(S\\) be a finite symmetric generating subset of an infinite, finitely generated group \\(\\Gamma\\) and let \\(X={\\mathcal G}(\\Gamma,S)\\) be the (unoriented) Cayley graph of \\(\\Gamma\\) defined by \\(S\\), namely the graph with vertex set \\(\\Gamma\\) and edge set the set of all pairs \\(\\{x,sx\\}\\) with \\(x\\in\\Gamma\\), \\(s\\in S\\). The set of ends of \\(\\Gamma\\) is the projective limit \\(b(\\Gamma)=\\varprojlim_F\\prod_0(X- F)\\), where \\(F\\) runs over all finite subsets of \\(\\Gamma\\) and \\(\\prod_0(X- F)\\) is the set of all connected components of \\(X-F\\). The graph \\(X\\) becomes an oriented one by selecting a fundamental domain \\(S^+\\) for the action \\(s\\mapsto s^{-1}\\) on \\(S\\), by defining the set \\(E=\\{(x,s^{-1}x)\\mid x\\in\\Gamma\\) and \\(s\\in S^+\\}\\) of the oriented edges of \\(X\\), and by putting \\(e^+= s^{-1}x\\), \\(e^-= x\\) for each oriented edge \\(e= (x,s^{-1}x)\\). Then the coboundary operator \\(d\\) of the space \\({\\mathcal F}(\\Gamma)\\) of all complex-valued functions on \\(\\Gamma\\) into the space \\({\\mathcal F}(E)\\) of all complex-valued functions on \\(E\\) is defined by \\(df(e)=f(e^+)- f(e^-)\\) \\((e\\in E)\\), its formal adjoint \\(d^*\\) of \\({\\mathcal F}(E)\\) into \\({\\mathcal F}(\\Gamma)\\) by \\(d^*\\xi(x)= \\sum_{e:e^+=x}\\xi(e^+)- \\sum_{e:e^-=x}\\xi(e^-)\\) \\((x\\in\\Gamma)\\), and \\(\\Delta=d^*d\\) is the Laplace operator on \\({\\mathcal F}(\\Gamma)\\). The space of harmonic functions with finite Dirichlet sum on \\(\\Gamma\\) is  \\[ HD(X)= \\{f|f\\in{\\mathcal F}(\\Gamma)\\text{ and }df\\in\\ell^2(E)\\text{ and }\\Delta f=0\\} \\]  and \\(HD(X)/\\mathbb{C}\\) is isomorphic to  \\[ H^1EL_2(X)= \\{\\xi|\\xi\\in \\ell^2(E)\\text{ and }d^*\\xi= 0\\text{ and }\\xi\\in d{\\mathcal F}(\\Gamma)\\}, \\]  the first \\(L^2\\)-cohomology space of \\(\\Gamma\\).   The subject of this paper is the study of the first cohomology space \\(H^1(\\Gamma,\\lambda_\\Gamma)\\), with coefficients in the space \\(\\ell^2(\\Gamma)\\) which carries the left regular representation \\(\\lambda_\\Gamma\\) of \\(\\Gamma\\). It is proven that \\(H^1(\\Gamma,\\mathbb{C}\\Gamma)\\) embeds into \\(H^1(\\Gamma,\\lambda_\\Gamma)\\) and that \\(\\Gamma\\) is nonamenable with one end when \\(H^1(\\Gamma,\\lambda_\\Gamma)= 0\\). Moreover, if \\(\\Gamma\\) is nonamenable, the spaces \\(H^1(\\Gamma,\\lambda_\\Gamma)\\) and \\(HD(X)/\\mathbb{C}\\) are isomorphic and this allows the use of graph-theoretical or \\(L^2\\)-cohomological results in order to obtain results on \\(H^1(\\Gamma,\\lambda_\\Gamma)\\) or vice versa.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$6E184570-32E5-455B-95B8-A39FB843DAEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09a52a4178502a9f532d7a47071a7492553ff0d9","datavalue":{"value":"22E41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362800$668EFF57-2C9A-40E2-B434-26D7110F2795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362800$3996FC02-8195-45D2-9631-78D4D479CCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362800$15046988-15F2-4689-B352-65A2342805AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362800$C82643E3-CF7D-42DA-8D7D-E59E8D688C3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57fbbc6d1de10b5a856374b9a4754592758a8d4b","datavalue":{"value":"1045428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362800$7DB69CBA-E8E8-437B-B98A-B90A2C86011F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"779ee3926987ddf2ed93a8552ca522b58e7d4c90","datavalue":{"value":"infinite, finitely generated group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$4EE8AB26-15AB-4753-A5DD-044A25180802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f046045effe4d96bd7d28b79a6e3ca55890681","datavalue":{"value":"Cayley graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$A7E89F8E-2BF9-4170-BE0B-26DC00585926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2808a428743bf846cc773b7ae195fedfeec46c9c","datavalue":{"value":"set of ends","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$D7CA41E3-AE69-471C-A803-0C7A26C10916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83112f8755f62963a53c42cd08e1402f3be78ea0","datavalue":{"value":"coboundary operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$DB3E378A-1319-4639-A8D3-62EE8E464F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21764aef5454c529a47fbf9f92e58397c9745a32","datavalue":{"value":"Laplace operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$749BE5DE-416E-4051-AC82-0399EF2F2886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93193c718ef537b5cf451513c0ce5edb2ecb94bc","datavalue":{"value":"harmonic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$2007AE0D-C53B-4FBF-9E1F-AF4A7DDB010D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70190b1dc556d4c24183ab9d5fa2170179a81973","datavalue":{"value":"\\(L^ 2\\)-cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$82F1E5DB-69A5-4D62-8998-7AC49932F1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d033373a6f7ac2cefc2d32136507f0177d5e9c","datavalue":{"value":"cohomology space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362800$343829CC-8046-4D71-92D9-BF94A4DDD356","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":"Q1362800$5BB7F9D2-12A0-4044-A9EE-E0EA834616AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35deaf608cae3bb51cf812bbf810a8c0b0551941","datavalue":{"value":"https://doi.org/10.1023/a:1017974406074","type":"string"},"datatype":"url"},"type":"statement","id":"Q1362800$15F0ECEC-CD17-415F-A147-8B1E91AFC511","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"889f269cc7c9a63d0615b30807e8c764c7663501","datavalue":{"value":"W2182052754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362800$A1898551-35BE-45B1-B922-13790AF25F3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee4a9a8f9aa53016288f2c6831ed0d0321a3189","datavalue":{"value":{"entity-type":"item","numeric-id":1307389,"id":"Q1307389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc4706b60e409d7690b4cffdaac840fefa5f087","datavalue":{"value":{"amount":"+0.8397515416145325","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":"Q1362800$D57C8090-9040-4251-B8EB-55D97078C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77095547f2c033caa00d378a64d8f302b23b957","datavalue":{"value":{"entity-type":"item","numeric-id":2499242,"id":"Q2499242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de65271e4be9bf9e2292adf5d78e451ee9b7e73","datavalue":{"value":{"amount":"+0.8017914295196533","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":"Q1362800$1E12DDE5-559E-4863-A203-B6464F1C0819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510fdceaa063a9bfb7b2080deb9f40eca56fa689","datavalue":{"value":{"entity-type":"item","numeric-id":4274124,"id":"Q4274124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab639312c055115297a2a2858021393ed8f049f1","datavalue":{"value":{"amount":"+0.777000904083252","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":"Q1362800$67CF3F98-6E28-4675-AE68-09679F6CE91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b1938212d40c5be2bebdbbd016fe8c497b61dc","datavalue":{"value":{"entity-type":"item","numeric-id":486370,"id":"Q486370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3696c34d6fbe3e26bc397b202410683d2d6eb7","datavalue":{"value":{"amount":"+0.7751861810684204","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":"Q1362800$3B05AEF1-9D18-420A-A360-7F84B014D277","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Group cohomology, harmonic functions and the first \\(L^ 2\\)-Betti number","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Group_cohomology,_harmonic_functions_and_the_first_%5C(L%5E_2%5C)-Betti_number"}}}}}