Abstract:In the present paper, we determine the algebraic relations among the tractable coordinates of logarithms of Anderson $t$-modules constructed by taking the tensor product of Drinfeld modules of rank $r$ defined over the algebraic closure of the rational function field and their $(r-1)$-st exterior powers with the Carlitz tensor powers. Our results, in the case of the tensor powers of the Carlitz module, generalize the work of Chang and Yu on the algebraic independence of polylogarithms.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to determine the algebraic relations between the traceable coordinates of the logarithm of the Anderson t - module (constructed by the tensor product of the Drinfeld module defined on the algebraic closure of the rational function field and its \((r - 1)\)-st exterior power with the Carlitz tensor power). Specifically, the author studies the algebraic independence of the traceable coordinates of the logarithm of these t - modules.
### Background of the Paper
The key concepts involved in the paper include:
1. **Drinfeld Module**: This is an elliptic module introduced by Drinfeld, which is used to prove the Langlands correspondence of GL_2 over the global function field in certain special cases.
2. **t - Module**: This is Anderson's high - dimensional generalization of the Drinfeld module, defined as an s - dimensional additive group scheme and an \(F_q\)-linear ring homomorphism.
3. **Traceable Coordinates of the Logarithm**: For a given t - module, certain specific coordinates of its logarithm are called "traceable".
4. **de Rham Cohomology**: This is a cohomology theory defined for t - modules, involving the concepts of biderivation and quasi - periodic functions.
### Main Results
The main results of the paper can be summarized as follows:
- **Theorem 1.1**: For the traceable coordinates of the logarithm of the t - modules \(E_n\) and \(G_n\), the author proves that these coordinates are algebraically independent under certain conditions. Specifically:
- For \(n = 0\), if \(y_{\ell}\) is a coordinate of the logarithm of \(E_0\), then the corresponding quasi - periodic function and partial coordinates are algebraically independent.
- For \(n\geq1\), if \(y_{\ell}\) is a coordinate of the logarithm of \(E_n\) or \(G_n\), then its bottom \(r\) coordinates are algebraically independent.
- **Corollaries 1.2 and 1.4**: Further, the author proves that the quasi - periodic functions of these logarithms are also algebraically independent.
### Method Overview
The main tool used by the author is Papanikolas' theorem, which shows that the transcendence degree of the period matrix of a t - module is equal to the dimension of its associated motivic Galois group. By constructing specific Tate algebra elements and t - modules and using the period matrices of these t - modules, the author proves the required algebraic independence results.
### Conclusion
The results of this paper generalize the work of Chang and Yu on the Carlitz tensor power and provide a basis for studying the transcendence of special values of Drinfeld A - modules at positive integers.