### Tetrahedra

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"

### The commutator subgroups of surface groups

Every subgroup of infinite index in a surface group is a free group. There are many ways to see this, for instance, using a bit of topology. An infinite index subgroup corresponds to a covering space with infinitely many sheets and this covering space is a non-compact surface. By a result of Whitehead it deformation … Continue reading "The commutator subgroups of surface groups"

### How to hear the corners of a drum

A short while ago I was blogging about the classical isospectrality problem which goes back to Mark Kac’ famous question: Can one hear the shape of a drum? Some basic information about it can be found in that blog post of mine: Can one hear orientability? The original question of Mark Kac was answered negatively by … Continue reading "How to hear the corners of a drum"

### 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"

### Can one hear orientability?

Mark Kac asked in a paper from 1966 the following question: Can one hear the shape of a drum? The mathematically precise question is the following: Assume that $$(M,g)$$ and $$(N,h)$$ are two compact Riemannian surfaces (thought of as the heads of two drums). If the Laplace operators of $$(M,g)$$ and of $$(N,h)$$ have the … Continue reading "Can one hear orientability?"