In a recent breakthrough, Dimitrov [Dim] solved the Schinzel–Zassenhaus conjecture. We follow his approach and adapt it to certain dynamical systems arising from polynomials of the form $T^p+c$, where p is a prime number and where the orbit of $0$ is finite. For example, if $p=2$ and $0$ is periodic under $T^2+c$ with $c\in \mathbb {R}$, we prove a lower bound for the local canonical height of a wandering algebraic integer that is inversely proportional to the field degree. From this, we are able to deduce a lower bound for the canonical height of a wandering point that decays like the inverse square of the field degree. For these f, our method has application to the irreducibility of polynomials. Indeed, say y is preperiodic under f but not periodic. Then any iteration of f minus y is irreducible in $\mathbb {Q}(y)[T]$.

In studying the depth filtration on multiple zeta values, difficulties quickly arise due to a disparity between it and the coradical filtration [9]. In particular, there are additional relations in the depth graded algebra coming from period polynomials of cusp forms for $\operatorname {\mathrm {SL}}_2({\mathbb {Z}})$. In contrast, a simple combinatorial filtration, the block filtration [13, 28] is known to agree with the coradical filtration, and so there is no similar defect in the associated graded. However, via an explicit evaluation of $\zeta (2,\ldots ,2,4,2,\ldots ,2)$ as a polynomial in double zeta values, we derive these period polynomial relations as a consequence of an intrinsic symmetry of block graded multiple zeta values in block degree 2. In deriving this evaluation, we find a Galois descent of certain alternating double zeta values to classical double zeta values, which we then apply to give an evaluation of the multiple t values [22] $t(2\ell ,2k)$ in terms of classical double zeta values.

Let $X$ be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring $R$, and $\mathfrak {m}$ a modulus on $X$, given by a closed subscheme of $X$ which is geometrically reduced. The generalized Jacobian $J_\mathfrak {m}$ of $X$ with respect to $\mathfrak {m}$ is then an extension of the Jacobian of $X$ by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular model of $X$ over $R$. This generalizes Raynaud's well-known description for the usual Jacobian. We also give some computations for generalized Jacobians of modular curves $X_0(N)$ with moduli supported on the cusps.

Let $C\; : \;y^2=f(x)$ be a hyperelliptic curve of genus $g\geq 1$, defined over a complete discretely valued field $K$, with ring of integers $O_K$. Under certain conditions on $C$, mild when residue characteristic is not $2$, we explicitly construct the minimal regular model with normal crossings $\mathcal{C}/O_K$ of $C$. In the same setting we determine a basis of integral differentials of $C$, that is an $O_K$-basis for the global sections of the relative dualising sheaf $\omega _{\mathcal{C}/O_K}$.

We discuss the p-adic Weierstrass zeta functions associated with elliptic curves defined over the field of algebraic numbers and linear relations for their values in the p-adic domain. These results are extensions of the p-adic analogues of results given by Wüstholz in the complex domain [see A. Baker and G. Wüstholz, Logarithmic Forms and Diophantine Geometry, New Mathematical Monographs, 9 (Cambridge University Press, Cambridge, 2007), Theorem 6.3] and also generalise a result of Bertrand to higher dimensions [‘Sous-groupes à un paramètre p-adique de variétés de groupe’, Invent. Math. 40(2) (1977), 171–193].

Let $U$ be a smooth affine curve over a number field $K$ with a compactification $X$ and let ${\mathbb {L}}$ be a rank $2$, geometrically irreducible lisse $\overline {{\mathbb {Q}}}_\ell$-sheaf on $U$ with cyclotomic determinant that extends to an integral model, has Frobenius traces all in some fixed number field $E\subset \overline {\mathbb {Q}}_{\ell }$, and has bad, infinite reduction at some closed point $x$ of $X\setminus U$. We show that ${\mathbb {L}}$ occurs as a summand of the cohomology of a family of abelian varieties over $U$. The argument follows the structure of the proof of a recent theorem of Snowden and Tsimerman, who show that when $E=\mathbb {Q}$, then ${\mathbb {L}}$ is isomorphic to the cohomology of an elliptic curve $E_U\rightarrow U$.

