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.     

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.     

Stark-Heegner points on modular Jacobians

We present a construction which lifts Darmon's Stark-Heegner points from elliptic curves to certain modular Jacobians. Let N be a positive integer and let p be a prime not dividing N. Our essential idea is to replace the modular symbol attached to an elliptic curve E of conductor Np with the universal modular symbol for Γ₀(Np). We then construct a certain torus T over Qp and lattice L⊂T, and prove that the quotient T/L is isogenous to the maximal toric quotient J₀(Np)^p-new of the Jacobian of X₀(Np). This theorem generalizes a conjecture of Mazur, Tate, and Teitelbaum on the p-adic periods of elliptic curves, which was proven by Greenberg and Stevens. As a by-product of our theorem, we obtain an efficient method of calculating the p-adic periods of J₀(Np)^p-new.     

Torsion points on modular curves

Let N≥23 be a prime number. In this paper, we prove a conjecture of Coleman, Kaskel, and Ribet about the ℚ-valued points of the modular curve X ₀(N) which map to torsion points on J ₀(N) via the cuspidal embedding. We give some generalizations to other modular curves, and to noncuspidal embeddings of X ₀(N) into J ₀(N). Oblatum 1-VI-1999 & 19-X-1999?Published online: 29 March 2000     

Moduli of stable sheaves on a smooth quadric and a Brill-Noether locus

We prove that the moduli space of stable sheaves of rank 2 with the Chern classes c₁=O_Q(1,1) and c₂=2 on a smooth quadric Q in P₃ is isomorphic to P₃. Using this identification, we give a new proof that a Brill-Noether locus, defined as the closure of the stable bundles with at least three linearly independent sections, on a non-hyperelliptic curve of genus 4, is isomorphic to the Donagi-Izadi cubic threefold.     

The effect of torsion on the distribution of Ш among quadratic twists of an elliptic curve

Let E be an elliptic curve of rank zero defined over Q and ? an odd prime number. For E of prime conductor N, in Quattrini (2006) [Qua06], we remarked that when ?||ETor(Q)|, there is a congruence modulo ? among a modular form of weight 3/2 corresponding to E and an Eisenstein series. In this work we relate this congruence in weight 3/2, to a well-known one occurring in weight 2, which arises when E(Q) has an ? torsion point. For N prime, we prove that this last congruence can be lifted to one involving eigenvectors of Brandt matrices Bp(N) in the quaternion algebra ramified at N and infinity. From this follows the congruence in weight 3/2. For N square free we conjecture on the coefficients of a weight 3/2 Cohen-Eisenstein series of level N, which we expect to be congruent to the weight 3/2 modular form corresponding to E.     

Stable n-pointed trees of projective lines

Stable n-pointed trees arise in a natural way if one tries to find moduli for totally degenerate curves: Let C be a totally degenerate stable curve of genus g ≥ 2 over a field k. This means that C is a connected projective curve of arithmetic genus g satisfyingo

1. (a) every irreducible component of C is a rational curve over κ.
2. (b) every singular point of C is a κ-rational ordinary double point.
3. (c) every nonsingular component L of C meets C−L in at least three points. It is always possible to find g singular points P₁,..., P_g on C such that the blow up C of C at P₁,..., P_g is a connected projective curve with the following properties:o
   1. (i) every irreducible component of C is isomorphic to P_k¹
   2. (ii) the components of C intersect in ordinary κ-rational double points
   3. (iii) the intersection graph of C is a tree.

