On construction of certain CM elliptic curves

Let E be a CM elliptic curve defined over an algebraic number field F. In the previous paper [N. Murabayashi, On the field of definition for modularity of CM elliptic curves, J. Number Theory 108 (2004) 268-286], we gave necessary and sufficient conditions for E to be modular over F, i.e. there exists a normalized newform f of weight two on Γ₁(N) for some N such that HomF(E,Jf)≠{0}. We also determined the multiplicity of E as F-simple factor of Jf when HomF(E,Jf)≠{0}. In this process we separated into the three cases. In this paper we construct certain CM elliptic curves which satisfy the conditions of each case. In other words, we show that all three cases certainly occur.     

Congruences between Siegel modular forms II

Using a p-adic monodromy theorem on the affine ordinary locus in the minimally compactified moduli scheme modulo powers of a prime p of abelian varieties, we extend Katz?s results on congruence and p-adic properties of elliptic modular forms to Siegel modular forms of higher degree.     

Defining equations of modular curves

We obtain defining equations of modular curves X₀(N), X₁(N), and X(N) by explicitly constructing modular functions using generalized Dedekind eta functions. As applications, we describe a method of obtaining a basis for the space of cusp forms of weight 2 on a congruence subgroup. We also use our model of X₀(37) to find explicit modular parameterization of rational elliptic curves of conductor 37.     

Non-hyperelliptic modular curves of genus 3

A curve C defined over Q is modular of level N if there exists a non-constant morphism from X₁(N) onto C defined over Q for some positive integer N. We provide a sufficient and necessary condition for the existence of a modular non-hyperelliptic curve C of genus 3 and level N such that Jac C is Q-isogenous to a given three dimensional Q-quotient of J₁(N). Using this criterion, we present an algorithm to compute explicitly equations for modular non-hyperelliptic curves of genus 3. Let C be a modular curve of level N, we say that C is new if the corresponding morphism between J₁(N) and Jac C factors through the new part of J₁(N). We compute equations of 44 non-hyperelliptic new modular curves of genus 3, that we conjecture to be the complete list of this kind of curves. Furthermore, we describe some aspects of non-new modular curves and we present some examples that show the ambiguity of the non-new modular case.     

On special zeros of p-adic L-functions of Hilbert modular forms

Let E be a modular elliptic curve over a totally real number field F. We prove the weak exceptional zero conjecture which links a (higher) derivative of the p-adic L-function attached to E to certain p-adic periods attached to the corresponding Hilbert modular form at the places above p where E has split multiplicative reduction. Under some mild restrictions on p and the conductor of E we deduce the exceptional zero conjecture in the strong form (i.e. where the automorphic p-adic periods are replaced by the $\mathcal {L}$ -invariants of E defined in terms of Tate periods) from a special case proved earlier by Mok. Crucial for our method is a new construction of the p-adic L-function of E in terms of local data.     

The Kernel of the Eisenstein Ideal

Let N be a prime number, and let J₀(N) be the Jacobian of the modular curve X₀(N). Let T denote the endomorphism ring of J₀(N). In a seminal 1977 article, B. Mazur introduced and studied an important ideal I⊆T, the Eisenstein ideal. In this paper we give an explicit construction of the kernel J₀(N)[I] of this ideal (the set of points in J₀(N) that are annihilated by all elements of I). We use this construction to determine the action of the group Gal(Q/Q) on J₀(N)[I]. Our results were previously known in the special case where N−1 is not divisible by 16.     

Kato’s Euler system and rational points on elliptic curves I: A p-adic Beilinson formula

This article is the first in a series devoted to Kato’s Euler system arising from p-adic families of Beilinson elements in the K-theory of modular curves. It proves a p-adic Beilinson formula relating the syntomic regulator (in the sense of Coleman-de Shalit and Besser) of certain distinguished elements in the K-theory of modular curves to the special values at integer points ≥ 2 of the Mazur-Swinnerton-Dyer p-adic L-function attached to cusp forms of weight 2. When combined with the explicit relation between syntomic regulators and p-adic étale cohomology, this leads to an alternate proof of the main results of [Br2] and [Ge] which is independent of Kato’s explicit reciprocity law.     