Given any polynomial in two variables of degree at most three with rational integer coefficients, we obtain a new search bound to decide effectively if it has a zero with rational integer coefficients. On the way we encounter a natural problem of estimating singular points. We solve it using elementary invariant theory but an optimal solution would seem to be far from easy even using the full power of the standard Height Machine.

We show that for every finite set of prime numbers $S$, there are at most finitely many singular moduli that are $S$-units. The key new ingredient is that for every prime number $p$, singular moduli are $p$-adically disperse. We prove analogous results for the Weber modular functions, the $\lambda$-invariants and the McKay–Thompson series associated with the elements of the monster group. Finally, we also obtain that a modular function that specializes to infinitely many algebraic units at quadratic imaginary numbers must be a weak modular unit.

In this note, we prove a formula for the cancellation exponent $k_{v,n}$ between division polynomials $\psi _n$ and $\phi _n$ associated with a sequence $\{nP\}_{n\in \mathbb {N}}$ of points on an elliptic curve $E$ defined over a discrete valuation field $K$. The formula greatly generalizes the previously known special cases and treats also the case of non-standard Kodaira types for non-perfect residue fields.

We prove the compatibility of local and global Langlands correspondences for $\operatorname {GL}_n$ up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne [10] and Scholze [18]. More precisely, let $r_p(\pi )$ denote an n-dimensional p-adic representation of the Galois group of a CM field F attached to a regular algebraic cuspidal automorphic representation $\pi $ of $\operatorname {GL}_n(\mathbb {A}_F)$. We show that the restriction of $r_p(\pi )$ to the decomposition group of a place $v\nmid p$ of F corresponds up to semisimplification to $\operatorname {rec}(\pi _v)$, the image of $\pi _v$ under the local Langlands correspondence. Furthermore, we can show that the monodromy of the associated Weil-Deligne representation of $\left .r_p(\pi )\right |{}_{\operatorname {Gal}_{F_v}}$ is ‘more nilpotent’ than the monodromy of $\operatorname {rec}(\pi _v)$.

In this paper, we prove Kato’s main conjecture for $CM$ modular forms for primes of potentially ordinary reduction under certain hypotheses on the modular form.

In this paper, we investigate the theory of heights in a family of stacky curves following recent work of Ellenberg, Satriano, and Zureick-Brown. We first give an elementary construction of a height which is seen to be dual to theirs. We count rational points having bounded ESZ-B height on a particular stacky curve, answering a question of Ellenberg, Satriano, and Zureick-Brown. We also show that when the Euler characteristic of stacky curves is non-positive, the ESZ-B height coming from the anti-canonical divisor class fails to have the Northcott property. We prove that a stacky version of a conjecture of Vojta is equivalent to the $abc$-conjecture.

The Manin–Peyre conjecture is established for a class of smooth spherical Fano varieties of semisimple rank one. This includes all smooth spherical Fano threefolds of type T as well as some higher-dimensional smooth spherical Fano varieties.

This paper goes beyond Katz–Sarnak theory on the distribution of curves over finite fields according to their number of rational points, theoretically, experimentally, and conjecturally. In particular, we give a formula for the limits of the moments measuring the asymmetry of this distribution for (non-hyperelliptic) curves of genus $g\geq 3$. The experiments point to a stronger notion of convergence than the one provided by the Katz–Sarnak framework for all curves of genus $\geq 3$. However, for elliptic curves and for hyperelliptic curves of every genus, we prove that this stronger convergence cannot occur.

DeMarco, Krieger, and Ye conjectured that there is a uniform bound B, depending only on the degree d, so that any pair of holomorphic maps $f, g :{\mathbb {P}}^1\to {\mathbb {P}}^1$ with degree $d$ will either share all of their preperiodic points or have at most $B$ in common. Here we show that this uniform bound holds for a Zariski open and dense set in the space of all pairs, $\mathrm {Rat}_d \times \mathrm {Rat}_d$, for each degree $d\geq 2$. The proof involves a combination of arithmetic intersection theory and complex-dynamical results, especially as developed recently by Gauthier and Vigny, Yuan and Zhang, and Mavraki and Schmidt. In addition, we present alternate proofs of the main results of DeMarco, Krieger, and Ye [Uniform Manin-Mumford for a family of genus 2 curves, Ann. of Math. (2) 191 (2020), 949–1001; Common preperiodic points for quadratic polynomials, J. Mod. Dyn. 18 (2022), 363–413] and of Poineau [Dynamique analytique sur $\mathbb {Z}$ II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel, Preprint (2022), arXiv:2207.01574 [math.NT]]. In fact, we prove a generalization of a conjecture of Bogomolov, Fu, and Tschinkel in a mixed setting of dynamical systems and elliptic curves.

