arxiv: v1 [math.ag] 29 Sep 2015

Transcription

1 SOME PROPERTIES OF DYNAMICAL DEGREES WITH A VIEW TOWARDS CUBIC FOURFOLDS arxv: v1 [math.ag] 29 Sep 2015 CHRISTIAN BÖHNING1, HANS-CHRISTIAN GRAF VON BOTHMER, AND PAWEL SOSNA 2 Ths artcle s dedcated to Fedor Bogomolov on the occason of hs seventeth brthday. Abstract. Dynamcal degrees and spectra can serve to dstngush bratonal automorphsm groups of varetes n quanttatve, as opposed to only qualtatve, ways. We ntroduce and dscuss some propertes of those degrees and the Cremona degrees, whch facltate computng or dervng nequaltes for them n concrete cases: (generalzed) lower sem-contnuty, sub-multplcatvty, and an analogue of Pcard- Mann/Zarsk-Remann spaces for hgher codmenson cycles. We also specalze to cubc fourfolds and show that under certan genercty assumptons the frst and second dynamcal degrees of a composton of reflectons n ponts on the cubc concde. 1. Introducton For a smooth projectve varety X of dmenson n and a bratonal selfmap f : X X one can defne a tuple of real numbers λ 0 (f) = 1, λ 2 (f),..., λ n 1 (f), λ n (f) = 1, where λ (f) 1 for 2 n 1, called the dynamcal degrees of f. See Secton 2 for two equvalent defntons of these numbers. The dynamcal degrees turn out to be nvarant under bratonal conjugacy, so that the dynamcal spectrum Λ(X) = {λ(f) := (λ 1 (f),..., λ n 1 (f)) f Br(X)} R n 1 s a bratonal nvarant of the varety X. One thus mght, for example, try to use t to dstngush very general (conjecturally rratonal) cubc fourfolds X from P 4. Here are some deas how the spectra mght dffer: (1) As pont sets, that s, there mght be a tuple λ(f) n the spectrum of P 4 whch s not n the spectrum of X. Ths could for example be proven f one could show that on X the dynamcal degrees have to satsfy other addtonal nequaltes, comng from the geometry of X, 1 Supported by Hesenberg-Stpendum BO 3699/1-2 of the DFG (German Research Foundaton) durng the ntal stages of ths work. 2 Partally supported by the RTG 1670 of the DFG (German Research Foundaton). 1

2 2 BÖHNING, BOTHMER, AND SOSNA whch can be volated on P 4. For ths one has, n partcular, to develop certan sem-contnuty propertes and computatonal tools for dynamcal degrees, whch we start dong n the subsequent sectons. (2) As metrc (or only topologcal) spaces: for example, one can consder, for every k, the smallest gap n the spectrum after 1, f there s any, that s, g k := nf (λ k(f) 1). f Br(X), λ k (f) 1 It s possble that these numbers dffer for X and P 4, but the drawback s that t s not easy to see how to relate them to accessble geometrc features of X. In other words, t seems very hard to compute or estmate them. On the topologcal sde, t may happen that the Cantor-Bendxson ranks of the dynamcal spectra or some lnear slces n them dffer, but agan these are very hard to access. (3) Arthmetcally: t could happen that for both X and P 4, the dynamcal degrees are algebrac ntegers, but for X they may satsfy some addtonal arthmetc constrants. For example, the number felds generated by each tuple of dynamcal degrees on X mght dffer from the ones for P 4. But also ths seems very hard to detect. We thus concentrate on (1) for the moment. The paper s organsed as follows. In Secton 2 we recall some basc facts about cycles and dynamcal degrees. In Secton 3 we prove Theorem 3.1 whch says that the dynamcal degrees are lower-semcontnuous functons for famles over smooth bases, f one understands lower sem-contnuty n a slghtly generalzed sense, namely that (downward) jumps may occur on countable unons of closed subsets. Moreover, n Proposton 3.3 we collect some results that pont out the mportance of the questons of exstence of (fnte-dmensonal, connected, non-trval) algebrac subgroups n Br(X) and of the classfcaton of bratonal automorphsms wth all dynamcal degrees equal to 1 for the rratonalty problem for cubc fourfolds X. In Secton 4 we study the relatonshp between dynamcal degrees and Cremona degrees under some assumptons and prove a sub-multplcatvty result, Theorem 4.3. Secton 5 s devoted to reflectons on cubc fourfolds and n Theorem 5.5 we show, under some assumptons, the equalty of the frst and second dynamcal degrees of a composton of reflectons on a smooth cubc fourfold. Ths s a sample of a type of result whch says that specal dynamcal degrees can only arse n the presence of specal dynamcs. Such mplcatons are very mportant for makng progress on the rratonalty problem for cubcs, too. Fnally, n the Appendx we descrbe generalzed Pcard-Mann spaces whch mght prove useful n the study of dynamcal degrees on fourfolds n the future. Conventons. We work over the feld of complex numbers C throughout the paper. A varety s a reduced and rreducble scheme of fnte type over C. A prme k-cycle on a varety s an (rreducble) subvarety of dmenson k. A k-cycle s a formal lnear combnaton of prme k-cycles. If f : X Y

3 PROPERTIES OF DYNAMICAL DEGREES 3 s a ratonal map between varetes, we denote by dom(f) the largest open subset of X on whch f s a morphsm. The graph Γ f X Y of f s the closure of the locus of ponts (x, f(x)) wth x dom(f). Acknowledgments. We would lke to thank Mles Red for useful dscussons. 2. Prelmnares 2.1. Cycles. Let X be a smooth projectve varety of dmenson n. Followng [Ful98], we wll denote by A k (X), B k (X) and H k (X) the groups of algebrac cycles of dmenson k modulo ratonal, algebrac and homologcal equvalence, respectvely. Roughly speakng, a cycle s ratonally equvalent to zero f t can be wrtten as the dfference of two fbres of a famly over P 1 ; algebracally equvalent to zero f t can be wrtten as the dfference of two fbres of a famly over a smooth curve; and homologcally equvalent to zero f t maps to zero under the cycle map A k (X) H 2n 2k (X, Z). Any zero cycle α A 0 (X) has a well-defned degree, see [Ful98, Def. 1.4]. As usual, A k (X), B k (X), H k (X) wll denote the groups of cycles of codmenson k. There are surjectons A k (X) B k (X) H k (X) for all possble k. Gven a proper map f : X Y of some relatve dmenson l, one can defne pushforward maps f : A k (X) A k (Y ) and, f f s also flat, pullback maps f : A k (Y ) A k+l (X), see [Ful98, Sect. 1]. For nstance, for the pullback under a flat map one smply takes the class of the pre-mage of a prme cycle and extends ths defnton lnearly. One can also defne pull-back maps for morphsms between smooth varetes whch are not necessarly flat, but ths s slghtly more complcated and nvolves some ntersecton theory, see [Ful98, Ch. 8]. Also recall that the collecton of all groups A (X) = n k=0 A k(x) s a commutatve rng wth respect to the ntersecton parng (here we need X smooth). More precsely, there are parngs A k (X) A l (X) A k+l n (X) for all possble k, l. In other words, A (X) s a graded rng. An mportant result about cycles whch we wll use below s the Prncple of Conservaton of Number, see [Ful98, Subsect. 10.2]. Theorem 2.1. Let p: Y T be a proper morphsm of varetes, dm T = m, and α be an m-cycle on Y. Then the cycle classes α t A 0 (Y t ) for t T a regular closed pont, all have the same degree Dynamcal degrees. Let X be a smooth projectve varety of dmenson n, fx an ample dvsor H on X and let f : X X be a bratonal map. Settng H k R (X) := Hk (X) R, we defne a lnear map f : H k R (X) H k R (X), α pr 1 (Γ f.pr 2(α)),

