Finitely presented exponential fields

Kirby, Jonathan

doi:10.2140/ant.2013.7.943

Download this article
	For screen
	For printing

Recent Issues

The Journal

About the journal

Ethics and policies

Peer-review process

Submission guidelines

ISSN 1944-7833 (online)

ISSN 1937-0652 (print)

Author index

To appear

Other MSP journals

Finitely presented exponential fields

Jonathan Kirby

Vol. 7 (2013), No. 4, 943–980

DOI: 10.2140/ant.2013.7.943

Abstract

We develop the algebra of exponential fields and their extensions. The focus is on ELA-fields, which are algebraically closed with a surjective exponential map. In this context, we define finitely presented extensions, show that finitely generated strong extensions are finitely presented, and classify these extensions. We give an algebraic construction of Zilber’s pseudoexponential fields. As applications of the general results and methods of the paper, we show that Zilber’s fields are not model-complete, answering a question of Macintyre, and we give a precise statement explaining how Schanuel’s conjecture answers all transcendence questions about exponentials and logarithms. We discuss connections with the Kontsevich–Zagier, Grothendieck, and André transcendence conjectures on periods, and suggest open problems.

Keywords

exponential fields, Schanuel's conjecture, pseudoexponentiation, transcendence

Mathematical Subject Classification 2010

Primary: 03C65

Secondary: 11J81

Milestones

Received: 1 August 2011

Revised: 8 May 2012

Accepted: 12 May 2012

Published: 29 August 2013

Authors

Jonathan Kirby
School of Mathematics University of East Anglia Norwich Research Park Norwich NR4 7TJ United Kingdom
http://www.uea.ac.uk/~ccf09tku/

Vol. 7, No. 4, 2013