Related papers: Vanishing of l^2-cohomology as a computational pro…

We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square…

In this paper, we demonstrate the non-existence of a computational algorithm capable of determining whether the second homotopy group of any compact constructive topological space is trivial. This finding shows the inherent limitations of…

We prove that the zeroth L^2-Betti number of a compact quantum group vanishes unless the underlying C*-algebra is finite dimensional and that the zeroth L^2-homology itself is non-trivial exactly when the quantum group is coamenable.

We study the existence of a Chow-theoretic decomposition of the diagonal of a smooth cubic hypersurface, or equivalently, the universal triviality of its ${\rm CH}_0$-group. We prove that for odd dimensional cubic hypersurfaces or for cubic…

By strengthening known results about primitivity-blocking words in free groups, we prove that for any nontrivial element w of a free group of finite rank, there are words that cannot be subwords of any cyclically reduced automorphic image…

It is well known that the triviality problem for finitely presented groups is unsolvable; we ask the question of whether there exists a general procedure to produce a non-trivial element from a finite presentation of a non-trivial group. If…

We show a homological result for the class of planar or symmetric operad groups: We show that under certain conditions, group (co)homology of such groups with certain coefficients vanishes in all dimensions, provided it vanishes in…

We consider classes of fundamental groups of complements of various kinds of codimension 2 embeddings and show that, in general, the problem of deciding whether or not a group in one class belongs to a smaller class is algorithmically…

We consider pairs of finitely presented, residually finite groups $P\hookrightarrow\G$ for which the induced map of profinite completions $\hat P\to \hat\G$ is an isomorphism. We prove that there is no algorithm that, given an arbitrary…

Let $X$ be a finite aspherical CW-complex whose fundamental group $\pi_1(X)$ possesses a subnormal series $\pi_1(X) \rhd G_m \rhd ... \rhd G_0$ with a non-trivial elementary amenable group $G_0$. We investigate the $L^2$-invariants of the…

Consider a complete orientable manifold with countably many components of bounded dimension. Suppose that its rational homology is infinitely generated in some degree. Then there is no choice of weight function for which the natural map…

We prove that every amenable group of cohomological dimension two whose integral group ring is a domain is solvable and investigate certain homological finiteness properties of groups that satisfy the analytic zero divisor conjecture and…

If $G$ has $4$-periodic cohomology, then D2 complexes over $G$ are determined up to polarised homotopy by their Euler characteristic if and only if $G$ has at most two one-dimensional quaternionic representations. We use this to solve…

In 1995, Koll\'ar conjectured that a smooth complex projective $n$-fold $X$ with generically large fundamental group has Euler characteristic $\chi(X, K_X)\geq 0$. In this paper, we prove the conjecture assuming $X$ has linear fundamental…

A finite connected 2-complex K whose fundamental group is of cohomological dimension 2 is aspherical iff the subgroup \Sigma_K of H_2(K) consisting of spherical 2-cycles is zero. A finite connected subcomplex of an aspherical 2-complex is…

Let A be a separable unital nuclear purely infinite simple C*-algebra satisfying the Universal Coefficient Theorem, and such that the K_0-class of the identity is zero. We prove that every automorphism of order two of the K-theory of A is…

Let F_2 denote the free group of rank 2. Our main technical result of independent interest is: for any element u of F_2, there is g in F_2 such that no cyclically reduced image of u under an automorphism of F_2 contains g as a subword. We…

We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that…

The "zero in the spectrum conjecture" asserted (in its strongest form) that for any manifold M zero should be in the l2-spectrum of the Laplacian (on forms) of the universal covering of M, i.e. that at least one (unreduced) L2-cohomology…

In this paper we show that there is no algorithm to decide whether an arbitrarily given polynomial equation $P(z_1,\ldots,z_{52})=0$ (with integer coefficients) over the Gaussian ring $\mathbb Z[i]$ is solvable.