Constructing complete distinguished chains with given invariants

2014 ◽  
Vol 14 (03) ◽  
pp. 1550026
Author(s):  
Kamal Aghigh ◽  
Azadeh Nikseresht
Keyword(s):  
Algebraic Closure ◽  
Residue Field ◽  
Finite Sequence ◽  
Unique Extension ◽  
Arbitrary Rank ◽  
A Chain ◽  
Henselian Valuation

Let v be a henselian valuation of arbitrary rank of a field K with value group G(K) and residue field R(K) and [Formula: see text] be the unique extension of v to a fixed algebraic closure [Formula: see text] of K with value group [Formula: see text]. It is known that a complete distinguished chain for an element θ belonging to [Formula: see text] with respect to (K, v) gives rise to several invariants associated to θ, including a chain of subgroups of [Formula: see text], a tower of fields, together with a sequence of elements belonging to [Formula: see text] which are the same for all K-conjugates of θ. These invariants satisfy some fundamental relations. In this paper, we deal with the converse: Given a chain of subgroups of [Formula: see text] containing G(K), a tower of extension fields of R(K), and a finite sequence of elements of [Formula: see text] satisfying certain properties, it is shown that there exists a complete distinguished chain for an element [Formula: see text] associated to these invariants. We use the notion of lifting of polynomials to construct it.

On Chains Associated with Elements Algebraic over a Henselian Valued Field

2005 ◽  
Vol 12 (04) ◽  
pp. 607-616 ◽  
Author(s):  
Kamal Aghigh ◽  
Sudesh K. Khanduja
Keyword(s):  
Algebraic Closure ◽  
Minimal Degree ◽  
Unique Extension ◽  
Arbitrary Rank ◽  
Valued Field ◽  
Rank One ◽  
A Chain ◽  
Henselian Valuation

Let v be a henselian valuation of a field K, and [Formula: see text] be the (unique) extension of v to a fixed algebraic closure [Formula: see text] of K. For an element [Formula: see text], a chain [Formula: see text] of elements of [Formula: see text] such that θi is of minimal degree over K with the property that [Formula: see text] and θm ∈ K, is called a complete distinguished chain for θ with respect to (K, v). In 1995, Popescu and Zaharescu proved the existence of a complete distinguished chain for each [Formula: see text] when (K, v) is a complete discrete rank one valued field (cf. [10]). In this paper, for a henselian valued field (K, v) of arbitrary rank, we characterize those elements [Formula: see text] for which there exists a complete distinguished chain. It is shown that a complete distinguished chain for θ gives rise to several invariants associated to θ which are same for all the K-conjugates of θ.

scholarly journals ON THE MAIN INVARIANT OF ELEMENTS ALGEBRAIC OVER A HENSELIAN VALUED FIELD

2002 ◽  
Vol 45 (1) ◽  
pp. 219-227 ◽  
Author(s):  
Kamal Aghigh ◽  
Sudesh K. Khanduja
Keyword(s):  
Upper Bound ◽  
Algebraic Closure ◽  
Subject Classification ◽  
Unique Extension ◽  
Valued Fields ◽  
Valued Field ◽  
Henselian Valued Fields ◽  
Alpha Beta ◽  
Henselian Valuation

AbstractLet $v$ be a henselian valuation of a field $K$ with value group $G$, let $\bar{v}$ be the (unique) extension of $v$ to a fixed algebraic closure $\bar{K}$ of $K$ and let $(\tilde{K},\tilde{v})$ be a completion of $(K,v)$. For $\alpha\in\bar{K}\setminus K$, let $M(\alpha,K)$ denote the set $\{\bar{v}(\alpha-\beta):\beta\in\bar{K},\ [K(\beta):K] \lt [K(\alpha):K]\}$. It is known that $M(\alpha,K)$ has an upper bound in $\bar{G}$ if and only if $[K(\alpha):K]=[\tilde{K}(\alpha):\tilde{K}]$, and that the supremum of $M(\alpha,K)$, which is denoted by $\delta_{K}(\alpha)$ (usually referred to as the main invariant of $\alpha$), satisfies a principle similar to the Krasner principle. Moreover, each complete discrete rank 1 valued field $(K,v)$ has the property that $\delta_{K}(\alpha)\in M(\alpha,K)$ for every $\alpha\in\bar{K}\setminus K$. In this paper the authors give a characterization of all those henselian valued fields $(K,v)$ which have the property mentioned above.AMS 2000 Mathematics subject classification: Primary 12J10; 12J25; 13A18

