## KAWAGUCHI-SILVERMAN CONJECTURE FOR INT-AMPLIFIED ENDOMORPHISM

SHENG MENG, GUOLEI ZHONG

Abstract. Let X be a Q -factorial klt projective variety admitting an int-amplified endomorphism f , i.e., the modulus of any eigenvalue of f ˚ | NS p X q is greater than 1. We prove Kawaguchi-Silverman conjecture for f and also any other surjective endomorphism of X : the first dynamical degree equals the arithmetic degree of any point with Zariski dense orbit. This generalizes an early result of Kawaguchi and Silverman [KS16b] for the polarized f case, i.e., f ˚ | NS p X q is diagonalizable with all eigenvalues of the same modulus greater than 1.

## Contents

| 1.         | Introduction                                                      |   2 |
|------------|-------------------------------------------------------------------|-----|
| 1.1.       | Kawaguchi-Silverman Conjecture                                    |   2 |
| 1.2.       | Main result                                                       |   4 |
| 1.3.       | Strategy: reducibility and equivariancy                           |   5 |
| 2.         | Preliminary                                                       |   7 |
| 2.1.       | Varieties, divisors and singularities                             |   7 |
| 2.2.       | Reflexive sheaves                                                 |   8 |
| 2.3.       | Fibrations                                                        |   9 |
| 2.4.       | Endomorphisms and dynamical invariants                            |  10 |
| 3.         | Transcendental argument                                           |  11 |
| 4.         | Positivity of dynamically invariant reflexive sheaves             |  12 |
| 5.         | Zariski local triviality and splitting of toric fibration         |  16 |
| 6.         | Proof of Theorem 1.5                                              |  20 |
| 7.         | Equivariant modification of toric fibration, Proof of Theorem 1.7 |  22 |
| 8.         | Proof of Main Theorem                                             |  25 |
| References | References                                                        |  26 |

2020 Mathematics Subject Classification. 14E30, 14H30, 14M25, 20K30, 32H50.

Key words and phrases. Kawaguchi-Silverman conjecture, arithmetic degree, dynamical degree, intamplified endomorphism, equivariant minimal model program.

## 1. Introduction

We work over an algebraically closed field k of characteristic zero.

Let f : X Ñ X be a surjective endomorphism of a normal projective variety X . There are two fundamental dynamical invariants that characterize f from the perspectives of topology and arithmetic.

Let H be an ample divisor of X . Then the first dynamical degree δ f is defined as

$$\lambda \colon = \lim _ { m \to + \infty } \left ( ( f ^ { m } ) ^ { * } H \cdot H ^ { \dim X - 1 } \right ) ^ { 1 / m }. \intertext { independent of the choice of $H$, exists and is ec}$$

This limit, which is independent of the choice of H , exists and is equal to the spectral radius of f ˚ | NS p X qb Z C , where NS p X q is the N´ eron-Severi group of X (see [DS04, DS05]; cf. [Dan19]).

Suppose that k is the field Q of algebraic numbers. Let h H be a Weil height function associated with an ample divisor H of X . The arithmetic degree is defined as a function on X p Q q :

$$\alpha _ { f } ( x ) \coloneqq \lim _ { m \to + \infty } \max \{ 1, h _ { H } ( f ^ { m } ( x ) ) \} ^ { 1 / m }.$$

This limit, which is also independent of the choice of H , exists and equals either 1 or the modulus of some eigenvalue of f ˚ | NS p X qb Z C (see [KS16a, Proposition 12] and [KS16b, Theorem 3]).

We refer the reader to Definitions 2.11 and 2.12 for a detailed explanation.

- 1.1. Kawaguchi-Silverman Conjecture. Our starting point in this paper is to study the Kawaguchi-Silverman Conjecture (abbreviated as KSC ), which was proposed by Kawaguchi and Silverman [KS16b, Conjecture 6]. Originally formulated for dominant rational self-maps, we focus here on its version for endomorphisms.

Conjecture 1.1 (Kawaguchi-Silverman Conjecture = KSC) . Let f : X Ñ X be a surjective endomorphism of a projective variety X over Q . Then

$$\alpha _ { f } ( x ) = \delta _ { f }$$

for any x P X p Q q with the orbit O f p x q ' t f n p x q | n ě 0 u being Zariski dense in X .

Remark 1.2. To the best knowledge of ourselves, Conjecture 1.1 is known to hold in the following cases.

- (i) f is polarized (see [KS16b, Theorem 5]).
- (ii) X is a smooth projective surface (see [KS14, Theorem 10] and [MSS18, Theorem 1.3]).
- (iii) X is a Mori dream space (e.g. of Fano type; see [Mat20a, Theorem 4.1]).
- (iv) X is an abelian variety (see [KS16b, Corollary 32], [Sil17, Theorem 2]).

- (v) X is a Hyperk¨hler variety (see [LS21, Theorem 1.2]). a
- (vi) X is a smooth rationally connected projective variety admitting an int-amplified endomorphism (see [MZ22] and [MY22] for threefolds and n -folds respectively).
- (vii) X is a smooth projective 3-fold and deg p f q ą 1 (see [MZ23b]; cf. [LS21, Prop. 1.6]).

We refer to [CLO22,HZ23,JSXZ21,KS14,MW24,Mat20b,Mat24,Ogu24,Xie24] for various other settings of KSC (e.g., the version for dominant rational self-maps). For a comprehensive overview of the current state of Conjecture 1.1, we also direct the reader to the recent survey paper [Matz23].

Among the various advances towards the KSC, a crucial tool is the canonical height function (cf. [CS93]), used to evaluate the arithmetic degree. Let D P NS p X q b Z R be a divisor satisfying f ˚ D ' qD for some q ą 1. Then the canonical height associated to D and f is defined as

$$\hat { h } _ { D, f } ( x ) = \lim _ { n \rightarrow + \infty } \frac { h _ { D } ( f ^ { n } ( x ) ) } { q ^ { n } }.$$

This limit exists and satisfies

$$\hat { h } _ { D, f } \circ f = q \cdot \hat { h } _ { D, f }, \text{ \ and \ } \hat { h } _ { D, f } = h _ { D } + O ( 1 ),$$

where O p 1 q denotes a bounded function (see [CS93, Theorem 1.1]). By [MMS+22, Theorem 1.9], we can find a nef R -Cartier divisor D ı 0 such that f ˚ D ' R δ f D . Thus, if we further assume that ˆ h D,f p x q ‰ 0 for any given x with Zariski dense orbit, then we obtain that α f p x q ě δ f (cf. [MSS18, Lemma 3.3]); in particular, KSC holds in this case.

When D is ample, the Northcott finiteness property (cf. [HS00, Theorem B.3.2(g)] or [Lan83, Theorem 2.6]) asserts that the set

$$\{ x \in X ( \overline { \mathbb { Q } } ) \ | \ [ K ( x ) \, \colon \mathbb { Q } ] \leqslant d, \ h _ { D } ( x ) \leqslant M \}$$

is finite for any given d ą 0 and M ą 0, where K x p q is the number field defining x . This implies that ˆ h D,f p x q ' 0 if and only if the orbit O f p x q is finite. When D is Q -Cartier with the Iitaka dimension κ X, D p q ą 0, we have ˆ h D,f p x q ‰ 0 if O f p x q is Zariski dense in X by taking the Iitaka fibration; see [Mat20a, Proposition 3.6].

Difficulty. In general, δ f is not a rational number, so we cannot always expect the existence of a Q -Cartier eigenvector D . Moreover, even if such a Q -Cartier divisor exists, it does not necessarily have positive Iitaka dimension. As a result, the machinery of canonical heights does not function as effectively as it does in the case of polarized endomorphisms (cf. [KS16b, Question 10]).

- 1.2. Main result. A surjective endomorphism f of a normal projective variety X is called int-amplified if f ˚ H ´ H is ample for some ample divisor H

(cf. Definition 2.10). Alternatively, this is equivalent to having ι f ą 1, where ι f denotes the smallest modulus of the eigenvalues of f ˚ | NS p X qb Z C (see [Men20, Theorem 1.1]). It is also equivalent to being p dim X q -cohomologically hyperbolic , i.e., the last dynamical degree is strictly larger than the other dynamical degrees (see [MZ23a, Proposition 3.7]).

Int-amplified endomorphisms have gradually emerged as key tools in the study of general endomorphisms, particularly in the reduction of a non-isomorphic endomorphism to a polarized endomorphism. For several applications in different contexts, we refer the reader to [JXZ23] and [MZZ22].

Zhang and the first author [MZ22] made the initial attempt to prove KSC for intamplified endomorphisms using the theory of equivariant minimal model program (EMMP); see [Men20,MZ20] for further details. The program progressed smoothly until a specific obstruction emerged, referred to as Case TIR. Roughly speaking, TIR stands for 'totally invariant ramification', but it involves additional geometric and dynamical constraints, as detailed below.

Case TIR n (Totally Invariant Ramification case). Let X be a normal projective variety of dimension n ě 1, which has only Q -factorial Kawamata log terminal (klt) singularities and admits one int-amplified endomorphism. Let f : X Ñ X be an arbitrary surjective endomorphism. Moreover, we impose the following conditions.

- (A1) The anti-Kodaira dimension κ X, p ´ K X q ' 0; ´ K X is nef, whose class is extremal in both the nef cone Nef p X q and the pseudo-effective divisors cone PE 1 p X q .
- (A2) f ˚ D ' δ f D for some prime divisor D ' Q ´ K X .
- (A3) The ramification divisor of f satisfies Supp R f ' D .
- (A4) There is an f -equivariant Fano contraction τ : X Ñ Y with δ f ą δ f | Y ( ě 1).

Theorem 1.3 (see [MZ22, Theorem 1.7]) . Let X be a Q -factorial klt projective variety admitting an int-amplified endomorphism. Then we have:

- (1) If K X is pseudo-effective, then KSC holds for any surjective endomorphism of X .
- (2) Suppose that KSC holds for Case TIR (for those f | X i : X i Ñ X i appearing in any equivariant MMP starting from X ). Then KSC holds for any (not necessarily int-amplified) surjective endomorphism f of X .

In [MZ22, Theorem 8.6] and subsequently in [MMSZ23, Theorem 6.6], it was shown that Case TIR is not possible when dim X ´ dim Y ' 1 or when dim X ´ dim Y ' 2 and X has terminal singularities. Building on this, KSC was proved for any surjective

endomorphism of a smooth projective threefold that admits an int-amplified endomorphism; see [MMSZ23, Theorem 1.5]. As mentioned earlier, this result further contributed to proving KSC for any non-isomorphic surjective endomorphism of a smooth projective threefold without the requirement of int-amplified endomorphisms; see [MZ23a, Theorem 1.7]. The general question regarding Case TIR is posed in [MZ22, Question 1.8].

Question 1.4. Does there exist f : X Ñ X satisfying Case TIR (plus, if necessary, that X is rationally connected as defined below)? If such f exists, does it satisfy KSC?

In this paper, we provide a complete answer to the second part of Question 1.4: KSC holds for Case TIR (cf. Remark 8.1). Thus, we can now state our main result.

