- Research
- Open Access

# Some properties of dynamical degrees with a view towards cubic fourfolds

- Christian Böhning
^{1}Email author, - Hans-Christian Graf von Bothmer
^{2}and - Pawel Sosna
^{2}

**3**:23

https://doi.org/10.1186/s40687-016-0071-z

© The Author(s) 2016

**Received: **12 October 2015

**Accepted: **5 June 2016

**Published: **1 November 2016

## Abstract

Dynamical degrees and spectra can serve to distinguish birational automorphism groups of varieties in quantitative, as opposed to only qualitative, ways. We introduce and discuss some properties of those degrees and the Cremona degrees, which facilitate computing or deriving inequalities for them in concrete cases: (generalized) lower semi-continuity, submultiplicativity, and an analog of Picard–Manin/Zariski–Riemann spaces for higher codimension cycles. We also specialize to cubic fourfolds and show that under certain genericity assumptions the first and second dynamical degrees of a composition of reflections in points on the cubic coincide.

## 1 Introduction

*X*of dimension

*n*and a birational self-map \(f{:}\,X \dasharrow X\), one can define a tuple of real numbers

*f*. See Sect. 2 for two equivalent definitions of these numbers. The dynamical degrees turn out to be invariant under birational conjugacy, so that the dynamical spectrum

*X*. One thus might, for example, try to use it to distinguish very general (conjecturally irrational) cubic fourfolds

*X*from \({\mathbb {P}}^4\). Here are some ideas how the spectra might differ:

- (1)
As point sets, that is, there might be a tuple \(\lambda (f)\) in the spectrum of \({\mathbb {P}}^4\) which is not in the spectrum of

*X*. This could, for example, be proven if one could show that on*X*the dynamical degrees have to satisfy other additional inequalities, coming from the geometry of*X*, which can be violated on \({\mathbb {P}}^4\). For this, one has, in particular, to develop certain semi-continuity properties and computational tools for dynamical degrees, which we start doing in the subsequent sections. - (2)As metric (or only topological) spaces: for example, one can consider, for every
*k*, the smallest gap in the spectrum after 1, if there is any, that is,It is possible that these numbers differ for$$\begin{aligned} g_k:=\inf _{f \in \mathrm {Bir}(X), \; \lambda _k (f) \ne 1} (\lambda _k(f) -1). \end{aligned}$$*X*and \({\mathbb {P}}^4\), but the drawback is that it is not easy to see how to relate them to accessible geometric features of*X*. In other words, it seems very hard to compute or estimate them. On the topological side, it may happen that the Cantor–Bendixson ranks of the dynamical spectra or some linear slices in them differ, but again these are very hard to access. - (3)
Arithmetically: it could happen that for both

*X*and \({\mathbb {P}}^4\), the dynamical degrees are algebraic integers, but for*X*they may satisfy some additional arithmetic constraints. For example, the number fields generated by each tuple of dynamical degrees on*X*might differ from the ones for \({\mathbb {P}}^4\). But also this seems very hard to detect.

The paper is organized as follows. In Sect. 2, we recall some basic facts about cycles and dynamical degrees. In Sect. 3, we prove Theorem 3.1 which says that the dynamical degrees are lower semi-continuous functions for families over *smooth* bases, if one understands lower semi-continuity in a slightly generalized sense, namely that (downward) jumps may occur on countable unions of closed subsets. Moreover, in Proposition 3.4 we collect some results that point out the importance of the questions of existence of (finite-dimensional, connected, non-trivial) algebraic subgroups in \(\mathrm {Bir}(X)\) and of the classification of birational automorphisms with all dynamical degrees equal to 1 for the irrationality problem for cubic fourfolds *X*. In Sect. 4, we study the relationship between dynamical degrees and Cremona degrees under some assumptions and prove a submultiplicativity result, Theorem 4.3. Section 5 is devoted to reflections on cubic fourfolds, and in Theorem 5.5, we show, under some assumptions, the equality of the first and second dynamical degrees of a composition of reflections on a smooth cubic fourfolds. This is a sample of a type of result which says that special dynamical degrees can only arise in the presence of special dynamics. Such implications are very important for making progress on the irrationality problem for cubics, too. Finally, in “Appendix” we describe generalized Picard–Manin spaces which might prove useful in the study of dynamical degrees on fourfolds in the future.

*Conventions* We work over the field of complex numbers \({\mathbb {C}}\) throughout the paper. A variety is a reduced and irreducible scheme of finite type over \({\mathbb {C}}\). A prime *k*-cycle on a variety is an (irreducible) subvariety of dimension *k*. A *k*-cycle is a formal linear combination of prime *k*-cycles. If \(f{:}\,X\dasharrow Y\) is a rational map between varieties, we denote by \(\mathrm {dom}(f)\) the largest open subset of *X* on which *f* is a morphism. The graph \(\varGamma _f \subset X \times Y\) of *f* is the closure of the locus of points (*x*, *f*(*x*)) with \(x \in \mathrm {dom}(f)\).

## 2 Preliminaries

### 2.1 Cycles

Let *X* be a smooth projective variety of dimension *n*. Following [6], we will denote by \(A_k(X),\,B_k(X)\) and \(H_k(X)\) the groups of algebraic cycles of dimension *k* modulo rational, algebraic and homological equivalence, respectively. Roughly speaking, a cycle is rationally equivalent to zero if it can be written as the difference of two fibers of a family over \({\mathbb {P}}^1\); algebraically equivalent to zero if it can be written as the difference of two fibers of a family over a smooth curve; and homologically equivalent to zero if it maps to zero under the cycle map
.

Any zero cycle \(\alpha \in A_0(X)\) has a well-defined degree, see [6, Def. 1.4].

*k*. There are surjectionsfor all possible

*k*.

Given a proper map
of some relative dimension *l*, one can define pushforward maps
and, if *f* is also flat, pullback maps
, see [6, Sect. 1]. For instance, for the pullback under a flat map one simply takes the class of the preimage of a prime cycle and extends this definition linearly. One can also define pullback maps for morphisms between smooth varieties which are not necessarily flat, but this is slightly more complicated and involves some intersection theory, see [6, Ch. 8].