XVIIème problème de Hilbert sur les corps chaîne-clos

1991 ◽  
Vol 56 (3) ◽  
pp. 853-861
Author(s):  
Françoise Delon et Danielle Gondard
Keyword(s):  
Residue Field ◽  
Algebraic Extension ◽  
Real Field ◽  
Closed Field ◽  
Several Variables ◽  
A Chain ◽  
Henselian Valuation

AbstractA chain-closed field is defined as a chainable field (i.e. a real field such that, for all n ∈ N, ΣK2n+2 ≠ ΣK2n) which does not admit any “faithful” algebraic extension, and can also be seen as a field having a Henselian valuation ν such that the residue field K/ν is real closed and the value group νK is odd divisible with ∣νK/2νK∣ = 2. If K admits only one such valuation, we show that f ∈ K(X) is in ΣK(X)2n for any real algebraic extension L of K,“f(L) ⊆ ΣL2n” holds. The conclusion is also true for K = R((t))(a chainable but not chain-closed field), and in the case n = 1 it holds for several variables and any real field K.

scholarly journals Definable V-topologies, Henselianity and NIP

2019 ◽  
Vol 20 (02) ◽  
pp. 2050008
Author(s):  
Yatir Halevi ◽  
Assaf Hasson ◽  
Franziska Jahnke
Keyword(s):  
Finite Field ◽  
Algebraic Closure ◽  
Residue Field ◽  
Henselian Valuation

We initiate the study of definable [Formula: see text]-topologies and show that there is at most one such [Formula: see text]-topology on a [Formula: see text]-henselian NIP field. Equivalently, we show that if [Formula: see text] is a bi-valued NIP field with [Formula: see text] henselian (respectively, [Formula: see text]-henselian), then [Formula: see text] and [Formula: see text] are comparable (respectively, dependent). As a consequence, Shelah’s conjecture for NIP fields implies the henselianity conjecture for NIP fields. Furthermore, the latter conjecture is proved for any field admitting a henselian valuation with a dp-minimal residue field. We conclude by showing that Shelah’s conjecture is equivalent to the statement that any NIP field not contained in the algebraic closure of a finite field is [Formula: see text]-henselian.

Characterizing Distinguished Pairs by Using Liftings of Irreducible Polynomials

2015 ◽  
Vol 58 (2) ◽  
pp. 225-232
Author(s):  
Kamal Aghigh ◽  
Azadeh Nikseresht
Keyword(s):  
Algebraic Closure ◽  
Unique Extension ◽  
Irreducible Polynomials ◽  
Henselian Valuation

AbstractLet v be a henselian valuation of any rank of a field K and let be the unique extension of v to a fixed algebraic closure of K. In 2005, we studied properties of those pairs (θ,α) of elements of with where α is an element of smallest degree over K such thatSuch pairs are referred to as distinguished pairs. We use the concept of liftings of irreducible polynomials to give a different characterization of distinguished pairs.

Some model theory for almost real closed fields

1996 ◽  
Vol 61 (4) ◽  
pp. 1121-1152 ◽  
Author(s):  
Françoise Delon ◽  
Rafel Farré
Keyword(s):  
Model Theory ◽  
Residue Field ◽  
Elementary Equivalence ◽  
First Order ◽  
Valuation Rings ◽  
Closed Fields ◽  
Theory Of Fields ◽  
Model Theory Of Fields ◽  
Elementary Inclusion ◽  
Henselian Valuation