Main Theorem. Let X be a Q -factorial klt projective variety admitting an int-amplified endomorphism. Then the Kawaguchi-Silverman conjecture holds for any surjective endomorphism f of X .

We note that our main theorem extends [KS16b] for polarized endomorphisms and [MY22] for smooth rationally connected projective varieties (see Remark 1.2 (i) and (vi)).

- 1.3. Strategy: reducibility and equivariancy. In the remainder of the introduction, we will briefly outline our strategy.

We begin with Case TIR. Our approach involves either finding an alternative EMMP that avoids Case TIR or ensuring that the first Fano contraction in the EMMP does not satisfy Case TIR by verifying that the divisor D is reducible. To achieve this, we might need to replace the original variety X with a finite cover that is equivariant with respect to both f and an int-amplified endomorphism. Utilizing such a special cover, we provide a relatively simple geometric description of the highly restrictive Case TIR. This approach extends previous works [HN11,MZ19,MZg23,MYY24a] to the case of singular vibrations. For relevant terminology, we refer to Definition 2.8, and for a detailed comparison with previous works and a further question, see Remark 1.6 and Question 6.4, respectively.

Let X be a normal projective variety and D a reduced divisor of X . Denote by SEnd p X,D q the monoid of surjective endomorphisms f of X with f ´ 1 p D q ' D .

Theorem 1.5 (Equivariant toric cover) . Let X be a klt projective variety and D a reduced divisor such that K X ` D ' 0 . Suppose SEnd p X,D q contains an int-amplified endomorphism. Then for any f P SEnd p X,D q , there exists a quasi-´tale cover e π : p X Ñ X satisfying:

- r p r (3) SEnd p p X,π D ˚ q contains an int-amplified endomorphism.
- (1) the pair p p X,π D ˚ q admits a splitting toric fibration over an abelian variety A , (2) there exists f P SEnd p X,π D ˚ q such that π ˝ f ' f s ˝ π for some s ą 0 , and

It is worth noting that the condition K X ` D ' 0 in Theorem 1.5 is equivalent to X admitting an int-amplified endomorphism I such that I ´ 1 p D q ' D and I | X D z is quasi-´tale, i.e., e K X ` D ' I ˚ p K X ` D q (see [Men20, Theorem 1.1]).

The proof of Theorem 1.5 involves three key ingredients: (1) the positivity of a dynamically stable reflexive sheaf, as discussed in Theorem 4.2; (2) the equivariant lifting to a suitable quasi-´tale cover, e detailed in Claim 6.3 and Lemma 5.2; and (3) a structure theorem established by Druel and Lo Bianco [DLB22, Theorem 6.1] (cf. Theorem 4.6) for complex klt projective varieties with numerically flat and locally free logarithmic differential sheaves.

Remark 1.6. We provide several remarks on the literature review of Theorem 1.5:

- (i) We briefly explain the previous approach to Theorem 1.5(1) when X is of Fano type and smooth in codimension two . As first observed in [HN11] and later generalized in [MZ19] and [MZg23], in this scenario, Ω r 1 s X p log D q has vanishing first and second Chern classes. Together with slope semistability, this allows one to conclude by a generalization of Simpson's correspondence; see [GKP16, Theorem 1.20].
- (ii) If the assumption that X is smooth in codimension two is removed, one can still define the second orbifold Q -Chern class, as klt singularities are quotient singularities away from a codimension three closed subset (see, e.g., [GKPT19, Section 3]). However, it is unclear whether the Mumford construction is functorial with respect to an endomorphism f . Additionally, verifying f ˚ p c 2 p Ω r 1 s X p log D qq ' c 2 p Ω r 1 s X p log D qq as a multilinear form on N 1 p X q ˆp n ´ q 2 seems to be problematic.
- p (iii) In the recent papers [MYY24a,MYY24b], Moraga, Y´˜ez, and Yeong obtained a an similar result to Theorem 1.5 using a completely different approach. Additionally, assuming the numerical flatness of the logarithmic tangent bundle of a smooth projective variety in positive characteristic, Ejiri and Yoshikawa obtained a result similar to [DLB22, Theorem 1.1]; see [EY23, Theorem 1.4].
- (iv) When X has vanishing augmented irregularity (Definition 2.3), [MZ19, Lemma 5.1] shows that there exists a universal cover (which is a toric variety) to which any surjective endomorphism can be lifted. This is primarily due to the finiteness of the algebraic fundamental group π alg 1 p X reg q . However, in our relative case, the algebraic fundamental group is no longer finite, and we could not identify a canonical finite cover to which f lifts. Instead, the model p X in Theorem 1.5 depends significantly on both the choice of f and the int-amplified endomorphism I . Moreover, the int-amplified endomorphism of p X is derived from another intamplified endomorphism generated by f and I .

With the assistance of Theorem 1.5, we achieve a geometric structure for p X that is quite favorable. However, this comes at the cost that p X may not necessarily retain the mild singularities of X , particularly its Q -factoriality. Therefore, it is necessary to further resolve the singularities in an equivariant manner, as outlined in the following theorem. Note, however, that an equivariant resolution may not always exist; for example, see [MY21, Section 7].

Theorem 1.7 (Equivariant resolution; see Theorem 7.2 for a more general form) . Let X be a normal projective variety and D a reduced divisor. Let π : p X,D q Ñ Y be a splitting toric fibration over an abelian variety Y . Then there exists a resolution σ : r X Ñ X such that for any f P SEnd p X,D q with f ˚ D ' qD , there exists some r f P SEnd p r X,σ ´ 1 p D qq with σ ˝ r f ' f s ˝ σ for some s ą 0 . With the help of Theorem 1.7, we may continue to run EMMP:

/d47

r X ' r X 1 r π 1 ❴ ❴ ❴ r X 2 r π 2 ❴ ❴ ❴ ¨ ¨ ¨ r π s ´ 1 ❴ ❴ ❴ r X s r τ r Y Here, each r π i is a birational map, and r τ is the first Fano contraction. Note that r X s Ñ A remains a splitting smooth toric fibration (see Remark 7.7). In particular, ´ K r X s is Q -linearly equivalent to some reduced divisor with at least two components. Consequently, the irreducible assumption of Case TIR is not satisfied.

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Acknowledgments. The authors would like to thank Junyi Xie and De-Qi Zhang for the communication of Section 5; the proofs of Lemma 5.1 and Theorem 5.3 are essentially borrowed from their ongoing collaborative work with the first author [MXZ24]. The authors would also like to thank Fei Hu, Yohsuke Matsuzawa, and Joseph H. Silverman for the valuable suggestions and comments. The first author was supported by Fundamental Research Funds for the Central Universities, Science and Technology Commission of Shanghai Municipality (No. 22DZ2229014) and a National Natural Science Fund. The second author was supported by the Institute for Basic Science (IBS-R032-D1).

## 2. Preliminary

We exhibit the notation and terminology involved in this paper.

## 2.1. Varieties, divisors and singularities.

Definition 2.1. Let X be a normal projective variety of dimension n .

- (1) Denote by NS p X q : ' Pic p X q{ Pic ˝ p X q the N´ eron-Severi group. Let N 1 p X q : ' NS p X q b Z R . Denote by PE 1 p X q (resp. Nef p X q ) the pseudo-effective cone (resp. nef cone ) in N 1 p X q . We will use these two cones in Case TIR.

- (2) The symbols ' (resp. ' Q , ' R , ' ) denote the linear equivalence (resp. Q -linear equivalence, R -linear equivalence, numerical equivalence) on divisors.
- (3) An r -cycle C on X is pseudo-effective if C H ¨ 1 ¨ ¨ ¨ ¨ H n ´ r ě 0 for any ample divisors H , 1 ¨ ¨ ¨ , H n ´ r on X . Two r -cycles C 1 and C 2 are said to be weakly numerically equivalent , denoted as C 1 ' w C 2 if p C 1 ´ C 2 q ¨ L 1 ¨ ¨ ¨ L n ´ r ' 0 for any Cartier divisors L , 1 ¨ ¨ ¨ , L n ´ r . Let N n ´ 1 p X q be the quotient of vector space of Weil R -divisors modulo the weak numerical equivalence.
- (4) Anormal projective variety X is of Fano type , if there is an effective Weil Q -divisor ∆ on X such that the pair p X, ∆ has at worst klt singularities and q ´p K X ` ∆ q is ample and Q -Cartier.

We refer to [KM98, Section 2] for the standard notion and terminology on different kinds of singularities.

Definition 2.2. Let f : X Ñ Y be a finite surjective morphism between normal projective varieties. The ramification divisor R f of f is defined by the formula

- K X ' f ˚ K Y ` R . f (1)

We call (1) the ramification divisor formula . We denote by B f ' f p Supp R f q the (reduced) branch divisor of f . We say that f is quasi-´tale e , if it is ´ etale away from a codimension two closed subset; in particular, we have B f ' 0 and K X ' f ˚ K Y holds as the equality of Weil divisors.

Definition 2.3. Let X be a normal projective variety, we define the irregularity of X by q X p q : ' h 1 p p X, O p X q where p X Ñ X is a resolution of singularities. We define the augmented irregularity r q X p q P N Y t8u to be the supremum of q X p 1 q whenever X 1 runs over the quasi-´tale e covers of X (see [NZ10, Section 2]). When X has only rational singularities (e.g., klt), q X p q coincides with h 1 p X, O X q (see [KM98, Definition 5.8 and Theorem 5.22] and [Rei83, Proposition 2.3] or [Kaw85, Lemma 8.1]).

- 2.2. Reflexive sheaves. Given a coherent sheaf E on a scheme, there is a dualizing operation E \_ : ' Hom p E , O X q and there is a natural map E Ñ E \_\_ to its double-dual. If this map is an isomorphism, we say that E is reflexive .

Definition 2.4. Let X be a normal projective variety, and E a reflexive sheaf on X . It is known that E is uniquely determined on a Zariski open subset of X whose complement has codimension ě 2. We define

- (1) the reflexive tensor power E rb m s by E rb m s : ' p E b m q \_\_ ;

- (2) the reflexive symmetric power Sym r m s E by Sym r m s E : ' p Sym m E q \_\_ ;
- (3) the determinant sheaf det E by the reflexive top exterior power ^ r rank E s E : ' p^ rank E E q \_\_ , where rank E is the rank of E ;
- (4) the reflexive pullback f r˚s E by f r˚s E : ' p f ˚ E q \_\_ for a morphism f : Y Ñ X between normal varieties.

Definition 2.5 (Sheaf of reflexive logarithmic 1-form) . Let D be an effective reduced divisor on a normal projective variety X . Let U be a big open subset (whose complement in X is codimension ě 2) of the pair p X,D q such that p X,D q is log smooth. We denote by Ω r 1 s X p log D q the reflexive sheaf on X whose restriction to U is the sheaf of the usual logarithmic differential 1-form Ω 1 U p log D | U q . The reflexive sheaf Ω r 1 s X p log D q is called the sheaf of reflexive logarithmic 1-form . Its dual T X p´ log D q is called the logarithmic tangent sheaf .

