On maps between modular Jacobians and Jacobians of Shimura curves

Fix a squarefree integer N, divisible by an even number of primes, and let Γ′ be a congruence subgroup of level M, where M is prime to N. For each D dividing N and divisible by an even number of primes, the Shimura curve X ^D (Γ₀(N/D) ∩ Γ′) associated to the indefinite quaternion algebra of discriminant D and Γ₀(N/D) ∩ Γ′-level structure is well defined, and we can consider its Jacobian J ^D (Γ₀(N/D) ∩ Γ′). Let J ^D denote the N/D-new subvariety of this Jacobian. By the Jacquet-Langlands correspondence [J-L] and Faltings’ isogeny theorem [Fa], there are Hecke-equivariant isogenies among the various varieties J ^D defined above. However, since the isomorphism of Jacquet-Langlands is noncanonical, this perspective gives no information about the isogenies so obtained beyond their existence. In this paper, we study maps between the varieties J ^D in terms of the maps they induce on the character groups of the tori corresponding to the mod p reductions of these varieties for p dividing N. Our characterization of such maps in these terms allows us to classify the possible kernels of maps from J ^D to J ^D′, for D dividing D′, up to support on a small finite set of maximal ideals of the Hecke algebra. This allows us to compute the Tate modules J ^D of J ^D at all non-Eisenstein of residue characteristic l > 3. These computations have implications for the multiplicities of irreducible Galois representations in the torsion of Jacobians of Shimura curves; one such consequence is a “multiplicity one” result for Jacobians of Shimura curves.     

Relationships between limit cycles and algebraic invariant curves for quadratic systems

Algebraic limit cycles for quadratic systems started to be studied in 1958. Up to now we know 7 families of quadratic systems having algebraic limit cycles of degree 2, 4, 5 and 6. Here we present some new results on the limit cycles and algebraic limit cycles of quadratic systems. These results provide sometimes necessary conditions and other times sufficient conditions on the cofactor of the invariant algebraic curve for the existence or nonexistence of limit cycles or algebraic limit cycles. In particular, it follows from them that for all known examples of algebraic limit cycles for quadratic systems those cycles are unique limit cycles of the system.     

Indecomposable higher Chow cycles on Jacobians

We construct some natural indecomposable elements of with trivial regulator, and in particular, prove that is uncountable for C a generic curve or a generic hyperelliptic curve of genus . Received: 10 October 2000 / in final form: 12 June 2001 / Published online: 1 February 2002     

Finiteness theorems for algebraic cycles of small codimension on quadric fibrations over curves

We obtain finiteness theorems for algebraic cycles of small codimension on quadric fibrations over curves over perfect fields. For example, if k is finitely generated over ℚ and X → C is a quadric fibration of odd relative dimension at least 11, then CH ⁱ (X) is finitely generated for i ≤ 4.     

Endomorphisms of Jacobians of modular curves

Let be the modular curve associated to a congruence subgroup Γ of level N with , and let be its canonical model over . The main aim of this paper is to show that the endomorphism algebra of its Jacobian is generated by the Hecke operators T _p , with , together with the “degeneracy operators” D _M,d , D ^t _M,d , for . This uses the fundamental results of Ribet on the structure of together with a basic result on the classification of the irreducible modules of the algebra generated by these operators. Received: 18 December 2007     

On the 16th Hilbert problem for limit cycles on nonsingular algebraic curves

We give an upper bound for the maximum number N of algebraic limit cycles that a planar polynomial vector field of degree n can exhibit if the vector field has exactly k nonsingular irreducible invariant algebraic curves. Additionally we provide sufficient conditions in order that all the algebraic limit cycles are hyperbolic. We also provide lower bounds for N.     

Compactified Jacobians of curves with spine decompositions

A curve, that is, a connected, reduced, projective scheme of dimension 1 over an algebraically closed field, admits two types of compactifications of its (generalized) Jacobian: the moduli schemes of P-quasistable torsion-free, rank-1 sheaves and Seshadri’s moduli schemes of S-equivalence classes of semistable torsion-free, rank-1 sheaves. Both are constructed with respect to a choice of polarization. The former are fine moduli spaces which were shown to be complete; here we show that they are actually projective. The latter are just coarse moduli spaces. Here we give a sufficient condition for when these two types of moduli spaces are equal. Eduardo Esteves is Supported by CNPq, Processos 301117/04-7 and 470761/06-7, by CNPq/FAPERJ, Processo E-26/171.174/2003, and by the Institut Mittag–Leffler (Djursholm, Sweden).     

Asymptotically fast group operations on Jacobians of general curves

