There’s a new popular book out about number theory by the team of Avner Ash and Robert Gross, entitled Summing It Up: From one plus one to modern number theory. This is the third such book that they have written, and I’m embarrassed that it seems that I never reviewed the other two here. All three are highly recommended for anyone who wants a popular book-level introduction to some of the central topics of modern number theory.

*Summing It Up*is the latest of the three, but it’s also the most elementary. It’s an introduction to the subject of modular forms, starting at the very beginning. The first half of the book covers in detail some basic ideas about number theory that can be understood in elementary terms, including things like the problems of counting the ways an integer can be a sum of squares or higher powers, or partitioned as a sum of smaller integers. The second half of the book tries to explain in as simple and concrete terms as possible what a “modular form” is, and what some of the properties of such objects are.I’ve just finished teaching a graduate course on representation theory, and ended up the course with a short discussion of the representations of the group SL(2,

**R**) (two by two real matrices of determinant one), and what this had to do with modular forms. The relation of modular forms to representation theory (not discussed in the book) is roughly the following. The action of SL(2,**R**) on itself by left multiplication induces an action on functions on the quotient space SL(2,R)/SL(2,**Z**) (elements of SL(2,**Z**) are matrices with integer entries) and one can ask how this representation decomposes into irreducible representations, with modular forms providing part of the answer. How this works is quite basic to our modern understanding of how representation theory and number theory are related.In the last few chapters the authors try to explain how modular forms answer concrete counting questions raised in the first half of the book. A problem with trying to do this kind of thing is that while the questions may be straightforward to state, and the basic definitions of modular forms relatively accessible, connecting the two requires invoking some subtleties (half-integral modular forms). The authors several times apologize for not being able to explain exactly what is going on. I’ve always been quite fascinated by these particular subtleties, since they appear in the basic relationship of representation theory and quantum mechanics. The half-integrality here is related to the half-integer that appears in the ground-state energy of the harmonic oscillator. For quite a bit about how this is related to representation theory, see the book I’ve been working on. I’d love some day to write about the relationship of the ideas that appear in quantum mechanics to the ones that appear in modular forms, but first of all I need to understand myself much better what is going on.

- The first of the three books by Ash and Gross was Fearless Symmetry: Exposing the Hidden Patterns of Numbers, published in 2006. It’s perhaps the best place to start for a popular introduction to the Langlands program and what it says about the relationship of number theory and representation theory. Modular forms make a brief appearance in that book, where an explanation of them had to be skipped over due to a lack of space. The newest book makes up for that omission.
- The second of the three books was the 2012 Elliptic Tales: Curves, Counting, and Number Theory. It covers in detail the topic of elliptic curves and their role in number theory, aiming at a description of one of the main open problems of the subject, the conjecture due to Birch and Swinnerton-Dyer. This is a very active subject of current research, with significant progress being made. If one had to guess which of the Millenium Problems will be the next to fall, this might be a good bet.

While there’s a long tradition of popular books about number theory, these typically emphasize elementary methods for solving problems, ones that can be understood without a lot of the modern machinery. The first two Ash-Gross books do a good job of trying to give some insight into this modern machinery, even though a popular book can only do this in a very limited way (just as popular physics books can only give a very limited explanation of quantum field theory). The new one is different in that it makes a serious effort to explain exactly what is really going on, although following this path means that the book can only cover the first steps in the direction of modern techniques for understanding number theory.

Can someone explain why the Riemann hypothesis isn’t related to Langlands? The hypothesis is one of the deepest in number theory, and it just seems to me that Langlands should have something deep to say about it.

Once again your blog has provided me with inspiration as to what book to buy/read next. This time the (third) book by Ash and Gross. Hopefully, a physicist like I will be able to digest it; if not, then no hard feelings, of course. Thanks for your blog.

“If one had to guess which of the Millenium Problems will be the next to fall, this might be a good bet.”

Funnily, my master’s thesis’ advisor told me that BSD was like a 27th century-level conjecture or something.

I have the first two books and I find them fascinating. I have studied electrical engineering, so I have some practical math skills, but the books are still challenging. I must applaud the authors for their audacious approach. It is not a light read (like “Love and Math” by Frenkel), but neither is it an academic book (like “Essential topology” by Crossley). But the books showed me some real modern mathematics that I never tasted in university. I will buy the third book when I’ve finished the second.

Note: If you buy the books you should consider buying the paper version. The Kindle version is not very good with the formulas. The Kindle text is ASCII but the formulas are pictures, so they don’t scale with the text. The Kindle version is still readable, but the paper version is much more comfortable.

@uair01: For reading pleasure, there is nothing like a book of paper in your hands. Books should always be read this way, I think, not looking on some electronic screen. But perhaps it is just me that is old-fashioned, or getting old, for that matter :-).

@ John Fredsted

—

Perhaps you are old-fashioned. As for getting old, there is no doubt ðŸ™‚

Question: Why is counting up related to scaling symmetry?

One of the recurrent curious phenomena in mathematics and in physics is that counting problems, where we seem to be adding up one-by-one, packaged in a suitable function (such as Riemann’s zeta), are then shown to be related (through that packaging function) to a scale invariant function (here the theta functions, which are modular). The Langlands Program is connects a counting function (in a Galois representation) to an automorphic form and representation, meeting in their respective L-functions.

Similarly, the 2d Ising model, solved in many ways by adding up one-by-one the interactions, that is, exp -beta Ei, and packaging them together in the partition function (whose log is the negative of the chemists’ free energy), can also be solved by means of renormalization (scaling up from 2 by 2, to 4 by 4, …), as done by Kadanoff and Wilson, and also by Hilhorst, Schick, and van Leuven. And, as pointed out by J-M Maillard, the basic symmetries of that Ising model are embodied in two quadratic forms in the Boltzmann factors (see Baxter’s book, chapter 10), whose intersection is an elliptic curve.

It is a happy coincidence that this is published so soon after the Ramanujan biopic opened.

@ former mathematician

I had not heard about the film, “The Man Who Knew Infinity”, the Ramanujan biopic. Thanx for mentioning it.

Peter, sad news. Tom Kibble passed away.

Maybe would be nice to hear some tributes from you on him and his impact on particle physics

Shantanu,

Sorry to hear that. Unfortunately I never met Kibble and am not well-informed about him and his work, so best I leave this to others.

Not even in EW symmetry breaking and his role in discovering the Higgs mechanism?

Around 2012, Frank Close was backing him to win the Nobel for his role in Higgs discovery.