Multiplicative valued difference fields

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Difference algebra (12H10) Valued fields (12J10) Model theory of fields (12L12)

Abstract: The theory of valued difference fields

(K, s i g m a, v)

depends on how the valuation

v

interacts with the automorphism

s i g m a

. Two special cases have already been worked out - the isometric case, where

v (s i g m a (x)) = v (x)

for all

x i n K

, has been worked out by Luc Belair, Angus Macintyre and Thomas Scanlon; and the contractive case, where

v (s i g m a (x)) > n c d o t v (x)

for all

n i n m a t h b b N

and

x i n K^{i} m e s

with

v (x) > 0

, has been worked out by Salih Azgin. In this paper we deal with a more general version, called the multiplicative case, where

v (s i g m a (x)) = h o c d o t v (x)

, where

h o (> 0)

is interpreted as an element of a real-closed field. We give an axiomatization and prove a relative quantifier elimination theorem for such a theory.

Review text

The valued difference fields of the title are valued fields \((K,v)\) with a distinguished automorphism \(\sigma\) inducing an automorphism of the valuation ring. Such an automorphism readily induces an automorphism of the residue field, and an order-preserving automorphism of the valued group. The basic model theory of these structures has been mostly worked out in case the automorphism is an isometry, viz. \(v(\sigma(x))=v(x)\), or is such that \(v(\sigma(x))> v(x^n)\) for all \(n\in \mathbb N\) when \(v(x)>0\), generalizing the classical work of Ax-Kochen and Ershov, with the usual proviso on characteristics.NEWLINENEWLINEIn this paper, the author generalizes the above previous results in equicharacteristic zero by studying the case where the induced automorphism of the value group is some fixed scalar multiplication when the value group is viewed as a module over an appropriate real closed field, thus \(v(\sigma(x))=\rho \cdot v(x)\), for some fixed \(\rho\) in the real closed field. He gives an axiomatization, and a quantifier elimination relative to the ``residue valuative structure, RV-structure, of the quotient group \(K^\times/1+\mathfrak m\), viz. the multiplicative group of \(K\) modulo the units of the valuation ring of the form \(1+x\) with \(x\) an element of the maximal ideal. Note in passing that, muddling conventional valued fields terminology, the ``cross-sections of the author (of the valuation map) go from the value group into \(K^\times/1+\mathfrak m\), rather than into \(K^\times\), and thus are the ``other side of the usual angular component maps corresponding to a splitting of the RV-structure with respect to the induced valuation map.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Multiplicative valued difference fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892675)