Source author record

Enric Nart

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG math.AC

Catalog footprint

Research overview

20works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Geometric parametrization of valuations on a polynomial ring

We extend and prove a conjecture of Benguş-Lasnier on the parametrization of valuations on a polynomial ring by certain spaces of diskoids.

preprint2022arXiv

Polynomial factorization over henselian fields

Given a valued field $(K,v)$ and an irreducible polynomial $g\in K[x]$ , we survey the ideas of Ore, Maclane, Okutsu, Montes, Vaquié and Herrera-Olalla-Mahboub-Spivakovsky, leading (under certain conditions) to an algorithm to find the factorization of $g$ over a henselization of $(K,v)$ .

preprint2022arXiv

Rigidity of valuative trees under henselization

Let $(K,v)$ be a valued field and let $(K^h,v^h)$ be the henselization determined by the choice of an extension of $v$ to an algebraic closure of $K$ . Consider an embedding $v(K^*)\hookrightarrowΛ$ of the value group into a divisible ordered abelian group. Let $T(K,Λ)$ , $T(K^h,Λ)$ be the trees formed by all $Λ$ -valued extensions of $v$ , $v^h$ to the polynomial rings $K[x]$ , $K^h[x]$ , respectively. We show that the natural restriction mapping $T(K^h,Λ)\to T(K,Λ)$ is an isomorphism of posets. As a consequence, the restriction mapping $T_v\to T_{v^h}$ is an isomorphism of posets too, where $T_v$ , $T_{v^h}$ are the trees whose nodes are the equivalence classes of valuations on $K[x]$ , $K^h[x]$ whose restriction to $K$ , $K^h$ are equivalent to $v$ , $v^h$ , respectively.

preprint2022arXiv

Square-free OM computation of global integral bases

For a prime $p$ , the OM algorithm finds the $p$ -adic factorization of an irreducible polynomial $f\in\mathbb{Z}[x]$ in polynomial time. This may be applied to construct $p$ -integral bases in the number field $K$ defined by $f$ . In this paper, we adapt the OM techniques to work with a positive integer $N$ instead of $p$ . As an application, we obtain an algorithm to compute global integral bases in $K$ , which does not require a previous factorization of the discriminant of $f$ .

preprint2022arXiv

Valuations with infinite limit-depth

For a certain field $K$ , we construct a valuation-algebraic valuation on the polynomial ring $K[x]$ , whose Maclane--Vaquié chain consists of an infinite (countable) number of limit augmentations

preprint2022arXiv

Valuative trees over valued fields

For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrowΛ$ of ordered groups, we analyze the structure of the tree formed by all $Λ$ -valued extensions of $v$ to the polynomial ring $K[x]$ . As an application, we find a model for the tree of all equivalence classes of valuations on $K[x]$ (without fixing their value group), whose restriction to $K$ is equivalent to $v$ . In the henselian case, we apply these results to show that there is a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$ , encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$ , encoded by their MacLane-Vaquié chains. This parallelism was only known for defectless irreducible polynomials.

preprint2020arXiv

Computation of residual polynomial operators of inductive valuations

Let $(K,v)$ be a valued field, and $μ$ an inductive valuation on $K[x]$ extending $v$ . Let $G_μ$ be the graded algebra of $μ$ over $K[x]$ , and $κ$ the maximal subfield of the subring of $G_μ$ formed by the homogeneous elements of degree zero. In this paper, we find an algorithm to compute the field $κ$ and the residual polynomial operator $R_μ: K[x]\toκ[y]$ , where $y$ is another indeterminate, without any need to perform computations in the graded algebra. This leads to an OM algorithm to compute the factorization of separable defectless polynomials over henselian fields.

preprint2020arXiv

Invariants of limit key polynomials

Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$ . We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$ . Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials of unbounded continuous MacLane chains have numerical character equal to one.

preprint2016arXiv

Reduced normal form of local integral bases

We introduce a canonical form for reduced bases of integral closures of discrete valuation rings, and we describe an algorithm for computing a basis in reduced normal form. This normal form has the same applications as the Hermite normal form: identification of isomorphic objects, construction of global bases by patching local ones, etc. but in addition the bases are reduced, which is a crutial property for several important applications. Except for very particular cases, a basis in Hermite normal form cannot be reduced.

preprint2015arXiv

A new proof of a Thomae-like formula for non hyperelliptic genus 3 curves

We discuss Weber's formula which gives the quotient of two Thetanullwerte for a plane smooth quartic in terms of the bitangents. In particular, we show how it can easily be derived from the Riemann-Jacobi formula.

preprint2015arXiv

Local-to-global computation of integral bases without a previous factorization of the discriminant

We adapt an old local-to-global technique of Ore to compute, under certain mild assumptions, an integral basis of a number field without a previous factorization of the discriminant of the defining polynomial. In a first phase, the method yields as a by-product successive splittings of the discriminant. When this phase concludes, it requires a squarefree factorization of some base factors of the discriminant to terminate.

