In these notes, we consider self-maps of degree > 1 on a weak del Pezzo surface X of degree < 8. We show that there are exactly 12 such X, modulo isomorphism. In particular, K_X^2 > 2, and if X has one self-map of degree > 1 then for every positive integer d there is a self-map of degree d^2 on X. We prove the Sato conjecture in the present case, the general case of which has been proved by N. Nakayama.
We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism of complex algebraic variety that is injective on the complement of a closed subvariety of codimension at least $2$, is an automorphism.
Using only basic topological properties of real algebraic sets and regular morphisms we show that any injective regular self-mapping of a real algebraic set is surjective. Then we show that injective morphisms between germs of real algebraic sets define a partial order on the equivalence classes of these germs divided by continuous semi-algebraic homeomorphisms. We use this observation to deduce that any injective regular self-mapping of a real algebraic set is a homeomorphism. We show also a similar local property. All our results can be extended to arc-symmetric semi-algebraic sets and injec…
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.
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).
We prove a conjecture of Medvedev and Scanlon for endomorphisms of connected commutative linear algebraic groups $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$. That is, if $Φ\colon G\longrightarrow G$ is a dominant endomorphism, we prove that one of the following holds: either there exists a non-constant rational function $f\in \mathbb{k}(G)$ preserved by $Φ$ (i.e., $f\circ Φ= f$), or there exists a point $x\in G(\mathbb{k})$ whose $Φ$-orbit is Zariski dense in $G$.
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.
We prove Kawaguchi-Silverman conjecture (KSC) and Shibata's conjecture on ample canonical heights for endomorphisms on several classes of algebraic varieties including varieties of Fano type and projective toric varieties. We also prove KSC for group endomorphisms of linear algebraic groups. We also propose a possible approach to the conjecture using equivariant MMP.
We present a complete classification of complex projective surfaces $X$ with nontrivial self-maps (i.e. surjective morphisms $f:X\rightarrow X$ which are not isomorphisms) of any given degree. The starting point of our classification are results contained in Fujimoto and Nakayama that provide a list of surfaces that admit at least one nontrivial self-map. We then proceed by a case by case analysis that blends geometrical and arithmetical arguments in order to exclude that certain prime numbers appear as degrees of nontrivial self-maps of certain surfaces.
Let S and R be the rings of regular functions on affine algebraic varieties over a field of characteristic 0, R be embedded as a subring in S, and F : S --> S be an endomorphism such that F(R) subset R. Suppose that every ideal of height 1 in R generates a proper ideal in S, and the spectrum of R has no selfintersection points. We show that if F is an automorphism so is F|_R : R --> R. When R and S have the same transcendence degree then the fact that F|_R is an automorphisms implies that F is an automorphism.
We prove that a smooth hypersurface of degree >2 and dimension >1 admits no endomorphism of degree >1 (for hyperquadrics this is due to Paranjape and Srinivas). We then collect some general results on endomorphisms of projective manifolds; we prove in particular that ramified endomorphisms occur only on varieties of negative Kodaira dimension, and we classify those Del Pezzo surfaces which admit such endomorphism.
Let $G$ be a group and let $X$ be an algebraic variety over an algebraically closed field $k$ of characteristic zero. Denote $A=X(k)$ the set of rational points of $X$. We investigate invertible algebraic cellular automata $τ\colon A^G \to A^G$ whose local defining map is induced by some morphism of algebraic varieties $X^M \to X$ where $M$ is a finite memory. When $G$ is locally embeddable into finite groups (LEF), then we show that the inverses of reversible algebraic cellular automata are automatically algebraic cellular automata. Generalizations are also obtained for finite product Hopfian…
Let $G$ be an amenable group and let $X$ be an irreducible complete algebraic variety over an algebraically closed field $K$. Let $A$ denote the set of $K$-points of $X$ and let $τ\colon A^G \to A^G$ be an algebraic cellular automaton over $(G,X,K)$, that is, a cellular automaton over the group $G$ and the alphabet $A$ whose local defining map is induced by a morphism of $K$-algebraic varieties. We introduce a weak notion of pre-injectivity for algebraic cellular automata, namely $(*)$-pre-injectivity, and prove that $τ$ is surjective if and only if it is $(*)$-pre-injective. In particular, $τ…
The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between K3 surfaces to link the Tate conjecture to finiteness results over finite fields, in the spirit of Tate.
We give a classification of all principally polarized abelian surfaces that admit an $(l,l)$-isogeny to themselves, and show how to compute all the abelian surfaces that occur. We make the classification explicit in the simplest case $l=2$. As part of our classification, we also show how to find all principally polarized abelian surfaces with multiplication by a given imaginary quadratic order.
It is conjectured that there exist finitely many isomorphism classes of simple endomorphism algebras of abelian varieties of GL_2-type over \Q of bounded dimension. We explore this conjecture when particularized to quaternion endomorphism algebras of abelian surfaces by giving a moduli interpretation which translates the question into the diophantine arithmetic of Shimura curves embedded in Hilbert surfaces. We address the resulting problems on these curves by local and global methods, including Chabauty techniques on explicit equations of Shimura curves.
For families of $K3$ surfaces, we establish a sufficient criterion for real or complex multiplication. Our criterion is arithmetic in nature. It may show, at first, that the generic fibre of the family has a nontrivial endomorphism field. Moreover, the endomorphism field does not shrink under specialisation. As an application, we present two explicit families of $K3$ surfaces having real multiplication by $\bbQ(\sqrt{2})$ and $\bbQ(\sqrt{5})$, respectively.
We compute the set of naive pointed homotopy classes of endomorphisms of the projective line P^1 over the spectrum of a field. Our computation compares well with Fabien Morel's one of the motivic pointed homotopy classes of endomorphisms of P^1: there is an a priori monoid structure on the set of naive homotopy classes such that canonical map from this monoid to group of motivic homotopy classes is a group completion.
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…
Let $G$ be a group. Let $X$ be a connected algebraic group over an algebraically closed field $K$. Denote by $A=X(K)$ the set of $K$-points of $X$. We study a class of endomorphisms of pro-algebraic groups, namely algebraic group cellular automata over $(G,X,K)$. They are cellular automata $τ\colon A^G \to A^G$ whose local defining map is induced by a homomorphism of algebraic groups $X^M \to X$ where $M\subset G$ is a finite memory set of $τ$. Our first result is that when $G$ is sofic, such an algebraic group cellular automaton $τ$ is invertible whenever it is injective and $\text{char}(K)=0…
We introduce an algebraicity criteria. It has the following form: under certain conditions, an analytic subvariety of some algebriac variety over a global field $K$, if it contains many $K$-points, then it is algebraic over $K.$ This gives a way to show the transcendence of points via the transcendence of analytic subvarieties. Such a situation often appears when we have a dynamical system, because we can often produce infinitely many points from one point via iterates. Combing this criteria and the study of invariant subvarieties, we get some results on the transcendence in arithmetic dynamic…
We study the algbraic dynamics for endomorphisms of projective spaces with coefficients in a p-adic field whose reduction in positive characteritic is the Frobenius. In particular, we prove a version of the dynamical Manin-Mumford conjecture and the dynamical Mordell-Lang conjecture for the coherent backward orbits for such endomorphisms. We also give a new proof of a dynamical version of the Tate-Voloch conjecture in this case. Our method is based on the theory of perfectoid spaces introduced by P. Scholze. In the appendix, we prove that under some technical condition on the field of definiti…
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).
Suppose that $K$ is a field of characteristic 0, $K_a$ is its algebraic closure, $p$ is a prime, $q=p^r$ is a power prime. Suppose that $f(x) \in K[x]$ is a polynomial of degree $n > 4$ without multiple roots. Let us consider the superelliptic curve $C: y^q=f(x)$ and its jacobian $J(C)$. We study the endomorphism algebra $End^0(J(C))$ of all $K_a$-endomorphisms of $J(C)$. We prove that $End^0(J(C))$ is "as small as possible" if the Galois group of $f$ over $K$ is either the full symmetric group $S_n$ or the alternating group $A_n$.
The study of Frobenius endomorphism provides numerous information about its corresponding Abelian variety. To understand the action of the Frobenius endomorphism, one may be interested in its eigenvalues. According to Weil's third conjecture ("Riemann hypothesis over finite fields"), they all have absolute value less than or equal to $2g\sqrt{p}$. Thus, the eigenvalues of the Frobenius endomorphism all belong to the same compact subset of the complex plane, and are roots of the same monic polynomial with integer coefficients (the characteristic polynomial of the Frobenius endomorphism). Such c…
In this paper we prove the following theorem. Let $f:\mathbb{A}^2\rightarrow \mathbb{A}^2$ be a dominate polynomial endomorphisms defined over an algebraically closed field $k$ of characteristic $0$. If there are no nonconstant rational function $g:\mathbb{A}^2-rightarrow \mathbb{P}^1$ satisfying $g\circ f=g$, then there exists a point $p\in \mathbb{A}^2(k)$ whose orbit under $f$ is Zariski dense in $\mathbb{A}^2$. This result gives us a positive answer to a conjecture of Amerik, Bogomolov and Rovinsky ( and Zhang) for polynomial endomorphisms on the affine plane.
In this paper, we study arithmetic dynamics in arbitrary characteristic, in particular in positive characteristic. We generalise some basic facts on arithmetic degree and canonical height in positive characteristic. As applications, we prove the dynamical Mordell-Lang conjecture for automorphisms of projective surfaces of positive entropy, the Zariski dense orbit conjecture for automorphisms of projective surfaces and for endomorphisms of projective varieties with large first dynamical degree. We also study ergodic theory for constructible topology. For example, we prove the equidistribution o…
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of components carries additional arithmetic information. We then check that in many cases where the Mumford-Tate group is completely determined by the endomorphisms of the abelian variety, the algebraic Sato-T…
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$.
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…
An abelian surface A over a field K has potential quaternionic multiplication if the ring End_\bar K (A) of geometric endomorphisms of A is an order in an indefinite rational division quaternion algebra. In this brief note, we study the possible structures of the ring of endomorphisms of these surfaces and we provide explicit examples of Jacobians of curves of genus two which show that our result is sharp.