[Paper Review] Hyperderivatives of periods and quasi-periods for Anderson $t$-modules

Changningphaabi Namoijam, Matthew A. Papanikolas|arXiv (Cornell University)|Mar 10, 2021

Ferrocene Chemistry and Applications4 citations

TL;DR

This paper develops a framework for computing hyperderivatives of periods, quasi-periods, logarithms, and quasi-logarithms of Anderson $t$-modules using rigid analytic trivializations and prolongations. By extending Anderson's exponentiation theorem and leveraging Anderson generating functions, the authors derive explicit formulas for hyperderivatives via Frobenius difference equations and biderivations, proving algebraic independence results for these values in the context of transcendence theory over function fields.

ABSTRACT

We investigate periods, quasi-periods, logarithms, and quasi-logarithms of Anderson $t$-modules, as well as their hyperderivatives. We develop a comprehensive account of how these values can be obtained through rigid analytic trivializations of abelian and $\mathbf{A}$-finite $t$-modules. To do this we build on the exponentiation theorem of Anderson and investigate quasi-periodic extensions of $t$-modules through Anderson generating functions. By applying these results to prolongation $t$-modules of Maurischat, we integrate hyperderivatives of these values together with previous work of Brownawell and Denis in this framework.

Motivation & Objective

• To systematically study hyperderivatives of fundamental invariants—periods, quasi-periods, logarithms, and quasi-logarithms—of Anderson $t$-modules over function fields.
• To extend Anderson's exponentiation theorem to include hyperderivatives using rigid analytic trivializations of $t$-modules.
• To integrate prior transcendence results of Brownawell and Denis into a unified framework via prolongation theory.
• To establish a connection between hyperderivatives and Anderson generating functions through Frobenius difference equations and biderivations.
• To provide a computational method for hyperderivatives using $t$-frames and de Rham pairings in the context of $\mathbf{A}$-finite $t$-modules.

Proposed method

• Utilizes rigid analytic trivializations of $t$-modules via division towers and Frobenius difference equations to construct exponentiation maps.
• Applies the theory of $t$-frames and $\mathbf{A}$-finite $t$-modules to parametrize periods and logarithms through power series expansions.
• Employs Anderson generating functions to encode quasi-periodic extensions and derive hyperderivative formulas via recursive relations.
• Introduces biderivations and de Rham pairings to relate hyperderivatives of logarithms and quasi-logarithms to derivatives of generating functions.
• Uses prolongation theory of $t$-motives and dual $t$-motives to lift the structure of $t$-modules and analyze higher-order hyperderivatives.
• Applies $\partial_\theta^j$-hyperdifferential operators to $K_{\infty}^{\mathrm{sep}}$-valued quantities, extending classical results to higher-order derivatives.

Experimental results

Research questions

• RQ1 How can hyperderivatives of periods and quasi-periods of Anderson $t$-modules be computed using rigid analytic trivializations?
• RQ2 What is the role of Anderson generating functions in encoding the hyperderivatives of logarithms and quasi-logarithms?
• RQ3 How do prolongations of $t$-modules facilitate the study of higher-order hyperderivatives in transcendence theory?
• RQ4 Can the hyperderivatives of fundamental invariants be expressed explicitly via Frobenius difference equations and $t$-frames?
• RQ5 What is the algebraic independence structure of $\partial_\theta^j(\widetilde{\pi})$ for $j \geq 0$ in the context of the Carlitz module?

Key findings

• The paper establishes that hyperderivatives of periods and quasi-periods can be computed via rigid analytic trivializations of $t$-modules using $t$-frames and Frobenius difference equations.
• It proves that the coordinates of the $\boldsymbol{y}$ and $\boldsymbol{\alpha}$ vectors in the prolongation framework are fully determined by derivatives of Anderson generating functions with respect to $t$.
• The authors show that $O(1)$ terms in hyperderivative expansions are actually $O((t-\theta)^1)$, resolving apparent inconsistencies in earlier formulas.
• For $1 \leq w \leq \ell_k - 1$, the identity $\alpha_{d_k - w} - y_{d_k - w}$ is expressed as a sum of hyperderivative terms, providing a complete coordinate description.
• The framework successfully integrates prior results of Brownawell and Denis on algebraic independence of hyperderivatives into a coherent prolongation-theoretic setting.
• The paper provides explicit formulas for $\partial_t^w(\mathcal{G}_{\boldsymbol{y}})$ in terms of binomial coefficients and Laurent series expansions, enabling algorithmic computation of hyperderivatives.