4 4 BÖHNING, BOTHMER, AND SOSNA where pr : X X of X. X are the projectons and Γ f X X s the graph Defnton 2.2. Let X and f be as above. The k-th dynamcal degree of f s λ k (f) = lm m (ϱ((f m ) )) 1 m, where ρ((f m ) ) s the spectral radus of the lnear map (f m ). Equvalently, one can choose any resoluton Z of sngulartes of Γ f, consder the nduced dagram Y π 1 Z f π 2 Y and defne f = π 1 π2. For the equvalence of these two approaches, see [Truo15, Subsect. 3.1]. There s yet another way of defnng the dynamcal degrees. Frst, one can defne the Cremona degree deg k (f) of f wth respect to H as the degree (that s, the ntersecton number wth H n k ) of the bratonal transform under f 1 of a general element n the system of cycles homologcally equvalent to H k. In symbols, deg k (f) = H n k.f H k. One then puts λ k (f) = lm m deg k(f m ) 1 m, the growth rate of the Cremona degrees of the terates of f. Ths defnton does not depend on the choce of H and s equvalent to the prevous one, see [Truo15, Thm. 1.1] for a statement vald over any algebracally closed feld of characterstc zero or [Guedj10, Thm. 2.4] for a more analytc statement. Remark 2.3. Before the exstence of the lmt was proven, a defnton nvolvng a lmes nferor of Cremona degrees or spectral rad was sometmes used n the lterature. The dynamcal degrees satsfy several numercal propertes, such as logconcavty, and are related to the topologcal entropy of f, see [Guedj10]. 3. Semcontnuty of dynamcal degrees In ths secton we wll prove Theorem 3.1, provdng estmates on dynamcal degrees n famles. Theorem 3.1. Let X P N S π S pr S

5 PROPERTIES OF DYNAMICAL DEGREES 5 be a smooth projectve famly of smooth varetes X s P N over a smooth varety S. Let X π f S be a bratonal map such that no entre fber of π s n the ndetermnacy or exceptonal locus of f,.e., fberwse, f s : X s X s s a well-defned bratonal map. If ths s not satsfed at the begnnng, we can always acheve t by replacng S by a non-empty open subset. Consder the functon λ j : S assocatng to s S the j-th dynamcal degree λ j (f s ) of f s. Then λ j s lower sem-contnuous n the followng generalzed sense: the sets π R X V a := {s S λ j (s) a}, a R, are countable unons of Zarsk closed subsets n S. We begn wth the followng result, whch generalses [Xe15, Lem. 4.1]. Lemma 3.2. In the setup of Theorem 3.1 let H P N be the lnear system of hyperplanes n P N. Let deg j (f s ) be the j-th Cremona degree of f s. Then deg j : S R, s deg j (f s ) s a lower sem-contnuous functon on S. Proof. Consder the graph Γ f X S X P N P N S and the two (flat) projectons p 1, p 2 p 1 P N P N S P N S P N S. Let H j S Pn S be the pull-back to P N S of the algebrac equvalence class H j, that s, an ntersecton of j relatve hyperplanes n P N S. Then, by Theorem 2.1 appled to Y = P N P N S,T = S and α = Γ f.p Xs j 1 (Hdm S ).p 2 (Hj S ) (an easy computaton shows that ths s ndeed a dm(s)-cycle), the degree of α t A 0 (Y t ) s constant. Note that the cycle pull-backs va the flat morphsms (or, n any case, va morphsms between smooth varetes) and the ntersecton product n the ambent smooth varety P N P N S are well-defned. Consder Γ f S as an S-scheme. For s S n a nonempty Zarsk open subset Ω S, (Γ f ) s s equal to the graph of f s by an applcaton of [BBB15, Lem. 2.3], whereas for specal s Z := S\Ω, Γ fs may be a proper component of (Γ f ) s. On the other hand, f (Γ f ) s = Γ fs, then α restrcted to (Γ f ) s has degree deg j (f s ). p 2

6 6 BÖHNING, BOTHMER, AND SOSNA Thus we see that on Ω, the functon deg j s constant. Let us check that deg j can only get smaller at a pont z 0 Z. Ths wll mply the asserton. Indeed, f deg j = a genercally on S, there s a proper closed subset S S such that {s S deg j (s) a 1} S. Now consderng the rreducble components of S, and the restrcton of the famly X to each of these, mples the asserton by nducton on the dmenson of S. To see that deg j can only drop at z 0 Z, take a smooth curve C S wth z 0 C and C Ω, and restrct the famly π : X S to C,.e. consder π C : X C C and the restrcton f C : X C X C of f to X C. Then we can do the above constructon wth S replaced by C, that s, we can consder Γ fc and a relatve cycle α C. Note that snce Ω C, for a general pont c C the degree of (α C ) c wll be equal to deg j (f c ) (of course, f c = f s for some general pont s S). Now there s a fnte set of ponts P C, where we can assume that z 0 P, such that for c C\P, the fber (Γ fc ) c of Γ fc over c s nothng but the graph of (f C ) c. The graph Γ fc s, by defnton, the closure of Γ fc C\P C\P n P N P N C. Now the advantage of workng over a curve C s that, by the valuatve crteron of properness and the properness of Chow schemes of cycles n P N P N, the lmts (Γ fc ) z, for z P, of the famly Γ fc C\P C\P wll be cycles of dmenson dm X s, that s, all components of (Γ fc ) z0 have dmenson dm X s. Ths allows us to nterpret the degree of the zero cycle (α C ) z0 geometrcally. Its degree s nothng but the sum of the numbers G.pr 1 (Hdm Xs j ).pr 2 (Hj ) runnng over the rreducble components G of (Γ fc ) z0, possbly counted wth sutable multplctes. Here pr are the projectons of P N P N onto ts factors. Snce Γ fz0 s one of the components, we see that the Cremona degree can only drop at a specal pont z 0. Proof. (of Theorem 3.1) By defnton we have λ j (f) = lm n (deg j(f n )) 1 n. Applyng Lemma 3.2 to each terate of f, we see that for each n N, there s a proper closed subset Z n S such that on S\Z n, deg j (f s ) s constant. Thus outsde the countable unon of proper closed subsets k 0 1 k k 0 Z k the functon s λ j (f s ) s constant (here we use Remark 2.3). Now argung agan by nducton on the dmensons of the rreducble components of the closed subsets n the prevous countable unon (these are countably many proper closed subsets) gves the asserton.

