Motivic integral of \(K3\) surfaces over a non-Archimedean field (Q645217)

In this interesting article, the authors prove a formula expressing the motivic integral (a canonical element by \textit{F. Loeser} and \textit{J. Sebag} [Duke Math. J. 119, No. 2, 315--344 (2003; Zbl 1078.14029)] of the localization of the Grothendieck ring of algebraic varieties over a perfect residue field obtained by inverting the class of the affine line) of a \(K3\) surface over \({\mathcal C}((t))\) with semi-stable reduction in terms of the associated limit mixed Hodge structure. Secondary, for every smooth variety over a complete discrete valuation field the authors of the paper under review define an analogue of the monodromy pairing, constructed by Grothendieck in the case of abelian varieties, and prove that their monodromy pairing is a birational invariant of the variety. Finally, they propose a conjectural formula for the motivic integral of maximally degenerate \(K3\) surfaces over an arbitrary complete discrete valuation field and prove this conjecture for Kummer \(K3\) surfaces. The introduction gives a clear resumé of the state of the art in general and this paper in particular. Section 2 presents some preliminary material and deals with the limit mixed Hodge structure associated with a variety over \({\mathcal C}((t))\). The Clements polytope and the nerve of a strictly semi-stable scheme as well as the motivic Serre invariant are also considered. In Section 3, the authors prove their first main result (Theorem 1) on the motivic integral of \(K3\) surfaces over \({\mathcal C}((t))\). For a Calabi-Yau variety \(X\) over complete discrete variation field the motivic integral can be computed from a weak Néron model of \( X \). According to a result from [\textit{S. Bosch} et al., Néron models. Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, 21. Berlin etc.: Springer-Verlag. x, 325 p. (1990; Zbl 0705.14001)] every smooth proper \(K\)-scheme \(X\) admits a weak Néron model. The section contains subsections: Approximation of varieties over the formal disk. Kulikov model. Type III Degeneration. In Section 4, the analogue of the Grothendieck's monodromy pairing theorem in the framework of the theory of analytic spaces over non-Archimedean fields by \textit{V. G. Berkovich} [Spectral theory and analytic geometry over non-Archimedean fields. Mathematical Surveys and Monographs, 33. Providence, RI: American Mathematical Society (AMS). (1990; Zbl 0715.14013)] is proved. Section 5 is devoted to the analysis of the author's conjecture on the motivic integral of maximally degenerate \(K3\) surfaces. In the introduction the authors point out that ``It would be interesting to define geometrically the limit \(1\)-motive attached to \(X\) and use it to compute the motivic integral for \(K3\) surfaces which are not maximally degenerate''.