arXiv subjects

Jesus Montes

Publications and source records attributed to Jesus Montes.

5 recordsLinked to original sources

arXiv2010

A new computational approach to ideal theory in number fields

Let $K$ be the number field determined by a monic irreducible polynomial $f(x)$ with integer coefficients. In previous papers we parameterized the prime ideals of $K$ in terms of certain invariants attached to Newton polygons of higher order of the defining equation $f(x)$. In this paper we show how to carry out the basic operations on fractional ideals of $K$ in terms of these constructive representations of the prime ideals. From a computational perspective, these results facilitate the manipulation of fractional ideals of $K$ avoiding two heavy tasks: the construction of the maximal order of $K$ and the factorization of the discriminant of $f(x)$. The main computational ingredient is Montes algorithm, which is an extremely fast procedure to construct the prime ideals.

math.NT↗

arXiv2010

Okutsu invariants and Newton polygons

Let K be a local field of characteristic zero, O its ring of integers and F(x) a monic irreducible polynomial with coefficients in O. K. Okutsu attached to F(x) certain primitive divisor polynomials F_1(x),..., F_r(x), that are specially close to F(x) with respect to their degree. In this paper we characterize the Okutsu families [F_1,..., F_r] in terms of certain Newton polygons of higher order, and we derive some applications: closed formulas for certain Okutsu invariants, the discovery of new Okutsu invariants, or the construction of Montes approximations to F(x); these are monic irreducible polynomials sufficiently close to F(x) to share all its Okutsu invariants. This perspective widens the scope of applications of Montes' algorithm, which can be reinterpreted as a tool to compute the Okutsu polynomials and a Montes approximation, for each irreducible factor of a monic separable polynomial f(x) in O[x].

math.NT↗

arXiv2009

Newton polygons and p-integral bases

Let p be a prime number. In this paper we use an old technique of Ore, based on Newton polygons, to construct in an efficient way p-integral bases of number fields defined by a p-regular equation. To illustrate the potential applications of this construction, we show how this result yields a computation of a p-integral basis of an arbitrary quartic field in terms of a defining equation.

math.NT↗

arXiv2008

Higher Newton polygons in the computation of discriminants and prime ideal decomposition in number fields

We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory requirements of the algorithm appear to be very good: for a given prime number p, it computes the p-valuation of the discriminant and the factorization of p in a number field of degree 1000 in a few seconds, in a personal computer.

math.NT↗

arXiv2008

Newton polygons of higher order in algebraic number theory

We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible factors. This carries out a program suggested by Ø. Ore. As an application, we obtain fast algorithms to compute discriminants, prime ideal decomposition and integral bases of number fields.

math.NT↗