Source author record

Wael Mahboub

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
3close collaborators

Published work

3 publications

preprint2020arXiv

On common extensions of valued fields

Given a valuation vv on a field KK, an extension vˉ\bar{v} to an algebraic closure and an extension ww to K(X)K(X). We want to study the common extensions of vˉ\bar{v} and ww to Kˉ(X)\bar{K}(X). First we give a detailed link between the minimal pairs notion and the key polynomials notion. Then we prove that in the case when ww is a transcendental extension, then any sequence of key polynomials admits a maximal element, and in case this sequence does not contain a limit key polynomial, then any root of the last key polynomial, describe a common extension.

preprint2016arXiv

Abstract key polynomials and comparison theorems with the key polynomials of Mac Lane -- Vaquie

Let ι:(K,ν)↪(K(x),μ)ι:(K,ν)\hookrightarrow(K(x),μ) be a simple purely transcendental extension of valued fields. In order to study such an extension, M. Vaquié, generalizing an earlier construction of S. Mac Lane, introduced the notion of Key polynomials. In this paper we define a related notion of \textbf{abstract key polynomials} associated to ιι and study the relationship between them and key polynomials of Mac Lane -- Vaquié. Associated to each abstract key polynomial QQ, we define the truncation μQμ_{Q} of μμ with respect to QQ and we study the properties of those truncations. Roughly speaking, μQμ_{Q} is an approximation to μμ defined by the key polynomial QQ. We also define the notion of an abstract key polynomial Q′Q' being an \textbf{immediate successor} of another abstract key polynomial QQ (in this situation we write Q<Q′Q<Q'). The main comparison results proved in this paper are as follows:(1): An abstract key polynomial for μμ is a Mac Lane -- Vaquié key polynomial for the truncated valuation μQμ_{Q}.(2): If Q<Q′Q<Q' are two abstract key polynomials for μμ then Q′Q' is a Mac Lane -- Vaquié key polynomial for μQμ_{Q}. (3) which, for a monic polynomial Q∈K[x]Q\in K[x] and a valuation μ′μ' of K(x)K(x), gives a sufficient condition for QQ to be an abstract key polynomial for μ′μ'. Combined with an earlier result of M. Vaquié, this describes a class of pairs of valuations (μ,μ′)(μ,μ') such that QQ is a Mac Lane -- Vaquié key polynomial for μμ and an abstract key polynomial for μ′μ'.

preprint2012arXiv

Key Polynomials

The notion of key polynomials was first introduced in 1936 by S. Maclane in the case of discrete rank 1 valuations. . Let K -> L be a field extension and ν a valuation of K. The original motivation for introducing key polynomials was the problem of describing all the extensions μ of ν to L. Take a valuation μ of L extending the valuation ν. In the case when ν is discrete of rank 1 and L is a simple algebraic extension of K Maclane introduced the notions of key polynomials for μ and augmented valuations and proved that μ is obtained as a limit of a family of augmented valuations on the polynomial ring K[x]. In a series of papers, M. Vaquié generalized MacLane's notion of key polynomials to the case of arbitrary valuations ν (that is, valuations which are not necessarily discrete of rank 1). In the paper Valuations in algebraic field extensions, published in the Journal of Algebra in 2007, F.J. Herrera Govantes, M.A. Olalla Acosta and M. Spivakovsky develop their own notion of key polynomials for extensions (K, ν) -> (L, μ) of valued fields, where ν is of archimedian rank 1 (not necessarily discrete) and give an explicit description of the limit key polynomials. Our purpose in this paper is to clarify the relationship between the two notions of key polynomials already developed by vaquié and by F.J. Herrera Govantes, M.A. Olalla Acosta and M. Spivakovsky.

Research graph

See the researcher in context

Open full explorer

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.