AbstractWe study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and prove that the definable real valuation rings of k are in correspondence with the definable convex subgroups of the value group of a certain real valuation of k.

scholarly journals DEFINABLE HENSELIAN VALUATIONS

2015 ◽  
Vol 80 (1) ◽  
pp. 85-99 ◽  
Author(s):  
FRANZISKA JAHNKE ◽  
JOCHEN KOENIGSMANN
Keyword(s):  
Galois Group ◽  
Residue Field ◽  
Absolute Galois Group ◽  
Valued Fields ◽  
Valued Field ◽  
Henselian Valued Fields ◽  
The Absolute ◽  
Henselian Valuation

AbstractIn this note we investigate the question when a henselian valued field carries a nontrivial ∅-definable henselian valuation (in the language of rings). This is clearly not possible when the field is either separably or real closed, and, by the work of Prestel and Ziegler, there are further examples of henselian valued fields which do not admit a ∅-definable nontrivial henselian valuation. We give conditions on the residue field which ensure the existence of a parameter-free definition. In particular, we show that a henselian valued field admits a nontrivial henselian ∅-definable valuation when the residue field is separably closed or sufficiently nonhenselian, or when the absolute Galois group of the (residue) field is nonuniversal.

Quantifier elimination in valued Ore modules

2010 ◽  
Vol 75 (3) ◽  
pp. 1007-1034 ◽  
Author(s):  
Luc Bélair ◽  
Françoise Point
Keyword(s):  
Residue Field ◽  
Quantifier Elimination ◽  
Difference Operators ◽  
Independence Property ◽  
Valued Fields ◽  
A Chain

AbstractWe consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the residue field, we prove quantifier elimination first in the pure module language, then in that language augmented with a chain of additive subgroups, and finally in a two-sorted language with a valuation map. We apply quantifier elimination to prove that these structures do not have the independence property.

scholarly journals Lifting Divisors on a Generic Chain of Loops

2015 ◽  
Vol 58 (2) ◽  
pp. 250-262 ◽  
Author(s):  
Dustin Cartwright ◽  
David Jensen ◽  
Sam Payne
Keyword(s):  
Residue Field ◽  
The Third ◽  
Valued Field ◽  
A Chain

AbstractLet C be a curve over a complete valued field having an infinite residue field and whose skeleton is a chain of loops with generic edge lengths. We prove that any divisor on the chain of loops that is rational over the value group lifts to a divisor of the same rank on C, confirming a conjecture of Cools, Draisma, Robeva, and the third author.

scholarly journals A Satake isomorphism in characteristic p

2010 ◽  
Vol 147 (1) ◽  
pp. 263-283 ◽  
Author(s):  
Florian Herzig
Keyword(s):  
Galois Representations ◽  
Maximal Compact Subgroup ◽  
Algebraic Closure ◽  
Residue Field ◽  
Reductive Group ◽  
Compact Subgroup ◽  
Reductive Groups ◽  
Characteristic P ◽  
Satake Isomorphism

AbstractSuppose that G is a connected reductive group over a p-adic field F, that K is a hyperspecial maximal compact subgroup of G(F), and that V is an irreducible representation of K over the algebraic closure of the residue field of F. We establish an analogue of the Satake isomorphism for the Hecke algebra of compactly supported,K-biequivariant functions f:G(F)→End   V. These Hecke algebras were first considered by Barthel and Livné for GL 2. They play a role in the recent mod p andp-adic Langlands correspondences for GL 2 (ℚp) , in generalisations of Serre’s conjecture on the modularity of mod p Galois representations, and in the classification of irreducible mod p representations of unramified p-adic reductive groups.

Sign in / Sign up

Export Citation Format

Share Document