Abstract
We prove that stable rationality specializes in regular families whose fibers are integral and have at most ordinary double points as singularities. Our proof is based on motivic specialization techniques and the criterion of Larsen and Lunts for stable rationality in the Grothendieck ring of varieties.
Similar content being viewed by others
1 Introduction
Let k be a field of characteristic zero. An n-dimensional k-variety X is called rational if X is birational to the projective space \({\mathbb {P}}^n\), and stably rational if \(X \times {\mathbb {P}}^m\) is rational for some \(m \ge 0\). It is a natural question, considered recently in particular in [12, 34, 38, 40], how rationality and related notions behave in families.
From our perspective the most natural question is that of specialization: if a very general member of a flat family \(\mathscr {X}\rightarrow S\) of varieties has a certain property, does every member of the family have the same property? Degenerating smooth varieties to cones over singular varieties shows that rationality and stably rationality do not specialize even for terminal singularities [12, 34, 38], thus these questions are meaningful only for smooth families or for some very restricted classes of singularities.
It is known that properties such as ruledness, uniruledness and rational connectedness of varieties specialize in smooth families [25, 29]. It is also known that rationality specializes in smooth families of 3-dimensional varieties [12, 36].
In this paper we study specialization properties of stable rationality in arbitrary dimension. One of our main results is the following:
Theorem 4.2.11
Let k be a field of characteristic zero. Let \(f:\mathscr {X}\rightarrow C\) be a proper flat morphism with \(\mathscr {X}\), C connected smooth k-schemes and \(\dim (C) = 1\). If the geometric generic fiber of f is stably rational, then all geometric fibers with at most ordinary double points as singularities have a stably rational irreducible component.
For a precise definition of what we mean by ordinary double points, see Definition 4.2.1; they are not necessarily isolated singularities.
One consequence of the theorem is that, if \(\mathscr {X}\rightarrow S\) is a smooth proper morphism of k-varieties, then the set \(S_{sr}\) of points in S parameterizing stably rational geometric fibers is a countable union of Zariski closed subsets; see Corollary 4.1.5 for a more general statement. On the other hand, it is known that rationality and stable rationality are not open properties: there exist examples where S is connected and \(S_{sr}\) is a non-empty strict subset of S [16].
The theorem also explains why in practice, for a given smooth family of varieties, proving that one member is stably irrational is as hard as proving that a very general member is stably irrational. This phenomenon can be illustrated on smooth cubic threefolds: they are known to be irrational [9] but stable rationality is known neither for very general nor for specific cubics.
Degeneration techniques are known to be useful in proving irrationality and stable irrationality. Beauville used a degeneration argument for the intermediate Jacobian while proving irrationality for Fano threefolds [4]. Kollár used degeneration to characteristic p in his proof of non-ruledness (and hence, irrationality) of hypersurfaces in \({\mathbb {P}}^n\) of high degree [24].
Our result on specialization of stable rationality, as well as its proof, have been inspired by the corresponding result on specialization for the universal Chow zero triviality introduced by Voisin [40, Theorem 1.1]. The latter specialization result has been used to solve some long-standing questions about stable irrationality of certain very general cyclic coverings, high degree hypersurfaces in projective spaces and conic bundles [5, 10, 15, 37, 40].
When degeneration does not involve characteristic p, our approach allows to deduce stable irrationality directly, without invoking Chow groups; see Theorem 4.3.1, Example 4.3.2 for quartic and sextic double solids, where the constructed degeneration has isolated ordinary double points, and Proposition 4.3.5 for three-dimensional quartics, where the degeneration has more complicated quadratic singularities.
Our proofs of degeneration results for stable rationality rely on the Grothendieck ring of varieties. It was shown by Larsen and Lunts that stable rationality of a smooth and proper variety over a field of characteristic zero can be detected on the class of the variety in the Grothendieck ring: stable rationality is equivalent with this class being congruent to 1 modulo the class \({\mathbb {L}}\) of the affine line. We study two types of specialization maps between Grothendieck rings: Hrushovski and Kazhdan’s motivic volume, which refines the motivic nearby fiber of Denef and Loeser; and the motivic reduction, which is the quotient of the motivic volume by the monodromy action. The motivic volume is a \({\mathbb {Z}}[{\mathbb {L}}]\)-algebra homomorphism whereas the motivic reduction is only a \({\mathbb {Z}}[{\mathbb {L}}]\)-module homomorphism (see Remark 3.2.3 for discussion); both morphisms preserve congruences modulo \({\mathbb {L}}\) and thus can be applied to study stable rationality.
Explicit formulas for the specialization maps on strict normal crossings degenerations then allow us to establish our specialization results for stable rationality. In order to deal with degenerations to singular fibers, we study singularities with the property that a resolution of singularities does not alter the class in the Grothendieck ring of varieties modulo \({\mathbb {L}}\); we call such singularities \({\mathbb {L}}\)-rational (Definition 4.2.4). Prominent examples are rational surface singularities and, in arbitrary dimension, toric singularities and ordinary double points (Example 4.2.6).
In addition to restricting singularities of the special fiber, in order for our method to apply we typically make an assumption that the total space of the degeneration is \({\mathbb {L}}\)-faithful, which by definition means that the motivic volume is congruent to the class of the special fiber modulo \({\mathbb {L}}\). It is not hard to check that nodal degenerations are \({\mathbb {L}}\)-faithful. For this one constructs their explicit semistable model by making a degree two base change followed by a single blow-up of the singular locus of the total space. We demonstrate how to deal with more complicated singularities in Proposition 4.3.3.
Shortly after the first version of this paper had appeared on the arxiv, Kontsevich and Tschinkel used our method to construct specialization homomorphisms analogous to the motivic volume and motivic reduction for a different ring of varieties, which they call the Burnside ring [26]. This yields a birational version of the motivic nearby fiber. They used this invariant to prove that rationality and birational type specialize in smooth and mildly singular families, thus providing an important generalization of our results from stable rationality to rationality. Even though the main theorem of [26] is strictly stronger than ours, we believe that our method is still of independent interest. Firstly, a typical application of the result in [26] is to disprove rationality by means of a degeneration argument, and this can often be achieved by directly disproving stable rationality, for which our results are sufficient; see for instance the applications in Sect. 4.3. More importantly, some specific tools are available for the computation of the motivic volume, which do not apply to the birational variant in [26]. Indeed, it follows from the work of Hrushovski and Kazhdan that the motivic volume is invariant under semi-algebraic bijections, which makes it possible to apply tools from tropical geometry – see in particular the motivic Fubini theorem in [31]. It seems promising to explore the applications of these techniques to rationality questions.
We conclude the introduction with a brief overview of the paper. We collect some preliminary definitions and results in Sect. 2. In Sect. 3 we introduce the technology for Grothendieck rings that we will need. In particular, we define the motivic volume and the motivic reduction maps; they are characterized by the properties stated in Theorem 3.1.1 and Proposition 3.2.1, respectively. We apply these tools to the study of rationality questions in Sect. 4; our main results are Theorem 4.1.2 and 4.2.11. We give concrete applications of these results in Sect. 4.3, see Theorem 4.3.1, Example 4.3.2 and Theorem 4.3.5. Finally, in “Appendix A”, we give an alternative proof of the existence of the motivic volume and reduction maps, which relies on Weak Factorization instead of motivic integration. We believe that it will make the construction more accessible to algebraic geometers; it also provides a new and useful formula for the motivic volume in terms of log smooth models.
2 Preliminaries
2.1 Notation
Let k be a field of characteristic zero. We set \(R=k[\negthinspace [t]\negthinspace ]\) and \(K=k(\negthinspace (t)\negthinspace )\). For every positive integer n, we also write \(R(n)=k[\negthinspace [t^{1/n}]\negthinspace ]\) and \(K(n)=k(\negthinspace (t^{1/n})\negthinspace )\). Finally, we set
If k is algebraically closed, then the field \(K(\infty )\) is an algebraic closure of K. We write \((\cdot )_k\), \((\cdot )_K\) and \((\cdot )_{K(\infty )}\) for the base change functors to the categories of k-schemes, K-schemes and \(K(\infty )\)-schemes, respectively.
For every positive integer n, we denote by \(\mu _n\) the group scheme of n-th roots of unity over k. We order the positive integers by the divisibility relation and set \(\displaystyle \widehat{\mu }=\lim _{\longleftarrow }\mu _n\) where the transition morphism \(\mu _{mn}\rightarrow \mu _n\) is the m-th power map, for all positive integers m and n. If k contains all roots of unity, then \(\mu _n\) and \(\widehat{\mu }\) are constant group schemes over k, and they are canonically isomorphic to the Galois groups \(\mathrm {Gal}(K(n)/K)\) and \(\mathrm {Gal}(K(\infty )/K)\), respectively.
2.2 Constructions on snc-models
If X is a proper K-scheme, then an R-model of X is a flat and proper R-scheme \(\mathscr {X}\) endowed with an isomorphism \(\mathscr {X}_K\rightarrow X\). If X is smooth, then we say that \(\mathscr {X}\) is an snc-model for X if \(\mathscr {X}\) is regular and the special fiber \(\mathscr {X}_k\) is a strict normal crossings divisor (possibly non-reduced). By Hironaka’s resolution of singularities, every R-model of X can be dominated by an snc-model. We say that X has semistable reduction if it has an snc-model with reduced special fiber.
Let \(\mathscr {X}\) be an snc-model of X. We write the special fiber as
where \(E_i,\,i\in I\), are the prime components of \(\mathscr {X}_k\) and the \(N_i\) are their multiplicities. For every non-empty subset J of I, we set
Moreover, we put
The set \(\{E_J^o\,|\,\emptyset \ne J\subset I\}\) is a partition of \(\mathscr {X}_k\) into locally closed subsets. We endow all \(E_J\) and \(E_J^o\) with their reduced induced subscheme structures.
Let J be a non-empty subset of I, and let
be the normalization morphism. We denote by \({\widetilde{E}}^o_J\) the inverse image of \(E_J^o\) in \(\mathscr {X}(N_J)_k\). The group scheme \(\mu _{N_J}\) acts on \(\mathscr {X}(N_J)\), and this action turns \({\widetilde{E}}^o_J\) into a \(\mu _{N_J}\)-torsor over \(E_J^o\) – see for instance [30, §2.3]. If m is a multiple of \(N_J\) and we denote by \(\mathscr {X}(m)\) the normalization of \(\mathscr {X}\times _R R(m)\), then the natural morphism \(h:\mathscr {X}(m)\rightarrow \mathscr {X}(N_J)\) induces an isomorphism \(h^{-1}({\widetilde{E}}^o_J)_{\mathrm {red}}\rightarrow {\widetilde{E}}^o_J\), by [8, 3.2.2]. Thus we can use any multiple of \(N_J\) to compute the cover \({\widetilde{E}}_J^o\) of \(E_J^o\). For every \(i\in I\), we write \(E_i^o\) and \({\widetilde{E}}_i^o\) instead of \(E^o_{\{i\}}\) and \({\widetilde{E}}^o_{\{i\}}\).
2.3 Grothendieck rings of varieties
Let F be a field of characteristic zero, and let G be a profinite group scheme over F. We say that a quotient group scheme H of G is admissible if the kernel of \(G(F^a)\rightarrow H(F^a)\) is an open subgroup of the profinite group \(G(F^a)\), where \(F^a\) denotes an algebraic closure of F. In particular, H is a finite group scheme over F.
We now define the Grothendieck ring \({\mathbf {K}}^{G}(\mathrm {Var}_F)\) of F-varieties with G-action. As an abelian group, it is characterized by the following presentation:
-
Generators: isomorphism classes of F-schemes X of finite type endowed with a good G-action. Here “good” means that the action factors through an admissible quotient of G and that we can cover X by G-stable affine open subschemes (the latter condition is always satisfied when X is quasi-projective). Isomorphism classes are taken with respect to G-equivariant isomorphisms.
-
Relations: we consider two types of relations.
-
(1)
Scissor relations: if X is a F-scheme of finite type with a good G-action and Y is a G-stable closed subscheme of X, then
$$\begin{aligned}{}[X]=[Y]+[X{\setminus } Y]. \end{aligned}$$ -
(2)
Trivialization of linear actions: let X be a F-scheme of finite type with a good G-action, and let V be a F-vector scheme of dimension d with a good linear action of G. Then
$$\begin{aligned}{}[X\times _F V]=\left[ X\times _F {\mathbb {A}}^d_F \right] \end{aligned}$$where the G-action on \(X\times _F V\) is the diagonal action and the action on \({\mathbb {A}}^d_F\) is trivial.
-
(1)
The group \({\mathbf {K}}^{G}(\mathrm {Var}_F)\) has a unique ring structure such that \([X]\cdot [X']=[X\times _F X']\) for all F-schemes X, \(X'\) of finite type with good G-action, where the G-action on \(X\times _F X'\) is the diagonal action. The neutral element for the multiplication is the class 1 = [Spec F] of the point. We write \({\mathbb {L}}\) for the class of \({\mathbb {A}}^1_F\) (with the trivial G-action) in the ring \({\mathbf {K}}^{G}(\mathrm {Var}_F)\). When G is the trivial group, we write \({\mathbf {K}}(\mathrm {Var}_F)\) instead of \({\mathbf {K}}^{G}(\mathrm {Var}_F)\). When \(f:{\mathbf {K}}^{G}(\mathrm {Var}_F)\rightarrow A\) is a function taking values in some set A, and X is a F-scheme of finite type with good G-action, we will usually write f(X) instead of f([X]). This applies in particular to the motivic volume and reduction maps that we will construct in Sect. 3.
If \(F'\) is a field extension of F, then we have an obvious base change morphism
If \(G'\rightarrow G\) is a continuous morphism of profinite group schemes, then we can also consider the restriction morphism
Both of these morphisms are ring homomorphisms.
2.4 Bittner’s theorem and the theorem of Larsen and Lunts
The structure of the Grothendieck ring of varieties is still quite mysterious, but when F is a field of characteristic zero, there are two powerful results that follow from Hironaka’s resolution of singularities and the Weak Factorization theorem [2, 41]. The first result is due to Bittner [6, 3.1] and provides an alternative presentation for the group \({\mathbf {K}}(\mathrm {Var}_F)\) that is more convenient for the construction of motivic invariants.
Theorem 2.4.1
(Bittner) Let F be a field of characteristic zero. Then the group \({\mathbf {K}}(\mathrm {Var}_F)\) has the following presentation.
-
Generators: isomorphism classes [X] of smooth and proper F-schemes X.
-
Relations:\([\emptyset ]=0\), and for every smooth and proper F-scheme X and every connected smooth closed subscheme Y of X,
$$\begin{aligned}{}[\mathrm {Bl}_Y X]-[E]=[X]-[Y], \end{aligned}$$where \(\mathrm {Bl}_Y X\) is the blow-up of X along Y and E is the exceptional divisor.
The second result is due to Larsen and Lunts [27]. Let X and Y be reduced F-schemes of finite type. Then X and Y are called birational if they contain isomorphic dense open subschemes (we do not require X and Y to be irreducible). They are called stably birational if \(X \times _F {\mathbb {P}}_F^\ell \) is birational to \(Y \times _F {\mathbb {P}}_F^m\) for some \(\ell , m \ge 0\), and X is called stably rational if it is stably birational to the point \(\mathrm {Spec}\,F\). We denote by \(\mathrm {SB}_F\) the set of stable birational equivalence classes of non-empty connected smooth and proper F-schemes, and by \({\mathbb {Z}}[\mathrm {SB}_F]\) the free \({\mathbb {Z}}\)-module on the set \(\mathrm {SB}_F\).
Theorem 2.4.2
(Larsen–Lunts) Let F be a field of characteristic zero. There exists a unique group morphism
that maps the class [X] of each non-empty connected smooth and proper F-scheme X to the stable birational equivalence class of X. This morphism is surjective, and its kernel is the ideal of \({\mathbf {K}}(\mathrm {Var}_F)\) generated by \({\mathbb {L}}\).
Corollary 2.4.3
Let X and \(X'\) be smooth and proper schemes over a field F of characteristic zero. Then X and \(X'\) are stably birational if and only if their classes [X] and \([X']\) in \({\mathbf {K}}(\mathrm {Var}_F)\) are congruent modulo \({\mathbb {L}}\).
In particular, [X] is congruent to an integer c modulo \({\mathbb {L}}\) if and only if each of its connected components is stably rational; in that case, c is the number of connected components of X.
Proof
Using the scissor relations in the Grothendieck ring, we can write the class of any F-scheme of finite type as the sum of the classes of its connected components. Now the statement follows immediately from Theorem 2.4.2. \(\square \)
3 Motivic volume and motivic reduction
In this section, we construct two specialization morphisms for Grothendieck rings of varieties: the motivic volume and the motivic reduction. In combination with the theorem of Larsen and Lunts, they will allow us to control the specialization of stable rationality in families.
3.1 The motivic nearby fiber and the motivic volume
The following result is heavily inspired by Denef and Loeser’s motivic nearby fiber [11] and Hrushovski and Kazhdan’s theory of motivic integration [18]; the precise relations will be explained below.
Theorem 3.1.1
There exists a unique ring morphism
such that, for every smooth and proper K-scheme X and every snc-model \(\mathscr {X}\) of X, with \(\mathscr {X}_k=\sum _{i\in I}N_i E_i,\) we have
In particular, if \(\mathscr {X}\) is a smooth R-model of X, then \(\mathrm {Vol}_K(X)=[\mathscr {X}_k]\) where \(\widehat{\mu }\) acts trivially on \(\mathscr {X}_k\). The morphism \(\mathrm {Vol}_K\) maps \({\mathbb {L}}\) to \({\mathbb {L}}\).
Moreover, for every positive integer n and every K-scheme Y of finite type, \(\mathrm {Vol}_{K(n)}(Y\times _K K(n))\) is the image of \(\mathrm {Vol}_{K}(Y)\) under the ring morphism
defined by restricting the \(\widehat{\mu }\)-action to the kernel \(\widehat{\mu }(n)\) of the projection morphism \(\widehat{\mu }\rightarrow \mu _n\).
Proof
Uniqueness follows from the fact that the classes of smooth and proper K-schemes generate the group \({\mathbf {K}}(\mathrm {Var}_K)\), by resolution of singularities. If \(\mathrm {Vol}_K\) exists, then it maps \([{\mathbb {P}}^1_K]\) to \([{\mathbb {P}}^1_k]\) and \([\mathrm {Spec}\,K]\) to \([\mathrm {Spec}\,k]\), and thus \([{\mathbb {A}}^1_K]\) to \([{\mathbb {A}}^1_k]\) by additivity.
One can deduce the existence of \(\mathrm {Vol}_K\) from Bittner’s presentation of the Grothendieck group (Theorem 2.4.1). One uses the formula (3.1.2) as the definition of the motivic volume and applies Weak Factorization to prove that it is independent of the chosen snc-model and satisfies the desired properties. This argument will be explained in detail in “Appendix A”; see Theorem A.3.9. \(\square \)
Remark 3.1.3
If k contains all roots of unity, then Theorem 3.1.1 follows from Hrushovski and Kazhdan’s construction of the motivic volume
Here \({\mathbf {K}}(\mathrm {VF}_{K})\) is the Grothendieck ring of semi-algebraic sets over K. Hrushovski and Kazhdan’s construction in [18] is based on model theory of algebraically closed fields; a geometric translation can be found in [31, 2.5.1]. There is a natural morphism
obtained by viewing \(X(K^a)\) as a semi-algebraic set defined over K, where \(K^a\) denotes an algebraic closure of K. Composing these morphisms, we obtain a ring morphism
The formula (3.1.2) for \(\mathrm {Vol}_{K}(X)\) is proven in [31, 2.6.1], and the compatibility with the extensions K(n) / K follows at once from the characterization of Hrushovski and Kazhdan’s motivic volume in [31, 2.5.1] (see also the discussion at the end of §2.5 in [31]). This argument can be generalized to the case where k is an arbitrary field of characteristic zero, but this requires some additional descent arguments to extend the comparison statement for Grothendieck rings in [19, 4.3.1] and [13, 2.7], and the calculation on a strict normal crossings model in [31, 2.6.1].
Corollary 3.1.4
There exists a unique ring morphism
such that, for every positive integer n, every smooth and proper K(n)-scheme X and every snc-model \(\mathscr {X}\) of X over R(n), with \(\mathscr {X}_k=\sum _{i\in I}N_i E_i,\) we have
This morphism maps \({\mathbb {L}}\) to \({\mathbb {L}}\).
Proof
The Grothendieck ring \({\mathbf {K}}(\mathrm {Var}_{K(\infty )})\) is the direct limit of the Grothendieck rings \({\mathbf {K}}(\mathrm {Var}_{K(n)})\), by [32, 3.4]. Thus the result follows from Theorem 3.1.1. \(\square \)
We will call the morphisms \(\mathrm {Vol}_K\) and \(\mathrm {Vol}\) from Theorem 3.1.1 and Corollary 3.1.4 the motivic volume maps. They are closely related to the motivic nearby fiber that was introduced by Denef and Loeser [11]. Let Z be a smooth k-variety and let
be a dominant morphism. We denote by \(Z_0\) the zero locus of f. The motivic nearby fiber \(\psi ^{\mathrm {mot}}_f\) is an element of the Grothendieck ring \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_{Z_0})[{\mathbb {L}}^{-1}]\) of varieties over \(Z_0\) with good \(\widehat{\mu }\)-action, localized with respect to \({\mathbb {L}}\). It should be viewed as the motivic incarnation of the complex of nearby cycles of f. In [11, 3.5.3], Denef and Loeser have given an explicit formula for \(\psi ^{\mathrm {mot}}_f\) in terms of a log resolution for the pair \((Z,Z_0)\). Comparing this formula to equation (3.1.2), one sees that when f is proper,
in the ring \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_k)[{\mathbb {L}}^{-1}]\) (here we forget the \(Z_0\)-structure on the left hand side). Note, however, that for our purposes, it is crucial to avoid the inversion of \({\mathbb {L}}\), since we want to control the reduction modulo \({\mathbb {L}}\) in order to apply Larsen and Lunts’ theorem (Theorem 2.4.2) and \(\mathbb {L}\) is a zero-divisor by [7].
3.2 The motivic reduction
Proposition 3.2.1
There exists a unique group morphism
such that, for every smooth and proper K-scheme X and every snc-model \(\mathscr {X}\) of X, with \(\mathscr {X}_k=\sum _{i\in I}N_i E_i,\) we have
This is a morphism of \({\mathbb {Z}}[{\mathbb {L}}]\)-modules. Moreover, for every regular model \(\mathscr {Y}\) of X over R,
Proof
Uniqueness follows from the fact that the classes of smooth and proper K-schemes generate the group \({\mathbf {K}}(\mathrm {Var}_K)\), by resolution of singularities.
To construct the morphism \(\mathrm {MR}\), we can simply compose the motivic volume \(\mathrm {Vol}_K\) with the quotient morphism of \({\mathbb {Z}}[{\mathbb {L}}]\)-modules
whose existence was proven in [28, 5.1] (there it was assumed that k is algebraically closed, but the proof goes through for an arbitrary field k of characteristic zero).
If \(\mathscr {Y}\) is a regular model for X over R, then by Hironaka’s resolution of singularities, we can turn \(\mathscr {Y}\) into an snc-model by means of a finite sequence of blow-ups with smooth centers contained in the special fiber. Such a blow-up does not change the class of the special fiber modulo \({\mathbb {L}}\), since the exceptional divisors are the projectivizations of the normal bundles of the centers. Thus we may assume that \(\mathscr {Y}\) is an snc-model for X. In that case, applying equation (3.2.2) to \(\mathscr {Y}\) and reducing both sides modulo \({\mathbb {L}}\), we find that \(\mathrm {MR}(X)\equiv [\mathscr {Y}_k]\) modulo \({\mathbb {L}}\). \(\square \)
The existence of the morphism \(\mathrm {MR}\) can also be deduced from Bittner’s presentation and Weak Factorization; see Proposition A.4.1. We call the morphism \(\mathrm {MR}\) the motivic reduction map. A weaker version of this map (only working modulo \({\mathbb {L}}\) and on objects defined over the function field k(t)) was constructed in [14, 9.4]. The motivic volume and the motivic reduction fit into the following commutative diagram:
Here the left vertical map is the base change morphism, \((\cdot )/\widehat{\mu }\) is the quotient morphism and \(\mathrm {Res}^{\widehat{\mu }}_{\{1\}}\) is the restriction morphism that forgets the \(\widehat{\mu }\)-action.
Note that, when X is a smooth and proper K-scheme with semistable reduction, we have
in \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_k)\), where we view the second and third members of the equality as elements of \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_k)\)via the map
that endows k-varieties with the trivial \(\widehat{\mu }\)-action. Thus it follows from the Semistable Reduction Theorem [23] that for every K-scheme of finite type Y, there exists a positive integer n such that
Remark 3.2.3
Beware that the morphism \(\mathrm {MR}\) is not multiplicative. For instance, if \(X=\mathrm {Spec}\,k(\negthinspace (\sqrt{t} )\negthinspace )\) then is is easy to check that \(\mathrm {MR}(X)=1\) whereas \(\mathrm {MR}(X\times _K X)=2\). The issue is that the quotient morphism \((\cdot )/\widehat{\mu }\) is not multiplicative. However, \(\mathrm {MR}\) does preserve some additional structure. Let \({\mathbf {K}}(\mathrm {Var}_K)^{\mathrm {ss}}\) be the subring of \({\mathbf {K}}(\mathrm {Var}_K)\) consisting of the elements whose image under \(\mathrm {Vol}_K\) lies in the image of the injective ring morphism
For instance, if Y is a smooth and proper K-scheme with semistable reduction, then [Y] lies in \({\mathbf {K}}(\mathrm {Var}_K)^{\mathrm {ss}}\). We have \(\mathrm {Vol}_K=\mathrm {MR}\) on \({\mathbf {K}}(\mathrm {Var}_K)^{\mathrm {ss}}\), and if we view \({\mathbf {K}}(\mathrm {Var}_k)\) as a \({\mathbf {K}}(\mathrm {Var}_K)^{\mathrm {ss}}\)-algebra via the morphism \(\mathrm {Vol}_K\), then \(\mathrm {MR}\) is a morphism of \({\mathbf {K}}(\mathrm {Var}_K)^{\mathrm {ss}}\)-modules.
4 Applications to stable rationality
4.1 Specialization of stable birational equivalence
The starting point of our applications to rationality questions is the following statement, which can be viewed as an obstruction to stable rationality of smooth and proper \(K(\infty )\)-schemes.
Theorem 4.1.1
Let X and Y be smooth and proper \(K(\infty )\)-schemes. If X is stably birational to Y, then
In particular, if X is stably rational, then
Proof
This follows immediately from Corollary 2.4.3 and the fact that \(\mathrm {Vol}\) is a ring morphism that sends \([{\mathbb {A}}^1_{K(\infty )}]\) to \([{\mathbb {A}}^1_k]\). \(\square \)
As an immediate consequence, we obtain the following specialization property for stable birational equivalence.
Theorem 4.1.2
(Specialization of stable birational equivalence) Let \(\mathscr {X}\) and \(\mathscr {Y}\) be smooth and proper R-schemes. If \(\mathscr {X}_{K(\infty )}\) is stably birational to \(\mathscr {Y}_{K(\infty )}\), then \(\mathscr {X}_k\) is stably birational to \(\mathscr {Y}_k\). In particular, if \(\mathscr {X}_{K(\infty )}\) is stably rational, then \(\mathscr {X}_k\) is stably rational, as well.
Proof
This follows from Theorems 4.1.1 and 2.4.2, because \(\mathrm {Vol}(\mathscr {X}_{K(\infty )})=[\mathscr {X}_k]\) and \(\mathrm {Vol}(\mathscr {Y}_{K(\infty )})=[\mathscr {Y}_k]\) by the definition of the motivic volume. \(\square \)
This result can be generalized to strict normal crossings degenerations in the following way. An application of this generalization will be given in Sect. 4.3.
Theorem 4.1.3
Let X be a smooth and proper K-scheme and let \(\mathscr {X}\) be an snc-model for X, with \(\mathscr {X}_k=\sum _{i\in I}N_i E_i\). Assume that every connected component of \({\widetilde{E}}_J^o\) is stably rational, for every subset J of I of cardinality at least 2. If \(X_{K(\infty )}\) is stably rational, then all the connected components of all the covers \({\widetilde{E}}^o_{i}\) are stably rational.
Proof
Let m be a positive integer and denote by \(\mathscr {X}(m)\) the normalization of \(\mathscr {X}\times _{R}R(m)\). The Semistable Reduction Theorem tells us that, if m is sufficiently divisible, then we can find a toroidal modification \(\mathscr {Y}\rightarrow \mathscr {X}(m)\) such that \(\mathscr {Y}\) is a semistable model for \(X\times _K K(m)\). Moreover, for every non-empty subset J of I, the cover \({\widetilde{E}}^o_J\) is the reduced inverse image of \(E_J^o\) in \(\mathscr {X}(m)_k\), by [8, 3.2.2].
We write \(\mathscr {Y}_k=\sum _{i\in I'}E'_i\). Then, for every subset \(J'\) of \(I'\) of cardinality at least 2, each connected component of \(E'_{J'}\) is stably rational, because it is birational to a connected component of \({\widetilde{E}}_J^o\times _k {\mathbb {P}}^\ell _k\) for some subset J of I of cardinality at least 2 and some \(\ell \ge 0\). Moreover, for every i in I, the cover \({\widetilde{E}}^o_{i}\) is isomorphic to a disjoint union of strata \((E'_{i'})^o\) with \(i'\in I'\). Thus, replacing \(\mathscr {X}\) by \(\mathscr {Y}\), we may assume that \(\mathscr {X}_k\) is reduced; then \(\widetilde{E}^o_J = E^o_J\) for all non-empty subsets J of I. We denote by \(c_J\) the number of connected components of \(E_J\).
The motivic volume of \(X_{K(\infty )}\) is congruent modulo \({\mathbb {L}}\) to
where the equality follows from a straightforward inclusion-exclusion argument. Since \([E_J]\equiv c_J\) modulo \({\mathbb {L}}\) as soon as \(|J|\ge 2\), we can rewrite this expression as
where \(\Delta \) is the dual intersection complex of \(\mathscr {X}_k\) and \(\chi (\Delta )\) denotes its Euler characteristic. On the other hand, if \(X_{K(\infty )}\) is stably rational, then its motivic volume is congruent to 1 modulo \({\mathbb {L}}\), so that \(\sum _{i\in I}[E_i]=[\sqcup _{i\in I} E_i]\) is congruent to an integer modulo \({\mathbb {L}}\). Corollary 2.4.3 now implies that \(E_i\) is stably rational for all i in I. \(\square \)
Theorem 4.1.2 has the following interesting geometric consequence.
Theorem 4.1.4
Let S be a Noetherian \({\mathbb {Q}}\)-scheme, and let \(f:X\rightarrow S\) and \(g:Y\rightarrow S\) be smooth and proper morphisms. Let \(S_{\mathrm {sb}}\) be the set of points s in S such that the fibers of f and g over \({\overline{s}}\) are stably birational, for any geometric point \({\overline{s}}\) based at s. Then \(S_{\mathrm {sb}}\) is a countable union of closed subsets of S.
Proof
By the same proof as for Proposition 2.3 in [12], the set \(S_{\mathrm {sr}}\) is a countable union of locally closed subsets in S (in [12] the authors only consider closed points and assume that S is of finite type over an algebraically closed field, but the proof yields this more general result; we can reduce to the case where f and g are projective by replacing X and Y by birationally equivalent smooth projective families, up to a finite partition of S into subschemes).
Thus it suffices to show that the set \(S_{\mathrm {sb}}\) is closed under specialization. For this we can reduce to the case where S is an integral local \({\mathbb {Q}}\)-scheme of dimension one. The stable birationality of geometric fibers is invariant under arbitrary base change. By base change to the normalization of S and localizing at a closed point, we may assume that S is regular (here we use that the normalization of a Noetherian domain of dimension one is again Noetherian, by the Krull-Akizuki Theorem). Then S is the spectrum of a discrete valuation ring A of equal characteristic zero, and the completion of A is isomorphic to a power series ring \(F[\negthinspace [t]\negthinspace ]\) where F is a field of characteristic zero. Now the result follows from Theorem 4.1.2. \(\square \)
Corollary 4.1.5
Let S be a Noetherian \({\mathbb {Q}}\)-scheme, and let \(f:X\rightarrow S\) be a smooth and proper morphism. Let \(S_{\mathrm {sr}}\) be the set of points s in S such that the fiber of f over \({\overline{s}}\) is stably rational, for any geometric point \({\overline{s}}\) based at s. Then \(S_{\mathrm {sr}}\) is a countable union of closed subsets of S.
In particular, if S is integral and the geometric generic fiber of f is stably rational, then every geometric fiber of f is stably rational.
Proof
This follows from Theorem 4.1.4 by taking \(Y=S\). \(\square \)
Corollary 4.1.6
Assume that k is uncountable and algebraically closed. Let S be a k-scheme of finite type, and let \(f:X\rightarrow S\) be a smooth and proper morphism. If a very general closed fiber of f is stably rational, then every closed fiber of f is stably rational.
Proof
This follows immediately from Corollary 4.1.5. \(\square \)
4.2 \({\mathbb {L}}\)-rational singularities and \({\mathbb {L}}\)-faithful models
The aim of this section is to generalize Corollary 4.1.6 to families with mildly singular fibers. We will consider a class of singularities characterized by the following definition.
Definition 4.2.1
Let Y be a reduced k-scheme of finite type and let y be a singular point of Y. We say that Y has an ordinary double point at y if, Zariski-locally around y, the singular locus \(Y_{\mathrm {sing}}\) of Y is smooth, and the projectivized normal cone of \(Y_{\mathrm {sing}}\) in Y is a smooth quadric bundle over \(Y_{\mathrm {sing}}\) that has a section.
Note that we do not require y to be a closed point of Y, and that ordinary double points are not necessarily isolated singularities. The definition also includes the case where \(Y_{\mathrm {sing}}\) has codimension one in Y; then the projectivized normal cone is simply a trivial degree two cover of \(Y_{\mathrm {sing}}\). If Y has only ordinary double points as singularities, then the blow-up of Y along \(Y_{\mathrm {sing}}\) is a resolution of singularities for Y, and we can identify the exceptional divisor of this resolution with the projectivized normal cone of \(Y_{\mathrm {sing}}\) in Y. The following result gives a characterization of ordinary double points that are hypersurface singularities.
Proposition 4.2.2
Let Y be a reduced k-scheme of finite type.
-
(1)
Assume that at every singular point y of Y, the completed local ring is of the form
$$\begin{aligned} \widehat{{\mathcal {O}}_{Y,y}}\cong \kappa (y)[\negthinspace [z_0,\ldots ,z_n]\negthinspace ]/(q(z_0,\ldots ,z_n)) \end{aligned}$$for some integer \(n> 0\) and some isotropic quadratic form q over \(\kappa (y)\) of rank at least 2. Then all the singular points of Y are ordinary double points.
-
(2)
Let y be an ordinary double point of Y, let n be the dimension of \({\mathcal {O}}_{Y,y}\), and assume that the embedding dimension of \({\mathcal {O}}_{Y,y}\) equals \(n+1\). Denote by d the codimension of the singular locus of Y at the point y. Then there exists a surjective morphism of k-algebras
$$\begin{aligned} \varphi :\kappa (y)[\negthinspace [z_0,\ldots ,z_n ]\negthinspace ]\rightarrow \widehat{{\mathcal {O}}_{Y,y}}. \end{aligned}$$For every such morphism \(\varphi \), there exists a \(\kappa (y)\)-automorphism \(\theta \) of \(\kappa (y)[\negthinspace [z_0,\ldots ,z_n ]\negthinspace ]\) such that the kernel of \(\varphi \circ \theta \) is generated by an isotropic quadratic form q over \(\kappa (y)\) of rank \(d+1\).
Proof
(1) The singular locus of Y is smooth and the projectivized normal cone of \(Y_{\mathrm {sing}}\) in Y is a smooth quadric bundle over \(Y_{\mathrm {sing}}\), because these properties can be checked on the completed local rings. A priori, the description of the completed local rings only provides formal local sections for the projectivized normal cone of the singular locus; but for quadric bundles, already the existence of a rational section implies the existence of Zariski-local sections, by [33]. Thus by using the isotropy of q at the generic points of the singular locus of Y, we find that the projectivized normal cone of the singular locus has sections Zariski-locally.
(2) Since the embedding dimension at y is equal to \(n+1\), we can find elements \((z_0,\ldots ,z_n)\) in the maximal ideal \(\mathfrak {m}_y\) of \({\mathcal {O}}_{Y,y}\) whose residue classes generate the vector space \(\mathfrak {m}_y/\mathfrak {m}_y^2\) over \(\kappa (y)\). Then the choice of a section of the residue morphism of k-algebras \(\widehat{{\mathcal {O}}}_{Y,y}\rightarrow \kappa (y)\) determines a surjective morphism of k-algebras
Its kernel is generated by a power series \(f(z_0,\ldots ,z_n)\). We need to find a change of coordinates that transforms f into a quadratic form.
If y is an isolated singularity then the existence of such a coordinate transformation follows from the Morse Lemma: the assumption that the projectivized tangent cone is a smooth quadric is equivalent with the property that f has a non-degenerate critical point at the origin. The general case can be proven in the following way. By our hypothesis that the singular locus of Y is smooth, we may assume that it is defined by the equations
with \(1\le d\le n\). If we set
then the normal cone to the singular locus \(Y_{\mathrm {sing}}\) at the point y is given by \(\mathrm {Proj}\,\kappa (y)[z_0,\ldots ,z_d]/(q)\) where q consists of the lowest degree terms in g. Because we are assuming that this normal cone is a smooth quadric, the polynomial q is a non-degenerate quadratic form in \(z_0,\ldots ,z_d\). Applying the Morse Lemma to g, we can arrange by means of a coordinate transformation on \((z_0,\ldots ,z_d)\) that g takes the form \(a_0z_0^2+\cdots +a_dz_d^2\) with \(a_0,\ldots ,a_d\) non-zero elements in \(\kappa (y)\).
Looking at the equations for the critical locus of f, we see that each term of the power series \(f-g\) is at least quadratic in the variables \((z_0,\ldots ,z_d)\). We can get rid of mixed quadratic terms of the form \(cz_iz_jh(z_{d+1},\ldots ,z_n)\), with c in \(\kappa (y)\) and i, j distinct elements in \(\{0,\ldots ,d\}\), by completing squares: we write \(a_iz_i^2 + cz_iz_jh(z_{d+1},\ldots ,z_n)\) as
and we perform a coordinate change
Note that this does not affect the equations for the critical locus of f. Repeating this operation, we arrive at an expression where \(f-g\) is a sum of terms of the form
with \(c'\) in \(\kappa (y)\) and where \(h'\) has no constant term. Then we write
and we perform a coordinate change
These operations reduce f to a diagonal quadratic form of rank \(d+1\) over \(\kappa (y)\); it is isotropic because the normal cone to \(Y_{\mathrm {sing}}\) at y is assumed to have a section. \(\square \)
Remark 4.2.3
Proposition 4.2.2 (1) is false for individual points y: knowing the completed local ring of Y at y is not sufficient to conclude the existence of a section of the projectivized normal cone along the singular locus Zariski-locally around y (unless y is an isolated singularity).
The following definition is an analog of rational singularities in the context of the Grothendieck ring of varieties.
Definition 4.2.4
Let Y be an integral k-scheme of finite type. Let y be a point of Y and let \(\kappa (y)\) denote its residue field. We say that Y has an \({\mathbb {L}}\)-rational singularity at y if there exists a resolution of singularities \(h:Y'\rightarrow (Y,y)\) of the germ (Y, y) such that \([h^{-1}(y)] \equiv 1 \mod {\mathbb {L}}\) in \({\mathbf {K}}(\mathrm {Var}_{\kappa (y)})\). We say that Y has \({\mathbb {L}}\)-rational singularities if Y has an \({\mathbb {L}}\)-rational singularity at every point y of Y.
If Y has an \({\mathbb {L}}\)-rational singularity at y, then it follows easily from the Weak Factorization Theorem [2, 41] that \([h^{-1}(y)] \equiv 1 \mod {\mathbb {L}}\) in \({\mathbf {K}}(\mathrm {Var}_{\kappa (y)})\) for every resolution of singularities \(h:Y'\rightarrow (Y,y)\) of the germ (Y, y). If Y has \({\mathbb {L}}\)-rational singularities, then the following lemma implies that \([Y']\equiv [Y]\mod {\mathbb {L}}\) in \({\mathbf {K}}(\mathrm {Var}_k)\) for every resolution of singularities \(Y'\rightarrow Y\). This property was taken as the definition of \({\mathbb {L}}\)-rational singularities in [20], but it has the drawback of not being of local nature; for instance, according to that definition, \(X\times _k {\mathbb {A}}^1_k\) has \({\mathbb {L}}\)-rational singularities for every k-variety X. This is why we have opted to work with Definition 4.2.4 instead, which is local on Y and more restrictive than [20, Definition 6].
Lemma 4.2.5
Let Y and \(Y'\) be k-schemes of finite type and let \(h:Y'\rightarrow Y\) be a morphism of k-schemes. Assume that \([h^{-1}(y)] \equiv 1 \mod {\mathbb {L}}\) in \({\mathbf {K}}(\mathrm {Var}_{\kappa (y)})\) for every point y of Y, where \(\kappa (y)\) denotes the residue field of Y at y. Then \([Y']\equiv [Y]\mod {\mathbb {L}}\) in \({\mathbf {K}}(\mathrm {Var}_k)\).
Proof
For every point y of Y, there exists a subscheme U of Y containing y such that \([h^{-1}(U)] \equiv [U] \mod {\mathbb {L}}\) in the Grothendieck ring of U-varieties \({\mathbf {K}}(\mathrm {Var}_U)\), by [32, 3.4]. The result now follows from additivity and noetherian induction. \(\square \)
Examples 4.2.6
-
(1)
Assume that k is algebraically closed. Let Y be a normal surface over k and let y be a point of Y. Then Y has an \({\mathbb {L}}\)-rational singularity at y if and only if Y has a rational singularity at y. To see this, it suffices to observe that when D is a connected strict normal crossings divisor on a smooth k-surface, then [D] is congruent to 1 modulo \({\mathbb {L}}\) in \({\mathbf {K}}(\mathrm {Var}_k)\) if and only if D is a tree of rational curves.
-
(2)
Let Y be an integral k-scheme of finite type. Let y be an ordinary double point of Y such that, locally around y, the singular locus of Y has codimension at least 2. Then Y has an \({\mathbb {L}}\)-rational singularity at y. Indeed, blowing up Y at its singular locus resolves the singularity at y, and the fiber over y is a smooth projective quadric Q over \(\kappa (y)\) of positive dimension with a rational point. For such a quadric Q, we have \([Q]\equiv 1\) modulo \({\mathbb {L}}\) in \({\mathbf {K}}(\mathrm {Var}_{\kappa (y)})\).
-
(3)
Let Y be an integral k-scheme of finite type. We say that Y has strictly toroidal singularities if we can cover Y by open subschemes that admit an étale morphism to a toric k-variety. This definition is stronger than the usual definition of toroidal singularities because it is not local with respect to the étale topology. If Y has strictly toroidal singularities, then it has \({\mathbb {L}}\)-rational singularities: one can immediately reduce to the toric case, which is straightforward.
Definition 4.2.7
Let X be a smooth and proper K-scheme, and let \(\mathscr {X}\) be an R-model of X. We say that \(\mathscr {X}\) is \({\mathbb {L}}\)-faithful if
Example 4.2.8
If \(\mathscr {X}\) is an snc-model of X and \(\mathscr {X}_k\) is reduced, then \(\mathscr {X}\) is \({\mathbb {L}}\)-faithful. This follows immediately from the explicit expression for \(\mathrm {Vol}(X_{K(\infty )})\) in terms of \(\mathscr {X}\) in Corollary 3.1.4.
Proposition 4.2.9
Let X be a smooth proper K-scheme, and let \(\mathscr {X}\) be a regular R-model of X. Assume that \(\mathscr {X}_k\) is reduced and has at most ordinary double points as singularities. Then \(\mathscr {X}\) is \({\mathbb {L}}\)-faithful.
Proof
To compute the motivic volume \(\mathrm {Vol}(X)\) we make a ramified degree two base change: we set \(R'=R(2)\) and \(K'=K(2)\) and we define \(X' = X\times _K K'\), \(\mathscr {X}' = \mathscr {X}\times _R R'\). Then \(\mathscr {X}'\) is normal but not regular, in general: it has an ordinary double point over each singular point of \(\mathscr {X}_k\) (this follows from the explicit equation in Proposition 4.2.2(2)). Blowing up \(\mathscr {X}'\) at its singular locus, we obtain an snc-model \(\mathscr {Y}\) of \(X'\) with reduced special fiber \(\mathscr {Y}_k\). The fiber of \(\mathscr {Y}\rightarrow \mathscr {X}'\) over each singular point x of \(\mathscr {X}'\) is a smooth projective quadric Q of dimension \(\ge 1\) over the residue field \(\kappa (x)\) with a rational point. For such a quadric Q, we have \([Q]\equiv 1\) modulo \({\mathbb {L}}\) in \({\mathbf {K}}(\mathrm {Var}_{\kappa (x)})\), and it follows that
in \({\mathbf {K}}(\mathrm {Var}_k)\) by Lemma 4.2.5. Since \(\mathrm {Vol}(X)\equiv [\mathscr {Y}_k]\) modulo \({\mathbb {L}}\), we find that \(\mathscr {X}\) is \({\mathbb {L}}\)-faithful. \(\square \)
The importance of \({\mathbb {L}}\)-rational singularities and \({\mathbb {L}}\)-faithful models lies in the following property.
Proposition 4.2.10
Let X be a smooth and proper K-scheme, and let \(\mathscr {X}\) be an \({\mathbb {L}}\)-faithful R-model of X such that \(\mathscr {X}_k\) is integral and has \({\mathbb {L}}\)-rational singularities. If \(\mathscr {X}_{K(\infty )}\) is stably rational, then \(\mathscr {X}_k\) is stably rational.
Proof
If \(\mathscr {X}_{K(\infty )}\) is stably rational, then \(\mathrm {Vol}(\mathscr {X}_{K(\infty )})\equiv 1\) modulo \({\mathbb {L}}\) by Theorem 4.1.1. Thus \([\mathscr {X}_k]\equiv 1\) modulo \({\mathbb {L}}\) by the definition of an \({\mathbb {L}}\)-faithful model, and \([Y]\equiv 1\) modulo \({\mathbb {L}}\) for any resolution of singularities \(Y\rightarrow \mathscr {X}_k\) by the definition of \({\mathbb {L}}\)-rational singularities. From the theorem of Larsen and Lunts (Theorem 2.4.2), we now deduce that Y, and thus \(\mathscr {X}_k\), are stably rational. \(\square \)
Theorem 4.2.11
Let \(f:\mathscr {X}\rightarrow C\) be a proper flat morphism with \(\mathscr {X}\), C connected smooth k-schemes and \(\dim (C) = 1\). Assume that the geometric generic fiber of f is stably rational. Then all geometric fibers whose only singularities are ordinary double points have a stably rational irreducible component.
If k is uncountable and algebraically closed, then we get an equivalent statement by replacing “the geometric generic fiber” by “a very general closed fiber,” by Corollary 4.1.5.
Proof
By base change to an algebraic closure of k, we can reduce to the case where k is algebraically closed. Let \(s \in C\) be a closed point such that \(f^{-1}(s)\) has at most ordinary double points as singularities. We identify \( \widehat{\mathscr {O}}_{C,s}\) with R by choosing a uniformizer t. Then \(\mathscr {X}_R=\mathscr {X}\times _{C}\mathrm {Spec}\,R\) is a regular model for \(\mathscr {X}_K=\mathscr {X}\times _{C}\mathrm {Spec}\,K\) whose special fiber is canonically isomorphic to \(f^{-1}(s)\). The scheme \(\mathscr {X}_{K(\infty )}\) is obtained from the geometric generic fiber of f by extension of scalars; thus it is stably rational. By Proposition 4.2.9, we know that \(\mathscr {X}\) is \({\mathbb {L}}\)-faithful, so that
We cannot directly apply Proposition 4.2.10 because \(\mathscr {X}_k\) does not have \({\mathbb {L}}\)-rational singularities if it is reducible. However, if we denote by \(Y_1,\ldots ,Y_r\) the irreducible components of \(\mathscr {X}_k\), then the following properties follow easily from the definition of an ordinary double point:
-
each component \(Y_i\) has at most ordinary double points as singularities;
-
any nonempty intersection of two distinct components \(Y_i\) and \(Y_j\) is smooth and of pure codimension one;
-
there are no triple intersection points, that is, the intersection of any three distinct components \(Y_i\), \(Y_j\) and \(Y_\ell \) is empty.
By the scissor relations in the Grothendieck ring, we have
so that
For each component \(Y_i\), we denote by \(Y'_i\rightarrow Y_i\) the birational modification obtained by blowing up all the connected components of the singular locus of codimension at least 2. All these singularities are resolved by the blow-up \(Y'_i\rightarrow Y_i\), and they are \({\mathbb {L}}\)-rational by Example 4.2.6(2), so that \([Y'_i]\equiv [Y_i]\) modulo \({\mathbb {L}}\) by Lemma 4.2.5. Denote by \(Z_i\) the singular locus of \(Y'_i\) (which now is empty or of pure codimension one), and by \(Y''_i\rightarrow Y'_i\) the blow-up of \(Y'_i\) along \(Z_i\). The schemes \(Y''_i\) and \(Z_i\) are smooth and proper over k, and \(Y''_i\) is connected. Lemma 4.2.5 implies that \([Y''_i]=[Y'_i]+[Z_i]\). Thus, we find that
By Theorem 2.4.2, this implies that at least one of the varieties \(Y''_i\) is stably rational. \(\square \)
Remark 4.2.13
A closer examination of the proof of Theorem 4.2.11 reveals that all the schemes \(Z_i\) are empty and the dual intersection graph \(\Gamma \) of \(\mathscr {Y}_k\) is a tree. Indeed, Theorem 2.4.2 and Equation 4.2.12 imply that
in \({\mathbb {Z}}[\mathrm {SB}_k]\). Adding up the coefficients of nonzero terms on both sides, we get
where N is the number of nonempty schemes \(Z_i\). Since \(\Gamma \) is a connected graph, it follows that \(N=0\) and \(\Gamma \) is a tree.
Note that, in the statement of Theorem 4.2.11, the existence of one stably rational component is the best one can hope for: one can create stably irrational components by blowing up curves of positive genus in the fiber.
4.3 Applications
We will discuss a few concrete applications to illustrate how our results can be used in practice.
Theorem 4.3.1
Assume that k is algebraically closed. If there exists a single integral hypersurface \(X_0 \subset {\mathbb {P}}^{n+1}_k\) of degree d (resp. a degree d cyclic covering \(X_0 \rightarrow {\mathbb {P}}^n_k\)) with only isolated ordinary double points as singularities, and \(X_0\) is not stably rational, then a very general smooth hypersurface in \({\mathbb {P}}^{n+1}_k\) (resp. cyclic covering of \({\mathbb {P}}^n_k\)) of degree d is not stably rational.
Proof
By Corollary 4.1.5, it suffices to find one smooth hypersurface in \({\mathbb {P}}^{n+1}_k\) (resp. cyclic covering of \({\mathbb {P}}^n_k\)) of degree d that is not stably rational. We will apply Theorem 4.2.11 to families \(\mathscr {X}\rightarrow C\) of varieties as in the statement over a connected smooth k-curve C such that one of the fibers is isomorphic to \(X_0\) and the total space \(\mathscr {X}\) is regular.
We first consider the case of hypersurfaces. Let \(X_1\) be a smooth hypersurface of degree d. Let \(F_0,F_1 \in H^0({\mathbb {P}}^{n+1}_k, \mathscr {O}(d))\) be equations for \(X_0\) and \(X_1\). Consider the pencil \(\mathscr {X}\subset {\mathbb {P}}^{n+1}_k \times _k {\mathbb {A}}^1_k\) defined by the equation
Using the Jacobian criterion, one sees that \(\mathscr {X}\) is regular if \(X_0\) and \(X_1\) are not tangent along their intersection. Since \(X_0\) has isolated singularities, this will hold for general \(X_1\) by Bertini’s Theorem.
The case of cyclic coverings is quite similar. Let \(D_0 \subset {\mathbb {P}}^n_k\) be the ramification divisor of \(X_0 \rightarrow {\mathbb {P}}^n_k\). If \(X_0\) has only isolated ordinary double points as singularities, then \(D_0\) satisfies the same property. We embed \(D_0\) in a pencil of hypersurfaces \(\mathscr {D}\subset {\mathbb {P}}^n_k \times _k {\mathbb {A}}^1_k\) with regular total space, as above. Then the degree d covering ramified in \(\mathscr {D}\subset {\mathbb {P}}^n_k \times _k {\mathbb {A}}^1_k\) is a regular scheme such that one of the closed fibers over \({\mathbb {A}}^1_k\) is isomorphic to \(X_0\). \(\square \)
Example 4.3.2
The Artin-Mumford quartic double solid \(X_0\), one of the first examples of non-rational unirational varieties [1], has 10 isolated ordinary double points, and is not stably rational because it has non-vanishing unramified Brauer group. It follows that very general smooth quartic double solids are not stably rational either. This has already been proved by Voisin [40] using the degeneration method for Chow groups of zero-cycles and the same degeneration \(X_0\). A similar argument applies to a smooth sextic double solid [5].
We now illustrate how our results can be applied in the case when the central fiber \(X_0\) has non-isolated singularities which are more complicated than ordinary double points. We will show that very general smooth quartic threefolds are not stably rational; this result was first proven by Colliot-Thélène and Pirutka in [10] by means of a refinement of Voisin’s specialization method.
Assume that k is algebraically closed. We will construct an appropriate strict normal crossings degeneration where one of the components of the central fiber is birational to Huh’s quartic \(X_0 \subset {\mathbb {P}}^4_k\) [20, Definition 4], and apply Theorem 4.1.3. By construction, \(X_0\) has 9 isolated ordinary double points and is also singular along a line \(L \subset X_0\). The singularities of \(X_0\) along L are quadratic; however, the rank of the quadric normal cone drops along L, so that these singularities do not satisfy Definition 4.2.1. It is shown in [20] that \(X_0\) is not stably rational, has \({\mathbb {L}}\)-rational singularitiesFootnote 1 and, hence, satisfies \([X_0]\not \equiv 1\) modulo \({\mathbb {L}}\).
Similarly to the proof of Theorem 4.3.1, we take \(\mathscr {X}\) to be the subscheme of \({\mathbb {P}}^4_R\) defined by \(F_0 + tF_1 = 0\), where \(F_0=0\) is an equation for \(X_0\) and \(F_1=0\) defines a general smooth quartic \(X_1 \subset {\mathbb {P}}^4_k\).
Proposition 4.3.3
The variety \(\mathscr {X}_{K(\infty )}\) is not stably rational.
Proof
The total space \(\mathscr {X}\) is nonsingular outside four isolated ordinary double points \(P_1\), \(P_2\), \(P_3\), \(P_4\) obtained as the intersection \(X_1 \cap L\). Since \(F_1\) is general, the points \(P_i\) are general points on L, so that we may assume that they are ordinary double points of \(X_0\). Thus we can use Proposition 4.2.2 to describe the formal structure of \(X_0\) at the points \(P_i\) and compute the blow-up of \(X_0\) at these points.
Let \(\mathscr {Y}\rightarrow \mathscr {X}\) denote the blow-up of the points \(P_i\), followed by the blow-up of the proper transform \(L'\) of L and the blow-up of the nine isolated ordinary double points of \(X_0\). Then \(\mathscr {Y}\) is a regular model whose central fiber is the union of the components \(X'_0\), \(Q_1, \dots , Q_4\), \(V_1, \dots , V_9\) and E. Here \(X'_0\) is obtained from \(X_0\) by successively blowing up the points \(P_i\), the curve \(L'\), and the nine isolated double points. The \(Q_i\) and \(V_j\) are smooth rational threefolds that lie above the points \(P_i\) and the 9 isolated double points of \(X_0\), respectively. The component E is the exceptional divisor of the blow-up of \(L'\); thus E is a smooth \({\mathbb {P}}^2_k\)-bundle over \(L'\cong {\mathbb {P}}^1_k\).
A local computation shows that \(\mathscr {Y}\) is an snc-model for \(\mathscr {X}_K\) and the components of \(\mathscr {Y}_k\) have multiplicity one, except for the \(V_j\) and E which have multiplicity two. The surfaces \(E\cap Q_i\) are fibers of the bundle \(E\rightarrow L'\) for all i, and thus isomorphic to \({\mathbb {P}}^2_k\). The exceptional surfaces \(Q_i\cap X_0'\) and \(V_j\cap X_0'\) in \(X_0'\) are smooth quadric surfaces, for all i and j, and \(E\cap X_0'\) is a quadric bundle over \(L'\) (see also Lemma 9 in [20] for a description away from the points \(P_i\)). The only non-empty triple intersections in the special fiber of \(\mathscr {Y}\) are the curves \(V_j\cap E\cap X_0'\) for \(j\in \{1,\ldots ,4\}\). These curves are smooth fibers of the quadric bundle \(E\cap X_0'\rightarrow L'\), and thus isomorphic to \({\mathbb {P}}^1_k\).
It follows that, whenever C is a non-empty intersection of at least two distinct components in \(\mathscr {Y}_k\), then C is rational. Furthermore, \({\widetilde{C}}^o=C^o\) because C is always contained in a component of multiplicity one. Thus by Theorem 4.1.3, \(\mathscr {X}_{K(\infty )}\) is not stably rational, because the component \(X'_0\) of \(\mathscr {Y}_k\) is not stably rational. \(\square \)
Remark 4.3.4
With a little more work, one can show that the model \(\mathscr {X}\) is \({\mathbb {L}}\)-faithful: the double covers \({\widetilde{V}}_j^o\) and \({\widetilde{E}}^o_0\) are rational because \(X_0\) has ordinary double points at the images of \(V_j\) and the generic point of L. A direct computation now shows that \(\mathrm {Vol}(\mathscr {X}_{K(\infty )})\equiv [X_0]\) modulo \({\mathbb {L}}\).
Theorem 4.3.5
(Colliot-Thélène–Pirutka, Theorem 1.17 in [10]; see also [17]) Very general smooth quartic threefolds over k are not stably rational.
Proof
Proposition 4.3.3 yields the existence of a stably irrational smooth quartic threefold V over an algebraically closed extension \(k'\) of k. Let S be the open subscheme of \({\mathbb {P}}(H^0({\mathbb {P}}^4_k,{\mathcal {O}}(4)))\) parameterizing smooth quartic threefolds. By Corollary 4.1.5, the subset of S parameterizing geometrically stably rational smooth quartic threefolds is a countable union of closed subsets. Its complement is non-empty because it has a \(k'\)-point parameterizing the variety V. \(\square \)
Notes
Huh’s argument also applies to our more restrictive definition of \({\mathbb {L}}\)-rational singularities because, in his notation, the conic bundle \(S\rightarrow L\) has a section.
References
Artin, M., Mumford, D.: Some elementary examples of unirational varieties which are not rational. Proc. Lond. Math. Soc. 3(25), 75–95 (1972)
Abramovich, D., Karu, K., Matsuki, K., Włodarczyk, J.: Torification and factorization of birational maps. J. Am. Math. Soc. 15(3), 531–572 (2002)
Abramovich, D., Temkin, M.: Functorial factorization of birational maps for qe schemes in characteristic. Algebra Number Theor. arXiv:1606.08414 (to appear)
Beauville, A.: Variétés de Prym et jacobiennes intermédiaires. Ann. Sci. École Norm. Sup. (4) 10(3), 309–391 (1977)
Beauville, A.: A very general sextic double solid is not stably rational. Bull. Lond. Math. Soc. 48(2), 321–324 (2016)
Bittner, F.: The universal Euler characteristic for varieties of characteristic zero. Compos. Math. 140(4), 1011–1032 (2004)
Borisov, L.: The class of the affine line is a zero divisor in the Grothendieck ring. J. Algebraic Geom. 27, 203–209 (2018)
Bultot, E., Nicaise, J.: Computing motivic zeta functions on log smooth models. Preprint arXiv:1610.00742v3
Clemens, C.H., Griffiths, P.A.: The intermediate Jacobian of the cubic threefold. Ann. Math. 2(95), 281–356 (1972)
Colliot-Thélène, J.-L., Pirutka, A.: Hypersurfaces quartiques de dimension 3: non-rationalité stable. Ann. Sci. Éc. Norm. Sup. (4) 49(2), 371–397 (2016)
Denef, J., Loeser, F.: Geometry on arc spaces of algebraic varieties. In: European Congress of Mathematics, Vol. I (Barcelona, 2000). Vol. 201 of Progress in Mathematics. Birkhäuser, Basel, pp. 327–348 (2001)
de Fernex, T., Fusi, D.: Rationality in families of threefolds. Rend. Circ. Mat. Palermo (2) 62(1), 127–135 (2013)
Forey, A.: Virtual rigid motives of semi-algebraic sets. Selecta Math. arXiv:1706.07233v2 (to appear)
Hartmann, A.: The quotient map on the equivariant Grothendieck ring of varieties. Manuscr. Math. 151(3–4), 419–451 (2016)
Hassett, B., Kresch, A., Tschinkel, Yu.: Stable rationality and conic bundles. Math. Ann. 365(3–4), 1201–1217 (2016)
Hassett, B., Pirutka, A., Tschinkel, Yu.: Stable rationality of quadric surface bundles over surfaces. Acta Math. 220(2), 341–365 (2018)
Hassett, B., Tschinkel, Yu.: On stable rationality of Fano threefolds and del Pezzo fibrations. Journ. Reine und Angew. Math. arXiv:1601.07074 (to appear)
Hrushovski, E., Kazhdan, D.: Integration in valued fields. In: Algebraic Geometry and Number Theory. Vol. 253 of Progress in Mathematics. Birkhäuser, Boston, pp. 261–405 (2006)
Hrushovski, E., Loeser, F.: Monodromy and the Lefschetz fixed point formula. Ann. Sci. Éc. Norm. Supér. (4) 48(2), 313–349 (2015)
Huh, J.: A counterexample to the geometric Chevalley–Warning conjecture. Preprint arXiv:1307.7765
Kato, K.: Logarithmic structures of Fontaine–Illusie. In: Algebraic Analysis, Geometry, and Number Theory, pp. 191–224. Johns Hopkins University Press, Baltimore (1989)
Kato, K.: Toric singularities. Am. J. Math. 116(5), 1073–1099 (1994)
Kempf, G., Knudsen, F.F., Mumford, D., Saint-Donat, B.: Toroidal Embeddings. I, Lecture Notes in Mathematics, vol. 339. Springer, Berlin (1973)
Kollár, J.: Nonrational hypersurfaces. J. Am. Math. Soc. 8(1), 241–249 (1995)
Kollár, J.: Rational Curves on Algebraic Varieties. Springer, Berlin (1996)
Kontsevich, M., Tschinkel, Yu.: Specialization of birational types. Preprint arXiv:1708.05699
Larsen, M., Lunts, V.: Motivic measures and stable birational geometry. Mosc. Math. J. 3(1), 85–95 (2003)
Looijenga, E.: Motivic measures. Séminaire Bourbaki, Vol. 1999/2000. Volume 276 of Astérisque, pp. 267–297 (2002)
Matsusaka, T.: Algebraic deformations of polarized varieties. Nagoya Math. J. 31, 185–245 (1968)
Nicaise, J.: Geometric criteria for tame ramification. Math. Z. 273(3), 839–868 (2013)
Nicaise, J., Payne, S.: A tropical motivic Fubini theorem with applications to Donaldson–Thomas theory. Duke Math. J. arXiv:1703.10228 (to appear)
Nicaise, J., Sebag, J.: The Grothendieck ring of varieties. In: Cluckers, R., Nicaise, J., Sebag, J. (eds.) Motivic Integration and Its Interactions with Model Theory and Non-archimedean Geometry. Vol. 383 of London Mathematical Society Lecture Notes Series, pp. 145–188. Cambridge University Press, Cambridge (2011)
Panin, I.: Rationally isotropic quadratic spaces are locally isotropic. Invent. Math. 176(2), 397–403 (2009)
Perry, A.: Rationality does not specialise among terminal fourfolds. Algebra Number Theory 11(9), 2193–2196 (2017)
Raynaud, M., Gruson, L.: Critères de platitude et de projectivité. Techniques de “platification” d’un module. Invent. Math 13, 1–89 (1971)
Timmerscheidt, K.: On deformations of three-dimensional rational manifolds. Math. Ann. 258(3), 267–275 (1981/1982)
Totaro, B.: Hypersurfaces that are not stably rational. J. Am. Math. Soc. 29(3), 883–891 (2016)
Totaro, B.: Rationality does not specialise among terminal varieties. Math. Proc. Camb. Philos. Soc. 161(1), 13–15 (2016)
Tsuji, T.: Saturated morphisms of logarithmic schemes. Tunis. J. Math. 1(2), 185–220 (2019)
Voisin, C.: Unirational threefolds with no universal codimension 2 cycle. Invent. Math. 201(1), 207–237 (2015)
Wlodarczyk, J.: Toroidal varieties and the weak factorization theorem. Invent. Math. 154(2), 223–331 (2003)
Acknowledgements
The authors thank T. Bridgeland, I. Cheltsov, J.-L. Colliot-Thélène, S. Galkin, J. Kollár, A. Kuznetsov, A. Pirutka, Yu. Prokhorov, S. Schreieder, C. Shramov, and B. Totaro for discussions, encouragement and e-mail communication. The first-named author wishes to thank in particular O. Wittenberg, with whom he has had several discussions in 2014 on some of the main results in this paper. We are grateful to Yu. Tschinkel for pointing out an error in a previous version of this paper, where we mistakenly claimed that the motivic reduction is a ring homomorphism. We would also like to thank the referee for their thoughtful comments and suggestions, which have improved the presentation of the paper. In particular, it was the referee’s suggestion to formulate a version of Theorem 4.2.11 for reducible fibers.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Johannes Nicaise is 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. Evgeny Shinder is partially supported by Laboratory of Mirror Symmetry NRU HSE, RF government grant, ag. N 14.641.31.0001.
Appendix A: Existence of the motivic volume and motivic reduction morphisms
Appendix A: Existence of the motivic volume and motivic reduction morphisms
In this section, we give a detailed proof of the existence of the motivic volume and motivic reduction morphisms, thus completing the proofs of Theorem 3.1.1 and Proposition 3.2.1. Our main tool will be the Weak Factorization Theorem, which we will use in the form of Theorem A.1.1. A similar strategy is used in [26] to prove the existence of their specialisation maps for birational types.
1.1 Weak factorization
If X is a smooth and proper K-scheme and \(\mathscr {X}\) is a snc-model of X, then an elementary blow-up of \(\mathscr {X}\) is a blow-up \(\mathscr {X}'\rightarrow \mathscr {X}\) whose center is a connected regular closed subscheme Z of \(\mathscr {X}_k\) that has strict normal crossings with the special fiber \(\mathscr {X}_{k}\). The strict normal crossings condition means that, Zariski-locally around every point of Z, we can find an effective divisor \(D_0\) on \(\mathscr {X}\) such that \(D=D_0+\mathscr {X}_k\) has strict normal crossings and Z is an intersection of irreducible components of D. This property implies that \(\mathscr {X}'\) is again an snc-model of X.
Theorem A.1.1
Let X be a smooth and proper K-scheme. Let \({\mathcal {I}}\) be an invariant of snc-models of X, that is, a map from the set of isomorphism classes of snc-models of X to some set A. Assume that, for every snc-model \(\mathscr {X}\) of X and every elementary blow-up \(\mathscr {X}'\rightarrow \mathscr {X}\), we have \({\mathcal {I}}(\mathscr {X})={\mathcal {I}}(\mathscr {X}')\). Then the invariant \({\mathcal {I}}\) takes the same value on all snc-models of X.
Proof
For every R-model \(\mathscr {X}\) of X, an admissible blow-up is a blow-up \(\mathscr {X}'\rightarrow \mathscr {X}\) at a coherent ideal sheaf that contains \(t^{n}\), for some positive integer n; thus it induces an isomorphism on the generic fibers. These are called X-admissible blow-ups in [35]. A composition of admissible blow-ups is again an admissible blow-up, by [35, 5.1.4].
Let \(\mathscr {X}\) and \(\mathscr {Y}\) be snc-models of X. We will prove that \({\mathcal {I}}(\mathscr {X})={\mathcal {I}}(\mathscr {Y})\). We define \(\mathscr {Z}\) to be the schematic closure of the diagonal of \(X\times _K X\) in \(\mathscr {X}\times _R \mathscr {Y}\). By [35, 5.7.12], there exists an admissible blow-up \(\mathscr {Z}'\rightarrow \mathscr {Z}\) such that the induced morphism \(\mathscr {Z}'\rightarrow \mathscr {X}\) is also an admissible blow-up. Likewise, there exists an admissible blow-up \(\mathscr {Z}''\rightarrow \mathscr {Z}'\) such that \(\mathscr {Z}''\rightarrow \mathscr {Y}\) is an admissible blow-up. By Hironaka’s resolution of singularities, we can find an admissible blow-up \(\mathscr {W}\rightarrow \mathscr {Z}''\) such that \(\mathscr {W}\) is an snc-model of X. The morphisms \(\mathscr {W}\rightarrow \mathscr {X}\) and \(\mathscr {W}\rightarrow \mathscr {Y}\) are still admissible blow-ups. By the Weak Factorization Theorem for admissible blow-ups of quasi-excellent schemes of characteristic zero [3, 1.2.1], we can now connect \(\mathscr {X}\) and \(\mathscr {Y}\) by a chain of elementary blow-ups and blow-downs. Thus \({\mathcal {I}}(\mathscr {X})={\mathcal {I}}(\mathscr {Y})\). \(\square \)
The main technical difficulty in the proofs of the existence of the motivic volume and motivic reduction maps is to organize the local computations of various blow-ups in an efficient way. A convenient tool for this purpose is the language of logarithmic geometry, which essentially allows us to reduce to the case of toric varieties, where combinatorial arguments can be used. This avoids tedious calculations in local coordinates (especially when dealing with the covers \({\widetilde{E}}_J^o\) in the formula for the motivic volume). The main technical results we will need are already present in [8].
For a brief introduction to logarithmic geometry, we refer to [21]. In combination with the overview of regular log schemes in Section 3 of [8], this provides all the necessary background material for the arguments presented below. All log structures in this paper are defined with respect to the Zariski topology, as in [22]. Following the conventions in [8], we will speak of regular log schemes and smooth morphisms of log schemes instead of log regular log schemes and log smooth morphisms. Log schemes will be denoted by symbols of the form \(\mathscr {X}^{\dagger }\); the underlying scheme of \(\mathscr {X}^{\dagger }\) is denoted by \(\mathscr {X}\).
1.2 Smooth log schemes
Let \(\mathscr {X}\) be a normal flat R-scheme of finite type, and let D be a reduced Weil divisor on \(\mathscr {X}\). The divisor D gives rise to a logarithmic structure on \(\mathscr {X}\), called the divisorial log structure induced by D. We denote the resulting log scheme by \(\mathscr {X}^{\dagger }\), and we call it the log scheme associated with the pair \((\mathscr {X},D)\). The sheaf of monoids defining the log structure on \(\mathscr {X}^{\dagger }\) is given by
where j is the open embedding of \(\mathscr {X}{\setminus } D\) into \(\mathscr {X}\). Thus \({\mathcal {M}}_{\mathscr {X}^{\dagger }}\) is the sheaf of functions on \(\mathscr {X}\) that are invertible on the complement of D.
In all the examples of interest in this paper, the log scheme \(\mathscr {X}^{\dagger }\) will be regular in the sense of [22]. This notion formalizes the geometric idea that \((\mathscr {X},D)\) is a strictly toroidal pair. The local toroidal structure is encoded in the characteristic sheaf of \(\mathscr {X}^{\dagger }\), which is defined as \({\mathcal {C}}_{\mathscr {X}^{\dagger }}={\mathcal {M}}_{\mathscr {X}^{\dagger }}/{\mathcal {O}}_{\mathscr {X}}^{\times }\). For every point x of \(\mathscr {X}\), we call the stalk \({\mathcal {C}}_{\mathscr {X}^{\dagger },x}\) the characteristic monoid of \(\mathscr {X}^{\dagger }\) at x. This is the monoid of effective Cartier divisors on \(\mathrm {Spec}\,{\mathcal {O}}_{\mathscr {X},x}\) supported on \(D\cap \mathrm {Spec}\,{\mathcal {O}}_{\mathscr {X},x}\). We can think of the dual monoid
as the monoid of integral points on a rational polyhedral cone that describes the toroidal structure of the pair \((\mathscr {X},D)\) locally at x; see [22, 3.2]. The points x where \({\mathcal {C}}_{\mathscr {X}^{\dagger },x}\) is nonzero are precisely the points on the divisor D; we call D the logarithmic boundary of the log scheme \(\mathscr {X}^{\dagger }\).
Example A.2.1
Assume that \(\mathscr {X}\) is regular. Then \(\mathscr {X}^{\dagger }\) is regular if and only if D is a strict normal crossings divisor on \(\mathscr {X}\) [8, 3.3.1]. In that case, for every point x of \(\mathscr {X}\), the characteristic monoid \({\mathcal {C}}_{\mathscr {X}^{\dagger },x}\) is isomorphic to \({\mathbb {N}}^r\), where r is the number of irreducible components of D that pass through x.
Let \(D_i,\,i\in I\) be the irreducible components of D. A logarithmic stratum of \(\mathscr {X}^{\dagger }\) is a connected component of a set of the form
where J is a subset of I. In particular, taking for J the empty set, we see that the connected components of \(\mathscr {X}{\setminus } D\) are logarithmic strata. The characteristic sheaf \({\mathcal {C}}_{\mathscr {X}^{\dagger }}\) is constant along each logarithmic stratum [8, 3.2.1]. The regularity of \(\mathscr {X}^{\dagger }\) implies that all the logarithmic strata are regular, if we endow them with their reduced induced structures. The fan\(F(\mathscr {X}^{\dagger })\) of \(\mathscr {X}^{\dagger }\) is the subspace of \(\mathscr {X}\) consisting of the generic points of the logarithmic strata, endowed with the pullback of the characteristic sheaf \({\mathcal {C}}_{\mathscr {X}^{\dagger }}\). A dictionary with the classical notion of rational polyhedral fan is provided in [22, 9.5]. For every point \(\sigma \) of \(F(\mathscr {X}^{\dagger })\), we denote the logarithmic stratum containing \(\sigma \) by \(E(\sigma )^o\). To every proper subdivision of the fan \(F(\mathscr {X}^{\dagger })\) as defined in [22, 9.7], one can associate a proper birational morphism of regular log schemes \(\mathscr {Y}^{\dagger }\rightarrow \mathscr {X}^{\dagger }\) as in [22, 9.9], which we call a toroidal modification of \(\mathscr {X}^{\dagger }\). An important class of examples are normalized blow-ups of closures of logarithmic strata.
We set \(S=\mathrm {Spec}\,R\) and we denote by \(S^\dagger \) the log scheme obtained by endowing S with the divisorial log structure induced by its unique closed point. This is called the standard log structure on S. If D contains the reduced special fiber \(\mathscr {X}_{k,\mathrm {red}}\), then the structural morphism \(\mathscr {X}\rightarrow S\) induces a morphism of log schemes \(\mathscr {X}^{\dagger }\rightarrow S^{\dagger }\). By [8, 3.6.1], regularity of \(\mathscr {X}^{\dagger }\) implies that the morphism of log schemes \(\mathscr {X}^{\dagger }\rightarrow S^{\dagger }\) is smooth, because k has characteristic zero. Conversely, if \(\mathscr {Y}^{\dagger }\) is a fine and saturated log scheme and \(\mathscr {Y}^{\dagger }\rightarrow S^{\dagger }\) is a smooth morphism of log schemes, then \(\mathscr {Y}^{\dagger }\) is regular [22, 8.2], and the log structure on \(\mathscr {Y}^{\dagger }\) is the divisorial log structure induced by some reduced Weil divisor on \(\mathscr {Y}^{\dagger }\) that contains \(\mathscr {Y}_{k,\mathrm {red}}\) [22, 11.6].
1.3 Existence of the motivic volume
We will prove a refinement of Theorem 3.1.1 that also provides a formula for the motivic volume in terms of smooth logarithmic models, generalizing the formula for snc-models.
Let \(\mathscr {X}^{\dagger }\) be a smooth fine and saturated log scheme of finite type over \(S^{\dagger }\), and denote by D its logarithmic boundary. Let \(\sigma \) be a point in \(F(\mathscr {X}^{\dagger })\cap \mathscr {X}_k\). We denote by \({\overline{t}}\) the residue class of t in the characteristic monoid \({\mathcal {C}}_{\mathscr {X}^{\dagger },\sigma }\). The rank of \(\mathscr {X}^{\dagger }\) at \(\sigma \) is the Krull dimension of the monoid \({\mathcal {C}}_{\mathscr {X}^{\dagger },\sigma }\), or, equivalently, the rank of the abelian group \({\mathcal {C}}^{\mathrm {gp}}_{\mathscr {X}^{\dagger },\sigma }\) associated with the monoid \({\mathcal {C}}_{\mathscr {X}^{\dagger },\sigma }\). This rank is denoted by \(r(\sigma )\). It is equal to the codimension of the stratum \(E(\sigma )^o\) in \(\mathscr {X}\). We define the horizontal rank\(r_h(\sigma )\) of \(\mathscr {X}^{\dagger }\) at \(\sigma \) as the dimension of the face of the dual monoid \({\mathcal {C}}^{\vee }_{\mathscr {X}^{\dagger },\sigma }\) defined by \({\overline{t}}=0\), and the vertical rank\(r_v(\sigma )\) as the difference \(r(\sigma )-r_h(\sigma )\). We have \(r_v(\sigma )=r(\sigma )\) if and only if \(D=\mathscr {X}_{k,\mathrm {red}}\) locally around \(\sigma \) (in the logarithmic literature, one then says that the log structure is vertical at \(\sigma \)).
Let \(\rho \) be the largest positive integer such that \({\overline{t}}\) is divisible by \(\rho \) in \({\mathcal {C}}_{\mathscr {X}^{\dagger },\sigma }\). This invariant is called the root index of \(\mathscr {X}^{\dagger }\) at \(\sigma \) in [8]. If the underlying scheme \(\mathscr {X}\) of \(\mathscr {X}^{\dagger }\) is regular, then \(\rho \) is the greatest common divisor of the multiplicities of the components of \(\mathscr {X}_k\) that pass through \(\sigma \), by Example 4.1.1 in [8].
For every positive integer m, we set \(S(m)=\mathrm {Spec}\,R(m)\), and we denote by \(\mathscr {X}(m)\) the normalization of \(\mathscr {X}\times _S S(m)\). We denote by \({\widetilde{E}}(\sigma )^o\) the reduced inverse image of the log stratum \(E(\sigma )^o\) in \(\mathscr {X}(\rho )\). It is equipped with a natural good action of the group scheme \(\mu _{\rho }\), via the action of \(\mu _{\rho }\) on \(\mathscr {X}(\rho )\). If m is any positive multiple of \(\rho \), then the natural morphism \(\mathscr {X}(m)\rightarrow \mathscr {X}(\rho )\) induces an isomorphism
by [8, 4.1.2]. Thus to compute \({\widetilde{E}}(\sigma )^o\), we may freely replace \(\rho \) by any positive multiple.
We define the motivic volume \(\mathrm {Vol}(\mathscr {X}^{\dagger })\) by
in \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_{k})\). When \(\mathscr {X}\) is a flat normal R-scheme of finite type such that the log scheme \(\mathscr {X}^{\dagger }\) associated with \((\mathscr {X},\mathscr {X}_{k,\mathrm {red}})\) is regular, we will write \(\mathrm {Vol}(\mathscr {X})\) instead of \(\mathrm {Vol}(\mathscr {X}^{\dagger })\).
Lemma A.3.1
The motivic volume \(\mathrm {Vol}(\mathscr {X}^{\dagger })\) is local on \(\mathscr {X}^{\dagger }\), in the following sense: if \(\{\mathscr {U}^{\dagger }_\alpha ,\,\alpha \in A\}\) is a finite open cover of \(\mathscr {X}^{\dagger }\), then
Proof
This follows immediately from the definition of the motivic volume and the scissor relations in the Grothendieck ring. \(\square \)
Lemma A.3.2
Let \(\gamma \) be a rational polyhedral cone in \({\mathbb {R}}^d\), for some positive integer d, and let \(\Sigma \) be the fan consisting of the faces of \(\gamma \). Let \(\delta \) be a face of \(\gamma \), and let \(\Sigma '\) be a proper rational polyhedral subdivision of \(\Sigma \) that contains the face \(\delta \). We denote by \(\gamma _1,\ldots ,\gamma _n\) the cones in \(\Sigma '\) that intersect the relative interior of \(\gamma \).
Let \(\delta '\) be a face of \(\delta \), let I be the set of indices i in \(\{1,\ldots ,r\}\) such that \(\gamma _i\cap \delta =\delta '\), and set
Then \(A_{\delta ,\delta '}=(-1)^{\dim (\gamma )}\) if \(\delta '=\delta \), and \(A_{\delta ,\delta '}=0\) otherwise.
Proof
For every rational polyhedral cone \(\varepsilon \), the value \((-1)^{\dim (\varepsilon )}\) is equal to the compactly supported Euler characteristic of the relative interior of \(\varepsilon \). Since the union of the relative interiors of the cones \(\gamma _i\) that contain \(\delta \) is homeomorphic to the relative interior of \(\gamma \), the equality \(A_{\delta ,\delta }=(-1)^{\dim (\gamma )}\) follows from the addivity of the compactly supported Euler characteristic. Thus we may assume that \(\delta \ne \delta '\). Applying an inclusion-exclusion argument over all possible intersections of the cones \(\gamma _i\) with the face \(\delta \), we can write
where the sum is taken over all the faces \(\varepsilon \) of \(\delta \) that contain \(\delta '\). The sum in the last member of this equality is equal to the compactly supported Euler characteristic of the projection \({\overline{\delta }}\) of \(\delta \) onto the quotient of \({\mathbb {R}}^d\) by the real vector space spanned by \(\delta '\). This Euler characteristic vanishes because \({\overline{\delta }}\) is a strictly convex cone of positive dimension. \(\square \)
Proposition A.3.3
The motivic volume \(\mathrm {Vol}(\mathscr {X}^{\dagger })\) is invariant under toroidal modifications of \(\mathscr {X}^{\dagger }\) that are isomorphisms on the generic fiber \(\mathscr {X}_K\).
Proof
Let \(h:\mathscr {Y}^{\dagger }\rightarrow \mathscr {X}^{\dagger }\) be a toroidal modification, associated with a proper subdivision \(h_F:F(\mathscr {Y}^{\dagger })\rightarrow F(\mathscr {X}^{\dagger })\) of the fan of \(\mathscr {X}^{\dagger }\). It suffices to show that, for every point \(\sigma \) of \(F(\mathscr {X}^{\dagger })\cap \mathscr {X}_k\), we have
in \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_{k})\).
By [8, 4.1.3], we have for every \(\tau \) in \(h_F^{-1}(\sigma )\) a natural morphism \({\widetilde{E}}(\tau )^o\rightarrow {\widetilde{E}}(\sigma )^o\), and \({\widetilde{E}}(\tau )^o\) is a \({\mathbb {G}}^{r(\sigma )-r(\tau )}_{m,k}\)-torsor over \({\widetilde{E}}(\sigma )^o\). As observed in in the proof of [8, 7.2.1], this torsor is \(\widehat{\mu }\)-equivariant if we put the trivial \(\widehat{\mu }\)-action on \({\mathbb {G}}^{r(\sigma )-r(\tau )}_{m,k}\). By [8, 7.1.1], this implies that
in \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_{k})\). Thus it is enough to prove the following equalities: for every nonnegative integer m, we have
We write \({\mathbb {R}}_{\ge 0}\) for the additive monoid of nonnegative real numbers, and \(\sigma ^{\vee }_{{\mathbb {R}}}\) for the strictly convex rational polyhedral cone \(\mathrm {Hom}({\mathcal {C}}_{\mathscr {X}^{\dagger },\sigma },{\mathbb {R}}_{\ge 0})\) generated by the dual monoid \({\mathcal {C}}^{\vee }_{\mathscr {X}^{\dagger },\sigma }\). For every \(\tau \) in \(h_F^{-1}(\sigma )\), the real cone \(\tau ^{\vee }_{{\mathbb {R}}}\) is defined analogously. By the dictionary provided in [22, 9.5], we can view the cones \(\tau ^{\vee }_{{\mathbb {R}}}\) as the cones in a proper subdivision of \(\sigma ^{\vee }_{{\mathbb {R}}}\) that intersect the relative interior of \(\sigma ^{\vee }_{{\mathbb {R}}}\). Since h is an isomorphism on the generic fibers, this subdivision contains the face of \(\sigma ^{\vee }_{{\mathbb {R}}}\) defined by \({\overline{t}}=0\). Thus the result follows from Lemma A.3.2. \(\square \)
Proposition A.3.4
The motivic volume \(\mathrm {Vol}(\mathscr {X}^{\dagger })\) is independent of the log structure: if \(\mathscr {Y}^{\dagger }\) is another fine and saturated log scheme that is smooth and of finite type over \(S^{\dagger }\), and \(h:\mathscr {Y}^{\dagger }\rightarrow \mathscr {X}^{\dagger }\) is a morphism of log schemes that is an isomorphism on the underlying schemes, then \(\mathrm {Vol}(\mathscr {X}^{\dagger })=\mathrm {Vol}(\mathscr {Y}^{\dagger })\).
Proof
We will use the isomorphism h to identify the schemes \(\mathscr {X}\) and \(\mathscr {Y}\). We denote by \(D_{\mathscr {X}}\) and \(D_{\mathscr {Y}}\) the logarithmic boundary divisors of \(\mathscr {X}\) and \(\mathscr {Y}\). Then \(D_{\mathscr {X}}\) is contained in \(D_{\mathscr {Y}}\), and \(D_{\mathscr {X}}\) contains \(\mathscr {X}_{k,\mathrm {red}}\). It follows that every logarithmic stratum of \(\mathscr {X}^{\dagger }\) is a union of logarithmic strata of \(\mathscr {Y}^{\dagger }\). Therefore, it is enough to show that, if \(E(\tau )^o\) is a logarithmic stratum of \(\mathscr {Y}^{\dagger }\) contained in \(\mathscr {Y}_k\), and \(E(\sigma )^o\) is the unique logarithmic stratum of \(\mathscr {X}^{\dagger }\) that contains \(E(\tau )^o\), then the vertical rank of \(\mathscr {X}^{\dagger }\) at \(\sigma \) is equal to the vertical rank of \(\mathscr {Y}^{\dagger }\) at \(\tau \) (we do not need to compare of the root indices, because we can freely replace them by a common multiple in the construction of the covers \({\widetilde{E}}(\sigma )^o\) and \({\widetilde{E}}(\tau )^o\)).
The morphism of characteristic monoids \({\mathcal {C}}_{\mathscr {X}^{\dagger },\sigma }\rightarrow {\mathcal {C}}_{\mathscr {Y}^{\dagger },\sigma }\) induced by h is an isomorphism, because it is injective and the definition of regularity for log schemes implies that these monoids have the same dimension (namely, the codimension of the closure of \(\{\sigma \}\) in \(\mathscr {X}\cong \mathscr {Y}\)). The point \(\tau \) lies in the closure of \(\{\sigma \}\), so that we have a cospecialization morphism \({\mathcal {C}}_{\mathscr {Y}^{\dagger },\tau }\rightarrow {\mathcal {C}}_{\mathscr {Y}^{\dagger },\sigma }\). It follows from [22, 10.1] that the dual of this morphism identifies \({\mathcal {C}}_{\mathscr {Y}^{\dagger },\sigma }^{\vee }\) with a face of \({\mathcal {C}}_{\mathscr {Y}^{\dagger },\tau }^{\vee }\). Every one-dimensional face of \({\mathcal {C}}_{\mathscr {Y}^{\dagger },\tau }^{\vee }\) that is not included in \({\mathcal {C}}_{\mathscr {Y}^{\dagger },\sigma }^{\vee }\) corresponds to a component of \(D_{\mathscr {Y}}\) that is not included in \(\mathscr {Y}_{k,\mathrm {red}}\). Thus \({\overline{t}}=0\) on all those one-dimensional faces. Therefore, the vertical ranks of \(\sigma \) and \(\tau \) are equal. \(\square \)
Proposition A.3.5
Let X be a smooth and proper K-scheme. Let \(\mathscr {X}^{\dagger }\) be a fine and saturated log scheme, endowed with a smooth morphism of finite type \(\mathscr {X}^{\dagger }\rightarrow S^{\dagger }\), such that the underlying scheme \(\mathscr {X}\) is an R-model of X. Then \(\mathrm {Vol}(\mathscr {X}^{\dagger })\) only depends on X, and not on \(\mathscr {X}^{\dagger }\) or \(\mathscr {X}\).
Proof
By Proposition A.3.3 and toroidal resolution of singularities for regular log schemes [22, 10.4], we may assume that \(\mathscr {X}\) is an snc-model of X. By Proposition A.3.4, we may further assume that the log structure on \(\mathscr {X}^{\dagger }\) is induced by the reduced special fiber \(\mathscr {X}_{k,\mathrm {red}}\).
By Theorem A.1.1, it suffices to show that, for every snc-model \(\mathscr {X}\) of X, the motivic volume \(\mathrm {Vol}(\mathscr {X})\) is invariant under elementary blow-ups. Let Z be a connected regular closed subscheme of \(\mathscr {X}_k\) that has strict normal crossings with \(\mathscr {X}_k\), and let \(h:\mathscr {Y}\rightarrow \mathscr {X}\) be the blow-up of \(\mathscr {X}\) at Z. We can compute the motivic volume \(\mathrm {Vol}(\mathscr {X})\) locally on \(\mathscr {X}\), by Lemma A.3.1. Thus we may assume that there exists a reduced divisor \(D_0\) on \(\mathscr {X}\), flat over R, such that \(D=\mathscr {X}_{k}+D_0\) has strict normal crossings and Z is an intersection of irreducible components of D. Let \(\mathscr {X}^{\dagger }\) be the log scheme associated with \((\mathscr {X},D)\). Then \(\mathrm {Vol}(\mathscr {X}^{\dagger })=\mathrm {Vol}(\mathscr {X})\) by Proposition A.3.4, and Z is the closure of a logarithmic stratum of \(\mathscr {X}^{\dagger }\). Moreover, if we set \(D'=(h^{*}D)_{\mathrm {red}}\) and denote by \(\mathscr {Y}^{\dagger }\) the log scheme associated with \((\mathscr {Y},D')\), then \(\mathscr {Y}^{\dagger }\) is regular and \(\mathscr {Y}^{\dagger }\rightarrow \mathscr {X}^{\dagger }\) is a toroidal modification. Thus the result follows from Propositions A.3.3 and A.3.4. \(\square \)
In view of Proposition A.3.5, we can define the motivic volume of a smooth and proper K-scheme X by the formula
in \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_{k})\), where \(\mathscr {X}^{\dagger }\) is any fine and saturated smooth log scheme over \(S^{\dagger }\) whose underlying scheme is a model of X. If \(\mathscr {X}\) is an snc-model of X and \(\mathscr {X}^{\dagger }\) is the log scheme associated with \((\mathscr {X},\mathscr {X}_{k,\mathrm {red}})\), then our formula is equivalent to formula (3.1.2) in Theorem 3.1.1. We now prove that this invariant behaves well under blow-ups of smooth centers in X.
Proposition A.3.6
Let X be a smooth and proper K-scheme, let Z be a connected smooth closed subscheme of X, and let \(Y\rightarrow X\) be the blow-up of X along Z. We denote by E the exceptional divisor of Y. Then \(\mathrm {Vol}_K(Y)-\mathrm {Vol}_K(E)=\mathrm {Vol}_K(X)-\mathrm {Vol}_K(Z)\) in \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_{k})\).
Proof
By Hironaka’s resolution of singularities, we can find an snc-model \(\mathscr {X}\) of X such that the schematic closure \(\mathscr {Z}\) of Z in \(\mathscr {X}\) has strict normal crossings with \(\mathscr {X}_k\). Then \(\mathscr {Z}\) is an snc-model for Z, the blow-up \(\mathscr {Y}\) of \(\mathscr {X}\) along \(\mathscr {Z}\) is an snc-model for Y, and the inverse image \(\mathscr {E}\) of \(\mathscr {Z}\) in \(\mathscr {Y}\) is an snc-model for E. It suffices to show that \(\mathrm {Vol}(\mathscr {Y})-\mathrm {Vol}(\mathscr {E})=\mathrm {Vol}(\mathscr {X})-\mathrm {Vol}(\mathscr {Z})\).
We write \(\mathscr {X}^{\dagger }\), \(\mathscr {Y}^{\dagger }\), \(\mathscr {Z}^{\dagger }\) and \(\mathscr {E}^{\dagger }\) for the log schemes obtained by endowing \(\mathscr {X}\), \(\mathscr {Y}\), \(\mathscr {Z}\) and \(\mathscr {E}\) with the log structures induced by their reduced special fibers. All of these log schemes are smooth over \(S^{\dagger }\). Moreover, at every point of \(\mathscr {Z}\), the morphism of log schemes \(\mathscr {Z}^{\dagger }\rightarrow \mathscr {X}^{\dagger }\) induces an isomorphism of characteristic monoids at every point of \(\mathscr {Z}^{\dagger }\), and the analogous property holds for \(\mathscr {E}^{\dagger }\rightarrow \mathscr {Y}^{\dagger }\). In other words, these closed immersions of log schemes are strict. Looking at the explicit formulas for motivic volumes of all these log schemes, and using the scissor relations in the Grothendieck ring, we see that it is enough to prove the following property: let m be a positive integer, and denote by \(\mathscr {X}(m)\) the normalization of \(\mathscr {X}\times _S S(m)\). Then \(\mathscr {W}=\mathscr {X}(m)\times _{\mathscr {X}}\mathscr {Z}\) is the normalization of \(\mathscr {Z}\times _S S(m)\) (the corresponding result then also holds for \(\mathscr {Y}\) and \(\mathscr {E}\)).
By [8, 3.7.1], \(\mathscr {X}(m)\) is the underlying scheme of the fiber product \(\mathscr {X}(m)^{\dagger }=\mathscr {X}^{\dagger }\times ^{\mathrm {fs}}_{S^\dagger }S(m)^{\dagger }\) in the category of fine and saturated log schemes. Since \(\mathscr {Z}^{\dagger }\rightarrow \mathscr {X}^{\dagger }\) is strict, the fiber product \(\mathscr {W}^{\dagger }=\mathscr {X}(m)^{\dagger }\times _{\mathscr {X}^{\dagger }}\mathscr {Z}^{\dagger }\) in the category of log schemes is already fine and saturated, since it is a strict closed logarithmic subscheme of \(\mathscr {X}(m)^{\dagger }\). Thus \(\mathscr {W}^{\dagger }\) is isomorphic to the fine and saturated fiber product
which implies that the underlying scheme \(\mathscr {W}\) of \(\mathscr {W}^{\dagger }\) is the normalization of \(\mathscr {Z}\times _S S(m)\). \(\square \)
Proposition A.3.7
If X and Y are smooth and proper K-schemes, then
in \({\mathbf {K}}^{\widehat{\mu }}(\mathrm {Var}_{k})\).
Proof
Let \(\mathscr {X}\) and \(\mathscr {Y}\) be snc-models of X and Y, respectively. We write \(Z=X\times _K Y\) and we denote by \(\mathscr {Z}\) the normalization of \(\mathscr {X}\times _R \mathscr {Y}\). Let \(\mathscr {X}^{\dagger }\), \(\mathscr {Y}^{\dagger }\) and \(\mathscr {Z}^{\dagger }\) be the log schemes associated with the pairs \((\mathscr {X},\mathscr {X}_{k,\mathrm {red}})\), \((\mathscr {Y},\mathscr {Y}_{k,\mathrm {red}})\) and \((\mathscr {Z},\mathscr {Z}_{k,\mathrm {red}})\). By the same argument as in the proof of [8, 3.7.1], we can identify \(\mathscr {Z}^{\dagger }\) with the fiber product \(\mathscr {X}^{\dagger }\times ^{\mathrm {fs}}_{S^\dagger }\mathscr {Y}^{\dagger }\) in the category of fine and saturated log schemes. In particular, \(\mathscr {Z}^{\dagger }\) is fine and saturated, and it is smooth over \(S^{\dagger }\) because \(\mathscr {X}^{\dagger }\) and \(\mathscr {Y}^{\dagger }\) are smooth over \(S^{\dagger }\), and smoothness is preserved by fine and saturated base change and composition. Thus we can use the model \(\mathscr {Z}^{\dagger }\) to compute the motivic volume of Z. On any regular log scheme \(\mathscr {W}^{\dagger }\), the points of the fan \(F(\mathscr {W}^{\dagger })\subset \mathscr {W}\) are precisely the points w whose codimension in \(\mathscr {W}\) is equal to the dimension of the characteristic monoid \({\mathcal {C}}_{\mathscr {W}^{\dagger },w}\). It follows that a point of \(\mathscr {Z}\) lies in the fan \(F(\mathscr {Z}^{\dagger })\) if and only if its images in \(\mathscr {X}\) and \(\mathscr {Y}\) lie in the fans of \(\mathscr {X}^{\dagger }\) and \(\mathscr {Y}^{\dagger }\), respectively. Thus for every \(\sigma \) in \(F(\mathscr {X}^{\dagger })\) and every \(\sigma '\) in \(F(\mathscr {Y}^{\dagger })\), the preimage of \(E(\sigma )^o\times _k E(\sigma ')^o\) in \(\mathscr {Z}_k\) is a union of logarithmic strata.
Let m be a positive integer that is divisible by all the root indices of \(\mathscr {X}^{\dagger }\), \(\mathscr {Y}^{\dagger }\) and \(\mathscr {Z}^{\dagger }\). Then, if m is sufficiently divisible, the morphisms \(\mathscr {X}(m)^{\dagger }\rightarrow S(m)^{\dagger }\) and \(\mathscr {Y}(m)^{\dagger }\rightarrow S(m)^{\dagger }\) are saturated in the sense of [39, II.2.1], by [39, II.3.4] (in fact, one can deduce from [39, II.4.2] that it suffices to take for m the least common multiple of the multiplicities of the components in \(\mathscr {X}_k\) and \(\mathscr {Y}_k\), but we don’t need this here). This implies that \(\mathscr {Z}(m)^{\dagger }\) is the fibered product \(\mathscr {X}(m)^{\dagger }\times _{S(m)^{\dagger }}\mathscr {Y}(m)^{\dagger }\) in the category of log schemes. In particular, the natural morphism of schemes \(\mathscr {Z}(m)\rightarrow \mathscr {X}(m)\times _{S(m)}\mathscr {Y}(m)\) is an isomorphism, and it is \(\mu _m\)-equivariant if we endow \(\mathscr {X}(m)\times _{S(m)}\mathscr {Y}(m)\) with the diagonal action. Thus for every point \(\sigma \) in \(F(\mathscr {X}^{\dagger })\) and every point \(\sigma '\) in \(F(\mathscr {X}^{\dagger })\), we have a \(\mu _m\)-equivariant isomorphism
where \(\tau \) runs through all the points of \(F(\mathscr {Z}^{\dagger })\) in the preimage of \((\sigma ,\sigma ')\). Since \(r(\tau )=r(\sigma )+r(\sigma ')\) and the horizontal ranks are zero, it follows that
\(\square \)
Proposition A.3.8
Let \(K(n)=k(\negthinspace (t^{1/n} )\negthinspace )\) be a finite extension of K in \(K(\infty )\), and denote by \(\widehat{\mu }(n)\) the kernel of the projection \(\widehat{\mu }\rightarrow \mu _n\). Then for every smooth and proper K-scheme X, the volume \(\mathrm {Vol}_{K(n)}(X\times _K K(n))\) is the image of \(\mathrm {Vol}_K(X)\) under the restriction morphism
Proof
We choose an snc-model \(\mathscr {X}\) of X, and we denote by \(\mathscr {X}(n)\) the normalization of \(\mathscr {X}\times _S S(n)\). We write \(\mathscr {X}(n)^{\dagger }\) for the log scheme associated with \((\mathscr {X}(n), \mathscr {X}(n)_{k,\mathrm {red}})\). We have already recalled from [8, 3.7.1] that we can identify \(\mathscr {X}(n)^{\dagger }\) with the fiber product \(\mathscr {X}^{\dagger }\times ^{\mathrm {fs}}_{S^{\dagger }}S(n)^{\dagger }\) in the category of fine and saturated log schemes. In particular, \(\mathscr {X}(n)^{\dagger }\) is fine and saturated, and smooth over \(S(n)^{\dagger }\), by the preservation of smoothness by fine and saturated base change. It also follows that, for every log stratum \(E(\sigma )^o\) of \(\mathscr {X}^{\dagger }\), the reduced inverse image in \(\mathscr {X}(n)\) is a union of log strata \(E(\tau )^o\) of \(\mathscr {X}(n)^{\dagger }\). Moreover, for each of these strata \(E(\tau )^o\), we have \(r_v(\sigma )=r(\sigma )\) and \(r_v(\tau )=r(\tau )\) because the log structure on the generic fibers is trivial, and \(r(\sigma )=r(\tau )\) by the description of the characteristic monoids on a fine and saturated base change in [8, §3.7]. Finally, the sum of the classes \([{\widetilde{E}}(\tau )^o]\) in \({\mathbf {K}}^{\widehat{\mu }(n)}(\mathrm {Var}_k)\) equals
because we can compute the covers \({\widetilde{E}}(\sigma )^o\) and \({\widetilde{E}}(\tau )^o\) on a further normalized base change of \(\mathscr {X}(n)\), by [8, 4.1.2]. The assertion now follows from the definition of the motivic volume. \(\square \)
Now we are ready to prove our refinement of Theorem 3.1.1.
Theorem A.3.9
There exists a unique ring morphism
such that, for every smooth and proper K-scheme X and every fine and saturated smooth log scheme \(\mathscr {X}^{\dagger }\) over \(S^{\dagger }\) whose underlying scheme is an R-model of X, we have
Moreover, for every finite extension \(K(n)=k(\negthinspace (t^{1/n})\negthinspace )\) of K in \(K(\infty )\) and every K-scheme of finite type Y, the volume \(\mathrm {Vol}_{K(n)}(Y\times _K K(n))\) is the image of \(\mathrm {Vol}_{K}(Y)\) under the ring morphism
where \(\widehat{\mu }(n)\) is the kernel of the projection \(\widehat{\mu }\rightarrow \mu _n\).
Proof
The uniqueness and existence of \(\mathrm {Vol}_K\) as a group homomorphism follow from Bittner’s presentation of the Grothendieck group (Theorem 2.4.1); the fact that our definition for \(\mathrm {Vol}_K\) satisfies the blowup relations was proven in Proposition A.3.6. Proposition A.3.7 implies that \(\mathrm {Vol}_K\) is a ring morphism, and its behaviour under extensions of K was described in Proposition A.3.8. \(\square \)
1.4 Existence of the motivic reduction
Finally, we prove a refined version of Proposition 3.2.1 on the existence of the motivic reduction.
Proposition A.4.1
There exists a unique group homomorphism
such that, for every smooth and proper K-scheme X and every fine and saturated smooth log scheme \(\mathscr {X}^{\dagger }\) over \(S^{\dagger }\) whose underlying scheme is an R-model of X, we have
The morphism \(\mathrm {MR}\) is a morphism of \({\mathbb {Z}}[{\mathbb {L}}]\)-modules.
Proof
The proof is similar to that of Theorem A.3.9. Replacing the covers \({\widetilde{E}}^o(\cdot )\) by the log strata \(E^o(\cdot )\) in the proofs of Propositions A.3.3, A.3.4, A.3.5 and A.3.6, one sees that our formula for \(\mathrm {MR}\) does not depend on the choice of \(\mathscr {X}^{\dagger }\), and that it satisfies Bittner’s blow-up relations. To see that it is a morphism of \({\mathbb {Z}}[{\mathbb {L}}]\)-modules, it suffices to observe that \(\mathrm {MR}(X\times _K {\mathbb {P}}^1_K)=\mathrm {MR}(X) [{\mathbb {P}}^1_k]\) for every smooth and proper K-scheme X, because for every snc-model \(\mathscr {X}\) of X, the product \(\mathscr {X}\times _R {\mathbb {P}}^1_R\) is an snc-model for \(X\times _K {\mathbb {P}}^1_K\). Subtracting \(\mathrm {MR}(X)\) from both sides of the equality, we find that \(\mathrm {MR}([X]{\mathbb {L}})=\mathrm {MR}(X){\mathbb {L}}\). \(\square \)
Alternatively, one can also deduce Proposition A.4.1 from Theorem A.3.9 by taking the quotient of \(\mathrm {Vol}_K\) modulo \(\widehat{\mu }\), as in the proof of Proposition 3.2.1. If \(\mathscr {X}\) is an snc-model for X and \(\mathscr {X}^{\dagger }\) is the log scheme associated with \((\mathscr {X},\mathscr {X}_{k,\mathrm {red}})\), then the formula for \(\mathrm {MR}(X)\) in Proposition A.4.1 is equivalent to formula (3.2.2) in Proposition 3.2.1.
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
Nicaise, J., Shinder, E. The motivic nearby fiber and degeneration of stable rationality. Invent. math. 217, 377–413 (2019). https://doi.org/10.1007/s00222-019-00869-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-019-00869-2