Let K=Q(√(-q)), where q is any prime number congruent to 7 modulo 8, and let O be the ring of integers of K. The prime 2 splits in K, say 2O=pp∗, and there is a unique Z_2-extension K_∞ of K which is unramified outside p. Let H be the Hilbert class field of K, and write H_∞=HK_∞. Let M(H_∞) be the maximal abelian 2-extension of H_∞ which is unramified outside the primes above p, and put X(H_∞)=Gal(M(H_∞)/H_∞). We prove that X(H_∞) is always a finitely generated Z_2-module, by an elliptic analogue of Sinnott’s cyclotomic argument. We then use this result to prove for the first time the weak p-adic Leopoldt conjecture for the compositum J_∞ of K_∞ with arbitrary quadratic extensions J of H. We also prove some new cases of the finite generation of the Mordell–Weil group E(J_∞) modulo torsion of certain elliptic curves E with complex multiplication by O.

The paper uses Iwasawa theory at the prime 𝑝=2 to prove non-vanishing theorems for the value at 𝑠=1 of the complex 𝐿-series of certain quadratic twists of the Gross family of elliptic curves with complex multiplication by the field 𝐾 = ℚ(√(-q)), where 𝑞 is any prime ≡ 7 mod 8. Our results establish some broad generalizations of the non-vanishing theorem first proven by Rohrlich using complex analytic methods. Such non-vanishing theorems are important because it is known that they imply the finiteness of the Mordell–Weil group and the Tate–Shafarevich group of the corresponding elliptic curves over the Hilbert class field of 𝐾. It is essential for the proofs to study the Iwasawa theory of the higher dimensional abelian variety with complex multiplication which is obtained by taking the restriction of scalars to 𝐾 of the particular elliptic curve with complex multiplication introduced by Gross.

We study elliptic curves of the form x^3+y^3=2^p and x^3+y^3=2p^2 where p is any odd prime satisfying p ≡ 2 mod 9 or p ≡ 5 mod 9. We first show that the 3-part of the Birch-Swinnerton-Dyer conjecture holds for these curves. Then we relate their 2-Selmer group to the 2-rank of the ideal class group of Q(\sqrt[3]{p}) to obtain some examples of elliptic curves with rank one and non-trivial 2-part of the Tate-Shafarevich group.

In the present paper, we prove the 2-part of Birch and Swinnerton-Dyer conjecture for an explicit infinite family of rank 0 quadratic twists of the modular elliptic curve χ_0(14), using an explicit form of the Waldspurger formula. We also give an explicit infinite family of rank 1 quadratic twists of χ_0(14) whose Tate–Shafarevich group is of odd cardinality.

For primes q≡7 mod 16, the present manuscript shows that elementary methods enable one to prove surprisingly strong results about the Iwasawa theory of the Gross family of elliptic curves with complex multiplication by the ring of integers of the field K=Q(√(-q)), which are in perfect accord with the predictions of the conjecture of Birch and Swinnerton-Dyer. We also prove some interesting phenomena related to a classical conjecture of Greenberg, and give a new proof of an old theorem of Hasse.

No abstract uploaded!

We study a partially linearized version of the relative trace formula for the arithmetic Gan--Gross--Prasad conjecture for the unitary group U(V). The linear factor in this relative trace formula provides an SL_2-symmetry which allows us to prove by induction the arithmetic fundamental lemma over Q_p when p is odd and p ≥ dim V.

We construct the Frobenius structure on a rigid connection Be_{\hat G} on G_m for a split reductive group \hat G introduced by Frenkel-Gross. These data form a \hat G-valued overconvergent F-isocrystal Be^†_{\hat G} on G_{m,F_p}, which is the p-adic companion of the Kloosterman \hat G-local system Kl_{\hat G} constructed by Heinloth-Ngô-Yun. By studying the structure of the underlying differential equation, we calculate the monodromy group of Be^†_{\hat G} when \hat G is almost simple (which recovers the calculation of monodromy group of Kl_{\hat G} due to Katz and Heinloth–Ngô–Yun), and prove a conjecture of Heinloth-Ngô-Yun on the functoriality between different Kloosterman \hat G-local systems. We show that the Frobenius Newton polygons of Kl_{\hat G} are generically ordinary for every \hat G and are everywhere ordinary on |G_{m,F_p}| when \hat G is classical or G_2.

We introduce a new technique for isolating components on the spectral side of the trace formula. By applying it to the Jacquet--Rallis relative trace formula, we complete the proof of the global Gan--Gross--Prasad conjecture and its refinement Ichino--Ikeda conjecture for U(n)×U(n+1) in the stablecase.

