let f be an endomorphism of a complex projective space, of degree bigger than one. Let us call an algebraic subset exceptional for f, if its inverse image is set-theoretically equal to itself. J.-Y. Briend, S. Cantat and M. Shishikura proved that an irreducible set like this is a linear subspace. In this paper, we obtain a bound for the number of codimension-two exceptional subspaces. In particular, we show that an endomorphism of the projective plane can be completely ramified at nine points at most.
We investigate int-amplified endomorphisms on normal projective surfaces. We prove that the output of the equivariant MMP is either a Q-abelian surface, a (equivariant) quasi-étale quotient of a smooth projective surface, a Mori dream space, or a projective cone of an elliptic curve.
Totally invariant divisors of endomorphisms of the projective space are expected to be always unions of linear spaces. Using logarithmic differentials we establish a lower bound for the degree of the non-normal locus of a totally invariant divisor. As a consequence we prove the linearity of totally invariant divisors for $\mathbb P^3$.
Let $X$ be a complex projective bundle. We prove that $X$ admits an endomorphism of degree $>1$ and commuting with the projection to the base, if and only if $X$ trivializes after a finite covering. When $X$ is the projectivization of a vector bundle $E$ of rank 2, we prove that it has an endomorphism of degree $>1$ on a general fiber only if $E$ splits after a finite base change.
We first show that any connected algebraic group over a perfect field is the neutral component of the automorphism group scheme of some normal projective variety. Then we show that very few connected algebraic semigroups can be realized as endomorphisms of some projective variety X, by describing the structure of all connected subsemigroup schemes of End(X).
Let $B$ be a simply-connected projective variety such that the first cohomology groups of all line bundles on $B$ are zero. Let $E$ be a vector bundle over $B$ and $X={\mathbb P} (E)$. It is easily seen that a power of any endomorphism of $X$ takes fibers to fibers. We prove that if $X$ admits an endomorphism which is of degree greater than one on the fibers then $E$ splits into a direct sum of line bundles.
We study complex projective manifolds X that admit surjective endomorphisms f:X->X of degree at least two. In case f is etale, we prove structure theorems that describe X. In particular, a rather detailed description is given if X is a uniruled threefold. As to the ramified case, we first prove a general theorem stating that the vector bundle associated to a Galois covering of projective manifolds is ample (resp. nef) under very mild conditions. This is applied to the study of ramified endomorphisms of Fano manifolds with second Betti number one. It is conjectured that the projective space is …
We consider an arbitrary int-amplified surjective endomorphism $f$ of a normal projective variety $X$ over $\mathbb{C}$ and its $f^{-1}$-stable prime divisors. We extend the early result for the case of polarized endomorphisms to the case of int-amplified endomorphisms. Assume further that $X$ has at worst Kawamata log terminal singularities. We prove that the total number of $f^{-1}$-stable prime divisors has an optimal upper bound $\dim X+ρ(X)$, where $ρ(X)$ is the Picard number. Also, we give a sufficient condition for $X$ to be rationally connected and simply connected. Finally, by running…
It is conjectured that a Fano manifold of Picard number 1 which is not a projective space admits no endomorphisms of degree bigger than 1. Beauville confirmed this for hypersurfaces of projective space. We study this problem for hypersurfaces of an arbitrary Fano manifold of Picard number 1.
Etale endomorphisms of complex projective manifolds are constructed from two building blocks up to isomorphism if the good minimal model conjecture is true. They are the endomorphisms of abelian varieties and the nearly etale rational endomorphisms of weak Calabi-Yau varieties.
We prove the existence of global minimal models for rational morphisms $ϕ:{\mathbb P}^N\rightarrow{\mathbb P}^N$ of projective space defined over the field of fractions of a principal ideal domain.
We consider surjective endomorphisms f of degree > 1 on projective manifolds X of Picard number one and their f^{-1}-stable hypersurfaces V, and show that V is rationally chain connected. Also given is an optimal upper bound for the number of f^{-1}-stable prime divisors on (not necessarily smooth) projective varieties.
It is expected that a totally invariant divisor of a non-isomorphic endomorphism of the complex projective space is a union of hyperplanes. In this paper, we compute an upper bound for the degree of such a divisor. As a consequence, we prove the linearity of totally invariant divisors with isolated singularities.
We collect some results on endomorphisms on projective varieties related with the Kawaguchi-Silverman conjecture. We discuss certain condition on automorphism groups of projective varieties and positivity conditions on leading real eigendivisors of self-morphisms. We prove Kawaguchi-Silverman conjecture for endomorphisms on projective bundles on a smooth Fano variety of Picard number one. In the last section, we discuss endomorphisms and augmented base loci of their eigendivisors.
Let $X$ be a projective variety admitting a polarized (or more generally, int-amplified) endomorphism. We show: there are only finitely many contractible extremal rays; and when $X$ is $\mathbb{Q}$-factorial normal, every minimal model program is equivariant relative to the monoid $SEnd(X)$ of all surjective endomorphisms, up to finite index. Further, when $X$ is rationally connected and smooth, we show: there is a finite-index submonoid $G$ of $SEnd(X)$ such that $G$ acts via pullback as diagonal (and hence commutative) matrices on the Neron-Severi group; the full automorphisms group $Aut(X)$…
We characterize possible periodic subvarieties for surjective endomorphisms of complex abelian varieties in terms of the eigenvalues of the cohomological actions induced by the endomorphisms, extending previous work in this direction by Pink and Roessler. By applying our characterization to induced endomorphisms on Albanese varieties, we draw conclusions about the dynamics of surjective endomorphisms for a broad class of projective varieties. We also analyze several classes of surjective endomorphisms that are distinguished by properties of their cohomological actions.
Let $X$ be a normal projective variety. A surjective endomorphism $f:X\to X$ is int-amplified if $f^\ast L - L =H$ for some ample Cartier divisors $L$ and $H$. This is a generalization of the so-called polarized endomorphism which requires that $f^*H\sim qH$ for some ample Cartier divisor $H$ and $q>1$. We show that this generalization keeps all nice properties of the polarized case in terms of the singularity, canonical divisor, and equivariant minimal model program.
Let $X$ be a normal projective variety admitting a polarized or int-amplified endomorphism $f$. We list up characteristic properties of such an endomorphism and classify such a variety from the aspects of its singularity, anti-canonical divisor and Kodaira dimension. Then we run the equivariant minimal model program with respect to not just the single $f$ but also the monoid $SEnd(X)$ of all surjective endomorphisms of $X$, up to finite-index. Several applications are given. We also give both algebraic and geometric characterizations of toric varieties via polarized endomorphisms.
We prove that the jacobian of a hyperelliptic curve y^2=f(x) is absolutely simple if deg(f)=q+1 where q is a power prime congruent to 5 modulo 8, the polynomial f(x) is irreducible over the ground field of characteristic zero and its Galois group is L_2(q).
We consider surjective endomorphisms f of degree > 1 on the projective n-space with n = 3, and f^{-1}-stable hypersurfaces V. We show that V is a hyperplane (i.e., deg(V) = 1) but with four possible exceptions; it is conjectured that deg(V) = 1 for any n > 1.
We define an "ample canonical height" for an endomorphism on a projective variety, which is essentially a generalization of the canonical heights for polarized endomorphisms introduced by Call--Silverman. We formulate a dynamical analogue of the Northcott finiteness theorem for ample canonical heights as a conjecture, and prove it for endomorphisms on varieties of small Picard numbers, abelian varieties, and surfaces. As applications, for the endomorphisms which satisfy the conjecture, we show the non-density of the set of preperiodic points over a fixed number field, and obtain a dynamical Mo…
We consider the potential density of rational points on an algebraic variety defined over a number field $K$, i.e., the property that the set of rational points of $X$ becomes Zariski dense after a finite field extension of $K$. For a non-uniruled projective variety with an int-amplified endomorphism, we show that it always satisfies potential density. When a rationally connected variety admits an int-amplified endomorphism, we prove that there exists some rational curve with a Zariski dense forward orbit, assuming the Zariski dense orbit conjecture in lower dimensions. As an application, we p…
Let $Φ$ be an endomorphism of $\SR(\bar{\Q})$, the projective line over the algebraic closure of $\Q$, of degree $\geq2$ defined over a number field $K$. Let $v$ be a non-archimedean valuation of $K$. We say that $Φ$ has critically good reduction at $v$ if any pair of distinct ramification points of $Φ$ do not collide under reduction modulo $v$ and the same holds for any pair of branch points. We say that $Φ$ has simple good reduction at $v$ if the map $Φ_v$, the reduction of $Φ$ modulo $v$, has the same degree of $Φ$. We prove that if $Φ$ has critically good reduction at $v$ and the reduction…
In this paper we prove the following theorem. Let $f$ be a dominant endomorphism of a smooth projective surface over an algebraically closed field of characteristic $0$. If there is no nonconstant invariant rational function under $f$, then there exists a closed point whose orbit under $f$ is Zariski dense. This result gives us a positive answer to the Zariski dense orbit conjecture proposed by Medvedev and Scanlon, by Amerik, Bogomolov and Rovinsky, and by Zhang, for endomorphisms of smooth projective surfaces. Moreover, we define a new canonical topology on varieties over an algebraically cl…
Let $f \colon X \to X$ be a surjective endomorphism of a normal projective surface. When $\operatorname{deg} f \geq 2$, applying an (iteration of) $f$-equivariant minimal model program (EMMP), we determine the geometric structure of $X$. Using this, we extend the second author's result to singular surfaces to the extent that either $X$ has an $f$-invariant non-constant rational function, or $f$ has infinitely many Zariski-dense forward orbits; this result is also extended to Adelic topology (which is finer than Zariski topology).
We show that there exist exceptional collections of length 3 consisting of line bundles on the three fake projective planes that have a 2-adic uniformisation with torsion free covering group. We also compute the Hochschild cohomology of the right orthogonal of the subcategory of the bounded derived category of coherent sheaves generated by these exceptional collections.
In this article we prove a result comparing rationality of algebraic cycles over the function field of a projective homogeneous variety under a linear algebraic group of type $F_4$ or $E_8$ and over the base field, which can be of any characteristic.
The purpose of the article is to explain a new method to establish the existence of an exceptional collection of length three for a fake projective plane M with non-trivial automorphism group, related to a conjecture of Galkin-Katzarkov-Mellit-Shinder in 2015. Our method shows that 30 fake projective planes support such a sequence, most of which are new. In particular, this provides many new H-phantom categories.
It is shown that a complex normal projective variety has non-positive Kodaira dimension if it admits a non-isomorphic quasi-polarized endomorphism. The geometric structure of the variety is described by methods of equivariant lifting and fibrations. (For endomorphisms of projective spaces, see version 1).
Suppose K is a field of characteristic 0, $K_a$ is its algebraic closure, p is an odd prime. Suppose, $f(x) \in K[x]$ is a polynomial of degree $n \ge 5$ without multiple roots. Let us consider a curve $C: y^p=f(x)$ and its jacobian J(C). It is known that the ring End(J(C)) of all $K_a$-endomorphisms of J(C) contains the ring $Z[ζ_p]$ of integers in the pth cyclotomic field (generated by obvious automorphisms of C). We prove that $End(J(C))=Z[ζ_p]$ if the Galois group of f over K is either the symmetric group $S_n$ or the alternating group $A_n$.
For a dominant rational self-map on a smooth projective variety defined over a number field, Kawaguchi and Silverman conjectured that the (first) dynamical degree is equal to the arithmetic degree at a rational point whose forward orbit is well-defined and Zariski dense. We prove this conjecture for surjective endomorphisms on smooth projective surfaces. For surjective endomorphisms on any smooth projective varieties, we show the existence of rational points whose arithmetic degrees are equal to the dynamical degree. Moreover, we prove that there exists a Zariski dense set of rational points h…
Assume that R is a local regular ring containing an infinite perfect field, or that R is the local ring of a point on a smooth scheme over an infinite field. Let K be the field of fractions of R and the characteristic of K is not 2. Let X be an exceptional projective homogeneous scheme over R. We prove that in most cases the condition that X has a K-point implies that X has an R-point.
The endomorphism ring of the projective plane over a field F of characteristic neither two nor three is slightly more complicated in the Morel-Voevodsky motivic stable homotopy category than in Voevodsky's derived category of motives. In particular, it is not commutative precisely if there exists a square in F which does not admit a sixth root. A byproduct of the computations is a proof of Suslin's conjecture on the Suslin-Hurewicz homomorphism from Quillen to Milnor K-theory in degree four, based on work of Asok, Fasel, and Williams.
We study the endomorphism ring $End(J(C))$ of the complex jacobian $J(C)$ of a curve $y^p=f(x)$ where $p$ is an odd prime and $f(x)$ is a polynomial with complex coefficiens of degree $n>4$ and without multiple roots. Assume that all the coefficients of $f$ lie in a (sub)field $K$ and the Galois group of $f$ over $K$ is either the full symmetric group $S_n$ or the alternating group $A_n$. Then we prove that $End(J(C))$ is the ring of integers in the in the $p$th cyclotomic field, if $p$ is a Fermat prime (e.g., $p=3,5,17,257$). Similar results for $p=2$ (the case of hyperelliptic curves) were …
We show that for every morphism f between nonsingular hypersurfaces of dimension at least 3 and of general type in projective space, there is an everywhere defined endomorphism F of projective space that restricts to f. As a corollary, we see that if X,Y are nonsingular hypersurfaces of general type of dimension at least 3 such that there is a nonconstant morphism f from X to Y, then degY divides degX with quotient q, and moreover the endomorphism F of projective space is given by polynomials of degree q.
An endomorphism $f$ of a projective variety X is polarized (resp. quasi-polarized) if $f^*H$ is linearly equivalent to $qH$ for some ample (resp. nef and big) Cartier divisor $H$ and integer $q > 1$. First, we use cone analysis to show that a quasi-polarized endomorphism is always polarized, and the polarized property descends via any equivariant dominant rational map. Next, we show that a suitable maximal rationally connected fibration (MRC) can be made $f$-equivariant using a construction of N. Nakayama, that $f$ descends to a polarized endomorphism of the base Y of this MRC and that this Y …
Let $K$ be a number field and $v$ a non archimedean valuation on $K$. We say that an endomorphism $Φ\colon \mathbb{P}_1\to \mathbb{P}_1$ has good reduction at $v$ if there exists a model $Ψ$ for $Φ$ such that $\degΨ_v$, the degree of the reduction of $Ψ$ modulo $v$, equals $\degΨ$ and $Ψ_v$ is separable. We prove a criterion for good reduction that is the natural generalization of a result due to Zannier in \cite{Uz3}. Our result is in connection with other two notions of good reduction, the simple and the critically good reduction. The last part of our article is dedicated to prove a characte…
We classify noninvertible, holomorphic selfmaps of the projective plane that preserve an algebraic web. In doing so, we obtain interesting examples of critically finite maps.
Let $X$ be a projective variety over an algebraically closed field $k$ of arbitrary characteristic $p \ge 0$. A surjective endomorphism $f$ of $X$ is $q$-polarized if $f^\ast H \sim qH$ for some ample Cartier divisor $H$ and integer $q > 1$. Suppose $f$ is separable and $X$ is $\mathbb{Q}$-Gorenstein and normal. We show that the anti-canonical divisor $-K_X$ is numerically equivalent to an effective $\mathbb{Q}$-Cartier divisor, strengthening slightly the conclusion of Boucksom, de Fernex and Favre (Theorem C) and also covering singular varieties over an algebraically closed field of arbitrary…
We prove the rationality and irreducibility of the moduli space of---what we call---the endomorphism-general instanton vector bundles of arbitrary rank on the projective space. In particular, we deduce the rationality of the moduli spaces of rank-two mathematical instantons. This problem was first studied by Hartshorne, Hirschowitz-Narasimhan in the late 1970s, and it has been reiterated within the framework of the ICM 2018.
Let X be a smooth irreducible complex projective curve of genus g > 1. In this paper, we give necessary and sufficient conditions for an unstable bundle of HN-lenght 2 to have a particular algebra of endomorphisms. Then, fixing the dimension of the algebra of endomorphisms we obtain a stratification of the moduli scheme such that each strata is a coarse moduli space. A particular case of interest is when the unstable bundles are simple. In that case the moduli space is fine. Topological properties of those moduli spaces are described and will depend on the generality of the curve X. Such resul…
