🔢 mathematics

Hermite's approach to Abelian integrals revisited

This paper establishes a new linear independence criterion for the values of Lauricella hypergeometric series $F_D$ with rational parameters in both complex and $p$ -adic settings by utilizing explicit Padé-type approximations to extend Hermite's classical results on Abelian integrals.

Original authors: Makoto Kawashima

Published 2026-07-07

📖 4 min read🧠 Deep dive

CC0 1.0

Original authors: Makoto Kawashima

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to figure out if a specific set of numbers are "independent" from one another. In the world of math, this means asking: "Can I build one of these numbers by mixing the others together with simple whole-number recipes?" If the answer is "no," they are linearly independent.

This paper is about proving that certain complex numbers, which come from a specific type of infinite sum (called Lauricella hypergeometric series), are indeed independent of each other. The author, Makoto Kawashima, is essentially upgrading an old, famous recipe for proving this kind of independence, originally cooked up by Charles Hermite in the 19th century.

Here is the breakdown of the paper's journey, using everyday analogies:

1. The Problem: The "Magic Numbers"

The author is looking at a family of numbers generated by complex formulas. Think of these formulas as magic machines that spit out numbers when you feed them specific inputs.

The Goal: Prove that if you take a bunch of outputs from these machines, you can't combine them to get zero (unless you use zero amounts of everything).
The Challenge: These machines are complicated. They work in two different "worlds": the Complex world (where numbers have real and imaginary parts, like on a map) and the p-adic world (a strange, alternative number system used in advanced cryptography and number theory). The author wants a proof that works in both worlds simultaneously.

2. The Old Tool: Hermite's "Approximation Ladder"

Back in the day, Charles Hermite built a special tool to prove these numbers were independent. He used something called Padé approximants.

The Analogy: Imagine you are trying to guess the exact shape of a mysterious, curvy mountain. You can't see the whole thing at once, so you build a series of ladders (approximations) that get closer and closer to the mountain's true shape.
Hermite built a specific type of ladder for a narrow class of mountains (integrals related to a specific differential equation). His ladders were great, but they only worked for mountains with very specific, simple shapes (where the parameters were simple fractions like $1/k$ ).

3. The New Innovation: A Universal Ladder

Kawashima's paper says, "Let's build a ladder that works for any mountain in this family, not just the simple ones."

The Upgrade: The author extends Hermite's method to handle arbitrary rational numbers. This is like upgrading the ladder so it can climb jagged, irregular, and complex mountains, not just smooth, simple hills.
The Secret Weapon: To do this, the author introduces a new concept called the "formal f-integration map."
- Analogy: Think of this as a specialized translator. When the math gets too messy to read directly, this translator converts the problem into a different language (polynomials) where the rules are clearer. It allows the author to construct the "ladders" (approximations) without having to do the heavy lifting of calculating every single step explicitly.

4. The Critical Test: The "Non-Vanishing" Check

To prove the numbers are independent, the author builds a giant determinant (a specific mathematical calculation involving a grid of numbers).

The Rule: If this determinant is not zero, the numbers are independent. If it is zero, the proof fails.
The Old Way: Previously, mathematicians had to calculate this giant grid explicitly to check if it was zero. This was like trying to count every grain of sand on a beach to see if the beach exists. It was tedious and prone to errors.
The New Way: Kawashima developed a clever shortcut. Instead of counting the grains of sand, he looked at the structure of the beach itself (the kernel of the integration map). He proved that based on the rules of the "translator" (the differential operators), the determinant must be non-zero.
- Analogy: Instead of checking if a lock is open by trying every key, he proved that the lock mechanism is physically impossible to jam shut. This is the paper's "main novelty."

5. The Result: A New Criterion

The paper concludes with a criterion (a checklist).

If you have a set of numbers generated by these formulas, and they meet certain conditions regarding their "size" (height) and "complexity" (denominators), you can be 100% sure they are linearly independent.
This works for both the Complex world and the p-adic world at the same time.

Summary

In short, this paper takes a 19th-century mathematical technique for proving numbers are unique, upgrades it with a new "translator" tool to handle much more complex scenarios, and finds a smarter way to verify the proof without doing the tedious calculations. It's like taking a hand-cranked calculator and turning it into a modern computer, allowing mathematicians to solve independence problems for a much wider range of numbers than ever before.

Technical Summary: Hermite's Approach to Abelian Integrals Revisited