The sheaf of reflexive logarithmic differential 1-forms is well-behaved under the finite pullback.

Lemma 2.6 (see [DLB22, Lemma 2.7]) . Let π : Y Ñ X be a finite cover between normal varieties, and let D be a reduced effective divisor on X . Suppose that π is quasi-´tale e over X z Supp D and set D Y : ' γ ˚ p K X ` D q ´ K Y . Then D Y is reduced and effective. Moreover, we have an isomorphism π r˚s Ω r 1 s X p log D q Ω r 1 s Y p log D Y q .

Definition 2.7 (Toric varieties) . A normal variety X of dimension n is a toric variety if X contains a big torus T ' p k ˚ q n as an (affine) open dense subset such that the natural multiplication action of T on itself extends to an action on the whole variety. In this case, let B : ' X T z , which is a divisor; the pair p X,B q is said to be a toric pair . It is known that the sheaf of reflexive logarithmic 1-form Ω r 1 s X p log B q O ' n X of a toric pair p X,B q is free (see e.g. [MZ19, Remark 4.6]) and K X ` B ' 0.

- 2.3. Fibrations. Throughout this paper, we will frequently switch within the following various fibrations.

Definition 2.8. Let π : p X,D q Ñ Y be a fibration between normal varieties (i.e., a proper surjective morphism with connected fibers) where D is a Weil Q -divisor on X .

- (1) We say that π is an analytically (resp. Zariski) locally trivial fibration over Y if for any point y P Y , there is a small (resp. Zariski) open neighborhood U of y such that p π ´ 1 p U , D q | π ´ 1 p U q q U ˆp F, D | F q where F is a typical fiber of π .
- (2) We say that an analytically locally trivial fibration π is a toric fibration , if for any fiber F of π , the restriction p F, D | F q is a toric pair.

- (3) We say that a toric fibration π is a splitting toric fibration , if for each irreducible component D i of D , the restriction D i | F is irreducible for a general fiber F of π . We shall see in Theorem 5.3 that a splitting toric fibration is always Zariski locally trivial.

Definition 2.9 (Albanese map) . Let X be a normal projective variety. Denote by Alb p X q : ' Pic 0 p Pic 0 p X q red q which is an abelian variety. There is a canonical morphism

$$\text{alb} _ { X } \colon X \rightarrow \text{Alb} ( X )$$

such that the image alb X p X q generates Alb p X q and every morphism X Ñ A from X to an abelian variety A factors through Alb p X q (see [FGI+05, Remark 9.5.25]). If X further has only rational singularities (e.g., klt), then dim Alb p X q ' q X p q .

## 2.4. Endomorphisms and dynamical invariants.

Definition 2.10. Let f : X Ñ X be a surjective endomorphism of a normal projective variety X .

- (1) We say that f is q -polarized if f ˚ H ' qH for some ample Cartier divisor H and integer q ą 1, or equivalently, f ˚ | N 1 p X q is diagonalizable with all the eigenvalues being of modulus q (see [MZ18, Proposition 2.9]).
- (2) We say that f is int-amplified if f ˚ L ´ L is ample for some ample Cartier divisor L , or equivalently, all the eigenvalues of f ˚ | N 1 p X q are of modulus greater than 1 (see [Men20, Theorems 1.1 and 3.3]). Clearly, every polarized endomorphism is int-amplified.
- (3) A subset D Ď X is said to be f ´ 1 -invariant if f ´ 1 p D q ' D .
- (4) Denote by SEnd p X,D q the monoid of surjective endomorphisms f of X with f ´ 1 p D q ' D .

We refer to [MZ23a] for a quick survey of the recent progress on polarized and intamplified endomorphisms.

Definition 2.11 (First dynamical degree) . Let f : X Ñ X be a surjective endomorphism of a normal projective variety X and H an ample divisor on X . The first dynamical degree δ f of f is defined to be the following limit

$$\delta _ { f } \coloneqq \lim _ { n \to \infty } ( ( f ^ { n } ) ^ { * } H \cdot H ^ { \dim X - 1 } ) ^ { 1 / n } \in \mathbb { R } _ { \geqslant 1 }.$$

It is known that the limit always exists and is independent of the choice of the ample divisor (see [DS04, DS05]; cf. [Dan19]). It is also known that the first dynamical degree δ f is invariant under generically finite maps and coincides with the spectral radius of the induced linear operation f ˚ | NS C p X q . Note that δ f s ' p δ f q s .

Definition 2.12 (Arithmetic degree) . Let f : X Ñ X be a surjective endomorphism of a normal projective variety X over Q .

- (1) For D P N 1 p X q on X , there is a height function h D : X p Q q Ñ R associated to D which measures the complexity of Q -points. Such a function is uniquely determined up to a bounded function. We refer to [HS00, Part B] (cf. [Kaw06, Theorem 1.1.1]) for an introduction to Weil's height theory.
- (2) Let h H ě 1 be an absolute logarithmic Weil height function associated with an ample divisor H . Then for every x P X p Q q , we define the arithmetic degree of f at x by

$$\alpha _ { f } ( x ) = \lim _ { n \to \infty } h _ { H } ( f ^ { n } ( x ) ) ^ { 1 / n } \in \mathbb { R } _ { \geqslant 1 }.$$

It is known that the limit always exists and is also independent of the choice of the ample divisor (see [KS16a, Proposition 12], [KS16b, Theorem 3 (a)] for details). Note also that α f p x q ď δ f and α f s p x q ' α f p x q s .

The following lemma allows us to reduce the Kawaguchi-Silverman conjecture (KSC, Conjecture 1.1) to its generically finite cover of the underlying variety.

Lemma 2.13 (see [MZ22, Lemma 2.5]) . Consider the equivariant dynamical systems

/d47

$$f \mathbb { C } \, X - \frac { \pi } { } \succ Y \odot g$$

/d47

of normal projective varieties with π a dominant rational map. Then the following hold.

- (1) Suppose π is generically finite. Then KSC holds for f if and only if KSC holds for g .
- (2) Suppose δ f ' δ g and KSC holds for g . Then KSC holds for f .

## 3. Transcendental argument

In our paper, we address the arithmetic problem that operates over the field Q of algebraic numbers. However, most advanced theories of vector bundles and fundamental groups are initially developed in the analytical setting. Although this should be wellknown to experts, for the sake of completeness, we briefly explain in this section how to apply the known results from C to any algebraically closed field k of characteristic zero.

Let X be a projective variety defined over an algebraically closed field k of characteristic zero, D a reduced effective divisor on X , and E is reflexive sheaf on X . Since the defining field of X is indeed finitely generated over Q , we may assume that k is a subfield of C . Denote by X C : ' X ˆ Spec k Spec C , D C : ' D ˆ Spec k Spec C , and E C : ' E ˆ Spec k Spec C . Let π : Y Ñ X C be a finite cover which is quasi-´tale away from e D C .

By the Lefschetz principle, there is a finitely generated k -algebra R such that π , Y , π D ˚ C , π r˚s E and X are all defined over Spec R . In other words, there exists a finite

morphism π V : Y V Ñ X V of normal projective varieties defined over V : ' Spec R such that X C ' X V ˆ V Spec C , Y ' Y V ˆ V Spec C and π ' π V ˆ V Spec C , noting that R is a subring of C as R is constructed by taking the defining coefficients of Y and π . So we obtain the following commutative diagram

/d47

/d47

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00566v1-figure-596dfde6-cd21-4340-8ac7-28ae17db6cae.jpg)

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

With the notation above, we prove the following theorem.

Theorem 3.1. Suppose that the reflexive pullback π r˚s E is locally free. There exists a finite cover π k : Y k Ñ X defined over k which is quasi-´tale away from e D such that the reflexive pullback π r˚s k E is also locally free and q Y p k q ' q Y p q .

Proof. Since the natural ring extension R Ñ C is flat, and the flatness is stable under the base change, by the descent theory, it follows that π is quasi-´tale away from e D C if and only if π V is quasi-´tale away from e D V over the generic point of V . After shrinking V , we may assume that the branch divisor B π V of π V is contained in D V . By the generic flatness, after shrinking V , we may also assume that π V is flat. Moreover, as π r˚s E V is locally free along the generic fiber of the projective morphism p V ˝ π V , the closed subset over which π r˚s E V is not locally free does not dominate V . In particular, after a further shrinking of V , we may assume that π r˚s E V is locally free over V . Hence, we can pick a general k -rational point u P V such that π u : Y V,u : ' π ´ 1 V p ´ 1 V p u q Ñ X V,u : ' p ´ 1 V p u q is a finite morphism defined over k and quasi-´tale away from e D V | p ´ 1 V p u q . Besides, by the upper semi-continuity (see [Har77, Chapter III, Theorem 12.8]), we may assume q Y p V,u q ' q Y p q after further shrinking of V , noting that q Y p q coincides with the irregularity of the generic fiber of p V ˝ π V . Since there is a natural isomorphism p X ,D V V q ' p X,D q ˆ V Spec k , we conclude our lemma by taking Y k ' Y V,u and π k ' π u . /square

## 4. Positivity of dynamically invariant reflexive sheaves

In this section, we study the dynamical restrictions on the invariant reflexive sheaf, with Theorem 4.2 as the main result. We first recall several notions of positivity.

Definition 4.1. Let E be a torsion free coherent sheaf on a normal projective variety X . We say that E is

/d47

/d47

/d47

/d47

- (1) generically globally generated if E is globally generated at a general point, i.e., there exists a generically surjective map O ' n X Ñ E for some n ;
- (2) pseudo-effective (or weakly positive ) if for any positive integer a P Z and for any ample divisor A , there exists a positive integer b such that Sym r ab s E b O X p bA q is globally generated along a general point (see [Matm23, Section 2] for other equivalent definitions; cf. [Nak04, Chapter V. Definition 3.20]);
- (3) nef if the tautological line bundle O P X p E q p 1 q is nef on the Grothendieck projectivization P X p E q : ' Proj Sym p , E q ;
- (4) almost nef if the base field is uncountable (e.g., C ) and there exist countably many proper subvarieties Z i Ď X such that the sheaf E | C : ' E b O C is nef for any curve C Ę Y i Z i (we only use this notation in the proof of Theorem 4.6);
- (5) numerically flat if both E and its dual E \_ are nef.
- (6) R-flat if E is locally free of rank n and ν ˚ E -O ' n P 1 for any morphism ν : P 1 Ñ X . Clearly, a numerically flat locally free sheaf is always R-flat and the converse holds true if X is rationally connected (see [DLB22, Lemma 2.13]).

The main theorem in this section is a natural generalization of the Weil divisor case. Indeed, when E is a Weil divisor, it follows immediately from [Men20, Theorem 3.3] that E is weakly numerically trivial, since all the eigenvalues of f ˚ | N n ´ 1 p X q have modulus greater than 1.

