21 the empire-builder the chern-gauss-bonnet - Dana Mackenzie

3
174 PART FOUR 21 the empire-builder the chern-gauss-bonnet equation Although it is impossible to summarize a whole century of mathematics in a few sentences, or even in a few pages, some trends can be discerned. The connection between physics and mathematics, which had always been close, in the twentieth century became deeper and more mysterious. Physicists, beginning with Einstein, were routinely startled to discover that mathematicians had already developed the tools they needed. Vice versa, mathematicians kept on discovering that the problems and equations of physics led to the most interesting and deepest mathematics. Another trend in the twentieth century, connected with the first, was the rise of geometry. Einstein’s theory of general relativity required space to be curved, and this demanded a non-Euclidean geometry whose curvature could vary from point to point. Gauss, Lobachevsky, and Bolyai had sowed the seeds of non-Euclidean geometry in the early 1800s, but their geometries had constant curvature. Bernhard Riemann made it possible to vary the curvature. Riemannian, or differential, geometry developed rather slowly for the first half of the twentieth century, but in the second half it exploded and became a central area of mathematics. A third important, and invigorating, trend in mathematics was its increasing globalization, especially after the Second World War. Many

Transcript of 21 the empire-builder the chern-gauss-bonnet - Dana Mackenzie

174 P A R T F O U R

21the empire-builder the chern-gauss-bonnet equation

Although it is impossible to summarize a whole century of mathematics in a few sentences, or even in a few pages, some trends can be discerned. The connection between physics and mathematics, which had always been close, in the twentieth century became deeper and more mysterious. Physicists, beginning with Einstein, were routinely startled to discover that mathematicians had already developed the tools they needed. Vice versa, mathematicians kept on discovering that the problems and equations of physics led to the most interesting and deepest mathematics.

Another trend in the twentieth century, connected with the first, was the rise of geometry. Einstein’s theory of general relativity required space to be curved, and this demanded a non-Euclidean geometry whose curvature could vary from point to point. Gauss, Lobachevsky, and Bolyai had sowed the seeds of non-Euclidean geometry in the early 1800s, but their geometries had constant curvature. Bernhard Riemann made it possible to vary the curvature. Riemannian, or differential, geometry developed rather slowly for the first half of the twentieth century, but in the second half it exploded and became a central area of mathematics.

A third important, and invigorating, trend in mathematics was its increasing globalization, especially after the Second World War. Many

E Q U A T I O N S I N O U R O W N T I M E 175

parts of ancient mathematics had been discovered in Asia, Egypt, or the Arab world before they reached western Europe. But from roughly 1500 to 1900, mathematics was mostly a game for European males. Now, with the inequality of opportunity decreasing, the next great discovery is now (almost) as likely to come from a Zhang or an Alice as from a Smith or a Bob.

If I could choose one figure to exemplify all three of these trends, it would be Shiing-Shen Chern. Born in Jiaxing, China (near Shanghai) in 1911, Chern attended Nankai University near Beijing. He distinguished himself enough there to earn a scholarship to study in Europe. He studied for two years in Frankfurt with a geometer named Wilhelm Blaschke, then moved to Paris for a year to work with Elie Cartan.

At that time, differential geometry was not a very fashionable subject. Looking at Einstein’s field equations on page 161 may give you a sense of why. In order to describe the geometry of a curved space (or “manifold”), you need to establish a set of coordinates on it. When equations are written in terms of these coordinates, they are festooned with symbols (like the indices m and n in the field equations) that act merely as bookkeeping devices. Michael Spivak, author of a classic textbook on differential geometry, calls it “the debauch of indices.”

M represents an even-dimensional space or universe with no boundary. χ(M) is the Euler characteristic of the space, which in two dimensions tells you the number of holes it has. Ω is the curvature of the space. The formula allows you to deduce information about the overall shape of the universe if you know its curvature at every point.

