On the number of Fourier coefficients that determine a Hilbert modular form

We estimate the number of Fourier coefficients that determine a Hilbert modular cusp form of arbitrary weight and level. The method is spectral (Rayleigh quotient) and avoids the use of the maximum principle.

     

Proving that a genus 2 curve has complex multiplication

Recently examples of genus 2 curves defined over the rationals were found which, conjecturally, should have complex multiplication. We prove this conjecture. This involves computing an explicit representation of a rational map defining complex multiplication.

     

Hierarchical structure of the family of curves with maximal genus verifying flag conditions

Fix integers such that and , and let be the set of all integral, projective and nondegenerate curves of degree in the projective space , such that, for all , does not lie on any integral, projective and nondegenerate variety of dimension and degree . We say that a curve satisfies the flag condition if belongs to . Define where denotes the arithmetic genus of . In the present paper, under the hypothesis , we prove that a curve satisfying the flag condition and of maximal arithmetic genus must lie on a unique flag such as , where, for any , denotes an integral projective subvariety of of degree and dimension , such that its general linear curve section satisfies the flag condition and has maximal arithmetic genus . This proves the existence of a sort of a hierarchical structure of the family of curves with maximal genus verifying flag conditions.

     

Poonen's question concerning isogenies between Smart's genus 2 curves

We describe a method for proving that two explicitly given genus two curves have isogenous jacobians. We apply the method to the list of genus 2 curves with good reduction away from 2 given by Smart. This answers a question of Poonen.

     

Fourier expansion of Eisenstein series on the Hilbert modular group and Hilbert class fields

In this paper we consider the Eisenstein series for the Hilbert modular group of a general number field. We compute the Fourier expansion at each cusp explicitly. The Fourier coefficients are given in terms of completed partial Hecke -series, and from their functional equations, we get the functional equation for the Eisenstein vector. That is, we identify the scattering matrix. When we compute the determinant of the scattering matrix in the principal case, the Dedekind -function of the Hilbert class field shows up. A proof in the imaginary quadratic case was given in Efrat and Sarnak, and for totally real fields with class number one a proof was given in Efrat.

     

2-Weierstrass points of genus 3 hyperelliptic curves with extra involutions

We consider families of curves with extra automorphisms in ?₃, the moduli space of smooth hyperelliptic curves of genus g = 3. Such families of curves are explicitly determined in terms of the absolute invariants of binary octavics. For each family of positive dimension where |Aut (C)|>4, we determine the possible distributions of weights of 2-Weierstrass points.     

Heegner divisors in the moduli space of genus three curves

S. Kondo used periods of surfaces to prove that the moduli space of genus three curves is birational to an arithmetic quotient of a complex 6-ball. In this paper we study Heegner divisors in the ball quotient, given by arithmetically defined hyperplane sections of the ball. We show that the corresponding loci of genus three curves are given by hyperelliptic curves, singular plane quartics and plane quartics admitting certain rational ``splitting curves'.

     

On the field of definition for modularity of CM elliptic curves

The purpose of this paper is to decide the conditions under which a CM elliptic curve is modular over its field of definition.     

Hilbertian Versus Hilbert W*-Modules and Applications to L2- and other invariants

Hilbert(ian) A-modules over finite von Neumann algebras with a faithful normal trace state (from global analysis) and Hilbert W*-modules over A (from operator algebra theory) are compared and a categorical equivalence is established. The correspondence between these two structures sheds new light on basic results in L ²-invariant theory providing alternative proofs. We indicate new invariants for finitely generated projective B-modules, where B is a unital C*-algebra (usually the full group C*-algebra C*() of the fundamental group =₁(M) of a manifold M).     

Chow groups of the moduli spaces of weighted pointed stable curves of genus zero

The moduli space of weighted pointed stable curves of genus zero is stratified according to the degeneration types of such curves. We show that the homology groups of are generated by the strata of and give all additive relations between them. We also observe that the Chow groups and the homology groups are isomorphic. This generalizes Kontsevich-Manin's and Losev-Manin's theorems to arbitrary weight data A.     

A CM construction for curves of genus 2 with p-rank 1

We construct Weil numbers corresponding to genus-2 curves with p-rank 1 over the finite field Fp² of p² elements. The corresponding curves can be constructed using explicit CM constructions. In one of our algorithms, the group of Fp²-valued points of the Jacobian has prime order, while another allows for a prescribed embedding degree with respect to a subgroup of prescribed order. The curves are defined over Fp² out of necessity: we show that curves of p-rank 1 over Fp for large p cannot be efficiently constructed using explicit CM constructions.     

Graph homology of the moduli space of pointed real curves of genus zero

The moduli space parameterizes the isomorphism classes of S-pointed stable real curves of genus zero which are invariant under relabeling by the involution σ. This moduli space is stratified according to the degeneration types of σ-invariant curves. The degeneration types of σ-invariant curves are encoded by their dual trees with additional decorations. We construct a combinatorial graph complex generated by the fundamental classes of strata of . We show that the homology of is isomorphic to the homology of our graph complex. We also give a presentation of the fundamental group of .      

Generalized Hilbert operator on the Dirichlet-type space

The boundedness of the generalized Hilbert operator on the Dirichlet-type space S_p when 0<p<1 is investigated.     

Empirical evidence for the Birch and Swinnerton-Dyer conjectures for modular Jacobians of genus 2 curves

This paper provides empirical evidence for the Birch and Swinnerton-Dyer conjectures for modular Jacobians of genus 2 curves. The second of these conjectures relates six quantities associated to a Jacobian over the rational numbers. One of these six quantities is the size of the Shafarevich-Tate group. Unable to compute that, we computed the five other quantities and solved for the last one. In all 32 cases, the result is very close to an integer that is a power of 2. In addition, this power of 2 agrees with the size of the 2-torsion of the Shafarevich-Tate group, which we could compute.

     

The play operator on the rectifiable curves in a Hilbert space

The vector play operator is the solution operator of a class of evolution variational inequalities arising in continuum mechanics. For regular data, the existence of solutions is easily obtained from general results on maximal monotone operators. If the datum is a continuous function of bounded variation, then the existence of a weak solution is usually proved by means of a time discretization procedure. In this paper we give a short proof of the existence of the play operator on rectifiable curves making use of basic facts of measure theory. We also drop the separability assumptions usually made by other authors. Copyright © 2007 John Wiley & Sons, Ltd.     

On lower bounds for theL 2-Wasserstein metric in a Hilbert space

We provide two families of lower bounds for theL ²-Wasserstein metric in separable Hilbert spaces which depend on the basis chosen for the space. Then we focus on one of these families and we provide a necessary and sufficient condition for the supremum in it to be attained. In the finite dimensional case, we identify the basis which provides the most accurate lower bound in the family.Research partially supported by the Spanish DGICYT under grants PB91-0306-02-00, 01 and 02.