The morphism φ : C → C is an isomorphism outside 2g regular points Q₁, Q₁′, Q_g, Q_g′ and identifies Q_i with Q_j′. is uniquely determined by the g pairs of regular κ-rational points (Q_i, Q_i′). A curve C satisfying (i)-(iii) together with n κ-rational regular points on it is called a n-pointed tree of projective lines. C is stable if on every component there are at least three points which are either singular or marked. The object of this paper is the classification of stable n-pointed trees. We prove in particular the existence of a fine moduli space B_n of stable n-pointed trees. The discussion above shows that there is a surjective map πB_2g → D_g of B_2g onto the closed subscheme D_g of the coarse moduli scheme M_g of stable curves of genus g corresponding to the totally degenerate curves. By the universal property of M_g, π is a (finite) morphism. π factors through B_2g = B_2g mod the action of the group of pair preserving permutations of 2g elements (a group of order 2^gg, isomorphic to a wreath product of S_g and ℤ/2ℤThe induced morphism π: B_2g → D_g is an isomorphism on the open subscheme of irreducible curves in D_g, but in general there may be nonequivalent choices of g singular points on a totally degenerated curve for the above construction, so π has nontrivial fibres. In particular, π is not the quotient map for a group action on B_2g. This leads to the idea of constructing a Teichmüller space for totally degenerate curves whose irreducible components are isomorphic to B_2g and on which a discontinuous group acts such that the quotient is precisely D_g; π will then be the restriction of this quotient map to a single irreducible component. This theory will be developped in a subsequent paper.In this paper we only consider stable n-pointed trees and their moduli theory. In 4 1 we introduce the abstract cross ratio of four points (not necessarily on the same projective line) and show that for a field κ the κ-valued points in the projective variety B_n of cross ratios are in 1 − 1 correspondence with the isomorphy classes of stable n-pointed trees of projective lines over κ. We also describe the structure of the subvarieties B(T, ψ) of stable n-pointed trees with fixed combinatorial type.We generalize our notion in 4 2 to stable n-pointed trees of projective lines over an arbitrary noetherian base scheme S and show how the cross ratios for the fibres fit together to morphisms on S. This section is closely related to [Kn], but it is more elementary since we deal with a special case.4 3 contains the main result of the paper: the canonical projection B_{n + 1} → B_n is the universal family of stable n-pointed trees. As a by-product of the proof we find that B_n is a smooth projective scheme of relative dimension 2n - 3 over ℤ. We also compare B_n to the fibre product B_n−1 × _Bn-2 B_{n − 1} and investigate the singularities of the latter.In 4 4 we prove that the Picard group of B_n is free of rank 2ⁿ⁻1−(n+1)−n(n−3)/2.We also give a method to compute the Betti numbers of the complex manifold B_n(ℂ).In 4 5 we compare B_n to the quotient Q_n: = ℙ_ssⁿ/PGL₂ of semi-stable points in ℙ₁ⁿ for the action of fractional linear transformations in every component. This orbit space has been studied in greater detail by several authors, see [GIT], [MS], [G]. It turns out that B_n is a blow-up of Q_n, and we describe the blow-up in several steps where at each stage the obtained space is interpreted as a solution to a certain moduli problem.     

Rational torsion of J0(N) for hyperelliptic modular curves and families of Jacobians of genus 2 and genus 3 curves with a rational point of order 5,7 or 10

We describe a way of constructing Jacobians of hyperelliptic curves of genus g ≥ 2, defined over a number field, whose Jacobians have a rational point of order of some (well chosen) integer l ≥ g + 1; the method is based on a polynomial identity. Using this approach we construct new families of genus 2 curves defined over — which contain the modular curves X₀(31) (and X₀(22) as a by-product) and X₀(29), the Jacobians of which have a rational point of order 5 and 7 respectively. We also construct a new family of hyperelliptic genus 3 curves defined over —, which contains the modular curve X₀(41), the Jacobians of which have a rational point of order 10. Finally we show that all hyperelliptic modular curves X₀(N) with N a prime number fit into the described strategy, except for N = 37 in which case we give another explanation. The authors thank the FNR (project FNR/04/MA6/11) for their support.     

p -SOLVABILITY AND A GENERALIZATION OF PRIME GRAPHS OF FINITE GROUPS

Abstract

The real Torelli mapping, from the moduli space of real curves of genus g to the moduli space of g-dimensional real principally polarized abelian varieties, sends a real curve into its real Jacobian. The real Schottky problem is to describe its image. The results contained in the present paper concern hyperelliptic real curves and in particular real curves of genus 2. We exhibit also some counterexamples for the non-hyperelliptic case.     

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).     

Divided powers in Chow rings and integral Fourier transforms

We prove that for any monoid scheme M over a field with proper multiplication maps M×M→M, we have a natural PD-structure on the ideal CH>0(M)⊂CH_∗(M) with regard to the Pontryagin ring structure. Further we investigate to what extent it is possible to define a Fourier transform on the motive with integral coefficients of the Jacobian of a curve. For a hyperelliptic curve of genus g with sufficiently many k-rational Weierstrass points, we construct such an integral Fourier transform with all the usual properties up to N²-torsion, where N=1+⌊log₂(3g)⌋. As a consequence we obtain, over , a PD-structure (for the intersection product) on N²⋅a, where a⊂CH(J) is the augmentation ideal. We show that a factor 2 in the properties of an integral Fourier transform cannot be eliminated even for elliptic curves over an algebraically closed field.     

Rational torsion on optimal curves and rank-one quadratic twists

