Showing 1–47 of 47 results for author: Nart, E

Depth of Artin-Schreier defect towers

Authors: Enric Nart, Josnei Novacoski

Abstract: The depth of a simple algebraic extension $(L/K,v)$ of valued fields is the minimal length of the Mac Lane-Vaquié chains of the valuations on $K[x]$ determined by the choice of different generators of the extension. In a previous paper, we characterized the defectless unibranched extensions of depth one. In this paper, we analyze this problem for towers of Artin-Schreier defect extensions. Under c… ▽ More The depth of a simple algebraic extension $(L/K,v)$ of valued fields is the minimal length of the Mac Lane-Vaquié chains of the valuations on $K[x]$ determined by the choice of different generators of the extension. In a previous paper, we characterized the defectless unibranched extensions of depth one. In this paper, we analyze this problem for towers of Artin-Schreier defect extensions. Under certain conditions on $(K,v)$, we prove that the towers obtained as the compositum of linearly disjoint defect Artin-Schreier extensions of $K$ have depth one. We conjecture that these are the only depth one Artin-Schreier defect towers and we present some examples supporting this conjecture. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Depth of extensions of valuations

Authors: Josnei Novacoski, Enric Nart

Abstract: In this paper we develop the theory of the depth of a simple algebraic extension of valued fields $(L/K,v)$. This is defined as the minimal number of augmentations appearing in some Mac Lane-Vaquié chain for the valuation on $K[x]$ determined by the choice of some generator of the extension. In the defectless and unibranched case, this concept leads to a generalization of a classical result of Ore… ▽ More In this paper we develop the theory of the depth of a simple algebraic extension of valued fields $(L/K,v)$. This is defined as the minimal number of augmentations appearing in some Mac Lane-Vaquié chain for the valuation on $K[x]$ determined by the choice of some generator of the extension. In the defectless and unibranched case, this concept leads to a generalization of a classical result of Ore about the existence of $p$-regular generators for number fields. Also, we find what valuation-theoretic conditions characterize the extensions having depth one. △ Less

Submitted 2 March, 2025; originally announced March 2025.

Okutsu sequences in Henselian fields

Authors: Enric Nart

Abstract: For $(K,v)$ a Henselian valued field, let $θ\in\overline{K}$ with minimal polynomial $F$ over $K$. Okutsu sequences of $θ$ have been defined only when the extension $K(θ)/K$ is defectless. In this paper, we extend this concept to arbitrary $θ\in\overline{K}$ and we show that these objects are essentially equivalent to Okutsu frames of $F$ and to Mac Lane-Vaquié chains of the natural valuation on… ▽ More For $(K,v)$ a Henselian valued field, let $θ\in\overline{K}$ with minimal polynomial $F$ over $K$. Okutsu sequences of $θ$ have been defined only when the extension $K(θ)/K$ is defectless. In this paper, we extend this concept to arbitrary $θ\in\overline{K}$ and we show that these objects are essentially equivalent to Okutsu frames of $F$ and to Mac Lane-Vaquié chains of the natural valuation on $K[x]$ induced by $θ$. △ Less

Submitted 15 July, 2024; originally announced July 2024.

Key polynomials in terms of ultrametric balls

Authors: Enric Nart, Josnei Novacoski, Giulio Peruginelli

Abstract: In this paper we present characterizations of the sets of key polynomials and abstract key polynomials for a valuation $μ$ of $K(x)$, in terms of (ultrametric) balls in the algebraic closure $\overline K$ of $K$ with respect to $v$, a fixed extension of $μ_{\mid K}$ to $\overline K$. In particular, we show that the ways of augmenting of $μ$, in the sense of Mac Lane, are in one-to-one corresponden… ▽ More In this paper we present characterizations of the sets of key polynomials and abstract key polynomials for a valuation $μ$ of $K(x)$, in terms of (ultrametric) balls in the algebraic closure $\overline K$ of $K$ with respect to $v$, a fixed extension of $μ_{\mid K}$ to $\overline K$. In particular, we show that the ways of augmenting of $μ$, in the sense of Mac Lane, are in one-to-one correspondence with the partition of a fixed closed ball $B(a,δ)$ associated to $μ$ into the disjoint union of open balls $B^\circ(a_i,δ)$, modulo the action of the decomposition group of $v$. We also present a similar characterization for the set of limit key polynomials for an increasing family of valuations of $K(x)$. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Minimal limit key polynomials

