Sage Journals: Discover world-class research

Abstract

We study the computability degree of real numbers arising as $L^{2}$ -Betti numbers or $L^{2}$ -torsion of groups, parametrised over the Turing degree of the word problem.

Keywords

computability of reals

Get full access to this article

View all access options for this article.

References

M.F.

Atiyah, Elliptic operators, discrete groups and von Neumann algebras, in: Colloque “Analyse et Topologie” en l’honneur de Henri Cartan, Société Mathématique de France (SMF), 1976, pp. 43–72.

Austin, Rational group ring elements with kernels having irrational dimension, Proc. Lond. Math. Soc. (3) 107(6) (2013), 1424–1448. doi:10.1112/plms/pdt029.

Avigad,

de Moura and

Kong, Theorem proving in Lean, 2021. Release 3.23.0, https://leanprover.github.io/theorem_proving_in_lean/.

W.E.

Egbert, Personal calculator algorithms IV: Logarithmic functions, Hewlett-Packard Journal 4 (1978), 29–32.

Elek and

Szabó, Hyperlinearity, essentially free actions and

L^{2}

-invariants. The sofic property, Math. Ann. 332(2) (2005), 421–441. doi:10.1007/s00208-005-0640-8.

Elek and

Szabó, On sofic groups, J. Group Theory 9(2) (2006), 161–171. doi:10.1515/JGT.2006.011.

Fournier-Facio,

Löh and

Moraschini, Bounded cohomology of finitely presented groups: Vanishing, non-vanishing, and computability, Annali della Scuola Normale Superiore di Pisa (2021), to appear.

Ł.

Grabowski, On Turing dynamical systems and the Atiyah problem, Invent. Math. 198(1) (2014), 27–69. doi:10.1007/s00222-013-0497-5.

Ł.

Grabowski, Vanishing of

l^{2}

-cohomology as a computational problem, Bull. Lond. Math. Soc. 47(2) (2015), 233–247. doi:10.1112/blms/bdu114.

10.

P.A.

Griffith, Infinite Abelian Group Theory, University of Chicago Press, Chicago, Ill.–London, 1970.

11.

Groth,

l_{2}

-Bettizahlen endlich präsentierter Gruppen, BSc thesis, Universität Göttingen, 2012.

12.

Heuer, The full spectrum of scl on recursively presented groups, Geometricae Dedicata (2019), to appear.

13.

Heuer and

Löh, Transcendental simplicial volumes, Annales de l’Institut Fourier (2021), to appear.

14.

Kammeyer, Introduction to

ℓ^{2}

-Invariants, Springer, 2019.

15.

R.C.

Kirby and

L.C.

Siebenmann, On the triangulation of manifolds and the Hauptvermutung, Bull. Amer. Math. Soc. 75 (1969), 742–749. doi:10.1090/S0002-9904-1969-12271-8.

16.

P.A.

Linnell, Division rings and group von Neumann algebras, Forum Math. 5(6) (1993), 561–576.

17.

Löh and

Uschold,

L^{2}

-Betti numbers and computability of reals – Lean project. https://gitlab.com/L2-comp/l2-comp-lean, 2022.

18.

Löh and

Uschold,

L^{2}

-Betti numbers and computability of reals, 2022, arXiv:2202.03159v2.

19.

Lück, Approximating

L^{2}

-invariants by their finite-dimensional analogues, Geom. Funct. Anal. 4(4) (1994), 455–481. doi:10.1007/BF01896404.

20.

Lück,

L^{2}

-Invariants: Theory and Applications to Geometry and K-Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], Vol. 44, Springer, 2002.

21.

C.F.

MillerIII, Decision problems for groups – survey and reflections, in: Algorithms and Classification in Combinatorial Group Theory. Lectures of a Workshop on Algorithms, Word Problems and Classification in Combinatorial Group Theory, Held at MSRI, Berkeley, CA, USA, January 1989, Springer-Verlag, 1989, pp. 1–59.

22.

Nabutovsky and

Weinberger, Betti numbers of finitely presented groups and very rapidly growing functions, Topology 46(2) (2007), 211–223. doi:10.1016/j.top.2007.02.002.

23.

Neoftyidis,

Wang and

Wang, Realising sets of integers as mapping degree sets, Bulletin of the London Mathematical Society (2023), doi:10.1112/blms.12813.

24.

B.H.

Neumann and

Neumann, Embedding theorems for groups, Journal of the London Mathematical Society s1-34(4) (1959), 465–479. doi:10.1112/jlms/s1-34.4.465.

25.

Pichot,

Schick and

Zuk, Closed manifolds with transcendental

L^{2}

-Betti numbers, J. Lond. Math. Soc., II. Ser. 92(2) (2015), 371–392. doi:10.1112/jlms/jdv026.

26.

Rettinger and

Zheng, Computability of real numbers, in: Handbook of Computability and Complexity in Analysis, Springer, Cham, 2021, pp. 3–28. doi:10.1007/978-3-030-59234-9_1.

27.

J.J.

Rotman, An Introduction to the Theory of Groups, Graduate Texts in Mathematics, Vol. 148, Springer-Verlag, 1995.

28.

Schick,

L^{2}

-Determinant class and approximation of

L^{2}

-Betti numbers, Trans. Am. Math. Soc. 353(8) (2001), 3247–3265. doi:10.1090/S0002-9947-01-02699-X.

29.

L.C.

Siebenmann, On the homotopy type of compact topological manifolds, Bull. Amer. Math. Soc. 74 (1968), 738–742. doi:10.1090/S0002-9904-1968-12022-1.

30.

S.G.

Simpson, Degrees of unsolvability: A survey of results, Barewise, Jon, 1977, pp. 631–652.

31.

The mathlib Community. The Lean Mathematical Library. Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’2), 2020.

32.

Zheng, On the Turing degrees of weakly computable real numbers, J. Log. Comput. 13(2) (2003), 159–172. doi:10.1093/logcom/13.2.159.