Problem Statement
The paper addresses the problem of establishing explicit criteria for the linear independence of values of Lauricella hypergeometric series $F_D^{(m)}$ with rational parameters over algebraic number fields. Specifically, it seeks to extend C. Hermite's classical results on the linear independence of certain Abelian integrals (associated with the Jordan-Pochhammer differential equation) to a broader class of parameters. While previous works (e.g., by Hermite, Rhin, Toffin, and Huttner) handled specific cases where parameters were restricted to forms like $1/k$ or $0$, this work targets the case where parameters $s_i$ are arbitrary rational numbers, provided their sum does not lie in $\mathbb{Z}_{<-1}$ . The goal is to derive a linear independence criterion that is effective (providing a measure of independence) and valid simultaneously in both complex and $p$ -adic settings.

Methodology
The author employs a strategy rooted in Diophantine approximation, specifically utilizing explicit Padé-type approximations to construct systems of auxiliary functions. The methodology proceeds through several key stages:

Generalization of Hermite's Construction: The paper extends Hermite's construction of Padé approximants for Abelian integrals to a broad class of holonomic Laurent series. These series are solutions to a reducible Jordan-Pochhammer differential equation of the form $(\frac{d}{dz})^{m-1} L$ , where $L = -a(z)\frac{d}{dz} + b(z)$ is a first-order differential operator with polynomial coefficients.
Formal $f$ -Integration Map: A central technical tool is the introduction of a formal $f$ -integration map, denoted $\phi_f$ (Equation 5). This $K$ -linear map allows for the purely formal construction of Padé-type approximants. The kernel of this map is analyzed to determine the conditions under which polynomials form valid approximants.
Rodrigues Operators: The construction utilizes Rodrigues operators $R_n$ associated with the differential operator $L$ . These operators generate the polynomials $P_{n,\ell}(z)$ and $Q_{n,j,\ell}(z)$ that constitute the Padé-type approximants.
Non-Vanishing of Determinants: A critical step in Siegel's method is proving that the determinant formed by these approximants does not vanish. Unlike previous approaches that required explicit, intricate computation of these determinants, this paper introduces a new approach based on the study of the kernel of the formal $f$ -integration map. The non-vanishing is shown to be governed entirely by the coefficients of the first-order differential operator.
Arithmetic Estimates: The paper derives explicit estimates for the absolute values (both Archimedean and non-Archimedean) of the Padé approximants and their remainders. These estimates rely on properties of the Poincaré-Perron type recurrence relations satisfied by the coefficients of the series and bounds on the denominators of the parameters.

Key Contributions and Results

New Linear Independence Criterion (Theorem 1.1): The main result provides a criterion for the linear independence of the values $1, f_0(\beta), \dots, f_{m-2}(\beta)$ over an algebraic number field $K$ . Here, $f_j(z)$ are specific formal Laurent series involving the Lauricella hypergeometric series. The criterion is effective, meaning it provides a quantitative measure of linear independence.
Generalization of Parameters: The result holds for parameters $s_i = b(\alpha_i)/a'(\alpha_i)$ where $s_i \in \mathbb{Q} \setminus \mathbb{Z}_{\le -1}$ and the sum of parameters satisfies specific conditions. This significantly generalizes previous results that were limited to specific integer reciprocals or zero.
Unified Complex and $p$ -adic Framework: The linear independence measure is established simultaneously for both the complex and $p$ -adic settings, relying on a unified height function formulation.
Conceptual Proof of Non-Vanishing: The paper offers a novel, conceptual proof for the non-vanishing of the determinant associated with the Padé-type approximants (Theorem 3.1). By analyzing the kernel of the formal integration map and the properties of the differential operator $L$ , the author avoids the need for explicit determinant computation, which was a major technical hurdle in prior works.
Explicit Measure of Independence (Theorem 5.1): The paper derives an explicit lower bound for the linear form $|\lambda + \sum \lambda_j f_j(\beta)|_{v_0}$ , expressed in terms of the heights of the parameters and the evaluation point $\beta$ .

Significance and Claims
The paper claims to extend Hermite's classical approach to a much wider class of functions, specifically those related to the Jordan-Pochhammer equation with arbitrary rational parameters. The significance lies in the development of a robust framework for proving linear independence that does not rely on the explicit calculation of complex determinants. By linking the non-vanishing property directly to the coefficients of the underlying differential operator, the method simplifies the verification process for new classes of functions.

The author notes that the constructed series $f_j$ are G-functions in the sense of Siegel, and the results contribute to the understanding of the arithmetic nature of values of holonomic Laurent series. The work builds upon and refines the framework established in the author's previous work [20] and related literature by David, Hirata-Kohno, and Poëls. The paper does not propose new experimental applications but rather strengthens the theoretical toolkit available for transcendental number theory and Diophantine approximation.