Congruences of models of elliptic curves

Let O_K be a discrete valuation ring with field of fractions K and perfect residue field. Let E be an elliptic curve over K, let L/K be a finite Galois extension and let O_L be the integral closure of O_K in L. Denote by X' the minimal regular model of E_L over O_L. We show that the special fibers of the minimal Weierstrass model and the minimal regular model of E over O_K are determined by the infinitesimal fiber X'_m together with the action of Gal(L/K), when m is big enough (depending on the minimal discriminant of E and the different of L/K).

[1]  B. Edixhoven.  Néron models and tame ramification , 1992 .

[2]  B. M. Bennett.  On the Characteristic Functions of a Local Ring , 1970 .

[3]  Shankar Sen.  On automorphisms of local fields1'2 , 1969 .

[4]  J. Silverman.  Advanced Topics in the Arithmetic of Elliptic Curves , 1994 .

[5]  Dino J. Lorenzini.  Models of Curves and Wild Ramification , 2010 .

[6]  Renée Elkik,et al.  Solutions d'équations à coefficients dans un anneau hensélien , 1973 .

[7]  C. Chai.  Neron models for semiabelian varieties: Congruence and change of base field , 2000 .

[8]  T. Honda.  On the theory of commutative formal groups , 1970 .

[9]  The conductor of an abelian variety , 1994 .

[10]  Dino Lorenzini,et al.  Thue equations and the method of Chabauty-Coleman , 2002 .

[11]  J. Lipman.  Rational singularities, with applications to algebraic surfaces and unique factorization , 1969 .

[12]  Peter Bruin,et al.  Polynomial bounds for Arakelov invariants of Belyi curves , 2014, 1403.6404.

[13]  William Fulton,et al.  Hurwitz Schemes and Irreducibility of Moduli of Algebraic Curves , 1969 .

[14]  J. Yu,et al.  Congruences of Néron models for tori and the Artin conductor , 2001 .

[15]  M. Artin.  ON ISOLATED RATIONAL SINGULARITIES OF SURFACES. , 1966 .

[16]  Qing Liu,et al.  Algebraic Geometry and Arithmetic Curves , 2002 .

[17]  J. Tate,et al.  Algorithm for determining the type of a singular fiber in an elliptic pencil , 1975 .

[18]  Joseph H. Silverman,et al.  The arithmetic of elliptic curves , 1986, Graduate texts in mathematics.

[19]  Dino J. Lorenzini,et al.  Néron models, Lie algebras, and reduction of curves of genus one , 2004 .

[20]  Takeshi Saito,et al.  Conductor, discriminant, and the Noether formula of arithmetic surfaces , 1988 .

[21]  B. D. Smit.  The different and differentials of local fields with imperfect residue fields , 1997, Proceedings of the Edinburgh Mathematical Society.