arxiv: v2 [math.ag] 17 Jul 2017

Transcription

1 A NOTE ON ENTROPY OF AUTO-EQUIVALENCES: LOWER BOUND AND THE CASE OF ORBIFOLD PROJECTIVE LINES arxiv: v2 [math.ag] 7 Jul 207 KOHEI KIKUTA, YUUKI SHIRAISHI, AND ATSUSHI TAKAHASHI Abstract. Entropy of categorical dynamics is defined by Dmitrov Haiden Katzarkov Kontsevich. Motivated by the fundamental theorem of the topological entropy due to Gromov Yomdin, it is natural to ask an equality between the entropy and the spectral radius of induced morphisms on the numerical Grothendieck group. In this paper, we add two results on this equality: the lowerbound in a general setting and the equality for orbifold projective lines.. Introduction It is interesting to bring some dynamical view points into the category theory. Motivated by the classical theory of dynamical systems, the notion of entropy of categorical dynamical systems (entropy of endo-functors for short) is defined by Dimitrov Haiden Katzarkov Kontsevich [DHKK]. The entropy of endo-functors is actually similar to the topological entropy in the sense of sharing many properties (Lemma 2.7, 2.8, 2.9). Moreover, the entropy of the derived pull-back of a surjective endomorphism of a smooth projective variety over C is equal to its topological entropy [KT]. In other words, the entropy of endo-functors can be thought of as a categorical generalization of the topological entropy. In this paper, we add two results on the entropy of endo-functors. The first one is that, for the perfect derived categories per(b) of a smooth proper differential graded algebra B, the lower bound of the entropy h(f) of an endo-functor F is given by the natural logarithm of the spectral radius ρ(n(f)) on the numerical Grothendieck group, called the(numerical) Gromov Yomdin type inequality (See also [KT, Conjecture 5.3]). It is motivated by the fundamental theorem of the topological entropy for complex dynamics on algebraic varieties due to Gromov Yomdin [Gro, Gro2, Yom]: Theorem (Theorem 2.3). For each endo-functor F of per(b) admitting left or right adjoint functors, such that F n B = 0 for n 0, we have h(f) logρ(n(f)). (.) Date: September 8, 208.

2 2 KOHEI KIKUTA, YUUKI SHIRAISHI, AND ATSUSHI TAKAHASHI For the proof, we use some norm inspired by the theory of dynamical degree and algebraic cycles due to Truong [Tru]. Ikeda shows this inequality by the mass-growth for Bridgeland s stability conditions [Ike]. The equality in the Gromov Yomdin type inequality is now known to hold for elliptic curves [Kik], varieties with the ample (anti-)canonical sheaf [KT] and abelian surfaces [Yos], which gives some applications to the topological entropy of dynamics on moduli spaces of stable objects in the sense of Bridgeland [Ouc, Yos]. But, in general, it does not hold for some Calabi-Yau varieties[fan, Ouc2]. As a corollary of the first main theorem, it is easy to show the equality for derived categories of hereditary finite dimensional algebras (Proposition 2.4, Corollary 2.5). The second result of this paper claims the equality for the derived category D b (P ) of an orbifold projective line P introduced by Geigle Lenzing [GL]. Orbifold projective lines are important and interesting objects since they are not only in the next class to hereditary finite dimensional algebras but few examples whose homological and classical mirror symmetry are well-understood (cf. [IST, IST2, IT, Kea, Ros, ST, Tak, Tak2, Ued]): Theorem (Theorem 3.0). For each auto-equivalence F of D b (P ), we have h(f) = logρ(n(f)). (.2) Moreover, ρ(n(f)) is an algebraic number and h(f) = 0 if χ A 0. It is an important and interesting problem to find a characterization of endo-functors attaining the lower bound of the inequality (.). Acknowledgements. The first named author is supported by JSPS KAKENHI Grant Number JP7J The second named author is supported by Research Fellowship of Japan Society for the Promotion for Young Scientists. The third named author is supported by JSPS KAKENHI Grant Number JP6H06337, JP Preliminaries 2.. Notations and terminologies. Throughout this paper, we work over the base field C and all triangulated categories are C-linear and not equivalent to the zero category. The translation functor on a triangulated category is denoted by []. All (triangulated) functors are C-linear. A triangulated category T is called split-closed if every idempotent in T splits, namely, if it contains all direct summands of its objects, and it is called thick if it is split-closed and closed under isomorphisms. For an object M T, we denote M by

