Let $k$ be a global field, let $A$ be a Dedekind domain with $\text{Quot}(A) = k$, and let $K$ be a finitely generated field. Using a unified approach for both elliptic curves and Drinfeld modules $M$ defined over $K$ and having a trivial endomorphism ring, with $k= \mathbb{Q}$, $A = \mathbb{Z}$ in the former case and $k$ a global function field, $A$ its ring of functions regular away from a fixed prime in the latter case, for any nonzero ideal $\mathfrak{a} \lhd A$ we prove best possible estimates in the norm $|\mathfrak{a}|$ for the degrees over $K$ of the subfields of the $\mathfrak{a}$-division fields of $M$ fixed by scalars.
A polarizable endomorphism on a projective variety enables us to consider given morphism as constant multiplication in the height function. In this paper, we will generalize it for arbitrary dominant endomorphism by defining the height expansion and contraction coefficients.
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.
In this article we study the Galois group of field generated by division points of special class of formal group laws and prove an equivalent condition for the group to be abelian. Further, we explore relations between the endomorphism ring of a formal group and the Galois group of field generated by division points.
We relate the endomorphism rings of certain $D$-elliptic sheaves of finite characteristic to hereditary orders in central division algebras over function fields.
Let $\mathbb{F}_q[T]$ be the polynomial ring over a finite field $\mathbb{F}_q$. We study the endomorphism rings of Drinfeld $\mathbb{F}_q[T]$-modules of arbitrary rank over finite fields. We compare the endomorphism rings to their subrings generated by the Frobenius endomorphism and deduce from this a refinement of a reciprocity law for division fields of Drinfeld modules proved in our earlier paper. We then use these results to give an efficient algorithm for computing the endomorphism rings and discuss some interesting examples produced by our algorithm.
Given an endomorphism f of projective space, we exhibit explicit bounds on the difference between the naive height of a divisor and its canonical height relative to f.
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 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 give a global description of the Frobenius elements in the division fields of Drinfeld modules of rank $2$. We apply this description to derive a criterion for the splitting modulo primes of a class of non-solvable polynomials, and to study the frequency with which the reductions of Drinfeld modules have small endomorphism rings. We also generalize some of these results to higher rank Drinfeld modules and prove CM-lifting theorems for Drinfeld modules.
The holomorphic endomorphism f of projective space is called post-critically finite (PCF) if the forward image of the critical locus, under iteration of f, has algebraic support (i.e., is a finite union of hypersurfaces). In the case of dimension 1, a deep result of Thurston implies that there are no algebraic families of PCF morphisms, other than a well-understood exceptional class known as the flexible Lattes maps. This note proves a corresponding result in arbitrary dimension, for a certain subclass of morphism. Specifically, we restrict attention to morphisms f of degree at least two, with…
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…
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).
In this paper we will give a global description of the Frobenius for the division fields of an elliptic curve E which is strictly analogous to the cyclotomic case. This is then applied to determine the splitting of a prime p in subfields of such a division field. Such fields include a large class of non-solvable quintic extensions and our application provides an arithmetic counterpart to Klein's "solution" of quintic equations using elliptic functions. A central role is played by the discriminant of the ring of endomorphisms of the elliptic curve reduced modulo p.
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…
There is a natural conjugation action on the set of endomorphism of $¶^N$ of fixed degree $d \geq 2$. The quotient by this action forms the moduli of degree $d$ endomorphisms of $¶^N$, denoted $\mathcal{M}_d^N$. We construct invariant functions on this moduli space coming from to set of multiplier matrices of the periodic points. The basic properties of these functions are demonstrated such as that they are in the ring of regular functions of $\mathcal{M}_d^N$, methods of computing them, as well as the existence of relations. The main part of the article examines to what extend these invariant…
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 …
Let K be an algebraic number field. For a degree d rational morphism of projective n-space defined over K let R denote its minimal resultant ideal. For a fixed height function on the moduli space of dynamical systems this paper shows that all such morphisms of bounded height and resultant are contained in finitely many PGL(K) equivalence classes. This answers a question of Silverman in the affirmative.
Given two elliptic curves, each of which is associated with a projection map that identifies opposite elements with respect to the natural group structure, we investigate how their corresponding projective images of torsion points intersect.
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…
Let $F$ be a local non-archimedean field and $\mathcal{O}_F$ its ring of integers. Let $Ω$ be a Bernstein component of the category of smooth representations of $GL_n(F)$, let $(J, λ)$ be a Bushnell-Kutzko $Ω$-type, and let $\mathfrak{Z}_Ω$ be the centre of the Bernstein component $Ω$. This paper contains two major results. Let $σ$ be a direct summand of $\mathrm{Ind}_J^{GL_n(\mathcal{O}_F)} λ$. We will begin by computing $\mathrm{c\text{--} Ind}_{GL_n(\mathcal{O}_F)}^{GL_n(F)} σ\otimes_{\mathfrak{Z}_Ω}κ(\mathfrak{m})$, where $κ(\mathfrak{m})$ is the residue field at maximal ideal $\mathfrak{m…
We use a rigidity argument to prove the existence of two related degree twenty-eight covers of the projective plane with Galois group SU3(3).2 = G2(2). Constructing corresponding two-parameter polynomials directly from the defining group-theoretic data seems beyond feasablity. Instead we provide two independent constructions of these polynomials, one from 3-division points on covers of the projective line studied by Deligne and Mostow, and one from 2-division points of genus three curves studied by Shioda. We explain how one of the covers also arises as a 2-division polynomial for a family of …
We study the dynamics of the map endomorphism of N-dimensional projective space defined by f(X)=AX^d, where A is a matrix and d is at least 2. When d>N^2+N+1, we show that the critical height of such a morphism is comparable to its height in moduli space, confirming a case of a natural generalization of a conjecture of Silverman.
We analyze when integral points on the complement of a finite union of curves in $\mathbb{P}^2$ are potentially dense. We divide the analysis of these affine surfaces based on their logarithmic Kodaira dimension $\barκ$. When $\barκ = -\infty$, we completely characterize the potential density of integral points in terms of the number of irreducible components on the surface at infinity and the number of multiple members in a pencil naturally associated to the surface. When integral points are not potentially dense, we show that they lie on finitely many effectively computable curves. When $\ba…
Suppose $X$ is a projective variety defined over a finite extension $K$ of $\mathbb{Q}_p$ and suppose $X$ admits a model $\mathcal{X}$ defined over the ring of integers $R$ of $K$. Let $f:{X}\rightarrow {X}$ be an endomorphism of $X$ defined over $K$ that can be extended to an endomorphism of $\mathcal{X}$ defined over $R$. We apply a method of Fakhruddin to prove an explicit upper bound for the primitive period of periodic points defined over $R$.
Let $\ell$ be a prime and let $q$ be a prime power not divisible by $\ell$. Put $G=\mathrm{GL}_n(\mathrm{F}_q)$ and fix an irreducible cuspidal representation, $\barπ$, of $G$ over a sufficiently large finite field, $k$, of characteristic $\ell$ such that $\barπ$ is not supercuspidal. We compute the $\mathrm{W}(k)[G]$-endomorphism ring of the projective envelope of $\barπ$ under the assumption that $\ell>n$. Our computations provide evidence for a conjecture of Helm relating the Bernstein center to the deformation theory of Galois representations.
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…
Given a surjective endomorphism $f: X \to X$ on a projective variety over a number field, one can define the arithmetic degree $α_f(x)$ of $f$ at a point $x$ in $X$. The Kawaguchi - Silverman Conjecture (KSC) predicts that any forward $f$-orbit of a point $x$ in $X$ at which the arithmetic degree $α_f(x)$ is strictly smaller than the first dynamical degree $δ_f$ of $f$ is not Zariski dense. We extend the KSC to sAND (= small Arithmetic Non-Density) Conjecture that the locus $Z_f(d)$ of all points of small arithmetic degree is not Zariski dense, and verify this sAND Conjecture for endomorphisms…
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.
Call and Silverman introduced the canonical height associated to a polarized dynamical system, that is, an endomorphism of a projective variety and an ample line bundle which pulls back to a tensor power of itself. They also presented an asymptotic for the variation of this height in a family over a one-dimensional base in terms of the height on the generic fibre and the height of the parameter. Here we improve this asymptotic, saving a power in the error term. As a corollary, we give an explicit bound on the height of parameters at which the dynamical system specialized to a finite orbit, in …
For a dominant rational self-map on a smooth projective variety defined over a number field, Shu Kawaguchi and Joseph H. Silverman conjectured that the dynamical degree is equal to the arithmetic degree at a rational point whose forward orbit is well-defined and Zariski dense. We give some examples of self-maps on product varieties and rational points on them for which the Kawaguchi-Silverman conjecture holds.
We develop an algorithm that determines, for a given squarefree binary form $F$ with real coefficients, a smallest representative of its orbit under $\operatorname{SL}(2,\mathbb Z)$, either with respect to the Euclidean norm or with respect to the maximum norm of the coefficient vector. This is based on earlier work of Cremona and Stoll. We then generalize our approach so that it also applies to the problem of finding an integral representative of smallest height in the $\operatorname{PGL}(2,\mathbb Q)$ conjugacy class of an endomorphism of the projective line. Having a small model of such an …
We introduce a new canonical height function for Jordan blocks of small eigenvalues for endomorphisms on smooth projective varieties over a number field. We prove that under an assumption on the eigenvalues of the endomorphism on the group of divisors modulo numerical equivalence, the arithmetic degree at a rational point is equal to one if and only if it is preperiodic under the endomorphism.
In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $S_n$ or the alternating group $A_n$. Here $n>4$ is the degree of $f$. In math.AG/0003002 we extended this result to the case of certain ``smaller'' Galois groups. In particular, we treated the infinite series $n=2^r+1, Gal(f)=L_2(2^r)$ and $…
Let $Φ$ be a Drinfeld $\mathbf{F}_{q}[T]$-module of rank 2, over a finite field $L$, a finite extension of $n$ degrees of a finite field with $q$ elements $\mathbf{F}_{q}$. Let $m$ be the extension degrees of $ L$ over the field $\mathbf{F}_{q}[T]/P$, $P$ is the $\mathbf{F}%_{q}[T]$-characteristic of $L$, and $d$ the degree of the polynomial $P$. We will discuss about a many analogies points with elliptic curves. We start by the endomorphism ring of a Drinfeld $\mathbf{F}_{q}[T]$-module of rank 2, End$_{L}Φ$, and we specify the maximality conditions and non maximality conditions as a $\mathbf{…
We prove an analog of Belyi's theorem for the algebraic surfaces. Namely, any non-singular algebraic surface can be defined over a number field if and only it covers the complex projective plane with ramification at three knotted two-dimensional spheres.
The Kawaguchi--Silverman conjecture predicts that if $f\colon X \dashrightarrow X$ is a dominant rational-self map of a projective variety over $\overline{\mathbb{Q}}$, and $P$ is a $\overline{\mathbb{Q}}$-point of $X$ with Zariski-dense orbit, then the dynamical and arithmetic degrees of $f$ coincide: $λ_1(f) = α_f(P)$. We prove this conjecture in several higher-dimensional settings, including all endomorphisms of non-uniruled smooth projective threefolds with degree larger than $1$, and all endomorphisms of hyper-Kähler varieties in any dimension. In the latter case, we construct a canonical…