Also recall that the collection of all groups \(A_*(X)=\oplus _{k=0}^n A_k(X)\) is a commutative ring with respect to the intersection pairing (here we need *X* smooth). More precisely, there are pairings
for all possible *k*, *l*. In other words, \(A^*(X)\) is a graded ring.

An important result about cycles which we will use below is the “Principle of Conservation of Number”, see [6, Subsect. 10.2].

### Theorem 2.1

Let
be a proper morphism of varieties, \(\dim T=m\), and \(\alpha \) be an *m*-cycle on \(\mathcal {Y}\). Then the cycle classes \(\alpha _t \in A_0 (\mathcal {Y}_t)\) for \(t \in T\) a *regular* closed point, all have the same degree.

### Remark 2.2

Here, if \(\beta \) is an \((m+k)\)-cycle \(\beta \) on \(\mathcal {Y}\) (where *k* is not necessarily zero), then fiber cycle classes \(\beta _t\) are in general defined via \(\beta _t = t^{!} (\beta )\), where \(t^{!}\) is a refined Gysin homomorphism associated with the regular embedding
, see [6, Subsect. 10.1]; however, in all our applications below, there is a much simpler way to think of \(\beta _t\): indeed, we will always have that the embedding \(i_t\) of the fiber \(Y_t=p^{-1}(t)\) into \(\mathcal {Y}\) will be regular of codimension *m*, and \(Y_t\) and \(\mathcal {Y}\) will be smooth. Then \(\beta _t = i^{*}_t (\beta )\) (the cycle pullback) by [6, Ex. 10.1.2]. Even more concretely, suppose that \(\beta \) is represented by some subvariety of \(\mathcal {Y}\) that is *generically transverse* to \(i_t\) in the sense of [5, Def. 1.22], i.e., \(i_t^{-1}(\beta )\) (scheme-theoretic preimage) is generically reduced and \(\mathrm {codim}_{Y_t}(i_t^{-1}(\beta )) = \mathrm {codim}_{\mathcal {Y}} (\beta )\), i.e., the intersections take place in the expected codimensions. Then the cycle pullback \(i_t^{*}(\beta )\) is represented by the class of \(i_t^{-1}(\beta )\) by [5, Thm. 1.23(a)]. We use this fact in the sequel to understand the geometric meaning of fiber cycle classes \(\beta _t\) (e.g., if this is a zero cycle, we will identify its degree with Cremona degrees in certain setups).

### 2.2 Dynamical degrees

*X*be a smooth projective variety of dimension

*n*, fix an ample divisor

*H*on

*X*and let \(f{:}\,X \dasharrow X\) be a birational map. Setting \(H^k_{\mathbb {R}}(X):=H^k(X)\otimes {\mathbb {R}}\), we define a linear mapwhere are the projections and \(\varGamma _f\subset X\times X\) is the graph of

*f*.

### Definition 2.3

*Z*of singularities of \(\varGamma _f\), consider the induced diagramand define \(f^* = \pi _{1*}\circ \pi _2^*\). For the equivalence of these two approaches, see [10, Subsect. 3.1].

*Cremona degree*\(\deg _k (f)\) of

*f*with respect to

*H*as the degree (i.e., the intersection number with \(H^{n-k}\)) of the birational transform under \(f^{-1}\) of a general element in the system of cycles homologically equivalent to \(H^k\). In symbols,

*f*. This definition does not depend on the choice of

*H*and is equivalent to the previous one, see [10, Thm. 1.1] for a statement valid over any algebraically closed field of characteristic zero or [7, Thm. 2.4] for a more analytic statement.

### Remark 2.4

Before the existence of the limit was proven, a definition involving a limes inferior of Cremona degrees or spectral radii was sometimes used in the literature.

The dynamical degrees satisfy several numerical properties, such as log-concavity, and are related to the topological entropy of *f*, see [7].

Finally, for the convenience of the reader we recall the statement of [3, Lem. 2.3] since it is used below.

### Lemma 2.5

Let
be a morphism of varieties over an algebraically closed field *k* and let \(W \subset Z\) be a constructible subset. Then there is a finite collection of locally closed subsets \(\varOmega _i \subset \varOmega ,\,1\le i\le N\), and closed subsets \(Y_i \subset p^{-1}(\varOmega _i)\) such that \(\varOmega = \bigcup _{i=1}^N \varOmega _i\) and for any \(i,\,1\le i\le N\), and any point \(\omega \in \varOmega _i\), the fiber \((Y_i)_{\omega }\) is equal to the closure of \(W_{\omega }\) in \(Z_{\omega }\).

## 3 Semi-continuity of dynamical degrees

In this section, we will prove Theorem 3.1, providing estimates on dynamical degrees in families.

### Theorem 3.1

*S*. Letbe a birational map such that no entire fiber of \(\pi \) is in the indeterminacy or exceptional locus of

*f*, i.e., fiberwise, \(f_s {:}\,X_s \dasharrow X_s\) is a well-defined birational map (if this is not satisfied at the beginning, we can always achieve it by replacing

*S*by a non-empty open subset). Consider the functionassociating with \(s\in S\) the

*j*th dynamical degree \(\lambda _j (f_s)\) of \(f_s\). Then \(\lambda _j\) is lower semi-continuous in the following generalized sense : the sets

*S*.

### Remark 3.2

We would like to draw attention to a subtlety in the structure of the proof of Theorem 3.1 at this point already. First of all, notice that to prove Theorem 3.1 for given
and *f*, it is sufficient to prove it for the base change family
and \(f_{\tilde{S}}{:}\,X_{\tilde{S}} \dashrightarrow X_{\tilde{S}}\) for a desingularization
. This is so because all the hypotheses hold for the family after the base change, and the sets \(V_a=V_a(S)\) on *S* are the images under the proper morphism *b* of the corresponding sets \(V_a(\tilde{S})\) on \(\tilde{S}\).

This being so, we will prove Theorem 3.1 by a descending induction on \(\dim S\), and for this we will need the statement of the Theorem for arbitrary bases *S* (non-singular or not) as hypothesis in the induction step. In the course of the proof, we will have to apply the principle of conservation of number Theorem 2.1, however, which will require the bases of the families under consideration to be smooth. The remark above shows that this is no serious restriction in our setup: we can always pass to an appropriate non-singular base \(\tilde{S}\) if necessary.

We begin with the following result, which generalizes [12, Lem. 4.1].