3 A NOTE ON ENTROPY OF AUTO-EQUIVALENCES 3 the smallest thick triangulated subcategory containing M. An object G T is called a split-generator if G = T. A triangulated category T is said to be of finite type if for all M,N T we have n Z dim CHom T (M,N[n]) < Complexity. From now on, T,T denote triangulated categories of finite type. Definition 2. (Definition 2. in [DHKK]). For each M, N T, define the function δ T,t (M,N) : R R 0 { } in t by 0 if N = 0 p 0 A... A p N N δ T,t (M,N) := inf exp(n i t) i= M[n ] if N M M[n p ] if N M. The function δ T,t (M,N) is called the complexity of N with respect to M. Remark 2.2. If T has a split-generator G and M T is not isomorphic to a zero object, then an inequality δ T,0 (G,M) < holds. We recall some basic properties of the complexity. Lemma 2.3. Let M,M 2,M 3,M 4 T. (i) If M 2 M and M 2 = 0, then 0 < δt,t (M,M 2 ). (ii) If M = M3, then δ T,t (M,M 2 ) = δ T,t (M 3,M 2 ). (iii) If M 2 = M3, then δ T,t (M,M 2 ) = δ T,t (M,M 3 ). (iv) If M 2 = 0, then δt,t (M,M 3 ) δ T,t (M,M 2 )δ T,t (M 2,M 3 ). (v) We have δ T,t (M 4,M 2 ) δ T,t (M 4,M )+δ T,t (M 4,M 3 ) for an exact triangle M M 2 M 3. (vi) We have δ T,t(F(M ),F(M 2 )) δ T,t (M,M 2 ) for any triangulated functor F : T T. Lemma 2.4. Let D b (C) be the bounded derived category of finite dimensional C-vector spaces. For M D b (C), we have the following inequality δ D b (C),t(C,M) = l Z ( dimc H l (M) ) e lt. (2.) 2.3. Entropy of endo-functors. Endo-functor F means triangulated functor F : T T. We assume that all endo-functors of T satisfy that F n G = 0 for n 0 (if T has a split-generator G).

4 4 KOHEI KIKUTA, YUUKI SHIRAISHI, AND ATSUSHI TAKAHASHI Definition 2.5 (Definition 2.4 in [DHKK]). Let G be a split-generator of T and F an endo-functor of T. The entropy of F is the function h t (F) : R { } R given by h t (F) := lim n n logδ T,t(G,F n G). (2.2) It follows from [DHKK, Lemma 2.5] that the entropy is well-defined and doesn t depend on the choice of split-generators. Lemma 2.6. Let G,G be split-generators of T and F an endo-functor of T. The entropy h t (F) of F is given by h t (F) = lim n n logδ T,t(G,F n G ). (2.3) The three lemmas below show that the entropy of endo-functors is similar to the topological entropy. Lemma 2.7. Let G be a split-generator of T and F,F 2 endo-functors of T. (i) If F = F2, then h t (F ) = h t (F 2 ). (ii) We have h t (F m ) = mh t(f ) for m. (iii) we have h t (F F 2 ) = h t (F 2 F ). (iv) If F F 2 = F2 F, then h t (F F 2 ) h t (F )+h t (F 2 ). (v) If F = F 2 [m] (m Z), then h t (F ) = h t (F 2 )+mt. Lemma 2.8. Let F i be an endo-functor of T i with a split-generator G i (i =,2). If there exists a fully faithful functor F : T 2 T, which has left and right adjoint functors, such that F F 2 F F, then h t (F 2 ) h t (F ). Lemma 2.9. Let F i be an endo-functor of T i with a split-generator G i (i =,2). If there exists a essentially surjective functor F : T T 2 such that F F F 2 F, then h t (F 2 ) h t (F ). As a corollary of Lemma 2.9, we have the following Corollary 2.0. Let F an auto-equivalence of T. The entropy is a class function, namely, h t (F FF ) = h t (F). Let B be a smooth proper differential graded (dg) C-algebra B and per(b) the perfect derived category of dg B-modules, the full triangulated subcategory of the derived category D(B) of dg B-modules containing B closed under isomorphisms and taking direct summands. By definition, B is a split-generator of per(b). The following proposition enables us to compute entropy.

