Involutions on Zilber fields

DOI10.4171/RLM/598MaRDI QIDQ634436zbMATH OpenOpenAlexWikidataFDO

Authors V. Mantova

Publication date 2 August 2011

Published in Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni (Search for Journal in Brave)

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

zbMATH Keywords

automorphismconjugationinvolutionpseudoexponentiationreal closed fieldsZilber fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Axiomatic model classes (08C10) Model theory of fields (12L12)

Abstract: After recalling the definition of Zilber fields, and the main conjecture behind them, we prove that Zilber fields of cardinality up to the continuum have involutions, i.e., automorphisms of order two analogous to complex conjugation on (C,exp). Moreover, we also prove that for continuum cardinality there is an involution whose fixed field, as a real closed field, is isomorphic to the field of real numbers, and such that the kernel is exactly 2{pi}iZ, answering a question of Zilber, Kirby, Macintyre and Onshuus. The proof is obtained with an explicit construction of a Zilber field with the required properties. As further applications of this technique, we also classify the exponential subfields of Zilber fields, and we produce some exponential fields with involutions such that the exponential function is order-preserving, or even continuous, and all of the axioms of Zilber fields are satisfied except for the strong exponential-algebraic closure, which gets replaced by some weaker axioms.

Review text

Summary: We briefly outline the definition of Zilber field, which is a structure analogue of the complex field with the exponential function. An open conjecture, including Schanuel's Conjecture, is whether the complex field is itself one of these structures. In view of this conjecture, a natural question raised by Zilber, Kirby, Macintyre and others is whether they have an automorphism of order two akin to complex conjugation. We announce, without proof, the positive answer: for cardinality up to the continuum there exists an involution of the field commuting with the exponential function. Moreover, in the case of cardinality of the continuum, the automorphism can be taken such that its fixed field is exactly \(\mathbb R\), and the kernel of the exponential function is \(2\pi i\mathbb Z\).

Recommendations

• Real closed exponential subfields of pseudo-exponential fields
• A note on the axioms for Zilber's pseudo-exponential fields
• A remark on Zilber's pseudoexponentiation
• Blurred complex exponentiation
• Pseudo-exponentiation on algebraically closed fields of characteristic zero

Cites work

• A note on the axioms for Zilber's pseudo-exponential fields
• Finitely presented exponential fields
• scientific article; zbMATH DE number 2236700 (Why is no real title available?)
• Pseudo-exponentiation on algebraically closed fields of characteristic zero
• Schanuel's conjecture and free exponential rings
• The algebraic numbers definable in various exponential fields

Cited in

(2)

• Blurred complex exponentiation
• A pseudoexponential-like structure on the algebraic numbers

This page was built for publication: Involutions on Zilber fields

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