Thanks to the work of Hrushovski and Loeser on motivic Milnor fibers, we give a model-theoretic proof for the motivic Thom–Sebastiani theorem in the case of regular functions. Moreover, slightly extending Hrushovski–Loeser’s construction adjusted to Sebag, Loeser and Nicaise’s motivic integration for formal schemes and rigid varieties, we formulate and prove an analogous result for formal functions. The latter is meaningful as it has been a crucial element of constructing Kontsevich–Soibelman’s theory of motivic Donaldson–Thomas invariants.
Funding source: H2020 European Research Council
Award Identifier / Grant number: 246903/NMNAG
Funding statement: The author is partially supported by the Centre Henri Lebesgue (program “Investissements d’avenir”, ANR-11-LABX-0020-01) and by ERC under the European Community’s Seventh Framework Programme (FP7/2007-2013), ERC Grant Agreement no. 246903/NMNAG.
The author is grateful to François Loeser, Julien Sebag and Michel Raibaut for useful discussions. He would like to thank the Centre Henri Lebesgue and the Université de Rennes 1 for awarding him a postdoctoral fellowship and an excellent atmosphere during his stay there.
 A. Abbes, Éléments de géométrie rigide. Volume I: Construction et étude géométrique des espaces rigides, Progr. Math. 286, Birkhäuser, Basel 2010. 10.1007/978-3-0348-0012-9Search in Google Scholar
 J. Denef and F. Loeser, Motivic Igusa zeta functions, J. Algebraic Geom. 7 (1998), 505–537. Search in Google Scholar
 J. Denef and F. Loeser, Geometry on arc spaces of algebraic varieties, European congress of mathematics. Vol. 1 (Barcelona 2000), Progr. Math. 201, Birkhäuser, Basel (2001), 327–348. 10.1007/978-3-0348-8268-2_19Search in Google Scholar
 G. Guibert, F. Loeser and M. Merle, Iterated vanishing cycles, convolution, and a motivic analogue of the conjecture of Steenbrink, Duke Math. J. 132 (2006), 409–457. 10.1215/S0012-7094-06-13232-5Search in Google Scholar
 E. Hrushovski and D. Kazhdan, Integration in valued fields, Algebraic geometry and number theory, Progr. Math. 253, Birkhäuser, Basel (2006), 261–405. 10.1007/978-0-8176-4532-8_4Search in Google Scholar
 E. Looijenga, Motivic measures, Astérisque 276 (2002), 267–297. Search in Google Scholar
 M. Saito, Mixed Hodge modules and applications, Proceedings of the ICM (Kyoto 1990), Springer, Tokyo (1991), 725–734. Search in Google Scholar
 J. H. M. Steenbrink, Mixed Hodge structure on the vanishing cohomology, Real and complex singularities (Oslo 1976), Sijthoff and Noordhoff, Alphen aan den Rijn (1977), 525–563. 10.1007/978-94-010-1289-8_15Search in Google Scholar
 A. N. Varchenko, Asymptotic Hodge structure in the vanishing cohomology (Russian), Izv. Akad. Nauk SSSR Ser. Math. 45 (1981), 540–591; translation in Math. USSR Izv. 18 (1982), 469–512. Search in Google Scholar
© 2018 Walter de Gruyter GmbH, Berlin/Boston