7 PROPERTIES OF DYNAMICAL DEGREES 7 One nstance where one can use the above consderatons s the followng result, whch mght be useful when tryng to prove rratonalty of very general cubc fourfolds. It s based on a suggeston by Mles Red. Recall that gven an njectve map of (abstract) groups θ : G Br(X), we get an acton of G on X by bratonal somorphsms, and we say that G s an algebrac subgroup of Br(X) f the doman of defnton of the partally defned map G X X, (g, x) θ(g)(x), contans a dense open set of G X and concdes on t wth a ratonal map (n the sense of algebrac geometry). By a theorem of Rosenlcht [Ros56, Thm. 2], one can characterze algebrac subgroups G equvalently by sayng that they are those subgroups for whch there s a bratonal model Y X such that G acts on Y va bregular maps/automorphsms. Proposton 3.3. Let X be a smooth cubc fourfold. For a lne l X denote by ϕ l : X P 2 the assocated conc fbraton, and by Br ϕl (X) Br(X) the subgroup consstng of bratonal self-maps whch preserve the fbraton ϕ l,.e. map a general fber nto tself. The followng holds. (1) X s ratonal f and only f there s an algebrac subgroup (C ) 2 n Br(X). (2) If X s ratonal, then there s a famly of bratonal maps X f X π (C ) 2 π such that for any s S := (C ) 2 all dynamcal degrees of f s := f Xs are equal to 1 and such that the set {f s } s (C ) 2 s contaned n no subgroup Br ϕl (X) as above. (3) If X s ratonal, then there s some bratonal self-map f Br(X) wth all dynamcal degrees equal to 1 and such that f s contaned n no subgroup Br ϕl (X). There s even such a map f wth the property that the growth of the Cremona degrees of the terates of f s bounded. Proof. For (1) note that f X s ratonal, Br(X) certanly contans a subgroup (C ) 2, e.g., coordnate rescalngs. Conversely, f there s an algebrac subgroup (C ) 2 n Br(X), then X s bratonally a (C ) 2 -prncpal bundle over a unratonal, hence ratonal, surface (note that (C ) 2, beng abelan, wll act genercally freely once t acts fathfully). Snce any such (C ) 2 - prncpal bundle s Zarsk locally trval, X s ratonal n ths case. To prove (2), note that the exstence of the famly s clear by (1), so we only have to see that for any s S := (C ) 2 all dynamcal degrees of f s = f Xs are equal to 1. Now by Lemma 3.2, clearly all Cremona degrees

8 8 BÖHNING, BOTHMER, AND SOSNA are bounded n the famly. On the other hand, snce t arses from a subgroup (C ) 2 of Br(X), for any f s, fs n s agan n the famly,.e. equal to some f t. Hence the Cremona degrees of the terates would be unbounded, unless all dynamcal degrees are equal to 1. Moreover, the set {f s } s (C ) 2 s contaned n no subgroup Br ϕl (X), snce the mages of (C ) 2 s f s (p) X are ratonal surfaces for a general pont p X f we construct the famly {f s } from a subgroup (C ) 2 n Br(X) as n (1). But f {f s } s (C ) 2 were contaned n a subgroup Br ϕl (X), these mages would be concs. To prove (3), suppose that Φ: P 4 X s a bratonal map, and suppose that x P 4 s a pont n whch Φ s defned and a local somorphsm. Our goal s now to fnd a one-parameter group {f t }, t C, f t f s = f ts of bratonal self-maps of X such that Γ, the (closure of the) mage of C t f t (p) s a curve on X through p whch s not a conc. Here we want all f t to be bratonal self-maps wth all dynamcal degrees equal to 1. So Γ s an orbt under the acton of C on X. If we can fnd such a one-parameter group resp. such a Γ we are done: namely, f we choose t to be of nfnte order, then f := f t has the requred propertes; ndeed, f f preserved a conc fbraton, then the terates f n (p), n N, would all have to le n a conc Q. These terates also le on the curve Γ and are dstnct by our choce of t, thus Γ and Q would concde (they have nfntely many ponts n common), a contradcton. One way to construct such a one-parameter subgroup s as follows: consder the famly of all concs C p through p = Φ(x). For every conc C C p consder ts bratonal transform Φ 1 br (C) n P4 through x. Now the degrees of the curves Φ 1 br (C) for C rangng over C p are bounded above snce degrees are lower-semcontnuous n famles (compare also Lemma 4.4 below, and ts proof). Assume wthout loss of generalty that x s the pont (1, 1, 1, 1) C 4 P 4. Now consder the one parameter subgroups dag(t a, t b, t c, t d ) GL 4 (C), t C, a, b, c, d N. These gve famles of bratonal maps of P 4 va rescalng the coordnates. The orbt closures of these subgroups (whch are all somorphc to C ) are ratonal curves n P 4 whose degree s unbounded. Hence one of them s certanly not n the set of curves Φ 1 br (C). Ths acheves our goal. Remark 3.4. One mght hope that bratonal self-maps f wth all dynamcal degrees equal to 1 are n some sense classfable on a very general cubc fourfold. Restrctng ths class even further, the maps whose terates have

9 PROPERTIES OF DYNAMICAL DEGREES 9 bounded growth of the Cremona degrees can be studed. For surfaces, such maps f are often called ellptc and t s known, see [B-C13], that they are precsely those that are vrtually sotopc to the dentty, that s, on some model, an terate f n 0 belongs to the connected component of the dentty of the (bregular) automorphsm group. On varetes of hgher dmenson the term ellptc does not seem so approprate, so we call them bounded maps here for now. Note that not only the dynamcal degrees, but also the growth rate of the sequence of Cremona degrees s nvarant under bratonal conjugacy. So bounded maps are a bratonally nvarant class. These maps have topologcal entropy equal to zero, hence are what s sometmes called topologcally determnstc. If on a very general cubc fourfold t were true that any such map s a bratonal automorphsm of fnte order (we beleve ths could be true, at least none of the examples we know contradcts t), then Proposton 3.3.(3) would mply that a very general cubc fourfold s rratonal. Remark 3.5. In part (3) of Proposton 3.3, one can even assume that the sequence of Cremona degrees s constant. Ths follows from Lemma 3.2: f f t s a famly of bratonal self-maps of X parametrzed by an algebrac subgroup C Br(X), then the Cremona degrees are constant outsde of a fnte set of ponts n C. Now fs n = f s n, and for general s, the set of ts powers s n avods the prevous fnte set of ponts. 4. Upper bounds for dynamcal degrees n terms of degrees For bratonal maps f, g : P n P n the k-th Cremona degree deg k s submultplcatve n the sense that deg k (fg) deg k (f) deg k (g) whence also deg k (f n ) deg k (f) n and λ k (f) deg k (f); see [RS97, Lem. 4.6]. We want to nvestgate nhowfar the nequalty λ k (f) deg k (f) remans vald n general. A verson of quas-submultplcatvty n the general case s proved n [Guedj10, Prop. 2.6], but ths does not drectly yeld good bounds because of the constant that shows up there. However, as we wll see, another applcaton of Theorem 2.1 easly yelds a result for certan varetes more general than P n. We wll use the followng result. Lemma 4.1. (1) Let f : X Y be a surjectve morphsm of smooth projectve varetes. For any l N, let Y l := {y Y dm f 1 (y) l}, and suppose that V s a subvarety of Y whch ntersects all rreducble components of the subvaretes Y l as well as ther mutual ntersectons properly. Then the pull-back class f [V ] n A (X) s represented by f 1 (V ) whch s equal to the bratonal transform of V under f 1.

