On residual domination and types orthogonal to the value group

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Kovacsics, Pablo Cubides, Rideau-Kikuchi, Silvain, Vicaría, Mariana
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917020130344960
author Kovacsics, Pablo Cubides
Rideau-Kikuchi, Silvain
Vicaría, Mariana
author_facet Kovacsics, Pablo Cubides
Rideau-Kikuchi, Silvain
Vicaría, Mariana
contents We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We show that the class of residually dominated types coincides with the types that are orthogonal to the value group, and with the class of types whose reduct to ACVF (the theory of algebraically closed valued fields with a non-trivial valuation) are generically stable. When the residue field is stable (resp. simple) we relate these equivalent notions to generic stability (resp. simplicity). Those results apply in particular to ultraproducts of $p$-adic fields and to the limit theory VFA$_{0}$ of algebraically closed valued fields of characteristic $p$ with the Frobenius automorphism (as $p$ tends to infinity).
format Preprint
id arxiv_https___arxiv_org_abs_2410_22712
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On residual domination and types orthogonal to the value group
Kovacsics, Pablo Cubides
Rideau-Kikuchi, Silvain
Vicaría, Mariana
Logic
03C60, 03C45, 12J10, 12L12
We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We show that the class of residually dominated types coincides with the types that are orthogonal to the value group, and with the class of types whose reduct to ACVF (the theory of algebraically closed valued fields with a non-trivial valuation) are generically stable. When the residue field is stable (resp. simple) we relate these equivalent notions to generic stability (resp. simplicity). Those results apply in particular to ultraproducts of $p$-adic fields and to the limit theory VFA$_{0}$ of algebraically closed valued fields of characteristic $p$ with the Frobenius automorphism (as $p$ tends to infinity).
title On residual domination and types orthogonal to the value group
topic Logic
03C60, 03C45, 12J10, 12L12
url https://arxiv.org/abs/2410.22712