homotopy operator