Authors: Enric Nart, Josnei Novacoski

Abstract: In this paper, we extend the theory of minimal limit key polynomials of valuations on the polynomial ring $\kx$. We use the theory of cuts on ordered abelian groups to show that the previous results on bounded sets of key polynomials of rank-one valuations, extend to vertically bounded sets of key polynomials of valuations of an arbitrary rank. We discuss as well properties of minimal limit key po… ▽ More In this paper, we extend the theory of minimal limit key polynomials of valuations on the polynomial ring $\kx$. We use the theory of cuts on ordered abelian groups to show that the previous results on bounded sets of key polynomials of rank-one valuations, extend to vertically bounded sets of key polynomials of valuations of an arbitrary rank. We discuss as well properties of minimal limit key polynomials in the vertically unbounded case. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Geometric parametrization of valuations on a polynomial ring

Authors: Enric Nart, Josnei Novacoski

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

Submitted 29 August, 2022; originally announced August 2022.

The defect formula

Authors: Josnei Novacoski, Enric Nart

Abstract: In this paper we present a characterization for the defect of a simple algebraic extensions of valued fields. This characterization generalizes the known result for the henselian case, namely that the defect is the product of the relative degrees of limit augmentations. The main tool used here is the graded algebra associated to a valuation on a polynomial ring. Let $\kh$ be a henselization of a v… ▽ More In this paper we present a characterization for the defect of a simple algebraic extensions of valued fields. This characterization generalizes the known result for the henselian case, namely that the defect is the product of the relative degrees of limit augmentations. The main tool used here is the graded algebra associated to a valuation on a polynomial ring. Let $\kh$ be a henselization of a valued field $K$. Another relevant result proved in this paper is that for every valuation $\muh$ on $\khx$, with restriction $μ$ on $\kx$, the corresponding map $\mathcal G_μ\hk\mathcal G_{\muh}$ of graded algebras is an isomorphism. △ Less

Submitted 22 July, 2022; originally announced July 2022.

Polynomial factorization over henselian fields

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Enric Nart, Adrien Poteaux, Joaquim Roé, Martin Weimann

Abstract: 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)$. 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)$. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Valuations with infinite limit-depth

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Enric Nart, Joaquim Roé

Abstract: 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 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 △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2107.09813

Square-free OM computation of global integral bases

Authors: Jordi Guàrdia, Enric Nart

Abstract: 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… ▽ More 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$. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: To appear in {\em Algebra and Number Theory}

MSC Class: 11R04; 11Y40

Rigidity of valuative trees under henselization

Authors: Enric Nart

Abstract: 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.… ▽ More 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. △ Less

Submitted 14 August, 2022; v1 submitted 4 February, 2022; originally announced February 2022.

Journal ref: Pacific J. Math. 319 (2022) 189-211

Okutsu frames of irreducible polynomials over henselian fields

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Joaquím Roé, Enric Nart

Abstract: For a henselian valued field $(K,v)$ we establish 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. For a henselian valued field $(K,v)$ we establish 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. △ Less

Submitted 23 March, 2023; v1 submitted 4 November, 2021; originally announced November 2021.

Comments: arXiv admin note: text overlap with arXiv:2107.09813

MSC Class: 13A18 12J10

Cuts and small extensions of abelian ordered groups

Authors: Franz-Viktor Kuhlmann, Enric Nart

Abstract: We classify cuts in (totally) ordered abelian groups $\g$ and compute the coinitiality and cofinality of all cuts in case $\g$ is divisible, in terms of data intrinsically associated to the invariance group of the cut. We relate cuts with small extensions of $\g$ in a natural way, which leads to an explicit construction of a totally ordered real vector space containing realizations of all cuts. Th… ▽ More We classify cuts in (totally) ordered abelian groups $\g$ and compute the coinitiality and cofinality of all cuts in case $\g$ is divisible, in terms of data intrinsically associated to the invariance group of the cut. We relate cuts with small extensions of $\g$ in a natural way, which leads to an explicit construction of a totally ordered real vector space containing realizations of all cuts. This construction is applied to the problem of classifying all extensions of the valuation from a given valued field $K$ to the rational function field $K(x)$. △ Less

Submitted 26 September, 2021; originally announced September 2021.

MSC Class: Primary 06F20; 13A18; Secondary 12J20; 14E15

Valuative trees over valued fields

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Enric Nart, Joaquim Roé

