Related papers: $L^2$-Betti numbers and computability of reals

We investigate dynamical analogues of the $L^2$-Betti numbers for modules over integral group ring of a discrete sofic group. In particular, we show that the $L^2$-Betti numbers exactly measure the failure of addition formula for dynamical…

We systematically study L^2-Betti numbers in zero and prime characteristic and apply them to a conjecture of Wise stating that all towers of a finite 2-complex are non-positive if and only if the second L^2-Betti number vanishes.

We compute the l^2-Betti numbers of the complement of a finite collection of affine hyperplanes in complex space. At most one of the l^2-Betti numbers is non-zero.

The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the…

We investigate how one can twist L^2-invariants such as L^2-Betti numbers and L^2-torsion with finite-dimensional representations. As a special case we assign to the universal covering of a finite connected CW-complex X together with an…

Let $G$ be a countable group and $k$ a positive integer, we show that the $L^2$-Betti numbers of the group $G$ vanish up to degree $k$ provided that there is some infinite index subgroup $H$ with finite $k$th $L^2$-Betti number containing a…

We prove a Kunneth formula computing the Connes-Shlyakhtenko L^2-Betti numbers of the algebraic tensor product of two tracial *-algebras in terms of the L^2-Betti numbers of the two original algebras. As an application, we construct…

We extend in a natural way the operation of Turing machines to infinite ordinal time, and investigate the resulting supertask theory of computability and decidability on the reals. The resulting computability theory leads to a notion of…

The word problem for discrete groups is well-known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halting Problem. The present work introduces and studies a real…

The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of…

Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has…

In this work we study the space complexity of computable real numbers represented by fast convergent Cauchy sequences. We show the existence of families of trascendental numbers which are logspace computable, as opposed to algebraic…

Let $G$ be a group with a finite subgroup $H$. We define the $L^2$-multiplicity of an irreducible representation of $H$ in the $L^2$-homology of a proper $G$-CW-complex. These invariants generalize the $L^2$-Betti numbers. Our main results…

We give a characterization of symplectic quadratic Lie algebras that their Lie algebra of inner derivations has an invertible derivation. A family of symplectic quadratic Lie algebras is introduced to illustrate this situation. Finally, we…

We initiate the computability-theoretic study of ringed spaces and schemes. In particular, we show that any Turing degree may occur as the least degree of an isomorphic copy of a structure of these kinds. We also show that these structures…

We study the rate of growth of normalized Hodge numbers along a tower of abelian covers of a smooth projective variety with semismall Albanese map. These bounds are in some cases optimal. Moreover, we compute the $L^2$-Betti numbers of…

A generic computation of a subset $A$ of $\mathbb{N}$ is a computation which correctly computes most of the bits of $A$, but which potentially does not halt on all inputs. The motivation for this concept is derived from complexity theory,…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

We survey results related to the magnitude of the Betti numbers of numerical semigroup rings and of their tangent cones.

In this paper we define $L^{2}$-homology and $L^{2}$-Betti numbers for tracial *-algebras $A$ with respect to a von Neumann subalgebra $B$. When $B$ is reduced to the field of complex numbers we recover the $L^{2}$-Betti numbers of $A$ as…