Related papers: Tubular approaches to Baker's method for curves an…
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…
A Baker-type linear independece measure is obtained for the values of generalized Heine series at non-zero points of an imaginary quadratic number field. This kind of estimate depends on the individual coefficients of the linear form, not…
A uniform bound of intersection multiplicities of curves and divisors on abelian varieties is proved by algebraic geometric methods. It extends and improves a result obtained by A. Buium with a different method based on Kolchin's…
We apply inequalities from the theory of linear forms in logarithms to deduce effective results on S-integral points on certain higher-dimensional varieties when the cardinality of S is sufficiently small. These results may be viewed as a…
Most, if not all, unconditional results towards the abc-conjecture rely ultimately on classical Baker's method. In this article, we turn our attention to its elliptic analogue. Using the elliptic Baker's method, we have recently obtained a…
Runge's method is a tool to figure out integral points on curves effectively in terms of height. This method has been generalised to varieties of any dimension, unfortunately its conditions of application are often too restrictive. In this…
We formulate a refined theory of linear systems, using the methods of a previous paper, "A Theory of Branches for Algebraic Curves", and use it to give a geometric interpretation of the genus of an algebraic curve. Using principles of…
We prove that for every smooth projective integral curve $X$ of genus at least $2$ over $\mathbb C$, there exists $x \in X(\mathbb C)$ such that no connected finite \'etale cover of $X-\{x\}$ admits a nonconstant morphism to $\mathbb G_m$.…
We derive formulae for the calculation of Taylor coefficients of solutions to systems of Volterra integral equations, both linear and nonlinear, either without singularities or with singularities of Abel type and logarithmic type. We also…
It is shown that the Euler-Lagrange equations for a Lagrangian system on a Lie algebroid are obtained as the equations for the critical points of the action functional defined on a Banach manifold of curves. The theory of reduction and the…
We study the distribution of algebraic points on curves in abelian varieties over finite fields.
We give a formula relating the total Tjurina number and the generic splitting type of the bundle of logarithmic vector fields associated to a reduced plane curve. By using it, we give a characterization of nearly free curves in terms of…
We provide a technique to obtain explicit bounds for problems that can be reduced to linear forms in three complex logarithms of algebraic numbers. This technique can produce bounds significantly better than general results on lower bounds…
This work falls within the theory of linear forms in logarithms over a commutative linear group defined over a number field. We give lower bounds for simultaneous linear forms in logarithms of algebraic numbers, treating both the…
We discuss how to apply Gaudry's index calculus algorithm for abelian varieties to solve the discrete logarithm problem in the trace zero variety of an elliptic curve. We treat in particular the practically relevant cases of field…
A survey on algorithms for computing discrete logarithms in Jacobians of curves over finite fields.
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
In this note is we exhibit an elementary method to construct explicitly curves over finite fields with many points. Despite its elementary character the method is very efficient and can be regarded as a partial substitute for the use of…
This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a…
We discuss methods for using the Weil polynomial of an isogeny class of abelian varieties over a finite field to determine properties of the curves (if any) whose Jacobians lie in the isogeny class. Some methods are strong enough to show…