The aim of this work is to adapt a construction of the so-called $U_{m}$-numbers ($m\gt 1$), which are extended Liouville numbers with respect to algebraic numbers of degree $m$ but not with respect to algebraic numbers of degree less than $m$, to the $p$-adic frame.

In this paper we generalize and extend work by Languasco, Perreli and Zaccagnini on the Montgomery–Hooley theorem in short intervals. We are thus able to obtain asymptotic formulae for the mean-square error in the distribution of general sequences in arithmetic progressions in short intervals. As applications we consider lower and upper bound approximations to the characteristic function of the primes in a short interval and an average over short intervals for the von Mangoldt function.

We consider the Brocard–Ramanujan type Diophantine equation y2=x!+A and ask about values of A∈ℤ for which there are at least three solutions in the positive integers. In particular, we prove that the set 𝒜 consisting of integers with this property is infinite. In fact we construct a two-parameter family of integers contained in 𝒜. We also give some computational results related to this equation.

Given a prime q and a negative discriminant D, the CM method constructs an elliptic curve E/Fq by obtaining a root of the Hilbert class polynomial HD(X) modulo q. We consider an approach based on a decomposition of the ring class field defined by HD, which we adapt to a CRT setting. This yields two algorithms, each of which obtains a root of HD mod q without necessarily computing any of its coefficients. Heuristically, our approach uses asymptotically less time and space than the standard CM method for almost all D. Under the GRH, and reasonable assumptions about the size of log q relative to ∣D∣, we achieve a space complexity of O((m+n)log q)bits, where mn=h(D) , which may be as small as O(∣D∣1/4 log q) . The practical efficiency of the algorithms is demonstrated using ∣D∣>1016 and q≈2256, and also ∣D∣>1015 and q≈233220. These examples are both an order of magnitude larger than the best previous results obtained with the CM method.

For an abelian surface A over a number field k, we study the limiting distribution of the normalized Euler factors of the L-function of A. This distribution is expected to correspond to taking characteristic polynomials of a uniform random matrix in some closed subgroup of USp(4); this Sato–Tate group may be obtained from the Galois action on any Tate module of A. We show that the Sato–Tate group is limited to a particular list of 55 groups up to conjugacy. We then classify A according to the Galois module structure on the ℝ-algebra generated by endomorphisms of (the Galois type), and establish a matching with the classification of Sato–Tate groups; this shows that there are at most 52 groups up to conjugacy which occur as Sato–Tate groups for suitable A and k, of which 34 can occur for k=ℚ. Finally, we present examples of Jacobians of hyperelliptic curves exhibiting each Galois type (over ℚ whenever possible), and observe numerical agreement with the expected Sato–Tate distribution by comparing moment statistics.

It is well known that Hurwitz zeta-functions with algebraically independent parameters over the field of rational numbers are universal in the sense that their shifts approximate simultaneously any collection of analytic functions. In this paper we introduce some classes of universal composite functions of a collection of Hurwitz zeta-functions.

In our previous paper [J. Funke and J. Millson, Cycles with local coefficients for orthogonal groups and vector-valued Siegel modular forms, American J. Math. 128 (2006), 899–948], we established a correspondence between vector-valued holomorphic Siegel modular forms and cohomology with local coefficients for local symmetric spaces $X$ attached to real orthogonal groups of type $(p, q)$. This correspondence is realized using theta functions associated with explicitly constructed ‘special’ Schwartz forms. Furthermore, the theta functions give rise to generating series of certain ‘special cycles’ in $X$ with coefficients.

In this paper, we study the boundary behaviour of these theta functions in the non-compact case and show that the theta functions extend to the Borel–Sere compactification $ \overline{X} $ of $X$. However, for the $ \mathbb{Q} $-split case for signature $(p, p)$, we have to construct and consider a slightly larger compactification, the ‘big’ Borel–Serre compactification. The restriction to each face of $ \overline{X} $ is again a theta series as in [J. Funke and J. Millson, loc. cit.], now for a smaller orthogonal group and a larger coefficient system.

As an application we establish in certain cases the cohomological non-vanishing of the special (co)cycles when passing to an appropriate finite cover of $X$. In particular, the (co)homology groups in question do not vanish. We deduce as a consequence a sharp non-vanishing theorem for ${L}^{2} $-cohomology.

Let $\{U_n\}$ be given by $U_0=1$ and $U_n=-2\sum _{k=1}^{[n/2]} \binom n{2k}U_{n-2k}\ (n\ge 1)$, where $[\cdot ]$ is the greatest integer function. Then $\{U_n\}$ is analogous to the Euler numbers and $U_{2n}=3^{2n}E_{2n}(\frac 13)$, where $E_m(x)$ is the Euler polynomial. In a previous paper we gave many properties of $\{U_n\}$. In this paper we present a summation formula and several congruences involving $\{U_n\}$.

The Littlewood conjecture states that for all (α,β)∈ℝ2. We show that with the additional factor of log q⋅log log q, the statement is false. Indeed, our main result implies that the set of (α,β) for which is of full dimension.