### Lemma 3.3

*j*th Cremona degree of \(f_s\). Thenis a lower semi-continuous function on

*S*.

### Proof

*S*and the pullback family as in Remark 3.2 if necessary, we may as well assume that

*S*is smooth. Consider the graph \(\varGamma _f \subset X \times _S X \subset {\mathbb {P}}^N \times {\mathbb {P}}^N \times S\) and the two (flat) projections \(p_1, p_2\) Let \(H^j_S \subset {\mathbb {P}}^n\times S\) be the pullback to \({\mathbb {P}}^N \times S\) of the algebraic equivalence class \(H^j\), that is, an intersection of

*j*relative hyperplanes in \({\mathbb {P}}^N\times S\). Then, by Theorem 2.1 applied to \(\mathcal {Y}={\mathbb {P}}^N \times {\mathbb {P}}^N \times S,\,T = S\) and \(\alpha = \varGamma _f \cdot p_1^* (H_S^{\dim X_s -j}) \cdot p_2^* (H_S^{j})\) (an easy computation shows that this is indeed a \(\dim (S)\)-cycle), the degree of \(\alpha _t \in A_0 (\mathcal {Y}_t)\) is constant. Note that the cycle pullbacks via the flat morphisms (or, in any case, via morphisms between smooth varieties) and the intersection product in the ambient smooth variety \({\mathbb {P}}^N \times {\mathbb {P}}^N \times S\) are well-defined. Note also that \(\deg \alpha _s\) is equal to the Cremona degree \(\deg _j (s)\) for

*s*in a non-empty Zariski open subset \(\varOmega \subset S\), because,

*firstly*, for

*s*in a dense Zariski open subset of

*S*we have

*W*consisting of the points (

*x*,

*f*(

*x*)) for \(x \in \mathrm {dom}(f)\) to conclude that there is an open dense subset of points in

*S*with the desired property. Note that for special \(s \in Z:=S{{\backslash }} \varOmega ,\,\varGamma _{f_s}\) may be a proper component of \((\varGamma _f)_s\). Now,

*secondly*, provided that \((\varGamma _f)_s = \varGamma _{f_s}\), we can calculate the restriction \(\alpha _s\) of \(\alpha \) to \(\mathcal {Y}_s=Y_s={\mathbb {P}}^N \times {\mathbb {P}}^N \times \{s\}\) via the geometric method explained at the end of Remark 2.2 to find that then

Thus we see that on \(\varOmega \), the function \(\deg _j\) is constant by Theorem 2.1. Let us check that \(\deg _j\) can only get smaller at a point \(z_0 \in Z\). This will imply the assertion by descending induction on \(\dim S\). Indeed, if \(\deg _j = a\) generically on *S*, there is a proper closed subset \(S' \subset S\) such that \(\{ s \in S \mid \deg _j (s) \le a-1 \} \subset S'\). Now considering the irreducible components of \(S'\), and the restriction of the family *X* to each of these implies the assertion.

To see that \(\deg _j\) can only drop at \(z_0 \in Z\), we can assume that \(\dim S >0\) and then take a smooth curve \(C \subset S\) with \(z_0 \in C\) and \(C \cap \varOmega \ne \emptyset \), and restrict the family
to *C*, i.e., consider
and the restriction \(f_C{:}\,X_C \dasharrow X_C\) of *f* to \(X_C\). Then we can do the above construction with *S* replaced by *C*, that is, we can consider \(\varGamma _{f_C}\) and a relative cycle \(\alpha _C\). Note that since \(\varOmega \cap C \ne \emptyset \), for a general point \(c\in C\) the degree of \((\alpha _C)_c\) will be equal to \(\deg _j (f_c)\) again by Lemma 2.5 and Remark 2.2.

Now there is a finite set of points \(\mathcal {P} \subset C\), where we can assume that \(z_0 \in \mathcal {P}\), such that for \(c\in C {{\backslash }} \mathcal {P}\), the fiber \((\varGamma _{f_C})_c\) of \(\varGamma _{f_C}\) over *c* is nothing but the graph of \((f_C)_c\).

The graph \(\varGamma _{f_C}\) is, by definition, the closure of
in \({\mathbb {P}}^N \times {\mathbb {P}}^N \times C\). Now the advantage of working over a curve *C* is that, by the valuative criterion of properness and the properness of Chow schemes of cycles in \({\mathbb {P}}^N \times {\mathbb {P}}^N\), the limits \((\varGamma _{f_C})_z\), for \(z \in \mathcal {P}\), of the family
will be cycles of dimension \(\dim X_s\), that is, all components of \((\varGamma _{f_C})_{z_0}\) have dimension \(\dim X_s\). This allows us to interpret the degree of the zero cycle \((\alpha _C)_{z_0}\) geometrically. First of all, \(\deg (\alpha _C)_{z_0}= \deg (\alpha _C)_c = \deg _j (f_c)\) for \(c\in C\) general, by Theorem 2.1. Note that it is here that we need the assumption *C* smooth (hence also had to be able to assume *S* smooth before to ensure the existence of such a *C*) because otherwise conservation of number does not hold: think of the normalization of a curve with a double point as a relative zero cycle over the singular curve downstairs.

On the other hand, \(\deg (\alpha _C)_{z_0}\) is nothing but the sum of the numbers \(\mathcal {G} \cdot \mathrm {pr}_1^* (H^{\dim X_s -j}). \mathrm {pr}_2^* (H^{j})\) running over the irreducible components \(\mathcal {G}\) of \((\varGamma _{f_C})_{z_0}\), possibly counted with suitable multiplicities, cf. [6, 10.1, p. 176 bottom]. Here \(\mathrm {pr}_i\) are the projections of \({\mathbb {P}}^N\times {\mathbb {P}}^N\) onto its factors. Since \(\varGamma _{f_{z_0}}\) is one of the components, we see that the Cremona degree can only drop at a special point \(z_0\). \(\square \)

### Proof of Theorem 3.1

*f*, we see that for each \(n \in {\mathbb {N}}\), there is a proper closed subset \(Z_n \subset S\) such that on \(S{\backslash } Z_n,\,\deg _j (f_s^n)\) is constant. Thus outside the countable union of proper closed subsets

One instance where one can use the above considerations is the following result, which might be useful when trying to prove irrationality of very general cubic fourfolds. It is based on a suggestion by Miles Reid.

Let *G* be an algebraic group. Recall that given an injective map of (abstract) groups
, we get an action of *G* on *X* by birational isomorphisms, and we say that *G* is an *algebraic subgroup* of \(\mathrm {Bir}(X)\) if the domain of definition of the partially defined map \(G\times X \dasharrow X,\,\), contains a dense open set of \(G \times X\) and coincides on it with a rational map (in the sense of algebraic geometry). By a theorem of Rosenlicht [8, Thm. 2], one can characterize algebraic subgroups *G* equivalently by saying that they are those subgroups for which there is a birational model \(Y \dasharrow X\) such that *G* acts on *Y* via biregular maps/automorphisms.

### Proposition 3.4

*X*be a smooth cubic fourfolds. For a line \(l \subset X\) denote by the associated conic fibration, and by

- (1)
*X*is rational if and only if there is an algebraic subgroup \(({\mathbb {C}}^*)^2\) in \(\mathrm {Bir}(X)\). - (2)If
*X*is rational, then there is a family of birational maps such that for any \(s \in S:= ({\mathbb {C}}^*)^2\) all dynamical degrees of \(f_s:=f\mid _{X_s}\) are equal to 1 and such that the set \(\{ f_s \}_{s\in ({\mathbb {C}}^*)^2}\) is contained in no subgroup \(\mathrm {Bir}_{\varphi _l}(X)\) as above. - (3)
If

*X*is rational, then there is some birational self-map \(f \in \mathrm {Bir}(X)\) with all dynamical degrees equal to 1 and such that*f*is contained in no subgroup \(\mathrm {Bir}_{\varphi _l}(X)\). There is even such a map*f*with the property that the growth of the Cremona degrees of the iterates of*f*is*bounded*.

### Proof

For (1) note that if *X* is rational, \(\mathrm {Bir}(X)\) certainly contains a subgroup \(({\mathbb {C}}^*)^2\), e.g., coordinate rescalings. Conversely, if there is an algebraic subgroup \(({\mathbb {C}}^*)^2\) in \(\mathrm {Bir}(X)\), then *X* is birationally a \(({\mathbb {C}}^*)^2\)-principal bundle over a unirational, hence rational, surface (note that \(({\mathbb {C}}^*)^2\), being abelian, will act generically freely once it acts faithfully). Since any such \(({\mathbb {C}}^*)^2\)-principal bundle is Zariski locally trivial (\(({\mathbb {C}}^*)^2\) is a special group in the sense of Serre), *X* is rational in this case.

*X*), so we only have to see that for any \(s \in S:= ({\mathbb {C}}^*)^2\) all dynamical degrees of \(f_s=f\mid _{X_s}\) are equal to 1. Now by Lemma 3.3, clearly all Cremona degrees are bounded in the family. On the other hand, since it arises from a sub

