Manin homomorphisms for elliptic curves over a field of formal power series

In this paper we describe the intersection of the kernels of Manin homomorphisms for an arbitrary elliptic curve over a field of formal power series.Translated from Matematicheskie Zametki, Vol. 12, No. 4, pp. 425–432, October, 1972.The author wishes to thank Yu. I. Manin for his attention to the paper.     

Inhomogeneous Diophantine approximation over the field of formal Laurent series

De Mathan [B. de Mathan, Approximations diophantiennes dans un corps local, Bull. Soc. Math. France, Suppl. Mém. 21 (1970)] proved that Khintchine's theorem on homogeneous Diophantine approximation has an analogue in the field of formal Laurent series. Kristensen [S. Kristensen, On the well-approximable matrices over a field of formal series, Math. Proc. Cambridge Philos. Soc. 135 (2003) 255–268] extended this metric theorem to systems of linear forms and gave the exact Hausdorff dimension of the corresponding exceptional sets. In this paper, we study the inhomogeneous Diophantine approximation over a field of formal Laurent series, the analogue Khintchine's theorem and Jarnik–Besicovitch theorem are proved.     

The inverse Galois problem over formal power series fields

Consider a valuation ringR of a discrete Henselian field and a positive integerr. LetF be the quotient field of the ringR[[X ₁, …,X _r ]]. We prove that every finite group occurs as a Galois group overF. In particular, ifK ₀ is an arbitrary field andr≥2, then every finite group occurs as a Galois group overK ₀((X ₁, …,X _r )). The work on this paper started when the author was an organizer of a research group on the Arithmetic of Fields in the Institute for Advanced Studies at the Hebrew Univesity of Jerusalem in 1991–92. It was partially supported by a grant from the G.I.F., the German-Israeli Foundation for Scientific Research and Development.     

A quantitative Khintchine-Groshev type theorem over a field of formal series

An asymptotic formula which holds almost everywhere is obtained for the number of solutions to theDiophantine inequalities ‖qA − p‖ < Ψ(‖g‖), where A is an n x m matrix (m > 1) over the field of formal Laurent series with coefficients from a finite field, and p and q are vectors of polynomials over the same finite field.     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

Finite convergence over a field of power series

In this paper, we define an analog of power series functions over R, when R is replaced by K = k((x))^τ , a field of generalized power series with coefficients in an ordered field k and exponents in an ordered abelian group τ. To this end for any power series S(Y)ε K[[Y]] and any y ε K, we define a notion of convergence of S(y). Thus to any power series S(Y) is associated a partial function S : K→ K. We show that these partial functions have a lot of similarities with analytic functions over R. Then we prove properties of zeros of such functions which extend properties of roots of polynomials over k((x))^τ.     

On universal formal power series

The point source of this work is Seleznev's theorem which asserts the existence of a power series which satisfies universal approximation properties in C^∗. The paper deals with a strengthened version of this result. We establish a double approximation theorem on formal power series using a weighted backward shift operator. Moreover we give strong conditions that guarantee the existence of common universal series of an uncountable family of weighted backward shift with respect to the simultaneous approximation. Finally we obtain results on admissible growth of universal formal power series. We especially prove that you cannot control the defect of analyticity of such a series even if there exist universal series in the well-known intersection of formal Gevrey classes.     

On composite formal power series

Let be a holomorphic map from to defined in a neighborhood of such that . If the Jacobian determinant of is not identically zero, P. M. Eakin et G. A. Harris proved the following result: any formal power series such that is analytic is itself analytic. If the Jacobian determinant of is identically zero, they proved that the previous conclusion is no more true.

The authors get similar results in the case of formal power series satifying growth conditions, of Gevrey type for instance. Moreover, the proofs here give, in the analytic case, a control of the radius of convergence of by the radius of convergence of .

RÉSUMÉ. Soit une application holomorphe de dans définie dans un voisinage de et vérifiant . Si le jacobien de n'est pas identiquement nul au voisinage de , P.M. Eakin et G.A. Harris ont établi le résultat suivant: toute série formelle telle que est analytique est elle-même analytique. Si le jacobien de est identiquement nul, ils montrent que la conclusion précédente est fausse.

Les auteurs obtiennent des résultats analogues pour les séries formelles à croissance contrôlée, du type Gevrey par exemple. De plus, les preuves données ici permettent, dans le cas analytique, un contrôle du rayon de convergence de par celui de .

     

t-closed rings of formal power series

Let A ì BA\subset B be rings. We say that A is t-closed in B, if for each a ? Aa\in A and b ? Bb\in B such that b²-ab,b³-ab² ? Ab^2-ab,b^3-ab^2\in A, then b ? Ab\in A. We present a sufficient condition for the ring A[[X₁,?,X_n]]A[[X_1,\ldots ,X_n]] to be t-closed in B[[X₁,?,X_n]]B[[X_1,\ldots ,X_n]]. By an example, we show that our condition is not necessary. Even though the question is still open, some important cases are treated. For example, if A ì BA\subset B is an integral extension, or if A is p-injective, then A[[X₁,?,X_n]]A[[X_1,\ldots ,X_n]] is t-closed in B[[X₁,?,X_n]]B[[X_1,\ldots ,X_n]] if and only if A is t-closed in B.     

Rational approximation to formal power series

A general method for obtaining rational approximations to formal power series is defined and studied. This method is based on approximate quadrature formulas. Newton-Cotes and Gauss quadrature methods are used. It is shown that Padé approximants and the ε-algorithm are related to Gaussian formulas while linear summation processes are related to Newton-Cotes formulas. An example is exhibited which shows that Padé approximation is not always optimal. An application to e^−t is studied and a method for Laplace transform inversion is proposed.