For the dual pair Sp(n)×O(m) with m≤n, we prove an identity between a special value of a certain Eisenstein series and the regularized integral of a theta function. The proof uses the functional equation of the Eisenstein series and the regularized Siegel–Weil formula for Sp(n)×O(2n+2−m). Analogous results for unitary and orthogonal groups are included.

We use the notion of non-commutative Fitting invariants to give a reformulation of the equivariant Iwasawa main conjecture (EIMC) attached to an extension F/K of totally real fields with Galois group 𝒢, where K is a global number field and 𝒢 is a p-adic Lie group of dimension one for an odd prime p. We attach to each finite Galois CM-extension L/K with Galois group G a module SKu(L/K)over the center of the group ring ℤG which coincides with the Sinnott–Kurihara ideal if G is abelian. We state a conjecture on the integrality of SKu (L/K)which follows from the equivariant Tamagawa number conjecture (ETNC) in many cases, and is a theorem for abelian G. Assuming the vanishing of the Iwasawa μ-invariant, we compute Fitting invariants of certain Iwasawa modules via the EIMC, and we show that this implies the minus part of the ETNC at p for an infinite class of (non-abelian) Galois CM-extensions of number fields which are at most tamely ramified above p, provided that (an appropriate p-part of) the integrality conjecture holds.

We prove the p-parity conjecture for elliptic curves over global fields of characteristic p>3. We also present partial results on the ℓ-parity conjecture for primes ℓ≠p.

We refine a result of Dubickas on the maximal multiplicity of the roots of a complex polynomial, and obtain several separability criteria for complex polynomials with large leading coefficient. We also give p-adic analogous results for polynomials with integer coefficients.

We show that the semisimple part of the trace formula converges for a wide class of test functions.

We study Markov measures and p-adic random walks with the use of states on the Cuntz algebras Op. Via the Gelfand–Naimark–Segal construction, these come from families of representations of Op. We prove that these representations reflect selfsimilarity especially well. In this paper, we consider a Cuntz–Krieger type algebra where the adjacency matrix depends on a parameter q ( q=1 is the case of Cuntz–Krieger algebra). This is an ongoing work generalizing a construction of certain measures associated to random walks on graphs.

We develop a new p-adic algorithm to compute the minimal polynomial of a class invariant. Our approach works for virtually any modular function yielding class invariants. The main algorithmic tool is modular polynomials, a concept which we generalize to functions of higher level.

We prove vanishing of the μ-invariant of the p-adic Katz L-function in N. M. Katz [p-adic L-functions for CM fields, Invent. Math. 49 (1978), 199–297].

We prove modularity lifting theorems for ℓ-adic Galois representations of any dimension satisfying a unitary type condition and a Fontaine–Laffaille condition at ℓ. This extends the results of Clozel, Harris and Taylor, and the subsequent work by Taylor. The proof uses the Taylor–Wiles method, as improved by Diamond, Fujiwara, Kisin and Taylor, applied to Hecke algebras of unitary groups, and results of Labesse on stable base change and descent from unitary groups to GLn.

We give improved bounds for our theorem in [W. T. Gowers and J. Wolf, The true complexity of a system of linear equations. Proc. London Math. Soc. (3) 100 (2010), 155–176], which shows that a system of linear forms on 𝔽np with squares that are linearly independent has the expected number of solutions in any linearly uniform subset of 𝔽np. While in [W. T. Gowers and J. Wolf, The true complexity of a system of linear equations. Proc. London Math. Soc. (3) 100 (2010), 155–176] the dependence between the uniformity of the set and the resulting error in the average over the linear system was of tower type, we now obtain a doubly exponential relation between the two parameters. Instead of the structure theorem for bounded functions due to Green and Tao [An inverse theorem for the Gowers U3(G) norm. Proc. Edinb. Math. Soc. (2) 51 (2008), 73–153], we use the Hahn–Banach theorem to decompose the function into a quadratically structured plus a quadratically uniform part. This new decomposition makes more efficient use of the U3 inverse theorem [B. J. Green and T. Tao, An inverse theorem for the Gowers U3(G) norm. Proc. Edinb. Math. Soc. (2) 51 (2008), 73–153].

