[Paper Review] Rational Solution of the KZ equation (example)

Andrey Tydnyuk|ArXiv.org|Dec 6, 2006

Nonlinear Waves and Solitons2 references3 citations

TL;DR

This paper proves that the Knizhnik-Zamolodchikov (KZ) differential system with $ n=3 $ and $ k=2 $ admits a rational fundamental solution. Using the method of L. Sakhnovich, it constructs the Laurent expansion coefficients around the singular point $ z_1 $, demonstrating that the solution is rational due to the vanishing of higher-order terms beyond a finite Laurent series.

ABSTRACT

We investigate the Knizhnik-Zamolodchikov linear differential system. The coefficients of this system are rational functions. We prove that the solution of the KZ system is rational when $k$ is equal to two and $n$ is equal to three. While doing so, we found the coefficients of expansion in a neighborhood of a singular point.

Motivation & Objective

• To establish the existence of a rational solution for the Knizhnik-Zamolodchikov (KZ) differential system under specific parameter conditions.
• To investigate the structure of the solution near the singular point $ z_1 $ using Laurent series expansion.
• To determine whether the solution of the KZ system remains rational when the system is defined by symmetric group representations for $ S_3 $.
• To compute the coefficients of the Laurent expansion up to order $ (z - z_1)^2 $, confirming convergence and rationality.
• To validate the solution using the necessary and sufficient condition from Sakhnovich's method for rational solutions of linear differential systems.

Proposed method

• Applies the method of L. Sakhnovich to analyze the KZ system's behavior near a regular singular point $ z_1 $, using matrix Laurent series expansion.
• Expands the coefficient matrix $ A(z) $ in a Laurent series around $ z_1 $, expressing $ a_{-1} = P_1 $, and higher-order coefficients $ a_r $ in terms of $ P_2 $ and $ (z_2 - z_1)^{-r-1} $.
• Uses the recurrence relation (1.3) to compute the coefficients $ b_{-2}, b_{-1}, b_0, b_1, b_2 $ of the formal solution $ W(z) = \sum_{p \geq -2} b_p (z - z_1)^p $.
• Verifies that the solution satisfies the necessary and sufficient condition for rationality: the system (1.3) admits a solution with $ b_{-2} \neq 0 $ and no essential singularity.
• Explicitly computes $ b_{-2}, b_{-1}, b_0, b_1 $ using matrix algebra and rational functions of $ z_2 - z_1 $, showing all coefficients are rational.
• Confirms that $ (I_3 - P_1) b_2 $ has a solution, implying the series terminates or remains rational, thus confirming rational fundamental solution.

Experimental results

Research questions

• RQ1 Does the KZ system with $ n=3 $, $ k=2 $ admit a rational solution when the monodromy is generated by $ S_3 $?
• RQ2 What are the coefficients of the Laurent expansion of the solution around the singular point $ z_1 $?
• RQ3 Can the method of Sakhnovich be applied to prove rationality of the solution in this specific case?
• RQ4 Is the solution of the KZ system rational when the coefficient matrices are derived from symmetric group representations?
• RQ5 Does the recurrence system (1.3) yield a finite or infinite Laurent series, and what determines its rationality?

Key findings

• The KZ system with $ n=3 $, $ k=2 $, and $ S_3 $-generated matrices $ P_1 $, $ P_2 $ admits a rational fundamental solution.
• The coefficient $ b_{-2} = \begin{bmatrix}1&-1&0\\-1&1&0\\0&0&0\end{bmatrix} $ is non-zero and rational, confirming the presence of a pole of order two.
• The coefficient $ b_{-1} $ is proportional to $ (z_2 - z_1)^{-1} $, with entries $ \frac{1}{-9(z_2 - z_1)} \begin{bmatrix}-12&12&0\\6&-6&0\\6&-6&0\end{bmatrix} $, confirming rational dependence.
• The coefficient $ b_0 $ is $ \frac{1}{-9(z_2 - z_1)^2} \begin{bmatrix}3&-3&0\\-6&6&0\\3&-3&0\end{bmatrix} $, showing rational decay with increasing inverse powers.
• The coefficient $ b_1 $ is $ \frac{1}{-9(z_2 - z_1)^3} \begin{bmatrix}6&-6&0\\6&-6&0\\-12&12&0~\end{bmatrix} $, maintaining rational structure.
• The equation $ (I_3 - P_1) b_2 = \frac{1}{-9(z_2 - z_1)^4} \begin{bmatrix}1&-1&0\\-1&1&0\\0&0&0\end{bmatrix} $ has a solution, confirming the recurrence does not terminate but remains rational.