10 10 BÖHNING, BOTHMER, AND SOSNA (2) Now let g : X 1 X 2 be a bratonal map. Pck a resoluton of g 1 X 1 p X 2 g q X 2 where q s a successon of blowups n subvaretes lyng over components of the base locus Bs(g 1 ) X 2. Suppose that Z s a subvarety whch satsfes the condtons for V n part (1) wth respect to the morphsm q and whch s also not contaned n Exc(g 1 ), the unon of the subvaretes n X 2 contracted by g 1. Then g [Z] s represented by the bratonal transform of Z under g 1. Proof. Part (1) s [EHa15, Thm. A.5 and Thm. 1.23] or [Truo15, Lem. 3.1] and proof of Lem. 3.2(a) bd. For part (2) we can apply part (1) to conclude that q [Z] s represented by the bratonal transform of Z under q 1 on X 2. But g [Z] s equal to p q [Z], and p s an somorphsm onto ts mage on q [Z] outsde of the strct transforms on X 2 of the subvaretes contracted by g, hence the clam. Defnton 4.2. We wll call a Z as n part (2) of Lemma 4.1 g-adapted. Theorem 4.3. Let X be a smooth projectve varety such that HR k (X) s onedmensonal generated by H k where H X s a very ample dvsor. For any bratonal map f : X X consder the map f : HR k(x) HR k (X) defned n Secton 2. Suppose ths map s multplcaton by δ k (f) N. Also suppose that for any bratonal map g : X X, there s an m N and a flat famly p: C S of effectve rreducble codmenson k cycles homologcally equvalent to δ k (f)mh k over a smooth rreducble base S such that C s0 s the bratonal transform under f 1 of a general element n mh k, and for general s S, C s s g-adapted n the sense of Lemma 4.1 (2). Then δ k (f g) δ k (f) δ k (g). In partcular, λ k (f) δ k (f) for such a bratonal map f : X X. To prove Theorem 4.3 we use the followng Lemma. Lemma 4.4. Let X be a smooth and projectve varety of dmenson n wth a very ample class H, S be a smooth varety and let C S be a flat famly of rreducble k-cycles of some fxed degree on X S, ι: C X S be the ncluson, and g : X X a bratonal map such that g 1 ι s s a welldefned bratonal map on every fber C s. Then the functon s deg((g 1 ι s ) (C s )) whch assocates to a pont s S the degree of the bratonal transform of the cycle C s under g 1 ι s (wth respect to H) s a lower sem-contnuous functon on S.

11 PROPERTIES OF DYNAMICAL DEGREES 11 Proof. Agan we employ Theorem 2.1. Let Y = X X S wth projectons p 1 := p 13 : X X S X S and p 2 = p 23 : X X S X S. Moreover, for the fberwse bratonal map g 1 d S : X S X S, consder the composte (g 1 d S ) ι: C X S, and (the closure n Y of) ts graph Γ (g 1 d S ) ι. Consder the cycle α = Γ (g 1 d S ) ι.p 2 (H S ) on Y, where s chosen approprately such that α s s a zero cycle for all s. Then argung as n the proof of Lemma 3.2, we fnd that for general s n S, the degree of α s s equal to deg((g 1 s ) (C s )), whereas as specal ponts t only gves an upper bound. Snce the degree of α s s constant by Theorem 2.1, we get the asserton. Proof. (of Theorem 4.3) Replacng H k by mh k we can assume m = 1. Then δ k (f) s the degree of the bratonal transform under f 1 of a general element H k, dvded by H n f, and the same holds for g. In symbols: H k.h n k H = n δ k (f). On the other hand, for δ k (f g) we frst consder the bratonal transform C s0 under f 1 of a general element H k, and C s0 s now a specal element n B k (X). We then have to compute the degree of the bratonal transform under g 1 of C s0, and dvde t by H n, and ths s δ k (f g). By hypothess, we can deform C s0 n the homologcal equvalence class of δ k (f)h k to a general element C s n that class va the famly p: C S whose exstence s assumed n Theorem 4.3. Then the bratonal transform, for general s S, under g 1 of C s s n δ k (g)δ k (f)h k snce C s s g-adapted and Lemma 4.1 (2) holds. But the bratonal transform under g 1 of C s0 may le n dh k wth d δ k (g)δ k (f) by Lemma 4.4. Thus Theorem 4.3 follows. Remark 4.5. For example, Theorem 4.3 s applcable for a bratonal map g : X X of a very general cubc fourfold, and a reflecton f = σ p : X X n a pont p X; n ths case, C s0 s the bratonal transform under f of an element whch s general n H 2, for some very ample dvsor H. Then we can fnd an rreducble famly C wth the requred propertes, takng as elements of C the bratonal transforms of 2-cycles A under σ q, for q varyng n X and A varyng n the system of complete ntersectons of two hyperplanes H Degrees of terated bratonal transforms of surfaces n fourfolds 5.1. An teratve set-up. When computng dynamcal degrees, especally λ 2 on fourfolds, one frequently has to understand how the degrees of successve bratonal transforms of some general surface n the ntal varety change. We therefore study the followng set-up: let X be a smooth projectve fourfold wth a very ample dvsor H. Let f : X X be a bratonal map.

12 12 BÖHNING, BOTHMER, AND SOSNA We want to compute the frst and second Cremona degrees of the terates of f successvely. Let Z be the teraton ndex. To begn wth, we let S 0 X be a surface whch s the ntersecton of two very general elements n H. In partcular, we assume S 0 s smooth. Let s 0 : S 0 X be the ncluson. Moreover, we wrte h 0 S 0 for the ntersecton wth S 0 of a very general element of H. Then h 0 defnes a very ample class on S 0. Moreover, we also put D 0 := h 0. Now suppose nductvely that S and a morphsm s : S X, together wth dvsors h, D S, have already been defned. We then defne S +1 and s +1, wth h +1 and D +1, n the followng way. Consder the dagram S +1 σ s S s X s s +1 π 1 f Γ f π 2 X Here σ s a sequence of blow-ups of S n reduced ponts such that the ratonal map f s becomes a morphsm s +1 on the blown-up surface S +1. We wll descrbe more precsely how to construct σ n a moment. Once ths s done, we defne h +1 = σ (h ), and we would lke to compute the quanttes D +1 = s +1(H) d (+1) 2 := D 2 +1, d (+1) 1 := D +1.h +1 n terms of data assocated to the resoluton map σ and of d () 2, d() 1. Note that d (+1) 2 s the second Cremona degree (wth respect to the chosen H) of f +1, and d (+1) 1 s ts frst Cremona degree. Let us now say how σ s defned. The map f can be gven by a certan lnear system;.e., there s a lne bundle L on X, a subspace of sectons V H 0 (X, L) and the assocated lnear system V = P(V ) P(H 0 (X, L)) of dvsors defnng f. Recall that there s an evaluaton morphsm for sectons ev V : V O X L whch determnes a morphsm V L O X whose mage s called the base deal b( V ) O X of the lnear system V. The closed subscheme Bs( V ) X t defnes s called the base scheme of the lnear system V. Snce S 0 s chosen very general, the mage of s : S X s not contaned n Bs( V ) for any, and the composte ratonal map f s s defned by the lnear system attached to the pull-back space of sectons s (V )

