Grothendieck rings of Z-valued fields

DOI10.1017/S1079898600005849MaRDI QIDQ2736587zbMATH OpenOpenAlexFDO

Authors Raf Cluckers, Deirdre Haskell

Publication date 10 September 2001

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0311435, http://www.math.ucla.edu/~asl/bsl/0702-toc.htm

zbMATH Keywords

definable setsGrothendieck ringsvalued fields

Mathematics Subject Classification ID

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

Abstract: We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K^2 to itself minus a point. When we specialize to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.

Review text

A \(\mathbb Z\)-valued field \(M\) is field with a valuation into an ordered group elementarily equivalent to the integers. The authors prove the existence of a definable bijection between \(M^2\) and \(M^2\setminus \{(0,0)\}\), under mild conditions on the basic language, which include the basic language for the classical local fields. This implies the triviality of the Grothendieck ring of the corresponding structure, which is analogous to the Grothendieck ring in algebraic K-theory, and has similar basic properties, and answer a question posed by J. Denef. In the case of the \(p\)-adic numbers, they show the existence of a definable bijection between the p-adic integers and the p-adic integers with one point removed, answering a question posed by the reviewer. The first author has proved the remarkable fact that in the \(p\)-adic numbers, the existence of a definable bijection between two definable sets is equivalent to the equality of their dimension, but this will appear elsewhere.

Recommendations

• Grothendieck rings of Laurent series fields.
• Integration in valued fields
• The Grothendieck ring of varieties and of the theory of algebraically closed fields
• Definable sets up to definable bijections in Presburger groups
• Grothendieck rings of theories of modules

Cites work

• Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings
• Diophantine unsolvability over p-adic function fields
• Germs of arcs on singular algebraic varieties and motivic integration
• On the angular component map modulo P

Cited in

(10)

• Grothendieck rings of Laurent series fields.
• Grothendieck ring of the pairing function without cycles
• Finding a field in a Zariski-like structure
• Grothendieck rings of o-minimal expansions of ordered Abelian groups
• Definable sets, motives and p-adic integrals
• Analytic $p$-adic cell decomposition and integrals
• Definable sets up to definable bijections in Presburger groups
• Grothendieck rings of theories of modules
• The surjectivity and the continuity of definable functions in some definably complete locally o-minimal expansions and the Grothendieck ring of almost o-minimal structures
• Definable combinatorics with dense linear orders

This page was built for publication: Grothendieck rings of \(\mathbb{Z}\)-valued fields

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