Theorem 4.2. Let f : X Ñ X be an int-amplified endomorphism of a normal projective variety X of dimension n . Let E be a reflexive sheaf on X such that the reflexive pullback f r˚s E -E . Then E is pseudo-effective. Moreover, π r˚s E is a numerically flat locally free sheaf for some quasi-´tale cover e π : Y Ñ X if X is further klt.

Before proving Theorem 4.2, we extend [IMZ23, Proposition 3.1] to the following proposition, which holds over any algebraically closed field of characteristic zero.

Proposition 4.3. Let X be a klt projective variety of dimension n (defined over k ) and E a pseudo-effective reflexive sheaf such that det p E q ¨ H n ´ 1 ' 0 for some ample divisor H . Then there is a quasi-´tale cover e π k : Y Ñ X such that the reflexive pullback π r˚s k E is a numerically flat locally free sheaf.

Proof. Following the same reason as in Section 3, we may assume that k is a subfield of C . Denote by X C : ' X ˆ Spec k Spec C and E C , H C similarly. Note that det p E C q¨ H d ´ 1 C ' 0 and E C is pseudo-effective. By [IMZ23, Proposition 3.1], we know that there is a quasi-´tale e cover π : Y 0 Ñ X C such that π r˚s E C is locally free. By Theorem 3.1, we obtain a finite quasi-´tale cover e π k : Y Ñ X (defined over k ) such that π r˚s k E is also locally free. We are left to prove that π r˚s k E and p π r˚s k E q \_ are both nef. It is equivalent to proving that the

locally free sheaves p π r˚s k E q C and p π r˚s k E q \_ C are both nef. By noting that p π r˚s k E q C is pseudoeffective and det pp π r˚s k E q C q ¨ p π H ˚ k q d ´ 1 C ' 0, we can conclude by [IMZ23, Proposition 3.1] once more. /square

Proof of Theorem 4.2. Assume that f ˚ H ´ H is ample for some ample Cartier divisor H . Hence, there is some rational number r ą 1 such that f ˚ H ´ rH is an ample Q -Cartier divisor. With f replaced by a suitable power, we may assume that r is an integer. We may further assume that f ˚ H ´ rH is very ample with H replaced by a sufficient multiple.

Claim 4.4. The sheaf Sym r m s E b O X p H q is pseudo-effective for any m P Z ą 0 .

Proof. As H is ample, for each reflexive sheaf Sym r m s E , there exists some t m P Z ą 0 such that Sym r m s E b O X p tH q is globally generated whenever t ě t m . Besides, for any l P N , we have

$$( f ^ { l } ) ^ { * } H - r ^ { l } H = \sum _ { i = 1 } ^ { l } r ^ { l - i } ( f ^ { i - 1 } ) ^ { * } ( f ^ { * } H - r H ). \\ \text{is very ample by assumption, the above sum } ( f ^ { l } ) ^ { * } H - r ^ { l } I$$

As f ˚ H ´ rH is very ample by assumption, the above sum p f l q ˚ H ´ r H l is ample and base point free for any /lscript ą 0. Fix one l such that r l ą t m . Hence, it follows that

$$( f ^ { l } ) ^ { [ * ] } ( \text{Sym} ^ { [ m ] } \mathcal { E } \otimes \mathcal { O } _ { X } ( H ) ) & \cong \text{Sym} ^ { [ m ] } \mathcal { E } \otimes \mathcal { O } _ { X } ( ( f ^ { l } ) ^ { * } H ) \\ & \cong \text{Sym} ^ { [ m ] } \mathcal { E } \otimes \mathcal { O } _ { X } ( r ^ { l } H ) \otimes \mathcal { O } _ { X } ( ( f ^ { l } ) ^ { * } H - r ^ { l } H )$$

is globally generated and thus pseudo-effective. Note that the above isomorphism holds over a big open subset (whose complement is of codimension ě 2 in X ) and hence the isomorphism holds by the unique extension of reflexive sheaves. By [Matm23, Proposition 2.6] (the same proof of which works for the base field k ), we obtain that Sym r m s E b O X p H q is pseudo-effective for any m . Our claim is thus proved. /square

Let us come back to the proof of Theorem 4.2. Let A be any ample Cartier divisor on X and let a be any positive integer. Take a sufficiently large integer u such that uA ´ H is ample. As Sym r a u ¨ s E b O X p H q is pseudo-effective, for the given ample divisor uA ´ H and the positive integer 1, there exists some b P Z ą 0 such that

$$\text{Sym} ^ { [ b \cdot 1 ] } ( \text{Sym} ^ { [ a u ] } \mathcal { E } \otimes \mathcal { O } _ { X } ( H ) ) \otimes \mathcal { O } _ { X } ( b ( u A - H ) )$$

is generically globally generated. In particular,

$$\text{Sym} ^ { [ b ] } ( \text{Sym} ^ { [ a u ] } \mathcal { E } ) \otimes \mathcal { O } _ { X } ( b u A )$$

is generically globally generated. Now that we have the following generically surjective map

$$\text{Sym} ^ { [ b ] } \text{Sym} ^ { [ a u ] } \mathcal { E } \otimes \mathcal { O } _ { X } ( b u A ) \to \text{Sym} ^ { [ a b u ] } \mathcal { E } \otimes \mathcal { O } _ { X } ( b u A ),$$

we have found a positive integer bu such that Sym r abu s E b O X p buA q is globally generated along a general point. This finishes the first half of the theorem (see Definition 4.1).

For the second half, we first claim the following.

Claim 4.5. We have det p E q ¨ H n ´ 1 ' 0 for the above given ample Cartier divisor H .

Proof of Claim 4.5. Note that X is normal and E is torsion free. Let U be a Zariski open subset of X with codim X U z ě 2 such that E and det p E q are both locally free on U . Therefore, we have

$$( f | _ { f ^ { - 1 } ( U ) } ) ^ { * } ( \det ( \mathcal { E } | _ { U } ) ) = \det ( ( f | _ { f ^ { - 1 } ( U ) } ) ^ { * } \mathcal { E } | _ { U } )$$

by the functoriality. By the unique reflexive extension, we have f r˚s p det p E qq det p E q . Let det p E q ' O X p D q be the divisorial sheaf of a Weil divisor D . Then we have f ˚ D ' D and thus we conclude our claim by applying [Men20, Lemma 3.8]. /square

Let us come back to the proof of Theorem 4.2. By Claim 4.5, together with the pseudo-effectiveness of E , it follows from Proposition 4.3 that there is a quasi-´tale cover e π : Y Ñ X (defined over k ) such that π r˚s E is a numerically flat locally free sheaf. /square

We close this section with the following theorem, which slightly generalizes [DLB22, Theorem 6.1] (cf. [Iwa22, Theorem 1.4]) from the field of complex numbers to any algebraically closed field of characteristic zero (cf. Remark 4.7).

Theorem 4.6. Let X be a klt projective variety over an algebraically closed field k . Let D be a reduced divisor such that Ω r 1 s X p log D q is numerically flat and locally free. Then r q X p q ă 8 holds (see Definition 2.3). Suppose further p X,D q is a projective lc pair and q X p q ' q X p q . Then alb X : p X,D q Ñ A is a toric fibration (see Definition 2.8).

r Proof. With the same reason as in Section 3 and following the notations therein, we may assume that k is a subfield of C . Note that there is a generically surjective map T X C p´ log D C q Ñ T X C and the logarithmic tangent bundle T X C p´ log D C q is numerically flat and thus almost nef. By [IMZ23, Lemma 2.6 (4)], we know that the tangent sheaf T X C is also almost nef. Then it follows from Theorem 3.1 and [IMZ23, Lemma 6.1] that r q X p q ' r q X p C q ă 8 . Also, from [DLB22, Theorem 6.1], we obtain a toric fibration u : p X ,D C C q Ñ Q onto a smooth projective variety Q with c 1 p Q q ' 0. Moreover, since u is surjective and Q is smooth, by dualizing the sheaf sequence 0 Ñ u ˚ Ω Q Ñ Ω X C , we obtain another generically surjective map T X C Ñ u T ˚ Q . This implies that T Q is also almost nef (see [IMZ23, Lemma 2.6 (2)]). Since K Q ' 0, by applying [IMZ23, Corollary 3.2], Q is an ´tale quotient of an abelian variety. e

We claim that u is indeed the Albanese morphism of X C and Q is an abelian variety. Indeed, as the Albanese map alb X C : X C Ñ A contracts all of the fibers of u , it follows

from the rigidity lemma [Deb01, Lemma 1.15] that alb X C factors through u . On the other hand, by [IMZ23, Lemma 6.1], alb X C is surjective and thus dim Q ě dim A ' q X p q ' r q X p q ě dim Q . This implies that Q Ñ A is a finite ´tale morphism and in particular, e Q is an abelian variety. By the universality of the Albanese morphism, u also factors through alb X C , which concludes the proof of our claim.

Finally, note that the Albanese morphism is independent of the base field. So the theorem is proved. /square

Remark 4.7. In the proof of Theorem 4.6, we are unable to show that the initial toric fibration u in [DLB22, Theorem 6.1] is defined over k . However, after a base change, and in light of Theorem 3.1, we are in a situation of Albanese morphisms, which are independent of the choice of the base field.

## 5. Zariski local triviality and splitting of toric fibration

In this section, we study the toric fibration and its equivariant lifting. We refer the reader to Definition 2.8 for the relevant notion. We thank J. Xie and D.-Q. Zhang for the communication of this section; the proofs of Lemma 5.1 and Theorem 5.3 are essentially borrowed from their ongoing collaborative work with the first author [MXZ24].

We begin with the following lemma, which demonstrates that after an equivariant base change, a horizontal subvariety of a fibration will be of splitting type.

Lemma 5.1. Let π : X Ñ Y be a fibration of normal projective varieties with connected fibers. Let D be a closed subvariety with each irreducible component dominating Y . Then we have the following commutative diagram

/d47

/d47

/d15

/d15

/d15

/d15

/d47

$$\begin{array} { c } \widehat { X } \stackrel { \hat { \pi } } { \longrightarrow } \widehat { Y } \\ p _ { X } \Big { \bot } \\ X \stackrel { \pi } { \longrightarrow } \widehat { Y } \end{array}$$

/d47

where p Y : p Y Ñ Y is a finite surjective from a normal projective variety p Y , p X is the main component of the normalization of the fiber product X ˆ Y p Y , and p π | x D i : x D i Ñ p Y has irreducible general fibers for any irreducible component D i of p ´ 1 X p D q .

x Moreover, for any surjective endomorphisms f : X Ñ X and g : Y Ñ Y such that π ˝ f ' g ˝ π and f p D q ' D , we have the following equivariant dynamical systems:

/d47

/d47

/d15

/d15

/d15

/d15

/d47

$$\begin{array} { c } \hat { f } \subset \hat { X } \xrightarrow { \hat { \pi } } \hat { Y } \odot \hat { g } \\ p _ { X } \Big | \Big | _ { p _ { Y } } \\ f \subset X \xrightarrow { \pi } \hat { Y } \odot g \end{array}$$

/d47

where p f and p g are the induced surjective endomorphisms.