Let be a curve of genus over a field . We describe probabilistic algorithms for addition and inversion of the classes of rational divisors in the Jacobian of . After a precomputation, which is done only once for the curve , the algorithms use only linear algebra in vector spaces of dimension at most , and so take field operations in , using Gaussian elimination. Using fast algorithms for the linear algebra, one can improve this time to . This represents a significant improvement over the previous record of field operations (also after a precomputation) for general curves of genus .

     

Endomorphism algebras of Jacobians of certain superelliptic curves

Text

Let p be a prime, and q a power of p. Using Galois theory, we show that over a field K of characteristic zero, the endomorphism algebras of the Jacobians of certain superelliptic curves yq=f(x) are products of cyclotomic fields.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=z5ZzOy1K_Ec.     

Nonstandard points on algebraic curves

Let Γ be an algebraic curve which is given by an equation f(x, y) = 0, f(x, y) ∈ k[x, y] where k is an algebraic number field and f(x, y) is irreducible. Suppose that there exists an ${}^1\text{Γ}$ a nonstandard point $\text{(ξ, η) ∈}{}^1\text{k ×}{}^1\text{k}$. Then k(ξ, η) is (isomorphic to) the algebraic function field of Γ and, at the same time, is a subfield of ${}^1\text{k}$. Correlating the divisors of the function field k(ξ, η) and of the number field ${}^1\text{k}$, we develop an analogue of the Artin-Whaples theory of the product formula. This leads to one of Siegel's basic inequalities for rational points on algebraic curves.     

Adjoint divisors on algebraic curves

Let C be a numerically connected curve lying on a smooth algebraic surface. We show that if is an ample invertible sheaf satisfying some technical numerical hypotheses then is normally generated. As a corollary we show that the sheaf ω_C^⊗2 on a numerically connected curve C of arithmetic genus p_a?3 is normally generated if ω_C is ample and does not exist a subcurve B⊂C such that p_a(B)=1=B(C−B).     

Polygonal cycles in higher Chow groups of Jacobians

The aim of this paper is to construct non-trivial cycles in the first higher Chow group of the Jacobian of a curve having special torsion points. The basic tool is to compute the analogue of the Griffiths infinitesimal invariant of the natural normal function defined by the cycle as the curve moves in the corresponding moduli space. We prove also a Torelli-like theorem. The case of genus 2 is considered in the last section. To the memory of Fabio BardelliMathematics Subject Classification (2000) 14C25, 14C34     

Topology of the compactified Jacobians of singular curves

We compute the Euler number of the compactified Jacobian of a curve whose minimal unibranched normalization has only plane irreducible singularities with characteristic Puiseux exponents (p, q), (4, 2q, s), (6, 8, s), or (6, 10, s). Further, we derive a combinatorial method to compute the Betti numbers of the compactified Jacobian of an unibranched rational curve with singularities like above. Some of the Betti numbers can be stated explicitly.     

Singular pencils of quadrics and compactified Jacobians of curves

LetY be an irreducible nodal hyperelliptic curve of arithmetic genusg such that its nodes are also ramification points (char ≠2). To the curveY, we associate a family of quadratic forms which is dual to a singular pencil of quadrics in with Segre symbol [2...21...1], where the number of 2's is equal to the number of nodes. We show that the compactified Jacobian ofY is isomorphic to the spaceR of (g−1) dimensional linear subspaces of which are contained in the intersectionQ of quadrics of the pencil. We also prove that (under this isomorphism) the generalized Jacobian ofY is isomorphic to the open subset ofR consisting of the (g−1) dimensional subspaces not passing through any singular point ofQ.     

Generators for the tautological algebra of the moduli space of curves

In this paper, we prove that the tautological algebra in cohomology of the moduli space M_g of smooth projective curves of genus g is generated by the first [g/3] Mumford-Morita-Miller classes. This solves a part of Faber's conjecture (Moduli of Curves and Abelian Varieties Vieweg, Braunschweig, 1999) concerning the structure of the tautological algebra affirmatively. More precisely, for any k we express the kth Mumford-Morita-Miller class e_k as an explicit polynomial in the lower classes for all genera g=3k−1,3k−2,…,2.     

Generalized Jacobians of spectral curves and completely integrable systems

Consider an ordinary differential equation which has a Lax pair representation , where A(x) is a matrix polynomial with a fixed regular leading coefficient and the matrix B(x) depends only on A(x). Such an equation can be considered as a completely integrable complex Hamiltonian system. We show that the generic complex invariant manifold of this Lax pair is an affine part of a non-compact commutative algebraic group – the generalized Jacobian of the spectral curve with its points at “infinity” identified. Moreover, for suitable B(x), the Hamiltonian vector field defined by the Lax pair on the generalized Jacobian is translation-invariant. Received April 29, 1997; in final form September 22, 1997