Consider the following three basic questions about tetrahedra: Does a given tetrahedron tile space? Which tetrahedra are scissors-congruent to a cube? Can one describe the tetrahedra all of whose six dihedral angles are a rational number of degrees? The first question goes back to Aristotle, the second is from Hilbert’s list of problems, and the … Continue reading "Tetrahedra"

Triangulating real projective n-space

How many vertices do you need to triangulate the real projective n-space? From this blog post of Gil Kalai I learned about a recent preprint (arXiv:2009.02703) by Adiprasito-Avvakumov-Karasev where they construct triangulations with \[\exp\big((1/2 + \mathcal{o}(1))\sqrt{n}\log{n}\big)\text{-many}\] vertices, which is the first construction needing subexponentially-many vertices. More information, also about the history of this problem, may … Continue reading "Triangulating real projective n-space"

Resolution of Keller’s conjecture

Keller’s conjecture states that in any tiling of Euclidean space by identical hypercubes there are two cubes that meet face to face. (Consider the 2-dimensional picture on the right taken from Wikipedia. The squares share horizontal edges.) The conjecture is completely solved by now: it is true in dimensions 7 and less, but false in higher dimensions. The last missing part was … Continue reading "Resolution of Keller’s conjecture"

Immersions of manifolds into Euclidean space

Recall the well-known result of Whitney that any (compact) smooth \(n\)-manifold admits an immersion into \(\mathbb{R}^{2n-1}\). Today there was a preprint posted on the arXiv (arXiv:2011.00974) which mentioned in its introduction the following result of Cohen, which strengthens Whitney’s result as follows: Any (compact) smooth \(n\)-manifold admits an immersion into \(\mathbb{R}^{2n-\alpha(n)}\), where \(\alpha(n)\) is the … Continue reading "Immersions of manifolds into Euclidean space"

Positive scalar curvature metrics on manifolds with boundary

Usually when I blog here about positive scalar curvature, the manifolds I consider are assumed to have no boundary. In this post I want to explain the basics of what happens when the manifolds actually do have a boundary. So first of all, one has to mention that any compact manifold with boundary admits a … Continue reading "Positive scalar curvature metrics on manifolds with boundary"