*group*\(({\mathbb {C}}^*)^2\) of \(\mathrm {Bir}(X)\), for any \(f_s,\,f_s^n\) is again in the family, i.e., equal to some \(f_t\). Hence all dynamical degrees are equal to 1. Moreover, the set \(\{ f_s \}_{s\in ({\mathbb {C}}^*)^2}\) is contained in no subgroup \(\mathrm {Bir}_{\varphi _l}(X)\), since the images of(i.e., the \(({\mathbb {C}}^*)^2\)-orbits) are rational

*surfaces*for a general point \(p\in X\) if we construct the family \(\{ f_s \}\) from a subgroup \(({\mathbb {C}}^*)^2\) in \(\mathrm {Bir}(X)\) as in (1). But if \(\{ f_s \}_{s\in ({\mathbb {C}}^*)^2}\) were contained in a subgroup \(\mathrm {Bir}_{\varphi _l}(X)\), these images would be conics.

*X*such that \(\varGamma \), the (closure of the) image ofis a curve on

*X*through

*p*which is

*not*a conic. Here we want all \(f_t\) to be birational self-maps with all dynamical degrees equal to 1. So \(\varGamma \) is an orbit under the action of \({\mathbb {C}}^*\) on

*X*. If we can find such a one-parameter group, we are done: namely, if we choose

*t*to be of infinite order, then \(f:=f_t\) has the required properties; indeed, if

*f*preserved a conic fibration, then the iterates \(f^n (p),\,n\in {\mathbb {N}}\), would all have to lie in a conic

*Q*. These iterates also lie on the curve \(\varGamma \) and are distinct by our choice of

*t*; thus, \(\varGamma \) and

*Q*would coincide (they have infinitely many points in common), a contradiction.

*x*. Now the degrees of the curves \(\varPhi ^{-1}_{\mathrm {bir}}(C)\) for

*C*ranging over \(\mathcal {C}_p\) are bounded above since degrees are lower semi-continuous in families (compare also Lemma 4.4 below, and its proof). Assume without loss of generality that

*x*is the point \((1,1,1,1) \in {\mathbb {C}}^4 \subset {\mathbb {P}}^4\). Now consider the one-parameter subgroups

*f*are equal to 1 since it is contained in an algebraic subgroup \({\mathbb {C}}^*\) by construction. \(\square \)

### Remark 3.5

Note the similarity of the argument used in the proof of (1) of Proposition 3.4 with [2, Prop. 3.1]. Also note that Proposition 3.4 continues to hold for any fourfolds with birationally a conic bundle structure over \({\mathbb {P}}^3\).

One might hope that birational self-maps *f* with all dynamical degrees equal to 1 are in some sense “classifiable” on a very general cubic fourfolds. Restricting this class even further, the maps whose iterates have bounded growth of the Cremona degrees can be studied. For surfaces, such maps *f* are often called *elliptic* and it is known, see [1], that they are precisely those that are *virtually isotopic to the identity*, that is, on some model, an iterate \(f^{n_0}\) belongs to the connected component of the identity of the (biregular) automorphism group. On varieties of higher dimension, the term elliptic does not seem so appropriate, so we call them *bounded* maps here for now. Note that not only the dynamical degrees, but also the *growth rate* of the sequence of Cremona degrees is invariant under birational conjugacy. So bounded maps are a birationally invariant class. These maps have topological entropy equal to zero and hence are what is sometimes called topologically deterministic. If on a very general cubic fourfolds it were true that any such map is a birational automorphism of finite order (we believe this could be true, at least none of the examples we know contradicts it), then Proposition 3.4. (3) would imply that a very general cubic fourfolds is irrational.