5 A NOTE ON ENTROPY OF AUTO-EQUIVALENCES 5 Proposition 2. (Theorem 2.7 in [DHKK]). Let G,G be split-generators of per(b) and F an endo-functor of per(b). The entropy h t (F) is given by where h t (F) = lim n n logδ per(b),t (G,Fn G ), (2.4) δ per(b),t (M,N) := m Zdim C Hom per(b) (M,N[m])e mt, M,N per(b). (2.5) Proof. The following is proven in the proof of [DHKK, Theorem 2.7]. Lemma 2.2. For each M per(b), there exist C (t),c 2 (t) for t R such that C (t)δ per(b),t (G,M) δ per(b),t(g,m) C 2 (t)δ per(b),t (G,M). In particular, for each M per(b) we have lim n n logδ per(b),t(g,m) = lim n n logδ per(b),t (G,M). (2.6) Together with Lemma 2.6, we have h t (F) = lim n n logδ per(b),t(g,f n G ) = lim We finished the proof of the proposition. per(b), set n n logδ per(b),t (G,Fn G ). In order to state the first main theorem, we prepare some terminologies. For M,N χ(m,n) := n Z( ) n dim C Hom per(b) (M,N[n]). (2.7) It naturally induces a bilinear form on the Grothendieck group K 0 (per(b)) of per(b), called the Euler form, which is denoted by the same letter χ. Then the numerical Grothendieck group N(per(B)) is defined as the quotient of K 0 (per(b)) by the radical of χ (which is well-defined by the Serre duality). It is important to note that N(per(B)) is a free abelian group of finite rank by Hirzebruch-Riemann-Roch theorem [Shk, Lun]. If an endo-functor F of per(b) admits left or right (hence both by the Serre duality) adjoint functors, it respects the radical of χ. Therefore, it induces an endomorphism N(F) on N(per(B)). Note that an endo-functor lifting to a dg endo-functor of the dg category per dg (B) admits adjoint functors. The spectral radius ρ(n(f)) of N(F) is the maximum of absolute values of eigenvalues of C-linear endomorphism N(F) Z C. Set δ T := δ T,0,δ T := δ T,0,h := h 0. Inspired by the theory of dynamical degree and algebraic cycles due to Truong (cf. [Tru, eq. (3.2)]), we show the following:

6 6 KOHEI KIKUTA, YUUKI SHIRAISHI, AND ATSUSHI TAKAHASHI Theorem 2.3. For each endo-functor F of per(b) admitting left or right adjoint functors, we have h(f) logρ(n(f)). (2.8) Proof. Let v,,v p (v i = [M i ],M i per(b)) be a fixed basis of N(per(B)). Set M 0 := i M i,n(per(b)) R := N(per(B)) Z R,N(F) R := N(F) Z R,χ R := χ Z R. Define a norm on N(per(B)) R by v := p χ R (v i,v), v N(per(B)) R, (2.9) i= which induces an operator norm of N(F) R, that is, N(F) R := sup N(F) R v. By v = the compactness of the subset { v = } N(per(B)) R, there exists a positive number C > 0 such that p χ(v i,n(f)v j ) C N(F) R. i,j= Note that B M 0 is a split-generator of per(b). By Proposition 2., the statement follows from h(f) = lim n n logδ per(b) (B M 0,F n (B M 0 )) lim n n logδ per(b)(m 0,F n M 0 ) lim n n log i,j χ(v i,n(f n )v j ) lim n n log N(F)n R = logρ(n(f)). Let Auteq(T) be the group of (natural isomorphism classes of) auto-equivalences of a triangulated category T. Proposition 2.4. Let B be a hereditary finite dimensional C-algebra. For each autoequivalence F Auteq(per(B)), we have h(f) = logρ(n(f)). (2.0) Proof. Due to Theorem 2.3, we only need to show the upper bound. Let P,...,P dimc B be indecomposable modules. Each auto-equivalence F sends an indecomposable object to an indecomposable one. Since B is hereditary, there exists m Z such that the

