Wall-crossing for equivariant DT4 invariants

We prove the wall-crossing formula conjectured by Gross--Joyce--Tanaka for equivariant enumerative invariants of CY4 categories equipped with framing functors. We also establish a version for stable pairs with fixed-determinant obstruction theories, as used in earlier applications by the first-named author. The main technical ingredient, which we develop in this work, is a construction of well-behaved CY4 pullback virtual classes using Jouanolou devices.