In 2014, Pila and Tsimerman gave a proof of the Ax–Schanuel conjecture for the$j$-function and, with Mok, have recently announced a proof of its generalization to any (pure) Shimura variety. We refer to this generalization as the hyperbolic Ax–Schanuel conjecture. In this article, we show that the hyperbolic Ax–Schanuel conjecture can be used to reduce the Zilber–Pink conjecture for Shimura varieties to a problem of point counting. We further show that this point counting problem can be tackled in a number of cases using the Pila–Wilkie counting theorem and several arithmetic conjectures. Our methods are inspired by previous applications of the Pila–Zannier method and, in particular, the recent proof by Habegger and Pila of the Zilber–Pink conjecture for curves in abelian varieties.

For an optimal modular parametrization $J_{0}(n){\twoheadrightarrow}E$ of an elliptic curve $E$ over $\mathbb{Q}$ of conductor $n$, Manin conjectured the agreement of two natural $\mathbb{Z}$-lattices in the $\mathbb{Q}$-vector space $H^{0}(E,\unicode[STIX]{x1D6FA}^{1})$. Multiple authors generalized his conjecture to higher-dimensional newform quotients. We prove the Manin conjecture for semistable $E$, give counterexamples to all the proposed generalizations, and prove several semistable special cases of these generalizations. The proofs establish general relations between the integral $p$-adic étale and de Rham cohomologies of abelian varieties over $p$-adic fields and exhibit a new exactness result for Néron models.

We upper-bound the number of common zeros over a finite grid of multivariate polynomials and an arbitrary finite collection of their consecutive Hasse derivatives (in a coordinate-wise sense). To that end, we make use of the tool from Gröbner basis theory known as footprint. Then we establish and prove extensions in this context of a family of well-known results in algebra and combinatorics. These include Alon's combinatorial Nullstellensatz [1], existence and uniqueness of Hermite interpolating polynomials over a grid, estimations of the parameters of evaluation codes with consecutive derivatives [20], and bounds on the number of zeros of a polynomial by DeMillo and Lipton [8], Schwartz [25], Zippel [26, 27] and Alon and Füredi [2]. As an alternative, we also extend the Schwartz-Zippel bound to weighted multiplicities and discuss its connection to our extension of the footprint bound.

We compute the limit shape for several classes of restricted integer partitions, where the restrictions are placed on the part sizes rather than the multiplicities. Our approach utilizes certain classes of bijections which map limit shapes continuously in the plane. We start with bijections outlined in [43], and extend them to include limit shapes with different scaling functions.

We give transcendence measures for $p$-adic numbers $\unicode[STIX]{x1D709}$, having good rational (respectively, integer) approximations, that force them to be either $p$-adic $S$-numbers or $p$-adic $T$-numbers.

In this paper we study the singularities of the invariant metric of the Poincaré bundle over a family of abelian varieties and their duals over a base of arbitrary dimension. As an application of this study we prove the effectiveness of the height jump divisors for families of pointed abelian varieties. The effectiveness of the height jump divisor was conjectured by Hain in the more general case of variations of polarized Hodge structures of weight $-1$ .

We prove new integral representations of the approximation forms in zetavalues.

We give a formula relating the order of the Brauer group of a surface fibered over a curve over a finite field to the order of the Tate–Shafarevich group of the Jacobian of the generic fiber. The formula implies that the Brauer group of a smooth and proper surface over a finite field is a square if it is finite.

We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational numbers. As an application we confirm finiteness conjectures of Shafarevich and Coleman in the CM case. In addition we prove the uniform boundedness of the Galois invariant subgroup of the geometric Brauer group for forms of a smooth projective variety satisfying the integral Mumford–Tate conjecture. When applied to K3 surfaces, this affirms a conjecture of Várilly-Alvarado in the CM case.

