On Turing dynamical systems and the Atiyah problem

DOI10.1007/S00222-013-0497-5zbMATH Open1354.20026arXiv1004.2030OpenAlexW2159039200MaRDI QIDQ464825FDOQ464825

Authors: Łukasz Grabowski 

Publication date: 30 October 2014

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Abstract: Main theorems of the article concern the problem of M. Atiyah on possible values of l^2-Betti numbers. It is shown that all non-negative real numbers are l^2-Betti numbers, and that "many" (for example all non-negative algebraic) real numbers are l^2-Betti numbers of simply connected manifolds with respect to a free cocompact action. Also an explicit example is constructed which leads to a simply connected manifold with a transcendental l^2-Betti number with respect to an action of the threefold direct product of the lamplighter group Z/2 wr Z. The main new idea is embedding Turing machines into integral group rings. The main tool developed generalizes known techniques of spectral computations for certain random walk operators to arbitrary operators in groupoid rings of discrete measured groupoids.

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

Recommendations

• On Turing machines, groupoids, and Atiyah problem
• Logical Approaches to Computational Barriers
• scientific article; zbMATH DE number 3559552
• On topological dynamics of Turing machines
• Computability and dynamical systems
• Turing instabilities in general systems
• New Computational Paradigms
• On tame dynamical systems
• Computability, noncomputability, and hyperbolic systems
• Computability in planar dynamical systems

zbMATH Keywords

integral group ringslamplighter groupTuring machines\(l^2\)-Betti numbers

Mathematics Subject Classification ID

Geometric group theory (20F65) Ergodic theorems, spectral theory, Markov operators (37A30) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Percolation beyond \(\mathbb{Z}^ d\), many questions and a few answers
• Subgroups of finitely presented groups
• The lamplighter group as a group generated by a 2-state automaton, and its spectrum
• Combinatorial group theory.
• On a question of Atiyah
• \(L_ 2\)-cohomology and group cohomology
• Approximating \(L^ 2\)-invariants by their finite-dimensional analogues
• De Rham-Hodge theory for \(L^2\)-cohomology of infinite coverings
• \(\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
• Approximating L²‐invariants and the Atiyah conjecture
• Introduction to \(\ell_2\)-methods in topology: Reduced \(\ell_2\)-homology, harmonic chains, \(\ell_2\)-Betti numbers
• A spectral sequence to compute \(L^{2}\)-Betti numbers of groups and groupoids
• Title not available (Why is that?)
• The spectral measure of certain elements of the complex group ring of a wreath product
• Closed manifolds with transcendental \(L^2\)-Betti numbers.
• Finite group extensions and the Atiyah conjecture
• Division Rings and Group von Neumann Algebras
• Normal generation and \(\ell^2\)-Betti numbers of groups.
• Free lamplighter groups and a question of Atiyah
• Title not available (Why is that?)
• On the spectrum of lamplighter groups and percolation clusters

Cited In (18)

• \(L^2\)-Betti numbers arising from the lamplighter group
• The realization problem for some wild monoids and the Atiyah problem
• L 2 -Betti numbers and computability of reals
• 𝐾-theory for generalized Lamplighter groups
• Irrational \(l^2\) invariants arising from the lamplighter group
• Vanishing of l²‐cohomology as a computational problem
• Approximating the group algebra of the lamplighter by infinite matrix products
• Closed manifolds with transcendental \(L^2\)-Betti numbers.
• Random walks on graphs and approximation of \(L^2\)-invariants
• The base change in the Atiyah and the Lück approximation conjectures
• The lamplighter group of rank two generated by a bireversible automaton
• On Turing machines, groupoids, and Atiyah problem
• On computing homology gradients over finite fields
• Group ring elements with large spectral density
• Mean dimension, mean rank, and von Neumann-Lück rank
• Spectra of Cayley graphs of the lamplighter group and random Schrödinger operators
• On the center-valued Atiyah conjecture for \(L^2\)-Betti numbers
• Dyson's spike for random Schroedinger operators and Novikov-Shubin invariants of groups

This page was built for publication: On Turing dynamical systems and the Atiyah problem

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