Combined with the relative version of [[1]}, Theorem 4.5], the argument in the proof of [[2]}, Theorem 5.17] can be extended to the relative case to obtain the first statement. The existence of the virtual fundamental class follows from Behrend-Fantechi [[1]}] and Li-Tian [[4]}].