For a positive integer $d$ and a nonnegative number $\unicode[STIX]{x1D709}$, let $N(d,\unicode[STIX]{x1D709})$ be the number of $\unicode[STIX]{x1D6FC}\in \overline{\mathbb{Q}}$ of degree at most $d$ and Weil height at most $\unicode[STIX]{x1D709}$. We prove upper and lower bounds on $N(d,\unicode[STIX]{x1D709})$. For each fixed $\unicode[STIX]{x1D709}>0$, these imply the asymptotic formula $\log N(d,\unicode[STIX]{x1D709})\sim \unicode[STIX]{x1D709}d^{2}$ as $d\rightarrow \infty$, which was conjectured in a question at Mathoverflow [https://mathoverflow.net/questions/177206/].

Let $G$ be an orthogonal, symplectic or unitary group over a non-archimedean local field of odd residual characteristic. This paper concerns the study of the “wild part” of an irreducible smooth representation of $G$, encoded in its “semisimple character”. We prove two fundamental results concerning them, which are crucial steps toward a complete classification of the cuspidal representations of $G$. First we introduce a geometric combinatorial condition under which we prove an “intertwining implies conjugacy” theorem for semisimple characters, both in $G$ and in the ambient general linear group. Second, we prove a Skolem–Noether theorem for the action of $G$ on its Lie algebra; more precisely, two semisimple elements of the Lie algebra of $G$ which have the same characteristic polynomial must be conjugate under an element of $G$ if there are corresponding semisimple strata which are intertwined by an element of $G$.

We present a simple proof of the Chebotarev density theorem for finite morphisms of quasi-projective varieties over finite fields following an idea of Fried and Kosters for function fields. The key idea is to interpret the number of rational points with a given Frobenius conjugacy class as the number of rational points of a twisted variety, which is then bounded by the Lang–Weil estimates.

Let $c\geq 2$ be a positive integer. Terai [‘A note on the Diophantine equation $x^{2}+q^{m}=c^{n}$’, Bull. Aust. Math. Soc.90 (2014), 20–27] conjectured that the exponential Diophantine equation $x^{2}+(2c-1)^{m}=c^{n}$ has only the positive integer solution $(x,m,n)=(c-1,1,2)$. He proved his conjecture under various conditions on $c$ and $2c-1$. In this paper, we prove Terai’s conjecture under a wider range of conditions on $c$ and $2c-1$. In particular, we show that the conjecture is true if $c\equiv 3\hspace{0.6em}({\rm mod}\hspace{0.2em}4)$ and $3\leq c\leq 499$.

Let $k$ be an imaginary quadratic field with $\operatorname{Cl}_{2}(k)\simeq V_{4}$. It is known that the length of the Hilbert $2$-class field tower is at least $2$. Gerth (On 2-class field towers for quadratic number fields with$2$-class group of type$(2,2)$, Glasgow Math. J. 40(1) (1998), 63–69) calculated the density of $k$ where the length of the tower is $1$; that is, the maximal unramified $2$-extension is a $V_{4}$-extension. In this paper, we shall extend this result for generalized quaternion, dihedral, and semidihedral extensions of small degrees.

Let $K$ be a number field with a ring of integers ${\mathcal{O}}$. We follow Ferraguti and Micheli [‘On the Mertens–Cèsaro theorem for number fields’, Bull. Aust. Math. Soc.93(2) (2016), 199–210] to define a density for subsets of ${\mathcal{O}}$ and use it to find the density of the set of $j$-wise relatively $r$-prime $m$-tuples of algebraic integers. This provides a generalisation and analogue for several results on natural densities of integers and ideals of algebraic integers.

We study logarithmically averaged binary correlations of bounded multiplicative functions $g_{1}$ and $g_{2}$ . A breakthrough on these correlations was made by Tao, who showed that the correlation average is negligibly small whenever $g_{1}$ or $g_{2}$ does not pretend to be any twisted Dirichlet character, in the sense of the pretentious distance for multiplicative functions. We consider a wider class of real-valued multiplicative functions $g_{j}$ , namely those that are uniformly distributed in arithmetic progressions to fixed moduli. Under this assumption, we obtain a discorrelation estimate, showing that the correlation of $g_{1}$ and $g_{2}$ is asymptotic to the product of their mean values. We derive several applications, first showing that the numbers of large prime factors of $n$ and $n+1$ are independent of each other with respect to logarithmic density. Secondly, we prove a logarithmic version of the conjecture of Erdős and Pomerance on two consecutive smooth numbers. Thirdly, we show that if $Q$ is cube-free and belongs to the Burgess regime $Q\leqslant x^{4-\unicode[STIX]{x1D700}}$ , the logarithmic average around $x$ of the real character $\unicode[STIX]{x1D712}\hspace{0.6em}({\rm mod}\hspace{0.2em}Q)$ over the values of a reducible quadratic polynomial is small.

We investigate certain families of meromorphic Siegel modular functions on which Galois groups act in a natural way. By using Shimura's reciprocity law we construct some algebraic numbers in the ray class fields of CM-fields in terms of special values of functions in these Siegel families.

The Weierstrass function σ(u) associated with an elliptic curve can be generalized in a natural way to an entire function associated with a higher genus algebraic curve. This generalized multivariate sigma function has been investigated since the pioneering work of Felix Klein. The present paper shows Hurwitz integrality of the coefficients of the power series expansion around the origin of the higher genus sigma function associated with a certain plane curve, which is called an (n, s)-curve or a plane telescopic curve. For the prime (2), the expansion of the sigma function is not Hurwitz integral, but its square is. This paper clarifies the precise structure of this phenomenon. In Appendix A, computational examples for the trigonal genus 3 curve ((3, 4)-curve) y3 + (μ1x + μ4)y2 + (μ2x2 + μ5x + μ8)y = x4 + μ3x3 + μ6x2 + μ9x + μ12 (where μj are constants) are given.

We estimate the linear independence measures for the values of a class of Mahler functions of degrees 1 and 2. For this purpose, we study the determinants of suitable Hermite–Padé approximation polynomials. Based on the non-vanishing property of these determinants, we apply the functional equations to get an infinite sequence of approximations that is used to produce the linear independence measures.

Let F be a number field, let N ≥ 3 be an integer, and let k be a finite field of characteristic ℓ. We show that if ρ:GF → GLN(k) is a continuous representation with image of ρ containing SLN(k) then, under moderate conditions at primes dividing ℓ∞, there is a continuous representation ρ:GF → GLN(W(k)) unramified outside finitely many primes with ρ ~ρ mod ℓ. Stronger results are presented for ρ:Gℚ → GL3(k).