ON THE SYMMETRIC SQUARES OF COMPLEX AND QUATERNIONIC PROJECTIVE SPACE

The problem of computing the integral cohomology ring of the symmetric square of a topological space has long been of interest, but limited progress has been made on the general case until recently. We offer a solution for the complex and quaternionic projective spaces KPn, by utilising their rich geometrical structure. Our description involves generators and relations, and our methods entail ideas from the literature of quantum chemistry, theoretical physics, and combinatorics. We begin with the case KP infinity, and then identify the truncation required for passage to finite n. The calculations rely upon a ladder of long exact cohomology sequences, which compares cofibrations associated to the diagonals of the symmetric square and the corresponding Borel construction. These incorporate the one-point compactifications of classic configuration spaces of unordered pairs of points in KPn, which are identified as Thom spaces by combining Lowdin's symmetric orthogonalisation (and its quaternionic analogue) with a dash of Pin geometry. The relations in the ensuing cohomology rings are conveniently expressed using generalised Fibonacci polynomials. Our conclusions are compatible with those of Gugnin mod torsion and Nakaoka mod 2, and with homological results of Milgram.