Bogomolov and Tschinkel [‘Algebraic varieties over small fields’, Diophantine Geometry, U. Zannier (ed.), CRM Series, 4 (Scuola Normale Superiore di Pisa, Pisa, 2007), 73–91] proved that, given two complex elliptic curves $E_1$ and $E_2$ along with even degree-$2$ maps $\pi _j\colon E_j\to \mathbb {P}^1$ having different branch loci, the intersection of the image of the torsion points of $E_1$ and $E_2$ under their respective $\pi _j$ is finite. They conjectured (also in works with Fu) that the cardinality of this intersection is uniformly bounded independently of the elliptic curves. The recent proof of the uniform Manin–Mumford conjecture implies a full solution of the Bogomolov–Fu–Tschinkel conjecture. In this paper, we prove a generalisation of the Bogomolov–Fu–Tschinkel conjecture whereby, instead of even degree-$2$ maps, one can use any rational functions of bounded degree on the elliptic curves as long as they have different branch loci. Our approach combines Nevanlinna theory with the uniform Manin–Mumford conjecture. With similar techniques, we also prove a result on lower bounds for ranks of elliptic curves over number fields.

We prove the existence of $\mathrm {GSpin}_{2n}$-valued Galois representations corresponding to cohomological cuspidal automorphic representations of certain quasi-split forms of ${\mathrm {GSO}}_{2n}$ under the local hypotheses that there is a Steinberg component and that the archimedean parameters are regular for the standard representation. This is based on the cohomology of Shimura varieties of abelian type, of type $D^{\mathbb {H}}$, arising from forms of ${\mathrm {GSO}}_{2n}$. As an application, under similar hypotheses, we compute automorphic multiplicities, prove meromorphic continuation of (half) spin L-functions and improve on the construction of ${\mathrm {SO}}_{2n}$-valued Galois representations by removing the outer automorphism ambiguity.

For homogeneous polynomials $G_1,\ldots ,G_k$ over a finite field, their Dwork complex is defined by Adolphson and Sperber, based on Dwork’s theory. In this article, we will construct an explicit cochain map from the Dwork complex of $G_1,\ldots ,G_k$ to the Monsky–Washnitzer complex associated with some affine bundle over the complement $\mathbb {P}^n\setminus X_G$ of the common zero $X_G$ of $G_1,\ldots ,G_k$, which computes the rigid cohomology of $\mathbb {P}^n\setminus X_G$. We verify that this cochain map realizes the rigid cohomology of $\mathbb {P}^n\setminus X_G$ as a direct summand of the Dwork cohomology of $G_1,\ldots ,G_k$. We also verify that the comparison map is compatible with the Frobenius and the Dwork operator defined on both complexes, respectively. Consequently, we extend Katz’s comparison results in [19] for projective hypersurface complements to arbitrary projective complements.

We study finite orbits of non-elementary groups of automorphisms of compact projective surfaces. We prove that if the surface and the group are defined over a number field $\mathbf {k}$ and the group contains parabolic elements, then the set of finite orbits is not Zariski dense, except in certain very rigid situations, known as Kummer examples. Related results are also established when $\mathbf {k} = \mathbf {C}$. An application is given to the description of ‘canonical vector heights’ associated to such automorphism groups.

The problem of classifying elliptic curves over $\mathbb Q$ with a given discriminant has received much attention. The analogous problem for genus $2$ curves has only been tackled when the absolute discriminant is a power of $2$. In this article, we classify genus $2$ curves C defined over ${\mathbb Q}$ with at least two rational Weierstrass points and whose absolute discriminant is an odd prime. In fact, we show that such a curve C must be isomorphic to a specialization of one of finitely many $1$-parameter families of genus $2$ curves. In particular, we provide genus $2$ analogues to Neumann–Setzer families of elliptic curves over the rationals.