We exhibit the first examples of hyperbolic three-manifolds for which the Seiberg-Witten equations do not admit any irreducible solution. Our approach relies on hyperbolic geometry in an essential way; it combines an explicit upper bound for the first eigenvalue on coexact 1-forms λ_1^* on rational homology spheres which admit irreducible solutions together with a version of the Selberg trace formula relating the spectrum of the Laplacian on coexact 1-forms with the volume and complex length spectrum of a hyperbolic three-manifold. Using these relationships, we also provide precise numerical bounds on λ_1^* for several hyperbolic rational homology spheres.

We study the geometry of the p‑adic analogues of the complex analytic period spaces first introduced by Griffiths. More precisely, we prove the Fargues–Rapoport conjecture for p‑adic period domains: for a reductive group G over a p‑adic field and a minuscule cocharacter μ of G, the weakly admissible locus coincides with the admissible one if and only if the Kottwitz set B(G,μ) is fully Hodge–Newton decomposable.

We study the existence of Artin–Schreier curves with large a‑number. We show that Artin–Schreier curves with large a‑number can be written in certain forms and discuss their supersingularity. We also give a basis of the de Rham cohomology of Artin–Schreier curves. By computing the rank of the Hasse–Witt matrix of the curve, we also give bounds on the a‑number of trigonal curves of genus 5 in small characteristic.

The main results of this paper involve general algebraic differentials ω on a general pencil of algebraic curves. We show how to determine whether ω is integrable in elementary terms for infinitely many members of the pencil. In particular, this corrects an assertion of James Davenport from 1981 and provides the first proof, even in rather strengthened form. We also indicate analogies with work of Andre and Hrushovski and with the Grothendieck–Katz Conjecture. To reach this goal, we first provide proofs of independent results which extend conclusions of relative Manin–Mumford type allied to the Zilber–Pink conjectures: we characterise torsion points lying on a general curve in a general abelian scheme of arbitrary relative dimension at least 2. In turn, we present yet another application of the latter results to a rather general pencil of Pell equations A^2−DB^2=1 over a polynomial ring. We determine whether the Pell equation (with squarefree D) is solvable for infinitely many members of the pencil.

We give an example of a dominant rational self-map of the projective plane whose dynamical degree is a transcendental number.

Let $z=x+iy \in \mathbb{H}:=\{z= x+ i y\in\mathbb{C}: y>0\}$ and $ \theta (s;z)=\sum_{(m,n)\in\mathbb{Z}^2 } e^{-s \frac{\pi }{y }|mz+n|^2}$ be the theta function associated with the lattice $\Lambda ={\mathbb Z}\oplus z{\mathbb Z}$. In this paper we consider the following pair of minimization problems \begin{equation}\aligned \min_{ \mathbb{H} } \theta (2;\frac{z+1}{2})+\rho\theta (1;z),\;\;\rho\in[0,\infty), \\ \min_{ \mathbb{H} } \theta (1; \frac{z+1}{2})+\rho\theta (2; z),\;\;\rho\in[0,\infty), \endaligned\end{equation} where the parameter $\rho\in[0,\infty)$ represents the competition of two intertwining lattices, the particular selection of the parameters $s=1,2$ is determined by the physical model, which can be generalized by our strategy and method proposed here. We find that as $\rho$ varies the optimal lattices admit a novel pattern: they move from rectangular (the ratio of long and short sides changes from $\sqrt3$ to 1 continuously), square, rhombus (the angle changes from $\pi/2$ to $\pi/3$ continuously) to hexagonal continuously; geometrically, up to an invariant group(a subgroup of the classical modular group), they move continuously on a special curve ; furthermore, there exists a closed interval of $\rho$ such that the optimal lattices is always a square lattice. This is the first, novel and also the complete result on the minimizer problem for theta functions with parameter $\rho$. This is in sharp contrast to optimal lattice shapes for single theta function ($\rho=\infty$ case), for which the hexagonal lattice prevails. As a consequence, we give a partial and positive answer to optimal lattice arrangements of vortices in competing systems of Bose-Einstein condensates as conjectured (and numerically and experimentally verified) by Mueller-Ho \cite{Mue2002}, this is the first progress on Mueller-Ho conjecture.

