2 problems

Realization conjecture for formal double complexes. Every double complex in $\text{DC}^{\text{form}}_n$ can be obtained as a formal difference of double complexes arising from comp…

Nilmanifold formality conjecture. The double complex of differential forms for nilmanifolds should be quasi-isomorphic to the double complex of left-invariant differential forms.