Let u(n) and v(n) be the number of representations of a nonnegative integer n in the forms x2+4y2+4z2 and x2+2y2+2z2, respectively, with x,y,z∈ℤ, and let a4(n) and r3(n) be the number of 4-cores of n and the number of representations of n as a sum of three squares, respectively. By employing simple theta-function identities of Ramanujan, we prove that $u(8n+5)=8a_4(n)=v(8n+5)=\frac {1}{3}r_3(8n+5)$. With the help of this and a classical result of Gauss, we find a simple proof of a result on a4 (n)proved earlier by K. Ono and L. Sze [‘4-core partitions and class numbers’, Acta Arith. 80 (1997), 249–272]. We also find some new infinite families of arithmetic relations involving a4 (n) .

We prove that the Brauer–Manin obstruction is the only obstruction to the existence of integral points on affine varieties over global fields of positive characteristic $p$. More precisely, we show that the only obstructions come from étale covers of exponent $p$ or, alternatively, from flat covers coming from torsors under connected group schemes of exponent $p$.

Motivated by mathematical aspects of origami, Erik Demaine asked which points in the plane can be constructed by using lines whose angles are multiples of $\pi /n$ for some fixed $n$. This has been answered for some specific small values of $n$ including $n=3,4,5,6,8,10,12,24$. We answer this question for arbitrary $n$. The set of points is a subring of the complex plane $\mathbf {C}$, lying inside the cyclotomic field of $n$th roots of unity; the precise description of the ring depends on whether $n$is prime or composite. The techniques apply in more general situations, for example, infinite sets of angles, or more general constructions of subsets of the plane.

Multirings are objects like rings but with multi-valued addition. In the present paper we extend results of E. Becker and others concerning orderings of higher level on fields and rings to orderings of higher level on hyperfields and multirings and, in the process of doing this, we establish higher level analogs of the results previously obtained by the second author. In particular, we introduce a class of multirings called ℓ-real reduced multirings, define a natural reflection A ⇝ Qℓ-red(A) from the category of multirings satisfying to the full subcategory of ℓ-real reduced multirings, and provide an elementary first-order description of these objects. The relationship between ℓ-real reduced hyperfields and the spaces of signatures defined by Mulcahy and Powers is also examined.

We derive a formula for Greenberg’s L-invariant of Tate twists of the symmetric sixth power of an ordinary non-CM cuspidal newform of weight ≥4, under some technical assumptions. This requires a ‘sufficiently rich’ Galois deformation of the symmetric cube, which we obtain from the symmetric cube lift to GSp(4)/Q of Ramakrishnan–Shahidi and the Hida theory of this group developed by Tilouine–Urban. The L-invariant is expressed in terms of derivatives of Frobenius eigenvalues varying in the Hida family. Our result suggests that one could compute Greenberg’s L-invariant of all symmetric powers by using appropriate functorial transfers and Hida theory on higher rank groups.

Let f be a modular form of weight k≥2 and level N, let K be a quadratic imaginary field and assume that there is a prime p exactly dividing N. Under certain arithmetic conditions on the level N and the field K, one can attach to this data a p-adic L-function Lp (f,K,s) , as done by Bertolini–Darmon–Iovita–Spieß in [Teitelbaum’s exceptional zero conjecture in the anticyclotomic setting, Amer. J. Math. 124 (2002), 411–449]. In the case of p being inert in K, this analytic function of a p-adic variable s vanishes in the critical range s=1,…,k−1 , and one may be interested in the values of its derivative in this range. We construct, for k≥4 , a Chow motive endowed with a distinguished collection of algebraic cycles which encode these values, via the p-adic Abel–Jacobi map. Our main result generalizes the result obtained by Iovita and Spieß in [Derivatives of p-adic L-functions, Heegner cycles and monodromy modules attached to modular forms, Invent. Math. 154 (2003), 333–384], which gives a similar formula for the central value s=k/2 . Even in this case our construction is different from the one found by Iovita and Spieß.

In this article, we apply the methods of our work on Fontaine’s theory in equal characteristics to the φ/𝔖-modules of Breuil and Kisin. Thanks to a previous article of Kisin, this yields a new and rather elementary proof of the theorem ‘weakly admissible implies admissible’ of Colmez and Fontaine.

Let χ be the primitive Dirichlet character of conductor 49 defined by χ(3)=ζ for ζ a primitive 42nd root of unity. We explicitly compute the slopes of the U7 operator acting on the space of overconvergent modular forms on X1(49) with weight k and character χ7k−6 or χ8−7k, depending on the embedding of ℚ(ζ)into ℂ7. By applying results of Coleman and of Cohen and Oesterlé, we are then able to deduce the slopes of U7 acting on all classical Hecke newforms of the same weight and character.

We study the equation a2−2b6=cp and its specialization a2−2=cp, where p is a prime, using the modular method. In particular, we use a ℚ-curve defined over for which the solution (a,b,c)=(±1,±1,−1) gives rise to a CM-form. This allows us to apply the modular method to resolve the equation a2−2b6=cp for p in certain congruence classes. For the specialization a2−2=cp, we use the multi-Frey technique of Siksek to obtain further refined results.

Cuntz and Li have defined a C*-algebra associated to any integral domain, using generators and relations, and proved that it is simple and purely infinite and that it is stably isomorphic to a crossed product of a commutative C*-algebra. We give an approach to a class of C*-algebras containing those studied by Cuntz and Li, using the general theory of C*-dynamical systems associated to certain semidirect product groups. Even for the special case of the Cuntz–Li algebras, our development is new.

We investigate the first and second moments of shifted convolutions of the generalized divisor function d3(n).