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.
Source author record
Enric Nart
Enric Nart appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
20works
3topics
4close collaborators
Research graph
See the researcher in context
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.
Published work
20 published item(s)
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)$.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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$.
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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].
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access