Vanishing of l2‐cohomology as a computational problem

DOI10.1112/BLMS/BDU114zbMATH Open1433.57010arXiv1202.1162OpenAlexW3098930835MaRDI QIDQ5245488FDOQ5245488

Authors: Łukasz Grabowski 

Publication date: 8 April 2015

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Abstract: We show that it is impossible to algorithmically decide if the l^2-cohomology of the universal cover of a finite CW complex is trivial, even if we only consider complexes whose fundamental group is equal to the elementary amenable group (Z_2 wr Z)^3. A corollary of the proof is that there is no algorithm which decides if an element of the integral group ring of the group (�_2 wr Z)^4 is a zero-divisor. On the other hand, we show, assuming some standard conjectures, that such an algorithm exists for the integral group ring of any group with a decidable word problem and a bound on the sizes of finite subgroups.

Full work available at URL: https://arxiv.org/abs/1202.1162

Recommendations

• Cohomology vanishing and a problem in approximation theory
• Vanishing theorems for L2 -cohomology groups
• scientific article; zbMATH DE number 1366179
• A VANISHING THEOREM FOR L²COHOMOLOGY ON COMPLETE MANIFOLDS
• The Atiyah conjecture and \(L^2\)-cohomology computations
• On the computation of the Lichnerowicz--Jacobi cohomology.
• Vanishing theorems of \(L^2\)-cohomology groups on Hessian manifolds
• Vanishing of one-dimensional \(L^2\)-cohomologies of loop groups
• scientific article; zbMATH DE number 3880945
• Cohomology vanishing in Hilbert spaces

zbMATH Keywords

universal coveralgorithmic decidabilityfinite CW-complex\(l^2\)-cohomology

Mathematics Subject Classification ID

General topology of complexes (57Q05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cites Work

• Title not available (Why is that?)
• Endomorphisms of symbolic algebraic varieties
• Title not available (Why is that?)
• On a question of Atiyah
• \(L_ 2\)-cohomology and group cohomology
• Approximating \(L^ 2\)-invariants by their finite-dimensional analogues
• \(\ell^2\) invariants of equivalence relations and groups
• Hyperlinearity, essentially free actions and \(L^2\)-invariants. The sofic property
• Rational group ring elements with kernels having irrational dimension.
• Sofic groups and diophantine approximation
• Hyperlinear and Sofic Groups: A Brief Guide
• Introduction to \(\ell_2\)-methods in topology: Reduced \(\ell_2\)-homology, harmonic chains, \(\ell_2\)-Betti numbers
• \(L^ 2\)-topological invariants of 3-manifolds
• Closed manifolds with transcendental \(L^2\)-Betti numbers.
• Division Rings and Group von Neumann Algebras
• A Finitely Presented Metabelian Group with a Free Abelian Derived Group of Infinite Rank
• Free lamplighter groups and a question of Atiyah
• On Turing dynamical systems and the Atiyah problem
• The strong approximation conjecture holds for amenable groups
• Irrational \(l^2\) invariants arising from the lamplighter group
• A short proof of the approximation conjecture for amenable groups
• Can you compute the operator norm?

Cited In (3)

• On computational Poisson geometry. I: Symbolic foundations
• L 2 -Betti numbers and computability of reals
• Bounded cohomology of finitely presented groups: vanishing, non-vanishing, and computability

This page was built for publication: Vanishing of l²‐cohomology as a computational problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5245488)