arXiv Analytics

Sign in

arXiv:2202.03159 [math.GR]AbstractReferencesReviewsResources

$L^2$-Betti numbers and computability of reals

Clara Loeh, Matthias Uschold

Published 2022-02-07Version 1

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. Moreover, we explain how such considerations can be modelled in a proof assistant.

Comments: 35 pages; Lean implementation available at https://gitlab.com/L2-comp/l2-comp-lean
Categories: math.GR, cs.LO, math.GT, math.LO
Related articles: Most relevant | Search more
arXiv:1702.02599 [math.GR] (Published 2017-02-08)
Characters, $L^2$-Betti numbers and an equivariant approximation theorem
arXiv:1609.06253 [math.GR] (Published 2016-09-20)
Geometry of the word problem for 3-manifold groups
arXiv:2407.18029 [math.GR] (Published 2024-07-25)
Nearly-linear solution to the word problem for 3-manifold groups

Links

Toolbox