When an elliptic curve E^′/Q of square-free conductor N has a rational point of odd prime order l?N, Dummigan (2005) in [Du] explicitly constructed a rational point of order l on the optimal curve E, isogenous over Q to E^′, under some conditions. In this paper, we show that his construction also works unconditionally. And applying it to Heegner points of elliptic curves, we find a family of elliptic curves E^′/Q such that a positive proportion of quadratic twists of E^′ has (analytic) rank 1. This family includes the infinite family of elliptic curves of the same property in Byeon, Jeon, and Kim (2009) [B-J-K].     

The Galois closure of Drinfeld modular towers

In this article we study Drinfeld modular curves X₀(pn) associated to congruence subgroups Γ₀(pn) of GL(2,Fq[T]) where p is a prime of Fq[T]. For n>r>0 we compute the extension degrees and investigate the structure of the Galois closures of the covers X₀(pn)→X₀(pr) and some of their variations. The results have some immediate implications for the Galois closures of two well-known optimal wild towers of function fields over finite fields introduced by Garcia and Stichtenoth, for which the modular interpretation was given by Elkies.     

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.     

An algebraic version of a theorem of Kurihara

Let E/Q be an elliptic curve and let p be an odd supersingular prime for E. In this article, we study the simplest case of Iwasawa theory for elliptic curves, namely when E(Q) is finite, ш(E/Q) has no p-torsion and the Tamagawa factors for E are all prime to p. Under these hypotheses, we prove that E(Q_n) is finite and make precise statements about the size and structure of the p-power part of ш(E/Q_n). Here Q_n is the n-th step in the cyclotomic Z_p-extension of Q.     

Torsion points on the jacobian of a Fermat quotient

Let p≥5 be a prime, ζ a primitive pth root of unity and λ=1−ζ. For 1≤s≤p−2, the smooth projective model C_p,s of the affine curve v^p=u^s(1−u) is a curve of genus (p−1)/2 whose jacobian J_p,s has complex multiplication by the ring of integers of the cyclotomic field Q(ζ). In 1981, Greenberg determined the field of rationality of the p-torsion subgroup of J_p,s and moreover he proved that the λ³-torsion points of J_p,s are all rational over Q(ζ). In this paper we determine quite explicitly the λ³-torsion points of J_p,1 for p=5 and p=7, as well as some further p-torsion points which have interesting arithmetical applications, notably to the complementary laws of Kummer’s reciprocity for pth powers.     

Alexandrov’s inequality and conjectures on some Toeplitz matrices

We study determinant inequalities for certain Toeplitz-like matrices over C. For fixed n and N ? 1, let Q be the n × (n + N − 1) zero-one Toeplitz matrix with Q_ij = 1 for 0 ? j − i ? N − 1 and Q_ij = 0 otherwise. We prove that det(QQ^∗) is the minimum of det(RR^∗) over all complex matrices R with the same dimensions as Q satisfying ∣R_ij∣ ? 1 whenever Q_ij = 1 and R_ij = 0 otherwise. Although R has a Toeplitz-like band structure, it is not required to be actually Toeplitz. Our proof involves Alexandrov’s inequality for polarized determinants and its generalizations. This problem is motivated by Littlewood’s conjecture on the minimum 1-norm of N-term exponential sums on the unit circle. We also discuss polarized Bazin-Reiss-Picquet identities, some connections with k-tree enumeration, and analogous conjectured inequalities for the elementary symmetric functions of QQ^∗.     

Elliptic curves of odd modular degree

The modular degree m _E of an elliptic curve E/Q is the minimal degree of any surjective morphism X ₀(N) → E, where N is the conductor of E. We give a necessary set of criteria for m _E to be odd. In the case when N is prime our results imply a conjecture of Mark Watkins. As a technical tool, we prove a certain multiplicity one result at the prime p = 2, which may be of independent interest. Supported in part by the American Institute of Mathematics. Supported in part by NSF grant DMS-0401545.     

Weierstrass points on X 0(p ℓ) and arithmetic properties of Fourier coefficients of cusp forms

Generally it is unknown, whether or not ∞ is a Weierstrass point on the modular curve X ₀(N) if N is squarefree. A classical result of Atkin and Ogg states that ∞ is not a Weierstrass point on X ₀(N), if N=pM with p prime, p ∤ M and the genus of X ₀(M) zero. We use results of Kohnen and Weissauer to show that there is a connection between this question and the p-adic valuation of cusp forms under the Atkin–Lehner involution. This gives, in a sense, a generalization of Ogg’s Theorem in some cases.