Martin Bays,Jonathan Kirby,A.J. Wilkie
Abstract:We prove the analogue of Schanuel's conjecture for raising to the power of an exponentially transcendental real number. All but countably many real numbers are exponentially transcendental. We also give a more general result for several powers in a context which encompasses the complex case.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the Schanuel property of exponential transcendental numbers. Specifically, the authors prove that for an exponential transcendental real number $\lambda$, and a set of positive real numbers $y\in (R_{>0})^n$, if these numbers are multiplicatively independent (that is, the product of any non - zero integer powers of them is not equal to 1), then the following inequality holds:
\[ \text{td}(y, y^\lambda / \lambda) \geq n \]
Here, $\text{td}(X / Y)$ represents the transcendence degree of the field extension $Q(X, Y)/Q(Y)$ generated by the sets $X$ and $Y$.
### Explanation of Key Concepts:
1. **Exponential Transcendental Number**: A number $x$ in the exponential field $F$ is called exponential transcendental if it is not exponential algebraic. In other words, there does not exist $n\in \mathbb{N}$ such that $x=(x_1,\ldots,x_n)\in F^n$ and there exist exponential polynomials $f_1,\ldots,f_n\in \mathbb{Z}[X, e^X]$ satisfying $f_i(x, e^x) = 0$ for each $i = 1,\ldots,n$, and the determinant of the Jacobian matrix is non - zero at $x$.
2. **Transcendence Degree**: Given two fields $K$ and $L$, where $K\subseteq L$, the transcendence degree of $L$ over $K$ is the maximum number of algebraically independent elements in $L$.
### Main Results:
- **Theorem 1.1**: For any exponential transcendental real number $\lambda$ and multiplicatively independent positive real number arrays $y\in (R_{>0})^n$, we have $\text{td}(y, y^\lambda / \lambda) \geq n$.
- **Theorem 1.2**: In a more general exponential field $F$, for any exponential transcendental element $\lambda\in F$ and multiplicatively independent elements $x\in F^n$, we have $\text{td}(\exp(x), \exp(\lambda x)/\lambda) \geq n$.
- **Theorem 1.3**: Consider any exponential field $F$, the kernel of its exponential mapping $\ker$, an exponential algebraically closed subfield $C$, and an $m$-tuple $\lambda$ that is exponentially algebraically independent over $C$. Then for any $z\in F$, we have:
\[
\text{td}(\exp(z)/C, \lambda)+\text{ldim}_{\mathbb{Q}(\lambda)}(z / \ker)-\text{ldim}_{\mathbb{Q}}(z / \ker)\geq 0
\]
where $\text{ldim}_K(X / Y)$ represents the dimension of the quotient space of the space generated by $X\cup Y$ and the space generated by $Y$ in the $K$-linear space.
### Main Contributions of the Paper:
This paper extends the classical Schanuel conjecture by introducing and applying the concept of exponential transcendence, and provides new insights into exponential functions and power operations. This not only deepens our understanding of number theory and model theory, but also provides new tools and methods for solving related problems.