Continuing earlier studies over the real numbers, we study the expressible set of a sequence A = (an)n≥1 of p-adic numbers, which we define to be the set EpA = {∑n≥1ancn: cn ∈ ℕ}. We show that in certain circumstances we can calculate the Haar measure of EpA exactly. It turns out that our results extend to sequences of matrices with p-adic entries, so this is the setting in which we work.

Let k ≥ 0, a ≥ 1 and b ≥ 0 be integers. We define the arithmetic function gk,a,b for any positive integer n by

If we let a = 1 and b = 0, then gk,a,b becomes the arithmetic function that was previously introduced by Farhi. Farhi proved that gk,1,0 is periodic and that k! is a period. Hong and Yang improved Farhi's period k! to lcm(1, 2, … , k) and conjectured that (lcm(1, 2, … , k, k + 1))/(k + 1) divides the smallest period of gk,1,0. Recently, Farhi and Kane proved this conjecture and determined the smallest period of gk,1,0. For the general integers a ≥ 1 and b ≥ 0, it is natural to ask the following interesting question: is gk,a,b periodic? If so, what is the smallest period of gk,a,b? We first show that the arithmetic function gk,a,b is periodic. Subsequently, we provide detailed p-adic analysis of the periodic function gk,a,b. Finally, we determine the smallest period of gk,a,b. Our result extends the Farhi–Kane Theorem from the set of positive integers to general arithmetic progressions.

Let α be a totally positive algebraic integer of degree d≥2 and α1=α,α2,…,αd be all its conjugates. We use explicit auxiliary functions to improve the known lower bounds of Sk/d, where Sk=∑ di=1αki and k=1,2,3. These improvements have consequences for the search of Salem numbers with negative traces.

For p=3 and p=5, we exhibit a finite nonsolvable extension of ℚ which is ramified only at p, proving in the affirmative a conjecture of Gross. Our construction involves explicit computations with Hilbert modular forms.

The local Langlands conjectures imply that to every generic supercuspidal irreducible representation of G2 over a p-adic field, one can associate a generic supercuspidal irreducible representation of either PGSp6 or PGL3. We prove this conjectural dichotomy, demonstrating a precise correspondence between certain representations of G2 and other representations of PGSp6 and PGL3. This correspondence arises from theta correspondences in E6 and E7, analysis of Shalika functionals, and spin L-functions. Our main result reduces the conjectural Langlands parameterization of generic supercuspidal irreducible representations of G2 to a single conjecture about the parameterization for PGSp 6.

Let E/ℚ be an elliptic curve and let D<0 be a sufficiently large fundamental discriminant. If contains Heegner points of discriminant D, those points generate a subgroup of rank at least |D|δ, where δ>0 is an absolute constant. This result is compatible with the Birch and Swinnerton-Dyer conjecture.

We study the possible weights of an irreducible two-dimensional mod p representation of which is modular in the sense that it comes from an automorphic form on a definite quaternion algebra with centre F which is ramified at all places dividing p, where F is a totally real field. In most cases we determine the precise list of possible weights; in the remaining cases we determine the possible weights up to a short and explicit list of exceptions.

We generalize the method of A. R. Booker (Poles of Artin L-functions and the strong Artin conjecture, Ann. of Math. (2) 158 (2003), 1089–1098; MR 2031863(2004k:11082)) to prove a version of the converse theorem of Jacquet and Langlands with relaxed conditions on the twists by ramified idèle class characters.

We generalise works of Kobayashi to give a formulation of the Iwasawa main conjecture for modular forms at supersingular primes. In particular, we give analogous definitions of the plus and minus Coleman maps for normalised new forms of arbitrary weights and relate Pollack’s p-adic L-functions to the plus and minus Selmer groups. In addition, by generalising works of Pollack and Rubin on CM elliptic curves, we prove the ‘main conjecture’ for CM modular forms.

Given a prime p, the Fermat quotient qp(u) of u with gcd (u,p)=1 is defined by the conditions We derive a new bound on multiplicative character sums with Fermat quotients qp(ℓ) at prime arguments ℓ.