Proof. It suffices for us to consider the case when D is irreducible. Let n D : D Ñ D be the normalization. Let σ : D Ñ p Y and p Y : p Y Ñ Y be the Stein factorization of π | D ˝ n D . If deg p p Y q ' 1, then π | D : D Ñ Y has irreducible general fibers and we do no base change. Suppose deg p p Y q ą 1. Then the natural embedding p Y ã Ñ p Y ˆ Y p Y implies that p Y ˆ Y p Y splits into at least two irreducible components, noting that the surjective morphism σ induces a surjective morphism D ˆ Y p Y Ñ p Y . This shows that D ˆ Y p Y contains more irreducible components (dominating Y ) than D . Note that p ´ 1 X p D q ' D ˆ Y p Y as sets. So we can repeat the above operation for each irreducible component p D i (dominating Y ) of p ´ 1 X p D q until each p π | p D i : p D i Ñ p Y has irreducible general fibers. The first half of the lemma is thus completed.

p Lemma 5.2. With the same assumption as in Lemma 5.1, suppose further that f is int-amplified and π : p X,D q Ñ Y is a toric firbation over an abelian variety Y . Then we can further require p π : p p X,p ´ 1 X p D qq Ñ p Y to be a splitting toric fibration over an abelian variety Y .

For the second half, we note that there is a surjective endomorphism h : D Ñ D such that f | D ˝ n D ' n D ˝ h . Then it follows from [CMZ20, Lemma 5.2] that there is a surjective endomorphism g : p Y Ñ p Y commuting with h and g . So we obtain our lemma. /square p Proof. As f is int-amplified, it follows from [Men20, Lemmas 3.5 and 3.4] that p f and thus p g are both int-amplified. On the one hand, by [Men20, Theorem 1.5], ´ K p Y is weakly numerically equivalent to some effective Q -Weil divisor. Since K Y ' 0 and by the ramification divisor formula, K p Y is an effective divisor. So K Y ' 0 and thus p Y is ´tale e by the purity of branch locus. Therefore, p Y , as an ´tale cover over an abelian variety, is e also an abelian variety.

The following theorem plays a crucial role in the proof of Theorem 1.7, particularly in ensuring the reducibility of r D and the Q -factoriality necessary to proceed with the further Minimal Model Program (MMP).

Note that π is analytically locally trivial. Then X ˆ Y p Y Ñ p Y is analytically locally trivial. In particular, we do not need to take the main component and the normalization, i.e., p X -X ˆ Y p Y . It is then easy to see that p π : p p X,p ´ 1 X p D qq Ñ p Y is a splitting toric fibration. /square

Theorem 5.3. Let π : p X,D q Ñ Y be a splitting toric fibration over a normal variety Y . Then p X,D q is a Zariski locally trivial pair over Y . Moreover, there exists a birational morphism σ : p r X,D r q Ñ p X,D q such that

- (1) K r X ` r D ' σ ˚ p K X ` D q ; and (2) r π : p r X,D r q Ñ Y is a splitting smooth toric fibration over Y , where r π ' π ˝ σ .

Proof. Let us prove by induction the first half of the statement. Write D ' m ř i ' 1 D i into the sum of irreducible components. By assumption, D | F also has m irreducible components for any fiber F of π . Denote by D I : ' Ş i P I D i where I Ď t 1 , ¨ ¨ ¨ , m u . Fix any point y P Y and denote by X y -F the typical fiber. Since our result is local, we can freely replace Y by a Zariski open neighborhood of y . Note that for each i , the restriction p D , i ř j ‰ i D j X D i q is also a splitting toric fibration over Y (see [CLS11, Proposition 3.2.7]). By induction on dim X ´ dim Y and after shrinking Y , we may assume that D i - p D i X X y q ˆ Y , i.e., D i is Zariski locally trivial over Y . Note that every toric blowup of the pair p X , D y | X y q is a blowup along some D I X F . Let Bl D I : r X Ñ X be the blowup along D I , and r D ' Bl ˚ D I p D q the pullback. Note that p r X , D y r | r X y q is still a toric pair. Since D I -Ş i P I p D i X F q ˆ Y by induction, we see that p r X,D r q - p r X , D y r X r X y qˆ Y if and only if p X,D q - p X , D y X r X y qˆ Y . Note also that p r X,D r q is a splitting toric fibration over Y . Hence, after finitely many steps of replacing X by its blowup along some D I , we may assume there is a birational toric morphism σ y : p X , D y | X y q Ñ p P n , σ y p D X X y qq . Let A : ' m ř i ' 1 a D i i be a non-negative linear combination of D i such that

$$A _ { y } \coloneqq A | _ { X _ { y } } = \sum _ { i = 1 } ^ { m } a _ { i } ( D _ { i } \cap X _ { y } ) = \sigma _ { y } ^ { * } \sigma _ { y * } ( \sum _ { i = 1 } ^ { m } D _ { i } ) \\ \text{big Cartier divisor.} \, & \text{ Since } X, \text{ is of Fano type, by inversion} \,.$$

is a nef and big Cartier divisor. Since X y is of Fano type, by inversion of adjunction (see [KM98, Theorem 5.50]), there exists some effective Q -Weil divisor M : ' m ř i ' 1 b D i i such that the pair p X,M q is klt and ´p K X ` M q| X y is ample. Since p A ´p K X ` M qq| X y is ample on X y , it follows from [KM98, Proposition 1.41] that A ´p K X ` M q is π -ample after a further shrinking of Y .

We claim that A is π -nef. Suppose to the contrary that A ¨ C ă 0 for some curve C with π C p q being a point. Then we may assume C Ď D 1 . Since D 1 ' p D 1 X X y q ˆ Y by induction, we can find a subvariety C ˆ Y inside D 1 and thus we can find another curve C 1 : ' p C ˆ Y q X X y Ď D 1 X X y such that C ' C 1 in D 1 . But then, 0 ą A C ¨ ' A | D 1 ¨ C ' A | D 1 ¨ C 1 ' A C ¨ 1 , a contradiction to the nefness of A | X y . So the claim is proved.

By the relative base-point-free theorem [KM98, Theorem 3.24], tA is π -free for t " 1. Then we obtain the following commutative diagram over Y :

σ

/d47

/d47

/d34

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00566v1-figure-6d09bce5-57d7-40e4-9774-8c5f4910f253.jpg)

/d34

/d122

/d122

where σ : X Ñ Z is the Iitaka fibration of A over Y . We may assume that σ D p 1 q is still a divisor on Z . By construction, we have σ | X y ' σ y and h 0 p Z y -P n , σ p D 1 q| Z y q ' n ` 1,

noting that σ y is indeed the Iitaka fibration of A y . By the generic flatness and the existence of a smooth fiber Z y , after a further shrinking of Y , we may assume that τ is smooth, τ ˚ O Z p σ D p 1 qq is invertible and τ ˚ O Z p σ D p 1 qq is a rank n ` 1 locally free sheaf over Y (see [Har77, Chapter III, Corollary 12.9]). So there is a natural morphism Z Ñ P Y p τ ˚ O Z p σ D p 1 qqq induced by the surjection τ ˚ τ ˚ O Z p σ D p 1 qq Ñ O Z p σ D p 1 qq . With Y further replaced by an open neighborhood of y P Y , Z Ñ P Y p τ ˚ O Z p σ D p 1 qqq is an isomorphism over Y . Let ∆ ' σ D p q . Therefore, after a further shrinking of Y , we may assume p Z, ∆ q - p Z , y ∆ X Z y q ˆ Y .

Now we have the following commutative diagram:

/d122

/d122

/d111

/d111

/d37

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00566v1-figure-e923b649-d7eb-4855-a88e-24518791dcd0.jpg)

/d37

/d122

/d122

where q ' q y ˆ id Y with q y being a composite of toric blowups of p Z , y ∆ X Z y q such that p | r Z y : p r Z , y r ∆ X r Z y q Ñ p X , D y X X y q is a well-defined toric morphism. Since the indeterminacy locus of p is closed and π is projective, we may assume p is well-defined after shrinking Y . Let C be a curve in r Z y . Since r Z -r Z y ˆ Y , we see that C ˆ t y u is contracted by p if and only if C ˆt y 1 u is contracted by p for any y 1 P Y . In particular, X -X y ˆ Y by the rigidity lemma (see [Deb01, Lemma 1.15]). The first half of our lemma is thus proved.

For the second half, we pick a typical fiber F and we note that the singularities of the pair p F, D | F q only appears in the form D I | F where I Ď t 1 , ¨ ¨ ¨ , m u . Hence, we can resolve the singularities of a single fiber via the global blowups of D I . We claim that for each step, say σ I : W : ' Bl D I X Ñ X with the exceptional divisor E , the induced pair p W,D W : ' σ ´ 1 I p D qq is also a splitting toric fibration over Y . Indeed, suppose that 7 I ' s , i.e., D I is a complete intersection of s irreducible components of D , which is of codimension s . Then we have

$$K _ { W } + D _ { W } = \sigma _ { I } ^ { * } K _ { X } + ( s - 1 ) E + \sigma ^ { * } D - ( s - 1 ) E = \sigma _ { I } ^ { * } ( K _ { X } + D ).$$

This implies that each irreducible component of D W restricting to each fiber is still irreducible. Together with the local triviality of D I Ñ Y and X Ñ Y , this implies that p W,D W q is still a splitting toric fibration over Y . Therefore, after several blowups along D I (which is locally trivial over Y ), we obtain a birational morphism σ : p r X,D r q Ñ p X,D q which is a splitting toric fibration over Y such that p π ´ 1 p F , π q ´ 1 p D | F qq is a log

/d36

/d36

smooth pair. Moreover, σ ˚ p K X ` D q ' K r X ` r D by induction and thus our proposition is proved. /square

## 6. Proof of Theorem 1.5

In this section, we prove Theorem 1.5. We first prepare the following lemma.

Lemma 6.1. Let S ' t 1 , ¨ ¨ ¨ , n u . Let σ, τ : S Ñ S be self-maps. Then after replacing σ and τ by a common iteration, there exists i P S such that

- (1) σ i p q ' i ,
- (2) τ p j q ' j for j ' τ p q i , and
- (3) p σ ˝ p τ ˝ σ q qp t j q ' i for some t ě 0 .