Abstract: 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$. I… ▽ More 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. △ Less

Submitted 25 April, 2022; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: V2, April 2022

MSC Class: 13A18 (12J10; 12J20; 14E15)

Small extensions of abelian ordered groups

Authors: Enric Nart

Abstract: Let $Γ$ be a totally ordered group. We use Hahn's embedding theorem to construct a totally ordered set $Γ\subset Γ_{\operatorname{sme}}$ which classifies small extensions of $Γ$. This small-extensions closure $Γ_{\operatorname{sme}}$ is complete and plays a crucial role in the description of equivalence classes of valuations on the polynomial ring $K[x]$ over a field $K$. Let $Γ$ be a totally ordered group. We use Hahn's embedding theorem to construct a totally ordered set $Γ\subset Γ_{\operatorname{sme}}$ which classifies small extensions of $Γ$. This small-extensions closure $Γ_{\operatorname{sme}}$ is complete and plays a crucial role in the description of equivalence classes of valuations on the polynomial ring $K[x]$ over a field $K$. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Invariants of limit key polynomials

Authors: Maria Alberich-Carramiñana, Alberto F. Boix, Julio Fernández, Jordi Guàrdia, Enric Nart, Joaquim Roé

Abstract: 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… ▽ More 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. △ Less

Submitted 9 May, 2020; originally announced May 2020.

MacLane-Vaquié chains of valuations on a polynomial ring

Authors: Enric Nart

Abstract: Let $(K,v)$ be a valued field. We review some results of MacLane and Vaquié on extensions of $v$ to valuations on the polynomial ring $K[x]$. We introduce certain MacLane-Vaquié chains of residually transcendental valuations, and we prove that every valuation $μ$ on $K[x]$ is a limit of a finite or countably infinite MacLane-Vaquié chain. This chain underlying $μ$ is essentially unique and contain… ▽ More Let $(K,v)$ be a valued field. We review some results of MacLane and Vaquié on extensions of $v$ to valuations on the polynomial ring $K[x]$. We introduce certain MacLane-Vaquié chains of residually transcendental valuations, and we prove that every valuation $μ$ on $K[x]$ is a limit of a finite or countably infinite MacLane-Vaquié chain. This chain underlying $μ$ is essentially unique and contains arithmetic data yielding an explicit description of the graded algebra of $μ$ as an algebra over the graded algebra of $v$. △ Less

Submitted 2 November, 2020; v1 submitted 5 November, 2019; originally announced November 2019.

Journal ref: Pacific J. Math. 311 (2021) 165-195

Defectless polynomials over henselian fields and inductive valuations

Authors: Nathália Moraes de Oliveira, Enric Nart

Abstract: Let $(K,v)$ be a henselian valued field. Let $\mathbb{P}^{dless}\subset K[x]$ be the set of monic, irreducible polynomials which are defectless and have degree greater than one. For a certain equivalence relation $\,\approx\,$ on $\,\mathbb{P}^{dless}$, we establish a canonical bijection $\mathbb{M}\to \mathbb{P}^{dless}/\!\!\approx$, where $\mathbb{M}$ is a discrete MacLane space, constructed in… ▽ More Let $(K,v)$ be a henselian valued field. Let $\mathbb{P}^{dless}\subset K[x]$ be the set of monic, irreducible polynomials which are defectless and have degree greater than one. For a certain equivalence relation $\,\approx\,$ on $\,\mathbb{P}^{dless}$, we establish a canonical bijection $\mathbb{M}\to \mathbb{P}^{dless}/\!\!\approx$, where $\mathbb{M}$ is a discrete MacLane space, constructed in terms of inductive valuations on $K[x]$ extending $v$. △ Less

Submitted 15 March, 2019; originally announced March 2019.

Computation of residual polynomial operators of inductive valuations

Authors: Nathália Moraes de Oliveira, Enric Nart

Abstract: 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, w… ▽ More 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. △ Less

Submitted 30 April, 2020; v1 submitted 15 January, 2019; originally announced January 2019.

Key polynomials over valued fields

Authors: Enric Nart

Abstract: Let K be a field. For a given valuation on K[x], we determine the structure of its graded algebra and describe its set of key polynomials, in terms of any given key polynomial of minimal degree. We also characterize valuations not admitting key polynomials. Let K be a field. For a given valuation on K[x], we determine the structure of its graded algebra and describe its set of key polynomials, in terms of any given key polynomial of minimal degree. We also characterize valuations not admitting key polynomials. △ Less

