Abstract
We put forward a uniform narrative that weaves together several variants of Hrushovski– Kazhdan style integral, and describe how it can facilitate the understanding of the Denef–Loeser motivic Milnor fiber and closely related objects. Our study focuses on the so-called “nonarchimedean Milnor fiber” that was introduced by Hrushovski and Loeser, and our thesis is that it is a richer embodiment of the underlying philosophy of the Milnor construction. The said narrative is first developed in the more natural complex environment, and is then extended to the real one via descent. In the process of doing so, we are able to provide more illuminating new proofs, free of resolution of singularities, of a few pivotal results in the literature, both complex and real. To begin with, the real motivic zeta function is shown to be rational, which yields the real motivic Milnor fiber; this is an analogue of the Hrushovski–Loeser construction. Then, applying T -convex integration after descent, matching the Euler characteristics of the topological Milnor fiber and the motivic Milnor fiber becomes a matter of simple computation, which is not only free of resolution of singularities as in the Hrushovski–Loeser proof, but is also free of other sophisticated algebro-geometric machineries. Finally, we also establish, in a much more intuitive manner, a new Thom–Sebastiani formula, which can be specialized to the one given by Guibert–Loeser–Merle.
Highlights
Recent years have seen significant development in applying Hrushovski-Kazhdan’s integration theory to the study of Denef-Loeser’s motivic Milnor fiber and related topics
The main goal of this paper is to articulate a uniform narrative on such interactions, and thereby recover several fundamental results regarding motivic Milnor fiber and subjugate them to the same principles afforded by the new perspective, and hopefully open up new fronts of inquiry in the process
The Euler characteristic of the topological Milnor fiber of f is equal to χTb ([F ]) and χTg ([F ]), which in turn are equal to χC([X ])
Summary
Recent years have seen significant development in applying Hrushovski-Kazhdan’s integration theory to the study of Denef-Loeser’s motivic Milnor fiber and related topics. The element (Θ ◦ Eb ◦ )([Xf ]) may be attached to f directly, but to establish its significance, we need to compare it with the zeta function construction It is this reason that forces us to work with an integral whose target only involves doubly bounded sets in RV, namely ⋄, instead of , so as to facilitate the computation of the coefficients of Zf (T ). There are the canonical isomorphism T in (1.3) between the Grothendieck rings (this is the so-called generalized Euler characteristic of definable sets in R ), the tensor expression K TRES[∗] ⊗ K TΓ[∗] of K TRV[∗], and the two retractions ETb , ETg in (1.3).
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
