Abstract:This expository paper is written in celebration of Boris Zilber's 75th birthday. We discuss Ax-Schanuel type statements focusing on the case of positive characteristic.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore and prove the Ax - Schanuel - type theorems in positive characteristic. Specifically, the author Piotr Kowalski reviews the development of the Ax - Schanuel theorem in characteristic 0 in the paper and discusses how to generalize these results to the case of positive characteristic.
### Background and Problem Description
The Ax - Schanuel theorem is a class of profound results about transcendental numbers, originally proposed and proved by James Ax in the 1960s. Such theorems usually involve certain analytic functions (such as exponential functions) over the complex number field and the algebraic independence of their values. For example, the classical Schanuel's conjecture states that:
For any \(n\) linearly independent complex numbers \(x_1,\ldots,x_n\), their exponentials \(e^{x_1},\ldots,e^{x_n}\) are at least \(n\) algebraically independent over the rational number field, that is:
\[ \text{tr.deg}_{\mathbb{Q}}(x_1,\ldots,x_n,e^{x_1},\ldots,e^{x_n}) \geq n. \]
However, in fields of positive characteristic, since there is no reasonable exponential function, the traditional Ax - Schanuel theorem cannot be directly applied. Therefore, the author attempts to explore similar results in the positive characteristic case.
### Main Contributions
The main contributions of the paper are as follows:
1. **Formal Mapping**: In the case of positive characteristic, use formal power series to replace analytic functions and study the properties of formal maps.
2. **Special Formal Mapping**: Define a class of special formal maps. These maps are similar to group homomorphisms and preserve invariant differential forms.
3. **Main Theorem**: Prove an Ax - Schanuel - type theorem about additive power series, and a more general result applicable to all characteristic cases.
### Specific Theorems
The following are some key theorems in the paper:
- **Ax - Schanuel Theorem for Additive Power Series**:
Let \(F\) be an additive power series in characteristic \(p\), and assume that \([F_p(F)(F):F_p(F)] > n\). If \(x_1,\ldots,x_n\in tF_p[[t]]\) are linearly independent over \(F_p[F]\), then:
\[ \text{tr.deg}_{F_p}(x_1,\ldots,x_n,F(x_1),\ldots,F(x_n)) \geq n + 1. \]
- **Ax - Schanuel Theorem for Multiplicative Power Series**:
For \(\alpha\in\mathbb{Z}_p\) and \([\mathbb{Q}(\alpha):\mathbb{Q}] > n\), let \(x_1,\ldots,x_n\in 1 + XC[[X]]\) be multiplicatively independent, then:
\[ \text{tr.deg}_{C(X)}(x_1,\ldots,x_n,x_1^\alpha,\ldots,x_n^\alpha) \geq n. \]
### Applications and Prospects
The author also discusses the potential applications of these results in areas such as model theory and Diophantine geometry. In particular, these results may help to understand the Bad Field problem in positive characteristic and provide new tools and perspectives for further research.
In conclusion, this paper aims to fill the research gap of Ax - Schanuel - type theorems in positive characteristic and provides a solid foundation for future research.