Submitted 22 March, 2018; originally announced March 2018.

Reduced normal form of local integral bases

Authors: Nathália Moraes de Oliveira, Enric Nart

Abstract: 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 pr… ▽ More 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. △ Less

Submitted 22 April, 2016; originally announced April 2016.

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

Authors: Jordi Guàrdia, Enric Nart

Abstract: 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 d… ▽ More 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. △ Less

Submitted 7 October, 2015; originally announced October 2015.

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

Authors: Enric Nart, Christophe Ritzenthaler

Abstract: 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. 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. △ Less

Submitted 3 March, 2015; originally announced March 2015.

Comments: 18 pages

On the equivalence of types

Authors: Enric Nart

Abstract: 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. 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. △ Less

Submitted 24 July, 2015; v1 submitted 15 September, 2014; originally announced September 2014.

Genetics of polynomials over local fields

Authors: Jordi Guàrdia, Enric Nart

Abstract: 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 equivalen… ▽ More 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. △ Less

Submitted 10 June, 2014; v1 submitted 17 September, 2013; originally announced September 2013.

Comments: revised according to suggestions by a referee

Residual ideals of MacLane valuations

Authors: Julio Fernández, Jordi Guàrdia, Jesús Montes, Enric Nart

Abstract: 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… ▽ More 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. △ Less

Submitted 26 July, 2013; v1 submitted 3 May, 2013; originally announced May 2013.

Local computation of differents and discriminants

Authors: Enric Nart

Abstract: 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 ro… ▽ More 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. △ Less

Submitted 7 May, 2012; originally announced May 2012.

Complexity of OM factorizations of polynomials over local fields

Authors: Jens-Dietrich Bauch, Enric Nart, Hayden D. Stainsby

Abstract: 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 precis… ▽ More 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. △ Less

Submitted 20 April, 2012; originally announced April 2012.

MSC Class: 11Y40

Single-factor lifting and factorization of polynomials over local fields

Authors: J. Guàrdia, E. Nart, S. Pauli

Abstract: Let $f(x)$ be a separable polynomial over a local field. Montes algorithm computes certain approximations to the different irreducible factors of $f(x)$, with strong arithmetic properties. In this paper we develop an algorithm to improve any one of these approximations, till a prescribed precision is attained. The most natural application of this "single-factor lifting" routine is to combine it wi… ▽ More Let $f(x)$ be a separable polynomial over a local field. Montes algorithm computes certain approximations to the different irreducible factors of $f(x)$, with strong arithmetic properties. In this paper we develop an algorithm to improve any one of these approximations, till a prescribed precision is attained. The most natural application of this "single-factor lifting" routine is to combine it with Montes algorithm to provide a fast polynomial factorization algorithm. Moreover, the single-factor lifting algorithm may be applied as well to accelerate the computational resolution of several global arithmetic problems in which the improvement of an approximation to a single local irreducible factor of a polynomial is required. △ Less

Submitted 15 April, 2011; originally announced April 2011.

Comments: 9 figures

MSC Class: 11S15; 11S04; 11Y40

Arithmetic in big number fields: the '+Ideals' package

Authors: J. Guardia, J. Montes, E. Nart

Abstract: We introduce our package '+Ideals' for Magma, designed to perform the basic tasks related to ideals in number fields without pre-computing integral bases. It is based on Montes algorithm and a number of local techniques that we have developed in a series of papers in the last years. We introduce our package '+Ideals' for Magma, designed to perform the basic tasks related to ideals in number fields without pre-computing integral bases. It is based on Montes algorithm and a number of local techniques that we have developed in a series of papers in the last years. △ Less

Submitted 25 May, 2010; originally announced May 2010.

A new computational approach to ideal theory in number fields

Authors: Jordi Guardia, Jesus Montes, Enric Nart

Abstract: 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 repres… ▽ More 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. △ Less

Submitted 15 July, 2010; v1 submitted 7 May, 2010; originally announced May 2010.

MSC Class: 11Y40 (Primary); 11Y05 (Secondary); 11R04; 11R27

Okutsu invariants and Newton polygons

Authors: Jordi Guardia, Jesus Montes, Enric Nart

Abstract: 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… ▽ More 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]. △ Less

