A quantitative coarse obstruction to psc-metrics

Recently, Guo and Yu pushed the following result to the arXiv (math.KT/2203.15003): For any \(R > 0\) and positive integer \(m\), there exists a constant \(k(R,m)\) such that the following holds. If \((M,g)\) is a Riemannian spin manifold that admits a uniformly bounded, good open cover with Lebesgue number \(R\) and \(R\)-multiplicity \(m\), then \[\inf_{x \in M} \kappa_g(x) \le … Continue reading "A quantitative coarse obstruction to psc-metrics"

Lehmer’s conjecture and the Fuglede-Kadison determinant

Lehmer’s conjecture is one of the most striking open problems in number theory. It roughly postulates that the complex roots \(a\) with \(|a| > 1\) of a polynomial with integral coefficients cannot simultaneously be close to the unit circle (unless all non-zero roots lie on the unit circle). More precisely, the Mahler measure of a … Continue reading "Lehmer’s conjecture and the Fuglede-Kadison determinant"

Positive scalar curvature and the conjugate radius

A classical result in Riemannian geometry is the theorem of P. O. Bonnet and S. B. Myers stating that a complete Riemannian \(n\)-manifold \(M\) with Ricci curvature bounded from below by \(n-1\) has diameter at most \(\pi\). In the introduction of Bo Zhu’s recent preprint arXiv:2201.12668 the following ‘analogue’ of the Bonnet-Myers Theorem for scalar … Continue reading "Positive scalar curvature and the conjugate radius"

Properly positive scalar curvature

An interesting (at least to me) research theme in the geometry of manifolds is the question about the existence of positive scalar curvature metrics on closed manifolds. Since I also like to do coarse geometry, I therefore also consider the corresponding question on non-compact manifolds. But what is the ‘corresponding’ question on non-compact manifolds? Currently, … Continue reading "Properly positive scalar curvature"

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"