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$\mathbb{K}$Pn, 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$\mathbb{K}$P∞, and then identify the truncation required for passage to finiten. 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$\mathbb{K}$Pn, which are identified as Thom spaces by combining Löwdin's symmetric orthogonalisation (and its quaternionic analogue) with a dash ofPingeometry. 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.

COHOMOLOGY SPLITTINGS OF STIEFEL MANIFOLDS

The complex Stiefel manifolds admit a stable decomposition as Thom spaces of certain bundles over Grassmannians. The purpose of the paper is to identify the splitting in any complex oriented cohomology theory.