We construct unconditionally several families of number fields with the largest possible class numbers. They are number fields of degree 4 and 5 whose Galois closures have the Galois group $A_4, S_4$ and $S_5$. We first construct families of number fields with smallest regulators, and by using the strong Artin conjecture and applying zero density result of Kowalski-Michel, we choose subfamilies of $L$-functions which are zero free close to 1. For these subfamilies, the $L$-functions have the extremal value at $s=1$, and by the class number formula, we obtain the extreme class numbers.

We prove a non-vanishing result for families of $\operatorname{GL}_n\times\operatorname{GL}_n$ Rankin-Selberg $L$-functions in the critical strip, as one factor runs over twists by Hecke characters. As an application, we simplify the proof, due to Luo, Rudnick, and Sarnak, of the best known bounds towards the Generalized Ramanujan Conjecture at the infinite places for cusp forms on $\operatorname{GL}_n$. A key ingredient is the regularization of the units in residue classes by the use of an Arakelov ray class group.

We prove the holomorphic continuation of certain multi-variable multiple zeta-functions whose coefficients satisfy a suitable recurrence condition. In fact, we introduce more general vectorial zeta-functions and prove their holomorphic continuation. Moreover, we show a vectorial sum formula among those vectorial zeta-functions from which some generalizations of the classical sum formula can be deduced.

We make conjectures on the moments of the central values of the family of all elliptic curves and on the moments of the first derivative of the central values of a large family of positive rank curves. In both cases the order of magnitude is the same as that of the moments of the central values of an orthogonal family of $L$-functions. Notably, we predict that the critical values of all rank $1$ elliptic curves is logarithmically larger than the rank $1$ curves in the positive rank family. Furthermore, as arithmetical applications, we make a conjecture on the distribution of $a_p$'s amongst all rank $2$ elliptic curves and show how the Riemann hypothesis can be deduced from sufficient knowledge of the first moment of the positive rank family (based on an idea of Iwaniec)

Geometric intuition suggests that the N\'{e}ron--Tate height of Heegner points on a rational elliptic curve $E$ should be asymptotically governed by the degree of its modular parametrisation. In this paper, we show that this geometric intuition asymptotically holds on average over a subset of discriminants. We also study the asymptotic behaviour of traces of Heegner points on average over a subset of discriminants and find a difference according to the rank of the elliptic curve. By the Gross--Zagier formulae, such heights are related to the special value at the critical point for either the derivative of the Rankin--Selberg convolution of $E$ with a certain weight one theta series attached to the principal ideal class of an imaginary quadratic field or the twisted $L$-function of $E$ by a quadratic Dirichlet character. Asymptotic formulae for the first moments associated with these $L$-series and $L$-functions are proved, and experimental results are discussed. The appendix contains some conjectural applications of our results to the problem of the discretisation of odd quadratic twists of elliptic curves.

Let $K$ be a totally real number field of degree $n$. We show that the number of totally positive integers (or more generally the number of totally positive elements of a given fractional ideal) of given trace is evenly distributed around its expected value, which is obtained from geometric considerations. This result depends on unfolding an integral over a compact torus.

This paper is devoted to the study of certain zeta distributions associated with simple non-Euclidean Jordan algebras. An explicit form of the corresponding functional equation and Bernstein-type identities is obtained.

With applications in mind we establish a summation formula for the coefficients of a general Dirichlet series satisfying a suitable functional equation. Among a number of consequences we derive a generalization of an elegant divisor sum bound due to F.~V. Atkinson.

Let \(E/\mathbb{Q}\) be an elliptic curve defined by the equation \(y^2=x^3 +ax +b\). For a prime \(p, \linebreak p \nmid\Delta =-16(4a^3+27b^2)\neq 0\), define \[ N_p = p+1 -a_p = |E(\mathbb{F}_p)|. \] As a precursor to their celebrated conjecture, Birch and Swinnerton-Dyer originally conjectured that for some constant $c$, \[ \prod_{p \leq x, p \nmid\Delta } \frac{N_p}{p} \sim c (\log x)^r, \quad x \to \infty. \] Let \(\alpha _p\) and \(\beta _p\) be the eigenvalues of the Frobenius at \(p\). Define \[ \tilde{c}_n = \begin{cases} \frac{\alpha_p^k + \beta_p^k}{k}& n =p^k, p \textrm{ is a prime, $k$ is a natural number, $p\nmid \Delta$} . \\ 0 & \text{otherwise}. \end{cases}. \] and \(\tilde{C}(x)= \sum_{n\leq x} \tilde{c}_n\). In this paper, we establish the equivalence between the conjecture and the condition \(\tilde{C}(x)=\mathbf{o}(x)\). The asymptotic condition is indeed much deeper than what we know so far or what we can know under the analogue of the Riemann hypothesis. In addition, we provide an oscillation theorem and an \(\Omega\) theorem which relate to the constant $c$ in the conjecture.

The initial version of the Birch and Swinnerton-Dyer conjecture concerned asymptotics for partial Euler products for an elliptic curve $L$-function at $s = 1$. Goldfeld later proved that these asymptotics imply the Riemann hypothesis for the $L$-function and that the constant in the asymptotics has an unexpected factor of $\sqrt{2}$. We extend Goldfeld's theorem to an analysis of partial Euler products for a typical $L$-function along its critical line. The general $\sqrt{2}$ phenomenon is related to second moments, while the asymptotic behavior (over number fields) is proved to be equivalent to a condition that in a precise sense seems much deeper than the Riemann hypothesis. Over function fields, the Euler product asymptotics can sometimes be proved unconditionally.

Using Feferman-Vaught techniques a condition on the fine spectrum of an admissible class of structures is found which leads to a first-order 0--1 law. The condition presented is best possible in the sense that if it is violated then one can find an admissible class with the same fine spectrum which does not have a first-order 0--1 law. If the condition is satisfied (and hence we have a first-order %% 0--1 law)

Using Feferman-Vaught techniques we show a certain property of the fine spectrum of an admissible class of structures leads to a first-order law. The condition presented is best possible in the sense that if it is violated then one can find an admissible class with the same fine spectrum which does not have a first-order law. We present three conditions for verifying that the above property actually holds. The first condition is that the count function of an admissible class has regular variation with a certain uniformity of convergence. This applies to a wide range of admissible classes, including those satisfying Knopfmacher's Axiom A, and those satisfying Bateman and Diamond's condition. The second condition is similar to the first condition, but designed to handle the discrete case, {\it i.e.}, when the sizes of the structures in an admissible class $K$ are all powers of a single integer. It applies when either the class of indecomposables or the whole class satisfies Knopfmacher's Axiom A$^\#$. The third condition is also for the discrete case, when there is a uniform bound on the number of $K$-indecomposables of any given size.