We study the general problem of equidistribution of expanding translates of an analytic curve by an algebraic diagonal flow on the homogeneous space of a semisimple algebraic group G. We define two families of algebraic subvarieties of the associated partial flag variety, which give the obstructions to non-divergence and equidistribution. We apply this to prove that for Lebesgue almost every point on an analytic curve in the space of m × n real matrices whose image is not contained in any subvariety coming from these two families, Dirichlet’s theorem on simultaneous Diophantine approximation cannot be improved. The proof combines geometric invariant theory, Ratner’s theorem on measure rigidity for unipotent flows, and linearization technique.

We present an integral representation for the tensor product L-function of a pair of automorphic cuspidal representations, one of a classical group, the other of a general linear group. Our construction is uniform over all classical groups, and is applicable to all cuspidal representations; it does not require genericity. The main new ideas of the construction are the use of generalized Speh representations as inducing data for the Eisenstein series and the introduction of a new (global and local) model, which generalizes the Whittaker model. Here we consider linear groups, but our construction also extends to arbitrary degree metaplectic coverings; this will be the topic of an upcoming work.

Motivated by the works of Liu, we provide a unified approach to find Appell-Lerch series and Hecke-type series representations for mock theta functions. We establish a number of parameterized identities with two parameters $a$ and $b$. Specializing the choices of $(a,b)$, we not only give various known and new representations for the mock theta functions of orders 2, 3, 5, 6 and 8, but also present many other interesting identities. We find that some mock theta functions of different orders are related to each other, in the sense that their representations can be deduced from the same $(a,b)$-parameterized identity. Furthermore, we introduce the concept of false Appell-Lerch series. We then express the Appell-Lerch series, false Appell-Lerch series and Hecke-type series in this paper using the building blocks $m(x,q,z)$ and $f_{a,b,c}(x,y,q)$ introduced by Hickerson and Mortenson, as well as $\overline{m}(x,q,z)$ and $\overline{f}_{a,b,c}(x,y,q)$ introduced in this paper. We also show the equivalences of our new representations for several mock theta functions and the known representations.

Let $f(x)=\sum_{n=0}^{\infty}\frac{1}{n!}q^{n(n-1)/2}x^n$ ($0<q<1$) be the deformed exponential function. It is known that the zeros of $f(x)$ are real and form a negative decreasing sequence $(x_k)$ ($k\ge 1$). We investigate the complete asymptotic expansion for $x_{k}$ and prove that for any $n\ge1$, as $k\to \infty$, \begin{align*} x_k=-kq^{1-k}\Big(1+\sum_{i=1}^{n}C_i(q)k^{-1-i}+o(k^{-1-n})\Big), \end{align*} where $C_i(q)$ are some $q$ series which can be determined recursively. We show that each $C_{i}(q)\in \mathbb{Q}[A_0,A_1,A_2]$, where $A_{i}=\sum_{m=1}^{\infty}m^i\sigma(m)q^m$ and $\sigma(m)$ denotes the sum of positive divisors of $m$. When writing $C_{i}$ as a polynomial in $A_0, A_1$ and $A_2$, we find explicit formulas for the coefficients of the linear terms by using Bernoulli numbers. Moreover, we also prove that $C_{i}(q)\in \mathbb{Q}[E_2,E_4,E_6]$, where $E_2$, $E_4$ and $E_6$ are the classical Eisenstein series of weight 2, 4 and 6, respectively.

In the classical theory of multiple zeta values (MZV's), Furusho proposed a conjecture asserting that the p-adic MZV's satisfy the same Q-linear relations that their corresponding real-valued MZV counterparts satisfy. In this paper, we verify a stronger version of a function field analogue of Furusho's conjecture in the sense that we are able to deal with all linear relations over an algebraic closure of the given rational function field, not just the rational linear relations.

No abstract uploaded!

We analyze the asymptotic behavior of certain twisted orbital integrals arising from the study of affine Deligne-Lusztig varieties. The main tools include the Base Change Fundamental Lemma and q-analogues of the Kostant partition functions. As an application we prove a conjecture of Miaofen Chen and Xinwen Zhu, relating the set of irreducible components of an affine Deligne-Lusztig variety modulo the action of the σ-centralizer group to the Mirkovic-Vilonen basis of a certain weight space of a representation of the Langlands dual group.

No abstract uploaded!

No abstract uploaded!

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks how to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspidal automorphic representations of classical groups with generic global Arthur parameters. Then we establish the theory for orthogonal and unitary groups, based on certain well expected conjectures. Among the consequences of the theory in this paper is that the global Gan-Gross-Prasad conjecture for those classical groups is proved in full generality in one direction and with a global assumption in the other direction.