### Remark 3.6

In part (3) of Proposition 3.4, one can even assume that the sequence of Cremona degrees is constant. This follows from Lemma 3.3: if \(f_t\) is a family of birational self-maps of *X* parametrized by an algebraic subgroup \({\mathbb {C}}^* \subset \mathrm {Bir}(X)\), then the Cremona degrees are constant outside of a finite set of points in \({\mathbb {C}}^*\). Now \(f_s^n = f_{s^n}\), and for general *s*, the set of its powers \(s^n\) avoids the previous finite set of points.

## 4 Upper bounds for dynamical degrees in terms of degrees

*k*th Cremona degree \(\deg _k\) is submultiplicative in the sense that

We will use the following result.

### Lemma 4.1

- (1)Let be a surjective morphism of smooth projective varieties. For any \(l \in {\mathbb {N}}\), letand suppose that$$\begin{aligned} Y_l := \left\{ y \in Y \mid \dim f^{-1}(y) \ge l \right\} , \end{aligned}$$
*V*is a subvariety of*Y*which intersects all irreducible components of the subvarieties \(Y_l\), as*l*ranges over \({\mathbb {N}}\), as well as their mutual intersections properly. Then the pullback class \(f^*[V]\) in \(A^* (X)\) is represented by \(f^{-1}(V)\) which is equal to the birational transform of*V*under \(f^{-1}\). - (2)Now let \(g{:}\,X_1 \dasharrow X_2\) be a birational map. Pick a resolution of \(g^{-1}\) where
*q*is a succession of blowups in subvarieties lying over components of the base locus \(\mathrm {Bs}(g^{-1})\subset X_2\). Suppose that*Z*is a subvariety of \(X_2\) which satisfies the conditions for*V*in part (1) with respect to the morphism*q*and which is also not contained in \(\mathrm {Exc}(g^{-1})\), the union of the subvarieties in \(X_2\) contracted by \(g^{-1}\). Then \(g^*[Z]\) is represented by the birational transform of*Z*under \(g^{-1}\).

### Proof

Part (1) is [5, Thm. A.6 and Thm. 1.23] or [10, Lem. 3.1] and proof of Lem. 3.2(a) ibid. For part (2), we can apply part (1) to conclude that \(q^*[Z]\) is represented by the birational transform of *Z* under \(q^{-1}\) on \({\widetilde{X}}_2\). But \(g^*[Z]\) is equal to \(p_*q^*[Z]\), and \(p_*\) is an isomorphism onto its image on \(q^*[Z]\) outside of the strict transforms on \({\widetilde{X}}_2\) of the subvarieties contracted by *g*, hence the claim. \(\square \)

### Definition 4.2

We will call a *Z* as in part (2) of Lemma 4.1
*g*-*adapted*.

### Theorem 4.3

*X*be a smooth projective variety such that \(H^k_{{\mathbb {R}}}(X)\) is one-dimensional generated by \(H^k\) where \(H\subset X\) is a very ample divisor. For any birational map \(f{:}\,X \dasharrow X\), consider the map defined in Sect. 2. Suppose this map is multiplication by \(\delta _k (f) \in {\mathbb {N}}\). Also suppose that for any birational map \(g {:}\,X \dasharrow X\), there is an \(m\in {\mathbb {N}}\) and a flat family of effective irreducible codimension

*k*cycles homologically equivalent to \(\delta _k(f)mH^k\) over a smooth irreducible base

*S*such that \(\mathcal {C}_{s_0}\) is the birational transform under \(f^{-1}\) of a general element in \(mH^k\), and for general \(s\in S,\,\mathcal {C}_s\) is

*g*-adapted in the sense of Definition 4.2. Then

To prove Theorem 4.3, we use the following Lemma.

### Lemma 4.4

*X*be a smooth and projective variety of dimension

*n*with a very ample class \(H,\,S\) be a smooth variety and let be a flat family of irreducible

*k*-cycles of some fixed degree on \(X \times S,\,\) be the inclusion, and \(g{:}\,X \dasharrow X\) a birational map such that \(g^{-1} \circ \iota _s\) is a well-defined birational map on every fiber \(\mathcal {C}_s\). Then the functionwhich associates with a point \(s\in S\) the degree of the birational transform of the cycle \(\mathcal {C}_s\) under \(g^{-1} \circ \iota _s\) (with respect to

*H*) is a lower semi-continuous function on

*S*.

### Proof

Consider the cycle \(\alpha =\varGamma _{(g^{-1}\times \mathrm {id}_S)\circ \iota } \cdot p_2^* (H^{i}_S)\) on \(\mathcal {Y}\), where *i* is chosen appropriately such that \(\alpha _s\) is a zero cycle for all *s*. Then arguing as in the proof of Lemma 3.3, we find that for general *s* in *S*, the degree of \(\alpha _s\) is equal to \( \deg ((g^{-1}\circ i_s)_*(\mathcal {C}_s))\), whereas at special points it only gives an upper bound. Since the degree of \(\alpha _s\) is constant by Theorem 2.1, we get the assertion. \(\square \)

### Proof of Theorem 4.3

Replacing \(H^k\) by \(mH^k\), we can assume \(m=1\). Then \(\delta _k (f)\) is the degree of the birational transform under \(f^{-1}\) of a general element \(H^k\), divided by \(H^n\), and the same holds for *g*. In symbols: \(\frac{f^{*}H^k\cdot H^{n-k}}{H^n}=\delta _k(f)\).

On the other hand, for \(\delta _k (f \circ g)\) we first consider the birational transform \(\mathcal {C}_{s_0}\) under \(f^{-1}\) of a general element \(H^k\), and \(\mathcal {C}_{s_0}\) is now a special element in \(B^k (X)\). We then have to compute the degree of the birational transform under \(g^{-1}\) of \(\mathcal {C}_{s_0}\) and divide it by \(H^n\), and this is \(\delta _k (f \circ g)\).

