Abstract
We give an explicit formula for the motivic zeta function in terms of a log smooth model. It generalizes the classical formulas for sncmodels, but it gives rise to much fewer candidate poles, in general. This formula plays an essential role in recent work on motivic zeta functions of degenerating Calabi–Yau varieties by the secondnamed author and his collaborators. As a further illustration, we explain how the formula for Newton nondegenerate polynomials can be viewed as a special case of our results.
Introduction
Denef and Loeser’s motivic zeta function is a subtle invariant associated with hypersurface singularities over a field k of characteristic zero. It can be viewed as a motivic upgrade of Igusa’s local zeta function for polynomials over padic fields. The motivic zeta function is a power series over a suitable Grothendieck ring of varieties, and it can be specialized to more classical invariants of the singularity, such as the Hodge spectrum. The main open problem in this context is the socalled monodromy conjecture, which predicts that each pole of the motivic zeta function is a root of the Bernstein polynomial of the hypersurface.
One of the principal tools in the study of the motivic zeta function is its explicit computation on a log resolution [8, 3.3.1]. While this formula gives a complete list of candidate poles of the zeta function, in practice most of these candidates tend to cancel out for reasons that are not well understood. Understanding this cancellation phenomenon is the key to the monodromy conjecture. The aim of this paper is to establish a formula for the motivic zeta function in terms of log smooth models instead of log resolutions (Theorem 5.3.1). These log smooth models can be viewed as partial resolutions with toroidal singularities. Our formula generalizes the computation on log resolutions, but typically gives substantially fewer candidate poles (Proposition 5.4.2). A nice bonus is that, even for log resolutions, the language of log geometry allows for a cleaner and more conceptual proof of the formula for the motivic zeta function in [28], and to extend the results to arbitrary characteristic (Corollary 5.3.2). We will also indicate in Sect. 8.2 how our formula gives a conceptual explanation for the determination of the set of poles of the motivic zeta function of a curve singularity; this is the only dimension in which the monodromy conjecture has been proven completely. A special case of our formula has appeared in the literature under a different guise, namely, the calculation of motivic zeta functions of hypersurfaces that are nondegenerate with respect to their Newton polyhedron [11]. We will explain the precise connection (and correct some small errors in [11]) in Sect. 8.3.
Our results apply not only to Denef and Loeser’s motivic zeta function, but also to the motivic zeta functions of degenerations of Calabi–Yau varieties that were introduced in [12]. Here the formula in terms of log smooth models is particularly relevant in the context of the Gross–Siebert program on toric degenerations and Mirror Symmetry, where log smooth models appear naturally in the constructions. We have already applied our formula to compute the motivic zeta function of the degeneration of the quartic surface in [27]. Our formula is also used in an essential way in [13] to prove an analog of the monodromy conjecture for a large and interesting class of degenerations of Calabi–Yau varieties (namely, the degenerations with monodromyequivariant Kulikov models).
The main results in this paper form a part of the first author’s Ph.D. thesis [5]. They were announced in [6].
Notations and conventions
The general theory of logarithmic schemes that we will use is explained in [10, 16, 17]. For the reader’s convenience, we have included a userfriendly introduction to regular log schemes and their fans in Sect. 3. These results are not new, but they are scattered in the literature. This is not meant to be a selfcontained introduction to logarithmic geometry: we assume that the reader is familiar with the basic definitions of the theory, as explained for instance in Sects. 1–4 of [16]. In the remainder of the paper, we will frequently refer back to this section for auxiliary results on logarithmic geometry.
Unless explicitly stated otherwise, all logarithmic structures in this paper are defined with respect to the Zariski topology, like in [17], and all the log schemes are Noetherian and fs (fine and saturated). This means that they satisfy condition (S) in [17, 1.5], and are, in addition, quasicompact. We will discuss a generalisation of our results to the Nisnevich topology in Sect. 6.2.
Log schemes will be denoted by symbols of the form \(\mathcal {X}^\dagger \), and the underlying scheme will be denoted by \(\mathcal {X}\). We write \(M_{\mathcal {X}^\dagger }\) for the sheaf of monoids on \(\mathcal {X}^\dagger \). We will follow the convention in [10] and speak of regular log schemes and smooth morphisms between log schemes instead of log regular log schemes and log smooth morphisms. When we refer to geometric properties of the underlying schemes instead, this will always be clearly indicated.
Monoids
Generalities
For general background on the algebraic theory of monoids, we refer to [10, §4]. All monoids are assumed to be commutative, and we will most often use the additive notation \((M,+)\), with neutral element 0. The embedding of the category of abelian groups into the category of monoids has a left adjoint \((\cdot )^{\mathrm {gp}}\), which is called the groupification functor. For every monoid M, we have a canonical morphism of monoids \(M\rightarrow M^{\mathrm {gp}}\) by adjunction. The monoid M is called integral if this morphism is injective. This is equivalent to saying that the addition on M satisfies the cancellation property, that is, \(x+z=y+z\) implies \(x=y\) for all x, y and z in M. An integral monoid M is called saturated if an element m in \(M^{\mathrm {gp}}\) belongs to M if and only if there exists an integer \(d>0\) such that dm belongs to M. We say that a monoid M is fine if it is finitely generated and integral.
The embedding of the category of integral monoids into the category of monoids has a left adjoint, which is denoted by \((\cdot )^{\mathrm {int}}\). For every monoid M, we have a canonical morphism \(M\rightarrow M^{\mathrm {int}}\) by adjunction, and this morphism is surjective. Since every group is integral, the morphism \(M\rightarrow M^{\mathrm {gp}}\) factors through \(M^{\mathrm {int}}\). The induced morphism \(M^{\mathrm {int}}\rightarrow M^{\mathrm {gp}}\) is injective, so that we can identify \(M^{\mathrm {int}}\) with the image of the groupification morphism \(M\rightarrow M^{\mathrm {gp}}\). Likewise, the embedding of the category of saturated monoids into the category of monoids has a left adjoint \((\cdot )^{\mathrm {sat}}\), and we can identify \(M^{\mathrm {sat}}\) with the submonoid of \(M^{\mathrm {gp}}\) consisting of the elements m such that dm belongs to \(M^{\mathrm {int}}\) for some integer \(d>0\). A monoid M is integral, resp. saturated, if and only if the natural morphisms \(M\rightarrow M^{\mathrm {int}}\), resp. \(M\rightarrow M^{\mathrm {sat}}\), are isomorphisms.
For every monoid M, we denote by \(M^\times \) the submonoid of invertible elements of M. The monoid M is called sharp when \(M^{\times }=\{0\}\). Note that sharp monoids are, in particular, torsion free, because all torsion elements are invertible. We denote by \(M^\sharp \) the sharp monoid \(M/M^\times \), called the sharpification of M. We set \(M^+ = M\backslash M^\times \), the unique maximal ideal of M. For every monoid M, we denote by \(M^\vee \) its dual monoid: \(M^{\vee }=\mathrm {Hom}(M,\mathbb {N})\). We will also consider the submonoid \(M^{\vee ,\mathrm {loc}}\) of \(M^{\vee }\) consisting of local homomorphisms \(M\rightarrow \mathbb {N}\), that is, morphisms \(\varphi :M\rightarrow \mathbb {N}\) such that \(\varphi (m)\ne 0\) for every \(m\in M^+\).
Remark 2.1.1
When working with monoids, it is useful to keep in mind the following more concrete description: if M is a fine, saturated and torsion free monoid, then we can identify M with the monoid of integral points of the convex rational polyhedral cone \(\sigma \) generated by M in the vector space \(M^{\mathrm {gp}}\otimes _{\mathbb {Z}}\mathbb {R}\). Conversely, for every convex rational polyhedral cone \(\sigma \) in \(\mathbb {R}^n\), the intersection \(M=\sigma \cap \mathbb {Z}^n\) is a fine, saturated and torsion free monoid, by Gordan’s Lemma (see [10, 4.3.22]). The monoid M is sharp if and only if \(\sigma \) is strictly convex. This correspondence between fine, saturated and torsion free monoids and convex rational polyhedral cones preserves the faces, by [10, 4.4.7]: the faces of M are precisely the intersections of the faces of \(\sigma \) with the lattice \(M^{\mathrm {gp}}\).
A monoidal space is a topological space T endowed with a sheaf M of monoids. If (T, M) is a monoidal space, we will denote by \(T^\sharp \) the monoidal space obtained by equipping T with the sheaf \(M^\sharp = M/M^\times \), where
for every open subspace U in T. This construction applies, in particular, to the monoidal space \((\mathcal {X},M_{\mathcal {X}^{\dagger }})\) associated with a log scheme \(\mathcal {X}^{\dagger }\); the result will be denoted by \((\mathcal {X}^{\dagger })^{\sharp }\).
The root index
Definition 2.2.1
Let M be a fine and saturated monoid endowed with a morphism of monoids \(\varphi :\mathbb {N}\rightarrow M\). The root index of \(\varphi \) is defined to be 0 if \(\varphi (1)\) is invertible. Otherwise, it is the largest positive integer \(\rho \) such that the residue class of \(\varphi (1)\) in \(M^{\sharp }\) is divisible by \(\rho \).
Note that such a largest \(\rho \) exists because \(M^{\sharp }\) is a submonoid of the free abelian group of finite rank \((M^{\sharp })^{\mathrm {gp}}\). The importance of the root index lies in the following properties.
Proposition 2.2.2
Let M be a fine and saturated monoid, and let \(\varphi :\mathbb {N}\rightarrow M\) be a morphism of monoids. Denote by \(\rho \) the root index of \(\varphi \). For every positive integer d, we consider the monoid
 (1)
The monoid M(d) is fine for every \(d>0\).
 (2)
If d divides \(\rho \), then \(M^{\sharp }\rightarrow (M(d)^{\mathrm {sat}})^{\sharp }\) is an isomorphism, and the morphism
$$\begin{aligned} \varphi _d:\frac{1}{d}\mathbb {N}\rightarrow M(d)^{\mathrm {sat}} \end{aligned}$$has root index \(\rho /d\).
 (3)
If d is prime to \(\rho \), then the morphisms
$$\begin{aligned} M^{\times }\rightarrow M(d)^{\times },\qquad M(d)^{\times }\rightarrow (M(d)^{\mathrm {sat}})^{\times } \end{aligned}$$are isomorphisms. In particular, if M is sharp, then so are M(d) and \(M(d)^{\mathrm {sat}}\).
Proof

(1)
It is obvious that M(d) is finitely generated. It is also integral because we can apply the criteria of [16, 4.1] to the morphism \(\mathbb {N}\rightarrow (1/d)\mathbb {N}\).

(2)
Assume that d divides \(\rho \). We may suppose that M is sharp, because the morphism
$$\begin{aligned} (M(d)^{\mathrm {sat}})^{\sharp }\rightarrow (M^{\sharp }(d)^{\mathrm {sat}})^{\sharp } \end{aligned}$$is an isomorphism by the universal properties of sharpification, coproduct and saturation. Let m be an element of M such that \(\rho m=\varphi (1)\). Then
$$\begin{aligned} d((\rho /d)m\varphi _d(1/d))=0, \end{aligned}$$so that \((\rho /d)m\varphi _d(1/d)\) is a unit in M(d) and \((\rho /d)m=\varphi _d(1/d)\) in \((M(d)^{\mathrm {sat}})^{\sharp }\). Using the universal properties of the coproduct, saturation and sharpification, together with the fact that M is sharp and saturated, we obtain a morphism of monoids \((M(d)^{\mathrm {sat}})^{\sharp }\rightarrow M\) that sends the residue class of \(\varphi _d(1/d)\) to \((\rho /d)m\) and that is inverse to \(M\rightarrow (M(d)^{\mathrm {sat}})^{\sharp }\). It follows at once that
$$\begin{aligned} \varphi _d:\frac{1}{d}\mathbb {N}\rightarrow M(d)^{\mathrm {sat}} \end{aligned}$$has root index \(\rho /d\).

