# At Least One Math Term That Makes Sense

I’ve complained before about how mathematicians name things. Mathematicans seem to have a knack for taking an ordinary bland word that’s almost indistinguishable from the other ordinary, bland words they’ve used before and assigning it an incredibly specific mathematical concept. Varieties and forms, motives and schemes, in each case you end up wishing they picked a word that was just a little more descriptive.

Sometimes, though, a word may seem completely out of place when it actually has a fairly reasonable explanation. Such is the case for the word “period“.

Suppose you want to classify numbers. You have the integers, and the rational numbers. A bigger class of numbers are “algebraic”, in that you can get them “from algebra”: more specifically, as solutions of polynomial equations with rational coefficients. Numbers that aren’t algebraic are “transcendental”, a popular example being $\pi$.

Periods lie in between: a set that contains algebraic numbers, but also many of the transcendental numbers. They’re numbers you can get, not from algebra, but from calculus: they’re integrals over rational functions. These numbers were popularized by Kontsevich and Zagier, and they’ve led to a lot of fruitful inquiry in both math and physics.

But why the heck are they called periods?

Think about $e^{i x}$.

Or if you prefer, think about a circle

$e^{i x}$ is a periodic function, with period $2\pi$.  Take $x$ from $0$ to $2\pi$ and the function repeats, you’ve traveled in a circle.

Thought of another way, $2\pi$ is the volume of the circle. It’s the integral, around the circle, of $\frac{dz}{z}$. And that integral nicely matches Kontsevich and Zagier’s definition of a period.

The idea of a period, then, comes from generalizing this. What happens when you only go partway around the circle, to some point $z$ in the complex plane? Then you need to go to a point $x=-i \ln z$. So a logarithm can also be thought of as measuring the period of $e^{i x}$. And indeed, since a logarithm can be expressed as $\int\frac{dz}{z}$, they count as periods in the Kontsevich-Zagier sense.

Starting there, you can loosely think about the polylogarithm functions I like to work with as collections of logs, measuring periods of interlocking circles.

And if you need to go beyond polylogarithms, when you can’t just go circle by circle?

Then you need to think about functions with two periods, like Weierstrass’s elliptic function. Just as you can think about $e^{i x}$ as a circle, you can think of Weierstrass’s function in terms of a torus.

Obligatory donut joke here

The torus has two periods, corresponding to the two circles you can draw around it. The periods of Weierstrass’s function are transcendental numbers, and they fit Kontsevich and Zagier’s definition of periods. And if you take the inverse of Weierstrass’s function, you get an elliptic integral, just like taking the inverse of $e^{i x}$ gives a logarithm.

So mathematicians, I apologize. Periods, at least, make sense.

## 3 thoughts on “At Least One Math Term That Makes Sense”

1. Jan Reimers

Thanks for this post, very interesting.

Physicists and Chemists like to name things after people (Hawking radiation, Schwinger Parameters, Hamiltonian, Langrangian, Feynman Rules, Dirac Equation, Boltzmann’s Constant, Grignard reaction, Born-Oppenheimer approximation, Hartree-Fock equations, Roothaan Equations, ….). Unless you know the history well, those names also tell you nothing about the concepts being named.

Like