Submitted 17 May, 2010; v1 submitted 2 November, 2009; originally announced November 2009.

MSC Class: 11S15; 11Y05; 11Y40

Newton polygons and p-integral bases

Authors: Lhoussain El fadil, Jesus Montes, Enric Nart

Abstract: 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. 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. △ Less

Submitted 15 June, 2009; originally announced June 2009.

MSC Class: 11R04

Genus 3 curves with many involutions and application to maximal curves in characteristic 2

Authors: Enric Nart, Christophe Ritzenthaler

Abstract: Let k=F_q be a finite field of characteristic 2. A genus 3 curve C/k has many involutions if the group of k-automorphisms admits a C_2\times C_2 subgroup H (not containing the hyperelliptic involution if C is hyperelliptic). Then C is an Artin-Schreier cover of the three elliptic curves obtained as the quotient of C by the nontrivial involutions of H, and the Jacobian of C is k-isogenous to the… ▽ More Let k=F_q be a finite field of characteristic 2. A genus 3 curve C/k has many involutions if the group of k-automorphisms admits a C_2\times C_2 subgroup H (not containing the hyperelliptic involution if C is hyperelliptic). Then C is an Artin-Schreier cover of the three elliptic curves obtained as the quotient of C by the nontrivial involutions of H, and the Jacobian of C is k-isogenous to the product of these three elliptic curves. In this paper we exhibit explicit models for genus 3 curves with many involutions, and we compute explicit equations for the elliptic quotients. We then characterize when a triple (E_1,E_2,E_3) of elliptic curves admits an Artin-Schreier cover by a genus 3 curve, and we apply this result to the construction of maximal curves. As a consequence, when q is nonsquare and m=\lfloor 2 sqrt(q) \rfloor = 1,5,7 mod 8, we obtain that N_q(3)=1+q+3m. We also show that this occurs for an infinite number of values of q nonsquare. △ Less

Submitted 5 May, 2009; originally announced May 2009.

Comments: 18 pages

MSC Class: 11G20; 14H25

Higher Newton polygons and integral bases

Authors: J. Guardia, J. Montes, E. Nart

Abstract: Let $A$ be a Dedekind domain, $K$ the fraction field, $\p$ a non-zero prime ideal of $A$, and $K_\pp$ the completion of $K$ with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, $f(x)\in A[x]$, Montes algorithm determines the factorization of $f(x)$ over $K_\pp[x]$, and it provides essential arithmetic information about the finite extensions of $K_\pp$ d… ▽ More Let $A$ be a Dedekind domain, $K$ the fraction field, $\p$ a non-zero prime ideal of $A$, and $K_\pp$ the completion of $K$ with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, $f(x)\in A[x]$, Montes algorithm determines the factorization of $f(x)$ over $K_\pp[x]$, and it provides essential arithmetic information about the finite extensions of $K_\pp$ determined by the different irreducible factors. In particular, it can be used to compute $\p$-integral bases of the extension of $K$ determined by $f(x)$ \cite{newapp}. In this paper we present new (and faster) methods to compute $\p$-integral bases, based on the use of the quotients of certain divisions with remainder of $f(x)$ that occur along the flow of Montes algorithm. △ Less

Submitted 22 July, 2012; v1 submitted 19 February, 2009; originally announced February 2009.

MSC Class: 11Y40; 14G15; 14H05

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

Authors: Jordi Guardia, Jesus Montes, Enric Nart

Abstract: 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 num… ▽ More 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. △ Less

Submitted 3 November, 2008; v1 submitted 25 July, 2008; originally announced July 2008.

Comments: References to [HN] have been updated

MSC Class: 11Y40; 11R04; 11R29

Newton polygons of higher order in algebraic number theory

Authors: Jordi Guardia, Jesus Montes, Enric Nart

Abstract: 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… ▽ More 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. △ Less

Submitted 31 October, 2008; v1 submitted 16 July, 2008; originally announced July 2008.

Comments: In this version we correct some minor mistakes

MSC Class: 11S15; 11R04; 11R29

Counting hyperelliptic curves that admit a Koblitz model

Authors: Cevahir Demirkiran, Enric Nart

