Invariant forms compute the Dolbeault cohomology of complex nilmanifolds

We prove that the inclusion of left-invariant forms into the Dolbeault complex of a compact nilmanifold $M$ endowed with a left-invariant complex structure $J$ induces an isomorphism in cohomology in every bidegree, settling a long-standing conjecture.

As consequences, we show that small deformations of $J$ are still invariant, as conjectured by Hasegawa.

We also prove that Bott--Chern, Aeppli, and Frölicher invariants are computed by invariant forms and are independent of the lattice, settling a conjecture of Angella on Bott--Chern cohomology.