13 PROPERTIES OF DYNAMICAL DEGREES 13 H 0 (S, s L). Its base scheme s defned by the nverse mage deal sheaf s 1 (b( V )) whch we call I for the sake of explanng how to construct σ wth smpler notaton. Let Z S be the closed subscheme whch I defnes. Now we construct σ nductvely as a composte of pont blow-ups as follows. Put I (0) := I, Z (0) := Z and S (0) := S. We wsh to construct a sequence of morphsms where each π j : S (j+1) S +1 := S (N) π N 1... S (j) π 1 S (1) π 0 S (0) s a blow-up n a fnte set of reduced ponts n S (j). Step 1. Suppose we have already constructed S (j) Z (j). Then f Z (j) s zero-dmensonal, we put Z (j) one-dmensonal, then we can wrte where D (j) Z (j) = D (j) E (j) together wth I (j), (pont) := Z (j). If Z (j) s s the unon of the one-dmensonal solated components n a prmary decomposton of I (j). These defne a unque dvsor D (j) whereas E (j), whch may contan embedded pont components, s not unque: recall for example that locally around the orgn n A 2, the deal (xy, y 2 ) can be wrtten n many ways as an ntersecton of prmary deals: (xy, y 2 ) = (y) (x 2, xy, y 2, x + αy), α C and the embedded pont component defned by any (x 2, xy, y 2, x + αy) s not unque at all. Let O( D (j) ) be the deal sheaf of D (j), and put (( )) Z (j) (pont) := V I (j) : O( D (j) ) whch s a well-defned deal sheaf wth support n a fnte set of ponts. Note that whereas the embedded ( pont components ) are not well-defned, the quotent deal sheaf I (j) : O( D (j) ) s and defnes a certan zerodmensonal subscheme Z (j) (pont). In the example above, t s just the reduced orgn correspondng to (x, y). Step 2. Defne π j : S (j+1) S (j) as the blow-up of S (j) n the reduced subscheme (a fnte set of ponts) whose support agrees wth Z (j) (pont). Let Z (j+1) := π 1 j (Z (j) (pont)) be the scheme-theoretc premage wth deal sheaf I (j+1). In other words, f I (j) (pont) s the deal sheaf of Z (j) (pont), the subscheme Z (j+1) s defned by the deal sheaf whch s the mage of π j (I(j) Ths s, by defnton, the nverse mage deal sheaf π 1 j S (j+1) (pont)) n O (j+1) S. (I (j) (pont)). It s

14 14 BÖHNING, BOTHMER, AND SOSNA not necessarly prncpal of course, snce we have blown up n the reduced subscheme underlyng Z (j) (pont), and not n Z (j) (pont) tself. At any rate, t s easy to compute Z (j+1) n local coordnates on the blownup surface smply by substtutng these n the orgnal deal downstars. Wth Z (j+1) now go back to Step 1. The process termnates snce the length of the scheme Z (j) (pont) drops strctly n each step untl t becomes the empty set. It s now easy to descrbe what D +1 s on S +1 = S (N) +1. In partcular, ths then allows us to compute d (+1) 2 = D+1 2, d(+1) 1 = D +1.h +1. If D s a dvsor whch lves on some surface n the tower S +1 := S (N) π N 1... π 1 S (1) π 0 S (0) then we denote the pull-back of D to the top floor S +1 of the tower smply by puttng a hat on t: ˆD. Then D +1 = ˆD j ˆD (j) Geometry of a reflecton on a cubc fourfold. As an llustraton let us prove a result about equalty of dynamcal degrees when X s a very general cubc fourfold and f s a certan sutably general composton of reflectons n ponts on X. We wll say what sutably general means below. Frst we recall some facts about the geometry of a reflecton σ p : X X on a smooth cubc fourfold n a very general pont p. Compare [BBS15, Sect. 3] for these. A general lne n P 5 through p ntersects X n two ponts away from p, and σ p s the bratonal nvoluton nterchangng these ponts. One man fact we wll use s that the bratonal self-map σ p lfts to an automorphsm σ p on a sutable model X: X σ p X X σp X. and we can construct X n two steps X X X, where each map s a blow-up n a certan smooth center. See Fgure 1 for a schematc pcture, whch we wll explan now n some more detal. The embedded tangent hyperplane T p X ntersects X n a cubc threefold Y (p) wth a node at p; the lnes on X through p sweep out a surface S(p) whch concdes wth the surface of lnes on the nodal cubc threefold through p. The tangent cone to Y (p) n p s a cone over a smooth quadrc Q P 1 P 1 n the hyperplane P 3 T p X, and S(p) s a cone over a curve C of bdegree (3, 3) n Q. The ndetermnacy locus of σ p s S(p), and σ p contracts Y (p) to the pont p.

15 PROPERTIES OF DYNAMICAL DEGREES 15 Fgure 1. Geometry of the resoluton of a reflecton. Defnton 5.1. We call a pont p X good f C s a smooth curve. A general pont p wll be good. To smplfy, we wll only consder reflectons n good ponts n the sequel. Now X X s the blow-up of X n p wth exceptonal dvsor E (p) P(T p X) P 3. Insde E (p) we retreve Q P 1 P 1 as the set of all tangent drectons of smooth curve germs n Y (p) through p, and nsde ths, there s a copy of C, the set of drectons of lnes on X through p. The strct transform Y (p) of Y (p) on X s the blow

16 16 BÖHNING, BOTHMER, AND SOSNA up of Y (p) n the node, whch gets replaced by P 1 P 1 Q. The strct transform S (p) of S(p) on X s smooth because p s a good pont. Now X X s the blow-up of X n S (p). We call the resultng exceptonal dvsor F (p). It s a P 1 -bundle over S (p). The strct transform of Y (p) on X s called Ỹ (p). The strct transform of E (p) on X, denoted by Ẽ(p), s the blow-up of E (p) n C. We also denote by H the pull-back of a hyperplane secton H to X va the modfcaton X X. Proposton 5.2. Moreover, (5.1) (5.2) (5.3) and (5.4) (2) We have (1) The classes H, Ẽ(p), F (p) are a bass of Pc( X). Ỹ (p) H 2Ẽ(p) F (p) ( σ p ) ( H) ( σ p ) (Ẽ(p)) ( σ p ) ( F (p)) 2 H 3Ẽ(p) F (p) Ỹ (p) H 2Ẽ(p) F (p) F (p). (5.5) ( σ p ) ( H).Ỹ (p) 0 (5.6) H. Ẽ(p) 0. (5.7) (5.8) (5.9) (5.10) (3) We have ( σ p ) ( H) 2 Ỹ (p)2 2 H 2 + 3Ẽ(p).Ẽ(p) F (p). H + Ẽ(p). F (p) (4) If h s any dvsor class on X, then ( σ p ) ( H).h H2 2( Ẽ(p)2 ) H. F (p) + Ẽ(p). F (p) Ỹ (p).h 2 H.h 3Ẽ(p).h F (p).h H.h 2Ẽ(p).h F (p).h Proof. Part (1) s straghtforward and can be found n [BBS15, Sect. 3, Prop. 3.2 ff]. As for (2), note that by the projecton formula ( σ p ) ( H).Ỹ (p) H.( σ p ) (Ỹ (p)) H.Ẽ(p) 0 snce a general hyperplane secton H of X does not meet p. For (3) we compute ( σ p ) ( H) 2 ( σ p ) ( H).( σ p ) ( H) ( σ p ) ( H).Ỹ (p) ( σ p ) ( H).(( σ p ) ( H) Ỹ (p)) (2 H 3Ẽ(p) F (p)).( H Ẽ(p)) 2 H. H 3 H.Ẽ(p) H. F (p) 2 H.Ẽ(p) + 3Ẽ(p).Ẽ(p) + F (p).ẽ(p) 2 H. H + 3Ẽ(p).Ẽ(p) F (p). H + Ẽ(p). F (p)