By hypothesis, we can deform \(\mathcal {C}_{s_0}\) in the homological equivalence class of \(\delta _k (f) H^k\) to a general element \(\mathcal {C}_{s}\) in that class via the family
whose existence is assumed in Theorem 4.3. Then the birational transform, for general \(s\in S\), under \(g^{-1}\) of \(\mathcal {C}_s\) is in \(\delta _k(g) \delta _k(f)H^k\) since \(\mathcal {C}_s\) is *g*-adapted and Lemma 4.1 (2) holds. But the birational transform under \(g^{-1}\) of \(\mathcal {C}_{s_0}\) may lie in \(d H^k\) with \(d \le \delta _k (g) \delta _k (f)\) by Lemma 4.4. Thus Theorem 4.3 follows. \(\square \)

### Remark 4.5

For example, Theorem 4.3 is applicable for a birational map \(g{:}\,X \dasharrow X\) of a very general cubic fourfolds, and a reflection \(f = \sigma _p{:}\,X \dasharrow X\) in a point \(p\in X\); in this case, \(\mathcal {C}_{s_0}\) is the birational transform under *f* of an element which is general in \(H^2\), for some very ample divisor *H*. Then we can find an irreducible family \(\mathcal {C}\) with the required properties, taking as elements of \(\mathcal {C}\) the birational transforms of 2-cycles *A* under \(\sigma _q\), for *q* varying in *X* and *A* varying in the system of complete intersections of two hyperplanes \(H^2\).

## 5 Degrees of iterated birational transforms of surfaces in fourfolds

### 5.1 An iterative set-up

When computing dynamical degrees, especially \(\lambda _2\) on fourfolds, one frequently has to understand how the degrees of successive birational transforms of some general surface in the initial variety change.

We therefore study the following set-up: let *X* be a smooth projective fourfolds with a very ample divisor *H*. Let \(f{:}\,X \dasharrow X\) be a birational map. We want to compute the first and second Cremona degrees of the iterates of *f* successively. Let \(i\in {\mathbb {Z}}\) be the iteration index.

*H*. In particular, we assume \(S_0\) is smooth. Letbe the inclusion. Moreover, we write \(h_0\subset S_0\) for the intersection with \(S_0\) of a very general element of

*H*. Then \(h_0\) defines a very ample class on \(S_0\). Moreover, we also put \(D_0:= h_0\).

*S*in reduced points such that the rational map \(f\circ s_i\) becomes a morphism \(s_{i+1}\) on the blown-up surface \(S_{i+1}\). We will describe more precisely how to construct \(\sigma _i\) in a moment. Once this is done, we define

*H*) of \(f^{i+1}\), and \(d_1^{(i+1)}\) is its first Cremona degree.

*f*can be given by a certain linear system; i.e., there is a line bundle \(\mathcal {L}\) on

*X*, a subspace of sections \(V \subset H^0 (X, \mathcal {L})\) and the associated linear system \(|V| = {\mathbb {P}}(V) \subset {\mathbb {P}}(H^0 (X, \mathcal {L}))\) of divisors defining

*f*. Recall that there is an evaluation morphism for sections which determines a morphism whose image is called the base ideal

*V*|. The closed subscheme \(\mathrm {Bs}(|V|)\subset X\) it defines is called the base scheme of the linear system |

*V*|.

Since \(S_0\) is chosen very general, the image of
is not contained in \(\mathrm {Bs}(|V|)\) for any *i*, and the composite rational map \(f\circ s_i\) is defined by the linear system attached to the pullback space of sections \(s_i^*(V) \subset H^0 (S_i, s_i^*\mathcal {L})\). Its base scheme is defined by the inverse image ideal sheaf \(s_i^{-1}(\mathfrak {b}(|V|))\) which we call \(\mathcal {I}_i\) for the sake of explaining how to construct \(\sigma _i\) with simpler notation. Let \(Z_i\subset S_i\) be the closed subscheme which \(\mathcal {I}_i\) defines.

**Step 1**Suppose we have already constructed \(S_i^{(j)}\) together with \(\mathcal {I}^{(j)}_i,\,Z_i^{(j)}\). Then if \(Z^{(j)}_i\) is zero-dimensional, we put \(Z^{(j)}_i (\mathrm {point}) := Z^{(j)}_i\). If \(Z^{(j)}_i\) is one-dimensional, then we can write

*x*,

*y*).

**Step 2**Define as the blowup of \(S_i^{(j)}\) in the reduced subscheme (a finite set of points) whose support agrees with \(Z^{(j)}_i (\mathrm {point})\). Let

At any rate, it is easy to compute \(Z^{(j+1)}_i\) in local coordinates on the blown-up surface simply by substituting these in the original ideal downstairs. With \(Z^{(j+1)}_i\) now go back to Step 1. The process terminates since the length of the scheme \(Z^{(j)}_i (\mathrm {point})\) drops strictly in each step until it becomes the empty set.

*D*is a divisor which lives on some surface in the towerthen we denote the pullback of

*D*to the top floor \(S_{i+1}\) of the tower simply by putting a hat on it: \(\hat{D}\). Then

### 5.2 Geometry of a reflection on a cubic fourfolds

As an illustration, let us prove a result about equality of dynamical degrees when *X* is a very general cubic fourfolds and *f* is a certain suitably general composition of reflections in points on *X*. We will say what suitably general means below.

*p*. Compare [4, Sect. 3] for these. A general line in \({\mathbb {P}}^5\) through

*p*intersects

*X*in two points away from

*p*, and \(\sigma _p\) is the birational involution interchanging these points. One main fact we will use is that the birational self-map \(\sigma _p\) lifts to an automorphism \({\widetilde{\sigma }}_p\) on a suitable model \({\widetilde{X}}\):and we can construct \({\widetilde{X}}\) in two steps , where each map is a blowup in a certain smooth center. See Fig. 1 for a schematic picture, which we will explain now in some more detail.

The embedded tangent hyperplane \({\mathbb {T}}_pX\) intersects *X* in a cubic threefold *Y*(*p*) with a node at *p*; the lines on *X* through *p* sweep out a surface *S*(*p*) which coincides with the surface of lines on *Y*(*p*). The tangent cone to *Y*(*p*) in *p* is a cone over a smooth quadric \(Q \simeq {\mathbb {P}}^1\times {\mathbb {P}}^1\) in the hyperplane \({\mathbb {P}}^3_{\infty } \subset {\mathbb {T}}_pX\), and *S*(*p*) is a cone over a curve *C* of bidegree (3, 3) in *Q*. The indeterminacy locus of \(\sigma _p\) is *S*(*p*), and \(\sigma _p\) contracts *Y*(*p*) to the point *p*.

