An implication of the Farrell-Jones conjecture

A ‘well-known’ implication of the Farrell-Jones conjecture (for a given group G) is that the map \[\widetilde{K_0(\mathbb{Z}G)} \to \widetilde{K_0(\mathbb{Q}G)}\] in reduced algebraic K-theory is rationally trivial. What at first might seem as a technical statement about algebraic K-theory turns out to have an interesting geometric consequence. It implies the Bass conjecture, which is equivalent to … Continue reading "An implication of the Farrell-Jones conjecture"

Topological CAT(0)-manifolds

It is an interesting and important fact that a contractible manifold (without boundary) is not necessarily homeomorphic to Euclidean space. This makes the classical Cartan-Hadamard theorem, stating that a contractible manifold equipped with a Riemannian metric of non-positive sectional curvature is diffeomorphic to Euclidean space, even more powerful. One can ask now whether one can … Continue reading "Topological CAT(0)-manifolds"

Rigidity implication of the Novikov conjecture

Part of my own research is related to the Novikov conjecture, and hence I am always interested to see applications of it. When reading the preprint Essentiality and simplicial volume of manifolds fibered over spheres by Thorben Kastenholz and Jens Reinhold (arXiv:2107.05892) I saw another one of these applications (Theorem D therein). I do not … Continue reading "Rigidity implication of the Novikov conjecture"

Space of psc-metrics on non-spin manifolds

Recently I was having a look at the preprint Essentiality and simplicial volume of manifolds fibered over spheres by Thorben Kastenholz and Jens Reinhold (arXiv:2107.05892). In Theorem C therein they construct a closed, totally non-spin manifold (i.e., one whose universal cover is even not spin) whose space of Riemannian metrics of positive scalar curvature has … Continue reading "Space of psc-metrics on non-spin manifolds"

Computer assisted verification of contemporary mathematics

Half a year ago Steffen Kionke wrote a blog post on condensed mathematics wherein he mentioned that Peter Scholze put up a challenge to formally verify a key fundamental result of a joint paper with Clausen: a result Scholze terms his most important theorem to date. Today I want to inform you that the mentioned … Continue reading "Computer assisted verification of contemporary mathematics"