The post is inspired by this story told by JDH at Math.SE.

My third-grade son came home a few weeks ago with similar homework questions:

How many faces, edges and vertices do the following

have?

- cube
- cylinder
- cone
- sphere

Like most mathematicians, my first reaction was that for the latter objects the question would need a precise definition of face, edge and vertex, and isn’t really sensible without such definitions.

But after talking about the problem with numerous people, conducting a kind of social/mathematical experiment, I observed something intriguing. What I observed was that none of my non-mathematical friends and acquaintances had any problem with using an intuitive geometric concept here, and they all agreed completely that the answers should be

- cube: 6 faces, 12 edges, 8 vertices
- cylinder: 3 faces, 2 edges, 0 vertices
- cone: 2 faces, 1 edge, 1 vertex
- sphere: 1 face, 0 edges, 0 vertices

Indeed, these were also the answers desired by my son’s teacher (who is a truly outstanding teacher). Meanwhile, all of my mathematical colleagues hemmed and hawed about how we can’t really answer, and what does “face” mean in this context anyway, and so on; most of them wanted ultimately to say that a sphere has infinitely many faces and infinitely many vertices and so on. For the homework, my son wrote an explanation giving the answers above, but also explaining that there was a sense in which some of the answers were infinite, depending on what was meant.

At a party this past weekend full of mathematicians and philosophers, it was a fun game to first ask a mathematician the question, who invariably made various objections and refusals and and said it made no sense and so on, and then the non-mathematical spouse would forthrightly give a completely clear account. There were many friendly disputes about it that evening.

Let’s track down this intuitive geometric concept that non-mathematicians possess. We are given a set and a point , and try to figure out whether is a vertex, a part of an edge, or a part of a face. The answer should depend only on the shape of the set near .

It is natural to say that a vector is *tangent* to at if going along we stay close to the set. Formally, the condition is . Notice that the limit is one-sided: if is tangent, may or may not be tangent.

The set of all tangent vectors to at is denoted by and is called the *tangent cone*. It is indeed a cone in the sense of being invariant under scaling. This set contains the zero vector, but need not be a linear space. Let’s say that the rank of point is if contains a linear space of dimension but no linear space of dimension .

Finally, define a *rank stratum* of as a connected component of the set of all points of rank .

If is the surface of a polyhedron, we get the familiar concepts of vertices (rank 0 strata), edges (rank 1) and faces (rank 2). For each of the homework solids the answer agrees with the opinion of non-mathematical crowd. Take the cone as an example:

At the vertex the tangent cone to the cone is… a cone. It contains no nontrivial linear space, hence the rank is 0. This is indeed a vertex.

Along the edge of the base the tangent cone is the union of two halfplanes:

Here the rank is 1: the tangent cone contains a line, but no planes.

Finally, at every point of smoothness the tangent cone is the tangent plane, so the rank is 2. The set of such points has two connected components, separated by the circular edge.

So much for the cone. As for the circle mentioned in the title, I regrettably find myself in agreement with Travis.

More seriously: the surface of a convex body is a classical example of an Alexandrov space (metric space of curvature bounded below in the triangle comparison sense). Perelman proved that any Alexandrov space can be stratified into topological manifolds. Lacking an ambient vector space, one obtains tangent cones by taking the Gromov-Hausdorff limit of blown-up neighborhoods of . The tangent cone has no linear structure either — it is also a metric space — but it may be isometric to the product of with another metric space. The maximal for which the tangent cone splits off becomes the rank of .

Recently, Colding and Naber showed that the above approach breaks down for spaces which have only Ricci curvature bounds instead of triangle-comparison curvature. More precisely, their examples are metric spaces that arise as a noncollapsed limit of manifolds with a uniform lower Ricci bound. In this setting tangent cones are no longer uniquely determined by , and they show that different cones at the same point may have different ranks.