7 A NOTE ON ENTROPY OF AUTO-EQUIVALENCES 7 indecomposable object F n (P i )[m] is isomorphic to an object concentrated in degree zero, namely, a B-module. By Proposition 2., we have h(f) = lim n n logδ per(b)(b,f n ( dim CB i= P i )) dimcb = lim n n log i= χ(b,f n (P i )) logρ(n(f)). Corollary 2.5. Suppose that B = C for some Dynkin quiver. Then, we have Proof. It is known by [MY, Theorem 3.8], that h(f) = logρ(n(f)) = 0. (2.) Auteq(per(B)) = S B,S B [ ] Aut( ), (2.2) wheres B istheserrefunctorofper(b)andaut( )isthefinitesubgroupofauteq(per(b)) consisting of automorphisms of. Again, by [MY, Theorem 3.8], S B is of finite order up to translation. The statement follows from Lemma 2.7 (ii), (iv) and (v). 3. Orbifold projective lines In this section, we shall show the Gromov Yomdin type theorem for the entropy of an auto-equivalence on the derived category D b (P ) of coherent sheaves on an orbifold projective line P. We first recall the definition of orbifold projective line in [GL]. Let r 3 be a positive integer. Let A = (a,...,a r ) be a multiplet of positive integers andλ = (λ,...,λ r )amultiplet ofpairwise distinct elements ofp (C)normalized such that λ =, λ 2 = 0 and λ 3 =. In order to introduce an orbifold projective line, we prepare some notations. Definition 3.. Let r, A and Λ be as above. (i) Define a ring R by R := C[X,...,X r ]/I Λ, (3.a) where I Λ is an ideal generated by r 2 homogeneous polynomials X a i i X a 2 2 +λ i X a, i = 3,...,r. (3.b) (ii) Denote by L A an abelian group generated by r-letters X i, i =,...,r defined as the quotient L A := r ZX i /M A, i= (3.2a)

8 8 KOHEI KIKUTA, YUUKI SHIRAISHI, AND ATSUSHI TAKAHASHI where M A is the subgroup generated by the elements a ixi a jxj, i < j r. (iii) Set r a := l.c.m(a,...,a r ), µ A := 2+ (a i ), χ A := 2+ i= We then consider the following quotient stack: (3.2b) r ( ). (3.3) a i i= Definition 3.2. Let r, A and Λ be as above. Define a stack P by P := [(Spec(R )\{0})/Spec(CL A )], (3.4) which is called the orbifold projective line of type (). The orbifold projective line is a Deligne Mumford stack whose coarse moduli space is a smooth projective line P. Denote by gr L A (R ) the abelian category of finitely generated L A -graded R - modules and denote by tor L A (R ) the full subcategory of gr L A (R ) whose objects are finite-dimensional L A -graded R -modules. It is known (cf. [GL, Section.8]) that the abelian category Coh(P ) of coherent sheaves is given by Coh(P ) = gr L A (R )/tor L A (R ). (3.5) Denote by D b (P ) the bounded derived category Db (Coh(P )) of Coh(P ). For each l L A, set where (R ( l)) l := (R ) l+ l. form O P ( l) := [R ( l)] Coh(P ), (3.6) Set c := a x = = a r x r. The element x L A has the unique expression of the x = l c+ r p i x i, 0 p i a i. (3.7) We say that x is positive if x 0, l 0 and x i 0 for i =,...,r. i= For a C-module M, set M := Hom C (M,C). Proposition 3.3 (Section.8. and Section 2.2 in [GL]). We have the following: (i) For x, y L A with x y positive, Hom(O P ( x),o P ( y)) = 0. (3.8)