17 s PROPERTIES OF DYNAMICAL DEGREES 17 where one uses the second formula of (2), H.Ẽ(p) 0 n the last step. Now Ỹ (p)2 ( σ p ) ( H).Ỹ (p) Ỹ (p)2 (( σ p ) ( H) Ỹ (p)).ỹ (p) ( H Ẽ(p)).( H 2Ẽ(p) F (p)) H 2 2 H.Ẽ(p) H. F (p) Ẽ(p). H(p) + 2Ẽ(p)2 + Ẽ(p). F (p) H 2 + 2Ẽ(p)2 H. F (p) + Ẽ(p). F (p). Fnally, part (4) s clear from (5.1) and (5.2). Now we pass to an teratve set-up agan. Namely, consder a sequence of ponts {p } =1,2,... on X and the correspondng sequence of reflectons {σ p } =1,... Take a surface S 0 X whch s the ntersecton of two very general elements n H, and let h 0 S 0 be the ntersecton of S 0 wth a very general element n H. Thus S 0 and h 0 are, respectvely, a smooth cubc surface and a smooth cubc curve on X. We want to study the successve bratonal transforms of S 0 and h 0 when we apply σ p1, then σ p2, σ p3 and so forth. In partcular, we want to study the degrees of those bratonal transforms. Let d () 1, d() 2 be the degrees, respectvely, of the bratonal transforms of h 0 resp. S 0 under σ p σ p1. To study terates of a sngle map, let us assume that the sequence of ponts s perodc wth perod N,.e. p +N = p Let us also assume that all the ponts p are good. The growth rates of the degrees d () 1 resp. d () 2 for are then the frst resp. second dynamcal degrees of the composte σ pn σ p1. To compute the degrees, we frst defne a sequence of auxlary surfaces S wth morphsms s : S X nductvely as follows: for = 0, S 0 has already been defned, and s 0 s the ncluson nto X. Suppose now s : S X has been defned. Look at the commutatve dagram. s +1 (5.11) S +1 π +1 X +1 σ p+1 X+1 µ +1 µ +1 s S X σp+1 X.

18 18 BÖHNING, BOTHMER, AND SOSNA Here µ +1 : X+1 X s the modfcaton descrbed above: blow-up the pont p +1 on X and then the strct transform of the surface of lnes through p +1. The morphsm π +1 : S +1 S s a composte of blow-ups n reduced ponts, constructed n the way descrbed at the begnnng of ths secton, such that the dagonal dotted arrow becomes a morphsm s. Then s +1 s smply the composte s +1 = µ +1 σ p+1 s. Now, n the notaton of Proposton 5.2, we have dvsor classes H +1, Ẽ(p) +1, F (p) +1, Ỹ (p) +1 and ( σ p+1 ) ( H +1 ) on X +1 and we gve names to ther pull-backs va s to S +1 : D +1 := ( s ) (( σ p+1 ) ( H +1 )) E +1 := ( s ) (Ẽ(p) +1) F +1 := ( s ) ( F (p) +1 ) Y +1 := ( s ) (Ỹ (p) +1). Note that by the commutatvty of the dagram (5.11), the equalty ( s ) ( H +1 ) = ( s ) (µ +1 H) = π +1s H = π +1( s 1 σ p µ H) = π +1(D ) holds, so we do not need a new name for ( s ) ( H +1 ). Then the morphsm s : S X s defned by the lnear system D,.e. s (H) = D. Moreover, we make the followng smplfyng notatonal conventon: f some dvsor class D lves on S j, then for any > j we denote the pull-back of D to S va the composte S π... π j+1 S j smply by the same letter D. Thus, for example, h 0 S 0 defnes a class on each surface S by pull-back, and we denote all of them by the same letter, where, n a gven equaton, the context makes t clear on whch S ths holds. Now all the equatons (5.1) to (5.10) gve equatons on any surface S +1 by pullng the dvsors back va s. However, we want to mpose a certan genercty condton on the ponts p 1,..., p N such that these equatons take a smpler form. Assumpton 5.3. The N-perodc sequence of good ponts p can be chosen such that for a very general S 0 and h 0, the followng equatons hold on any blown-up surface S +1 : F +1.D = 0, E +1.F +1 = 0. In fact we wll assume somethng a lttle bt stronger, whch mples the prevous assumpton, but can be expressed more geometrcally n terms of the successve bratonal transforms of S 0 :

19 PROPERTIES OF DYNAMICAL DEGREES 19 Assumpton 5.4. The N-perodc sequence of good ponts p can be chosen such that for a very general S 0 and h 0, the surface s (S ) X s σ p+1 - adapted n the sense Lemma 4.1 (2) except for the followng phenomenon whch we allow to cause falure of σ p+1 -adaptedness: for a pont p k there can be a pont p τ(k) such that all ponts σ pl σ pk+1 (p k ), k l τ(k) 2 land n the open set where σ pl+1 s a local somorphsm onto the mage, and p τ(k) = σ pτ(k) 1 σ pk+1 (p k ). Moreover, the bratonal transform s τ(k) 1 (S τ(k) 1 ) X s such that ts strct transform n X τ(k) (obtaned from X by blowng up the pont p τ(k)) meets the exceptonal dvsor n a curve, Γ τ(k) say, whch does not concde wth the curve C τ(k) of drectons of lnes through p τ(k). In fact, ths condton ensures that E τ(k).f τ(k) = 0 on S τ(k) : ths s clear f Γ τ(k) and C τ(k) are even dstnct; but f they meet n only fntely many ponts, then, lookng back at Fgure 1, we fnd that S τ(k) can be vewed as a blow-up π : S τ(k) S τ(k) of a surface S τ(k) such that E τ(k) s a pull-back of a dvsor on S τ(k) and F τ(k) s exceptonal for π. Intutvely, we can express Assumpton 5.4 by sayng that we allow a curve n a certan bratonal transform of S 0 to be contracted to a reflecton pont p k at some stage of the teraton, and ths pont then wanders around, always stayng n the doman of defnton and away from the exceptonal locus of the respectve next reflecton, untl at some later tme t gets mapped to p τ(k) after applyng σ pτ(k) 1. We then also assume that the drectons of smooth curve germs whch le on the bratonal transform s τ(k) 1 (S τ(k) 1 ) X and whch pass through p τ(k) are not dentcal wth the drectons of lnes through p τ(k). In ths way, we wll always have E +1.F +1 = 0 under Assumpton 5.4 as well as F +1.D = 0 snce the bratonal transforms of S 0 ntersect n ponts the surfaces of lnes attached as ndetermnacy loc to subsequent reflectons. Thus Assumpton 5.4 s stronger than Assumpton 5.3. Moreover, we then have the successor functon τ : N N { }, whch assocates to k the value τ(k) f p k gets mapped to p τ(k) after a whle as n Assumpton 5.4, or s equal to f there s no successor (f the pont never gets mapped unto another reflecton pont). For the tme beng we wll not dscuss whether the genercty assumpton 5.4 can be satsfed by a certan confguraton of ponts p 1,..., p N on X. Also, ths s not so mportant from our pont of vew. Rather, we would lke to demonstrate that one can prove that some property (P) of dynamcal degrees forces specal geometrc confguratons on X, or conversely, that for sutably general confguratons, the dynamcal degrees fal to have property (P), f the confguraton s realzable. The followng result s a sample for ths.

