Séminaires : Théorie des modèles et groupes

Equipe(s) : lm,
Responsables :Z. Chatzidakis, F. Oger, F. Point
Email des responsables : zoe.chatzidakis@imj-prg.fr
Salle : 1013
Adresse :Salle 1013

Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 16h00 en salle  1013 (Sophie Germain) - http://semgrp.imj-prg.fr pour plus de renseignements.

Orateur(s) Sylvy Anscombe - IMJ-PRG,
Titre Cohen rings and existential AKE principles
Horaire16:00 à 17:30

A Cohen ring is a complete valuation ring of an unramified valuation of mixed characteristic. Every Cohen ring A is determined up to isomorphism by its residue field k; and if k is perfect, then A is canonically isomorphic to the more familiar ring of Witt vectors W(k). Thus Cohen rings are analogues of Witt rings over imperfect residue fields. Just as one studies truncated Witt rings to understand Witt rings, we study Cohen rings of positive characteristic as well as of characteristic zero. In the case k=Fp, and more generally for perfect k, the work of Ax–Kochen, Ershov, and others gives an axiomatization of the complete theory of A. In case k is imperfect, the algebraic picture changes since the embeddings between Cohen rings no longer correspond exactly to embeddings between residue fields. Nevertheless we still obtain a description of the complete theories of such valuation rings, and are able to prove stable embeddedness of the value group and residue field. We also obtain relative completeness and relative model completeness results for Cohen rings, which imply the corresponding Ax–Kochen/Ershov type results for unramified henselian valued fields also in case the residue field is imperfect.
This is joint work with Franziska Jahnke.

AdresseSophie Germain