BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Enric Nart

Enric Nart contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.NTmath.AC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

12 published item(s)

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

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