20 20 BÖHNING, BOTHMER, AND SOSNA Theorem 5.5. Suppose that {p } s an N-perodc sequence of good ponts on X whch satsfy Assumpton 5.4. Then the frst and second dynamcal degrees of the map are equal. σ pn σ p1 Proof. Under the hypotheses, we have the equatons on S +1 D+1 2 = 2D 2 + 3E+1 2 Y+1 2 = D 2 2( E+1) 2 from (5.7) and (5.8), and from (5.9) and (5.10) D +1.h 0 = 2D.h 0 3E +1.h 0 Y +1.h 0 = D.h 0 2E +1.h 0 snce F +1.h 0 = 0 because F +1 les over ponts n S 0. Note that these equatons are vald unversally, but E +1 may very well be zero, and ndeed wll be unless + 1 s of the form τ(k). Now note that and abbrevate d (+1) 2 = D 2 +1, d (+1) 1 = D +1.h 0 t (+1) 2 := Y 2 +1, t (+1) 1 := Y +1.h 0. Moreover, note that under our geometrc Assumpton 5.4, we have Thus we get the recursons (5.12) (5.13) where we agree that we put E τ(k) = Y k. d (+1) 2 = 2d () 2 1 3t(τ (+1)) 2 t (+1) 2 = d () 2 1 2t(τ (+1)) 2 by defnton. Also, t (τ 1 (+1)) 2 := 0 f τ 1 ( + 1) = (5.14) (5.15) d (+1) 1 = 2d () 1 1 3t(τ (+1)) 1 t (+1) 1 = d () 1 1 2t(τ (+1)) 1 Note that τ 1 (1) =. Hence, the two sequences d () 1 and d () 2 are determned by the same set of recursons, startng from d (0) 1 = d (0) 2 = 3, t (0) 1 = t (0) 2 = 0, thus concde. In partcular, the frst and second dynamcal degrees of σ pn σ p1 are equal.

21 PROPERTIES OF DYNAMICAL DEGREES 21 Remark 5.6. In the set-up of Theorem 5.5, put C := l.c.m. =1,...,N {N, τ(1) 1, τ(2) 2,..., τ(n) N}. Then the recursons (5.11), (5.12) resp. (5.13), (5.14) show that there s a 2C 2C matrx M (wth constants as entres) such that for for the vectors v () 1 = (d (C+C) 1,..., d (1+C) 1, t (C+C) 1,..., t (1+C) 1 ) v () 2 = (d (C+C) 2,..., d (1+C) 2, t (C+C) 2,..., t (1+C) 2 ) we have v (+1) 1 = Mv () 1, v(+1) 2 = Mv () 2. Ths can be used to compute the dynamcal degrees for concretely gven successor functons τ. Under certan generalty assumptons, they wll be equal to the spectral radus of M. 6. Appendx: Inner product structures and generalzed Pcard-Mann spaces Another strong source of nequaltes for dynamcal degrees s the phenomenon of hyperbolcty; Pcard-Mann spaces and assocated hyperbolc spaces have so far been studed manly for dvsors on surfaces by Cantat, Blanc et al., see also [Xe15, Sect. 2], for a survey. We want to show that somethng smlar can be done under much more general crcumstances, usng cycles of hgher codmenson and the Hodge-Remann blnear relatons/the Hodge ndex theorem n hgher dmensons. For defnteness, we wll deal wth fourfolds X here only, and consder H 2 (X),.e., codmenson 2 algebrac cycles modulo homologcal equvalence, on them. However, the nner product structures we wll produce on our nfnte-dmensonal spaces wll be more complcated than Eucldean or hyperbolc. For a smooth projectve fourfold X and a surjectve bratonal morphsm π : Y X of another smooth projectve fourfold Y onto X, where we also assume that π s a successon of blow-ups along smooth centers, we can consder the nduced lnear maps on cycle classes (whch we take wth real coeffcents for convenence now) π : HR 2 (Y ) HR 2 (X), π : HR 2 (X) HR 2 (Y ). We wll wrte Y X and say that Y domnates X. Defnton 6.1. The generalzed Pcard-Mann spaces are gven as follows: as a projectve lmt wth respect to the push-forward maps H 2 (X) proj := lm H R 2 (Y ) Y X or as an njectve lmt usng the pull-back maps H 2 (X) nj := lm H R 2 (Y ). Y X

22 22 BÖHNING, BOTHMER, AND SOSNA The projecton formula shows that there s an njecton H 2 (X) proj H 2 (X) proj ; an analogous result holds for curves on surfaces, where the space constructed va the njectve lmt s sometmes called the space of Carter classes on the Zarsk-Remann space (or Pcard-Mann space), and the projectve lmt s called the space of Wel classes. We wll work wth the njectve lmt constructon n the sequel. Each of the spaces HR 2 (Y ) carres an nner product (, ), the (nondegenerate) ntersecton form. The pull-back maps π are sometres for bratonal proper maps Y X. Hence H 2 (X) nj carres the structure of an nfnte-dmensonal nner product space E(X). The advantage of ths s that any bratonal map f : X X nduces an sometry fe(x) of E(X): f an element α H 2 (X) nj s represented by a class α 1 H 2 (X 1 ) R where π : X 1 X domnates X, then there s a model p: X1 X such that f := π 1 f p: X1 X 1 s a morphsm. Then f (α 1 ) represents the mage under fe(x) of α 1 n E(X). Ths gves a well-defned map snce for any two models we can fnd a thrd domnatng both of them. Also f E(X) : E(X) E(X) s clearly an sometry. Note that for an ample class h on X, the dynamcal degrees of f are gven by the growth behavor of the nner products on E(X): ((f E(X) )n (h k ), h 4 k ) so the dynamcs of these sometres s mportant to study. Let us nvestgate the sgnature of the nner product/non-degenerate blnear form on E(X) more concretely: frst, for the H 2,2 -part of the mddle cohomology of a fourfold, we have the (orthogonal wth respect to the ntersecton form) Lefschetz decomposton H 2,2 = L 0 H 2,2 prm L1 H 1,1 prm L2 H 0,0 prm. Here L s the Lefschetz operator, and the subscrpt prm denotes prmtve cohomology. Moreover, the ntersecton form on L r H a,b prm s defnte of sgnature ( 1) a, and h a,b prm = ha,b h a 1,b 1. Hence the sgnature on H 2,2 (X) of a fourfold X s (6.1) h 2,2 prm h1,1 prm + h0,0 prm = h2,2 2h 1, In partcular, f we start wth a cubc fourfold, we obtan a postve ntersecton product on H 2,2. Now we start blowng up along ponts, curves and surfaces to obtan another model Y X, domnatng X. Let us see how ths affects the ntal sgnature.

