Optimality of Gerver’s Sofa

The moving sofa problem is one of those deceptively simple yet incredibly difficult “real-world” math problems. Despite its straightforward formulation, it has remained unsolved for roughly 60 years—until recently, when Jineon Baek announced a complete solution (arXiv:2411.19826; hopefully, this time the topic I’m blogging about won’t turn out to be incorrect in the end). In … Continue reading "Optimality of Gerver’s Sofa"

K-homology class of the Euler characteristic operator

When studying the Atiyah-Singer index theorem one usually sees four main examples. Atiyah-Singer operator: Its topological index is the \(\hat{A}\)-genus and its analytical index can be related to scalar curvature. This shows that the \(\hat{A}\)-genus of a manifold is an obstruction to the existence of a Riemannian metric of positive scalar curvature on it. Signature … Continue reading "K-homology class of the Euler characteristic operator"

Kervaira invariant one problem

Last month a solution to the Kervaire invariant one problem in the final remaining dimension 126 was announced (link to a mathstodon post). I have already mentioned this problem in an earlier post here: link (2nd paragraph about the 2-line). edit (17th Dec 2024): The preprint is now on the arXiv:2412.10879.