On difference-differential Lax pairs and integrals of Painlevé equations in finite characteristic

Technical Summary: Difference-Differential Lax Pairs and Integrals of Painlevé Equations in Finite Characteristic

Problem Statement
The paper addresses the arithmetic study of Painlevé transcendents, specifically investigating whether the arithmetic properties of elliptic functions generalize to Painlevé equations in fields of finite characteristic. While it is a well-established fact that Painlevé transcendents do not satisfy any rational equation over the complex numbers, the authors explore the existence of rational integrals of motion when these equations are considered over fields of characteristic $p$. The study focuses on six equivalent classes of Painlevé equations ($P_{VI}, P_V, P_{IV}, P_{III}^{D6}, P_{III}^{D7}, P_{III}^{D8}$), utilizing their associated difference-differential Lax pairs.

Methodology
The authors employ a unified framework based on the compatibility conditions of rank 2 difference-differential Lax pairs. For each Painlevé equation $P_J$, they consider a linear system defined by:

1. A difference equation: $Y(z+1) = A_J(z)Y(z)$
2. A differential equation: $D_t Y(z) = B_J(z)Y(z)$

Here, $A_J(z)$ is a $2 \times 2$ matrix polynomial of degree 2 in the spectral parameter $z$, and $B_J(z)$ is a matrix polynomial of degree 1. The compatibility condition $D_t A_J(z) = B_J(z+1)A_J(z) - A_J(z)B_J(z)$ yields the corresponding nonlinear Painlevé equation.

The core method involves analyzing these Lax pairs in a differential field $K$ of characteristic $p$. The authors define a matrix product $M_p(z)$ as the product of $A_J(z)$ evaluated at successive integers from $z$ to $z+p-1$:
$$M_p(z) = A_J(z+p-1) \cdots A_J(z)$$
By applying the derivation $D_t$ to the characteristic polynomial of $M_p(z)$, they demonstrate that the coefficients of this polynomial are integrals of motion (i.e., they lie in the kernel of $D_t$). Specifically, since $A_J(z)$ is $2 \times 2$, the characteristic polynomial is determined by its trace and determinant. The authors show that while the determinant yields trivial integrals in characteristic $p$, the trace of $M_p(z)$ provides non-trivial rational integrals of motion.

Key Contributions

1. Unification of Lax Pairs: The paper collects existing rank 2 difference-differential Lax pairs from the literature (citing works by Adler, Kajiwara et al., and Nakazono) and reformulates them into a consistent $2 \times 2$ matrix system form. In this framework, the coefficient matrix $A(z)$ is always a degree 2 polynomial, uniquely characterized by the singularity structure at infinity and the determinant. This unifies the treatment of $P_{VI}, P_V$ (in two distinct forms: KNY and Nakazono), $P_{IV}$, and the three types of $P_{III}$.
2. General Method for Integrals: The authors establish a general proposition (Proposition 2.1) proving that the coefficients of the characteristic polynomial of the product matrix $M_p(z)$ are integrals of motion in characteristic $p$.
3. Explicit Formulas: The paper derives the specific form of the trace of $M_p(z)$ for each Painlevé class. Theorem 2.3 states that in characteristic $p$, the trace takes the form:
   $$\text{Tr } M_p(z) = I_p^{(J)} + c_1^{(J)} Z + c_2^{(J)} Z^2$$
   where $Z = z^p - z$, and $I_p^{(J)}$ is the non-trivial integral of motion. The coefficients $c_1^{(J)}$ and $c_2^{(J)}$ are explicitly given as polynomials in the parameters of the equations (transformed into characteristic $p$ variables $T=t^p$ and $A_k = \alpha_k^p - \alpha_k$).
4. Explicit Integrals: The paper provides explicit expressions for the first few integrals of motion ($p=2, 3, 5, 7$) for each of the seven specific Painlevé systems analyzed.

Results

• Existence of Integrals: For every relevant Painlevé equation ($P_{VI}, P_V^{KNY}, P_V^{Na}, P_{IV}, P_{III}^{D6}, P_{III}^{D7}, P_{III}^{D8}$), the method yields a countable list of rational integrals of motion, indexed by the prime characteristic $p$.
• Structure of Integrals: The integrals $I_p^{(J)}$ depend on the dependent variables ($f, g$), the independent variable ($t$), and the parameters ($\alpha_i$) of the respective Painlevé equation.
• Degeneration Scheme: The paper illustrates a degeneration scheme (Figure 1.1, Table 1) showing how the spectral data (trace, determinant, and eigenvalues) of the Lax pairs evolve from $P_{VI}$ down to $P_{III}^{D8}$, corresponding to a reduction in the degree of the determinant of $A(z)$.
• Verification: The authors verify the constancy of these integrals by substituting known algebraic solutions (e.g., for $P_{VI}$ in characteristic 7) and confirming the result is constant.
• Limitations: The study notes that $P_{II}$ and $P_{I}$ do not admit rank 2 difference-differential Lax pairs of degree 2, suggesting they do not admit such integrals via this specific method. Additionally, in characteristic 2, the equations often degenerate to Riccati equations under the current normalizations.

Significance and Claims
The paper claims to provide a systematic framework for studying Painlevé equations in finite characteristic, a relatively unexplored area compared to their complex analytic counterparts. By constructing a countable list of integrals of motion indexed by primes, the authors offer new tools for the arithmetic study of Painlevé dynamics. The work extends previous methodologies (specifically from [7]) to a broader class of equations. The authors modestly suggest that these integrals may be useful for studying dynamics over finite fields and potentially in applications such as cryptography, but they do not present specific cryptographic applications or experimental proposals within the text. The primary contribution is the theoretical construction and explicit calculation of these arithmetic invariants.