Reg. Conf. Ser. Math. 66, xii, 130 p. (1986).
Every once in a while a book is published that is so beautiful that one rejoices to be around to read it. The present book is one such. The subject is basic hypergeometric series, or -series. These are series on the form with a rational function of , and some multidimensional extensions. This seems an unpromising topic, yet there are beautiful applications in combinatorics, number theory, statistical mechanics, orthogonal polynomials, Lie and Kac-Moody algebras, group theory, and a marvelous illustration of the power of symbolic algebra on a computer, in this case SCRATCHPAD.
-series start with Euler, but the modern period really starts in England, first with Sylvester’s work on partitions, and second with a very important series of papers by L. J. Rogers. The work of Rogers was completely ignored until one of his papers was read by Ramanujan twenty years after it was written. The main series of three papers of Rogers have been read seriously by a few people, but the paper that led to this trilogy probably had not been read carefully before Andrews read it, and redid it in Chapter 2. Andrews than goes along the same path Rogers took, but uses SCRATCHPAD to obtain enough data to explain to the reader how this material could have been discovered. After Ramanujan’s rediscovery of the Rogers-Ramanujan identities, and his reading of Rogers’s paper on them, new proofs of these identities were found by Rogers and Ramanujan. Bailey had read one of the later papers of Rogers carefully, and found a simple method of forming new series from old. This is explained, and illustrated by obtaining Rogers-Ramanujan identities for mod ,
Integrals and series are clearly analogous to each other. There are times when there is much more than an analogy. Using the orthogonality of it is possible to change many integrals into sums, and vice versa. One very important instance of this is the set of integrals, or constant term identities, that start with Selberg’s multidimensional beta integral, includes the Dyson-Gunson-Wilson identity, the extension of it proved by Zeilberger and Bressoud, and then up to the Macdonald conjectures. Part of this is treated, including the first inclusion of Selberg’s integral with a proof in a book. Since Selberg’s paper is not readily obtainable, this is a service to the many who can use this integral.
The other start of a modern treatment of -series is Sylvester’s work on partitions, with the aim of providing bijective proofs of identities, or showing that two sets are equinumerous by providing an explicit bijection. Some beautiful bijections of Bressoud are given, as is a proof of the very important involution principle of Garsia and Milne. Next, generalized Frobenius partitions are introduced, and are shown to be a very powerful tool to handle certain questions.
The application of most interest outside of pure mathematics is Baxter’s solution of the hard hexagon model in two dimensional statistical mechanics. This is a fascinating story, and the end is not in sight. Andrews, Baxter, Forrester and SCRATCHPAD have done some marvelous work, adding many more exactly solved models to those previously solved by Onsager, Baxter and a few others. A small part of this work is outlined here. A most tantalizing set of functions was introduced by Ramanujan in his last letter to Hardy. He called these mock theta functions, and gave examples of some of orders 3, 5 and 7. Watson explained some of the theory of the third order ones in two papers in the mid 1930’s, and wrote a bit about the fifth order ones. There is still a lot we do not know about these functions, but Andrews with SCRATCHPAD has made substantial progress. The book ends with a description of how to use SCRATCHPAD to attack problems in this area. First, Andrews shows how the Lusztig, Macdonald, Wall conjecture could have been solved using SCRATCHPAD. This is much easier than the original proof by Andrews. Bailey’s work along with the desire to understand the mock theta functions led Andrews to infinitely many identities, with the mock theta functions on the second level. On the first, or easiest, level, he found the remarkable identity;
This gives a new proof of Gauß’s theorem that every positive integer is the sum of three triangular numbers. If you have not found something of beauty that you like by the end of this book, you have my sympathies. I found a lot.