Sullivan model of the connected sum of two complex projective planes

ID: sullivan-model-of-the-connected-sum-of-two-complex-projective-planes

The two quadratic relations form a regular sequence in , so their Koszul complex has only the quotient-ring cohomology. Represent the two degree-two classes by rational polynomial forms and choose primitives for the exact relations to obtain a quasi-isomorphism. There are no further generators.

New to topics? Read the docs here!