Source author record

Łukasz Grabowski

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.GT math.MG Computational Complexity math.CO math.DS math.OA math.RA

Catalog footprint

Research overview

7works

8topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Measurable circle squaring

Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$ , then there is a partition of $A$ into finitely many parts that can be translated to form a partition of $B$ . Here we show that it can be additionally required that each part is both Baire and Lebesgue measurable. As special cases, this gives measurable and translation-only versions of Tarski's circle squaring and Hilbert's third problem.

preprint2016arXiv

On computing homology gradients over finite fields

Recently the so-called Atiyah conjecture about l^2-Betti numbers has been disproved. The counterexamples were found using a specific method of computing the spectral measure of a matrix over a complex group ring. We show that in many situations the same method allows to compute homology gradients, i.e. generalizations of l^2-Betti numbers to fields of arbitrary characteristic. As an application we point out that (i) the homology gradient over any field of characteristic different than 2 can be an irrational number, and (ii) there exists a finite CW-complex with the property that the homology gradients of its universal cover taken over different fields have infinitely many different values.

preprint2015arXiv

Group ring elements with large spectral density

Given an arbitrary d>0 we construct a group G and a group ring element S in Z[G] such that the spectral measure mu of S has the property that mu((0,eps)) > C/|log(eps)|^(1+d) for small eps. In particular the Novikov-Shubin invariant of any such S is 0. The constructed examples show that the best known upper bounds on mu((0,eps)) are not far from being optimal.

preprint2015arXiv

Irrational l2-invariants arising from the lamplighter group

We show that the Novikov-Shubin invariant of an element of the integral group ring of the lamplighter group Z_2 \wr Z can be irrational. This disproves a conjecture of Lott and Lueck. Furthermore we show that every positive real number is equal to the Novikov-Shubin invariant of some element of the real group ring of Z_2 \wr Z. Finally we show that the l2-Betti number of a matrix over the integral group ring of the group Z_p \wr Z, p>1, can be irrational, and so the groups Z_p \wr Z become the simplest known groups which give rise to irrational l2-Betti numbers.

preprint2014arXiv

Measurable equidecompositions via combinatorics and group theory

We give a sketch of proof that any two (Lebesgue) measurable subsets of the unit sphere in $R^n$ , for $n\ge 3$ , with non-empty interiors and of the same measure are equidecomposable using pieces that are measurable.

preprint2014arXiv

On Turing dynamical systems and the Atiyah problem

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.

preprint2014arXiv

Vanishing of l^2-cohomology as a computational problem

We show that it is impossible to algorithmically decide if the l^2-cohomology of the universal cover of a finite CW complex is trivial, even if we only consider complexes whose fundamental group is equal to the elementary amenable group (Z_2 \wr Z)^3. A corollary of the proof is that there is no algorithm which decides if an element of the integral group ring of the group (\Z_2 \wr Z)^4 is a zero-divisor. On the other hand, we show, assuming some standard conjectures, that such an algorithm exists for the integral group ring of any group with a decidable word problem and a bound on the sizes of finite subgroups.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Łukasz Grabowski

Research overview

Is this your work?

7 publications

Measurable circle squaring

On computing homology gradients over finite fields

Group ring elements with large spectral density

Irrational l2-invariants arising from the lamplighter group

Measurable equidecompositions via combinatorics and group theory

On Turing dynamical systems and the Atiyah problem

Vanishing of l^2-cohomology as a computational problem

See the researcher in context

Building this map preview