Formal equivalence conjecture for extensions of codifferentials
Let d=d2+dkd=d_2+d_kd=d2+dk be a codifferential, and let de=d2+dk+dl+⋯d_e=d_2+d_k+d_l+\cdotsde=d2+dk+dl+⋯ and de′=d2+dk+dl′+⋯d_e'=d_2+d_k+d_l'+\cdotsde′=d2+dk+dl′+⋯ be extensions. Two codifferentials are formally equivalent when a formal automo…