Modular forms, projective structures, and the four squares theorem

Michael Eastwood, Ben Moore

It is well-known that Lagrange's four-square theorem, stating that every natural number may be written as the sum of four squares, may be proved using methods from the classical th…