Zariski locally. This proves Theorem 3.7 (iii), and finally completes the proof of Theorem 3.7.

Bibliography

[1] L. AMORIM & O. BEN-BASSAT, "Perversely categorified Lagrangian correspondences", *Adv. Theor. Math. Phys.* **21** (2017), no. 2, p. 289-381.

[2] O. BEN-BASSAT, "Multiple derived Lagrangian intersections", in *Stacks and categories in geometry, topology, and algebra*, Contemporary Mathematics, vol. 643, American Mathematical Society, 2015, p. 119-126.

[3] O. BEN-BASSAT, C. BRAV, V. BUSSI & D. JOYCE, "A 'Darboux theorem' for shifted symplectic structures on derived Artin stacks, with applications", *Geom. Topol.* **19** (2015), no. 3, p. 1287-1359.

[4] D. BORISOV & D. JOYCE, "Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds", *Geom. Topol.* **21** (2017), no. 6, p. 3231-3311.

[5] E. BOUAZIZ & I. GROJNOWSKI, "A $d$-shifted Darboux theorem", https://arxiv.org/abs/1309.2197, 2013.

[6] C. BRAV, V. BUSSI, D. DUPONT, D. JOYCE & B. SZENDRŐI, "Symmetries and stabilization for sheaves of vanishing cycles", *J. Singul.* **11** (2015), p. 85-151, with an appendix by Jörg Schürmann.

[7] C. BRAV, V. BUSSI & D. JOYCE, "A Darboux theorem for schemes with shifted symplectic structure", *J. Am. Math. Soc.* **32** (2019), no. 2, p. 399-443.

[8] V. BUSSI, "Categorification of Lagrangian intersections on complex symplectic manifolds using perverse sheaves of vanishing cycles", https://arxiv.org/abs/1404.1329, 2014.

[9] —, "Generalized Donaldson-Thomas theory over fields $K \neq C$", https://arxiv.org/abs/1403.2403, 2014.

[10] V. BUSSI, D. JOYCE & S. MEINHARDT, "On motivic vanishing cycles of critical loci", *J. Algebr. Geom.* **28** (2019), no. 3, p. 405-438.

[11] D. CALAQUE, "Lagrangian structures on mapping stacks and semi-classical TFTs," in *Stacks and categories in geometry, topology, and algebra*, Contemporary Mathematics, vol. 643, American Mathematical Society, 2015, p. 1-23.

[12] D. CALAQUE, T. PANTEV, B. TOËN, M. VAQUIÉ & G. VEZZOSI, "Shifted Poisson structures and deformation quantization", *J. Topol.* **10** (2017), no. 2, p. 483-584.

[13] D. JOYCE, "A classical model for derived critical loci", *J. Differ. Geom.* **101** (2015), no. 2, p. 289-367.

[14] A. KAPUSTIN & L. ROZANSKY, "Three-dimensional topological field theory and symplectic algebraic geometry II", *Commun. Number Theory Phys.* **4** (2010), no. 3, p. 463-549.

[15] M. KONTSEVICH & Y. SOIBELMAN, "Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants", *Commun. Number Theory Phys.* **5** (2011), no. 2, p. 231-352.

[16] J. LURIE, "Higher algebra", prepublication book draft, http://www.math.harvard.edu/~lurie/papers/HA.pdf, 2011.

[17] V. MELANI, "Poisson bivectors and Poisson brackets on affine derived stacks", *Adv. Math.* **288** (2016), p. 1097-1120.

[18] V. MELANI & P. SAFRONOV, "Derived coisotropic structures II: stacks and quantization", *Sel. Math., New Ser.* **24** (2018), no. 4, p. 3119-3173.
[19] T. PANTEV, B. TOËN, M. VAQUIÉ & G. VEZZOSI, "Shifted symplectic structures", *Publ. Math., Inst. Hautes Étud. Sci.* **117** (2013), p. 271-328.

[20] A. PREYGEL, "Thom–Sebastiani and duality for matrix factorizations", https://arxiv.org/abs/1101.5834, 2011.

[21] J. P. PRIDHAM, "Shifted Poisson and symplectic structures on derived N-stacks", *J. Topol.* **10** (2017), no. 1, p. 178-210.

[22] P. SAFRONOV, "Braces and Poisson additivity", *Compos. Math.* **154** (2018), no. 8, p. 1698-1745.

[23] B. TOËN, "Higher and derived stacks: a global overview", in *Algebraic geometry—Seattle 2005. Part 1*, Proceedings of Symposia in Pure Mathematics, vol. 80, American Mathematical Society, 2009, p. 435-487.

[24] —, "Derived algebraic geometry", *EMS Surv. Math. Sci.* **1** (2014), no. 2, p. 153-240.

[25] —, "Derived algebraic geometry and deformation quantization", in *Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II*, Kyung Moon Sa, 2014, p. 769-792.

[26] B. TOËN & G. VEZZOSI, "From HAG to DAG: derived moduli stacks", in *Algebraic, enriched and motivic homotopy theory*, NATO Science Series II: Mathematics, Physics and Chemistry, vol. 131, Kluwer Academic Publishers, 2004, p. 173-216.

[27] —, "Homotopical algebraic geometry. II. Geometric stacks and applications", *Mem. Am. Math. Soc.* **193** (2008), no. 902.