# The Carlitz module and a differential Ax-Lindemann-Weierstrass theorem for the Euler gamma function

## TL;DR

This paper establishes a differential independence result for the Euler gamma function using Galois theory and Carlitz module techniques, advancing the understanding of transcendence in special functions.

## Contribution

It introduces a differential Ax-Lindemann-Weierstrass theorem for the gamma function, employing Galois theory of difference equations and Carlitz module analogs.

## Key findings

- Proves differential independence of gamma functions with algebraic shifts.
- Provides explicit descriptions of Picard-Vessiot rings and Galois groups.
- Connects Carlitz module theory with differential transcendence results.

## Abstract

We prove an Ax-Lindemann-Weierstrass differential transcendence result for Euler's gamma function, namely that the functions $\Gamma(\nu-\zeta_1(\nu)),\dots,\Gamma(\nu-\zeta_n(\nu))$ are differentially independent over the field of rational functions in the variable $\nu$, with coefficients in the field $k$ of $1$-periodic meromorphic functions over $\mathbb C$, as soon as $\zeta_1,\dots,\zeta_n$ determine a set of algebraic functions over $k$, stable by conjugation and pairwise distinct modulo $\mathbb Z$. \par To prove this result we use both the Galois theory of difference equations and the theory of a characteristic zero analog of the Carlitz module introduced by the second author in 2013. As an intermediate result we give an explicit description of the Picard-Vessiot rings and of the Galois groups associated to the operators in the image of the Carlitz module, using techniques inspired by the Carlitz-Hayes theory.