
This is the content of proposition REF . We must show that these isomorphisms behave well with respect to the pullback by étale (resp. smooth) maps of critical locus: this is the content of proposition REF . We must also show that they behave well with respect to the Thom-Sebastiani isomorphism from [1]}:
\(\mathcal {TS}_{U,f,V,g}:\mathcal {PV}_{U\times V,f\boxplus g}\simeq \mathcal {PV}_{U,f}\boxtimes \mathcal {PV}_{S,g}\) 
