On convergence of generalized continued fractions and Ramanujan's conjecture

We consider continued fractions \frac{-a_1}{1-\frac{a_2}{1-\frac{a_3}{1-...}}} \label{fr} with real coefficients $a_i$ converging to a limit $a$. S.Ramanujan had stated the theorem (see [ABJL], p.38) saying that if $a\neq\frac14$, then the fraction converges if and only if $a<\frac14$. The statement of convergence was proved in [V] for complex $a_i$ converging to $a\in\mathbb C\setminus[\frac14,+\infty)$ (see also [P]). J.Gill [G] proved the divergence of (\ref{fr}) under the assumption that $a_i\to a>\frac14$ fast enough, more precisely, whenever \sum_i|a_i-a|<\infty.\label{gill} The Ramanujan conjecture saying that (\ref{fr}) diverges always whenever $a_i\to a>\frac14$ remained up to now an open question. In the present paper we disprove it. We show (Theorem \ref{th1}) that for any $a>\frac14$ there exists a real sequence $a_i\to a$ such that (\ref{fr}) converges. Moreover, we show (Theorem \ref{go}) that Gill's sufficient divergence condition (\ref{gill}) is the optimal condition on the speed of convergence of the $a_i$'s.Comment: Submitted to C.R.A.S. on December 23, 200

Hyperelliptic continued fractions and generalized jacobians

For a complex polynomial D(t) of even degree, one may define the continued fraction of D(t). This was found relevant already by Abel in 1826, and then by Chebyshev, concerning integration of (hyperelliptic) differentials; they realized that, contrary to the classical case of square roots of positive integers treated by Lagrange and Galois, we do not always have pre-periodicity of the partial quotients. In this paper we shall prove that, however, a correct analogue of Lagrange\u2019s theorem still exists in full generality: pre-periodicity of the degrees of the partial quotients always holds. Apparently, this fact was never noted before. This also yields a corresponding formula for the degrees of the convergents, for which we shall prove new bounds which are generally best possible (halving the known ones). We shall further study other aspects of the continued fraction, like the growth of the heights of partial quotients. Throughout, some striking phenomena appear, related to the geometry of (gen-eralized) Hyperelliptic Jacobians. Another conclusion central in this paper concerns the poles of the convergents: there can be only finitely many rational ones which occur infinitely many times. (This is crucial for certain applications to a function field version of a question of McMullen.) Our methods rely, among other things, on linking Pad\ue9 approximants and convergents with divisor relations in generalized Jacobians; this shall allow an application of a version for algebraic groups, proved in this paper, of the Skolem-Mahler-Lech theorem