Schanuel Type Conjectures and Disjointness

TL;DR

This paper investigates the algebraic independence of fields generated by iterated exponentials and logarithms over subfields of complex numbers, under Schanuel's conjecture, and explores analogous results involving the modular j-function.

Contribution

It establishes conditions for the linear disjointness of exponential and logarithmic fields assuming Schanuel's conjecture and extends these ideas to the modular j-function with a new notion of disjointness.

Findings

Conditional results on disjointness assuming Schanuel's conjecture

Unconditional disjointness results for specific subfields

Extension of disjointness concepts to the modular j-function

Abstract

Given a subfield $F$ of $\mathbb{C}$, we study the linear disjointess of the field $E$ generated by iterated exponentials of elements of $\overline{F}$, and the field $L$ generated by iterated logarithms, in the presence of Schanuel's conjecture. We also obtain similar results replacing $\exp$ by the modular $j$-function, under an appropriate version of Schanuel's conjecture, where linear disjointness is replaced by a notion coming from the action of $\mathrm{GL}_2$ on $\mathbb{C}$. We also show that for certain choices of $F$ we obtain unconditional versions of these statements.