Simultaneous approximations to p-adic numbers and algebraic dependence via multidimensional continued fractions

Unlike the real case, there are not many studies and general techniques for providing simultaneous approximations in the field of p-adic numbers $$\mathbb Q_p$$ Q p . Here, we study the use of multidimensional continued fractions (MCFs) in this context. MCFs were introduced in $$\mathbb R$$ R by Jacobi and Perron as a generalization of continued fractions and they have been recently defined also in $$\mathbb Q_p$$ Q p . We focus on the dimension two and study the quality of the simultaneous approximation to two p-adic numbers provided by p-adic MCFs, where p is an odd prime. Moreover, given algebraically dependent p-adic numbers, we see when infinitely many simultaneous approximations satisfy the same algebraic relation. This also allows to give a condition that ensures the finiteness of the p-adic Jacobi–Perron algorithm when it processes some kinds of $$\mathbb Q$$ Q -linearly dependent inputs.

ELLIPTIC CURVES AND -ADIC ELLIPTIC TRANSCENDENCE

We prove a necessary and sufficient condition for isogenous elliptic curves based on the algebraic dependence of p-adic elliptic functions. As a consequence, we give a short proof of the p-adic analogue of Schneider’s theorem on the linear independence of p-adic elliptic logarithms of algebraic points on two nonisogenous elliptic curves defined over the field of algebraic numbers.

Degeneracy second main theorem for meromorphic mappings and moving hypersurfaces with truncated counting functions and applications

In this paper, we establish a new second main theorem for meromorphic mappings of [Formula: see text] into [Formula: see text] and moving hypersurfaces with truncated counting functions in the case, where the meromorphic mappings may be algebraically degenerate. A version of the second main theorem with weighted counting functions is also given. Our results improve the recent results on this topic. As an application, an algebraic dependence theorem for meromorphic mappings sharing moving hypersurfaces is given.