Abstract: Let k be a finite field of odd characteristic. We find a closed formula for the number of k-isomorphism classes of pointed, and non-pointed, hyperelliptic curves of genus g over k, admitting a Koblitz model. These numbers are expressed as a polynomial in the cardinality q of k, with integer coefficients (for pointed curves) and rational coefficients (for non-pointed curves). The coefficients dep… ▽ More Let k be a finite field of odd characteristic. We find a closed formula for the number of k-isomorphism classes of pointed, and non-pointed, hyperelliptic curves of genus g over k, admitting a Koblitz model. These numbers are expressed as a polynomial in the cardinality q of k, with integer coefficients (for pointed curves) and rational coefficients (for non-pointed curves). The coefficients depend on g and the set of divisors of q-1 and q+1. These formulas show that the number of hyperelliptic curves of genus g suitable (in principle) of cryptographic applications is asymptotically (1-e^{-1})2q^{2g-1}, and not 2q^{2g-1} as it was believed. The curves of genus g=2 and g=3 are more resistant to the attacks to the DLP; for these values of g the number of curves is respectively (91/72)q^3+O(q^2) and (3641/2880)q^5+O(q^4). △ Less

Submitted 10 May, 2007; originally announced May 2007.

MSC Class: 11G20

Zeta function and cryptographic exponent of supersingular curves of genus 2

Authors: Gabriel Cardona, Enric Nart

Abstract: We compute in a direct (not algorithmic) way the zeta function of all supersingular curves of genus 2 over a finite field k, with many geometric automorphisms. We display these computations in an appendix where we select a family of representatives of all these curves up to geometric isomorphism and we exhibit equations and the zeta function of all their twists. As an application we obtain a dir… ▽ More We compute in a direct (not algorithmic) way the zeta function of all supersingular curves of genus 2 over a finite field k, with many geometric automorphisms. We display these computations in an appendix where we select a family of representatives of all these curves up to geometric isomorphism and we exhibit equations and the zeta function of all their twists. As an application we obtain a direct computation of the cryptographic exponent of the Jacobians of these curves. △ Less

Submitted 16 April, 2007; originally announced April 2007.

MSC Class: 11G20

Counting hyperelliptic curves

Authors: Enric Nart

Abstract: We find a closed formula for the number $\operatorname{hyp}(g)$ of hyperelliptic curves of genus $g$ over a finite field $k=\mathbb{F}_q$ of odd characteristic. These numbers $\operatorname{hyp}(g)$ are expressed as a polynomial in $q$ with integer coefficients that depend on the set of divisors of $q-1$ and $q+1$. As a by-product we obtain a closed formula for the number of self-dual curves of… ▽ More We find a closed formula for the number $\operatorname{hyp}(g)$ of hyperelliptic curves of genus $g$ over a finite field $k=\mathbb{F}_q$ of odd characteristic. These numbers $\operatorname{hyp}(g)$ are expressed as a polynomial in $q$ with integer coefficients that depend on the set of divisors of $q-1$ and $q+1$. As a by-product we obtain a closed formula for the number of self-dual curves of genus $g$. A hyperelliptic curve is self-dual if it is $k$-isomorphic to its own hyperelliptic twist. △ Less

Submitted 19 March, 2007; originally announced March 2007.

Orbits of rational n-sets of projective spaces under the action of the linear group

Authors: Ricard Martí, Enric Nart

Abstract: For a fixed dimension $N$ we compute the generating function of the numbers $t_N(n)$ (respectively $\bar{t}_N(n)$) of $PGL_{N+1}(k)$-orbits of rational $n$-sets (respectively rational $n$-multisets) of the projective space $\mathb{P}^N$ over a finite field $k=\mathbb{F}_q$. For $N=1,2$ these results provide concrete formulas for $t_N(n)$ and $\bar{t}_N(n)$ as a polynomial in $q$ with integer coe… ▽ More For a fixed dimension $N$ we compute the generating function of the numbers $t_N(n)$ (respectively $\bar{t}_N(n)$) of $PGL_{N+1}(k)$-orbits of rational $n$-sets (respectively rational $n$-multisets) of the projective space $\mathb{P}^N$ over a finite field $k=\mathbb{F}_q$. For $N=1,2$ these results provide concrete formulas for $t_N(n)$ and $\bar{t}_N(n)$ as a polynomial in $q$ with integer coefficients. △ Less

Submitted 29 January, 2007; originally announced January 2007.

Jacobians in isogeny classes of supersingular abelian threefolds in characteristic 2

Authors: Enric Nart, Christophe Ritzenthaler