∫ P f (Ω) = (2 p ) nχ(M)

M

176 P A R T F O U R

Ironically, the most important and interesting quantities in differential geometry are precisely those that do not depend on the choice of coordinates. In other words, we spend all this time keeping track of something that in the end we don’t care about! For example, in Einstein’s theory of general relativity, the independence of physical laws from the coordinate system was a fundamental tenet. Yet it took Einstein years to navigate the mathematics and find equations with the appropriate invariance.

Cartan, Chern’s mentor, had pioneered an approach to differential geometry, called “moving frames,” which worked without coordinates. However, Cartan’s theory was extremely obscure and difficult to understand. Chern became his foremost interpreter for the rest of the world. In the process he transformed Cartan’s theory from a local one, suitable for describing small pieces of a curved space, into a global one that dealt with space as a whole. Chern’s first famous result, considered by many (including Chern himself ) to be his greatest work, was a generalization of a nineteenth-century theorem about surfaces that had been named after Karl Freidrich Gauss and Pierre Ossian Bonnet. The Chern–Gauss–Bonnet theorem, as it is now known, reads as follows:

Elwin Street Limited

3rd floor, 144 Liverpool Road London N1 1LA

Tel: +44 (0)20 700 6785 Fax: +44 (0)20 700 6031

Email: [email protected]

© Elwin Street Productions ELEQU 010309, Page 21

studied for two years in Frankfurt with a geometer named Wilhelm Blaschke, then moved to

Paris for a year to work with Elie Cartan.

At that time, differential geometry was not a very fashionable subject. Looking at

Einstein’s field equations on page 000 may give you a sense of why. In order to describe the

geometry of a curved space (or “manifold”), you need to establish a set of coordinates on it.

When equations are written in terms of these coordinates, they are festooned with symbols (like

the indices µ and ν in the field equations) that act merely as bookkeeping devices. Michael

Spivak, author of a classic textbook on differential geometry, calls it “the debauch of indices.”

Ironically, the most important and interesting quantities in differential geometry are

precisely those that do not depend on the choice of coordinates. In other words, we spend all

this time keeping track of something that in the end we don’t care about! For example, in

Einstein’s theory of general relativity, the independence of physical laws from the coordinate

system was a fundamental tenet. Yet it took Einstein years to navigate the mathematics and find

equations with the appropriate invariance.

Cartan, Chern’s mentor, had pioneered an approach to differential geometry, called

“moving frames,” which worked without coordinates. However, Cartan’s theory was extremely

obscure and difficult to understand. Chern became his foremost interpreter for the rest of the

world. In the process he transformed Cartan’s theory from a local one, suitable for describing

small pieces of a curved space, into a global one that dealt with space as a whole.

Chern’s first famous result, considered by many (including Chern himself) to be his

greatest work, was a generalization of a nineteenth-century theorem about surfaces that had

been named after Karl Freidrich Gauss and Pierre Ossian Bonnet. The Chern–Gauss–Bonnet

theorem, as it is now known, reads as follows:

Pf (Ω) = (2π )nM∫ χ(M).

What does this mean? From a top-level view, it means that if we live in a curved space or “manifold” (here denoted M), we can learn something about the global shape of our universe (here denoted χ(M), the Euler characteristic of M) by measuring the curvature (Ω) at every point. The Pfaffian (Pf ) is a specific computation we must do with the curvature, and the integral sign (∫) means that we have to add up the curvatures of every point in the manifold. This is a global theorem par excellence.

Let’s burrow a little bit deeper. In this formula the curved space M is assumed to be (2n)-dimensional. So in the simplest case, where n = 1, we are dealing with a two-dimensional space, or a surface. Surfaces have only one local geometric property that is independent of the coordinate frame, called the Gaussian curvature, K. If the surface is convex the Gaussian curvature is positive. If it is shaped like a potato chip, the curvature is negative. The total curvature within any region on the surface is a measure of how much the