# When is a coffee mug like a donut?

[Draft]

A recent Nature article (below) was inspiration for this post. I’ve been encountering the use of topology in physics for some time. Typically the mathematics is elusive, but the notions are compelling.

Wiki > Topology

A continuous deformation (a type of homeomorphism) of a mug into a doughnut (torus) and a cow into a sphere.

In mathematics, topology … is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling and bending, but not tearing or gluing.

Intuitively, two spaces are homeomorphic if one can be deformed into the other without cutting or gluing. A traditional joke is that a topologist cannot distinguish a coffee mug from a doughnut, since a sufficiently pliable doughnut could be reshaped to a coffee cup by creating a dimple and progressively enlarging it, while shrinking the hole into a handle.

Homeomorphism can be considered the most basic topological equivalence. Another is homotopy equivalence. This is harder to describe without getting technical, but the essential notion is that two objects are homotopy equivalent if they both result from “squishing” some larger object.

Topology is relevant to physics in areas such as condensed matter physics, quantum field theory and physical cosmology.

A topological quantum field theory (or topological field theory or TQFT) is a quantum field theory that computes topological invariants.
Although TQFTs were invented by physicists, they are also of mathematical interest, being related to, among other things, knot theory, the theory of four-manifolds in algebraic topology, and to the theory of moduli spaces in algebraic geometry.

The topological classification of Calabi-Yau manifolds has important implications in string theory, as different manifolds can sustain different kinds of strings.

In cosmology, topology can be used to describe the overall shape of the universe. This area of research is commonly known as spacetime topology.

Nature > News Q&A > “The mathematician who helped to reshape physics” by Davide Castelvecchi (August 4, 2020) – Barry Simon [who is at the California Institute of Technology in Pasadena] linked a phenomenon that had shocked physicists to topology, the branch of mathematics that studies shapes.

In recent years, physics has been swept by ideas from a branch of mathematics called topology. Topology is the study of objects that deform continuously without tearing, for example through stretching or twisting. But it is now proving crucial to understanding the shapes of quantum waves formed by the electrons inside matter. These waves can form shapes such as vortices, knots and braids that give materials a variety of exotic properties. In 1983, Barry Simon was the first person to make the link between strange phenomena in materials and topology.

German physicist Klaus von Klitzing won a Nobel prize for the [Hall] effect’s discovery in 1985. But it took several breakthroughs by theoretical physicists to begin to understand the phenomenon. And it took Simon — a mathematical physicist who uses mathematical tools to solve theoretical problems that emerge from nature — alongside collaborators, to recognize that equations created to describe the quantum Hall effect were a manifestation of topology. It was topology that was making the material’s resistance robust to small changes, allowing it to change in only discrete jumps [due to the topological effect, called a winding number].

## One thought on “When is a coffee mug like a donut?”

1. John Healy says:

Topology? When are two shapes the same?

• Quanta Magazine > “In Topology, When Are Two Shapes the Same?” by Kevin Hartnett, Senior Writer/Editor (September 28, 2021) – As topologists seek to classify shapes, the effort hinges on how to define a manifold and what it means for two of them to be equivalent.

Sorting shapes (e.g., a set of triangles) … comparing general versions of shapes (manifolds) … key distinctions … the notion of sameness … in any number of dimensions … local vs. global features (e.g., “ground’s eye” flatness vs. global curvature) …

[See article’s diagrams]

TYPES

Essential feature: flatness.

Shared feature: “topological” manifold – continuous (corners permitted).

Piecewise linear manifold – corners permitted only at the vertices where tiles meet.

Most complex: “smooth” manifold – no corners (a condition for calculus).

SAMENESS

Homotopy equivalence – deform (tug, compress, expand) without tearing (“a ball is equivalent to a point”).

For “topological” manifolds: homeomorphism – uniquely map point-to-point, preserving a sense of distance between the points (“close points in one manifold need to pair with close points in another).

For smooth manifolds: diffeomorphism – closeness pairing without corners (“a stronger form of equivalence than a homeomorphism”).

(quote) The most significant classification result there was Michael Freedman’s 1981 proof of the four-dimensional Poincaré conjecture, which established that any four-dimensional topological manifold that is homotopy equivalent to the four-dimensional sphere is also homeomorphic to the four-dimensional sphere.

But Freedman’s proof left open the “smooth” four-dimensional Poincaré conjecture, … This leaves them [mathematicians] in the strange position of being unable to perform one of the most basic classification tasks of all: recognizing when a smooth four-dimensional manifold is really a sphere.