Selmer groups of elliptic curves that can be arbitrarily large

In this article, it is shown that certain kinds of Selmer groups of elliptic curves can be arbitrarily large. The main result is that if p is a prime at least 5, then p-Selmer groups of elliptic curves can be arbitrarily large if one ranges over number fields of degree at most g+1 over the rationals, where g is the genus of X₀(p). As a corollary, one sees that p-Selmer groups of elliptic curves over the rationals can be arbitrarily large for p=5,7 and 13 (the cases p?7 were already known). It is also shown that the number of elements of order N in the N-Selmer group of an elliptic curve over the rationals can be arbitrarily large for N=9,10,12,16 and 25.     

On invisible elements of the Tate-Shafarevich group

Mazur [7] has introduced the concept of visible elements in the Tate-Shafarevich group of optimal modular elliptic curves. We generalized the notion to arbitrary abelian subvarieties of abelian varieties and found, based on calculations that assume the Birch-Swinnerton-Dyer conjecture, that there are elements of the Tate-Shafarevich group of certain sub-abelian varieties of J₀ (p) and J₁ (p) that are not visible.     

Равносходимость разложений в кратный ряд и интеграл фурье, «прямоугольные частичные суммы» которых рассматриваются по некоторой подпоследовательности

In this paper we investigate the problem of the equiconvergence on T ^N = [-π, π) ^N of the expansions in multiple trigonometric series and Fourier integral of functions f ∈ L _p (T ^N ) and g ∈ L _p (? ^N ), where p > 1, N ≥ 3, g(x) = f(x) on T ^N , in the case when the “rectangular partial sums” of the indicated expansions, i.e.,– _n (x; f) and J _α(x; g), respectively, have indices n ∈ ? ^N and α ∈ ? ^N (n _j = [α _j ], j = 1,...,N, [t] is the integer part of t ∈ ?¹), in those certain components are the elements of “lacunary sequences”.     

Eigenvectors and cyclic vectors of bilateral weighted shifts. II: Simply invariant subspaces

Let T be an injective bilateral weighted shift onl ² thought as "multiplication by λ" on a space of formal Laurent series L²(β). (a) If L²(β) is contained in a space of quasi-analytic class of functions, then the point spectrum σ_p(T^?) of T^? contains a circle and the cyclic invariant subspaceM _f of T generated by f is simply invariant (i.e., ∩{(T^k M _f)^?: k ≥ 0}= {0}) for each f in L²(β); (b) If L²(β) contains a non-quasi-analytic class of functions (defined on a circle г) of a certain type related with the weight sequence of T, then there exists f in L²(ß) such thatM _f is a non-trivial doubly invariant subspace (i.e., (TM _f)^? =M _f); furthermore, if г ? σ_p(T^*), then σ_p (T^*) = г and f can be chosen so that σ_p([T∣M _f]^*) = г?{α}, for some α ε г. Several examples show that the gap between operators satisfying (a) and operators satisfying (b) is rather small.     

Effective equidistribution of eigenvalues of Hecke operators

In 1997, Serre proved an equidistribution theorem for eigenvalues of Hecke operators on the space S(N,k) of cusp forms of weight k and level N. In this paper, we derive an effective version of Serre's theorem. As a consequence, we estimate, for a given d and prime p coprime to N, the number of eigenvalues of the pth Hecke operator Tp acting on S(N,k) of degree less than or equal to d. This allows us to determine an effectively computable constant Bd such that if J₀(N) is isogenous to a product of Q-simple abelian varieties of dimensions less than or equal to d, then N?Bd. We also study the effective equidistribution of eigenvalues of Frobenius acting on a family of curves over a fixed finite field as well as the eigenvalue distribution of adjacency matrices of families of regular graphs. These results are derived from a general “all-purpose” equidistribution theorem.     