9 A NOTE ON ENTROPY OF AUTO-EQUIVALENCES 9 (ii) Set ω := (r 2) c r i= x i L A. For M,M 2 Coh(P ), we have the Serre duality isomorphism: Ext (M 2,M ) = Hom(M,M 2 O P ( ω)). (3.9) (iii) The category Coh(P ) is hereditary, namely, Exti (M,M 2 ) = 0 for M,M 2 Coh(P ) if i 0,. Remark 3.4. It follows from Proposition 3.3 (iii) that each indecomposable object of D b (P ) is of the form M[n] for some M Coh(P ) and n Z. Proposition 3.5 (Section.8. and Section 4. in [GL]). The following sequences are full strongly exceptional collections: (E,...,E µa ) := (O P,O P ( x ),...,O P ((a ) x ),..., O P ( x r ),...,O P ((a r ) x r ),O P ( c)) (E µ A,...E ) := (O P ( c),o P ( (a r ) x r ),...,O P ( x r ),..., In particular, G := µ A i= E i and G := O P ( (a ) x ),...,O P ( x ),O P ). µ A i= E i are split-generators of D b (P ). It follows from Proposition 3.5 that D b (P ) = per(end(g)) since the triangulated category D b (P ) is algebraic. Denote by N(P ) its numerical Grothendieck group. Definition 3.6 (Section 2.5 in [GL]). Take [ : λ] P \{λ,...,λ r }. Define S and S i,j for i =,...,r and j = 0,...,a i by the following exact sequences: 0 O P ( 0) Xa λxa 2 2 O P ( c) S 0, (3.0) 0 O P (j x i ) X i O P ((j +) x i ) S i,j 0. (3.) Definition 3.7 (Section.8.2 and Section 2.8 in [GL]). The rank and degree are homomorphisms defined as follows: rk : N(P ) Z, rk([o P ]) :=, rk([s]) := 0 and rk([s i,j]) := 0, (3.2) deg : N(P ) Z, deg([o P ( x i )]) := a a i and deg([o P ]) := 0. (3.3) Definition 3.8. Denote by Pic(P ) the group consisting of (isomorphism classes of) indecomposable objects in Coh(P ) of rank one with multiplication induced by the tensor product.

10 0 KOHEI KIKUTA, YUUKI SHIRAISHI, AND ATSUSHI TAKAHASHI Lemma 3.9 (Section 2. in [GL]). There is an isomorphism of abelian groups L A = Pic(P ), x i := [ X i ] O P ( x i ). (3.4) One of our results is the following Gromov Yomdin type theorem for an orbifold projective line: Theorem 3.0. For each auto-equivalence F of D b (P ), we have h(f) = logρ(n(f)). (3.5) Moreover, ρ(n(f)) is an algebraic number and h(f) = 0 if χ A Proofof Theorem 3.0 for the case χ A 0. ItisimportanttonotethatLenzing Meltzer ([LM, Proposition 4.2]) shows that, if χ A 0, Auteq(D b (P )) (Aut(P ) Pic(P )) Z[]. (3.6) 3... Case χ A > 0. Geigle Lenzing (cf. [GL, Section 5.4.]) gives an equivalence of triangulated categories where A is the extended Dynkin quiver below. D b (P ) = D b (C A ), (3.7) A (,a 2,a 3 ) (2,2,a 3 ) (2,3,3) (2,3,4) (2,3,5) A Ã a,a 2 Da3 Ẽ 6 Ẽ 7 Ẽ 8 This equivalence with Corollary 2.5 yields h(f) = logρ(n(f)). Then, [MY, Theorem 4.2, Theorem 4.5] show that ρ(n(f)) =. We have finished the proof Case χ A < 0. We shall prove that h(f) = 0 for each F (Aut(P ) Pic(P )) Z[] if χ A 0. Choose {[O P ],[S, ],...,[S i,j ],...,[S r,ar ],[S]} as a basis of N(P ). Lemma 3.. For f Aut(P ), the automorphism N(f ) is a composition of permutations exchanging [S i,j ] and [S i,j] for j =,...a i if a i = a i and fixing [O P ] and [S]. In particular, we have ρ(n(f )) =. Proof. This is a direct consequence of [LM, Proposition 3.]. Note also that r 3 since χ A 0 and hence Aut(P ) is a finite group. Lemma 3.2. For L Pic(P ), we have ρ(n( L)) =.

