[Paper Review] Algebraic relations among periods and logarithms of rank 2 Drinfeld modules

Chieh-Yu Chang, Matthew A. Papanikolas|arXiv (Cornell University)|Jul 20, 2008

Algebraic Geometry and Number Theory6 references4 citations

TL;DR

This paper establishes that for rank 2 Drinfeld modules over the algebraic closure of 𝔽_q(θ) without complex multiplication and in odd characteristic, the transcendence degree of the field generated by the entries of the period matrix over 𝔽_q(θ) is exactly 4. As a consequence, it proves the algebraic independence of Drinfeld logarithms of algebraic functions that are linearly independent over 𝔽_q(θ), resolving a key case in transcendence theory for function field arithmetic.

ABSTRACT

For any rank 2 Drinfeld module rho defined over an algebraic function field, we consider its period matrix P, which is analogous to the period matrix of an elliptic curve defined over a number field. Suppose that the characteristic of F_q is odd and rho is without complex multiplication. We show that the transcendence degree of the field generated by the entries of P over F_q(theta) is 4. As a consequence, we show also the algebraic independence of Drinfeld logarithms of algebraic functions which are linearly independent over F_q(theta).

Motivation & Objective

• To determine the transcendence degree of the field generated by the entries of the period matrix of a rank 2 Drinfeld module over 𝔽_q(θ).
• To establish algebraic independence results for Drinfeld logarithms of algebraic functions that are linearly independent over 𝔽_q(θ).
• To extend transcendence theory for Drinfeld modules by analyzing special values of solutions to Frobenius difference equations.
• To characterize linear relations among periods, quasi-periods, and logarithms via Galois group dimension in the context of t-motives.
• To prove that all algebraic relations among these special values are the ones predicted by expected linear structures, under the absence of complex multiplication.

Proposed method

• Relates periods and quasi-periods to special values of solutions of Frobenius difference equations using Anderson generating functions.
• Analyzes logarithms via extensions of the trivial t-motive by the t-motive associated to the Drinfeld module.
• Applies the Sub-t-module Theorem and Galois group techniques to characterize linear dependencies among special values.
• Uses the functional equation F_δ(a(θ)z) − a(θ)F_δ(z) = δ_a(exp_ρ(z)) to define quasi-periodic functions associated with biderivations.
• Applies the analogue of Legendre’s relation to derive contradictions from non-trivial k-linear dependencies among periods and logarithms.
• Employs specialization at t = θ and analysis of poles in 𝔸^1(ℂ_∞) to rule out infinite pole sets, ensuring rationality and algebraic independence.

Experimental results

Research questions

• RQ1 What is the transcendence degree of the field generated by the entries of the period matrix of a rank 2 Drinfeld module without complex multiplication over 𝔽_q(θ)?
• RQ2 Are Drinfeld logarithms of algebraic functions linearly independent over 𝔽_q(θ) algebraically independent over 𝔽_q(θ)?
• RQ3 Can all algebraic relations among periods, quasi-periods, and logarithms of rank 2 Drinfeld modules be fully characterized by expected linear structures?
• RQ4 How does the Galois group of the system of Frobenius difference equations relate to the dimension of the space of linear relations among special values?
• RQ5 What constraints do pole structures and functional equations impose on rational solutions to the difference equations arising from logarithmic special values?

Key findings

• The transcendence degree of the field generated by the entries of the period matrix of a rank 2 Drinfeld module over 𝔽_q(θ) is exactly 4 when the characteristic of 𝔽_q is odd and the module has no complex multiplication.
• The four entries of the period matrix are algebraically independent over 𝔽_q(θ), establishing a maximal transcendence degree for rank 2 modules.
• Drinfeld logarithms of algebraic functions that are linearly independent over 𝔽_q(θ) are algebraically independent over 𝔽_q(θ), provided the module is of rank 2 and without complex multiplication.
• The proof relies on showing that any non-trivial k-linear dependence among periods and logarithms leads to a contradiction via infinite pole accumulation in rational functions.
• The Galois group of the system of Frobenius difference equations associated to the module has maximal dimension, implying that no unexpected algebraic relations exist beyond those predicted by linear algebra.
• Specialization of solutions at t = θ, combined with functional equations and pole analysis, leads to a contradiction when assuming algebraic dependence, thereby proving algebraic independence.