Transcendance et indépendance algébrique: liens entre les points de vue elliptique et modulaire.

There exist, now, numerous transcendental and algebraic independence results about elliptic and modular functions i.e. E ₂, E ₄, E ₆ the standard Eisenstein series, j the modular invariant ... (works done by T. Schneider, D. Masser, G.V. Chudnovsky, Y. Nesterenko, P. Philippon ...). Transcendence properties of modular functions have been studied by using their relations with periods of elliptic integrals; and until 1996, all results about these modular functions were corollaries of elliptic results (i.e. results established by means of Weierstrass elliptic functions and elliptic curves). With the proof of Mahler-Manin conjecture (1995) and Nesterenko-Philippon works (1996), we can now get new elliptic and exponential results from modular ones (for example this corollary of Nesterenko's paper and exp() are algebraically independent, striking result which owes nothing to the exponential function). My aim is twofold: (1) to recall classical links between elliptic and modular functions and to translate algebraic independence results from one setting to the other; (2) to show that this translation suggests a lot of conjectures.     

Some consequences of Schanuel's conjecture

We study the algebraic independence of two inductively defined sets. Under the hypothesis of Schanuel's conjecture we prove that the exponential power tower E and its related logarithmic tower L are linearly disjoint.     

Special values of L-functions of elliptic curves over Q and their base change to real quadratic fields

For an elliptic curve E over Q, and a real quadratic extension F of Q, satisfying suitable hypotheses, we study the algebraic part of certain twisted L-values for E/F. The Birch and Swinnerton-Dyer conjecture predicts that these L-values are squares of rational numbers. We show that this question is related to the ratio of Petersson inner products of a quaternionic form on a definite quaternion algebra over Q and its base change to F.     

On the Structure of the Set of E-Functions Satisfying Linear Differential Equations of Second Order

We prove a special case of Siegel's conjecture concerning the representability of E-functions in the form of polynomials in hypergeometric functions. We prove several assertions (formulated earlier by A. B. Shidlovskii) about the transcendence and linear independence of values of E-functions.     

Integrals of <Emphasis Type="Italic">K</Emphasis> and <Emphasis Type="Italic">E</Emphasis> from lattice sums

We give closed form evaluations for many families of integrals, whose integrands contain algebraic functions of the complete elliptic integrals K and E. Our methods exploit the rich structures connecting complete elliptic integrals, Jacobi theta functions, lattice sums, and Eisenstein series. Various examples are given, and along the way new (including 10-dimensional) lattice sum evaluations are produced.     

Isomorphism Conjecture for homotopy K-theory and groups acting on trees

We discuss an analogon to the Farrell-Jones Conjecture for homotopy algebraic K-theory. In particular, we prove that if a group G acts on a tree and all isotropy groups satisfy this conjecture, then G satisfies this conjecture. This result can be used to get rational injectivity results for the assembly map in the Farrell-Jones Conjecture in algebraic K-theory.     

Linear independence of digamma function and a variant of a conjecture of Rohrlich

Let ψ(x) denote the digamma function. We study the linear independence of ψ(x) at rational arguments over algebraic number fields. We also formulate a variant of a conjecture of Rohrlich concerning linear independence of the log gamma function at rational arguments and report on some progress. We relate these conjectures to non-vanishing of certain L-series.     

Parity of ranks for elliptic curves with a cyclic isogeny

Let E be an elliptic curve over a number field K which admits a cyclic p-isogeny with p?3 and semistable at primes above p. We determine the root number and the parity of the p-Selmer rank for E/K, in particular confirming the parity conjecture for such curves. We prove the analogous results for p=2 under the additional assumption that E is not supersingular at primes above 2.     

Hodge structures on abelian varieties of type IV

Let A be a general member of a PEL-family of abelian varieties with endomorphisms by an imaginary quadratic number field k, and let E be an elliptic curve with complex multiplications by k. We show that the usual Hodge conjecture for products of A with powers of E implies the general Hodge conjecture for all powers of A. We deduce the general Hodge conjecture for all powers of certain 5-dimensional abelian varieties. Mathematics Subject Classification (2000): Primary 14C30, 14K20.Research supported in part by a Research and Creative Activity Award for Summer 2001 from East Carolina University.     

Poncelet’s theorem and billiard knots

Let D be any elliptic right cylinder. We prove that every type of knot can be realized as the trajectory of a ball in D. This proves a conjecture of Lamm and gives a new proof of a conjecture of Jones and Przytycki. We use Jacobi??s proof of Poncelet??s theorem by means of elliptic functions.     

Approximation diophantienne sur les courbes elliptiques à multiplication complexe

Let $\text{E}$ be an elliptic curve with complex multiplication, defined over $\text{Q}$. We consider linear forms on $\text{Lie}\text{(}\text{E}{}^{\mathrm{n}}\text{)}$ with coefficients in the CM field of $\text{E}$. Within this framework, we present a new measure of linear independence for elliptic logarithms in (logb)(loga)ⁿ. Like recent advances in this domain (works by Ably, David, Hirata-Kohno), our result is best possible in terms of the height of the linear forms (logb) while providing a better estimate in the height of algebraic points considered (loga), removing a term in logloga. To cite this article: M. Ably, É. Gaudron, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Mahler measures in a cubic field

We prove that every cyclic cubic extension E of the field of rational numbers contains algebraic numbers which are Mahler measures but not the Mahler measures of algebraic numbers lying in E. This extends the result of Schinzel who proved the same statement for every real quadratic field E. A corresponding conjecture is made for an arbitrary non-totally complex field E and some numerical examples are given. We also show that every natural power of a Mahler measure is a Mahler measure.     

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.     

Gorenstein polytopes and their stringy E-functions

Inspired by ideas from algebraic geometry, Batyrev and the first named author have introduced the stringy E-function of a Gorenstein polytope. We prove that this a priori rational function is actually a polynomial, which is part of a conjecture of Batyrev and the first named author. The proof relies on a comparison result for the lattice point structure of a Gorenstein polytope P, a face F of P and the face of the dual Gorenstein polytope corresponding to F. In addition, we study joins of Gorenstein polytopes and introduce the notion of an irreducible Gorenstein polytope. We show how these concepts relate to the decomposition of nef-partitions.     

Explicit Heegner points: Kolyvagin's conjecture and non-trivial elements in the Shafarevich-Tate group

Kolyvagin used Heegner points to associate a system of cohomology classes to an elliptic curve over Q and conjectured that the system contains a non-trivial class. His conjecture has profound implications on the structure of Selmer groups. We provide new computational and theoretical evidence for Kolyvagin's conjecture. More precisely, we explicitly approximate Heegner points over ring class fields and use these points to give evidence for the conjecture for specific elliptic curves of rank two. We explain how Kolyvagin's conjecture implies that if the analytic rank of an elliptic curve is at least two then the Zp-corank of the corresponding Selmer group is at least two as well. We also use explicitly computed Heegner points to produce non-trivial classes in the Shafarevich-Tate group.     

The p-adic Gross-Zagier formula for elliptic curves at supersingular primes

Let p be a prime number and let E be an elliptic curve defined over ? of conductor N. Let K be an imaginary quadratic field with discriminant prime to pN such that all prime factors of N split in K. B. Perrin-Riou established the p-adic Gross-Zagier formula that relates the first derivative of the p-adic L-function of E over K to the p-adic height of the Heegner point for K when E has good ordinary reduction at p. In this article, we prove the p-adic Gross-Zagier formula of E for the cyclotomic ? _p -extension at good supersingular prime p. Our result has an application for the full Birch and Swinnerton-Dyer conjecture. Suppose that the analytic rank of E over ? is 1 and assume that the Iwasawa main conjecture is true for all good primes and the p-adic height pairing is not identically equal to zero for all good ordinary primes, then our result implies the full Birch and Swinnerton-Dyer conjecture up to bad primes. In particular, if E has complex multiplication and of analytic rank 1, the full Birch and Swinnerton-Dyer conjecture is true up to a power of bad primes and 2.     

Modularity of CM elliptic curves over division fields

Let E be a CM elliptic curve defined over an algebraic number field F. In general E will not be modular over F. In this paper, we determine extensions of F, contained in suitable division fields of E, over which E is modular. Under some weak assumptions on E, we construct a minimal subfield of division fields over which E is modular.     

Bounding the number of zeros of certain Abelian integrals

In this paper we prove a criterion that provides an easy sufficient condition in order for any nontrivial linear combination of n Abelian integrals to have at most n+k−1 zeros counted with multiplicities. This condition involves the functions in the integrand of the Abelian integrals and it can be checked, in many cases, in a purely algebraic way.     

Root numbers and ranks in positive characteristic

For a global field K and an elliptic curve E_η over K(T), Silverman's specialization theorem implies rank(E_η(K(T)))?rank(E_t(K)) for all but finitely many t∈P¹(K). If this inequality is strict for all but finitely many t, the elliptic curve E_η is said to have elevated rank. All known examples of elevated rank for K=Q rest on the parity conjecture for elliptic curves over Q, and the examples are all isotrivial.Some additional standard conjectures over Q imply that there does not exist a non-isotrivial elliptic curve over Q(T) with elevated rank. In positive characteristic, an analogue of one of these additional conjectures is false. Inspired by this, for the rational function field K=κ(u) over any finite field κ with characteristic ≠2, we construct an explicit 2-parameter family E_c,d of non-isotrivial elliptic curves over K(T) (depending on arbitrary c,d∈κ^×) such that, under the parity conjecture, each E_c,d has elevated rank.