{"title":"A note on relative Gelfand–Fuks cohomology of spheres","authors":"Nils Prigge","doi":"10.1112/blms.70357","DOIUrl":"https://doi.org/10.1112/blms.70357","url":null,"abstract":"<p>We study the Gelfand–Fuks cohomology of smooth vector fields on <span></span><math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>S</mi>\u0000 <mi>d</mi>\u0000 </msup>\u0000 <annotation>$mathbb {S}^d$</annotation>\u0000 </semantics></math> relative to <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>SO</mi>\u0000 <mo>(</mo>\u0000 <mi>d</mi>\u0000 <mo>+</mo>\u0000 <mn>1</mn>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$mathrm{SO}(d+1)$</annotation>\u0000 </semantics></math> following a method of Haefliger that uses tools from rational homotopy theory. In particular, we show that <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msup>\u0000 <mi>H</mi>\u0000 <mo>∗</mo>\u0000 </msup>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>B</mi>\u0000 <mi>SO</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mn>4</mn>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>;</mo>\u0000 <mi>R</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$H^*(mathrm{B}mathrm{SO}(4);mathbb {R})$</annotation>\u0000 </semantics></math> injects into the relative Gelfand–Fuks cohomology which corrects a claim by Haefliger. Moreover, for <span></span><math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>S</mi>\u0000 <mn>3</mn>\u0000 </msup>\u0000 <annotation>$mathbb {S}^3$</annotation>\u0000 </semantics></math> the relative Gelfand–Fuks cohomology agrees with the smooth cohomology of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msup>\u0000 <mi>Diff</mi>\u0000 <mo>+</mo>\u0000 </msup>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msup>\u0000 <mi>S</mi>\u0000 <mn>3</mn>\u0000 </msup>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$mathrm{Diff}^+(mathbb {S}^3)$</annotation>\u0000 </semantics></math> and we provide a computation in low degrees.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 5","pages":""},"PeriodicalIF":0.9,"publicationDate":"2026-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70357","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147715219","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Graph morphisms as groupoid actors","authors":"Gilles G. de Castro, Ralf Meyer","doi":"10.1112/blms.70339","DOIUrl":"https://doi.org/10.1112/blms.70339","url":null,"abstract":"<p>We describe proper actors from the underlying groupoid of a graph <span></span><math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>C</mi>\u0000 <mo>∗</mo>\u0000 </msup>\u0000 <annotation>$textup C^*$</annotation>\u0000 </semantics></math>-algebra to another étale groupoid in terms of bisections. This allows to understand graph morphisms and the *-homomorphisms that they induce more conceptually. More generally, we describe actors from the groupoid model of a groupoid correspondence to any étale groupoid. This also covers the groupoids associated to self-similar groups and self-similar graphs, among others.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9,"publicationDate":"2026-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147666211","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Certifying Anosov representations","authors":"J. Maxwell Riestenberg","doi":"10.1112/blms.70342","DOIUrl":"https://doi.org/10.1112/blms.70342","url":null,"abstract":"<p>By providing new finite criteria which certify that a finitely generated subgroup of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>SL</mo>\u0000 <mo>(</mo>\u0000 <mi>d</mi>\u0000 <mo>,</mo>\u0000 <mrow>\u0000 <mo>R</mo>\u0000 </mrow>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$operatorname{SL}(d,operatorname{mathbb {R}})$</annotation>\u0000 </semantics></math> or <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>SL</mo>\u0000 <mo>(</mo>\u0000 <mi>d</mi>\u0000 <mo>,</mo>\u0000 <mi>C</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$operatorname{SL}(d,mathbb {C})$</annotation>\u0000 </semantics></math> is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. We demonstrate on a surface group of genus 2 in <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>SL</mi>\u0000 <mo>(</mo>\u0000 <mn>3</mn>\u0000 <mo>,</mo>\u0000 <mi>R</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$mathrm{SL}(3,mathbb {R})$</annotation>\u0000 </semantics></math> by verifying the criteria for all words of length 8. The previous version required checking all words of length 2 million.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9,"publicationDate":"2026-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70342","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147666292","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Sami Douba, Gye-Seon Lee, Ludovic Marquis, Lorenzo Ruffoni
{"title":"Convex cocompact groups in real hyperbolic spaces with limit set a Pontryagin sphere","authors":"Sami Douba, Gye-Seon Lee, Ludovic Marquis, Lorenzo Ruffoni","doi":"10.1112/blms.70319","DOIUrl":"https://doi.org/10.1112/blms.70319","url":null,"abstract":"<p>We exhibit two examples of convex cocompact subgroups of the isometry groups of real hyperbolic spaces with limit set a Pontryagin sphere: one generated by 50 reflections of <span></span><math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>H</mi>\u0000 <mn>4</mn>\u0000 </msup>\u0000 <annotation>$mathbb {H}^4$</annotation>\u0000 </semantics></math>, and the other by a rotation of order 21 and a reflection of <span></span><math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>H</mi>\u0000 <mn>6</mn>\u0000 </msup>\u0000 <annotation>$mathbb {H}^6$</annotation>\u0000 </semantics></math>. For each of them, we also locate convex cocompact subgroups with limit set a Menger curve.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9,"publicationDate":"2026-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147666263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Non-amenability of mapping class groups of infinite-type surfaces and graphs","authors":"Yusen Long","doi":"10.1112/blms.70345","DOIUrl":"https://doi.org/10.1112/blms.70345","url":null,"abstract":"<p>This paper completely determines the non-amenability of the mapping class groups of infinite-type surfaces, the mapping class groups of locally finite infinite graphs of higher ranks, gives an example of non-amenable stabiliser of a point at infinity of a coarsely bounded generated hyperbolic Polish group, and exhibits a class of mapping class groups of trees or rank-one graphs that are amenable.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9,"publicationDate":"2026-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147666262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On virtual chirality of 3-manifolds","authors":"Hongbin Sun, Zhongzi Wang","doi":"10.1112/blms.70341","DOIUrl":"https://doi.org/10.1112/blms.70341","url":null,"abstract":"<p>We prove that if a prime 3-manifold <span></span><math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$M$</annotation>\u0000 </semantics></math> is not finitely covered by the 3-sphere or a product manifold, then <span></span><math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$M$</annotation>\u0000 </semantics></math> is virtually chiral, that is, it has a finite cover that does not admit an orientation-reversing self-homeomorphism. In general, if a 3-manifold contains a virtually chiral prime summand, then it is virtually chiral.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9,"publicationDate":"2026-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70341","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147666264","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A remark on inverse limits of effective subshifts","authors":"Sebastián Barbieri, Leo Poirier","doi":"10.1112/blms.70277","DOIUrl":"https://doi.org/10.1112/blms.70277","url":null,"abstract":"<p>We show that, for every finitely generated group with decidable word problem and undecidable domino problem, there exists a sequence of effective subshifts, whose inverse limit is not the topological factor of any effective dynamical system. This follows from considerations on the universality under topological factors for this class of dynamical systems.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9,"publicationDate":"2026-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147637175","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A classification of Prüfer domains of integer-valued polynomials on algebras","authors":"Giulio Peruginelli, Nicholas J. Werner","doi":"10.1112/blms.70346","DOIUrl":"https://doi.org/10.1112/blms.70346","url":null,"abstract":"<p>Let <span></span><math>\u0000 <semantics>\u0000 <mi>D</mi>\u0000 <annotation>$D$</annotation>\u0000 </semantics></math> be an integrally closed domain with quotient field <span></span><math>\u0000 <semantics>\u0000 <mi>K</mi>\u0000 <annotation>$K$</annotation>\u0000 </semantics></math> and <span></span><math>\u0000 <semantics>\u0000 <mi>A</mi>\u0000 <annotation>$A$</annotation>\u0000 </semantics></math> a torsion-free <span></span><math>\u0000 <semantics>\u0000 <mi>D</mi>\u0000 <annotation>$D$</annotation>\u0000 </semantics></math>-algebra that is finitely generated as a <span></span><math>\u0000 <semantics>\u0000 <mi>D</mi>\u0000 <annotation>$D$</annotation>\u0000 </semantics></math>-module and such that <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>A</mi>\u0000 <mo>∩</mo>\u0000 <mi>K</mi>\u0000 <mo>=</mo>\u0000 <mi>D</mi>\u0000 </mrow>\u0000 <annotation>$Acap K=D$</annotation>\u0000 </semantics></math>. We give a complete classification of those <span></span><math>\u0000 <semantics>\u0000 <mi>D</mi>\u0000 <annotation>$D$</annotation>\u0000 </semantics></math> and <span></span><math>\u0000 <semantics>\u0000 <mi>A</mi>\u0000 <annotation>$A$</annotation>\u0000 </semantics></math> for which the ring <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>I</mi>\u0000 <mi>n</mi>\u0000 <msub>\u0000 <mi>t</mi>\u0000 <mi>K</mi>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>A</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>=</mo>\u0000 <mrow>\u0000 <mo>{</mo>\u0000 <mi>f</mi>\u0000 <mo>∈</mo>\u0000 <mi>K</mi>\u0000 <mrow>\u0000 <mo>[</mo>\u0000 <mi>X</mi>\u0000 <mo>]</mo>\u0000 </mrow>\u0000 <mo>∣</mo>\u0000 <mi>f</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>A</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>⊆</mo>\u0000 <mi>A</mi>\u0000 <mo>}</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$textnormal {Int}_K(A)=lbrace fin K[X] mid f(A)subseteq Arbrace$</annotation>\u0000 </semantic","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9,"publicationDate":"2026-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70346","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147569059","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}