Abstract: We exhibit the isogeny classes of supersingular abelian threefolds over F_{2^n} containing the Jacobian of a genus 3 curve. In particular, we prove that for even n>6 there always exist a maximal and a minimal curve over F_{2^n}. All the curves can be obtained explicitly. We exhibit the isogeny classes of supersingular abelian threefolds over F_{2^n} containing the Jacobian of a genus 3 curve. In particular, we prove that for even n>6 there always exist a maximal and a minimal curve over F_{2^n}. All the curves can be obtained explicitly. △ Less

Submitted 9 October, 2006; originally announced October 2006.

Comments: 22 pages

MSC Class: 11G20 ; 14G10 ; 14G15

Jacobians in isogeny classes of abelian surfaces over finite fields

Authors: Everett W. Howe, Enric Nart, Christophe Ritzenthaler

Abstract: 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. 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. △ Less

Submitted 3 April, 2007; v1 submitted 20 July, 2006; originally announced July 2006.

Comments: LaTeX, 38 pages. Intermediate results in Section 13 have been generalized. Minor changes elsewhere

MSC Class: 11G20 (Primary) 14G10; 14G15 (Secondary)

Journal ref: Ann. Inst. Fourier (Grenoble) 59 (2009) 239-289

Principally polarizable isogeny classes of abelian surfaces over finite fields

Authors: Everett W. Howe, Daniel Maisner, Enric Nart, Christophe Ritzenthaler

Abstract: 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 fie… ▽ More 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. △ Less

Submitted 27 February, 2006; originally announced February 2006.

MSC Class: 11G10; 11G25; 14G15

Journal ref: Math. Res. Lett. 15 (2008) 121-127

Zeta functions of supersingular curves of genus 2

Authors: Daniel Maisner, Enric Nart

Abstract: We determine what isogeny classes of supersingular abelian surfaces over a finite field k of characteristic 2 contain jacobians. We deal with this problem in a direct way by computing explicitly the zeta function of all supersingular curves of genus 2. Our procedure is constructive, so that we are able to exhibit curves with prescribed zeta function and to count the number of curves, up to k-iso… ▽ More We determine what isogeny classes of supersingular abelian surfaces over a finite field k of characteristic 2 contain jacobians. We deal with this problem in a direct way by computing explicitly the zeta function of all supersingular curves of genus 2. Our procedure is constructive, so that we are able to exhibit curves with prescribed zeta function and to count the number of curves, up to k-isomorphism, leading to the same zeta function. △ Less

Submitted 27 August, 2004; originally announced August 2004.

Comments: 23 pages

MSC Class: 11G20; 14G15

Non hyperelliptic curves of genus three over finite fields of characteristic two

Authors: Enric Nart, Christophe Ritzenthaler

Abstract: Let k=F_q be a finite field of even characteristic. We obtain in this paper a complete classification, up to k-isomorphism, of non singular quartic plane curves defined over k. We find explicit rational normal models and we give closed formulas for the total number of k-isomorphism classes. We deduce from these computations the number of k-rational points of the different strata by the Newton po… ▽ More Let k=F_q be a finite field of even characteristic. We obtain in this paper a complete classification, up to k-isomorphism, of non singular quartic plane curves defined over k. We find explicit rational normal models and we give closed formulas for the total number of k-isomorphism classes. We deduce from these computations the number of k-rational points of the different strata by the Newton polygon of the non hyperelliptic locus M_3^{nh} of the moduli space M_3 of curves of genus 3. By adding to these computations the knowed results on the hyperelliptic locus we obtain a complete picture of these strata for M_3. △ Less

Submitted 2 February, 2004; v1 submitted 18 December, 2003; originally announced December 2003.

Comments: 31 pages ; added references ; the analysis of the supersingular locus has been modified

MSC Class: 11G20;14Q05;14H10;14H37

Curves of genus two over fields of even characteristic

Authors: Gabriel Cardona, Enric Nart, Jordi Pujolas

Abstract: In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus tw… ▽ More In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus two over a finite field. Moreover, we prove that the field of moduli of any curve coincides with its field of definition, by exhibiting rational models of curves with any prescribed value of their Igusa invariants. Finally, we use cohomological methods to find, for each rational model, an explicit description of its twists. In this way, we obtain a parameterization of all k-isomorphism classes of curves of genus two in terms of geometric and arithmetic invariants. △ Less

Submitted 7 October, 2002; originally announced October 2002.

MSC Class: 11G20; 14G27; 14G50