Universally defining finitely generated subrings of global fields

DOI10.25537/DM.2021V26.1851-1869MaRDI QIDQ2062179zbMATH OpenOpenAlexFDO

Authors Nicolas Daans

Publication date 27 December 2021

Published in Documenta Mathematica (Search for Journal in Brave)

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

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

definabilitydiophantine definabilityDiophantine setglobal fieldsHilbert 10th problemquaternion algebra

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Quaternion and other division algebras: arithmetic, zeta functions (11R52) Model theory (number-theoretic aspects) (11U09)

Abstract: It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. This covers Koenigsmann's result for the ring of integers and its subsequent extensions to rings of integers in number fields and rings of $S$-integers in global function fields of odd characteristic. In this article a proof is presented which is uniform in all global fields, including the characteristic two case, where the result is entirely novel. Furthermore, the proposed method results in universal formulae requiring significantly fewer quantifiers than the formulae that can be derived through the previous approaches.

Recommendations

• Universally and existentially definable subsets of global fields
• Uniform first-order definitions in finitely generated fields
• Defining the integers in large rings of a number field using one universal quantifier
• A universal first-order formula defining the ring of integers in a number field
• Infinite finitely generated fields are biinterpretable with ℕ

Cites work

• A universal first-order formula defining the ring of integers in a number field
• Characterizing integers among rational numbers with a universal-existential formula
• Cohomology of number fields
• Definability and decision problems in arithmetic
• Defining Z in Q
• Elements of mathematics. Commutative algebra. Chapters 5--7
• scientific article; zbMATH DE number 3935120 (Why is no real title available?)
• scientific article; zbMATH DE number 3783206 (Why is no real title available?)
• scientific article; zbMATH DE number 612169 (Why is no real title available?)
• scientific article; zbMATH DE number 3037565 (Why is no real title available?)
• Introduction to quadratic forms
• Irreducibility of polynomials over global fields is diophantine
• Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
• Universally and existentially definable subsets of global fields
• Valued Fields
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)

Cited in

(7)

• Universally and existentially definable subsets of global fields
• Uniform first-order definitions in finitely generated fields
• An existential divisibility lemma for global fields
• A Uniform Proof of the Finiteness of the Class Group of a Global Field
• Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers
• A survey of local-global methods for Hilbert's tenth problem
• Universally defining subrings in function fields

This page was built for publication: Universally defining finitely generated subrings of global fields

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