11 A NOTE ON ENTROPY OF AUTO-EQUIVALENCES Proof. We may assume that L = O P ( x i ). By [GL, (2.5.3) and (2.5.4)], for i =,...,r and j =,...,a i, S O P ( x) = S, S i,j O P ( x) = S i,j+pi for x = l c+ r p i x i. (3.8) It follows from the above isomorphisms that the representation matrix of N( L) in the basis becomes an upper triangular matrix whose diagonal entries are all. Hence, its spectral radius is equal to. Each auto-equivalence F is represented as F = f ( L)[m] (cf. (3.6)). Since Lemma 2.7 (v) gives h(f) = h(f ( L)), we may assume F = f ( L). Proposition 3.3. We have h(f ( L)) = logρ(n(f ( L))) = 0. (3.9) Proof. Take G and G as in Proposition 3.5. By Proposition 2., h(f) = lim n n logδ D b (P )(G,Fn G ). By straightforward calculation, F n G = L L 2 L n (f ) n G, L k := (f ) k L. Note that f (G ) = G and deg(f L) = deg(l) by Lemma 3.. Suppose that deg(l) > 0. For n 0 and z L A, we have deg(l L 2 L n O P ( z)) = ndeg(l)+deg(o P ( z)) 0. Therefore, Proposition 3.3 (i) and (ii) yield Ext (G,L L 2 L n G ) = Hom(L L 2 L n G,G O P ( ω)) = 0. Suppose that deg(l) 0. We choose z L A so that deg(o P ( z)) 0. The elements G := G O P ( z) and G := G O P ( z) are also split-generators. Therefore, Proposition 3.3 (i) yields Hom(G,L L 2 L n G ) = 0. Hence it follows from Proposition 3.3 (iii), Lemma 3. and Lemma 3.2 that h(f) = lim n n log χ(g,fn G ) logρ(n(f)) = logρ(n(f ( L)) = 0. i=

12 2 KOHEI KIKUTA, YUUKI SHIRAISHI, AND ATSUSHI TAKAHASHI To summarize, we have finished the proof of Theorem 3.0 for the case χ A < Proof of Theorem 3.0 for the case χ A = 0. Define a homomorphism ν : N(P ) Z2 by ν([m]) := (rk([m]),deg([m])) and a skew symmetric bilinear form on Z 2 by χ : Z 2 Z 2 Z, ((r,d ),(r 2,d 2 )) r d 2 r 2 d. (3.20) Lemma 3.4. For M,M 2 D b (P ), we have a χ(m (j ω),m 2 ) = χ (ν(m ),ν(m 2 )). (3.2) j= Proof. It follows from [GL, Section 2.9] with χ A = 0. Lemma 3.4 gives the following natural group homomorphism: ϕ : Auteq(D b (P )) Aut Z(Z 2,χ ) = SL(2,Z). (3.22) Denote by Pic 0 (P ) Pic(P ) the subgroup consisting of elements with degree zero. Proposition 3.5. There exists the following exact sequence: {} (Aut(P ) Pic0 (P )) Z[2] Auteq(Db (P )) ϕ SL(2,Z) {}. (3.23) Proof. This is a direct consequence of [LM, Theorem 6.3]. Lemma 3.6. The map h : Auteq(D b (P )) R 0, F h(f) factors through SL(2,Z). Proof. Choose O P ( z) so thatdeg(o P ( z)) 0andset G := G O P ( z), G := G O P ( z). By Lemma 2.7 (v), we can assume that an element F Auteq(D b (P )) is of the form F = F F with F Auteq(D b (P )) and F Aut(P ) Pic0 (P ). Then there exist F 2,...,F n Aut(P ) Pic0 (P ) such that Fn = (F F ) n = F n F n F. We have and hence, δ D b (P ) (G,F n G ) δ D b (P ) (G,F n G )δ D b (P ) (G,F n F G ), h(f) h(f )+ lim n logδ D b (P ) (G,F n F G ). The functor F i is of the form fi ( L i ) for some f i Aut(P ) and L i Pic 0 (P ). n For arbitrary y L A, we have deg(f n F (O P ( y))) = deg(o P ( y)). Therefore, it

13 A NOTE ON ENTROPY OF AUTO-EQUIVALENCES 3 follows from Proposition 3.3 (i),(iii) that δ D b (P )(G,F n F G ) = χ(g,f n F G ). Lemma 2.2, Lemma 3. and Lemma 3.2 yield lim n n logδ D b (P ) (G,F n F G ) = lim n n logδ D b (P )(G,F n F G ) = lim n n log χ(g,f n F G ) = 0, and hence h(f) h(f ). We also have h(f ) h(f) since F = FF and F belongs to Aut(P ) Pic0 (P ). Proposition 3.7. We have h(f) = logρ(n(f)). Proof. Since h(f[]) = h(f), we may assume that tr(ϕ(f)) 0. It is easy to calculate h(f) = 0 if tr(ϕ(f)) = 0, since ϕ(f) is of finite order and hence F is of finite order up to Aut(P ) Pic0 (P ). If tr(ϕ(f)) = 2, then F = ( O P ( x))f with F Aut(P ) Pic0 (P ) for some x L A. It follows from Proposition 3.3 that h(f) = h( O P ( x)) = 0 = logρ(n(f)). Suppose now that tr(ϕ(f)) > 2. Lemma 3.8. For indecomposable objects M,M 2 Coh(P ), we have Ext (M,M 2 ) = 0 if χ (ν(m ),ν(m 2 )) > 0. (3.24) Proof. The statement follows from the slope-stability for orbifold projective lines (Proposition 5.2 in [GL]) and Proposition 3.3 (ii). Lemma 3.9(Proposition4.6in[Kik]). Assume that tr(ϕ(f)) > 2. There existsasequence of positive integers m = (m 2n,...,m ) with n such that ϕ(f) is conjugate in SL(2,Z) to ( m 2n m 2n +m 2n m 2n ) ( m m 2 +m m 2 ). (3.25) For each sequence of positive integers m = (m 2n,...,m ) with n, take F m Auteq(D b (P )) so that ϕ(f m ) = ( m 2n m 2n +m 2n m 2n ) For positive x, y L A, an elementary calculation gives ( m m 2 +m m 2 χ (ν(o P ( x)),ν(f n mo P ( y))) > 0. ).

14 4 KOHEI KIKUTA, YUUKI SHIRAISHI, AND ATSUSHI TAKAHASHI Take G,G as in Proposition 3.5 and a positive x L A. By Proposition 3.3 (iii), Lemma 3.8, we obtain h(f m ) = lim n n logδ D b (P )(G O P ( x),f m(g O n P ( x))) Lemma We have χ(g = lim n n log O P ( x),f m n (G O P ( x))) logρ(n(fm )). In particular, ρ(n(f)) is an algebraic number. ρ(n(f)) = ρ(ϕ(f)). (3.26) Proof. The inequality ρ(n(f)) ρ(ϕ(f)) follows fromthe commutativity: ϕ(f) ν = ν N(F). The fact that ϕ factors thorough the surjection Aut Z (N(P ),χ) Aut Z(Z 2,χ ) ([LM, Theorem 7.3]) yields the reversed inequality. Since ϕ(f m ) is conjugate to ϕ(f), it follows from Lemma 3.6 and Lemma 3.20 that h(f) = h(f m ) logρ(n(f m )) = logρ(ϕ(f m )) = logρ(ϕ(f)) = logρ(n(f)). By Theorem 2.3, we finished the proof of Proposition 3.7, hence of Theorem 3.0. References [DHKK] G. Dimitrov, F. Haiden, L. Katzarkov, M. Kontsevich, Dynamical systems and categories, Contemporary Math. 62 (204), [Fan] Y. W. Fan, Entropy of an autoequivalences Calabi-Yau manifolds, arxiv: [Gro] M. Gromov, On the entropy of holomorphic maps. Enseign. Math. 49 (2003), [Gro2] M. Gromov, Entropy, homology and semialgebraic geometry, Astérisque 45 46(987), [GL] W. Geigle, H. Lenzing, A class of weighted projective curves arising in representation theory of finite-dimensional algebras, Singularities, representation of algebras, and vector bundles, Springer Lecture Notes 274 (987), [Ike] A. Ikeda, Mass growth of objects and categorical entropy, arxiv: [IST] Y. Ishibashi, Y. Shiraishi, A. Takahashi, A Uniqueness Theorem for Frobenius Manifolds and Gromov Witten Theory for Orbifold Projective Lines, J. Reine Angew. Math. 702 (205), [IST2] Y. Ishibashi, Y. Shiraishi, A. Takahashi, Primitive Forms for Affine Cusp Polynomials, arxiv:2.28. [IT] K. Iwaki, A. Takahashi, Stokes matrices for the quantum cohomologies of a class of orbifold projective lines, J. Math. Phys. 54, 070 (203). [Kea] A. Keating, Homological mirror symmetry for hypersurface cusp singularities, arxiv: [Kik] K. Kikuta, On entropy for autoequivalences of the derived category of curves, Adv. Math. 308 (207), [KT] K. Kikuta, A. Takahashi. On the categorical entropy and the topological entropy, Int Math Res Notices (207), DOI:

15 A NOTE ON ENTROPY OF AUTO-EQUIVALENCES 5 [LM] H. Lenzing, H. Meltzer, The automorphism group of the derived category for a weighted projective line, Comm. Algebra 28 (2000), [Lun] V. Lunts, Lefschetz fixed point theorems for Fourie Mukai functors and dg algebras, J. Algebra 356 (202), [MY] J. Miyachi, A. Yekutieli, Derived Picard Groups of Finite Dimensional Hereditary Algebras, Compositio Math. 29 (200), [Ouc] G. Ouchi, Automorphisms of positive entropy on some hyperkähler manifolds via derived automorphisms of K3 surfaces, arxiv: [Ouc2] G. Ouchi, On entropy of spherical twists, arxiv: [Ros] P. Rossi, Gromov-Witten theory of orbicurves, the space of tri-polynomials and Symplectic Field Theory of Seifert fibrations, Math. Ann. 348 (200), [Shk] D. Shklyarov, Hirzebruch-Riemann-Roch theorem for DG algebras, arxiv: v3. [ST] Y. Shiraishi, A. Takahashi, On the Frobenius Manifolds for Cusp Singularities, Adv. in Math. 273 (205), [Tak] A. Takahashi, Weighted Projective Lines Associated to Regular Systems of Weights Dual Type, Adv. Stud. Pure Math. 59 (200), [Tak2] A. Takahashi, Mirror symmetry between orbifold projective lines and cusp singularities, Adv. Stud. Pure Math ), [Tru] T. T. Truong, Relations between dynamical degrees, Weil s Riemann hypothesis and the standard conjectures, arxiv: [Ued] K. Ueda, Homological Mirror Symmetry and Simple Elliptic Singularities, arxiv:math/ [Yom] Y. Yomdin, Volume growth and entropy, Israel J. Math. 57 (987), [Yos] K. Yoshioka, Categorical entropy for Fourier Mukai transforms on generic abelian surfaces, arxiv: Department of Mathematics, Graduate School of Science, Osaka University, Toyonaka Osaka, , Japan address: k-kikuta@cr.math.sci.osaka-u.ac.jp Department of Mathematics, Graduate School of Science, Kyoto University, Kyoto , Japan address: yshiraishi@math.kyoto-u.ac.jp Department of Mathematics, Graduate School of Science, Osaka University, Toyonaka Osaka, , Japan address: takahashi@math.sci.osaka-u.ac.jp