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

We define a class of computable functions over real numbers using functional schemes similar to the class of primitive and partial recursive functions defined by G\"odel and Kleene. We show that this class of functions can also be…

We give a full classification, up to equivalence, of finite-dimensional graded division algebras over the field of real numbers. The grading group is any abelian group.

(1) There is a finitely presented group with a word problem which is a uniformly effectively inseparable equivalence relation. (2) There is a finitely generated group of computable permutations with a word problem which is a universal…

We prove that the L^2-Betti numbers of a unimodular locally compact group G coincide, up to a natural scaling constant, with the L^2-Betti numbers of the countable equivalence relation induced on a cross section of any essentially free…

In this article, we study an analogue of $tt$-reducibility for points in computable metric spaces. We characterize the notion of the metric $tt$-degree in the context of first-level Borel isomorphism. Then, we study this concept from the…

We exhibit an algorithm that, given input a curve $X$ over a number field, computes as output the minimal degree of a Belyi map $X \to \mathbb{P}^1$.

Let $X$ be an algebraic scheme over an algebraically closed field and $\ell$ a prime number invertible on $X$. According to classical results (due essentially to A. Grothendieck, M. Artin and P. Deligne), the \'etale cohomology groups…

The purpose of this note is to introduce a trick which relates the (non)-vanishing of the top-dimensional $\ell^2$-Betti numbers of actions with that of sub-actions. We provide three different types of applications: we prove that the…

The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any…

We prove new bounds on the Betti numbers of real varieties and semi-algebraic sets that have a more refined dependence on the degrees of the polynomials defining them than results known before. Our method also unifies several different…

We provide an explicit description of the K-classes of higher Kazhdan projections in degrees greater than 0 for specific free product groups and Cartesian product groups. Employing this description, we obtain new calculations of Lott's…

We give a numerical characterization of the possible extremal Betti numbers (values as well as positions) of any homogeneous ideal in a polynomial ring over a field.

We show finiteness results on torsion points of commutative algebraic groups over a $p$-adic field $K$ with values in various algebraic extensions $L/K$ of infinite degree. We mainly study the following cases: (1) $L$ is an abelian…

We prove that almost all real numbers (with respect to Lebesgue measure) are approximated by the convergents of their $\beta$-expansions with the exponential order $\beta^{-n}$. Moreover, the Hausdorff dimensions of sets of the real numbers…

We study the question of the growth of Betti numbers of certain arithmetic varieties in tower of congruence coverings. In fact, our results are about Siegel varieties and varieties associated to orthogonal groups. We explain how a theorem…

Let $A$ be an abelian variety defined over a number field $K$, the number of torsion points rational over a finite extension $L$ is bounded polynomially in terms of the degree $[L:K]$. We formulate a question suggesting the optimal exponent…

Suppose $p \geq 1$ is a computable real. We extend previous work of Clanin, Stull, and McNicholl by classifying the computable $L^p$ spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we determine the…

In this talk we introduce several topics in combinatorial number theory which are related to groups; the topics include combinatorial aspects of covers of groups by cosets, and also restricted sumsets and zero-sum problems on abelian…

We generalise results of Thomas, Allcock, Thom-Petersen, and Kar-Niblo to the first $\ell^2$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs.

Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into problems involving either a set of infinitely-coupled non-linear differential equations or a class of linear Schr\"odinger…