Valued fields with a total residue map

Abstract: When

k

is a finite field, Becker-Denef-Lipschitz (1979) observed that the total residue map

e x t r e s : k (! (t)!) o k

, which picks out the constant term of the Laurent series, is definable in the language of rings with a parameter for

t

. Driven by this observation, we study the theory

e x t {V F}_{e x t r e s, i o t a}

of valued fields equipped with a linear form

e x t r e s : K o k

which specializes to the residue map on the valuation ring. We prove that

e x t {V F}_{e x t r e s, i o t a}

does not admit a model companion. In addition, we show that the power series field

(k (! (t)!), e x t r e s)

, equipped with such a total residue map, is undecidable whenever

k

is an infinite field. As a consequence, we get that

(m a t h b b C (! (t)!), e x t {R e s}_{0})

is undecidable, where

e x t {R e s}_{0} : m a t h b b C (! (t)!) o m a t h b b C : f m a p s t o e x t {R e s}_{0} (f)

maps

f

to its complex residue at

0

.

This page was built for publication: Valued fields with a total residue map