Proof. We first claim that there exists s ą 0 such that σ 2 s ' σ s and τ 2 s ' τ s . It is sufficient for us to only consider σ . For any 1 ď i ď n , as S is a finite set, there exist positive integers u , v i i such that σ u i ` v i p q i ' σ u i p q i . Let s ' ś n i ' 1 u v i i . Then it follows that σ s ` v i p q ' i σ s p q i and hence σ 2 s p q ' i σ s p q i for any i . Our claim is proved. So after a common iteration, we may assume σ 2 ' σ and τ 2 ' τ . Consider the sequence a m where a 1 ' 1, a m ' σ a p m ´ 1 q if m is even, and a m ' τ p a m ´ 1 q if m is odd. We have σ a p m q ' a m (resp. τ p a m q ' a m ) if m is even (resp. odd). Note that S is finite. Then for some even numbers m,k ě 2, we have a m ' a m k ` . Let i ' a m , j ' τ p q ' i a m ` 1 , and t ' k { 2 ´ 1. Note that p σ ˝ p τ ˝ σ q qp t j q ' i . So the lemma is proved. /square

The following lemma is well-known (cf. [DLB22, Lemma 3.4]), noting that, up to conjugacy, there are only finitely many subgroups of the topological fundamental group π 1 p X reg q of a given index (see also [GKP16, arXiv version, Proposition 3.13]).

Lemma 6.2. Let X be a normal variety and let d be a positive integer. Then there are only finitely many quasi-´tale covers of e X of degree d up to isomorphisms over X .

Proof of Theorem 1.5. Let I P SEnd p X,D q be the int-amplified endomorphism. By the ramification divisor formula, the assumption K X ` D ' 0 implies that

$$K _ { X } + D = \mathcal { I } ^ { * } ( K _ { X } + D )$$

and hence I is quasi-´tale away from e D . So we further have

$$\mathcal { I } ^ { [ * ] } \Omega _ { X } ^ { [ 1 ] } ( \log D ) = \Omega _ { X } ^ { [ 1 ] } ( \log D )$$

by Lemma 2.6. By Theorem 4.2, there exists a quasi-´tale cover e π : p X Ñ X such that Ω r 1 s p X p log π D ˚ q ' π r˚s Ω r 1 s X p log D q is numerically flat and locally free. By [BH14, Theorem 1.4], the pair p X,D q has only lc singularities. Then r q X p q ă 8 by Theorem 4.6. So we may assume q X p p q ' r q X p q by taking a sufficient quasi-´tale cover. e

Consider the following sets of (irreducible) finite covers:

$$\text{Consider the following sets of (irreducible) finite covers:} \\ \mathcal { S } _ { d } = \left \{ \left ( \varphi, V \right ) \, \left | \, \varrho _ { V } ^ { \colon } ( \log \varphi ^ { * } D ) \, is \text{ numerically flat and locally free, and} \, \right \} \, \right \} \, \right \, \cong \\ \text{where} \, ( \varphi _ { 1 }, V _ { 1 } ) \cong ( \varphi _ { 2 }, V _ { 2 } ) \, \text{if} \, \varphi _ { 1 } = \varphi _ { 2 } \circ \psi \text{ for some automorphism} \, \psi \colon V _ { 1 } \to V _ { 2 }. \, \text{By Lemma} \\ 6. 2, \, \mathcal { S } _ { d } \, \text{ is finite. Note that} \, ( \pi, \hat { X } ) \in \mathcal { S } _ { \deg ( \pi ) }. \, \text{ So we can find a minimal positive integer} \, m$$

ˇ r where p ϕ , V 1 1 q - p ϕ , V 2 2 q if ϕ 1 ' ϕ 2 ˝ ψ for some automorphism ψ : V 1 Ñ V 2 . By Lemma 6.2, S d is finite. Note that p π, X p q P S deg p π q . So we can find a minimal positive integer m such that S m ‰ H . Write

$$\mathcal { S } _ { m } = \{ ( \varphi _ { 1 }, V _ { 1 } ), \cdots, ( \varphi _ { n }, V _ { n } ) \}.$$

Claim 6.3. There exists p ϕ , V i i q P S m such that f s lifts to an element in SEnd p V , ϕ i ˚ i D q for some s ą 0 and SEnd p V , ϕ i ˚ i D q contains an int-amplified endomorphism.

Proof. Let W be the normalization of the following fiber product

/d47

/d47

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00566v1-figure-3650609c-97fd-4575-bb36-f7c4473d67e4.jpg)

/d47

where ϕ is quasi-´tale and e p is quasi-´tale away from e ϕ ´ 1 i p D q . Let W 0 be an irreducible component of W . Note that ϕ | W 0 is quasi-´tale. e So r q X p q ě q W p 0 q ě q V p i q ' r q X p q implies that q W p 0 q ' q X p q . By Lemma 2.6,

$$\ddots \psi \quad \cdot \cdots \psi \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \\ \mathfrak { t } \ q ( W _ { 0 } ) & = \widetilde { q } ( X ). \text{ By Lemma 2.6}, \\ & \Omega _ { W _ { 0 } } ^ { [ 1 ] } ( \log ( \varphi | _ { W _ { 0 } } ) ^ { * } D ) = \Omega _ { W _ { 0 } } ^ { [ 1 ] } ( \log ( p | _ { W _ { 0 } } ) ^ { - 1 } ( \varphi _ { i } ^ { - 1 } ( D ) ) ) \\ \cdot \cdot \mathfrak { t n } \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \ a \$$

is also numerically flat and locally free. Note that deg ϕ | W 0 ď deg ϕ i . By the minimality of m , we have that W ' W 0 is irreducible and p ϕ, W q P S m . Consequently, f and I induces, via (normalization) of the base change, self-maps σ (resp. τ ) on the finite set S m .

We use the index i to represent p ϕ , V i i q . By Lemma 6.1, there exist some i and some s, t ą 0 such that σ s p q ' i i , τ s p j q ' j for j ' τ s p q i , and p σ s ˝p τ s ˝ σ s q qp t j q ' i . Then f s lifts to some element in SEnd p V , ϕ i ˚ i D q . Let g ' f s ˝ p I s ˝ f s q t and I 1 ' g ˝ I k P SEnd p X,D q with k " 1. By [Men20, Theorem 1.4], I 1 is int-amplified. Note that I 1 lifts to an element in SEnd p V , ϕ i ˚ i D q which is int-amplified by [Men20, Lemma 3.5]. /square

We take p π, X p q ' p ϕ , V i i q as in the above claim. Let p f P SEnd p p X,π D ˚ q be the lifting of f s and p I P SEnd p p X,π D ˚ q the int-amplified endomorphism. Since π is quasi-´tale, e p X is klt and p p X,π D ˚ q is log canonical. By Theorem 4.6, the Albanese morphism is a toric fibration.

$$\text{alb} _ { \hat { X } } \colon ( \widehat { X }, \pi ^ { * } D ) \rightarrow A$$

We are done by further taking a quasi-´tale cover as in Lemma 5.2. e

/square

At the end of this section, we propose the following question, which extends [MZg23, Question 1.2]. In view of Theorem 1.5, the question has a positive answer when f : X Ñ X has totally invariant ramifications. Moreover, Yoshikawa proves in [Yos21, Theorem 1.3] that, up to replacing X by an f -equivariant quasi-´tale e cover, the general fiber of the Albanese morphism is of Fano type, which partially answers this question.

Question 6.4. Let X be a Q -factorial klt projective variety admitting an int-amplified endomorphism f . Then up to replacing X by a quasi-´tale cover, the Albanese map is a e toric fibration onto an abelian variety.

## 7. Equivariant modification of toric fibration, Proof of Theorem 1.7

The whole section is devoted to the equivariancy of the toric fibration and its modification with the main result Theorem 7.2. We recall some basic facts on toric morphisms.

Definition 7.1. Let ∆ be a fan in a lattice N R . Denote by T N p ∆ the induced toric q variety with the big torus T N and e T N the identity element. Note that the support | ∆ | coincides with N R when T N p ∆ is projective. q

- (1) A morphism f : T N 1 p ∆ 1 q Ñ T N 2 p ∆ 2 q is said to be toric if it comes from a lattice homomorphism that is compatible with fans, i.e., f p T N 1 q Ď T N 2 and f | T N 1 is a group homomorphism.
- (2) Any toric morphism is uniquely determined by some group homomorphism φ f : N 1 Ñ N 2 which is compatible with the fans, i.e., for any cone σ 1 P ∆ , there exists a 1 cone σ 2 P ∆ such that 2 φ f, R p σ 1 q Ď σ 2 .
- (3) In general, if f p T N 1 q Ď T N 2 , i.e., f sends the big torus of T N 1 p ∆ 1 q to that of T N 2 p ∆ , then 2 q f ' α ¨ g where g is a toric morphism and α ' f p e T N 1 q P T N 2 is a multiplication (see [CLS11, Section 3.3], [Nak21, Section 2]).

Theorem 7.2. Let π : p X,D q Ñ Y be a toric fibration over a normal projective variety Y . Then there is a generically finite surjective morphism σ : p r X,D r : ' σ ´ 1 p D qq Ñ p X,D q such that the following hold.

- r r r r (2) Let f P SEnd p X,D q such that π is f -equivariant and f ˚ D ' qD for some positive integer q . Then after iteration, f lifts to r f P SEnd p r X,D r q .
- (1) Let r π : p r X,D r q Ñ r Y be the Stein factorization of the composite map p r X,D r q Ñ p X,D q Ñ Y . Then π : p X,D q Ñ Y is a splitting smooth toric fibration.

Before proving Theorem 7.2, we make some preparations. We begin with the following lemma, which is well-known to experts.

Lemma 7.3. Let X ' T N p ∆ q be a toric variety of dimension n . Let f : T N Ñ T N be an endomorphism via f p t 1 , ¨ ¨ ¨ , t n q ' p t q 1 , ¨ ¨ ¨ , t q n q . Then f extends to a toric endomorphism of X .

Proof. This is simply because the group homomorphism

$$\phi = f _ { * } = q \text{ id} _ { \mathbf N } \colon \mathbf N \cong H _ { 1 } ( T _ { \mathbf N }, \mathbb { Z } ) \to \mathbf N$$

is always compatible with any fan ∆.

/square

Lemma 7.4. Let X be a normal toric variety with T the big torus of dimension n . Let g : Y Ñ Z be a morphism of varieties. Let f : T ˆ Y Ñ T ˆ Z be a morphism via f p t 1 , ¨ ¨ ¨ , t n , y q ' p α 1 p y q¨ t q 1 , ¨ ¨ ¨ , α n p y q¨ t q n , g p y qq where α i : Y Ñ k ˆ are morphisms. Then f extends to a morphism X ˆ Y Ñ X ˆ Z .

Proof. By Lemma 7.3, there is a surjective endomorphism h : X Ñ X such that

$$h ( t _ { 1 }, \cdots, t _ { n } ) = ( t _ { 1 } ^ { q }, \cdots, t _ { n } ^ { q } )$$

for any p t 1 , ¨ ¨ ¨ , t n q P T . Let α : Y Ñ T be a morphism such that α y p q ' p α 1 p y , q ¨ ¨ ¨ , α n p y qq . Define f p x, y q ' p α y p q ¨ h x , g p q p y qq for any p x, y q P X ˆ Y . Then f extends f . /square

Lemma 7.5. Let f : X Ñ X be a surjective endomorphism of a normal projective toric pair p X,D q such that f ˚ D i ' qD i for each irreducible component of D and q ě 1 . Let T be the big torus of dimension n . Then f ' α ¨ g with α ' f p e T q and g t , p 1 ¨ ¨ ¨ , t n q ' p t q 1 , ¨ ¨ ¨ , t q n q for any p t 1 , ¨ ¨ ¨ , t n q P T .

Proof. Write X ' T N p ∆ . q Since f fixes the big torus, it follows that f ' α ¨ g with α ' f p e T q and some toric endomorphism g . Hence, α ¨ D i ' D i and thus g ˚ D i ' qD i for each i . Let φ g : N Ñ N be the induced lattice endomorphism. Since g is finite, by the cone-orbit correspondence, we have φ g, R p σ i q ' σ i for each 1-dimensional σ i P ∆. Note that φ g, R | σ i ' q id σ i . Since X is projective, the support | ∆ | ' N R is generated by 1-dimensional cones. Therefore, φ g, R ' q id N R and the lemma is proved. /square

Proof of Theorem 7.2. By Lemma 5.1 and Theorem 5.3, we have the following commutative diagram

/d33

/d33

/d47

/d47

/d47

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00566v1-figure-ce0dd13f-4534-49f7-ac55-9e0e25110ab7.jpg)

/d15

/d15

/d15

/d15

/d47

/d47

such that p π : p X,D p : ' p ´ 1 X p D qq Ñ p Y is a splitting toric fibration and r π : p X,D r : ' σ ´ 1 p p D qq Ñ p Y is a splitting smooth toric fibration. Hence, we can take r Y to be p Y

and replace p X,D q by p p X,D p q . Then we may assume that p X,D q is a splitting toric fibration. Consider the following commutative diagram

/d47

/d47

r

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00566v1-figure-49678e64-0144-4ac2-8c34-e3d2f18ed91d.jpg)

/d34

/d34

/d124

/d124

## satisfying:

- , π and r π are splitting toric fibrations, , σ is a birational morphism with σ ´ 1 p D q ' D , and
- r , f is a surjective endomorphism such that f ˚ D i ' qD i for each irreducible component of D and q ě 1. (We do iteration here.)

Note that σ induces a birational morphism σ 0 : r X y Ñ X y such that σ ´ 1 0 p D | X y q ' r D | r X y . It is clear that f lifts to a dominant self-map r f on r X . It suffices to show that r f is welldefined everywhere. Pick any point y P Y . Let p r X , D y r | r X y q and p X , D y | X y q be the fiber of r π and π over y , respectively. Since π is splitting, D i,y : ' D i X X y is irreducible for any y P Y and each i . Choose any two non-empty Zariski open subsets U , U 1 2 Ď Y such that g U p 1 q Ď U 2 , p π ´ 1 p U j q , D | π ´ 1 p U j q q - p X y ˆ U , D j | X y ˆ U j q , and p r π ´ 1 p U j q , D r | r π ´ 1 p U j q q p r X y ˆ U , D j r | r X y ˆ U j q for j ' 1 2. , Denote by S the space of surjective endomorphisms ϕ of X . So under these isomorphisms, f induces a morphism f 0 : X y ˆ U 1 Ñ X y ˆ U 2 such that f 0 p x, y q ' p h y p qp x , g q p y qq where h : U 1 Ñ S is a morphism, noting that U 1 X U 2 ‰ H and h y p q ˚ p D i | X y q ' qD i | X y for any y P U 1 . Let T be the big torus of p X , D y | X y q and e T ' p 1 , ¨ ¨ ¨ , 1 q P T . Let α : U 1 Ñ T be a morphism via α y p q ' h y p qp e T , y q . By Lemma 7.5, h y p qp t 1 , ¨ ¨ ¨ , t n q ' α y p q ¨ p t q 1 , ¨ ¨ ¨ , t q n q for any p t 1 , ¨ ¨ ¨ , t n q P T and y P U 1 . So σ 0 | r X y z r D | Ă Xy : r X y z r D | r X y Ñ X y z D | X y is isomorphic. In particular, r X y and X y share the same big torus T . By Lemma 7.4, f 0 | T ˆ U 1 : T ˆ U 1 Ñ T ˆ U 2 extends to a morphism r X y ˆ U 1 Ñ r X y ˆ U 2 . In particular, r f is well-defined. f f /square

Remark 7.6. It is worth noting that the condition f ˚ D ' qD in Theorem 7.2 cannot be removed, as we are currently unable to extend Lemma 7.5 to the general case.

Finally, since each fiber is projective and is surjective, r is surjective.

Proof of Theorem 1.7. Since π is already splitting, we see directly from the proof of Theorem 7.2, a birational morphism will be enough. Note that r X , as a smooth toric fibration over an abelian variety, is also smooth. /square

At the end of this section, we provide the following remark, which is well-known to experts.

Remark 7.7. Let π : p X,B q Ñ Y be a smooth splitting toric fibration over an abelian variety Y ; in particular, X is smooth and K X is not pseudo-effective over Y . By [BCHM10, Corollary 1.3.2], we can run relative MMP over Y . Let F be a fiber of π . Consider the relative MMP

/d47

$$X = X _ { 1 } - - \supset X _ { 2 } - - \supset \cdots - - \supset X _ { m }$$

/d47

/d47

/d47

/d47

/d47

over Y . Let y P Y . The MMP over y is then a toric MMP. Let B 1 ' B and for each 2 ď i ď m , let B i ' σ B p ν i ´ 1 q where B ν i ´ 1 is the sum of irreducible components which are mapped to divisors on X i . One can easily verify that p X , B i i q Ñ Y is again a splitting toric fibration over Y .

## 8. Proof of Main Theorem

In this section, we prove Main Theorem of this paper.

Proof of Main Theorem. By Theorem 1.3, it suffices for us to prove KSC for Case TIR n . We prove it by induction on n .

By Theorems 1.5 and 1.7, we can take a composition of a quasi-´ etale cover and a resolution to obtain the diagram:

/d111

/d111

/d47

/d47

satisfying the following:

$$X \stackrel { \sigma } { \longleftarrow } \widetilde { X } \stackrel { \text{alb} } { \longrightarrow } A \\.. \. \.$$

- , σ is a generically finite surjective morphism,
- , K r X ` r D ' σ ˚ p K X ` D q ' Q 0 (cf. Theorem 5.3), , the Albanese map alb r X is a splitting smooth toric fibration of the pair p r X,D r q with r D ' σ ´ 1 p D q (and in particular, r X is smooth),

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

r X ' r X 1 r π 1 ❴ ❴ ❴ r X 2 r π 2 ❴ ❴ ❴ ¨ ¨ ¨ r π s ´ 1 ❴ ❴ ❴ r X s r τ r Y where r π i is birational and r τ is a Fano contraction of some K r X s -negative extremal ray. Let r f s ' r f | r X s . Let r D s be the image of r D in r X s . By Remark 7.7, r τ is again a splitting toric fibration of the pair p r X , D s r s q . Note that ´ K r X s ' Q r D s and r D s is reducible, the number of irreducible components of which is greater than dim r X ´ dim A . So p r f , X , τ s r s r q does not satisfy Case TIR (condition A2) and hence the MMP starting from r X involves at most Case TIR m with m ă n . By Theorem 1.3 and induction, KSC holds for r f . So KSC holds for f by Lemma 2.13. /square

, Some iteration of f can lift to r f P SEnd p r X,D r q , and , SEnd p r X,D r q contains an int-amplified endomorphism r I . By [MZ20, Theorem 1.2], after iteration, we have r f -equivariant and r I -equivariant MMP over A :

Remark 8.1. Indeed, in the proof of Theorem 1.2, if we continue to run (any) MMP starting from r Y , then it will eventually end up with A and the whole MMP involves no Case TIR, because we are always in the setting of splitting toric fibrations by Remark 7.7. In particular, any MMP starting from r X does not have Case TIR. However, this does not mean that we can show the non-existence of Case TIR for the initial X .

## References

[BCHM10] C. Birkar, P. Cascini, C. D. Hacon and J. McKernan, Existence of minimal models for varieties of log general type., J. Amer. Math. Soc. 23 (2010), no. 2, 405-468. 25

[BH14] A. Broustet and A. H¨ring, Singularities of varieties admitting an endomorphism, o Math. Ann. 360 (2014), no. 1-2, 439-456. 20

[CS93] G. S. Call and J. H. Silverman, Canonical heights on varieties with morphisms, Compositio Math. 89 (1993), no. 2, 163-205. 3

[CMZ20] P. Cascini, S. Meng and D.-Q. Zhang, Polarized endomorphisms of normal projective threefolds in arbitrary characteristic, Math. Ann. 378 (2020), no. 1-2, 637-665. 17

[CLO22] J. A. Chen, H. Lin and K. Oguiso, On the Kawaguchi-Silverman Conjecture for birational automorphisms of irregular varieties, arxiv:2204.09845, 2022. 3

- [CLS11] D. Cox, J. B. Little, and H. K. Schenck, Toric varieties , Graduate Studies in Mathematics, No. 124, 2011. 18, 22

[Dan19] N.-B. Dang, Degrees of iterates of rational maps on normal projective varieties, Proc. Lond. Math. Soc. (3) 121 (2020), no. 5, 1268-1310. 2, 10

- [Deb01] O. Debarre, Higher-dimensional algebraic geometry , Universitext, Springer-Verlag, New York, 2001. 16, 19

[DS04]

T.-C. Dinh and N. Sibony, Regularization of currents and entropy,

Ann. Sci. Ecole Norm. Sup.

´

(4)

37

(2004), no. 6, 959-971. 2, 10

- [DS05] T.-C. Dinh and N. Sibony, Une borne sup´ erieure pour l'entropie topologique d'une application rationnelle, Ann. Math. (2) 161 (2005), no. 3, 1637-1644. 2, 10

[DLB22] S. Druel and F. Lo Bianco, Numerical characterization of some toric fiber bundles, Math. Z. 300 (2022), 1-26. 6, 9, 13, 15, 16, 20

[EY23] S. Ejiri and S. Yoshikawa, Varieties in positive characteristic with numerically flat log cotangent bundle, Preprint, arXiv:2303.09894, 2023. 6

[FGI+05] B. Fantechi, L. G¨ttsche, L. Illusie, S. L. Kleiman, N. Nitsure and A. Vistoli, o Fundamental algebraic geometry , Grothendieck's FGA explained. Mathematical Surveys and Monographs, 123. American Mathematical Society, Providence, RI. 10

[GKP16] D. Greb, S. Kebekus and T. Peternell, Etale fundamental groups of Kawamata log terminal ´ spaces, flat sheaves, and quotients of abelian varieties, Duke Math. J. 165 (2016), no. 10, 1965-2004. 6, 20

- [GKPT19] D. Greb, S. Kebekus, T. Peternell and B. Taji, The Miyaoka-Yau inequality and uniformisation of canonical models, Ann. Sci. Ec. Norm. Sup´r. (4) ´ e 52 (2019), no. 6, 1487-1535. 6
- [Har77] R. Hartshorne, Algebraic geometry , New York-Heidelberg, 1977. 12, 19

Graduate Texts in Mathematics, No. 52, Springer-Verlag,

[HS00] M. Hindry and J. H. Silverman, Diophantine geometry. An introduction , Graduate Texts in Mathematics, No. 201, Springer-Verlag, New York, 2000. 3, 11

[HZ23] F. Hu and G. Zhong, Canonical heights for abelian group actions of maximal dynamical rank, Preprint, arXiv:2311.17759, 2023. 3

[HN11] J. M. Hwang and N. Nakayama, On endomorphisms of Fano manifolds of Picard number one, Pure Appl. Math. Q. 7 (2011), no. 4, 1407-1426. 5, 6

[IMZ23] M. Iwai, S.-I. Matsumura and G. Zhong, Positivity of tangent sheaves of projective varieties the structure of MRC fibrations, Preprint, arXiv:2309.09489, 2023. 13, 14, 15, 16

[Iwa22] M. Iwai, On the structure of a log smooth pair in the equality case of the Bogomolov-Gieseker inequality, Ann. Inst. Fourier (Grenoble) (to appear) , arXiv:2103.08779, 2022. 15

[JSXZ21] J. Jia, T. Shibata, J. Xie and D.-Q. Zhang, Endomorphisms of quasi-projective varieties: towards Zariski dense orbit and Kawaguchi-Silverman conjectures, Math. Res. Lett. (to appear) , arXiv:2104.05339, 2021. 3

[JXZ23] J. Jia, J. Xie and D.-Q. Zhang, Surjective endomorphisms of projective surfaces: the existence of infinitely many dense orbits, Math. Z. 303 (2023), no. 2, Paper No. 39, 23 pp. 4

[Kaw06] S. Kawaguchi, Canonical heights, invariant currents, and dynamical eigensystems of morphisms for line bundles, J. Reine Angew. Math. 597 (2006), 135-173. 11

[KS14] S. Kawaguchi and J. Silverman, Examples of dynamical degree equals arithmetic degree, Michigan Math. J. 63 (2014), no. 1, 41-63. 2, 3

[KS16b] S. Kawaguchi and J. Silverman, Dynamical canonical heights for Jordan blocks, arithmetic degrees of orbits, and nef canonical heights on abelian varieties, Trans. Amer. Math. Soc. 368 (2016), no. 7, 5009-5035. 1, 2, 3, 5, 11

[KS16a] S. Kawaguchi and J. Silverman, On the dynamical and arithmetic degrees of rational self-maps of algebraic varieties, J. Reine Angew. Math. 713 (2016), 21-48. 2, 11

[Kaw85] Y. Kawamata, Minimal models and the Kodaira dimension of algebraic fiber spaces, J. Reine Angew. Math. 363 (1985), 1-46. 8

- [KM98] J. Koll´r and S. Mori, a Birational geometry of algebraic varieties , Cambridge Univ. Press, 1998.

## 8, 18

- [Lan83] S. Lang, Fundamentals of Diophantine Geometry , Springer-Verlag, New York, 1983. 3
- [LS21] J. Lesieutre and M. Santriano, Canonical heights on hyper-K¨hler varieties and the Kawaguchia Silverman Conjecture, Int. Math. Res. Not. IMRN 2021 , no. 10, 7677-7714. 3

[Matm23] S.-I. Matsumura, On the minimal model program for projective varieties with pseudo-effective tangent sheaf, ´ pijournal G´om. Alg´brique E e e 7 (2023), Article 22, 13 p. 13, 14

[Mat20a] Y. Matsuzawa, Kawaguchi-Silverman Conjecture for endomorphisms on several classes of varieties, Adv. Math. 366 (2020), 107086, 26 pp. 2, 3

- [Mat20b] Y. Matsuzawa, On upper bounds of arithmetic degrees, Amer. J. Math. 142 (2020), no. 6, 1797-1820. 3

[Matz23] Y. Matsuzawa, Recent advances on Kawaguchi-Silverman conjecture, Proceedings for the Simons Symposia on Algebraic, Complex, and Arithmetic Dynamics (to appear) , arXiv:2311.15489, 2023. 3

[Mat24] Y. Matsuzawa, Existence of arithmetic degrees for generic orbits and dynamical Lang-Siegel problem, Preprint, arXiv:2407.03097, 2024. 3

| [MMSZ23] Y. Matsuzawa, S. Meng, T. Shibata and D.-Q. Zhang, Non-density of points of small arith- metic degrees, J. Geom. Anal. 33 (2023), no. 4, Paper No. 112, 41 pp. 4, 5                                                                                                                                                                                                                                                                                           |
|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [MMS+22] Y. Matsuzawa, S. Meng, T. Shibata, D.-Q. Zhang and G. Zhong, Invariant subvarieties with small dynamical degree, Int. Math. Res. Not. IMRN 2022 , no. 15, 11448-11483. 3                                                                                                                                                                                                                                                                                      |
| [MSS18] Y. Matsuzawa, K. Sano and T. Shibata, Arithmetic degrees and dynamical degrees of endo- morphisms on surfaces, Algebra & Number Theory 12 (2018), no. 7, 1635-1657. 2, 3 [MW24] Y. Matsuzawa and L. Wang, Arithmetic degrees and Zariski dense orbits of cohomologically hyperbolic maps, Trans. Amer. Math. Soc. (to appear) arxiv:2212.05804, 2024. 3                                                                                                        |
| [MY21] Y. Matsuzawa and S. Yoshikawa, Int-amplified endomorphisms on normal projective surfaces, Taiwanese J. Math. 25 (2021), no. 4, 681-697. 7                                                                                                                                                                                                                                                                                                                       |
| [MY22] Y. Matsuzawa and S. Yoshikawa, Kawaguchi-Silverman conjecture for endomorphisms on ra- tionally connected varieties admitting an int-amplified endomorphism, Math. Ann. 382 (2022), no. 3-4, 1681-1704. 3, 5                                                                                                                                                                                                                                                    |
| [Men20] S. Meng, Building blocks of amplified endomorphisms of normal projective varieties, Math. Z. 294 (2020), no. 3, 1727-1747. 4, 6, 10, 13, 15, 17, 21                                                                                                                                                                                                                                                                                                            |
| [MXZ24] S. Meng, J. Xie and D.-Q. Zhang, Zariski dense orbit conjecture for projective threefolds, in preparation. 7, 16                                                                                                                                                                                                                                                                                                                                               |
| [MZ18] S. Meng and D.-Q. Zhang, Building blocks of polarized endomorphisms of normal projective varieties, Adv. Math. 325 (2018), 243-273. 10                                                                                                                                                                                                                                                                                                                          |
| [MZ19] S. Meng and D.-Q. Zhang, Characterizations of toric varieties via polarized endomorphisms, Math. Z. 292 (2019), no. 3-4, 1223-1231. 5, 6, 9 [MZ20] S. Meng and D. -Q. Zhang, Semi-group structure of all endomorphisms of a projective variety                                                                                                                                                                                                                  |
| admitting a polarized endomorphism, Math. Res. Lett. 27 (2020), no. 2, 523-550. 4, 25 [MZ22] S. Meng and D.-Q. Zhang, Kawaguchi-Silverman conjecture for certain surjective endomor-                                                                                                                                                                                                                                                                                   |
| phisms, Doc. Math. 27 (2022), 1605-1642. 3, 4, 5, 11 [MZZ22] S. Meng, D. -Q. Zhang and G. Zhong, Non-isomorphic endomorphisms of Fano threefolds, Math. Ann. 383 (2022), no. 3, 1567-1596. 4                                                                                                                                                                                                                                                                           |
| [MZ23a] S. Meng and D.-Q. Zhang, Advances in the equivariant minimal model program and their applications in complex and arithmetic dynamics, Proceedings of the Simons Symposia on Algebraic, Complex, and Arithmetic Dynamics (to appear) , arXiv:2311.16369, 2023. 4, 5, 10 [MZ23b] S. Meng and D.-Q. Zhang, Structures theorems and applications of non-isomorphic surjective endomorphisms of smooth projective threefolds, Preprint, arXiv:2309.07005v1, 2023. 3 |
| [MZg23] S. Meng and G. Zhong, Rigidity of rationally connected smooth projective varieties from dy- namical viewpoints, Math. Res. Lett. 30 (2023), no. 2, 589-610. 5, 6, 22                                                                                                                                                                                                                                                                                           |
| [MYY24a] J. Moraga, J. I. Y´˜ez, an W. Yeong, Polarized endomorphisms of Fano varieties with comple- ments, Preprint, arXiv:2401.15506, 2024. 5, 6                                                                                                                                                                                                                                                                                                                     |
| [MYY24b] J. Moraga, J. I. Y´˜ez, an W. Yeong, Polarized endomorphisms of log Calabi-Yau pairs, Preprint, arXiv:2406.18092, 2024. 6                                                                                                                                                                                                                                                                                                                                     |
| [Nak04] N. Nakayama, Zariski-decomposition and abundance , MSJ Memoirs, No. 14, Math. Soc. Japan,                                                                                                                                                                                                                                                                                                                                                                      |
| Tokyo, 2004. 13 Re-                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
| [Nak21] N. Nakayama, On endomorphisms of projective toric varieties, Preprint, RIMS1941.pdf,                                                                                                                                                                                                                                                                                                                                                                           |

[NZ10] N. Nakayama and D.-Q. Zhang, Polarized endomorphisms of complex normal varieties, Math. Ann. 346 (2010), no. 4, 991-1018. 8

- [Ogu24] K. Oguiso, Endomorphisms of a variety of Ueno type and Kawaguchi-Silverman Conjecture, Int. J. Math. (to appear) , arXiv:2401.04386v3, 2024. 3

[Rei83]

M. Reid, Projective morphisms according to Kawamata, preprint, Univ. of Warwick, 1983. 8

- [Sil17] J. Silverman, Arithmetic and dynamical degrees on abelian varieties, J. Th´or. Nombres Bordeaux e 29 (2017), no. 1, 151-167. 2

[Xie24] J. Xie, Algebraic dynamics and recursive inequalities, Preprint, arXiv:2402.12678, 2024. 3 [Yos21] S. Yoshikawa, Structure of Fano fibrations of varieties of varieties admitting an int-amplified endomorphism, Adv. Math. 391 (2021), Paper No. 107964, 32 pp. 22

School of Mathematical Sciences, Shanghai Key Laboratory of PMMP East China Normal University, Shanghai 200241, China

Email address : smeng@math.ecnu.edu.cn

Center for Complex Geometry, Institute for Basic Science (IBS) 55 Expo-ro, Yuseong-gu, Daejeon, 34126, Republic of Korea Email address : zhongguolei@u.nus.edu, guolei@ibs.re.kr
Sheng Meng Guolei Zhong
Kawaguchi-Silverman conjecture for int-amplified endomorphism
Let $X$ be a $\mathbb{Q}$-factorial klt projective variety admitting an
int-amplified endomorphism $f$, i.e., the modulus of any eigenvalue of
$f^*|_{\text{NS}(X)}$ is greater than $1$. We prove Kawaguchi-Silverman
conjecture for $f$ and also any other surjective endomorphism of $X$: the first
dynamical degree equals the arithmetic degree of any point with Zariski dense
orbit. This generalizes an early result of Kawaguchi and Silverman for the
polarized $f$ case, i.e., $f^*|_{\text{NS}(X)}$ is diagonalizable with all
eigenvalues of the same modulus greater than $1$.