preprint2015arXiv

On the equivalence of types

Types over a discrete valued field $(K,v)$ are computational objects that parameterize certain families of monic irreducible polynomials in $K_v[x]$ , where $K_v$ is the completion of $K$ at $v$ . Two types are considered to be equivalent if they encode the same family of prime polynomials. In this paper, we characterize the equivalence of types in terms of certain data supported by them.

preprint2014arXiv

Genetics of polynomials over local fields

Let $(K,v)$ be a discrete valued field with valuation ring $\oo$, and let $\oo_v$ be the completion of $\oo$ with respect to the $v$ -adic topology. In this paper we discuss the advantages of manipulating polynomials in $\oo_v[x]$ in a computer by means of OM representations of prime (monic and irreducible) polynomials. An OM representation supports discrete data characterizing the Okutsu equivalence class of the prime polynomial. These discrete parameters are a kind of DNA sequence common to all individuals in the same Okutsu class, and they contain relevant arithmetic information about the polynomial and the extension of $K_v$ that it determines.

preprint2013arXiv

Residual ideals of MacLane valuations

Let $K$ be a field equipped with a discrete valuation $v$ . In a pioneering work, S. MacLane determined all valuations on $K(x)$ extending $v$ . His work was recently reviewed and generalized by M. Vaquié, by using the graded algebra of a valuation. We extend Vaquié's approach by studying residual ideals of the graded algebra of a valuation as an abstract counterpart of certain residual polynomials which play a key role in the computational applications of the theory. As a consequence, we determine the structure of the graded algebra of the discrete valuations on $K(x)$ and we show how these valuations may be used to parameterize irreducible polynomials over local fields up to Okutsu equivalence.

preprint2012arXiv

Complexity of OM factorizations of polynomials over local fields

Let $k$ be a locally compact complete field with respect to a discrete valuation $v$ . Let $\oo$ be the valuation ring, $\m$ the maximal ideal and $F(x)\in\oo[x]$ a monic separable polynomial of degree $n$ . Let $δ=v(\dsc(F))$. The Montes algorithm computes an OM factorization of $F$ . The single-factor lifting algorithm derives from this data a factorization of $F \md{\m^ν}$, for a prescribed precision $ν$ . In this paper we find a new estimate for the complexity of the Montes algorithm, leading to an estimation of $O(n^{2+ε}+n^{1+ε}δ^{2+ε}+n^2ν^{1+ε})$ word operations for the complexity of the computation of a factorization of $F \md{\m^ν}$, assuming that the residue field of $k$ is small.

preprint2012arXiv

Local computation of differents and discriminants

We obtain several results on the computation of different and discriminant ideals of finite extensions of local fields. As an application, we deduce routines to compute the $\p$-adic valuation of the discriminant $\dsc(f)$, and the resultant $\res(f,g)$, for polynomials $f(x),g(x)\in A[x]$ , where $A$ is a Dedekind domain and $\p$ is a non-zero prime ideal of $A$ with finite residue field. These routines do not require the computation of neither $\dsc(f)$ nor $\res(f,g)$; hence, they are useful in cases where this latter computation is inefficient because the polynomials have a large degree or very large coefficients.

preprint2010arXiv

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.

preprint2010arXiv

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].

preprint2007arXiv

Jacobians in isogeny classes of abelian surfaces over finite fields

We give a complete answer to the question of which polynomials occur as the characteristic polynomials of Frobenius for genus-2 curves over finite fields.

preprint2006arXiv

Principally polarizable isogeny classes of abelian surfaces over finite fields

Let A be an isogeny class of abelian surfaces over F_q with Weil polynomial x^4 + ax^3 + bx^2 + aqx + q^2. We show that A does not contain a surface that has a principal polarization if and only if a^2 - b = q and b < 0 and all prime divisors of b are congruent to 1 modulo 3. We use this result in a forthcoming paper in which we determine which isogeny classes of abelian surfaces over finite fields contain Jacobians.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Enric Nart

Research overview

Is this your work?

20 publications

Geometric parametrization of valuations on a polynomial ring

Polynomial factorization over henselian fields

Rigidity of valuative trees under henselization

Square-free OM computation of global integral bases

Valuations with infinite limit-depth

Valuative trees over valued fields

Computation of residual polynomial operators of inductive valuations

Invariants of limit key polynomials

Reduced normal form of local integral bases

A new proof of a Thomae-like formula for non hyperelliptic genus 3 curves

Local-to-global computation of integral bases without a previous factorization of the discriminant

On the equivalence of types

Genetics of polynomials over local fields

Residual ideals of MacLane valuations

Complexity of OM factorizations of polynomials over local fields

Local computation of differents and discriminants

A new computational approach to ideal theory in number fields

Okutsu invariants and Newton polygons

Jacobians in isogeny classes of abelian surfaces over finite fields

Principally polarizable isogeny classes of abelian surfaces over finite fields

See the researcher in context

Building this map preview