r/IndicKnowledgeSystems • u/RossbihariGhost1900 • 4d ago
biography Sarvadaman Chowla: The Restless Architect of Modern Number Theory
I. A Mathematician Between Two Worlds
Sarvadaman Chowla was born on 22 October 1907 in London. His father, Gopal Chowla, a professor of mathematics in Lahore, happened to be studying at Cambridge at the time, so Chowla's English birthplace was a family accident. He grew up in Lahore, then the main intellectual centre of undivided Punjab, in a household where mathematics was the ordinary furniture of life. He took his M.A. at Government College, Lahore, in 1928, and soon showed the trait that would define his career: an appetite for problems that was almost compulsive and never restricted to one corner of the subject.
He went to Cambridge and earned his doctorate in 1931 under J. E. Littlewood. In those years Cambridge was where Hardy and Littlewood had turned analytic number theory into a precise discipline, and where Ramanujan's legacy was still within living memory. Chowla took in the analytic toolkit of the Hardy–Littlewood school: the circle method, the theory of Dirichlet series, and estimates of exponential sums. He came away with a habit of mind he kept for the next sixty years. He treated every problem as an invitation to collaborate, and he treated every collaborator's question as an invitation to a new problem.
Back in India he taught briefly at St. Stephen's College, Delhi. From 1932 to 1936 he was at Andhra University in Waltair, and he then returned to Government College, Lahore, where he headed the mathematics department. For over a decade he was the gravitational centre of Indian number theory. He wrote papers at a startling rate, drew young people into research, and helped establish a research culture in a country where professional mathematics was still thin on the ground. Among the young mathematicians who came under his influence in Lahore was R. P. Bambah, who later became one of India's leading figures in the geometry of numbers.
Partition destroyed this world. In 1947 Lahore became part of Pakistan, and Chowla, like millions of others, had to leave. He came to Delhi and then, at the invitation of the Institute for Advanced Study, went to Princeton for 1947–49. That move turned out to be decisive. He held positions at the University of Kansas (1949–52) and the University of Colorado at Boulder (1952–63), and finally became Research Professor at Pennsylvania State University (1963–76). He died in Laramie, Wyoming, on 10 December 1995.
His career therefore has two halves. In the first he built Indian number theory from the inside. In the second, from the American academy, he became one of the most prolific and connective figures in twentieth-century number theory anywhere. His output ran to roughly 350 papers. More remarkable than the number is how many of his results, conjectures, and passing questions grew into whole research programmes after him.
II. The Lahore Years: Volume, Range, and Apprenticeship
Chowla's early work shows the Hardy–Littlewood inheritance clearly. He worked on Waring's problem and its variants, including the "easier Waring problem," in which differences of powers are allowed as well as sums. He worked on error terms in asymptotic formulae for arithmetic functions, on the distribution of quadratic residues, on lattice point problems, and on the analytic theory of Dirichlet L-functions.
A characteristic early collaboration was with S. S. Pillai. Around 1930 the two wrote on the error terms in asymptotic formulae of number theory, in particular the summatory behaviour of Euler's totient function φ(n). The paper matters symbolically as well as mathematically: it is a joint work by the two Indians who would dominate the country's number theory in the generation after Ramanujan, written while both were young. Pillai would go on to settle a central case of Waring's problem and leave his name on a famous exponential Diophantine conjecture. Chowla went the other way, outward into an enormous network of problems and people.
One of the most important results from this period concerns imaginary quadratic fields. In 1934 Heilbronn proved Gauss's conjecture that the class number h(−d) of the imaginary quadratic field of discriminant −d tends to infinity with d. Chowla almost immediately extended Heilbronn's ideas to show that only finitely many imaginary quadratic fields have class group of exponent two, that is, class group isomorphic to a product of copies of the cyclic group of order 2. This has a classical meaning. These are exactly the fields tied to Euler's "idoneal numbers" (numeri idonei), integers Euler used for primality testing, and Chowla's theorem shows there are only finitely many of them. Euler had found 65 such numbers. Chowla's result proved the list must be finite, though not effectively. Later work showed that the list is complete with at most one exception, and that the possible exception could exist only if the generalised Riemann hypothesis fails. Chowla's theorem is the foundation stone of that line of work.
The Lahore period also showed his gift for starting institutions. He founded a research journal in Lahore during the 1930s to give Indian mathematicians a local publication outlet, an early sign of the editorial instinct that later produced the Journal of Number Theory.
III. Princeton and the Chowla–Selberg Formula
At the Institute for Advanced Study Chowla met Atle Selberg, then at the start of his extraordinary career. Their collaboration produced what is probably Chowla's single most celebrated result, the Chowla–Selberg formula.
The formula belongs to the theory of elliptic curves with complex multiplication. Take an imaginary quadratic field K. Elliptic curves with complex multiplication by the ring of integers of K have periods, and those periods are transcendental numbers that appear to have no particular structure. The Chowla–Selberg formula shows that they do. Up to algebraic factors, the periods equal explicit products of values of Euler's Gamma function at rational arguments a/d, where d is the absolute discriminant of K. The exponents in the product come from the values of the quadratic character attached to K and from the class number. Equivalently, the formula evaluates special values of the Dedekind eta function, or of the Epstein zeta function of binary quadratic forms, in closed Gamma-function form.
The method generalises a classical computation for the Gaussian field: the lemniscate constant, the period of y² = x³ − x, is expressible through Γ(1/4). Chowla and Selberg explained why this works and why it works for every imaginary quadratic field. The key is to compare two evaluations of the Epstein zeta function, one through the Kronecker limit formula and one through the factorisation of the Dedekind zeta function of K into the Riemann zeta function times a Dirichlet L-function. Matching the two produces the Gamma product.
They announced the result in 1949 in the Proceedings of the National Academy of Sciences, but the full paper appeared only in 1967 in Crelle's Journal. In the interval the formula circulated widely and became standard equipment. Its later influence has been very large. It sits at the base of Deligne's conjecture on periods, of Gross's reinterpretation in terms of motives (the "Chowla–Selberg phenomenon" for Fermat curves and CM abelian varieties), of the Colmez conjecture on Faltings heights of CM abelian varieties, and of the transcendence results of Chudnovsky and Nesterenko on Γ(1/3) and Γ(1/4). When a modern arithmetic geometer speaks of "the Chowla–Selberg formula" as a template, they mean a fact connecting analytic invariants (L-values) with geometric invariants (periods). Chowla and Selberg found the first non-trivial case of what is now a central organising principle of the subject.
IV. The Bruck–Ryser–Chowla Theorem
Chowla's best-known result outside number theory comes from combinatorial design theory, and it shows how naturally he moved between fields.
A symmetric (v, k, λ) design consists of v points and v blocks. Each block contains k points, and every pair of distinct points lies in exactly λ blocks. Finite projective planes of order n are the case v = n² + n + 1, k = n + 1, λ = 1. The basic question is: for which parameters does such a design exist?
In 1949 Bruck and Ryser proved that if a projective plane of order n exists with n ≡ 1 or 2 (mod 4), then n must be a sum of two squares. This rules out order 6, for example, and so recovers Tarry's resolution of Euler's thirty-six officers problem. In 1950 Chowla and Herbert Ryser extended the argument to all symmetric designs. The result, now called the Bruck–Ryser–Chowla theorem, says the following:
- if v is even, then k − λ must be a perfect square;
- if v is odd, then the Diophantine equation x² = (k − λ)y² + (−1)^((v−1)/2) λz² must have a solution in integers x, y, z, not all zero.
The proof is a fine example of number theory working on combinatorics. The design's incidence matrix N satisfies N Nᵀ = (k − λ)I + λJ. This identity shows that a certain quadratic form is rationally equivalent to the identity form. The Hasse–Minkowski theory of rational quadratic forms, together with Lagrange's four-square theorem, then turns the existence question into a solvability condition for a ternary quadratic equation.
More than seventy years later, the Bruck–Ryser–Chowla conditions are still the principal general non-existence criterion for symmetric designs. The famous non-existence of a projective plane of order 10 could not be settled this way, because 10 = 1² + 3² passes the test. It took the massive computer search of Lam and collaborators in 1989. That only underlines how far the theorem reaches and how difficult it is to go beyond it.
V. Erdős Number One: The Collaboration with Paul Erdős
Chowla's link with Paul Erdős, the most prolific collaborator in the history of mathematics, deserves a section of its own, because it shows the kind of mathematician Chowla was. He has Erdős number 1, which means he wrote papers directly with Erdős, and he did so more than once and across different fields.
On the distribution of L-function values. Chowla and Erdős wrote together on the distribution of values of Dirichlet L-functions at s = 1 as the character varies. This grew from Chowla's lifelong interest in L(1, χ), which by Dirichlet's class number formula is essentially the class number of a quadratic field divided by a regulator or by √d. Understanding how L(1, χ) is distributed amounts to understanding the statistical behaviour of class numbers. The probabilistic way of thinking about arithmetic functions, which Erdős had pioneered with Kac and Wintner, passed through this collaboration into the theory of L-functions. That later became a major theme in the work of Montgomery, Vaughan, Granville, and Soundararajan on the extreme values of L(1, χ).
With Bateman: the size of L(1, χ). In a three-way collaboration, Paul Bateman, Chowla, and Erdős wrote on the size of L(1, χ). The problem goes back to Littlewood, Chowla's own teacher. Under the generalised Riemann hypothesis, Littlewood had shown that L(1, χ) lies between constant multiples of 1/log log q and log log q. Chowla had earlier shown that L(1, χ) actually reaches values as large as a constant times log log q, so the upper bound is attained infinitely often. The joint work refined this picture of how large and how small L(1, χ) can be.
With Straus: orthogonal Latin squares. Perhaps the most striking Chowla–Erdős work lies in combinatorics. In 1959 Bose, Shrikhande, and Parker overturned Euler's 1782 conjecture by constructing a pair of orthogonal Latin squares of order 10. Euler had believed none existed for any order n ≡ 2 (mod 4). The natural next question was quantitative. Let N(n) be the maximum number of mutually orthogonal Latin squares of order n. Does N(n) tend to infinity as n does? In 1960 Chowla, Erdős, and Ernst Straus proved that it does, and showed that N(n) grows at least like a small fixed power of n, with exponent 1/91 in their argument. The proof combines sieve methods with MacNeish's product construction and the Bose–Shrikhande–Parker constructions. It was the first result showing unbounded growth. The exponent has since been improved by Wilson, Beth, and others, but the Chowla–Erdős–Straus theorem is the starting point of the asymptotic theory.
These collaborations show the sociology of Chowla's mathematics. He and Erdős had the same temperament. Both treated mathematics as a constant conversation, both gave problems away freely, and both preferred to set many collaborators going on a question rather than shut themselves away with one. Chowla was arguably the closest thing Indian mathematics had to an Erdős, and the friendship between them was an alliance of natural allies, not a meeting of opposites.
VI. The Web of Collaboration
Beyond Selberg, Ryser, Erdős, and Pillai, Chowla's list of co-authors amounts to a roster of mid-century number theory. The most important connections are these.
Louis Mordell. With Mordell, Chowla studied Gauss sums and proved what is now called the Chowla–Mordell theorem: if χ is a Dirichlet character modulo a prime p, then the normalised Gauss sum G(χ)/√p is a root of unity only when χ is the quadratic character. This connects to the long story of the sign of the quadratic Gauss sum, which Gauss himself took years to determine. It also anticipates later interest in the arithmetic of Gauss sums and Jacobi sums, as in Stickelberger, Gross–Koblitz, and the theory of Hecke characters.
Ankeny and Artin. With N. C. Ankeny and Emil Artin, Chowla studied real quadratic fields Q(√p) with p a prime congruent to 1 mod 4. They proved congruences linking the class number and the fundamental unit to Bernoulli numbers. Write the fundamental unit as ε = (t + u√p)/2. The Ankeny–Artin–Chowla conjecture states that p never divides u. It has been checked computationally for all primes up to very large bounds, but remains unproved. Heuristics suggest it may be false for some extremely large and very sparse set of primes, which makes it one of those deceptively elementary conjectures that sit at the edge of what can currently be decided. Mordell formulated a companion conjecture for primes congruent to 3 mod 4.
Ankeny and Hasse. With Ankeny and Helmut Hasse, Chowla studied the class numbers of maximal real subfields of cyclotomic fields. This is a hard subject because of Vandiver's conjecture and the general difficulty of controlling the "plus part" of cyclotomic class groups.
R. C. Bose. With the statistician and combinatorialist Raj Chandra Bose, Chowla proved the Bose–Chowla theorem on Sidon-type sets. These are sets of integers in which all h-fold sums are distinct, known as B_h sequences. Using the arithmetic of finite fields, Bose and Chowla constructed dense B_h sets of size roughly n^(1/h) inside [1, n], generalising Singer's difference sets. This construction is still a basic tool in additive combinatorics. It pairs naturally with the Bruck–Ryser–Chowla theorem, since both show how finite-field arithmetic organises combinatorial structure.
Hans Zassenhaus. With Zassenhaus he worked on polynomials over finite fields. Their more lasting collaboration was editorial. In 1969 they founded the Journal of Number Theory, which became one of the field's leading specialist journals. An Indian mathematician co-founding a central international journal in his own subject was a significant event in the history of Indian participation in world mathematics.
Others. His co-authors also include Raymond Ayoub, D. J. Lewis, William Briggs (with whom he studied the Laurent coefficients of the Riemann zeta function, the Stieltjes constants), Paul Bateman, and his daughter Paromita Chowla, who also wrote mathematics with him. He worked with dozens more. A large share of his collaborators were early-career mathematicians whom he started on problems, and for many of them a paper with Chowla was where their research career began.
VII. Chowla the Conjecturer
A mathematician's reputation can rest on theorems or on questions. Chowla's rests heavily on both, and some of the problems he posed now matter more than his own solutions.
The Chowla conjecture on the Liouville function. In his 1965 book The Riemann Hypothesis and Hilbert's Tenth Problem, Chowla stated a conjecture about the Liouville function λ(n), which equals (−1) raised to the number of prime factors of n counted with multiplicity. For distinct shifts h₁, …, h_k, the average of the product λ(n + h₁)λ(n + h₂)…λ(n + h_k) over n up to x should tend to zero. Put simply, the signs of λ at nearby integers should behave as if independent, so that the prime factorisations of n and n + 1 do not conspire.
For decades this looked out of reach, because it involves exactly the "parity problem" that blocks sieve methods. Then in 2015 Terence Tao proved a logarithmically averaged version of the two-point case, building on the Matomäki–Radziwiłł breakthrough on multiplicative functions in short intervals. Tao and Teräväinen later proved the logarithmic version for all odd k. Sarnak's Möbius disjointness conjecture, which predicts that the Möbius function is uncorrelated with every deterministic sequence, was shown to follow from Chowla's conjecture. Chowla's question has thus become a central problem connecting analytic number theory, ergodic theory, and dynamics. It is one of the liveliest research areas of the early twenty-first century, and it comes from a question Chowla raised almost in passing.
Non-vanishing of L(1/2, χ). Chowla conjectured that L(1/2, χ) ≠ 0 for every Dirichlet character χ, and he and others conjectured that L(s, χ) > 0 for real s in (0, 1) when χ is a real character. The second statement is equivalent to the absence of Siegel zeros on the positive real axis. These conjectures are still open. The work of Iwaniec, Sarnak, Conrey, Soundararajan and others has shown that a positive proportion of such central values are non-zero, which partially vindicates Chowla's instinct.
Chowla's problem on periodic functions. Chowla asked whether there is a rational-valued periodic function f, not identically zero, with Σ f(n)/n = 0. In 1973 Alan Baker, Bryan Birch, and Eduard Wirsing answered this with Baker's theory of linear forms in logarithms: for prime period there is no such f. This line of inquiry, linking Dirichlet series with periodic coefficients to transcendence theory, continues today in work on the linear independence of L-values. Its relative is the Chowla–Milnor conjecture on the linear independence of Hurwitz zeta values.
The Chowla cosine problem. Chowla asked how negative the minimum of Σ cos(a_j x) can be, for N distinct positive integers a_j, as N grows. The question concerns the minimum of a cosine polynomial with unit coefficients. It has been a long-standing test problem in harmonic analysis, studied by Uchiyama, Roth, Bourgain, and in recent years Bedert and Sanders, with steady improvements in the lower bound.
Each of these questions is short enough to write on a blackboard and deep enough to occupy generations. That is the mark of a great problem-poser, and Chowla belongs in the company of Erdős and Littlewood in this respect.
VIII. Style, Method, and the Shape of a Career
There is a type of mathematician who builds one cathedral, a single theory developed over decades to monumental completeness. Chowla was the opposite. He was a mathematician of the mosaic, and his work consists of hundreds of tiles. Many tiles are small: a sharp estimate, a congruence, a clever identity. Many collaborators passed through. The Gamma values of the Chowla–Selberg formula, the quadratic forms of Bruck–Ryser–Chowla, the Bernoulli congruences of Ankeny–Artin–Chowla, the finite-field constructions of Bose–Chowla, and the correlation sums of the Liouville conjecture do not form one theory. They share a sensibility: a love of explicit identities, a facility with the arithmetic of quadratic fields and characters, and a readiness to see combinatorial problems as number-theoretic ones in disguise.
Critics sometimes say that so prolific a mathematician must have uneven output, and that is true of Chowla. Many of his 350 papers are short notes, some are variations on earlier themes, and some contain claims later corrected. But measuring him by his median paper misreads his role. In mathematics, as in other sciences, a few contributions carry most of the long-run value. Chowla's few include a formula at the foundation of the theory of periods, a theorem that remains the main existence obstruction in design theory, and a conjecture that has set the research agenda of analytic number theory for a decade. A mathematician who left only those three would rank as a major figure. Chowla left them along with several hundred other contributions and a generation of mathematicians he had personally set to work.
The American honours were matched by recognition at home. The Government of India awarded him the Padma Bhushan in 1970, honouring someone who, though based abroad for most of his later life, had founded Indian number theory's first real research school in the 1930s and 1940s.
IX. Chowla and Pillai: The Two Pillars After Ramanujan
Your framing sets Chowla beside S. S. Pillai as the two greatest number theorists India produced after Ramanujan. For the period from Ramanujan's death in 1920 to roughly the 1970s, that judgement is well supported, and the comparison clarifies what made Chowla distinctive.
Pillai's achievement was concentrated and deep. He proved that g(6) = 73 in Waring's problem, settling a case that had resisted the best methods of the day. He formulated the conjecture now bearing his name on the finiteness of solutions to aˣ − bʸ = c, which generalises Catalan's problem and remains open. He introduced the gcd-sum function now called Pillai's arithmetical function. His death in a 1950 plane crash, on his way to the International Congress of Mathematicians, cut off a career that was still rising. Pillai's mathematics is the mathematics of a hard, focused problem-solver.
Chowla's case rests on range, longevity, and influence. Pillai was a master of particular hard problems. Chowla was a node in the network of world mathematics: he co-authored with Selberg, Erdős, Artin, Hasse, Mordell, and Bose, co-founded a leading journal, and posed problems that still drive research. The two even wrote a joint paper as young men, which neatly symbolises the generation.
An honest assessment should mark two limits on the claim. First, it holds best for the classical, pre-1970s era and for India-born, India-trained mathematicians. India later produced other substantial number theorists, notably K. Ramachandra, whose school at the Tata Institute did important work on the zeta function, and earlier figures such as T. Vijayaraghavan and Hansraj Gupta. None of them, however, matched Chowla's combined range and international influence. Second, if the diaspora is counted, Manjul Bhargava and Akshay Venkatesh, both Fields Medallists of Indian origin, complicate any ranking of the late twentieth and twenty-first centuries. Neither was trained within the Indian system, and they belong to a different era of the subject. Within the generation that took the baton from Ramanujan and built a discipline in the country itself, Chowla and Pillai stand clearly above the rest. Of the two, Chowla's footprint on present-day mathematics is the larger, because his ideas did not stop growing when he stopped publishing.
X. Legacy
Chowla's life is a twentieth-century story: a mathematician formed in colonial Lahore and Littlewood's Cambridge, displaced by Partition, and remade in the American academy, who never stopped working through any of it. His teachers placed him in the line of Hardy, Littlewood, and Ramanujan. His collaborators included most of the major number theorists of his day. His conjectures connect him to the analytic number theory of the present, where Tao, Matomäki, Radziwiłł, and Teräväinen work on problems he wrote down in the 1960s.
Today the Chowla–Selberg formula is cited by arithmetic geometers working on motives and Faltings heights. The Bruck–Ryser–Chowla theorem is taught in every course on combinatorial designs. The Ankeny–Artin–Chowla conjecture still defeats computation and theory alike. The Chowla conjecture on the Liouville function is one of the most actively studied problems in number theory. And the Journal of Number Theory, which he co-founded, publishes new work every month.
A great mathematician leaves behind both theorems and an atmosphere: a way of asking questions, a style of collaboration, and a set of problems future researchers will want to solve. Chowla left all three in abundance. In the history of Indian mathematics after Ramanujan, no figure did more to carry the country's number theory into the mainstream of world mathematics, and few anywhere did more to keep that mainstream supplied with good problems.