[Paper Review] Real soliton lattices of KP-II and desingularization of spectral curves: the Gr^{TP}(2,4) case

Simonetta Abenda, P. G. Grinevich|arXiv (Cornell University)|Mar 29, 2018

Nonlinear Waves and Solitons28 references3 citations

TL;DR

This paper constructs real quasiperiodic finite-gap solutions of the KP-II equation as soliton lattices on a smooth genus 4 M-curve, obtained by desingularizing a reducible rational M-curve associated with soliton data in the totally positive Grassmannian $\mathrm{Gr}^{\mathrm{TP}}(2,4)$. Using total positivity and Postnikov's parametrization, the authors explicitly derive the curve's homology basis, holomorphic and meromorphic differentials, and verify numerical consistency via high-precision computations and KP-II equation checks with errors below $10^{-25}$.

ABSTRACT

We apply the general construction developed in references [4,5] to the first non-trivial case of Gr^{TP}(2,4). In particular, we construct finite-gap KP-II real quasiperiodic solutions in the form of soliton lattice corresponding to a smooth genus 4 M-curve, which is a desingularization of a reducible rational M-curve for soliton data in Gr^{TP}(2,4).

Motivation & Objective

• To construct real quasiperiodic finite-gap solutions of the KP-II equation using algebraic geometry data derived from soliton data in $\mathrm{Gr}^{\mathrm{TP}}(2,4)$.
• To desingularize a reducible rational M-curve into a smooth genus 4 M-curve compatible with real regular finite-gap solutions.
• To explicitly compute the homology basis, holomorphic and meromorphic differentials, and period matrices on the desingularized curve.
• To numerically verify the consistency of the solution by checking the KP-II equation and symmetry of Riemann matrices with high-precision arithmetic.

Proposed method

• Apply the general construction from prior works [4,5] to the first non-trivial case $\mathrm{Gr}^{\mathrm{TP}}(2,4)$, using total positivity and Postnikov's parametrization of positroid cells.
• Construct the reducible rational M-curve $\Gamma(\mathcal{N}_T)$ and its real regular divisor from soliton data in the main cell of $\mathrm{Gr}^{\mathrm{TP}}(2,4)$.
• Perform desingularization to obtain a smooth genus 4 M-curve, and compute a canonical homology basis $a_1,\dots,a_4, b_1,\dots,b_4$ with $a_j \circ b_k = \delta_{jk}$.
• Derive unnormalized holomorphic and meromorphic differentials $\sigma_j$, $\Sigma_j$ from the curve's defining equation $P(\lambda,\mu) - \varepsilon\beta^2 = 0$, with $P(\lambda,\mu)$ rational and $\varepsilon$ a small parameter.
• Compute periods of differentials over $b_j$ and $c_j$ cycles using Gauss integrator with adaptive step and quadruple-precision arithmetic for numerical stability.
• Verify consistency via four tests: symmetry of Riemann matrix ($<10^{-20}$ error), agreement of Abel transform and $b$-periods ($<10^{-20}$), symmetry of expansion matrix ($<10^{-20}$), and KP-II residual error ($10^{-32}$ to $10^{-25}$).

Experimental results

Research questions

• RQ1 How can real quasiperiodic KP-II solutions be constructed from soliton data in $\mathrm{Gr}^{\mathrm{TP}}(2,4)$ using algebraic geometry?
• RQ2 What is the explicit desingularization process that transforms a reducible rational M-curve into a smooth genus 4 M-curve compatible with finite-gap solutions?
• RQ3 How do the homology basis, holomorphic differentials, and period matrices behave on the desingularized curve for $\mathrm{Gr}^{\mathrm{TP}}(2,4)$?
• RQ4 Can high-precision numerical methods consistently verify the KP-II equation and algebraic-geometric constraints for almost degenerate curves?

Key findings

• The desingularized curve is a smooth genus 4 M-curve with $g+1=5$ real ovals, one containing the marked point and each of the other four containing exactly one divisor point.
• The homology basis satisfies $a_j \circ b_k = \delta_{jk}$, and the cycles are explicitly expressed as $a_1 = -c_1 - c_4$, $a_2 = -c_2 + c_4$, $a_3 = -c_3 - c_4$, $a_4 = c_4$.
• The Riemann matrix is symmetric to within $10^{-20}$ error, even for $\varepsilon = 10^{-18}$, confirming numerical stability.
• The expansion coefficients of the Abel transform near infinity agree with the $b$-periods of normalized meromorphic differentials up to a $2\pi i$ factor, with error $<10^{-20}$.
• The KP-II equation is satisfied with residual error ranging from $10^{-32}$ to $10^{-25}$ across the $(x,y,t)$-space, confirming solution validity.
• Numerical plots for $\epsilon = 10^{-2}, 10^{-10}, 10^{-18}$ show smooth soliton lattice structures with consistent level and 3D profiles, confirming physical relevance.