Vanishing of l2‐cohomology as a computational problem

DOI10.1112/BLMS/BDU114MaRDI QIDQ5245488zbMATH OpenOpenAlexFDO

Authors Łukasz Grabowski

Publication date 8 April 2015

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

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

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)

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.

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

Cites work

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

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)