Mahler's method and Carlitz logarithm

1. Problem Statement

The paper addresses the problem of algebraic independence of Carlitz logarithms in the context of function fields over finite fields (positive characteristic).

• Context: Let $k = \mathbb{F}_q(\theta)$ be the rational function field over a finite field $\mathbb{F}_q$. The Carlitz exponential $\exp_C(z)$ and its inverse, the Carlitz logarithm $\text{Log}_C(z)$, are fundamental objects in the arithmetic of function fields, analogous to the classical exponential and logarithm in characteristic zero.
• The Conjecture/Theorem: In 2007, M. Papanikolas proved that if a set of Carlitz logarithms $\lambda_1, \dots, \lambda_n$ (where $\exp_C(\lambda_i) \in k$) are linearly independent over $k$, then they are algebraically independent over $k$.
• The Gap: Papanikolas's proof relied heavily on the theory of $t$-motives and the Anderson-Brownawell-Papanikolas (ABP) criterion. The goal of Estienne's paper is to provide a new proof of this theorem using Mahler's method, a technique traditionally used for studying algebraic relations among values of functions satisfying specific functional equations (Mahler systems).

2. Methodology

The author adapts the approach developed by Laurent Denis (2006) and generalized by G. Fernandes (2018) to the specific case of Carlitz logarithms. The methodology involves the following steps:

A. Construction of Interpolation Functions

Instead of working directly with the logarithm values, the author constructs formal power series (interpolation functions) that specialize to these values.

• Deformation of Denominators: The denominators of the Carlitz logarithm series, $L_k = \prod_{i=1}^k (\theta^{q^i} - \theta)$, are deformed into functions $L_k(z) = \prod_{i=1}^k (z^{q^i} - \theta)$.
• Definition of $G_i(Z)$: For elements $u_i = \exp_C(\lambda_i)$, the author defines interpolation functions $G_i(Z)$ in a power series ring $\mathbb{F}_{q^d}[[Z]]$ (where $u$ is a uniformizer). These functions are constructed such that $G_i(u) \propto \text{Log}_C(u_i)$.
• Period Interpolation: A function $G_0(Z)$ is also constructed to interpolate the Carlitz period $\tilde{\pi}$.

B. Establishing a Mahler System

The core of Mahler's method is showing that these interpolation functions satisfy a linear functional equation of the form $F(z^d) = A(z)F(z)$.

• Functional Equations: The author derives functional equations for $G_i(Z)$:
  $$G_i(Z^{q^d}) = \pi_d(Z)(G_i(Z) - M_i(Z))$$
  where $\pi_d(Z)$ and $M_i(Z)$ are specific rational functions derived from the deformation.
• System Formulation: These equations are assembled into a vector-matrix system (a $q^d$-Mahler system):
  $$\mathbf{G}(Z^{q^d}) = \tilde{A}(Z) \mathbf{G}(Z)$$
  where $\mathbf{G}(Z) = (G_0, G_1, \dots, G_n)^T$ and $\tilde{A}(Z)$ is an invertible matrix with entries in $k(Z)$.

C. Application of a Transcendence Criterion

The paper utilizes a generalized version of Nishioka's theorem for positive characteristic (Theorem 1.3, based on work by Adam and Denis).

• The Criterion: If a vector of functions $\mathbf{f}(z)$ satisfies a Mahler system and the matrix $A(z)$ is well-behaved at a point $\alpha$ (specifically, $v_\infty(\alpha) > 0$ and $A(\alpha^{q^{kd}})$ is invertible), then the transcendence degree of the values $\mathbf{f}(\alpha)$ over $k$ equals the transcendence degree of the functions $\mathbf{f}(z)$ over $k(z)$.
• Strategy: To prove algebraic independence of the values, it suffices to prove the algebraic independence of the functions $G_i(Z)$.

D. Proving Independence of Functions

The author proves that the functions $G_i(Z)$ are algebraically independent over $k(Z)$ by contradiction:

1. Assume a linear dependence relation exists among the functions with coefficients in a purely inseparable extension $B$.
2. Use a derivation operator and the properties of the functional equations to show that such a relation implies the existence of a polynomial relation with coefficients in $\mathbb{F}_q[\theta]$.
3. Utilize Lemma 2.8 (a zero/pole analysis lemma) to show that non-trivial relations lead to contradictions regarding the poles and zeros of the functions, ultimately proving that the functions are algebraically independent.

3. Key Contributions

1. New Proof of Papanikolas's Theorem: The paper provides the first proof of the algebraic independence of Carlitz logarithms (Theorem 1.1) that does not rely on the theory of $t$-motives, instead using Mahler's method.
2. Extension of Denis's Approach: While Denis (2006) proved this for elements in $\mathbb{F}_q(\theta)$, and Fernandes (2018) generalized the Mahler criterion for positive characteristic, Estienne bridges the gap by applying these tools to the general case of Carlitz logarithms of algebraic functions.
3. Handling the Period $\tilde{\pi}$: The construction explicitly includes the Carlitz period $\tilde{\pi}$ via the function $G_0(Z)$, allowing the method to handle the full linear independence condition required by Papanikolas's theorem.
4. Refined Transcendence Criterion (Theorem 1.3): The paper presents a slightly more general version of the Fernandes/Adam-Denis theorem, allowing the matrix entries to lie in $K(H)$ where $H$ involves specific algebraic functions, and provides a detailed proof in the Appendix.

4. Main Results

• Theorem 1.4: If the family of interpolated values $(G_i(u))$ is linearly independent over a purely inseparable closure $B$, they are algebraically independent over $k$.
• Theorem 1.5 (Main Result): If the family $(G_i(u))$ is linearly independent over $k$, it is algebraically independent over $k$. This is achieved by showing that under specific conditions on the parameter $\beta$, linear independence over $k$ implies linear independence over $B$.
• Theorem 2.17 (Papanikolas's Theorem): By setting $\beta=1$ and $s=1$, the interpolation functions specialize to the Carlitz logarithms. The paper concludes that if $\lambda_1, \dots, \lambda_n \in \mathbb{C}_\infty$ satisfy $\exp_C(\lambda_i) \in k$ and are $k$-linearly independent, they are $k$-algebraically independent.

5. Significance

• Methodological Diversity: This work demonstrates that deep results in the arithmetic of function fields (specifically transcendence theory) can be approached via different frameworks. It validates Mahler's method as a powerful alternative to $t$-motives for studying Carlitz logarithms.
• Accessibility: By avoiding the heavy machinery of $t$-motives and the ABP criterion, the proof may be more accessible to researchers familiar with classical transcendence methods and functional equations.
• Foundational: It reinforces the structural parallels between the arithmetic of function fields (Carlitz module) and classical number theory (exponential function), showing that Mahler's method, originally developed for characteristic zero, has robust analogues in positive characteristic.

In summary, Estienne successfully re-proves a landmark theorem in function field arithmetic using a distinct, constructive approach based on Mahler systems, thereby enriching the toolkit available for studying algebraic independence in positive characteristic.