The Dream of Sophus Lie — The Mathematician Who Became a Name

“Lie algebra,” “Lie group,” “Lie bracket” — in this field, “Lie” clings to almost everything. Open any textbook and this single word sits there as if it were the most natural thing in the world. What is it? It is not a place name, nor an adjective describing some property. It is the surname of one mathematician.

His name was Sophus Lie (1842–1899). Born in the northern country of Norway, he lived carrying a great dream in his heart. In this article, let us step away from definitions and calculations for a while and trace, in a relaxed way, who this “Lie” was, what he dreamed of, and why his name came to be carved into an entire field. When you know the living person behind a theory, the symbols that once looked dry and lifeless begin to look a little different.

A Late Bloomer from the North

Lie was born in 1842, the son of a pastor in a small town in western Norway. Tall and well-built, in his youth he looked less like a mathematician than a cheerful young man fond of mountain walking and gymnastics. In truth, he did not march straight into mathematics right after university. For a while he could not settle on a path — he worked as a private tutor and agonized over what he was suited for.

The turning point came in his late twenties, while he was devouring papers on geometry on his own. At some moment something clicked into place inside him. He was powerfully drawn to the view of “moving” and “transforming” figures. He was a late bloomer, but once the fire caught, Lie's concentration was ferocious, and he began jotting down original ideas one after another.

At the time the centers of mathematics were the universities of Paris and Germany, and Norway was a periphery in the mathematical world. Being far from the center, in a way, set him free. Unbound by fashionable methods, he could dig straight down into his own interest — the operation of continuously deforming figures.

A “Galois Theory for Differential Equations”

A single thick backbone runs through Lie's work. It was the dream of building a Galois theory for differential equations.

Let me fill in a little background. Earlier, the short-lived Galois had left behind a theory that decides whether an algebraic equation is “solvable by radicals” from the property of the group formed by the ways of permuting the solutions — that is, their symmetry. Instead of wrestling with the equation itself, one examines the structure of the symmetry behind it, and can judge whether it is solvable. It was one of the most brilliant ideas in the whole history of mathematics.

Lie reasoned thus: if algebraic equations have such a theory, surely the same can be done for differential equations. A differential equation, too, must have “continuous symmetries” that leave it invariant. By studying those symmetries, one might see at a glance which equations solve smoothly and which are stubborn.

What is decisive here is that the symmetry is “continuous” rather than “discrete.” The permutations of the roots of an algebraic equation are only finitely many, but the symmetries of a differential equation can be moved smoothly. To handle this continuous symmetry, Lie set about building a new object called the “continuous transformation group.” That is today's Lie group, and the skeleton extracted from it is the Lie algebra. Looking at what a continuous symmetry is conveys the texture of the opponent he was facing.

A Warm Friendship with Klein — and a Falling-Out

No account of Lie's life can leave out the name of Felix Klein. The two met in Berlin in their youth and hit it off at once. Their temperaments were opposites — the large, easygoing Lie and the quick, sociable Klein — but they shared an interest in “capturing geometry through transformation groups” and became peerless friends who spurred each other on.

In 1870 the two stayed in Paris, soaking up the latest mathematics. But in the same year the Franco-Prussian War broke out, and fate tore them apart. Klein, a German, hurried home. Lie, who stayed behind, happened to be traveling on foot through France when he was suspected of being a German spy and was arrested and detained. There is even an anecdote that the mathematical notes in his luggage were mistaken for coded messages. Fortunately he was released with a scholar's help, but it was a very mathematician-like misfortune.

Afterwards Klein set out, in his famous “Erlangen Program,” a manifesto for classifying geometry by transformation groups. This idea, too, is widely said to owe much to his discussions with the young Lie. In time the two drifted apart, and in later years their relationship grew strained over questions of academic priority. Even so, it is an undeniable fact that the seed of Lie theory was born from the warm dialogues of their youth.

When a Name Becomes a Field

In his later years Lie was a professor at the University of Leipzig, and with the help of collaborators he gathered the theory of continuous transformation groups into thick volumes. His health failing, he finally returned to his homeland of Norway and died in 1899, at the age of 56. He never lived to see how great a harvest his theory would yield in ages to come.

That harvest far exceeded his expectations. In the 20th century, Lie groups and Lie algebras became the foundation of quantum mechanics, supported the classification of elementary particles, and became the language describing the symmetries of relativity. From $\mathfrak{so}(3)$, which represents rotations, to the structure behind the Lorentz transformations of special relativity, modern physics cannot be spoken without Lie's language. From applied mathematics to physics, and even to crystals and the attitude control of robots, wherever a “symmetry you can move continuously” shows up, his name is usually waiting nearby.

A single mathematician's surname has settled, like an adjective, all over the field. This is one of the highest honors a mathematician can receive. Every time we study Lie algebra, without realizing it we speak the name of the late-blooming dreamer from the North. Learning the relation between Lie groups and Lie algebras shows how beautifully the vision he dreamed of — “capturing continuous symmetry” — came to fruition.

Closing — the Person Beyond the Symbols

The bracket $[X, Y]$ and the script letter $\mathfrak{g}$ are, traced back, the crystallization of one human being's wish to “see through differential equations by their symmetry.” A Lie algebra is the still-usable form of the dream that Sophus Lie left behind.

You are now ready to step into the substance of that dream. In the definition of a Lie algebra, let us look properly at the structure he built. Or you may begin with its very heart, the Lie bracket. Once you have moved your hands and grown used to it, you can travel on to the basic level and learn to read the “character” of symmetries. If you walk while picturing the person standing beyond the symbols, the road will surely feel a little friendlier.