Definition
The Carlitz exponential is an entire function defined over the completion $\mathbb{C}_\infty$ of the rational function field $\mathbb{F}_q(\theta)$ at the place at infinity. It provides the analogue of the classical exponential function in the arithmetic of function fields and is denoted by $\exp_C(z)$.
Overview
Introduced by Leonard Carlitz in the 1930s, the Carlitz exponential arises from the rank‑one Drinfeld module (the Carlitz module) attached to the polynomial ring $\mathbb{F}_q[\theta]$. It plays a central role in the theory of Drinfeld modules, function‑field analogues of special functions, and the study of transcendence and algebraic independence in positive characteristic.
Etymology / Origin
The name honors Leonard Carlitz (1909–1992), an American mathematician who pioneered the use of special functions in the arithmetic of global function fields. Carlitz originally constructed the associated module and exponential series in his work on “finite fields and their applications.”
Characteristics
| Feature | Description |
|---|---|
| Series definition | $\displaystyle \exp_C(z)=\sum_{i=0}^{\infty}\frac{z^{q^{,i}}}{D_i}$, where $q=#\mathbb{F}q$ and $D_i=\prod{j=0}^{i-1}(\theta^{q^{,i}}-\theta^{q^{,j}})$ (the Carlitz factorial). |
| Additivity | Satisfies $\exp_C(z_1+z_2)=\exp_C(z_1)\exp_C(z_2)$. |
| Module compatibility | For every $a\in\mathbb{F}_q[\theta]$, $\exp_C(a z)=C_a\bigl(\exp_C(z)\bigr)$, where $C_a$ denotes the Carlitz module action (a polynomial in the Frobenius endomorphism). |
| Entirety | The power series converges on all of $\mathbb{C}_\infty$; thus $\exp_C$ is an entire function in the non‑archimedean sense. |
| Kernel (period lattice) | The kernel of $\exp_C$ is a discrete $\mathbb{F}_q[\theta]$-module generated by a single transcendental period $\tilde{\pi}$, which serves as the function‑field analogue of $2\pi i$. |
| Product expansion | $\displaystyle \exp_C(z)=z\prod_{0 |
| eq a\in\mathbb{F}_q[\theta]}\left(1-\frac{z}{\tilde{\pi}a}\right)$. | |
| Relation to special values | Values of $\exp_C$ at algebraic points yield Carlitz zeta values and appear in Anderson‑Thakur theory of multiple zeta values in positive characteristic. |
| Analogue of classical properties | Mirrors many properties of the classical exponential: functional equation, infinite product representation, and connection to a period lattice, but adapted to the characteristic‑$p$ setting. |
Related Topics
- Carlitz module – the rank‑one Drinfeld module whose exponential is $\exp_C$.
- Drinfeld modules – higher‑rank generalizations of the Carlitz module.
- Function field arithmetic – the broader area studying analogues of number‑theoretic concepts over $\mathbb{F}_q(\theta)$.
- Carlitz factorial and Carlitz zeta function – special functions built from the same factorial sequence $D_i$.
- Anderson–Thakur theory – a framework for multiple zeta values and periods in positive characteristic that frequently uses $\exp_C$.
- $\tilde{\pi}$ (Carlitz period) – the fundamental period of the Carlitz exponential, analogous to $2\pi i$.
- T‑modules and t‑motives – categorical structures in which the Carlitz exponential appears as a morphism.
The Carlitz exponential thus constitutes a cornerstone of the analytic side of function‑field analogues of classical transcendental number theory.