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!