Elimination of imaginaries in C((Γ))\mathbb {C}((\Gamma ))

DOI10.1112/JLMS.12751zbMATH Open1521.12011OpenAlexW4377823052MaRDI QIDQ6134890FDOQ6134890

Publication date: 23 August 2023

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Abstract: In this paper we study elimination of imaginaries in some classes of henselian valued fields of equicharacteristic zero and residue field algebraically closed. The results are sensitive to the complexity of the value group. We focus first in the case where the ordered abelian group has finite spines, and then prove a better result for the dp-minimal case. An ordered abelian with finite spines weakly eliminates imaginaries once we add sorts for the quotient groups

G a m m a / D e l t a

for each definable convex subgroup

D e l t a

, and sorts for the quotient groups

G a m m a / D e l t a + l G a m m a

where

D e l t a

is a definable convex subgroup and

l i n m a t h b b N_{g e q 2}

. We refer to these sorts as the quotient sorts. We prove the following two theorems: Theorem: Let

K

be a valued field of equicharacteristic zero, residue field algebraically closed and value group with finite spines. Then

K

admits weak elimination of imaginaries once we add codes for all the definable

m a t h c a l O

-submodules of

K^{n}

for each

n i n m a t h b b N

, and the quotient sorts for the value group. Theorem: Let

K

be a henselian valued field of equicharacteristic zero, residue field algebraically closed and dp-minimal value group. Then

K

eliminates imaginaries once we add codes for all the definable

m a t h c a l O

-submodules of

K^{n}

for each

n i n m a t h b b N

, the quotient sorts for the value group and constants to distinguish the elements of the finite groups

G a m m a / n G a m m a

for each

n i n m a t h b b N_{g e q 2}

.

Full work available at URL: https://arxiv.org/abs/2109.08140

Recommendations

zbMATH Keywords

Henselian valued fields elimination of imaginaries algebraically closed residue field equicharacteristic zero

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12)

Cites Work

Cited In (3)

This page was built for publication: Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$

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