Abstract

The main result then has to be rephrased as a necessary and sufficient condition for an obstruction theory to be induced by a derived structure. If a compatible system of liftings of the obstruction theory to inductively defined square-zero extensions exists, then it is induced by a derived structure. Conversely, if the obstruction theory is induced by a derived structure, such an inductive system exists by using the Postnikov decomposition. The precise statement is the following:

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call