Cores for Feller semigroups with an invariant measure

Let be an elliptic differential operator with unbounded coefficients on RN and assume that the associated Feller semigroup (T(t))_t?0 has an invariant measure μ. Then (T(t))_t?0 extends to a strongly continuous semigroup (Tp(t))_t?0 on Lp(μ)=Lp(RN,μ) for every 1?p<∞. We prove that, under mild conditions on the coefficients of A, the space of test functions is a core for the generator (Ap,Dp) of (Tp(t))_t?0 in Lp(μ) for 1?p<∞.     

Congruence modules related to Eisenstein series

The purpose of this paper is to study the structure of congruence modules (or modules of congruences) associated with Eisenstein series in various contexts in the Λ-adic theory of elliptic modular forms. Under some assumptions, we explicitly describe such modules in terms of Kubota-Leopoldt p-adic L-functions.     

On the existence of $$\kappa $$-existentially closed groups

Using explicit constructions of the Weierstrass mock modular form and Eisenstein series coefficients, we obtain closed formulas for the generating functions of values of shifted convolution L-functions associated to certain elliptic curves. These identities provide a surprising relation between weight 2 newforms and shifted convolution L-values when the underlying elliptic curve has modular degree 1 with conductor N such that \(\text {genus}(X_0(N)) = 1\).     

On p-adic quaternionic Eisenstein series

We show that certain p-adic Eisenstein series for quaternionic modular groups of degree 2 become “real” modular forms of level p in almost all cases. To prove this, we introduce a U(p) type operator. We also show that there exists a p-adic Eisenstein series of the above type that has transcendental coefficients. Former examples of p-adic Eisenstein series for Siegel and Hermitian modular groups are both rational (i.e., algebraic).     

p-adic periods and modular symbols of elliptic curves of prime conductor

Under certain assumptions, we prove a conjecture of Mazur and Tate describing a relation between the modular symbol attached to an elliptic curve with split multiplicative reduction atp, and itsp-adic period. We generalize this relation to modular forms of weight 2 with coefficients not necessarily in.Oblatum 24-XI-1993 & 8-VI-1994     

The modularity of some Q-curves

A Q-curve is an elliptic curve, defined over a number field, that is isogenous to each of its Galois conjugates. Ribet showed that Serre's conjectures imply that such curves should be modular. Let E be an elliptic curve defined over a quadratic field such that E is 3-isogenous to its Galois conjugate. We give an algorithm for proving any such E is modular and give an explicit example involving a quotient of J_o (169). As a by-product, we obtain a pair of 19-isogenous elliptic curves, and relate this to the existence of a rational point of order 19 on J₁ (13).     

Endpoint estimates for the commutator of pseudo-differential operators

It is well known that the commutator Tb of the Calderón-Zygmund singular integral operator is bounded on L^p(Rⁿ) for 1 < p < +∞ if and only if b ∈ BMO [1]. On the other hand, the commutator T_b is bounded from H¹(Rⁿ) into L¹(Rⁿ) only if the function b is a constant [2]. In this article, we will discuss the boundedness of commutator of certain pseudo-differential operators on Hardy spaces H¹. Let T^σ be the operators that its symbol is S⁰_1,δ with 0 ≤ δ < 1, if b ∈ LMO_∞, then, the commutator [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) and from L¹(Rⁿ) into BMO(Rⁿ); If [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) or L¹(Rⁿ) into BMO(Rⁿ), then, b ∈ LMO_loc.     

Action of Hecke operators on cohomology of modular curves of level two

We calculate the action of the p-th Hecke operator and the inertia group on the ?-adic cohomology of modular curve of level Γ₀(p ²) under the assumption p ≥ 13, using only a local geometrical method. We also calculate the action of the p-th Hecke operator and the inertia group on the ?-adic cohomology of the Lubin-Tate space of the same level over the maximal unramified extension of ${\mathbb{Q}_p}$ .