### Definition 5.1

We call a point \(p\in X\)
*good* if *C* is a smooth curve.

A general point *p* will be good. To simplify, we will only consider reflections in good points in the sequel. Now
is the blowup of *X* in *p* with exceptional divisor \(E'(p) \simeq {\mathbb {P}}(T_pX) \simeq {\mathbb {P}}^3\). Inside \(E'(p)\) we retrieve \(Q \simeq {\mathbb {P}}^1\times {\mathbb {P}}^1\) as the set of all tangent directions of smooth curve germs in *Y*(*p*) through *p*, and inside this, there is a copy of *C*, the set of directions of lines on *X* through *p*. The strict transform \(Y'(p)\) of *Y*(*p*) on \(X'\) is the blowup of *Y*(*p*) in the node, which gets replaced by \({\mathbb {P}}^1\times {\mathbb {P}}^1\simeq Q\). The strict transform \(S'(p)\) of *S*(*p*) on \(X'\) is smooth because *p* is a good point.

Now
is the blowup of \(X'\) in \(S'(p)\). We call the resulting exceptional divisor \({\widetilde{F}}(p)\). It is a \({\mathbb {P}}^1\)-bundle over \(S'(p)\). The strict transform of \(Y'(p)\) on \({\widetilde{X}}\) is called \(\widetilde{Y}(p)\). The strict transform of \(E'(p)\) on \({\widetilde{X}}\), denoted by \({\widetilde{E}}(p)\), is the blowup of \(E'(p)\) in *C*. We also denote by \({\widetilde{H}}\) the pullback of a hyperplane section *H* to \({\widetilde{X}}\) via the modification
.

### Proposition 5.2

- (1)The classes \({\widetilde{H}}, {\widetilde{E}}(p), {\widetilde{F}}(p)\) are a basis of \(\mathrm {Pic}({\widetilde{X}})\). Moreover,and$$\begin{aligned} \widetilde{Y}(p) \equiv {\widetilde{H}} - 2{\widetilde{E}}(p) - {\widetilde{F}}(p) \end{aligned}$$(5.1)$$\begin{aligned}&({\widetilde{\sigma }}_p)^* ({\widetilde{H}}) \equiv 2 {\widetilde{H}} - 3 {\widetilde{E}}(p) - {\widetilde{F}}(p), \end{aligned}$$(5.2)$$\begin{aligned}&({\widetilde{\sigma }}_p)^* ({\widetilde{E}}(p)) \equiv \widetilde{Y}(p)\equiv {\widetilde{H}} - 2{\widetilde{E}}(p) - {\widetilde{F}}(p), \end{aligned}$$(5.3)$$\begin{aligned}&({\widetilde{\sigma }}_p)^* ({\widetilde{F}}(p)) \equiv {\widetilde{F}}(p). \end{aligned}$$(5.4)
- (2)We have$$\begin{aligned}&({\widetilde{\sigma }}_p)^* ({\widetilde{H}}) \cdot \widetilde{Y}(p) \equiv 0, \end{aligned}$$(5.5)$$\begin{aligned}&{\widetilde{H}} \cdot {\widetilde{E}}(p) \equiv 0. \end{aligned}$$(5.6)
- (3)We have$$\begin{aligned}&({\widetilde{\sigma }}_p)^* ({\widetilde{H}})^2 \equiv 2{\widetilde{H}}^2+3{\widetilde{E}}(p)\cdot {\widetilde{E}}(p) - {\widetilde{F}}(p)\cdot {\widetilde{H}} + {\widetilde{E}}(p)\cdot {\widetilde{F}}(p), \end{aligned}$$(5.7)$$\begin{aligned}&-\widetilde{Y}(p)^2 \equiv {\widetilde{H}}^2 - 2\left( - {\widetilde{E}}(p)^2\right) - {\widetilde{H}}\cdot {\widetilde{F}}(p) + {\widetilde{E}}(p)\cdot {\widetilde{F}}(p). \end{aligned}$$(5.8)

### Proof

*H*of

*X*does not meet

*p*.

*X*and the corresponding sequence of reflections \(\{ \sigma _{p_i} \}_{i=1, \ldots }\) Take a surface \(S_0 \subset X\) which is the intersection of two very general elements in

*H*, and let \(h_0\subset S_0\) be the intersection of \(S_0\) with a very general element in

*H*. Thus \(S_0\) and \(h_0\) are, respectively, a smooth cubic surface and a smooth cubic curve on

*X*. We want to study the successive birational transforms of \(S_0\) and \(h_0\) when we apply \(\sigma _{p_1}\), then \(\sigma _{p_2},\,\sigma _{p_3}\) and so forth. In particular, we want to study the degrees of those birational transforms. Let

*periodic with period*

*N*, i.e.,

*good*. The growth rates of the degrees \(d_1^{(i)}\) resp. \(d_2^{(i)}\) for are then the first resp. second dynamical degrees of the composite

*X*. Suppose now has been defined. Look at the commutative diagramHere is the modification described above: blow up the point \(p_{i+1}\) on

*X*and then the strict transform of the surface of lines through \(p_{i+1}\). The morphism is a composite of blowups in reduced points, constructed in the way described at the beginning of this section, such that the diagonal dotted arrow becomes a morphism \({\widetilde{s}}_i\). Then \(s_{i+1}\) is simply the composite

*D*lives on \(S_j\), then for any \(i > j\) we denote the pullback of

*D*to \(S_i\) via the compositesimply by the same letter

*D*. Thus, for example, \(h_0\subset S_0\) defines a class on each surface \(S_i\) by pullback, and we denote all of them by the same letter, where, in a given equation, the context makes it clear on which \(S_i\) this holds.

Now all Eqs. (5.1)–(5.8) give equations on any surface \(S_{i+1}\) by pulling the divisors back via \({\widetilde{s}}_i\). However, we want to impose a certain genericity condition on the points \(p_1, \ldots , p_N\) such that these equations take a simpler form.

### Assumption 5.3

*N*-periodic sequence of good points \(p_i\) can be chosen such that for a very general \(S_0\) and \(h_0\), the following equations hold on any blown-up surface \(S_{i+1}\):