23 PROPERTIES OF DYNAMICAL DEGREES 23 For a blow-up X Z of X n a smooth center Z of codmenson r we have the decomposton of Hodge structures, see, for example, [Vo03, Thm. 7.31]: H 4 ( X r 2 Z, Z) = H 4 (X, Z) H (Z, Z), where we shft the weghts n the Hodge structure on H (Z, Z) by ( + 1, + 1) to obtan a Hodge structure of weght 4 (and endow the ntersecton form on t wth a sgn f we want the decomposton to be compatble wth nner products). We also always have the equalty h 1,1 ( X Z ) = h 1,1 (X) + 1. Now suppose (1) Z s a pont: then h 2,2 ( X Z ) = h 2,2 (X) + 1, and by (4.1), the nner product, f we magne t to be dagonalzed over R to be gven by a matrx wth +1 s and 1 s on the dagonal, changes by addng one copy of 1. (2) Z s a curve C: then h 2,2 ( X Z ) = h 2,2 (X) + h 1,1 (C) + h 0,0 (C) = h 2,2 (X) + 2, and by (4.1) the nner product on the new vector space (whch s two dmensons bgger) changes by addng one copy of +1 and one of 1. (3) Z s a surface: then h 2,2 ( X Z ) = h 2,2 (X) + h 1,1 (S), the new H 2,2 s bgger by h 1,1 (S) dmensons, and the nner product changes by addng h 1,1 (S) 1 entres +1 and one entry 1. We can also descrbe the process on our algebrac cycles H 2 (X) (Hodge classes, snce the Hodge conjecture holds for a cubc fourfold) now: f Y X s obtaned by blowng up a pont, then H 2 (Y ) s one dmenson bgger than H 2 (X) and the ntersecton form descrbed by addng a 1 along the dagonal; f t s obtaned by blowng up a curve, then H 2 (Y ) s two dmensons bgger, and we add a +1 and a 1 along the dagonal for the new ntersecton product; f Y s obtaned by blowng up a surface, then H 2 (Y ) s bgger by the Pcard rank ρ of the surface, and we add ρ 1 entres +1 and one entry 1 along the dagonal for the new ntersecton product. Let E P(N Z/X ) be the exceptonal dvsor and p: E Z the nduced map. The extra cycles n H 2 (Y ) can be descrbed as the pull-backs va p of (1) the pont Z f Z s a pont, (2) the curve Z and a pont on t f Z s a curve, (3) curves on Z f Z s a surface, each tme ntersected wth an approprate power HE of the relatve hyperplane class H E of the projectve bundle E to get an algebrac two-cycle. Thus, f Z s a surface for example, we pull back curves on t to E, whch s a P 1 -bundle, to get surfaces on Y. If Z s a curve, E s a P 2 -bundle over t, and we get two extra surfaces as the class of a fber and H E (pushed forward to X). For a pont, we get a P 3 -bundle E over t, and one addtonal algebrac 2-cycle, namely H E, pushed forward to X. The stuaton s thus more complcated than the one wth Pcard-Mann spaces for surfaces, snce there one can only blow up ponts, always addng =0

24 24 BÖHNING, BOTHMER, AND SOSNA 1 s to the ntersecton form, whch makes the resultng lmt nto a hyperbolc space n the sense of Gromov. As we saw above, here we can be forced to add +1 s and 1 s, dependng on whether we blow up ponts, curves or surfaces. Hopefully the fact that on E(X) we acheve some sort of algebrac stablty for the map f (takng terates commutes wth passng to assocated maps on E(X)), and the fact that we can descrbe the nner product geometrcally n the above sense, can help to prove estmates for dynamcal degrees n terms of the Cremona degrees n several cases. References [B-C13] J. Blanc and S. Cantat, Dynamcal degrees of bratonal transformatons of projectve surfaces, preprnt (2013), arxv: [math.ag] [BBB15] F. Bogomolov, C. Böhnng and H.-C. Graf von Bothmer, Bratonally sotrval fber spaces, to appear n Eur. J. Math. (2015) [BBS15] C. Böhnng, H.-C. Graf von Bothmer and P. Sosna, On the dynamcal degrees of reflectons on cubc fourfolds, preprnt (2015), arxv: [math.ag] [EHa15] D. Esenbud and J. Harrs, 3264 & All That Intersecton Theory n Algebrac Geometry, forthcomng book, avalable at 1&verfer=VDocWAkVVQhh7azATFF35h9K1bqLz6Udtlgqqwq [Ful98] W. Fulton, Intersecton Theory, Second Edton, Sprnger-Verlag (1998) [Guedj10] V. Guedj, Proprétés ergodques des applcatons ratonnelles, Quelques aspects des systèmes dynamques polynomaux, Panor. Synthèses 30, Soc. Math. France, Pars (2010), [Ros56] M. Rosenlcht, Some basc theorems on algebrac groups, Amer. J. Math. 78 (1956), [RS97] A. Russakovsk and B. Shffman, Value dstrbuton for sequences of ratonal mappngs and complex dynamcs, Indana Unv. Math. J. 46 (1997), [Truo15] T. T. Truong, (Relatve) dynamcal degrees of ratonal maps over an algebrac closed feld, preprnt (2015), arxv: [math.ag] [Vo03] C. Vosn, Hodge Theory and Complex Algebrac Geometry I, Cambrdge studes n advanced mathematcs 77, Cambrdge Unversty Press (2003) [Xe15] J. Xe, Perodc ponts of bratonal transformatons on projectve surfaces, Duke Math. J. 164, Nr. 5 (2015), Chrstan Böhnng, Mathematcs Insttute, Unversty of Warwck, Coventry CV4 7AL, England E-mal address: C.Boehnng@warwck.ac.uk Hans-Chrstan Graf von Bothmer, Fachberech Mathematk der Unverstät Hamburg, Bundesstraße 55, Hamburg, Germany E-mal address: hans.chrstan.v.bothmer@un-hamburg.de Pawel Sosna, Fachberech Mathematk der Unverstät Hamburg, Bundesstraße 55, Hamburg, Germany E-mal address: pawel.sosna@math.un-hamburg.de