Around Exponential-Algebraic Closedness

Bulletin of Symbolic Logic 29 (2):300-300 (2023)
  Copy   BIBTEX

Abstract

We present some results related to Zilber’s Exponential-Algebraic Closedness Conjecture, showing that various systems of equations involving algebraic operations and certain analytic functions admit solutions in the complex numbers. These results are inspired by Zilber’s theorems on raising to powers.We show that algebraic varieties which split as a product of a linear subspace of an additive group and an algebraic subvariety of a multiplicative group intersect the graph of the exponential function, provided that they satisfy Zilber’s freeness and rotundity conditions, using techniques from tropical geometry.We then move on to prove a similar theorem, establishing that varieties which split as a product of a linear subspace and a subvariety of an abelian variety A intersect the graph of the exponential map of A (again under the analogues of the freeness and rotundity conditions). The proof uses homology and cohomology of manifolds.Finally, we show that the graph of the modular j-function intersects varieties which satisfy freeness and broadness and split as a product of a Möbius subvariety of a power of the upper-half plane and a complex algebraic variety, using Ratner’s orbit closure theorem to study the images under j of Möbius varieties.Abstract prepared by Francesco Paolo GallinaroE-mail: [email protected]: https://etheses.whiterose.ac.uk/31077/

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
On roots of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.
A note on the decidability of exponential terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
Henson and Rubel's theorem for Zilber's pseudoexponentiation.Ahuva C. Shkop - 2012 - Journal of Symbolic Logic 77 (2):423-432.
Geometry of *-finite types.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (4):1375-1395.
Algebraic Functions.M. Campercholi & D. Vaggione - 2011 - Studia Logica 98 (1-2):285-306.
Adequate predimension inequalities in differential fields.Vahagn Aslanyan - 2022 - Annals of Pure and Applied Logic 173 (1):103030.

Analytics

Added to PP
2023-07-30

Downloads
6 (#1,465,900)

6 months
3 (#984,770)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references