(3)
Assume that d is prime to \(\rho \). It suffices to prove that the composed morphism \(M^{\times }\rightarrow (M(d)^{\mathrm {sat}})^{\times }\) is an isomorphism, because \(M(d)^{\times }\rightarrow (M(d)^{\mathrm {sat}})^{\times }\) is injective since M(d) is integral. Let x be an invertible element in \(M(d)^{\mathrm {sat}}\). We must show that x lies in M. Since \(M\rightarrow M(d)^{\mathrm {sat}}\) is exact by [10, 4.4.42(vi)], it is enough to prove that \(x\in M^{\mathrm {gp}}\). We can write x as (m, i / d) with \(m\in M^{\mathrm {gp}}\) and \(i\in \{0,\ldots ,d1\}\). Since M is saturated, the element dx lies in M, and hence in \(M^{\times }\) because we can apply the same argument to the inverse of x. This means that \(dm=i\varphi (1)\) in \(M^{\sharp }\). But d is prime to \(\rho \), so that d divides i. Hence, \(i=0\) and \(x\in M^{\mathrm {gp}}\). \(\square \)
Regular log schemes
Kato’s definition of regularity
The notion of regularity for logarithmic schemes was introduced by Kato [17]. It can be viewed as a generalization of the theory of toroidal embeddings in [18]. An important advantage of the logarithmic approach is that it works equally well in mixed characteristic; moreover, the monoidal structure on logarithmic schemes keeps track in an efficient way of the cones that describe the local toroidal structure.
Let \(\mathcal {X}^{\dagger }\) be a log scheme. Thus \(\mathcal {X}^{\dagger }\) consists of a scheme \(\mathcal {X}\), equipped with a sheaf of monoids \(M_{\mathcal {X}^{\dagger }}\) and a morphism of sheaves of monoids
such that the induced morphism \(\alpha ^{1}({\mathcal {O}}^{\times }_{\mathcal {X}})\rightarrow {\mathcal {O}}^{\times }_{\mathcal {X}}\) is an isomorphism. In particular, \(\alpha \) identifies the invertible elements in \(M_{\mathcal {X}^{\dagger }}\) and \({\mathcal {O}}_{\mathcal {X}}\). For every point x of \(\mathcal {X}\), we call the monoid
the characteristic monoid of \(\mathcal {X}^{\dagger }\) at x. We say that the log structure is trivial at x if \(M^{\sharp }_{\mathcal {X}^{\dagger },x}=\{0\}\), that is, if every element in the stalk \(M_{\mathcal {X}^{\dagger },x}\) is invertible.
Assume that \(\mathcal {X}^{\dagger }\) is Noetherian and fs (fine and saturated). Thus it satisfies condition (S) in [17, 1.5]. Then the characteristic monoids of \(\mathcal {X}^{\dagger }\) are sharp, fine and saturated. For every point x of the underlying scheme \(\mathcal {X}\), we denote by \(I_{\mathcal {X}^{\dagger },x}\) the ideal in \({\mathcal {O}}_{\mathcal {X},x}\) generated by the image of \(M^+_{\mathcal {X}^{\dagger },x}=M_{\mathcal {X}^{\dagger },x}{\setminus } M^{\times }_{\mathcal {X}^{\dagger },x}\) in \({\mathcal {O}}_{\mathcal {X},x}\). The log scheme \(\mathcal {X}^{\dagger }\) is called regular at x if \({\mathcal {O}}_{\mathcal {X},x}/I_{\mathcal {X}^{\dagger },x}\) is regular and
Here \(\dim (M^{\sharp }_{\mathcal {X}^{\dagger },x})\) denotes the Krull dimension of the monoid \(M^{\sharp }_{\mathcal {X}^{\dagger },x}\), which can also be expressed as the rank of the free abelian group \((M^{\sharp }_{\mathcal {X}^{\dagger },x})^{\mathrm {gp}}\) by [10, 4.4.10]. An important consequence of the definition is that every regular log scheme is normal, by [17, 4.1]. Every quasicompact fine and saturated log scheme that is smooth over a regular log scheme is itself regular, by [17, 8.2].
The idea behind the definition of regularity for log schemes is that, when \(\mathcal {X}^{\dagger }\) is regular at x, the lack of regularity of the scheme \(\mathcal {X}\) at x is encoded in the characteristic monoid \(M^{\sharp }_{\mathcal {X}^{\dagger },x}\). By Remark, 2.1.1, we can think of \(M^{\sharp }_{\mathcal {X}^{\dagger },x}\) as the monoid of integral points in a strictly convex rational polyhedral cone, and this cone describes the toroidal structure of \(\mathcal {X}\) at x. An explicit description of the completed local ring of \(\mathcal {X}\) at x in terms of the characteristic monoid can be found in [17, 3.2].
Example 3.1.1
An important class of logarithmic structures are the divisorial log structures. Let \(\mathcal {X}\) be a Noetherian integral scheme, and let D be a Weil divisor on \(\mathcal {X}\). Then D gives rise to a log structure M on \(\mathcal {X}\), called the divisorial log structure induced by D. The sheaf of monoids M is defined by
where \(i:\mathcal {X}{\setminus } D\rightarrow \mathcal {X}\) is the open embedding of the complement of D in \(\mathcal {X}\). Thus the sections of M are the regular functions on \(\mathcal {X}\) that are invertible outside D.
The log scheme \(\mathcal {X}^{\dagger }=(\mathcal {X},M)\) is not fine and saturated, in general. However, if \(\mathcal {X}\) is regular and the reduced divisor \(D_{\mathrm {red}}\) has strict normal crossings, then \(\mathcal {X}^{\dagger }\) is regular. If x is a point of \(\mathcal {X}\) and \((z_1,\ldots ,z_n)\) is a regular system of local parameters in \({\mathcal {O}}_{\mathcal {X},x}\) such that \(D_{\mathrm {red}}\) is defined by \(z_1\cdot \ldots \cdot z_r=0\) locally at x, for some \(0\le r\le n\), then \(I_{\mathcal {X}^\dagger ,x}\) is the ideal generated by \((z_1,\ldots ,z_r)\), and \(M_x/M^{\times }_x\) is a free monoid of rank r. A basis for this monoid is given by the residue classes of \(z_1,\ldots ,z_r\).
Conversely, let \(\mathcal {X}^{\dagger }\) be a log regular scheme. Let D be the set of the points x of \(\mathcal {X}\) where the log structure is nontrivial. It follows from [17, 11.6] that D is a closed subset of \(\mathcal {X}\) of pure codimension one; thus we can view it as a reduced Weil divisor on \(\mathcal {X}\). Then by [17, 11.6], the log structure on \(\mathcal {X}^{\dagger }\) is precisely the divisorial log structure induced by D. For every point x of \(\mathcal {X}^{\dagger }\), we can interpret the characteristic monoid
as the monoid of effective Cartier divisors on \({{\,\mathrm{Spec}\,}}{\mathcal {O}}_{\mathcal {X},x}\) supported on the inverse image of D.
Note, however, that \(\mathcal {X}\) is not necessarily regular. For instance, if \(\mathcal {X}\) is a toric variety over a field, and D is its toric boundary, then the divisorial log structure induced by D makes \(\mathcal {X}\) into a regular log scheme (see Example 3.2.3).
Fans and log stratifications
Let \(\mathcal {X}^\dagger \) be a regular log scheme, and consider its associated fan \(F(\mathcal {X}^\dagger )\) in the sense of [17, §10]. This is a sharp monoidal space whose underlying topological space is the subspace of \(\mathcal {X}\) consisting of the points x such that \(M_{\mathcal {X}^\dagger ,x}^+\) generates the maximal ideal of \({\mathcal {O}}_{\mathcal {X},x}\). The sheaf of monoids on \(F(\mathcal {X}^\dagger )\) is the pullback of the sheaf \(M^{\sharp }_{\mathcal {X}^{\dagger }}=M_{\mathcal {X}^\dagger }/{\mathcal {O}}_{\mathcal {X}}^{\times }\) on \(\mathcal {X}\). A dictionary between this notion of fan and the usual notion in toric geometry is provided in Example 3.2.3 below.
By [10, 10.6.9(ii)], the natural morphism of monoidal spaces
has a canonical retraction \(\pi :(\mathcal {X}^{\dagger })^{\sharp }\rightarrow F(\mathcal {X}^\dagger )\). It sends a point x of \(\mathcal {X}\) to the point of \(F(\mathcal {X}^\dagger )\) that corresponds to the prime ideal \(I_{\mathcal {X}^{\dagger },x}\) of \({\mathcal {O}}_{\mathcal {X},x}\). The map \(\pi \) is open, by [10, 10.6.9(iii)]. With the help of this retraction, we can enhance the construction of the Kato fan to a functor from the category of regular log schemes to the category of fans, by sending a morphism of regular log schemes \(h:\mathcal {Y}^{\dagger }\rightarrow \mathcal {X}^{\dagger }\) to the morphism of fans obtained as the composition
See [10, §10.6] for additional background.
For every point \(\tau \) of \(F(\mathcal {X}^{\dagger })\), we denote by \(r(\tau )\) the dimension of the sharp, fine and saturated monoid \(M_{F(\mathcal {X}^{\dagger }),\tau }=M^{\sharp }_{\mathcal {X}^{\dagger },\tau }\). We call this number the rank of \(\tau \). The fiber \(\pi ^{1}(\tau )\) is an irreducible locally closed subset of \(\mathcal {X}\) of pure codimension \(r(\tau )\), and it is a regular subscheme of \(\mathcal {X}\) if we endow it with its reduced induced structure [10, 10.6.9(iii)]. We denote this subscheme by \(E(\tau )^o\). Locally around each point x of \(E(\tau )^o\), the scheme \(E(\tau )^o\) is the zero locus of the prime ideal \(I_{\mathcal {X}^{\dagger },x}\) of \({\mathcal {O}}_{\mathcal {X},x}\). We write \(E(\tau )\) for the schematic closure of \(E(\tau )^o\) in \(\mathcal {X}\). Then \(E(\tau )\) is the disjoint union of the sets \(E(\sigma )^o\) where \(\sigma \) runs through the closure of \(\{\tau \}\) in \(F(\mathcal {X}^{\dagger })\), because the retraction \(\pi \) is open. Thus the collection of subschemes
is a stratification of \(\mathcal {X}\), which is called the log stratification of \(\mathcal {X}^{\dagger }\). It follows immediately from the definitions that \(\tau \) is the generic point of \(E(\tau )^o\) and \(E(\tau )\).
Proposition 3.2.1
Let \(\mathcal {X}^{\dagger }\) be a regular log scheme. Then the morphism
is an isomorphism of sheaves of monoids. In particular, the sheaf \(M^{\sharp }_{\mathcal {X}^{\dagger }}\) is constant along every stratum \(E(\tau )^o\) of the logarithmic stratification.
Proof
This is stated without proof in [17, 10.2]; as observed in [10, 10.6.9(i)], it follows from the construction of the retraction \(\pi \) in [10, 10.6.9(ii)]. \(\square \)
It follows that, for every point x of \(E(\tau )^o\), the monoid \(M_{\mathcal {X}^{\dagger },x}^{\sharp }\) has dimension \(r(\tau )\); we say that \(E(\tau )^o\) is a stratum of rank \(r(\tau )\).
Example 3.2.2
Let R be a discrete valuation ring. We write \(S={{\,\mathrm{Spec}\,}}R\) and denote by s and \(\eta \) the closed and generic point of S, respectively. We denote by \(S^{\dagger }\) the log scheme obtained by endowing S with the divisorial log structure induced by the closed point s; this is called the standard log structure on S. Then \(M_{S^{\dagger }}(S)=R{\setminus } \{0\}\) and \(M_{S^{\dagger }}(\eta )=K^{\times }\). Thus the fan \(F(S^{\dagger })\) consists of the underlying topological space \(S=\{s,\eta \}\) of S, endowed with the sheaf of monoids \(M_{F(S^{\dagger })}\) determined by
Example 3.2.3
Let k be a field, and let \(Y=Y(\Sigma )\) be a toric variety over k, associated with a fan \(\Sigma \) in \(\mathbb {R}^n\). We endow Y with the divisorial log structure induced by the toric boundary divisor D; the resulting log scheme will be denoted by \(Y^{\dagger }\).
Let y be a point of Y, and let \(\sigma \) be the unique cone in \(\Sigma \) such that y is contained in the torus orbit \(O(\sigma )\). We will describe the characteristic monoid \(M^{\sharp }_{\mathcal {Y}^{\dagger },y}\) at y. By definition, the monoid \(M_{\mathcal {Y}^{\dagger },y}\) consists of the functions in \({\mathcal {O}}_{Y,y}\) that are invertible outside D. By [9, 3.3], we can write such a function in a unique way as \(u\chi ^m\), where u is a unit in \({\mathcal {O}}_{Y,y}\) and \(\chi ^m\) is the character associated with an element m of \(\sigma ^{\vee }\cap \mathbb {Z}^n\). Thus \(M^{\sharp }_{\mathcal {Y}^{\dagger },y}=(\sigma ^{\vee }\cap \mathbb {Z}^n)^{\sharp }\). Locally around y, the zero locus of the elements in \(M^+_{\mathcal {Y}^{\dagger },y}\) is the torus orbit \(O(\sigma )\). Since \(O(\sigma )\) is regular of dimension
the log scheme \(\mathcal {Y}^{\dagger }\) is regular at y.
Our description of the characteristic monoids of \(\mathcal {Y}^{\dagger }\) also implies that the logarithmic strata of \(\mathcal {Y}^{\dagger }\) are precisely the torus orbits of Y. Thus the points of the fan \(F(\mathcal {Y}^{\dagger })\) are in bijective correspondence with the cones in the fan \(\Sigma \). If y and \(y'\) are points of \(F(\mathcal {Y}^{\dagger })\) and we denote by \(\sigma \) and \(\sigma '\) the corresponding cones in \(\Sigma \), then \(y'\) lies in the closure of \(\{y\}\) if and only if \(\sigma \) is a face of \(\sigma '\). The cospecialization map
is precisely the inclusion
induced by the face map \(\sigma \rightarrow \sigma '\). Thus the fan \(F(\mathcal {Y}^{\dagger })\) encodes the monoids of integral points in the cones of \(\Sigma \) (or rather, the sharpified dual cones) and how they are glued together in the fan \(\Sigma \); see also [17, 9.5].
Boundary divisor and divisorial valuations
Let \(\mathcal {X}^{\dagger }\) be a regular log scheme. The boundary of \(\mathcal {X}^{\dagger }\) is the locus of points where the log structure is nontrivial; this is a closed subset of \(\mathcal {X}\) of pure codimension one, and it is equal to the union of the strata \(E(\tau )^o\) such that \(M_{F(\mathcal {X}^{\dagger }),\tau }\ne 0\). We denote by D the reduced Weil divisor supported on the boundary of \(\mathcal {X}^{\dagger }\). Then the log structure on \(\mathcal {X}^{\dagger }\) coincides with the divisorial log structure induced by D (see Example 3.1.1). If we denote by \(E_i,\,i\in I\) the prime components of D, then a point \(\tau \) of \(\mathcal {X}\) belongs to \(F(\mathcal {X}^{\dagger })\) if and only if it is a generic point of \(\cap _{j\in J}E_j\) for some subset J of I, by [4, 2.2.3] (note that, when J is empty, this intersection equals \(\mathcal {X}\)). In that case, \(E(\tau )\) is the connected component of \(\cap _{j\in J}E_j\) that contains \(\tau \), and
Example 3.3.1
Let \(\mathcal {X}\) be a quasicompact regular scheme and let D be a strict normal crossings divisor on \(\mathcal {X}\). Let \(\mathcal {X}^{\dagger }\) be the log scheme that we obtain by endowing \(\mathcal {X}\) with the divisorial log structure induced by D (see Example 3.1.1). Then \(\mathcal {X}^{\dagger }\) is log regular and its boundary coincides with D. Conversely, if \(\mathcal {X}^{\dagger }\) is a regular log scheme, then the underlying scheme \(\mathcal {X}\) is regular if and only if \(M_{F(\mathcal {X}^{\dagger }),\tau }\) is isomorphic to \(\mathbb {N}^{r(\tau )}\) for every \(\tau \) in \(F(\mathcal {X}^{\dagger })\) [10, 10.5.35]. In that case, the boundary divisor D of \(\mathcal {X}^{\dagger }\) has strict normal crossings [33, 2.7].
Let \(\mathcal {X}^{\dagger }\) be any regular log scheme, and fix a point \(\tau \) of the fan \(F(\mathcal {X}^{\dagger })\). Let \(F(\tau )\) be the subspace of \(F(\mathcal {X}^{\dagger })\) consisting of the points \(\sigma \) such that \(\tau \) is contained in the closure of \(\{\sigma \}\). We denote by \(M_{F(\tau )}\) the restriction of the sheaf of monoids \(M_{F(\mathcal {X}^{\dagger })}\) to \(F(\tau )\). Then the monoidal space \((F(\tau ),M_{F(\tau )})\) is canonically isomorphic to the spectrum of the characteristic monoid \(M_{F(\mathcal {X}^{\dagger }),\tau }\), by [17, 10.1] and its proof. This implies, in particular, that the prime ideals of height one in \(M_{F(\mathcal {X}^{\dagger }),\tau }\) are in bijective correspondence with the strata \(E(\sigma )\) such that \(\sigma \) is a codimension one point in \(F(\mathcal {X}^{\dagger })\) whose closure contains \(\tau \); these are precisely the irreducible components of D that pass through \(\tau \).
If \({\mathfrak {p}}\) is a prime ideal of height one in \(M_{F(\mathcal {X}^{\dagger }),\tau }\) and \(\sigma \) is the corresponding point of \(F(\tau )\), then
This monoid is generated by the residue class of a local equation for \(E(\sigma )\) at its generic point \(\sigma \). More generally, for every element f in \(M_{\mathcal {X}^{\dagger },\sigma }\), the residue class of f in \(M_{F(\mathcal {X}^{\dagger }),\sigma }= \mathbb {N}\) is the order of f along the component \(E(\sigma )\).
We can also interpret this from the perspective of the dual monoid \(M^{\vee }_{F(\mathcal {X}^{\dagger }),\tau }\). The complement of a height one prime ideal \({\mathfrak {p}}\) in \(M_{F(\mathcal {X}^{\dagger }),\tau }\) is a codimension one face of \(M_{F(\mathcal {X}^{\dagger }),\tau }\). The dual face
of \(M^{\vee }_{F(\mathcal {X}^{\dagger }),\tau }\) is generated by the localization morphism
The map
is a bijection between the set of height one prime ideals in \(M_{F(\mathcal {X}^{\dagger }),\tau }\) and the set of onedimensional faces of \(M^{\vee }_{F(\mathcal {X}^{\dagger }),\tau }\) (in view of Remark 2.1.1, this follows from the classical duality properties of convex rational polyhedral cones).
Subdivisions
Let \(F'\) be a fine and saturated proper subdivision of the fan \(F(\mathcal {X}^{\dagger })\) in the sense of [17, 9.7]. Such a subdivision gives rise to a proper étale morphism of log schemes \(h:\mathcal {Y}^{\dagger }\rightarrow \mathcal {X}^{\dagger }\) such that \(F(\mathcal {Y}^{\dagger })\) is isomorphic to \(F'\) over \(F(\mathcal {X}^{\dagger })\). Moreover, h is an isomorphism over the log trivial locus of \(\mathcal {X}^{\dagger }\). More precisely, the discriminant locus of \(h:\mathcal {Y}\rightarrow \mathcal {X}\) is the union of strata \(E(\tau )\) in \(\mathcal {X}\) such that the morphism of monoidal spaces \(F'\rightarrow F(\mathcal {X}^{\dagger })\) is not an isomorphism over any open neighbourhood of \(\tau \) in \(F(\mathcal {X}^{\dagger })\). Let \(\tau '\) be a point of \(F(\mathcal {Y}^{\dagger })\) and denote by \(\tau \) its image in \(F(\mathcal {X}^{\dagger })\). Then the morphism \(M^{\mathrm {gp}}_{F(\mathcal {X}^{\dagger }),\tau }\rightarrow M^{\mathrm {gp}}_{F(\mathcal {Y}^{\dagger }),\tau '}\) is surjective by the definition of a subdivision. In particular, \(r(\tau )\ge r(\tau ')\). Denote by N the kernel of \(M^{\mathrm {gp}}_{F(\mathcal {X}^{\dagger }),\tau }\rightarrow M^{\mathrm {gp}}_{F(\mathcal {Y}^{\dagger }),\tau '}\). It follows immediately from the construction of the morphism \(h:\mathcal {Y}^{\dagger }\rightarrow \mathcal {X}^{\dagger }\) in the proof of [17, 9.9] that \(E(\tau ')^o\) is a torsor over \(E(\tau )^o\) with translation group
Example 3.4.1
For toric varieties, the subdivisions in [17, 9.6] correspond to subdivisions of the toric fan via the dictionary provided in Example 3.2.3. The associated morphism of log schemes is precisely the toric modification associated with the subdivision of the toric fan.
Charts
Let \(\mathcal {X}^{\dagger }\) be a fine and saturated log scheme. A chart for \(\mathcal {X}^{\dagger }\) is a strict morphism of log schemes \(\mathcal {X}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^\dagger \mathbb {Z}[N]\), where N is a monoid and we denote by \({{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[N]\) the scheme \({{\,\mathrm{Spec}\,}}\mathbb {Z}[N]\) endowed with the log structure induced by \(N\rightarrow \mathbb {Z}[N]\). Here strict means that the log structure on \(\mathcal {X}^{\dagger }\) is the pullback of the log structure on \({{\,\mathrm{Spec}\,}}^{\dagger } \mathbb {Z}[N]\). If \(\mathcal {X}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger } \mathbb {Z}[N]\) is a chart for \(\mathcal {X}^{\dagger }\), then for every point x of \(\mathcal {X}\), the morphism of monoids \(N\rightarrow M_{\mathcal {X}^{\dagger },x}\) induces a surjection \(N\rightarrow M^{\sharp }_{\mathcal {X}^{\dagger },x}\). Thus, up to a multiplicative factor, every element in \(M^+_{\mathcal {X}^{\dagger },x}\) lifts to an element of \(N^+\). Therefore, if \(\mathcal {X}^{\dagger }\) is regular, then locally around x, the logarithmic stratum that contains x is the zero locus of the image of \(N^+\) in \({\mathcal {O}}_{\mathcal {X},x}\). We will use this description in the proof of Lemma 4.1.2.
For every fine and saturated log scheme \(\mathcal {X}^{\dagger }\) and every point x of \(\mathcal {X}\), we can find locally around x a chart of the form \(\mathcal {X}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger } \mathbb {Z}[M^{\sharp }_{\mathcal {X}^{\dagger },x}]\), by the proof of [10, 10.1.36(i)]. Then the induced morphism of monoids \(M^{\sharp }_{\mathcal {X}^{\dagger },x}\rightarrow M_{\mathcal {X}^{\dagger },x}\) is a section of the projection morphism \(M_{\mathcal {X}^{\dagger },x}\rightarrow M^{\sharp }_{\mathcal {X}^{\dagger },x}\).
If \(f:\mathcal {Y}^{\dagger }\rightarrow \mathcal {X}^{\dagger }\) is a morphism of fine and saturated log schemes, then a chart for f is a commutative diagram of log schemes
where g is induced by a morphism of monoids \(N\rightarrow P\) and the horizontal maps are charts. Locally on \(\mathcal {Y}^{\dagger }\) and \(\mathcal {X}^{\dagger }\), we can always find a chart for f with N and P fine and saturated monoids. More precisely, if \(\mathcal {X}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[N]\) is any chart with N fine and saturated, then locally on \(\mathcal {Y}^{\dagger }\), we can find a morphism of fine and saturated monoids \(N\rightarrow P\) and a chart for f as in the diagram above. This follows from [10, 10.1.40], except for the fact that we can choose P to be saturated; that property follows from the proof of [10, 10.1.37].
One usually cannot choose the chart \(\mathcal {Y}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[P]\) independently of the morphism f, because there may not be a morphism of monoids \(N\rightarrow P\) that makes the diagram commute. In practice, one can solve this problem by modifying the monoid P; let us discuss the only case that will be used in this paper (in the proof of Lemma 4.1.2). Suppose that we are given charts \(\mathcal {X}^{\dagger } \rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[N]\) and \(\mathcal {Y}^{\dagger } \rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[Q]\), where the monoid N is isomorphic to \(\mathbb {N}\). Let y be a point of \(\mathcal {Y}\) and set \(x=f(y)\). We denote by \(\varphi \) the morphism of monoids \(Q\rightarrow M_{\mathcal {Y}^{\dagger },y}\) induced by the given chart for \(\mathcal {Y}^{\dagger }\). Denote by h the image of the generator of N under the composed morphism
By the surjectivity of the morphism \(Q\rightarrow M^{\sharp }_{\mathcal {Y}^{\dagger },y}\), we can find a unit u in \({\mathcal {O}}_{\mathcal {Y},y}\) such that uh lifts to an element q in Q. Now we set \(P=Q\times \mathbb {Z}\) and, locally around y, we consider the chart for \(\mathcal {Y}^{\dagger }\) induced by the morphism of monoids \(P\rightarrow M_{\mathcal {Y}^{\dagger },y}\) that maps (a, b) to \(u^b\varphi (a)\). Then f has a chart as in the diagram above, where the morphism of monoids \(N\rightarrow P\) sends the generator of N to \((q,1)\).
Smoothness versus regularity
For the applications in Sect. 8 we will also need the following result, which relates log regularity and log smoothness. For the definition of regularity for log schemes with respect to the étale topology, we refer to [30, 2.2]. It is the direct analog of the Zariski case, replacing points by geometric points and local rings by their strict henselizations. The basic theory of logarithmic smoothness can be found in [16, §3.3].
Proposition 3.6.1
Let R be a discrete valuation ring with residue field k, and set \(S={{\,\mathrm{Spec}\,}}(R)\). We denote by \(S^{\dagger }\) the scheme S equipped with its standard log structure (see Example 3.2.2). Let \(\mathcal {X}^{\dagger }\) be a fine and saturated log scheme of finite type over \(S^{\dagger }\) (with respect to the Zariski or étale topology).
 (1)
If \(\mathcal {X}^{\dagger }\) is regular, then \(\mathcal {X}\) is flat over S.
 (2)
If \(\mathcal {X}^{\dagger }\) is smooth over \(S^{\dagger }\), then it is regular.
 (3)
If k has characteristic zero and \(\mathcal {X}^{\dagger }\) is regular, then \(\mathcal {X}^{\dagger }\) is smooth over \(S^{\dagger }\) .
Proof
(1) Assume that \(\mathcal {X}^{\dagger }\) is regular. Then \(\mathcal {X}^{\dagger }\) is normal; in particular, it does not have any embedded components. For every point x of the special fiber \(\mathcal {X}_k\), the morphism \(\mathcal {X}^{\dagger }\rightarrow S^{\dagger }\) induces a commutative diagram
where s denotes the closed point of S. If t is a uniformizer in R, then t is not invertible in \({\mathcal {O}}_{\mathcal {X}^{\dagger },x}\), so that the log structure on \(\mathcal {X}^{\dagger }\) is nontrivial at every point of \(\mathcal {X}_k\). However, the definition of regularity implies that the log structure is trivial at every generic point of \(\mathcal {X}\); thus all the generic points of \(\mathcal {X}\) are contained in the generic fiber, so that \(\mathcal {X}\) is flat over S.
(2) Every smooth fs log scheme over \(S^{\dagger }\) is regular by [17, 8.2] (we can reduce to the Zariski case by passing to an étale cover of \(\mathcal {X}\) where the log structure on \(\mathcal {X}^{\dagger }\) is Zariski in the sense of [30, 2.1.1]).
(3) Assume that k has characteristic zero, and that \(\mathcal {X}^{\dagger }\) is regular. Let \({\overline{x}}\) be a geometric point on \(\mathcal {X}_k\), and set \(M=M^{\sharp }_{\mathcal {X}^{\dagger },{\overline{x}}}\). We choose a chart \(\mathcal {X}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[M]\) étalelocally around \({\overline{x}}\). We also choose a uniformizer t in R; this choice determines a chart \(S^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[\mathbb {N}]\) such that the induced morphism \(\mathbb {N}\rightarrow M_{S^{\dagger },s}\) maps 1 to t. Then we can find an element m in M and a unit u in \({\mathcal {O}}_{\mathcal {X},{\overline{x}}}\) such that \(t=um\) in \({\mathcal {O}}_{\mathcal {X},{\overline{x}}}\). Since k has characteristic zero, we can take arbitrary roots of invertible functions on \(\mathcal {X}\) locally in the étale topology on \(\mathcal {X}\). Thus there exists a morphism \(\psi \) from the free abelian group \(M^{\mathrm {gp}}\) to \({\mathcal {O}}^{\times }_{\mathcal {X},{\overline{x}}}\) that maps m to u. Multiplying the morphism of monoids \(M\rightarrow {\mathcal {O}}_{\mathcal {X},{\overline{x}}}\) with the restriction of \(\psi \) to M, we obtain a new chart \(\mathcal {X}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[M]\) étalelocally around \({\overline{x}}\) such that the pullback of m is equal to t.
This implies that, étale locally around every geometric point \({\overline{x}}\) on \(\mathcal {X}_k\), we can find a chart for \(\mathcal {X}^{\dagger }\rightarrow S^{\dagger }\) of the form
The morphism \(\mathbb {N}\rightarrow M\) is injective, because M is integral and t is not invertible at \({\overline{x}}\). The order of the torsion part of \(\mathrm {coker}(\mathbb {N}^{\mathrm {gp}}=\mathbb {Z}\rightarrow M^{\mathrm {gp}})\) is invertible in k, by our assumption that k has characteristic zero. Moreover, the morphism of schemes
is smooth over a neighbourhood of \({\overline{x}}\), by the local description of regular log schemes in [17, 3.2(1)]. Thus it follows from Kato’s logarithmic criterion for smoothness [16, 3.5] that \(\mathcal {X}^{\dagger }\rightarrow S^{\dagger }\) is smooth. \(\square \)
Beware that Proposition 3.6.1(3) does not extend to the case where k has characteristic \(p>0\). The problem is that we cannot take pth roots of all invertible functions locally in the étale topology, and that the order of the torsion part of the cokernel of the morphism \(\mathbb {Z}\rightarrow M^{\mathrm {gp}}\) may not be invertible in k. A sufficient condition for log smoothness is given by the following statement. Let \(\mathcal {X}^{\dagger }\) be a regular log scheme of finite type over \(S^{\dagger }\) (with respect to the étale topology). Suppose moreover that k is perfect, the log structure on \(\mathcal {X}^{\dagger }\) is vertical (that is, it is trivial on \(\mathcal {X}_K\)), the generic fiber \(\mathcal {X}_K\) is smooth over K, and the multiplicities of the components in the special fiber are prime to p. Then \(\mathcal {X}^{\dagger }\) is smooth over \(S^{\dagger }\). This follows from the same argument as in the proof of Proposition 3.6.1.
Fine and saturated fibered products
An important role in this paper is played by fibered products in the category of fine and saturated log schemes. Let us briefly describe their structure for further reference. Let \(\mathcal {X}^{\dagger }\rightarrow \mathcal {Z}^{\dagger }\) and \(\mathcal {Y}^{\dagger }\rightarrow \mathcal {Z}^{\dagger }\) be morphisms of fine and saturated log schemes. The fibered product \(\mathcal {W}^{\dagger }\) of \(\mathcal {X}^{\dagger }\) and \(\mathcal {Y}^{\dagger }\) over \(\mathcal {Z}^{\dagger }\) in the category of log schemes can be constructed by endowing the scheme \(\mathcal {W}=\mathcal {X}\times _{\mathcal {Z}}\mathcal {Y}\) with the fibered coproduct of the pullbacks of the log structures on \(\mathcal {X}^{\dagger }\) and \(\mathcal {Y}^{\dagger }\) over the pullback of the log structure on \(\mathcal {Z}^{\dagger }\) (see [16, 1.6]). Let w be a point of \(\mathcal {W}\) that maps to x, y and z in \(\mathcal {X}\), \(\mathcal {Y}\) and \(\mathcal {Z}\), respectively. Then it follows directly from the construction that the characteristic monoid \(M^{\sharp }_{\mathcal {W}^{\dagger },w}\) is canonically isomorphic to
If \(M^{\sharp }_{\mathcal {Z}^{\dagger },z}\rightarrow M^{\sharp }_{\mathcal {X}^{\dagger },x}\) and \(M^{\sharp }_{\mathcal {Z}^{\dagger },z}\rightarrow M^{\sharp }_{\mathcal {Y}^{\dagger },y}\) are injective, then the coproduct
is already sharp, by [10, 4.1.12].
The log structure on \(\mathcal {W}^{\dagger }\) is coherent [16, 2.6], but in general it is neither integral, nor saturated. The fibered product
in the category of fine and saturated log schemes can be constructed by consecutively applying the functors \((\cdot )^{\mathrm {f}}\) and \((\cdot )^{\mathrm {fs}}\) from [10, 10.2.36(i)] to \(\mathcal {W}^{\dagger }\). A subtle point of this construction is that it changes the underlying scheme \(\mathcal {W}\). If \(\mathcal {W}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[N]\) is a chart for \(\mathcal {W}^{\dagger }\), with N a finitely generated monoid, then the underlying scheme of \(\mathcal {X}^{\dagger }\times ^{\mathrm {fs}}_{\mathcal {Z}^{\dagger }}\mathcal {Y}^{\dagger }\) is given by
The natural morphism
is a finite morphism on the underlying schemes [10, 10.2.36(ii)], and it is an isomorphism over the open subscheme of \(\mathcal {W}^{\dagger }\) where the log structure is trivial. For every point \(w'\) lying above w, we have a canonical isomorphism
This is proven in [24, 2.1.1] for log schemes with respect to the étale topology, but the proof is also valid for the Zariski topology.
The most important class of fs fibered products for our purposes is described in the following proposition.
Proposition 3.7.1
Let R be a complete discrete valuation ring with quotient field K. Let \(K'\) be a finite extension of K and denote by \(R'\) the integral closure of R in \(K'\). We denote by \(S^{\dagger }\) the scheme \(S={{\,\mathrm{Spec}\,}}R\) endowed with its standard log structure (see Example 3.2.2). The log scheme \((S')^{\dagger }\) is defined analogously, replacing R by \(R'\).
Let \(\mathcal {X}^{\dagger }\) be a fine and saturated log scheme, and let \(\mathcal {X}^{\dagger }\rightarrow S^+\) be a smooth morphism of log schemes. Then the underlying scheme \(\mathcal {Y}\) of \(\mathcal {Y}^{\dagger }=\mathcal {X}^{\dagger }\times ^{\mathrm {fs}}_{S^{\dagger }}(S')^{\dagger }\) is the normalization of \(\mathcal {X}\times _S S'\).
Proof
Smoothness is preserved by fine and saturated base change, so that the log scheme \(\mathcal {Y}^{\dagger }\) is smooth over \((S')^{\dagger }\). Since \(S^{\dagger }\) and \((S')^{\dagger }\) are regular, the log schemes \(\mathcal {X}^{\dagger }\) and \(\mathcal {Y}^{\dagger }\) are regular, as well, by Proposition 3.6.1. Thus \(\mathcal {X}\) and \(\mathcal {Y}\) are normal. It also follows from Proposition 3.6.1 that \(\mathcal {X}\) is flat over S and \(\mathcal {Y}\) is flat over \(S'\). The morphism \(\mathcal {Y}\rightarrow \mathcal {X}\times _S S'\) is an isomorphism on the generic fibers, because the log structures on S and \(S'\) are trivial at their generic points, so that \(\mathcal {X}^{\dagger }\times _{S^{\dagger }}{{\,\mathrm{Spec}\,}}(K')\) is already saturated. Thus \(\mathcal {Y}\rightarrow \mathcal {X}\times _S S'\) is birational; since it is also finite and \(\mathcal {Y}\) is normal, it is a normalization morphism. \(\square \)
Smooth log schemes over discrete valuation rings
Log modifications and ramified base change
Let R be a complete discrete valuation ring with residue field k and quotient field K. We write \(S^\dagger \) for the scheme \(S={{\,\mathrm{Spec}\,}}R\) endowed with its standard log structure (see Example 3.2.2). We fix a uniformizer t in R. For every positive integer n we denote by R(n) the extension \(R[u]/(u^{n}t)\) of R. We write \(S(n)^\dagger \) for the scheme \(S(n)={{\,\mathrm{Spec}\,}}R(n)\) with its standard log structure. The morphism of monoids
that sends 1 / n to u induces a chart
that we call the standard chart for \(S(n)^{\dagger }\). Whenever m is a positive multiple of n, we have a morphism of log schemes \(S(m)^{\dagger }\rightarrow S(n)^{\dagger }\) associated with the morphism of Ralgebras
The standard charts for \(S(m)^{\dagger }\) and \(S(n)^{\dagger }\) fit into a chart
for the morphism \(S(m)^{\dagger }\rightarrow S(n)^{\dagger }\), where the morphism of monoids \((1/n)\mathbb {N}\rightarrow (1/m)\mathbb {N}\) is the inclusion map.
Let \(\mathcal {X}^{\dagger }\) be a smooth fine and saturated log scheme of finite type over \(S^\dagger \). Then \(\mathcal {X}^{\dagger }\) is regular, by Proposition 3.6.1, so that we can apply the constructions from Sect. 3.2 to \(\mathcal {X}^{\dagger }\). Proposition 3.6.1 also implies that the underlying scheme \(\mathcal {X}\) is flat over S. We denote by \(e_t\) the image of the uniformizer t in the monoid \(M_{\mathcal {X}^{\dagger }}(\mathcal {X})\). Let x be a point in \(\mathcal {X}_k\). Then the structural morphism \(\mathcal {X}^{\dagger }\rightarrow S^{\dagger }\) induces a local morphism of monoids
that sends 1 to the image of \(e_t\) in \(M^{\sharp }_{\mathcal {X}^{\dagger },x}\), which we will still denote by \(e_t\). We define the root index\(\rho (x)\) to be root index of this morphism \(\varphi \).
Now let \(\tau \) be a point of \(F(\mathcal {X}^{\dagger })\cap \mathcal {X}_k\). Then \(M^{\sharp }_{\mathcal {X}^{\dagger },\tau }=M_{F(\mathcal {X}^{\dagger }),\tau }\). We set \(\rho =\rho (\tau )\), and we denote by \(\mathcal {Y}^{\dagger }\) the fibered product
in the category of fine and saturated log schemes (see Sect. 3.7). The log scheme \(\mathcal {Y}^{\dagger }\) is smooth over \(S(\rho )^{\dagger }\) because smoothness is preserved by fs base change. The underlying scheme \(\mathcal {Y}\) is the normalization of \(\mathcal {X}\times _S S(\rho )\), by Proposition 3.7.1. We set
This is a union of logarithmic strata of \(\mathcal {Y}^{\dagger }\), each of which has characteristic monoid
By Proposition 2.2.2(2), we know that the natural morphism
is an isomorphism. If \(\tau \) is a point of \(F(\mathcal {X}^{\dagger })\) that is not contained in \(\mathcal {X}_k\), then we set \({\widetilde{E}}(\tau )^o=E(\tau )^o\).
Example 4.1.1
Let \(\mathcal {X}^{\dagger }\) be a smooth fs log scheme of finite type over \(S^{\dagger }\). Assume that the underlying scheme \(\mathcal {X}\) is regular; then \(\mathcal {X}_k\) is a divisor with strict normal crossings (see Example 3.1.1). We write
where \(E_i,\,i\in I\) are the prime components of \(\mathcal {X}_k\) and the coefficients \(N_i\) are their multiplicities. Let x be a point of \(\mathcal {X}_k\) and let J be the set of indices \(j\in I\) such that x lies on \(E_j\). Then there exists an isomorphism of monoids
for some integer \(h\ge 0\), such that \(\psi (e_t)=((N_j)_{j\in J},0)\). Here h is the number of irreducible components of the boundary of \(\mathcal {X}^{\dagger }\) that pass through x and that are horizontal, that is, not contained in the special fiber \(\mathcal {X}_k\). The root index \(\rho (x)\) is the greatest common divisor of the multiplicities \(N_j,\,j\in J\).
If \(\tau \) is a point of \(F(\mathcal {X}^{\dagger })\cap \mathcal {X}_k\) and \(\rho (\tau )\) is not divisible by the characteristic of k, then \({\widetilde{E}}(\tau )^o\rightarrow E(\tau )^o\) has a canonical structure of a \(\mu _{\rho (\tau )}\)torsor, which is described explicitly in [26, §2.3].
The following results constitute a key step in the calculation of the motivic zeta function.
Lemma 4.1.2
Let \(\mathcal {X}^{\dagger }\) be a smooth fs log scheme of finite type over \(S^\dagger \) and let \(\tau \) be a point of \(F(\mathcal {X}^{\dagger })\cap \mathcal {X}_k\) of root index \(\rho =\rho (\tau )\). Let m be any positive multiple of \(\rho \) and denote by \(\mathcal {Z}^{\dagger }\) be the fibered product
in the category of fine and saturated log schemes. Then the natural morphism
is an isomorphism.
Proof
We set
as before. We have already recalled that the log scheme \(\mathcal {Y}^{\dagger }\) is regular and that \({\widetilde{E}}(\tau )^o\) is a union of logarithmic strata with characteristic monoid
The monoid M is endowed with a local morphism \(\varphi :(1/\rho )\mathbb {N}\rightarrow M\) induced by \(\mathcal {Y}^{\dagger }\rightarrow S(\rho )^{\dagger }\), and the morphism \(\varphi \) has root index 1 by Proposition 2.2.2(2).
Let y be a point of \({\widetilde{E}}(\tau )^o\subset \mathcal {Y}\). By Sect. 3.5, locally around y, we can find a chart for the morphism \(\mathcal {Y}^{\dagger }\rightarrow S(\rho )^{\dagger }\) of the form
where the lower horizontal morphism is the standard chart for \(S(\rho )^{\dagger }\), and \((1/\rho )\mathbb {N}\rightarrow M\times \mathbb {Z}\) is a morphism of monoids such that the composition with the projection \(M\times \mathbb {Z}\rightarrow M\) coincides with \(\varphi \). We set
As we have recalled in Sect. 3.7, the fs fibered product \(\mathcal {Z}^{\dagger }\) is obtained by first taking the fibered product
in the category of log schemes; the underlying scheme of \(\mathcal {W}^{\dagger }\) is the fibered product \(\mathcal {Y}\times _{S(\rho )}S(m)\), and, locally around y, our chart for \(\mathcal {Y}^{\dagger }\rightarrow S(\rho )^{\dagger }\) induces a chart \(\mathcal {W}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger } \mathbb {Z}[N]\). Then, over some open neighbourhood of y in \(\mathcal {Y}\), the underlying scheme of \(\mathcal {Z}^{\dagger }\) is given by
and the morphism \(\mathcal {Z}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger } \mathbb {Z}[N^{\mathrm {sat}}]\) is a chart for the log structure on \(\mathcal {Z}^{\dagger }\).
By Sect. 3.5, all the elements in the image of the morphism \(M^+\times \mathbb {Z}\rightarrow {\mathcal {O}}_{\mathcal {Y},y}\) vanish in \({\mathcal {O}}_{{\widetilde{E}}(\tau )^o,y}\). By construction, \((m/\rho )N^+\) is contained in \(M^+\times \mathbb {Z}\). Thus for every element h in the image of \(N^+\rightarrow {\mathcal {O}}_{\mathcal {W},y}\), we have that \(h^{m/\rho }\) vanishes in \({\mathcal {O}}_{{\widetilde{E}}(\tau )^o,y}\). Since \({\mathcal {O}}_{{\widetilde{E}}(\tau )^o,y}\) is reduced, we conclude that the morphism \(\mathbb {Z}[N]\rightarrow {\mathcal {O}}_{{\widetilde{E}}(\tau )^o,y}\) factors through \(\mathbb {Z}[N]/\langle N^+\rangle \), where \(\langle N^+\rangle \) denotes the ideal generated by \(N^+\).
It is obvious that the morphism \(\mathbb {Z}[N^{\times }]\rightarrow \mathbb {Z}[N]\) induces an isomorphism
We have a similar isomorphism
for the monoid \(N^{\mathrm {sat}}\), and the morphism \(\mathbb {Z}[N^{\times }]\rightarrow \mathbb {Z}[(N^{\mathrm {sat}})^{\times }]\) is an isomorphism, by Proposition 2.2.2(3). Moreover, \(\langle (N^{\mathrm {sat}})^+\rangle \) is the radical of the ideal in \(\mathbb {Z}[N^{\mathrm {sat}}]\) generated by \(N^+\). Therefore, over an open neighbourhood of y, the \({\widetilde{E}}(\tau )^o\)scheme \((\mathcal {Z}\times _{\mathcal {X}}E(\tau )^o)_{\mathrm {red}}\) is isomorphic to
\(\square \)
Proposition 4.1.3
Let \(\mathcal {X}^{\dagger }\) be a smooth fs log scheme of finite type over \(S^\dagger \). Let \(\psi :F'\rightarrow F\) be a fine and saturated proper subdivision of \(F=F(\mathcal {X}^{\dagger })\), and denote by \(h:\mathcal {(X')}^{\dagger }\rightarrow \mathcal {X}^{\dagger }\) the corresponding morphism of log schemes. Let \(\tau '\) be a point of \(F'\) and set \(\tau =\psi (\tau ')\). Then there exists a natural morphism of \(E(\tau )^o\)schemes
such that \({\widetilde{E}}(\tau ')^o\) is a \({\mathbb {G}}^{r(\tau )r(\tau ')}_{m,k}\)torsor over \({\widetilde{E}}(\tau )^o\).
Proof
Let m be a positive integer that is divisible by both \(\rho (\tau )\) and \(\rho (\tau ')\) and set
By Lemma 4.1.2, the morphism \(h_m:\mathcal {(Z')}^{\dagger }\rightarrow \mathcal {Z}^{\dagger }\) obtained from h by fs base change induces a morphism of \(E(\tau )^o\)schemes \({\widetilde{E}}(\tau ')^o\rightarrow {\widetilde{E}}(\tau )^o\).
We will prove that the morphism h induced by the subdivision \(\psi \) is compatible with fs base change, in the following sense.
The refinement \(\psi :F'\rightarrow F\) induces a refinement
where the fibered product is taken in the category of fine and saturated fans. We claim that the morphism of log schemes induced by this refinement is precisely the morphism \(h_m:\mathcal {(Z')}^{\dagger }\rightarrow \mathcal {Z}^{\dagger }\). Since \({\widetilde{E}}(\tau )^o\) is a union of logarithmic strata of rank \(r(\tau )\) in \(\mathcal {Z}^{\dagger }\) and \({\widetilde{E}}(\tau ')^o\) is a union of logarithmic strata of rank \(r(\tau ')\) in \(\mathcal {(Z')}^{\dagger }\), this implies that \({\widetilde{E}}(\tau ')^o\) is a \({\mathbb {G}}^{r(\tau )r(\tau ')}_{m,k}\)torsor over \({\widetilde{E}}(\tau )^o\) (see Sect. 3.4).
It remains to prove that \(h_m\) is indeed the morphism induced by the refinement \(\psi _m\). The morphism induced by \(\psi _m\) is characterized by the following universal property [17, 9.9]: it is a final object in the category of logarithmic schemes \(\mathcal {W}^{\dagger }\) endowed with a morphism \(\mathcal {W}^{\dagger }\rightarrow \mathcal {Z}^{\dagger }\) and a morphism of monoidal spaces \(\pi ':\mathcal {W}^{\dagger }\rightarrow F(\mathcal {Z}^{\dagger })\times ^{\mathrm {fs}}_{F}F'\) such that the diagram
commutes. If \(\mathcal {W}^{\dagger }\) is such a final object, then we have a canonical morphism \(\mathcal {(Z')}^{\dagger }\rightarrow \mathcal {W}^{\dagger }\) of log schemes over \(\mathcal {Z}^{\dagger }\). Conversely, applying the universal properties for the morphism \(\mathcal {(X')}^{\dagger }\rightarrow \mathcal {X}^{\dagger }\) and the fs base change to \(S(m)^{\dagger }\), we obtain a morphism \(\mathcal {W}^{\dagger }\rightarrow \mathcal {(Z')}^{\dagger }\) of log schemes over \(\mathcal {Z}^{\dagger }\). These two morphisms are mutually inverse, so that \(\mathcal {W}^{\dagger }\) is isomorphic to \(\mathcal {(Z')}^{\dagger }\) over \(\mathcal {Z}^{\dagger }\). \(\square \)
Motivic zeta functions
We denote by R a complete discrete valuation ring with residue field k and quotient field K. We assume that k is perfect and we fix a uniformizer t in R. For every positive integer n, we write \(R(n)=R[u]/(u^nt)\) and \(K(n)=K[u]/(u^nt)\). We write \(S^\dagger \) and \(S(n)^\dagger \) for the schemes \(S={{\,\mathrm{Spec}\,}}R\) and \(S(n)={{\,\mathrm{Spec}\,}}R(n)\) endowed with their standard log structures.
Grothendieck rings and geometric series
If R has equal characteristic, then for every noetherian kscheme X, we denote by \({\mathcal {M}}_{X}\) the Grothendieck ring of varieties over X, localized with respect to the class \(\mathbb {L}\) of the affine line \(\mathbb {A}^1_{X}\). If R has mixed characteristic, we use the same notation, but we replace the Grothendieck ring of varieties by its modified version, which means that we identify the classes of universally homeomorphic Xschemes of finite type—see [29, §3.8]. In the calculation of the motivic zeta function, we will need to consider some specific geometric series in \(\mathbb {L}^{1}\). The standard technique is to pass to the completion \(\widehat{{\mathcal {M}}}_X\) of \({\mathcal {M}}_X\) with respect to the dimensional filtration. However, since it is not known whether the completion morphism \({\mathcal {M}}_X\rightarrow \widehat{{\mathcal {M}}}_X\) is injective, we will use a different method to avoid any loss of information. We start with an elementary lemma.
Lemma 5.1.1
Let M be a sharp, fine and saturated monoid of dimension d. For every morphism of monoids \(u:M\rightarrow \mathbb {N}\), we denote by \(u^{\mathrm {gp}}:M^{\mathrm {gp}}\rightarrow \mathbb {Z}\) the induced morphism of groups. Let m be an element of \(M^{\mathrm {gp}}\) and let n be an element of \(M{\setminus } \{0\}\). Let \(u_1,\ldots ,u_r\) be the generators of the onedimensional faces of \(M^{\vee }\), and denote by I the set of indices i in \(\{1,\ldots ,r\}\) such that \(u_i(n)>0\). We assume that \(u_j^{\mathrm {gp}}(m)=1\) for every \(j\notin I\). Then the series
in the variables L and T lies in the subring
of \(\mathbb {Z}\llbracket L^{1},T \rrbracket [L]\).
Proof
A sharp, fine and saturated monoid is called simplicial if its number of onedimensional faces is equal to its dimension. We can subdivide \(M^{\vee }\) into a fan of simplicial monoids without inserting new onedimensional faces, and such a subdivision gives rise to a partition of \(M^{\vee ,\mathrm {loc}}\). Thus we may assume from the start that \(M^{\vee }\) is simplicial, so that \(d=r\) and \(u_1,\ldots ,u_r\) form a basis for the \(\mathbb {Q}\)vector space \((M^{\vee })^{\mathrm {gp}}\otimes _{\mathbb {Z}}\mathbb {Q}\). Denote by P the fundamental parallelepiped
in \(M^{\vee ,\mathrm {loc}}\). Then P is a finite set, and we have
Now the result follows from the assumption that for every i, either \(u_i(n)>0\) or \(u^{\mathrm {gp}}_i(m)=1\); note that at most \(r1\) of the values \(u_i(n)\) vanish, because \(n\ne 0\). \(\square \)
Keeping the notations and assumptions of Lemma 5.1.1, we define
as the value of
at \(L=\mathbb {L}\). Lemma 5.1.1 guarantees that this is a welldefined element of \({\mathcal {M}}_k\llbracket T \rrbracket \).
Definition of the motivic zeta function
Let \(\mathcal {X}\) be an Rscheme of finite type with smooth generic fiber \(\mathcal {X}_K\), and let \(\omega \) be a volume form on \(\mathcal {X}_K\) (that is, a nowhere vanishing differential form of maximal degree on each connected component of \(\mathcal {X}_K\)). A Néron smoothening of \(\mathcal {X}\) is a morphism of finite type \(h:\mathcal {Y}\rightarrow \mathcal {X}\) such that \(\mathcal {Y}\) is smooth over R, \(h_K:\mathcal {Y}_K\rightarrow \mathcal {X}_K\) is an isomorphism, and the natural map \(\mathcal {Y}(R')\rightarrow \mathcal {X}(R')\) is a bijection for every finite unramified extension \(R'\) of R. Such a Néron smoothening always exists, by [3, 3.1.3]. For every connected component C of \(\mathcal {Y}_k\), we denote by \({{\,\mathrm{ord}\,}}_C\omega \) the unique integer a such that \(t^{a}\omega \) extends to a relative volume form on \(\mathcal {Y}\) locally around the generic point of C.
Definition 5.2.1
(Loeser–Sebag) The motivic integral of \(\omega \) on \(\mathcal {X}\) is defined by
where \(\mathcal {Y}\rightarrow \mathcal {X}\) is any Néron smoothening and \(\pi _0(\mathcal {Y}_k)\) is the set of connected components of \(\mathcal {Y}_k\).
It is a deep fact that this definition does not depend on the choice of a Néron smoothening; the proof relies on the theory of motivic integration [23]. Definition 5.2.1 can be interpreted as a motivic upgrade of the integral of a volume form on a compact padic manifold [23, §4.6].
The motivic zeta function of the pair \((\mathcal {X},\omega )\) is a generating series that measures how the motivic integral in Definition 5.2.1 changes under ramified extensions of R. For every positive integer n, we set \(\mathcal {X}(n)=\mathcal {X}\times _R R(n)\), and we denote by \(\omega (n)\) the pullback of \(\omega \) to the generic fiber of \(\mathcal {X}(n)\).
Definition 5.2.2
The motivic zeta function of the pair \((\mathcal {X},\omega )\) is the generating series
Beware that this definition depends on the choice of the uniformizer t, except when k has characteristic zero and contains all the roots of unity: in that case, K(n) is the unique degree n extension of K, up to Kisomorphism.
If \(h:\mathcal {X}'\rightarrow \mathcal {X}\) is a proper morphism of Rschemes such that \(h_K:\mathcal {X}'_K\rightarrow \mathcal {X}_K\) is an isomorphism, then it follows immediately from the definition that we can recover \(Z_{\mathcal {X},\omega }(T)\) from \(Z_{\mathcal {X}',\omega }(T)\) by specializing the coefficients with respect to the forgetful group homomorphism \({\mathcal {M}}_{\mathcal {X}'_k}\rightarrow {\mathcal {M}}_{\mathcal {X}_k}\). Thus we can compute \(Z_{\mathcal {X},\omega }(T)\) after a suitable proper modification of \(\mathcal {X}\). The principal aim of this paper is to establish an explicit formula for \(Z_{\mathcal {X},\omega }(T)\) in the case where \(\mathcal {X}\) is smooth over \(S^\dagger \) with respect to a suitable choice of log structure on \(\mathcal {X}\).
Explicit formula on a log smooth model
Let \(\mathcal {X}^{\dagger }\) be a smooth fs log scheme of finite type over \(S^\dagger \), and denote by D its reduced boundary divisor, which was defined in Sect. 3.2. We write \(F=F(\mathcal {X}^{\dagger })\) for the fan associated with \(\mathcal {X}^{\dagger }\), and we denote by \(e_t\) the image of the uniformizer t in the monoid of global sections of \(M_{\mathcal {X}^{\dagger }}\). We write \(F_k\) for the set \(F\cap \mathcal {X}_k\). This is a finite set, consisting of the points in the special fiber \(\mathcal {X}_k\) whose Zariski closure is a connected component of an intersection of irreducible components of D (this follows from the description of the logarithmic stratification in Section 3.2).
Let \(\omega \) be a differential form of maximal degree on \(\mathcal {X}_K\) that is nowhere vanishing on \(\mathcal {X}_K{\setminus } D\). Then we can view \(\omega \) as a rational section of the relative canonical bundle \(\omega _{\mathcal {X}^{\dagger }/S^\dagger }\). As such, it defines a Cartier divisor on \(\mathcal {X}\), which we denote by \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\). This divisor is supported on D. Let \(\tau \) be a point of F. For every element u of \(M_{F,\tau }^{\vee ,\mathrm {loc}}\), we set \(u(\omega )=u^{\mathrm {gp}}({\overline{f}})\in \mathbb {Z}\), where \({\overline{f}}\) is the residue class in \(M^{\mathrm {gp}}_{F,\tau }\) of any element \(f\in M^{\mathrm {gp}}_{\mathcal {X}^{\dagger },\tau }\) such that \(\mathrm {div}(f)=\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\) locally at \(\tau \). This definition does not depend on the choice of f. Note that \(u(\omega )>0\) if \(\tau \) is not contained in \(F_k\), because \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\ge D\) on \(\mathcal {X}_K\).
Theorem 5.3.1
Let \(\mathcal {X}^{\dagger }\) be a smooth fs log scheme of finite type over \(S^\dagger \). We assume that the generic fiber \(\mathcal {X}_K\) is smooth over K (but we allow the log structure on \(\mathcal {X}^{\dagger }\) to be nontrivial on \(\mathcal {X}_K\)). Let \(\omega \) be a volume form on \(\mathcal {X}_K\). Then for every \(\tau \) in \(F_k\), the expression
is welldefined in \({\mathcal {M}}_{\mathcal {X}_k}\llbracket T \rrbracket \), and the motivic zeta function of \((\mathcal {X},\omega )\) is given by
in \({\mathcal {M}}_{\mathcal {X}_k}\llbracket T \rrbracket \).
Proof
We break up the proof into four steps.
Step 1: the expression (2) is welldefined. Since \(\omega \) is a volume form on \(\mathcal {X}_K\), the horizontal part of the divisor \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\) coincides with the horizontal part of the reduced boundary divisor D of \(\mathcal {X}^{\dagger }\). This means that \(u(\omega )=1\) for every \(\tau \in F_k\) and every generator u of a onedimensional face of \(M_{F,\tau }\) such that \(u(e_t)=0\). Hence, Lemma 5.1.1 guarantees that (2) is a welldefined element of \({\mathcal {M}}_{\mathcal {X}_k}\llbracket T \rrbracket \).
Step 2: invariance under log modifications. We will show that the right hand side of (3) is invariant under the log modification \(h:\mathcal {(X')}^{\dagger }\rightarrow \mathcal {X}^{\dagger }\) induced by any fs proper subdivision \(\psi :F'\rightarrow F\) that is an isomorphism over \(F\cap \mathcal {X}_K\), or equivalently, such that \(h_K:\mathcal {X}'_K\rightarrow \mathcal {X}_K\) is an isomorphism.
Let \(\tau \) be a point in \(F_k\). Then, by the definition of a proper subdivision, the morphism \(\psi \) induces a bijection between \(M_{F,\tau }^{\vee ,\mathrm {loc}}\) and the disjoint union of the sets \(M_{F,\tau '}^{\vee ,\mathrm {loc}}\) where \(\tau '\) runs through the set of points in \(\psi ^{1}(\tau )\). Since h is an étale morphism of log schemes, the pullback of \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\) to \(\mathcal {X}'\) coincides with \(\mathrm {div}_{\mathcal {(X')}^{\dagger }}(\omega )\). Thus if u is an element of \(M_{F,\tau '}^{\vee ,\mathrm {loc}}\) for some \(\tau '\) in \(\psi ^{1}(\tau )\), then the value \(u(h^*_K\omega )\) computed on \(\mathcal {(X')}^{\dagger }\) coincides with the value \(u(\omega )\) computed on \(\mathcal {X}^{\dagger }\). The same is obviously true for \(u(e_t)\). Moreover, by Proposition 4.1.3, we have
for every point \(\tau '\) in \(\psi ^{1}(\tau )\). Thus the right hand side of (3) does not change if we replace \(\mathcal {X}^{\dagger }\) by \(\mathcal {(X')}^{\dagger }\).
As a side remark, we observe that our assumption that \(h_K\) is an isomorphism has only been used to ensure that \(h_K^*\omega \) is a volume form on \(\mathcal {X}'_K\), so that the right hand side of (3) is still welldefined in \({\mathcal {M}}_{\mathcal {X}_k}\llbracket T \rrbracket \) if we replace \(\mathcal {X}^{\dagger }\) by \(\mathcal {(X')}^{\dagger }\). Our proof actually shows that the right hand side of (3), viewed as an element of
is invariant under any proper subdivision \(\psi :F'\rightarrow F\).
Step 3: compatibility with fs base change. We will prove that the formula (3) is compatible with fs base change, in the following sense. Let n be a positive integer and denote by F(n) the fan of the smooth log scheme \(\mathcal {X}^{\dagger }\times ^{\mathrm {fs}}_{S^\dagger }S(n)^{\dagger }\) over \(S(n)^{\dagger }\). Let t(n) be a uniformizer in R(n). Then for every positive integer i, the coefficient of \(T^i\) in the expression
is equal to the coefficient of \(T^{in}\) in the right hand side of (3).
To see this, we first observe that Lemma 4.1.2 implies that, for every point \(\tau \) of \(F_k\), the kscheme \({\widetilde{E}}(\tau )^o\) is isomorphic to the disjoint union of the kschemes \(\widetilde{E}(\tau ')^o\) where \(\tau '\) runs over the points of \(F(n)_k\) that are mapped to \(\tau \) under the morphism of fans \(F(n)\rightarrow F\). Moreover, \(M_{F(n),\tau '}\) is canonically isomorphic to
which yields a bijective correspondence between the local morphisms \(u':M_{F(n),\tau '}\rightarrow \mathbb {N}\) such that \(u'(e_{t(n)})=i\) and the local morphisms \(u:M_{F,\tau }\rightarrow \mathbb {N}\) such that \(u(e_t)=in\). Now it only remains to notice that \(u'(\omega (n))=u(\omega )\) because
is canonically isomorphic to the pullback of \(\omega _{\mathcal {X}^{\dagger }/S^\dagger }\), by the compatibility of relative log differentials with fs base change.
Step 4: proof of the formula. By [10, 4.6.31], we can find a proper subdivision \(\psi :F'\rightarrow F\) such that, if we denote by \(h:\mathcal {(X')}^{\dagger }\rightarrow \mathcal {X}^{\dagger }\) the associated morphism of log schemes, the scheme \(\mathcal {X}\) is regular and the morphism \(h_K:\mathcal {X}'_K\rightarrow \mathcal {X}_K\) is an isomorphism. Thus, by Step 2, we may assume right away that \(\mathcal {X}\) itself is regular. We write \(\mathrm {Sm}(\mathcal {X})\) for the Rsmooth locus of \(\mathcal {X}\). Then the open immersion \(\mathrm {Sm}(\mathcal {X})\rightarrow \mathcal {X}\) is a Néron smoothening, by [3, 3.1.2] and the subsequent remark. By Step 3 and the definition of the motivic integral, we only need to consider the coefficient of T in the right hand side of (3), and prove the equality
in \({\mathcal {M}}_{\mathcal {X}_k}\).
If \(\tau \) is a point in \(F_k\), then by Example 4.1.1, there exists a local morphism \(u:M_{F,\tau }\rightarrow \mathbb {N}\) with \(u(e_t)=1\) if and only if \(\tau \) is contained in a unique component of \(\mathcal {X}_k\) and this component has multiplicity 1 in \(\mathcal {X}_k\). This is equivalent to the condition that \(\tau \) lies in \(\mathrm {Sm}(\mathcal {X})_k\). In that case, the root index of \(\tau \) is equal to 1, so that \({\widetilde{E}}(\tau )^o=E(\tau )^o\). By the explicit description of the fan F in Sect. 3.2, the set \(\mathrm {Sm}(\mathcal {X})_k\) is a union of logarithmic strata \(E(\tau )^o\). Thus for every connected component C of \(\mathrm {Sm}(\mathcal {X}_k)\), we can write
in \(K_0(\mathrm {Var}_{\mathcal {X}_k})\).
Therefore, it only remains to prove the following property: let \(\tau \) be a point in \(F\cap \mathrm {Sm}(\mathcal {X})_k\) and denote by \(C(\tau )\) the unique connected component of \(\mathrm {Sm}(\mathcal {X})_k\) containing \(\tau \). Then we have
in \({\mathcal {M}}_{k}\) (here we again use Lemma 5.1.1 to view the left hand side as an element of \({\mathcal {M}}_{k}\)).
First, we consider the case where the log structure at \(\tau \) is vertical (this means that every irreducible component of the boundary divisor D that passes through \(\tau \) is contained in the special fiber \(\mathcal {X}_k\)). Then \(\tau \) is the generic point of \(C(\tau )\), the monoid \(M_{F,\tau }\) is isomorphic to \(\mathbb {N}\), and \(e_t\) is its unique generator. Thus the only morphism u contributing to the sum in the left hand side of (5) is the identity morphism \(u:\mathbb {N}\rightarrow \mathbb {N}\). Now the equality follows from the fact that locally around \(\tau \), we have a canonical isomorphism \(\omega _{\mathcal {X}/S}\cong \omega _{\mathcal {X}^{\dagger }/S^{\dagger }}\) because the morphism \(\mathcal {X}^{\dagger }\rightarrow S^{\dagger }\) is strict at \(\tau \).
Finally, we generalize the result to the case where the log structure at \(\tau \) is not vertical. By Example 4.1.1, there exists an isomorphism \(M_{F,\tau }\rightarrow \mathbb {N}\times \mathbb {N}^h\) for some integer \(h\ge 0\) such that the morphism \(\mathbb {N}\rightarrow M_{F,\tau }\) is given by \(1\mapsto (1,0)\). In this case, restriction to \(\mathbb {N}^h\) defines a bijection between the set of local morphisms \(u:M_{F,\tau }\rightarrow \mathbb {N}\) mapping \(e_t\) to 1 and the set of local morphisms \(u':\mathbb {N}^h\rightarrow \mathbb {N}\). Since \(\omega \) is a volume form on \(\mathcal {X}_K\), we have \(u(\omega )={{\,\mathrm{ord}\,}}_{C(\tau )}\omega + u'(1,\ldots ,1)\). Hence,
in \({\mathcal {M}}_k\). \(\square \)
As a special case of Theorem 5.3.1, we recover a generalization to arbitrary characteristic of the formula for strict normal crossings models from [28, 7.7]. Beware that in [28], the motivic integrals were renormalized by multiplying them with \(\mathbb {L}^{d}\), where d is the relative dimension of \(\mathcal {X}\) over R.
Corollary 5.3.2
Let \(\mathcal {X}\) be a regular flat Rscheme of finite type such that \(\mathcal {X}_k\) is a strict normal crossings divisor, and write
Denote by \(\mathcal {X}^{\dagger }\) the log scheme obtained by endowing \(\mathcal {X}\) with the divisorial log structure induced by \(\mathcal {X}_k\), and assume that \(\mathcal {X}^{\dagger }\) is smooth over \(S^{\dagger } (\)this is automatic when k has characteristic zero, by Proposition 3.6.1). Let \(\omega \) be a volume form on \(\mathcal {X}_K\).
For every nonempty subset J of I, we set
and \(N_J=\gcd \{N_j\,\,j\in J\}\). We denote by \({\widetilde{E}}_J^o\) the inverse image of \(E_J^o\) in the normalization of \(\mathcal {X}\times _R R(N_J)\). Let \(\nu _i\) be the multiplicity of \(E_i\) in the divisor \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\), for every i in I. Then the motivic zeta function of \((\mathcal {X},\omega )\) is given by
in \({\mathcal {M}}_{\mathcal {X}_k}\llbracket T \rrbracket \).
Proof
By the explicit description of the logarithmic stratification in Sect. 3.2, the set \(E_J^o\) is the union of the strata \(E(\tau )^o\) where \(\tau \) runs through the intersection \(F(\mathcal {X}^{\dagger })\cap E_J^o\). By Example 4.1.1, the scheme \({\widetilde{E}}(\tau )^o\) is the reduced inverse image of \(E(\tau )^o\) in the normalization of \(\mathcal {X}\times _R R(N_J)\). Thus by the scissor relations in the Grothendieck ring, we have
Now the description of the characteristic monoids of \(\mathcal {X}^{\dagger }\) in Example 4.1.1 shows that the expression for \(Z_{\mathcal {X},\omega }(T)\) in the statement is a particular case of the formula (3) in Theorem 5.3.1. \(\square \)
Poles of the motivic zeta function
Theorem 5.3.1 yields interesting information on the poles of the motivic zeta function. Since the localized Grothendieck ring of varieties is not a domain, the notion of a pole requires some care; see [32]. To circumvent this issue, we introduce the following definition.
Definition 5.4.1
Let X be a Noetherian kscheme and let Z(T) be an element of \({\mathcal {M}}_X \llbracket T \rrbracket \). Let \({\mathcal {P}}\) be a set of rational numbers. We say that \({\mathcal {P}}\) is a set of candidate poles for Z(T) if Z(T) belongs to the subring
of \({\mathcal {M}}_{X}\llbracket T \rrbracket \).
For any reasonable definition of a pole (in particular, the one in [32]), the set of rational poles is included in every set of candidate poles.
Proposition 5.4.2
Let \(\mathcal {X}^{\dagger }\) be a smooth fs log scheme of finite type over \(S^\dagger \) such that \(\mathcal {X}_K\) is smooth over K. Let \(\omega \) be a volume form on \(\mathcal {X}_K\). Write \(\mathcal {X}_k=\sum _{i\in I}N_i E_i\) and denote by \(\nu _i\) the multiplicity of \(E_i\) in \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\), for every \(i\in I\). Then
is a set of candidate poles for \(Z_{\mathcal {X},\omega }(T)\).
Proof
Set \(F=F(\mathcal {X}^{\dagger })\) and let \(\tau \) be a point of \(F\cap \mathcal {X}_k\). In view of Theorem 5.3.1, it suffices to show that \({\mathcal {P}}(\mathcal {X})\) is a set of candidate poles for
As we have explained in Sect. 3.3, the onedimensional faces of \(M^{\vee }_{F,\tau }\) correspond canonically to the irreducible components of the boundary divisor D of \(\mathcal {X}^{\dagger }\) passing through \(\tau \). If u is a generator of a onedimensional face and E is the corresponding component of D, then \(u(\omega )\) and \(u(e_t)\) are the multiplicities of E in \(\mathrm {div}_{\mathcal {X}^{\dagger }}\) and \(\mathcal {X}_k\), respectively. In particular, if D is not included in \(\mathcal {X}_k\), then \(u(e_t)=0\) and \(u(\omega )=1\), because \(\omega \) is a volume form on \(\mathcal {X}_K\). Thus the result follows from Lemma 5.1.1. \(\square \)
Proposition 5.4.2 tells us that, in order to find a set of candidate poles of \(Z_{\mathcal {X},\omega }(T)\), it is not necessary to take a log resolution of the pair \((\mathcal {X},\mathcal {X}_k)\), which would introduce many redundant candiate poles. This observation is particularly useful in the context of the monodromy conjecture for motivic zeta functions; see Sect. 8.
Generalizations
Formal schemes
The definition of the motivic zeta function (Definition 5.2.2) can be generalized to the case where \(\mathcal {X}\) is a formal scheme satisfying a suitable finiteness condition (a socalled special formal scheme in the sense of [1], which is also called a formal scheme formally of finite type in the literature). This generalization is carried out in [25], and it is not difficult to extend our formula from Theorem 5.3.1 to this setting. The main reason why we have chosen to work in the category of schemes in this article is the lack of suitable references for the basic properties of logarithmic formal schemes on which the proof of our formula relies. However, the proofs for log schemes carry over easily to the formal case, so that the reader who would want to apply Theorem 5.3.1 to formal schemes should have no difficulties in making the necessary verifications.
Nisnevich log structures
We will now show how Theorem 5.3.1 can be adapted to log schemes in the Nisnevich topology. This allows us to compute motivic zeta functions on a larger class of models with components with “mild” selfintersections in the special fiber. This generality is needed, for instance, for the applications to motivic zeta functions of Calabi–Yau varieties in [13]. We will explain in Example 6.2.3 what is the advantage of the Nisnevich topology over the étale topology when computing motivic zeta functions.
Let Y be a Noetherian scheme. A family of morphisms of schemes
is called a Nisnevich cover if each morphism is étale and, for every point y in Y, there exist an element \(\alpha \) in A and a point \(y_{\alpha }\) in \(Y_{\alpha }\) such that \(u_{\alpha }(y_{\alpha })=y\) and the induced morphism of residue fields \(\kappa (y)\rightarrow \kappa (y_{\alpha })\) is an isomorphism. By taking for y a generic point of Y and applying Noetherian induction, the definition implies that there exists a finite partition of Y into reduced subschemes Z with the property that there exist an index \(\alpha \) in A and a subscheme \(Z_{\alpha }\) of \(Y_{\alpha }\) such that the restriction of \(u_{\alpha }\) to \(Z_{\alpha }\) is an isomorphism onto Z.
These covering families generate a Grothendieck topology, which is called the Nisnevich topology. Let \(M_Y\rightarrow {\mathcal {O}}_Y\) be an fs log structure on Y with respect to the étale topology (as in [16]). We say that the log structure \(M_Y\) is Nisnevich if we can find charts for the log structure \(M_Y\) locally in the Nisnevich topology on Y.
Let \(\mathcal {X}^{\dagger }\) be a smooth fs Nisnevich log scheme of finite type over \(S^\dagger \). Then the sheaf of monoids \(M^{\sharp }_{\mathcal {X}^{\dagger }}\) is constructible on the Nisnevich site of \(\mathcal {X}\), by the same proof as in [10, 10.2.21]. We choose a partition \({\mathscr {P}}\) of \(\mathcal {X}_k\) into irreducible locally closed subsets U such that the restriction of \(M^{\sharp }_{\mathcal {X}^{\dagger }}\) to the Nisnevich site on U is constant. We denote by P the set consisting of the generic points of all the strata U in \({\mathscr {P}}\). For every point \(\tau \) in P we will write \(E(\tau )^o\) for the unique stratum in \({\mathscr {P}}\) containing \(\tau \), and we denote by \(r(\tau )\) the dimension of the monoid \(M^{\sharp }_{\mathcal {X}^{\dagger },\tau }\). We define the root index \(\rho (\tau )\) and the scheme \({\widetilde{E}}(\tau )^o\) in exactly the same way as before, and we write \(e_t\) for the image of t in the monoid of global sections of \(M^{\sharp }_{\mathcal {X}^{\dagger }}\). If \(\mathcal {X}_K\) is smooth over K and \(\omega \) is a volume form on \(\mathcal {X}_K\), then we can also simply copy the definition of the value \(u(\omega )\) for every local morphism \(u:M^{\sharp }_{\mathcal {X}^{\dagger },\tau }\rightarrow \mathbb {N}\).
Theorem 6.2.1
Let \(\mathcal {X}^{\dagger }\) be a smooth fs Nisnevich log scheme of finite type over \(S^\dagger \). We assume that the generic fiber \(\mathcal {X}_K\) is smooth over K. Let \(\omega \) be a volume form on \(\mathcal {X}_K\). Then the motivic zeta function of \((\mathcal {X},\omega )\) is given by
in \({\mathcal {M}}_{\mathcal {X}_k}\llbracket T \rrbracket \).
Proof
One can reduce to the Zariski case by observing that the motivic zeta function \(Z_{\mathcal {X},\omega }(T)\) is local with respect to the Nisnevich topology, in the following sense: if \(h:\mathcal {U}\rightarrow \mathcal {X}\) is an étale morphism of finite type and Y is a subscheme of \(\mathcal {X}_k\) such that \(Y'=\mathcal {U}\times _{\mathcal {X}}Y\rightarrow Y\) is an isomorphism, then \(Z_{\mathcal {X},\omega }(T)\) and \(Z_{\mathcal {U},h^*_K\omega }(T)\) have the same image under the base change morphisms \({\mathcal {M}}_{\mathcal {U}_k}\llbracket T \rrbracket \rightarrow {\mathcal {M}}_{Y}\llbracket T \rrbracket \) and \({\mathcal {M}}_{\mathcal {X}_k}\llbracket T \rrbracket \rightarrow {\mathcal {M}}_{Y}\llbracket T \rrbracket \), respectively. This is an immediate consequence of the definition of the motivic integral. Moreover, if \(\{Y_1,\ldots ,Y_r\}\) is a finite partition of \(\mathcal {X}_k\) into subschemes and we denote by \(Z_i(T)\) the image of \(Z_{\mathcal {X},\omega }(T)\) under the composition
(base change followed by the forgetful morphism), then
Thus we can compute \(Z_{\mathcal {X},\omega }(T)\) on a Nisnevich cover of \(\mathcal {X}\) where the log structure becomes Zariski in the sense of [30, 2.1.1]. Since the right hand side of (6) satisfies the analogous localization property with respect to the Zariski topology, the result now follows from the Zariski case that was proven in Theorem 5.3.1. \(\square \)
Corollary 6.2.2
Let \(\mathcal {X}^{\dagger }\) be a smooth fs log scheme of finite type over \(S^\dagger \) (with respect to the Nisnevich topology) such that \(\mathcal {X}_K\) is smooth over K. Let \(\omega \) be a volume form on \(\mathcal {X}_K\). Write \(\mathcal {X}_k=\sum _{i\in I}N_i E_i\) and denote by \(\nu _i\) the multiplicity of \(E_i\) in \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\), for every \(i\in I\). Then
is a set of candidate poles for \(Z_{\mathcal {X},\omega }(T)\).
Proof
The proof is almost identical to the proof of the Zariski case (Proposition 5.4.2), using the formula in Theorem 6.2.1 instead of Theorem 5.3.1. We no longer have a bijective correspondence between the generators u of onedimensional faces of \((M^{\sharp }_{\mathcal {X}^{\dagger },\tau })^{\vee }\) and the irreducible components of the boundary D containing \(\tau \), in general, because one component may have multiple formal branches at \(\tau \) and each of these will give rise to a onedimensional face of \((M^{\sharp }_{\mathcal {X}^{\dagger },\tau })^{\vee }\). However, it remains true that for every generator u of a onedimensional face of \((M^{\sharp }_{\mathcal {X}^{\dagger },\tau })^{\vee }\), there exists an irreducible component E of D such that \(u(e_t)\) equals the multiplicity of D in \(\mathcal {X}_k\) and \(u(\omega )\) equals the multiplicity of E in \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\). This is sufficient to prove the result. \(\square \)
The following example shows that the formula in Theorem 6.2.1 may fail if we replace the Nisnevich topology by the étale topology.
Example 6.2.3
Let \(R=\mathbb {R}\llbracket t\rrbracket \) and set
We denote by \(\mathcal {X}^{\dagger }\) the étale log scheme we get by endowing \(\mathcal {X}\) with the divisorial log structure induced by \(\mathcal {X}_{\mathbb {R}}\). Then \(\mathcal {X}^{\dagger }\) is smooth over \(S^+\), since the base change to \(R'=\mathbb {C}\llbracket t \rrbracket \) is isomorphic to \({{\,\mathrm{Spec}\,}}R'[u,v]/(uvt)\). However, the log structure is not Nisnevich (that is, the étale sheaf \(M_{\mathcal {X}^{\dagger }}\) is not the pullback of a sheaf in the Nisnevich topology).
The étale sheaf \(M^{\sharp }_{\mathcal {X}^{\dagger }}\) is locally constant on the complement of the origin O of \(\mathcal {X}_\mathbb {R}\), with geometric stalk \(\mathbb {N}\). The geometric stalk of \(M^{\sharp }_{\mathcal {X}^{\dagger }}\) at O is isomorphic to \(\mathbb {N}^2\). The line bundle \(\omega _{\mathcal {X}^{\dagger }/S^{\dagger }}\) is trivial on \(\mathcal {X}\) with generator
Blowing up \(\mathcal {X}\) at O, we obtain a regular Rscheme whose special fiber has strict normal crossings. Using Corollary 5.3.2, one computes that the image of \(Z_{\mathcal {X},\omega }(T)\) under the forgetful morphism \({\mathcal {M}}_{\mathcal {X}_\mathbb {R}}\llbracket T \rrbracket \rightarrow {\mathcal {M}}_{\mathbb {R}}\llbracket T \rrbracket \) is equal to
where C is a geometrically connected smooth projective rational curve over \(\mathbb {R}\) without rational point.
The right hand side of (6) equals
which does not agree with our expression for \(Z_{\mathcal {X},\omega }(T)\). Indeed,
in \({\mathcal {M}}_{\mathbb {R}}\), as can be seen by applying the étale realization morphism
for any prime \(\ell \).
Similar examples can be constructed when k is algebraically closed, for instance by considering
with \(R=k\llbracket t\rrbracket \).
The monodromy action
Equivariant Grothendieck rings
Let X be a Noetherian scheme and let G be a finite group scheme over \(\mathbb {Z}\) that acts on X; unless explicitly stated otherwise, we will always assume that group schemes act on schemes from the left. Suppose that the action of G on X is good, which means that X can be covered by Gstable affine open subschemes. Then the Grothendieck group \(K^G_0(\mathrm {Var}_X)\) of Xschemes with Gaction is the abelian group defined by the following presentation:
Generators: Isomorphism classes [Y] of Xschemes Y of finite type endowed with a good action of G such that the morphism \(Y\rightarrow X\) is Gequivariant; here the isomorphism class is taken with respect to Gequivariant isomorphisms.
Relations:
 (1)
If Y is an Xscheme of finite type with good Gaction and Z is a closed subscheme of Y that is stable under the Gaction, then
$$\begin{aligned}{}[Y]=[Z]+[Y{\setminus } Z]. \end{aligned}$$  (2)
If Y is an Xscheme of finite type with good Gaction and \(A\rightarrow Y\) is an affine bundle of rank r endowed with an affine lift of the Gaction on Y, then
$$\begin{aligned}{}[A]=[\mathbb {A}^r_{\mathbb {Z}}\times _{\mathbb {Z}} Y] \end{aligned}$$where G acts trivially on \(\mathbb {A}^r_{\mathbb {Z}}\).
 (1)
We define a ring structure on \(K^G_0(\mathrm {Var}_X)\) by means of the multiplication rule \([Y]\cdot [Y']=[Y\times _X Y']\) where G acts diagonally on \(Y\times _X Y'\). We write \(\mathbb {L}\) for the class \([\mathbb {A}^1_{\mathbb {Z}}\times _{\mathbb {Z}} X]\) and we set \({\mathcal {M}}^G_X=K^G_0(\mathrm {Var}_X)[\mathbb {L}^{1}]\).
We will use this definition in the case where \(G=\mu _n\), the group scheme of nth roots of unity, for some positive integer n. If m is a positive multiple of n, then the (m / n)th power map \(\mu _m\rightarrow \mu _n\) induces a ring morphism \({\mathcal {M}}^{\mu _n}_X\rightarrow {\mathcal {M}}^{\mu _m}_X\). We denote by \({\widehat{\mu }}\) the profinite group scheme of roots of unity and we set
where the positive integers n are ordered by the divisibility relation. An action of \({\widehat{\mu }}\) on a Noetherian scheme is called good if it factors through a good action of \(\mu _n\) for some \(n>0\). We will need the following elementary result.
Proposition 7.1.1
Let \(Y\rightarrow X\) be an equivariant morphism of Noetherian schemes with a good \(\mu _n\)action, for some \(n>0\). Assume that Y is a \({\mathbb {G}}^r_{m,\mathbb {Z}}\)torsor over X and that the action
is \(\mu _n\)equivariant, where \(\mu _n\) acts trivially on \({\mathbb {G}}^r_{m,\mathbb {Z}}\). Then we have
in \(K^{\mu _n}_0(\mathrm {Var}_X)\).
Proof
The torsor Y can be decomposed as a product
where \({\mathcal {L}}_1, \ldots ,{\mathcal {L}}_{r}\) are \(\mu _n\)equivariant line bundles on X and \({\mathcal {L}}_i^{*}\) is obtained from \({\mathcal {L}}_i\) by removing the zero section. Now the relations in the equivariant Grothendieck ring immediately imply that
in \(K^{\mu _n}_0(\mathrm {Var}_X)\). \(\square \)
Monodromy action on the motivic zeta function
Let k be a field of characteristic zero and set \(R=k\llbracket t\rrbracket \) and \(K=k(\negthinspace (t)\negthinspace )\). Let \(\mathcal {X}\) be an Rscheme of finite type with smooth generic fiber \(\mathcal {X}_K\), and let \(\omega \) be a volume form on \(\mathcal {X}_K\). Then the definition of the motivic zeta function \(Z_{\mathcal {X},\omega }(T)\) (Definition 5.2.2) can be refined in the following way. For every positive integer n, the finite group scheme \(\mu _{n}\) of nth roots of unity acts on \(S(n)={{\,\mathrm{Spec}\,}}R[u]/(u^nt)\) from the right via multiplication on u:
We invert this action to obtain a left action on S(n). This induces a left action of \(\mu _n\) on \(\mathcal {X}(n)\). One can use this action to upgrade the motivic integral
to an element in the equivariant Grothendieck ring \({\mathcal {M}}_{\mathcal {X}_k}^{\mu _n}\) of \(\mathcal {X}_k\)varieties with \(\mu _n\)action—see [14], where one can remove the assumption that k contains all the roots of unity, since it is not needed in the arguments. This equivariant motivic integral can be computed by taking a quasiprojective \(\mu _n\)equivariant Néron smoothening \(\mathcal {Y}\rightarrow \mathcal {X}(n)\) over R(n): then
where C(i) is the union of the connected components C of \(\mathcal {Y}_k\) such that \({{\,\mathrm{ord}\,}}_{C}\omega (n)=i\); note that C(i) is stable under the action of \(\mu _n\), because \(\omega (n)\) is defined over K. A quasiprojective \(\mu _n\)equivariant smoothening \(\mathcal {Y}\rightarrow \mathcal {X}(n)\) can always be produced by means of the smoothening algorithm described in the proof of [3, 3.4.2]; quasiprojectivity implies that the \(\mu _n\)action on \(\mathcal {Y}\) is good.
Now we can view the motivic zeta function
as an object in \({\mathcal {M}}^{{\widehat{\mu }}}_{\mathcal {X}_k}\llbracket T \rrbracket \). We will use the new notation \(Z^{{\widehat{\mu }}}_{\mathcal {X},\omega }(T)\) to indicate that we take the \({\widehat{\mu }}\)action into account. On the other hand, the schemes \({\widetilde{E}}(\tau )^o\) appearing in Theorems 5.3.1 and 6.2.1 also carry an obvious action of the group scheme \({\widehat{\mu }}\), because \(\mu _n\) acts on the fs base change
for every \(n>0\)via the left action on S(n).
Theorem 7.2.1
If k has characteristic zero, then Theorems 5.3.1 and 6.2.1 are valid already for the equivariant motivic zeta function \(Z^{{\widehat{\mu }}}_{\mathcal {X},\omega }(T)\) in \({\mathcal {M}}^{{\widehat{\mu }}}_{\mathcal {X}_k}\llbracket T \rrbracket \).
Proof
We can follow a similar strategy as in the proof of Theorem 5.3.1. Let \(k^a\) be an algebraic closure of k and set \((S^a)^{\dagger }={{\,\mathrm{Spec}\,}}k^a\llbracket t\rrbracket \) with its standard log structure. To compute the degree n coefficient of \(Z_{\mathcal {X},\omega }(T)\) we can choose a regular subdivision of the fan \(F^a(n)\) of \(\mathcal {X}(n)^{\dagger }\times _{S^\dagger }(S^a)^{\dagger }\) that is equivariant with respect to the actions of \(\mu _n(k^a)\) and the Galois group \(\mathrm {Gal}(k^a/k)\). This can be achieved by canonical equivariant resolution of singularities for toroidal embeddings (see for instance the remark on p. 33 of [36]).
The induced log modification of \(\mathcal {X}(n)\) is a regular scheme and its smooth locus is a \(\mu _n\)equivariant Néron smoothening of \(\mathcal {X}(n)\). Then a similar computation as in the last step of the proof of Theorem 5.3.1 yields the desired result.
The only step that requires further clarification is the equality (4): we need to show that it remains valid in the equivariant Grothendieck ring \({\mathcal {M}}^{{\widehat{\mu }}}_{\mathcal {X}_k}\). For every fixed point \(\sigma \) of the \(\mu _n(k^a)\)action on \(F^a(n)\), the group \(\mu _n(k^a)\) also acts trivially on the stalk of \(M_{F^a(n)}\) at \(\sigma \) by [24, 2.1.1]. In the notation of (4), this means that the natural morphism \({\widetilde{E}}(\tau ')^o\rightarrow {\widetilde{E}}(\tau )^o\) is a \(\mu _n\)equivariant torsor with translation group \({\mathbb {G}}_{m,k}^{r(\tau )r(\tau ')}\), where \(\mu _n\) acts trivially on \({\mathbb {G}}_{m,k}^{r(\tau )r(\tau ')}\). Now it follows from Proposition 7.1.1 that
in \({\mathcal {M}}^{{\widehat{\mu }}}_{\mathcal {X}_k}\). \(\square \)
The definition of a set of candidate poles (Definition 5.4.1) can be generalized to elements of \({\mathcal {M}}^{{\widehat{\mu }}}_{\mathcal {X}_k}\llbracket T \rrbracket \) in the obvious way. Then we can deduce the following result from Theorem 7.2.1.
Corollary 7.2.2
Assume that k has characteristic zero. Let \(\mathcal {X}^{\dagger }\) be a smooth fs log scheme of finite type over \(S^\dagger \) (with respect to the Zariski or Nisnevich topology) such that \(\mathcal {X}_K\) is smooth over K. Let \(\omega \) be a volume form on \(\mathcal {X}_K\). Write \(\mathcal {X}_k=\sum _{i\in I}N_i E_i\) and denote by \(\nu _i\) the multiplicity of \(E_i\) in \(\mathrm {div}_{\mathcal {X}^{\dagger }}(\omega )\), for every \(i\in I\). Then
is a set of candidate poles for \(Z^{{\widehat{\mu }}}_{\mathcal {X},\omega }(T)\).
Proof
The argument is entirely similar to the proofs of Proposition 5.4.2 and Corollary 6.2.2. \(\square \)
Applications to Denef and Loeser’s motivic zeta function
The motivic zeta function of Denef–Loeser
Let k be a field of characteristic zero, let X be an irreducible smooth kvariety and let
be a dominant morphism of kschemes. We set \(X_0=f^{1}(0)\). In [8], Denef and Loeser have defined the motivic zeta function\(Z_f(T)\) of f, which is a power series in \({\mathcal {M}}^{{\widehat{\mu }}}_{X_0}\llbracket T \rrbracket \) that can be viewed as a motivic upgrade of Igusa’s local zeta function for polynomials over padic fields. The famous monodromy conjecture predicts that the set of roots of the Bernstein polynomial of f is a set of candidate poles for \(Z_f(T)\) (in the sense of Definition 5.4.1). This has been proven when X has dimension 2 and for some specific classes of singularities, but the conjecture is wide open in general. In fact, to our best knowledge, the proofs of the dimension 2 case in the literature consider a slightly weaker conjecture, dealing only with the socalled “naïve” motivic zeta function, which can be viewed as the quotient of \(Z_f(T)\) by the action of \({\widehat{\mu }}\) (up to multiplication by a factor \(\mathbb {L}1\)). We will explain below how the argument can be refined to prove the conjecture for \(Z_f(T)\) (Corollary 8.2.2).
Set \(R=k\llbracket t \rrbracket \), \(K=k(\negthinspace (t)\negthinspace )\) and \(\mathcal {X}=X\times _{k[t]}R\). Let us recall how one can rewrite \(Z_f(T)\) as the motivic zeta function of \((\mathcal {X},\omega )\) for a suitable volume form \(\omega \) on \(\mathcal {X}_K\). Since the definition of the motivic zeta function is local on X, we can assume that X carries a volume form \(\phi \) over k. To this volume form, one can attach a socalled Gelfand–Leray form\(\omega =\phi /df\), which is a volume form on \(\mathcal {X}_K\) [28, 9.5]. Theorem 9.10 in [28] states that
in \({\mathcal {M}}_{X_0}\llbracket T \rrbracket \) (where we forget the \({\widehat{\mu }}\)action on the right hand side). This can also be deduced from Corollary 5.3.2 and Denef and Loeser’s formula for the motivic zeta function in terms of a log resolution for f [8, 3.3.1]. Using Theorem 7.2.1, one can moreover show that this equality holds already for the equivariant motivic zeta function \(Z^{{\widehat{\mu }}}_{\mathcal {X},\omega }(T)\) in \({\mathcal {M}}^{{\widehat{\mu }}}_{X_0}\llbracket T \rrbracket \). More precisely, let \(h:Y\rightarrow X\) be a log resolution for the pair \((X,X_0)\), and write \(h^*X_0=\sum _{i\in I}N_i E_i\) and \(K_{Y/X}=\sum _{i\in I}(\nu _i1)E_i\). Set \(\mathcal {Y}=Y\times _{k[t]}R\) and endow it with the divisorial log structure induced by \(\mathcal {Y}_k\). Then the multiplicity of \(E_i\) in \(\mathrm {div}_{\mathcal {Y}^{\dagger }}(\omega )\) equals \(\nu _iN_i\), so that the expression in Corollary 5.3.2 is precisely Denef and Loeser’s formula for \(Z_f(\mathbb {L}T)\). Hence, we obtain that
in \({\mathcal {M}}^{{\widehat{\mu }}}_{X_0}\llbracket T \rrbracket \).
Thus Theorem 7.2.1 and Corollary 7.2.2 also apply to the motivic zeta function of Denef and Loeser. As an illustration, we will apply these results to two particular situations: the case where X has dimension 2, and the case where f is a polynomial that is nondegenerate with respect to its Newton polyhedron. These cases have been studied extensively in the literature; we will explain how some of the main results can be viewed as special cases of Theorem 5.3.1.
The surface case
Assume that X has dimension 2, and let \(h:Y\rightarrow X\) be a log resolution for the pair \((X,X_0)\). We write \(h^*X_0=\sum _{i\in I}N_i E_i\) and \(K_{Y/X}=\sum _{i\in I}(\nu _i1)E_i\). The numbers \(N_i\) and \(\nu _i\) are called the numerical data associated with the component \(E_i\). It follows from Denef and Loeser’s formula [8, 3.3.1] that
is a set of candidate poles for \(Z_f(T)\). However, it is known that many of these candidate poles are not actual poles of \(Z_f(T)\). In [35], Veys has provided a conceptual explanation for this phenomenon by providing a formula for the topological zeta function (a coarser predecessor of the motivic zeta function) in terms of the relative log canonical model of \((X,X_0)\) over X. We can now upgrade this result to the motivic zeta function and understand it as a special case of Theorem 5.3.1.
Theorem 8.2.1
For every \(i\in I\) such that \(E_i\) is exceptional with respect to h, we denote by \(k_i\) the field \(H^0(E_i,{\mathcal {O}}_{E_i})\). We define \(I_0\) to be the subset of I consisting of the indices i such that \(E_i\) is an exceptional component of \(h^*X_0\) satisfying \((E_i)^2\ge 2[k_i:k]\). Then
is still a set of candidate poles of \(Z_f(T)\in {\mathcal {M}}^{{\widehat{\mu }}}_{X_0}\llbracket T \rrbracket \).
Proof
Set \(\mathcal {Y}=Y\times _{k[t]}R\). Contracting all the components \(E_i\) with \(i\in I_0\) yields a new model \(\mathcal {Z}\) of \(\mathcal {X}_K\) that is proper over \(\mathcal {X}\), namely, the log canonical model of \((\mathcal {X},\mathcal {X}_k)\) over \(\mathcal {X}\). We endow \(\mathcal {Z}\) with the divisorial log structure induced by \({\mathcal {Z}}_k\). It follows from [15, §3] that the resulting log scheme \(\mathcal {Z}^{\dagger }\) is regular with respect to the étale topology, and since k has characteristic zero, this implies that \(\mathcal {Z}^{\dagger }\) is smooth over \(S^\dagger \) with respect to the étale topology (Proposition 3.6.1).
The log structure on \(\mathcal {Z}^{\dagger }\) fails to be Zariski precisely at the selfintersection points of components in the strict transform of \(X_0\). If k is algebraically closed, then the log structure is Nisnevich at these points (because they have algebraically closed residue field) and our result follows immediately from Corollary 7.2.2. For general k, we can make the log structure Zariski by blowing up \(\mathcal {Z}^{\dagger }\) at each of the selfintersection points (see the proof of [30, 5.4]). These blowups are log blowups, so that the resulting morphism of log schemes \(\mathcal {W}^{\dagger }\rightarrow \mathcal {Z}^{\dagger }\) is étale. Therefore, blowing up at a selfintersection point of a component \(E_i\) yields an exceptional divisor with numerical data \(N=2N_i\) and \(\nu =2\nu _i\). This implies that \({\mathcal {P}}(\mathcal {W}^{\dagger })={\mathcal {P}}'\), so that the result follows from Corollary 7.2.2 (applied to the smooth Zariski log scheme \(\mathcal {W}^{\dagger }\)). \(\square \)
Corollary 8.2.2
There exists a set of candidate poles for \(Z_f(T)\) that consists entirely of roots of the Bernstein polynomial of f. Thus the monodromy conjecture for \(Z_f(T)\in {\mathcal {M}}_{\mathcal {X}_k}^{{\widehat{\mu }}}\llbracket T\rrbracket \) holds in dimension 2.
Proof
Loeser has proven in [21, III.3.1] that every element of \({\mathcal {P}}'\) is a root of the Bernstein polynomial of f. \(\square \)
Analogous results have previously appeared in the literature for the padic zeta function [21, 34], the topological zeta function [35] and the socalled “naïve” motivic zeta function [31].
Nondegenerate polynomials
As a second illustration, we will use our results to recover the formula for the motivic zeta function of a polynomial that is nondegenerate with respect to its Newton polyhedron [11, §2.1] (see also [2, §10] for a calculation of the local “naïve” motivic zeta function at the origin). In fact, our computations show that the formula in [11, 2.1.3] has some flaws; we will explain in Remark 8.3.3 what needs to be corrected. Let
be a nonconstant polynomial in \(k[x_1,\ldots ,x_n]\), where we use the multiindex notation for \(x=(x_1,\ldots ,x_n)\). We assume that \(f(0,\ldots ,0)=0\). The supportS(f) of f is the set of \(m\in \mathbb {N}^n\) such that \(a_{m}\) is nonzero, and the Newton polyhedron\(\Gamma (f)\) of f is the convex hull of
For every face \(\gamma \) of \(\Gamma (f)\), we set
Then f is called nondegenerate with respect to its Newton polyhedron if, for every face \(\gamma \) of \(\Gamma (f)\), the polynomial \(f_{\gamma }\) has no critical points in the torus \({\mathbb {G}}_{m,k}^n\) (this includes the case \(\gamma =\Gamma (f)\)). This condition was introduced by Kushnirenko in [19]. It guarantees that many interesting invariants of the singularities of f can be computed from the Newton polyhedron in a combinatorial way. In particular, every regular subdivision of the dual fan of \(\Gamma (f)\) defines a toric modification of \(\mathbb {A}^n_k\) that is a log resolution for the pair \((\mathbb {A}^n_k,\mathrm {div}(f))\). Moreover, if we fix the support S(f), then f is Newton nondegenerate for a generic choice of coefficients \(a_{m}\).
We denote by \(\Sigma \) the dual fan of \(\Gamma (f)\) and by \(h:Y\rightarrow \mathbb {A}^n_k\) the toric modification associated with the subdivision \(\Sigma \) of \((\mathbb {R}_{\ge 0})^n\). We view Y as a k[t]scheme via the morphism \(f\circ h:Y\rightarrow {{\,\mathrm{Spec}\,}}k[t]\) and we set \(\mathcal {Y}=Y\times _{k[t]}R\). We denote by H the pullback to \(\mathcal {Y}\) of the union of the coordinate hyperplanes in \(\mathbb {A}^n_k\). We endow \(\mathcal {Y}\) with the divisorial Zariski log structure induced by the divisor \(\mathcal {Y}_k+H\). The result is a Zariski log scheme \(\mathcal {Y}^{\dagger }\) over \(S^{\dagger }\).
Proposition 8.3.1
The log scheme \(\mathcal {Y}^{\dagger }\) is fine and saturated, and smooth over \(S^{\dagger }\).
Proof
By Proposition 3.6.1, we only need to show that \(\mathcal {Y}^{\dagger }\) is regular. Since f has no critical points on \({\mathbb {G}}^n_{m,k}\) by the nondegeneracy assumption, we only need to check regularity at the points y on \(H\cap \mathcal {Y}_k\). Let \(\sigma \) be the cone of \(\Sigma \) such that y lies on the associated torus orbit \(O(\sigma )\) in Y, and denote by \(\gamma \) the face of \(\Gamma (f)\) corresponding to \(\sigma \). We denote by M the characteristic monoid \(M^{\sharp }_{\mathcal {Y}^{\dagger },y}\) of \(\mathcal {Y}^{\dagger }\) at y.
If y does not lie in the closure of \(\mathrm {div}(f\circ h)\cap {\mathbb {G}}_{m,k}^n\), then locally around y, the log structure on \(\mathcal {Y}^{\dagger }\) is the pullback of the natural log structure on the toric variety Y, which was described in Example 3.2.3. Thus \(\mathcal {Y}^{\dagger }\) is fine and saturated, because the divisorial log structure on Y induced by the toric boundary has these properties. It also follows that \(M=(\sigma ^{\vee }\cap \mathbb {Z}^n)^{\sharp }\) so that \(M^{\mathrm {gp}}\) has rank \(r=\mathrm {dim}(\sigma )\). Locally at y, the maximal ideal of \(M_{\mathcal {Y}^{\dagger },y}\) defines the toric orbit \(O(\sigma )\), which is regular of codimension r in \(\mathcal {Y}\). Thus \(\mathcal {Y}^{\dagger }\) is regular at y.
Now suppose that y lies in the schematic closure of \(\mathrm {div}(f\circ h)\cap {\mathbb {G}}_{m,k}^n\). If v is any lattice point on \(\gamma +(\sigma ^{\vee }\cap \mathbb {Z}^n)^{\times }\), then locally at y this schematic closure is the zero locus of \(f'=(f_{\gamma }/x^{v})+g\) where g is an element of \({\mathcal {O}}_{\mathcal {Y},y}\) that vanishes along \(O(\sigma )\). The monoid M is a submonoid of the monoid \({\mathcal {O}}_{\mathcal {Y},y}/{\mathcal {O}}^{\times }_{\mathcal {Y},y}\) of Cartier divisors on \({{\,\mathrm{Spec}\,}}{\mathcal {O}}_{\mathcal {Y},y}\), generated by \((\sigma ^{\vee }\cap \mathbb {Z}^n)^{\sharp }\) and \(\mathrm {div}(f')\). The morphism of monoids
that acts as the identity on the first summand and sends (0, 1) to \(\mathrm {div}(f')\) is an isomorphism. In particular, \(M^{\mathrm {gp}}\) has rank \(r=\mathrm {dim}(\sigma )+1\). Locally at y, the log scheme \(\mathcal {Y}^{\dagger }\) has a chart of the form \(\mathcal {Y}^{\dagger }\rightarrow {{\,\mathrm{Spec}\,}}^{\dagger }\mathbb {Z}[M]\) where the morphism of monoids
maps (m, 1) to \(\chi ^m f'\). Here we denote by \(\chi ^m\) the pullback to \(\mathcal {Y}\) of the character of Y associated with m. Since M is fine and saturated, it follows that \(\mathcal {Y}^{\dagger }\) is fine and saturated, as well.
Locally at y, the closed subscheme Z of \(\mathcal {Y}\) defined by the maximal ideal of \(M_{\mathcal {Y}^{\dagger },y}\) coincides with the schematic intersection of \(O(\sigma )\) with \(\mathrm {div}(f')\). Since \(O(\sigma )\) is canonically isomorphic to \({{\,\mathrm{Spec}\,}}k[(\sigma ^{\vee }\cap \mathbb {Z}^n)^{\times }]\) and Z is the closed subscheme of \(O(\sigma )\) defined by \(f_{\gamma }/x^{v}\), the assumption that \(f_{\gamma }\) has no critical points in \({\mathbb {G}}^n_{m,k}\) now implies that Z is regular at y of codimension r in \({\mathcal {Y}}\). Hence, \(\mathcal {Y}^{\dagger }\) is regular at y. \(\square \)
In order to write down an explicit expression for the motivic zeta function \(Z_f(T)\), we need to introduce some further notation. We set \(X_0=f^{1}(0)\). We define piecewise affine functions N and \(\nu \) on \(\Sigma \) by setting
for every u in \(\mathbb {R}^n\). For every face \(\gamma \) of \(\Gamma (f)\), we denote by \(\sigma _{\gamma }\) the associated cone in the dual fan \(\Sigma \) and by \(\mathring{\sigma }_\gamma \) its relative interior. We write \(O(\sigma _\gamma )\) for the torus orbit of Y corresponding to \(\sigma _\gamma \). We denote by \(M_{\gamma }\) the fine and saturated monoid \(\sigma _{\gamma }^{\vee }\cap \mathbb {Z}^n\). Since \(\sigma _{\gamma }\) is contained in \((\mathbb {R}_{\ge 0})^n\), the dual cone \(\sigma _\gamma ^{\vee }\) contains \((\mathbb {R}_{\ge 0})^n\) and, in particular, the face \(\gamma \). If v is any point on the relative interior of \(\gamma \), then the cone \(\sigma _\gamma ^{\vee }\) is generated by the vectors of the form \(v'v\) wit \(v'\) in \(\Gamma (f)\). The group of invertible elements in \(\sigma ^{\vee }_{\gamma }\) coincides with the subspace of \(\mathbb {R}^n\) generated by the translated face \(\gamma v\), and \(M_{\gamma }^{\times }=(\sigma ^{\vee }_{\gamma })^{\times }\cap \mathbb {Z}^n\). Thus the image of \(\gamma \cap \mathbb {Z}^n\) under the projection \(M_\gamma \rightarrow M_\gamma ^{\sharp }\) consists of a unique point, which we denote by \(v_\gamma \).
We write \(X_{\gamma }(0)\) for the closed subscheme of \({\mathbb {G}}_{m,k}^n\) defined by \(f_{\gamma }\), endowed with the trivial \({\widehat{\mu }}\)action. We view \(X_{\gamma }(0)\) as a scheme over \(X_0\)via the composition
Note that the morphism \(X_\gamma (0)\rightarrow \mathbb {A}^n_k\) factors through \(X_0\), because the image of \(X_\gamma (0)\) in \({{\,\mathrm{Spec}\,}}k[M_\gamma ^{\times }]\) is precisely the intersection of \(O(\sigma _\gamma )\) with the strict transform of \(\mathrm {div}(f)\), by the proof of Proposition 8.3.1.
We also define an \(X_0\)scheme \(X_{\gamma }(1)\) with a good \({\widehat{\mu }}\)action, as follows. The element \(v_\gamma \) of \(M_\gamma ^{\sharp }\) equals 0 if and only if \(O(\sigma _\gamma )\) is not contained in the zero locus of \(f\circ h\). In that case, we set \(X_\gamma (1)=\emptyset \). Otherwise, we can write \(v_\gamma =\rho v_\gamma ^{\mathrm {prim}}\) for a unique positive integer \(\rho \) and a unique primitive vector \(v_\gamma ^{\mathrm {prim}}\) in \(M_\gamma ^{\sharp }\). We choose an element w in \(\mathbb {Z}^n\) such that \(\langle m,w\rangle =\rho \) for every point m on \(\gamma \). We define \(X_\gamma (1)\) to be the closed subscheme of \({\mathbb {G}}_{m,k}^n\) defined by the equation \(f_\gamma =1\). We consider the left \(\mu _{\rho }\)action on \({\mathbb {G}}^n_{m,k}\) with weight vector w:
The subscheme \(X_{\gamma }(1)\) is stable under this action, and thus inherits a left \(\mu _{\rho }\)action from \({\mathbb {G}}^n_{m,k}\). We again view \(X_\gamma (1)\) as an \(X_0\)scheme via the composition
The resulting morphism \(X_\gamma (1)\rightarrow X_0\) is \(\mu _{\rho }\)equivariant with respect to the trivial action on \(X_0\). In formula (7) in the proof of Theorem 8.3.2, we will give an alternative expression for the class of \(X_\gamma (1)\) in \(K^{{\widehat{\mu }}}_0(\mathrm {Var}_{X_0})\) that implies that this class does not depend on the choice of the weight vector w.
Theorem 8.3.2
Let f be a nonconstant polynomial in \(k[x_1,\ldots ,x_n]\) such that f vanishes at the origin and f is nondegenerate with respect to its Newton polyhedron \(\Gamma (f)\). Set \(X_0=f^{1}(0)\). Then the motivic zeta function \(Z_f(T)\) can be written as
in \({\mathcal {M}}^{{\widehat{\mu }}}_{X_0}\llbracket T \rrbracket \), where the sum is taken over all the faces \(\gamma \) of \(\Gamma (f)\).
Proof
We will explain how this can be interpreted as a special case of Theorem 5.3.1. We set
viewed as a volume form on \(\mathcal {Y}_K\).
We denote by D the logarithmic boundary divisor on \(\mathcal {Y}^{\dagger }\). By the definition of a nondegenerate polynomial, the divisor \(\mathrm {div}(f\circ h)\cap {\mathbb {G}}^n_{m,k}\) in the dense torus of Y is smooth. We denote by \(D'\) the restriction to \(\mathcal {Y}\) of the schematic closure of this divisor in Y. Then D is the sum of \(D'\) and the restriction to \(\mathcal {Y}\) of the toric boundary on Y. By the description of the logarithmic strata on a regular log scheme in Sect. 3.2, the logarithmic strata of \(\mathcal {Y}^{\dagger }\) are precisely the sets \(O(\sigma ){\setminus } D'\) and the connected components of \(O(\sigma )\cap D'\), where \(\sigma \) ranges through the cones of \(\Sigma \). Like on any regular log scheme, the points of the fan \(F(\mathcal {Y}^{\dagger })\) are the generic points of these logarithmic strata.
Let \(\gamma \) be a face of \(\Gamma (f)\), and denote by \(\sigma _{\gamma }\) the corresponding cone in the dual fan \(\Sigma \). The points in \(F(\mathcal {Y}^{\dagger })_k\) that lie on \(O(\sigma _{\gamma })\) are the generic points of \(O(\sigma _{\gamma })\cap D'\) and, provided that \(v_\gamma \ne 0\), also the generic point of \(O(\sigma _{\gamma })\). Let \(\tau \) be a point of \(F(\mathcal {Y}^{\dagger })_k\cap O(\sigma _{\gamma })\) and set \(M=M^{\sharp }_{\mathcal {Y}^{\dagger },\tau }\). As usual, we write \(e_t\) for the class of \(t=f\circ h\) in M.
If \(\tau \) lies on \(D'\) then we have \(M\cong M_\gamma ^{\sharp }\oplus \mathbb {N}\) and this yields an isomorphism
The element \(e_t\) of M corresponds to \((v_\gamma ,1)\), because \(D'\) is reduced. It follows that the root index of \(\mathbb {N}\rightarrow M:1\mapsto e_t\) equals 1, so that \({\widetilde{E}}(\tau )^o=E(\tau )^o\). This is the connected component of \(O(\sigma _{\gamma })\cap D'\) that contains \(\tau \). By the scissor relations in the Grothendieck ring, we have
in \(K_0(\mathrm {Var}_{X_0})\).
We have seen in the proof of Proposition 8.3.1 that \(X_\gamma (0)\) is isomorphic to \((O(\sigma _{\gamma })\cap D')\times _k {\mathbb {G}}^{\mathrm {dim}(\sigma _\gamma )}_{m,k}\), so that
in \(K_0(\mathrm {Var}_{X_0})\). Moreover, for every element \(u'=(u,n)\) in \(M^{\vee ,\mathrm {loc}}\) we have \(u'(e_t)=u(v_\gamma )+n=N(u)+n\) and \(u'(\omega )=\nu (u)N(u)\). Thus the contribution of \(F(\mathcal {Y}^{\dagger })_k\cap O(\sigma _{\gamma })\cap D'\) to the formula for \(Z_f(T)=Z^{{\widehat{\mu }}}_{\mathcal {Y},\omega }(\mathbb {L}^{1} T)\) in Theorem 5.3.1 is equal to
If \(\tau \) does not lie on \(D'\), then \(E(\tau )^o=O(\sigma _{\gamma }){\setminus } D'\), and M is canonically isomorphic to \(M_\gamma ^{\sharp }\) so that we can identify \(M^{\vee ,\mathrm {loc}}\) with \(\mathring{\sigma }_{\gamma }\cap \mathbb {N}^n\). The element \(e_t\) of M is equal to \(v_\gamma \), so that \(u(e_t)=u(v_\gamma )=N(u)\) for every u in \(\sigma _{\gamma }\cap \mathbb {N}^n\). We also have \(u(\omega )=\nu (u)N(u)\). Thus, in order to match the formula in the statement of the theorem with the one in Theorem 5.3.1, it suffices to show that
in \(K^{{\widehat{\mu }}}_0(\mathrm {Var}_{X_0})\). We write \(v_\gamma =\rho v_\gamma ^{\mathrm {prim}}\) for a positive integer \(\rho \) and a primitive vector \(v_\gamma ^{\mathrm {prim}}\) in \(M_\gamma ^{\sharp }\). Then \(\rho \) is the root index of the morphism of monoids \(\mathbb {N}\rightarrow M_\gamma ^{\sharp }\) that maps 1 to \(e_t\). The torus orbit \(O(\sigma _{\gamma })\) is canonically isomorphic to \({{\,\mathrm{Spec}\,}}k[M_\gamma ^{\times }]\), and, locally at every point of \(O(\sigma _\gamma )\), we can write \(f\circ h\) as \(x^{v}((f_{\gamma }/x^{v})+g)\) where v is any lattice point on \(\gamma +(\sigma ^{\vee }_\gamma )^{\times }\) and g is a regular function on \(\mathcal {Y}\) that vanishes along \(O(\sigma _\gamma )\). The intersection \(O(\sigma _{\gamma })\cap D'\) is the zero locus of \(f_{\gamma }/x^{v}\). We can choose v in such a way that it is divisible by \(\rho \), because \(v_\gamma \) is divisible by \(\rho \). Now it easily follows from the definition that \({\widetilde{E}}(\tau )^o\) is the cover of \(E(\tau )^o\) defined by taking a \(\rho \)th root of the unit \(f_{\gamma }/x^{v}\):
The group scheme \(\mu _\rho \) acts on \({\widetilde{E}}(\tau )^o\) from the left by the inverse of multiplication on T, that is, \(T *\zeta =\zeta ^{1}T\).
We define a \(\mu _\rho \)equivariant morphism of \(X_0\)schemes \(X_\gamma (1)\rightarrow {\widetilde{E}}(\tau )^o\) by means of the morphism of kalgebras
that maps T to \(x^{v/\rho }\) and that maps \(x^m\) to itself, for every \(m\in M_\gamma ^{\times }\). The morphism \(X_\gamma (1)\rightarrow {\widetilde{E}}(\tau )^o\) is an equivariant torsor with translation group \({{\,\mathrm{Spec}\,}}\mathbb {Z}[V^{\bot }_{\gamma }\cap \mathbb {Z}^n]\), where \(V_{\gamma }\) is the subvector space of \(\mathbb {R}^n\) generated by \(\gamma \), and \(V^{\bot }_{\gamma }\) denotes the orthogonal subspace. The equality (7) now follows from Proposition 7.1.1. \(\square \)
Remark 8.3.3
The calculation of \(Z_f(T)\) in [11, §2.1] contains the following flaws: the \({\widehat{\mu }}\)action on the schemes \(X_\gamma (1)\) is illdefined; the term involving \([X_\gamma (1)]\) should be omitted if \(v_\gamma =0\); the factor \((\mathbb {L}1)\) after \([X_\gamma (0)]\) should be omitted; the \(X_0\)scheme structure on \(X_\gamma (0)\) and \(X_\gamma (1)\) is not specified.
Corollary 8.3.4
Let f be a nonconstant polynomial in \(k[x_1,\ldots ,x_n]\) such that f vanishes at the origin and f is nondegenerate with respect to its Newton polyhedron \(\Gamma (f)\). Denote by R(f) the set of primitive generators of the rays of the dual fan of \(\Gamma (f)\) (that is, the inward pointing primitive normal vector on the facets of \(\Gamma (f)\)). Then the set
is a set of candidate poles of \(Z_f(T)\).
Proof
This follows from Theorem 8.3.2 in the same way as in the proof of Proposition 5.4.2. \(\square \)
Note that this set of candidate poles is substantially smaller than the set of candidates we would get from a toric log resolution of \((\mathbb {A}^n_k,X_0)\): the latter set would include the candidate poles associated with all the rays in a regular subdivision of the dual fan of \(\Gamma (f)\). An analogous result for Igusa’s padic zeta function was proven in [7].
The same method of proof yields similar results for the local motivic zeta function \(Z_{f,O}(T)\) of f at the origin O of \(\mathbb {A}^n_k\). This zeta function is defined as the image of \(Z_f(T)\) under the base change morphism \({\mathcal {M}}^{{\widehat{\mu }}}_{X_0}\rightarrow {\mathcal {M}}^{{\widehat{\mu }}}_{O}={\mathcal {M}}^{{\widehat{\mu }}}_{k}\). In fact, we only need to assume that f is nondegenerate with respect to the compact faces of its Newton polyhedron. This means that for every compact face \(\gamma \) of \(\Gamma (f)\), the polynomial \(f_\gamma \) has no critical points in \({\mathbb {G}}^n_{m,k}\).
Theorem 8.3.5
We keep the notations of Theorem 8.3.2, but we replace the nondegeneracy assumption on f by the weaker condition that f is nondegenerate with respect to the compact faces of \(\Gamma (f)\). Let O be the origin of \(\mathbb {A}^n_k\). Then the motivic zeta function \(Z_{f,O}(T)\) of f at O can be written as
in \({\mathcal {M}}^{{\widehat{\mu }}}_{k}\), where the sum is taken over all the compact faces \(\gamma \) of \(\Gamma (f)\).
Proof
The nondegeneracy condition on f guarantees that \(\mathcal {Y}^{\dagger }\) is smooth over \(S^\dagger \) at every point of \(h^{1}(O)\), by the same arguments as in the proof of Proposition 8.3.1. The remainder of the argument is identical to the proof of Theorem 8.3.2: we only need to take into account that \(O(\sigma _\gamma )\) lies in \(h^{1}(O)\) if \(\gamma \) is compact, and has empty intersection with \(h^{1}(O)\) otherwise. \(\square \)
Remark 8.3.6
The monodromy conjecture for nondegenerate polynomials in at most 3 variables has been proven for the topological zeta function [20] and the padic and naïve motivic zeta functions [2] (in a weaker form, replacing roots of the Bernstein polynomial by local monodromy eigenvalues). See also [22] for partial results in arbitrary dimension in the padic setting.
References
 1.
Berkovich, V.G.: Vanishing cycles for formal schemes II. Invent. Math. 125(2), 367–390 (1996)
 2.
Bories, B., Veys, W.: Igusa’s \(p\)adic local zeta function and the monodromy conjecture for nondegenerate surface singularities. Mem. Amer. Math. Soc. 242 (2016)
 3.
Bosch, S., Lütkebohmert, W., Raynaud, M.: Néron models. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 21. Springer, Berlin (1990)
 4.
Brown, M., Mazzon, E.: The essential skeleton of a product of degenerations. Preprint. arXiv:1712.07235
 5.
Bultot, E.: Motivic Integration and Logarithmic Geometry. Ph.D. Thesis, KU Leuven (2015). arXiv:1505.05688
 6.
Bultot, E.: Computing zeta functions on log smooth models. C. R. Math. Acad. Sci. Paris 353(3), 261–264 (2015)
 7.
Denef, J., Hoornaert, K.: Newton polyhedra and Igusa’s local zeta function. J. Number Theory 89(1), 31–64 (2001)
 8.
Denef, J., Loeser, F.: Geometry on arc spaces of algebraic varieties. In: European Congress of Mathematics, vol. I (Barcelona, 2000). Vol. 201, Progr. Math., Birkhäuser, Basel, pp. 327–348 (2001)
 9.
Fulton, W.: Introduction to toric varieties. In: Annals of Mathematics Studies, vol. 131. Princeton University Press, Princeton (1993)
 10.
Gabber, O., Ramero, L.: Foundations for almost ring theory—release 6.9. Preprint (2015). arXiv:math/0409584v10
 11.
Guibert, G.: Espaces d’arcs et invariants d’Alexander. Comment. Math. Helv. 77(4), 783–820 (2002)
 12.
Halle, L.H., Nicaise, J.: Motivic zeta functions of abelian varieties, and the monodromy conjecture. Adv. Math. 227, 610–653 (2011)
 13.
Halle, L.H., Nicaise, J.: Motivic zeta functions of degenerating Calabi–Yau varieties. Math. Ann. 370(3–4), 1277–1320 (2018)
 14.
Hartmann, A.: Equivariant motivic integration on formal schemes and the motivic zeta function. Comm. Algebra 47(4), 1423–1463 (2019)
 15.
Ito, H., Schröer, S.: Wild quotient surface singularities whose dual graphs are not starshaped. Asian J. Math. 19(5), 951–986 (2015)
 16.
Kato, K.: Logarithmic structures of FontaineIllusie. In: Algebraic Analysis, Geometry, and Number Theory. Johns Hopkins University Press, Baltimore, pp. 191–224 (1989)
 17.
Kato, K.: Toric singularities. Am. J. Math. 116(5), 1073–1099 (1994)
 18.
Kempf, G., Knudsen, F., Mumford, D., SaintDonat, B.: Toroidal embeddings 1. In: Lecture Notes in Mathematics, vol. 339. Springer (1973)
 19.
Kouchnirenko, A.G.: Polyèdres de Newton et nombres de Milnor. Invent. Math. 32, 1–32 (1976)
 20.
Lemahieu, A., Van Proeyen, L.: Monodromy conjecture for nondegenerate surface singularities. Trans. Am. Math. Soc. 363(9), 4801–4829 (2011)
 21.
Loeser, F.: Fonctions d’Igusa \(p\)adiques et polynômes de Bernstein. Am. J. Math. 110(1), 1–21 (1988)
 22.
Loeser, F.: Fonctions d’Igusa \(p\)adiques, polynômes de Bernstein, et polyèdres de Newton. J. Reine Angew. Math. 412, 75–96 (1990)
 23.
Loeser, F., Sebag, J.: Motivic integration on smooth rigid varieties and invariants of degenerations. Duke Math. J. 119, 315–344 (2003)
 24.
Nakayama, C.: Logarithmic étale cohomology. Math. Ann. 308, 365–404 (1997)
 25.
Nicaise, J.: A trace formula for rigid varieties, and motivic Weil generating series for formal schemes. Math. Ann. 343(2), 285–349 (2009)
 26.
Nicaise, J.: Geometric criteria for tame ramification. Math. Z. 273(3), 839–868 (2013)
 27.
Nicaise, J., Overholser, D.P., Ruddat, H.: Motivic zeta functions of the quartic and its mirror dual. In: StringMath 2014, volume 93 of Proceedings of Symposia in Pure Mathematics, AMS, pp. 187–198 (2016)
 28.
Nicaise, J., Sebag, J.: The motivic Serre invariant, ramification, and the analytic Milnor fiber. Invent. Math. 168(1), 133–173 (2007)
 29.
Nicaise, J., Sebag, J.: The Grothendieck ring of varieties. In: R. Cluckers, J. Nicaise and J. Sebag (eds.) Motivic Integration and its Interactions with Model Theory and Nonarchimedean Geometry. Volume 383 of London Mathematical Society Lecture Notes Series. Cambridge University Press, pp. 145–188 (2011)
 30.
Niziol, W.: Toric singularities: logblowups and global resolutions. J. Algebraic Geom. 15(1), 1–29 (2006)
 31.
Rodrigues, B.: On the monodromy conjecture for curves on normal surfaces. Math. Proc. Camb. Philos. Soc. 136(2), 313–324 (2004)
 32.
Rodrigues, B., Veys, W.: Poles of zeta functions on normal surfaces. Proc. Lond. Math. Soc. (3) 87(1), 164–196 (2003)
 33.
Saito, T.: Log smooth extension of a family of curves and semistable reduction. J. Algebraic Geom. 13(2), 287–321 (2004)
 34.
Strauss, L.: Poles of a two variable padic complex power. Trans. Am. Math. Soc. 278(2), 481–493 (1983)
 35.
Veys, W.: Zeta functions for curves and log canonical models. Proc. Lond. Math. Soc. 74(2), 360–378 (1997)
 36.
Wang, J.: Equivariant resolution of singularities and semistable reduction in characteristic zero. Ph.D. Thesis, Massachusetts Institute of Technology (1997)
Acknowledgements
We are grateful to Wim Veys for his suggestion to interpret the results in Sect. 8.2 in the context of logarithmic geometry. The first author was supported by a Ph.D. grant from the Fund of Scientific Research – Flanders (FWO). We would also like to thank the referee for their valuable and thoughtful comments. The second author was supported by the ERC Starting Grant MOTZETA (project 306610) of the European Research Council, and by long term structural funding (Methusalem grant) of the Flemish Government.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bultot, E., Nicaise, J. Computing motivic zeta functions on log smooth models. Math. Z. 295, 427–462 (2020). https://doi.org/10.1007/s00209019023425
Received:
Accepted:
Published:
Issue Date:
Keywords
 Motivic zeta functions
 Logarithmic geometry
 Monodromy conjecture
Mathematics Subject Classification
 14E18
 14M25