Is that really a good article? I thought it was average. It had some big flaws but was probably still informative for readers with no mathematical knowledge in the domain.

For instance, consider the only concrete example in the article: the space of all possible configurations of a double pendulum is a manifold. The author claims it's useful to see it in a manifold, but why? Precisely, why more as a manifold than as a square [O,2π[²?

I also expected more talk about atlases. In simple cases, it's easy to think of a surface as a deformation of a flat shape, so a natural idea is to think of having a map from the plan to the surface. But, even for a simple sphere, most surfaces can't map to a single flat part of the plan, and you need several maps. But how do you handle the parts where the maps overlap? What Riemmann did was defining properties on this relationship between manifold points and maps (which can be countless).

BTW, I know just enough about relativity to deny that "space-time [is] a four-dimensional manifold", at least a Riemmannian manifold. IIRC, the usual term is Minkowski-spacetime.

> Precisely, why more as a manifold than as a square

In a double pendulum, each arm can freely rotate (there is no stopping point). This means 0 degrees and 360 degrees are the same point, so the edges of the square are actually joined. If you join the left and right edges to each other, then join the top and bottom edges to each other, you end up with a torus.

Minkowski spacetime is the term in special relativity, i.e. the flat case, or zero curvature. In general relativity, spacetime is a pseudo Riemannian manifold, like the sibling comment says. Unlike Minkowski spacetime, it can be curved.

> BTW, I know just enough about relativity

Unfortunately this is one of those things where that knowledge is not enough.

The GR model of spacetime is that it is locally Minkowski but globally a manifold of Minkowski patches.

Spacetime is a four-dimensional manifold (at least theoretically - who knows what it is in reality). Technically it's a pseudo-Riemannian manifold since the metric is not positive definite: it can be negative or zero for non-zero vectors. A Riemannian manifold proper has a positive definite metric, but in popularizations like this I wouldn't really expect them to get into these kinds of distinctions.

> Precisely, why more as a manifold than as a square [O,2π[²?

Because, as the article explains, it's a torus (loop crossed with a loop), not a square (segment crossed with a segment).