Theorem 6.7 In the sense of [[1]}], the map \(\Phi : \mathbf {E}^\bullet \rightarrow \mathbb {L}_{\mathfrak {PT}^P_{\mathfrak {X}/\mathfrak {C}}/\mathfrak {C}^P}\)  is a perfect relative obstruction theory for
\(\mathfrak {PT}^P_{\mathfrak {X}/\mathfrak {C}}\)  over \(\mathfrak {C}^P\) .