In fact, we will assume something a little bit stronger, which implies the previous assumption, but can be expressed more geometrically in terms of the successive birational transforms of \(S_0\):

### Assumption 5.4

*N*-periodic sequence of good points \(p_i\) can be chosen such that for a very general \(S_0\) and \(h_0\), the surface \(s_i(S_i) \subset X\) is \(\sigma _{p_{i+1}}\)-adapted in the sense of Definition 4.2 except for the following phenomenon which we allow to cause failure of \(\sigma _{p_{i+1}}\)-adaptedness: for a point \(p_{k}\) there can be a point \(p_{\tau (k)}\) such that all points

*X*by blowing up the point \(p_{\tau (k)}\)) meets the exceptional divisor in a curve, \(\varGamma _{\tau (k)}\) say, which

*does not coincide with*the curve \(C_{\tau (k)}\) of directions of lines through \(p_{\tau (k)}\). In fact, this condition ensures that \(E_{\tau (k)}\cdot F_{\tau (k)} =0\) on \(S_{\tau (k)}\): this is clear if \(\varGamma _{\tau (k)}\) and \(C_{\tau (k)}\) are even disjoint; but if they meet in only finitely many points, then, looking back at Fig. 1, we find that \(S_{\tau (k)}\) can be viewed as a blowup of a surface \(S'_{\tau (k)}\) such that \(E_{\tau (k)}\) is a pullback of a divisor on \(S'_{\tau (k)}\) and \(F_{\tau (k)}\) is exceptional for \(\pi \).

Intuitively, we can express Assumption 5.4 by saying that we allow a curve in a certain birational transform of \(S_0\) to be contracted to a reflection point \(p_k\) at some stage of the iteration, and this point then wanders around, always staying in the domain of definition and away from the exceptional locus of the respective next reflection, until at some later time it gets mapped to \(p_{\tau (k)}\) after applying \(\sigma _{p_{\tau (k)-1}}\). We then also assume that the directions of smooth curve germs which lie on the birational transform \(s_{\tau (k)-1}(S_{\tau (k)-1}) \subset X\) and which pass through \(p_{\tau (k)}\) are not identical with the directions of lines through \(p_{\tau (k)}\).

In this way, we will always have \(E_{i+1}\cdot F_{i+1}=0\) under Assumption 5.4 as well as \(F_{i+1}\cdot D_i = 0\) since the birational transforms of \(S_0\) intersect the surfaces of lines attached as indeterminacy loci to subsequent reflections only in points. Thus Assumption 5.4 is stronger than Assumption 5.3. Moreover, we then have the *successor function*
, which associates with *k* the value \(\tau (k)\) if \(p_k\) gets mapped to \(p_{\tau (k)}\) after a while as in Assumption 5.4, or is equal to \(\infty \) if there is no successor (if the point never gets mapped unto another reflection point).

For the time being, we will not discuss whether the genericity Assumption 5.4 can be satisfied by a certain configuration of points \(p_1, \ldots , p_N\) on *X*. Also, this is not so important from our point of view. Rather, we would like to demonstrate that one can prove that some property (P) of dynamical degrees forces special geometric configurations on *X*, or conversely, that for suitably general configurations, the dynamical degrees fail to have property (P), if the configuration is realizable. The following result is a sample for this.

### Theorem 5.5

*N*-periodic sequence of good points on

*X*which satisfy Assumption 5.4. Then the first and second dynamical degrees of the map

### Proof

### Remark 5.6

*M*(with constants as entries) such that for the vectors

*M*.

## Notes

## Declarations

### Acknowledgements

We would like to thank Miles Reid for useful discussions. We are grateful to the referee for many helpful suggestions. Christian Böhning: Supported by Heisenberg-Stipendium BO 3699/1-2 of the DFG (German Research Foundation) during the initial stages of this work. Pawel Sosna: Partially supported by the RTG 1670 of the DFG (German Research Foundation).

**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.

## Authors’ Affiliations

## References

- Blanc, J., Cantat, S.: Dynamical Degrees of Birational Transformations of Projective Surfaces, preprint (2013), arXiv:1307.0361 [math.AG]
- Blanc, J., Lamy, S.: On Birational Maps from Cubic Threefolds, preprint (2014), arXiv:1409.7778
- Bogomolov, F., Böhning, C., Graf von Bothmer, H.-C.: Birationally isotrivial fiber spaces. Eur. J. Math.
**2**(1), 45–54 (2016)MathSciNetView ArticleMATHGoogle Scholar - Böhning, C., Graf von Bothmer, H.-C., Sosna, P.: On the Dynamical Degrees of Reflections on Cubic Fourfolds, preprint (2015), arXiv:1502.01144 [math.AG]
- Eisenbud, D., Harris, J.: 3264 & All That, A Second Course in Algebraic Geometry. Cambridge University Press, Cambridge (2016)View ArticleMATHGoogle Scholar
- Fulton, W.: Intersection Theory, 2nd edn. Springer, Berlin (1998)View ArticleMATHGoogle Scholar
- Guedj, V.: Propriétés ergodiques des applications rationnelles. In: Quelques aspects des Systèmes Dynamiques Polynomiaux, Panor. Synthèses, vol. 30. Soc. Math, France, pp. 97–202 (2010)Google Scholar
- Rosenlicht, M.: Some basic theorems on algebraic groups. Am. J. Math.
**78**, 401–443 (1956)MathSciNetView ArticleMATHGoogle Scholar - Russakovskii, A., Shiffman, B.: Value distribution for sequences of rational mappings and complex dynamics. Indiana Univ. Math. J.
**46**, 897–932 (1997)MathSciNetView ArticleMATHGoogle Scholar - Truong, T.T.: (Relative) Dynamical Degrees of Rational Maps Over an Algebraic Closed Field, preprint (2015) arXiv:1501.01523 [math.AG]
- Voisin, C.: Hodge Theory and Complex Algebraic Geometry I, Cambridge Studies in Advanced Mathematics, vol. 77. Cambridge University Press, Cambridge (2003)View ArticleGoogle Scholar
- Xie, J.: Periodic points of birational transformations on projective surfaces. Duke Math. J.
**164**(5), 903–932 (2015)MathSciNetView ArticleMATHGoogle Scholar