A.P-S. and I.K. were supported by EPSRC grant EP/W026554/1.
1. Introduction
The purpose of this note is to prove a variant of a criterion of Oguiso [Ogu18] verifying that a birational self-map of a CalabiβYau variety is primitive. Roughly speaking, a map is primitive if it does not βfactor throughβ a birational automorphism of a lower-dimensional variety; in studying dynamics of birational maps, this is a natural condition to impose in order to exclude uninteresting examples such as product maps. The precise defintion of primitivity was first formulated by Zhang [Zha09], and is stated by Oguiso [Ogu18] as follows:
Definition 1.1.
Let be a projective variety. A rational fibration means a dominant rational map where is a projective variety and has connected fibres. The fibration is nontrivial if .
Let be a birational map. A rational fibration is called -equivariant if there is a birational map such that . The birational map is called primitive if there does not exist a non-trivial -equivariant rational fibration .
For a CalabiβYau variety , Oguiso [Ogu18, Theorem 1.2] gave a useful criterion for primitivity of a birational map in terms of the associated linear map on the NΓ©ronβSeveri space of . The precise statement is Theorem 1.3 below; roughly speaking, assuming general conjectures of minimal model theory, the criterion asks that should have no nontrivial invariant subspaces defined over . In Theorem 1.4, we will prove a variant of Oguisoβs criterion, replacing his linear algebraic criterion on by one involving convex geometry.
We will also be interested in the dynamical complexity of a birational map, as measured by DinhβSibonyβs notion of dynamical degrees [DS05]. To keep our presentation simple, we only define the first dynamical degree of a birational map , and moreover give a definition that is valid only in the special case when is an isomorphism in codimension 1.
Definition 1.2.
Let be a birational map which is an isomorphism in codimension 1, and let be the linear map induced by pullback of divisors. The first dynamical degree is the spectral radius of the map , in other words,
|
|
|
where the maximum is taken over the set of all eigenvalues of the linear map .
As motivation, in the case where is biregular, the GromovβYomdin theorem [Gro03, Yom87] says that the topological entropy of equals
|
|
|
|
in the birational case Dinh-Sibony showed that is an upper bound for topological entropy. So maps with can be considered as candidates for having positive topological entropy.
We now introduce some notation and terminology in order to give precise statements of Oguisoβs criterion and our variant of it.
We work throughout over . For a -factorial projective variety , we write to denote the vector space of divisors with rational coefficients modulo numerical equivalence, and to denote . The pseudoeffective cone means the closed cone in generated by the classes of effective divisors. A divisor on is movable if the intersection of all effective divisors in the complete linear system has codimension at least 2 in . The closed movable cone means the closed cone in generated by the classes of movable divisors.
A projective variety is a minimal CalabiβYau variety if is -factorial and terminal, we have , and the canonical divisor is trivial. We say a minimal CalabiβYau variety is m-abundant if, for any movable effective divisor , there is another minimal CalabiβYau variety and a birational map such that is semi-ample on . By the existence of log minimal models and the log abundance theorem in dimension 3 [Kaw92, Sho03, KMM94], every minimal CalabiβYau variety of dimension 3 is m-abundant.
We can now state Oguisoβs criterion [Ogu18, Theorem 1.2]:
Theorem 1.3 (Oguiso).
Let be a minimal CalabiβYau variety of dimension at least , of Picard number at least , and which is m-abundant. Let be a birational map such that acts irreducibly on the -vector space . Then is primitive.
To state our variant, we fix some more terminology. Let be a vector space and a linear endomorphism. The fixed subspace of means the largest subspace such that for all . A subspace is -stable if for all . A face a cone is proper if and . We will show the following:
Theorem 1.4.
Let be a minimal CalabiβYau variety of dimension at least , of Picard number at least , and which is m-abundant. Let be a birational map such that:
-
β’
the fixed subspace of intersects the cone trivially;
-
β’
at least one of the following is true:
-
β
does not have a proper -stable face defined over ;
-
β
does not have a proper -stable face defined over .
Then is primitive.
Section 2 of this note will outline Oguisoβs proof of Theorem 1.3, and explain how the proof can be modified to give the statement of Theorem 1.4. In Section 3 we will apply this variant of the criterion to verify primitivity of a certain birational automorphism to which Oguisoβs original form of the criterion does not apply. We also show that the first dynamical degree of this map is strictly greater than 1.
2. Outline proof of Theorem 1.3 and proof of Theorem 1.4
In this section we outline Oguisoβs proof of Theorem 1.3. In particular we identify those points in the proof where the assumption of irreducibility of is used. We then explain how to modify the proof so that it works under the weaker assumptions of Theorem 1.4. In various places in the proof, we take to be a resolution of the singularities of and of the indeterminacy of , take , and define to be the fibre of over a point .
Step 1: The first step is to prove the weaker statement that, under the hypotheses of Theorem 1.3, there can be no nontrival -equivariant fibration such that . Oguiso shows that, in this situation, we can assume after replacing with a birational model that is a morphism, and that the nontrivial subspace is stable for the action of . This contradicts the assumption of irreducibility of , showing that no such exists.
Step 2: The next step is to show that if is a very general point of , then the two-way orbit is well-defined and is a Zariski-dense subset of . As a corollary of a result of Lo Bianco [LB19, Proposition 4.5.1] also proved by Oguiso [Ogu18, Proposition 2.5], this implies that for as before, the general fibre is not of general type. The proof of the first assertion uses a result of AmerikβCampana [AC08] which shows that there is a dominant rational map to a smooth projective variety such that and is the Zariski closure of the two-way orbit of , for very general . This implies that is a well-defined subspace of on which acts as identity, again contradicting irreducibility of unless is trivial, i.e. unless is a point and the orbit of is Zariski-dense.
Step 3: The final step of the proof is to consider a nontrivial -equivariant fibration, and to take the relative Iitaka fibration over to get . By Step 2 we know that does not have general type, implying that ; also by definition we have . So this is again a nontrivial -equivariant rational fibration. Moreover, by construction of the Iitaka fibration it has the key property that for a general point . The existence of such a fibration contradicts the conclusion of Step 1, and so the proof is complete.
To generalise Oguisoβs proof, we need to show that Steps 1 and 2 above still work under the weaker hypotheses of Theorem 1.4. Let us deal with Step 2 first. Kee** the notation as above, we have the following:
Lemma 2.1.
Suppose is not a point. For any nonzero basepoint-free divisor on , we have that is a nonzero effective divisor on . In particular, the subspace intersects the cone nontrivially.
Proof.
By definition where is a resolution as before and is the induced morphism.
Now let be a basepoint-free divisor class on . Then is basepoint-free on . In particular, we can choose an effecitve divisor in this class which is distinct from the union of all exceptional divisors of . Then is an effective and nonzero divisor on .
β
We then get the conclusion of Step 2 above, under the weaker hypotheses of Theorem 1.4. That is, if is a birational map such that the fixed subspace intersects the effective cone trivially, then for a very general point closed point the points are defined for all and the two-way orbit is Zariski-dense in .
Next we turn to Step 1. To adapt the proof to work under our weaker hypotheses, we note that in the above setup, the -stable subspace contains an -stable full-dimensional cone . The relative interior of consists of divisor classes which are semi-ample on the birational model , and hence movable on itself. So if is not a point, the cone is a nonzero -stable face of defined over . Moreover if then is covered by curves on which all divisors in have degree , so no divisor whose class lies in can be big. Therefore in this case is also a proper -stable face of defined over . Therefore, under the hypotheses of Theorem 1.4, we conclude that there is no nontrivial -equivariant fibration with .
Finally, Oguisoβs argument in Step 3 does not use the assumption of irreducibililty of , and so this step of the argument goes through unchanged. This completes the proof of Theorem 1.4.
3. Example
In this section, we give an example of a smooth CalabiβYau variety of dimension 3 with a birational map to which Oguisoβs Theorem 1.3 does not apply but Theorem 1.4 does. This criterion shows that is a primitive birational map, and we will also see that it has first dynamical degree strictly greater than 1.
Let be a general complete intersection of 3 hypersurfaces of degree in . Bertiniβs theorem shows that is smooth, and the Lefschetz hyperplane theorem shows that is simply connected, in particular , and also. By adjunction we have . So is a smooth CalabiβYau variety. Let denote projection onto the -th factor, and let where is the class of a line in . Note that .
The following proposition gives the basic geometric properties that we need for the fibres of the morphisms . The proofs are straightforward but tedious, so we defer them to the end of this section.
Proposition 3.1.
The fibres of are 1-dimensional. For each , there is an open set such that consists of finitely many points, and for , the fibre is reduced and irreducible.
By adjunction, the smooth fibres of each of the maps are elliptic curves. For each , let denote the generic fibre of the morphism . We have
|
|
|
where denote the subgroup of spanned by effective divisors such that . By Proposition 3.1 any such is a multiple of , so .
Let denote the restriction of the line bundle to . For we have
|
|
|
|
so is a line bundle of degree 3 on .
Now let be any ordering of the indices . Then the line bundle has degree on . In general for a curve and , translation by acts on by the formula
|
|
|
|
In particular taking and we have
|
|
|
|
|
|
The translation action of on extends to a birational action on . We denote by the birational map corresponding to translation by . Since is smooth and is trivial, by [KM98, Theorem 3.52] the map in fact extends to a pseudo-automorphism of over , that is, a birational automorphism which is an isomorphism in codimension 1 and preserves the fibration .
Fix , , . By the previous displayed equations the linear map on is represented by a matrix of the form
|
|
|
|
for some integers .
If now represents the linear map we observe that on one hand, , while on the other hand, where is the permutation matrix corresponding to the transposition . This implies that .
To determine the missing integer , we can proceed as follows. Let denote a general line in , and let . Then is a smooth surface. The map preserves and hence restricts to an automorphism of , which we denote by . Denote the restriction of the line bundle to by . For we have . So in particular we have . Since is an automorphism of a smooth surface, it preserves intersection numbers, so we get
|
|
|
|
hence . Since this implies , so we have
|
|
|
|
Identical arguments give that and are represented respectively by the matrices
|
|
|
|
After this paper was completed, we discovered that these matrices had been computed previously by HoffβStengerβYÑñez [HSY22, Example 4.2] by a different method.
Finally, the birational map of that we are interested in is
|
|
|
|
|
|
|
|
The pullback map is then represented by the matrix
|
|
|
|
|
|
|
|
We can now verify the claimed properties of our example:
Proposition 3.2.
The birational map is primitive with first dynamical degree .
Proof.
Using the matrix above we compute that the characteristic polynomial of is
|
|
|
|
|
|
|
|
and the eigenvalues are
|
|
|
In particular we get that the first dynamical degree of the birational map is
|
|
|
|
It remains to prove that is a primitive birational map; for this we use Theorem 1.4. Note that since has the rational eigenvalue , it does not act irreducibly on and so Theorem 1.3 does not apply.
To show that Theorem 1.4 applies in our example, we first verify the condition concerning the fixed subspace of . The fixed subspace is of is -dimensional, spanned by the divisor class
|
|
|
|
Lemma 3.3.
Let be a nonzero real number. Then .
Proof.
First consider a divisor class with . We claim that if any two of are strictly negative, then . To see this, suppose for simplicity that and . Let be any fibre of . Then and , while . So we have
|
|
|
|
|
|
|
On the other hand, since curves algebraically equivalent to cover , if is any effective divisor on we have . The same inequality therefore holds for any class , showing that such a class cannot belong to .
Now consider the class . If , then has two negative coefficients, so by the previous paragraph . If , then if and only if . Since the cone is preserved by birational automorphisms, this implies that for every . But using the matrix above we compute that , which by the previous paragraph cannot be in .
β
This proves that the birational map satisfies the first condition of Theorem 1.4. To prove the second criterion, we can argue as follows. A 1-dimensional -stable face of would span a 1-dimensional eigenspace, but we have already seen that the unique nontrivial -eigenspace is the fixed subspace, which does not span a face of say. So we can restrict our attention to stable faces of dimension 2. If is a 2-dimensional -stable face of , then its linear span is a 2-dimensional stable subspace . Consider the dual linear map on . The annhilator of would then be a 1-dimensional eigenspace of defined over ; moreover, the pseudoeffective cone is dual to the cone of nef curves, so this 1-dimensional eigenspace would contain the class of a nef curve.
Computation shows that the only such eigenspace is spanned by the vector , where is the dual basis to . Any nonzero multiple of is therefore negative on at least one of the effective divisors , so this eigenspace cannot contain the class of a nef curve. By the last paragraph, this shows that there is no 2-dimensional -stable face of defined over .
β
To finish, we give the proofs of the properties of the fibrations that were claimed in Proposition 3.1. Recall that is a general complete intersection of 3 hypersurfaces of degree in . To fix notation say that and
|
|
|
|
For , let denote projection onto the -th factor. To keep notation simple we write the required proofs for the case ; identical proofs work for and .
Proposition 3.4.
The fibres of are 1-dimensional.
Proof.
Choose and denote by the form obtained by substituting homogeneous coordinates of in place of in the forms . So the fibre equals the intersection .
First we claim that, for all , the vector space has dimension 3. To see this, write for linear forms in the variables . Then
|
|
|
|
Since the are general, the locus of points where this matrix drops rank is empty.
Next, since has dimension 3, say does not vanish identically on . So the only way that the fibre can have dimension 2 is if all of the vanish on a surface which is a component of a reducible complete intersection of the zero-loci of two sections of . A standard dimension count shows that the subset parametrising linear systems whose base locus contains such a component has codimension 7 in .
The linear system defines a morphism
|
|
|
|
|
|
|
|
where . The group acts transitively on , so by Kleimanβs theorem the general translate of is transverse to the codimension-7 subset defined above, hence disjoint from it. By computation we see that the action of on corresponds to changing the choice of forms . So the general translate equals for a suitable choice of forms . Hence, for a general choice of forms , the fibres of are all 1-dimensional.
β
Lemma 3.5.
Let denote the parameter space of complete intersection curves in which are defined by the vanishing of 3 sections of . The locus of curves which are reducible or generically non-reduced has codimension 2 in .
Sketch of proof.
The variety is an open subset of the Grassmannian . The dimension of equals 9, so has dimension .
A curve parameterised by a general point of has bidegree . Now suppose that is a reducible curve corresponding to a point of ; for simplicity assume it has 2 components. Then we have
|
|
|
|
where denotes a smooth rational curve of bidegree in and the intersection of the two components is a zero-dimensional scheme of length 2. We claim that for each possible type of reducible curve, the space of such curves has dimension at most 16.
We give full details in the case ; other cases are similar. Let denote the projections to the two factors. The space of smooth rational curves of bidegree has dimension 16. Let be such a curve: then is a cubic in , which must be rational and therefore has a singular point . Now let be the component of bidegree . It is contained in a fibre for some . But has length 2 and maps isomorphically onto its image away from , so we must have . If has a node at then must be the line joining the two points of ; if has a cusp at then must be the tangent line to at the point . In both cases is uniquely determined by , so the space of such curves has dimension .β
Now we can complete the proof of Proposition 3.1.
Proposition 3.6 (=Proposition 3.1).
The fibres of are irreducible and generically reduced in codimension 1.
Proof.
Again we consider the morphism
|
|
|
|
|
|
|
|
defined by our choice of 3 forms. Let denote the subset of parametrising curves which are reducible or generically non-reduced. Lemma 3.5 shows that has codimension 2 in . As before, the general -translate of is transverse to and therefore has codimension 2 in . Again, the general translate equals for a suitable choice of forms .
β
CONFLICT OF INTEREST: The authors have no conflict of interest.