Parametrization of positroid cells by Dubrovin-Natanzon Cartier divisors on maximal Mumford curves
Extracted source text · arXiv 2508.08426
\documentclass[12pt]{article}
\usepackage{amsfonts,amssymb,amsmath,amsthm}
\usepackage{graphicx}
\usepackage{float}
\usepackage[title]{appendix}
\newcommand{\RR}{\mathbb R}
\newcommand{\CC}{\mathbb C}
\newcommand{\ZZ}{\mathbb Z}
\renewcommand{\Re}{\mathop{\mathrm{Re}}}
\renewcommand{\Im}{\mathop{\mathrm{Im}}}
\newcommand{\res}{\mathop{\mathrm{res}}}
\newcommand{\tr}{\mathop{\mathrm{tr}}}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{remark}{Remark}
\newtheorem{example}{Example}
\newtheorem{definition}{Definition}
\newtheorem{corollary}{Corollary}
\def \GTNN {{Gr^{\mbox{\tiny TNN}} (k,n)}}
\newcommand\mycom[2]{\genfrac{}{}{0pt}{}{#1}{#2}}
\begin{document}
\title{Dubrovin-Natanzon divisors on ${\mathtt{MM}}$-curves.\thanks{
The work of S. Abenda was supported by HORIZON-MSCA-2022-SE-01-01 CaLIGOLA, COST Action CaLISTA CA21109, GNFM-INdAM, INFN projects MMNLP and GAST.
The work of P.G. Grinevich was performed at the Steklov International Mathematical Center and supported by the Ministry of Science and Higher Education of the Russian Federation (agreement no. 075-15-2025-303).}}
%\subjclass{AMS Subject Classification {37K40, 37K20, 14H50, 14H70}}
%\keywords{Total positivity, KP2 equation, real solitons, M-curves}
\author{Simonetta Abenda\thanks{Dipartimento di Matematica, Universit\`a di Bologna and INFN Sezione di Bologna, Italy; e-mail: simonetta.abenda@unibo.it}, Petr G. Grinevich\thanks{Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia;
L.D. Landau Institute for theoretical Physics, of Russian Academy of Sciences Russia;
Lomonosov Moscow State University, Russia; grinev@mi-ras.ru}}
\maketitle
\abstract{${\mathtt{MM}}$-curves are rational degenerations of ${\mathtt{M}}$-curves, i.e. they are maximal Mumford in the sense that they posses $g$ tropical cycles and exactly $g+1$ real ovals, where $g$ is the arithmetic genus. For rational curves the ``naive'' definition of divisors as formal sums of points requires a refinement. In the finite-gap theory of KP II equation the real regular solutions correspond to the Dubrovin-Natanzon (DN) divisors on ${\mathtt{M}}$-curves. In the case of real regular multiline KP II solitons, it was shown by the authors that for any given solution there exists a normalization time such that the spectral data are smooth DN divisor on ${\mathtt{MM}}$-curve.
However, to show that DN divisors parameterize the full positroid cell, it is necessary to fix the normalization time and consider both smooth and non-smooth divisors. In this paper we start such an investigation, and show that on ${\mathtt{MM}}$-curves whose dual graphs are trivalent Le-graphs of totally positive Schubert cells, the construction of non-smooth DN divisors requires combinations of just two basic types of blow-ups.}
\section{Introduction}
Rational degenerations of algebraic curves naturally arise in many areas of mathematics, such as the theory of moduli spaces, quantum field theory and soliton theory. Our interest to this topic was originally motivated by the following problem. Regular real multisoliton solutions of the Kadamtsev-Petviashvili II (KP II) equation can be constructed using two different approaches. One can use some version of Darboux transform, and the spectral data are points of totally non-negative Grassmannians. These solutions can be also constructed as degenerations of the finite-gap ones, and this procedure uses proper degenerations of spectral curves. In \cite{AG1,AG3,AG4} we connected these two approaches and proved that any real regular multisoliton solution can be obtained from a real regular finite-gap one associated with an $\mathtt M$-curve and a divisor fulfilling the conditions found in \cite{Dubrovin1982,DubrovinNatanzon1988}. The theory of $\mathtt M$-curves and the procedure for constructing regular curves from the degenerate ones are discussed in details in \cite{Viro1990}.
A review of applications of degenerate spectral curves in soliton theory may be found in \cite{Taimanov2011}. An interesting application of degenerate curves is associated with the classical problem of constructing orthogonal coordinate systems. In \cite{Zakharov1998} Zakharov discovered that this problem can be treated using the inverse scattering method. In \cite{Krichever1997} Krichever suggested an algebro-geometric construction for orthogonal coordinate systems. However, the problem of constructing well-known classical orthogonal coordinate systems using this technique turned out to be very non-trivial, and its solution was obtained by Mironov and Taimanov in \cite{MironovTaimanov2006,MironovTaimanov2007}. The spectral curves used in these papers are unions of Riemann spheres with double points. Further applications of such spectral curves in geometrical problems were studied in many papers, including \cite{MironovSenningerTaimanov2023}, \cite{GlukhovMokhov2020}. In \cite{Tyurin2003} such curves are called ``maximally non smooth and reducible''. If these curves are, in addition, $\mathtt M$-curves, they are called maximal Mumford curves ($\mathtt{MM}$-curves) by Kummer, Sturmfels and Vlad \cite{KummerSturmfelsVlad2025}. $\mathtt{MM}$-curves are precisely the spectral curves studied in \cite{AG1,AG3,AG4} in connection with KP theory.
For regular Riemann surfaces divisors can be defined as formal sums of points with integer coefficients. But for degenerate curves this ``naive'' definition requires a refinement. The study of this problem was started by Knudsen and Mumford in \cite{KnudsenMumford1976,Knudsen1983,Knudsen1983_2}, the divisors and Jacobians of such curves were also discussed by Artamkin \cite{Artamkin2004,Artamkin2004_2,Artamkin2006}. These papers use the Cartier definition of divisors, and use the language of line bundles. However, for applications to soliton theory, it is more convenient to treat the divisor as a collection of points after applying some blow-up procedures.
First of all, let us recall that the KPII multiline soliton solutions are real and regular if and only if the soliton data belong to totally non-negative Grassmannians \cite{Malanyuk1991,KodamaWilliams2013}. In his seminal paper Postnikov \cite{Postnikov2006} constructed a cell decomposition of totally non-negative Grassmanians in terms of positroid cells, which are the Gelfand-Serganova strata \cite{GelfandSerganova1987}, intersected with the totally non-negative part of the Grassmannian. In \cite{Postnikov2006} these positroid cells are parameterized by equivalence classes of planar bicolored perfectly oriented graphs in the disk, carrying positive edge weights. In particular, in any such equivalence class, there always exits a graph, called the Le-graph, with minimal number of faces equal to 1 plus the dimension of the positroid cell.
In \cite{AG3} we used such Le-graphs to associate an $\mathtt{MM}$-curve to the soliton data belonging to the corresponding positroid cell, and the KP wave function was extended to this curve in a consistent way with a divisor fulfilling Dubrovin-Natanzon conditions. In \cite{AG4} we completed the construction by extending it to all graphs in a given equivalence class and proved the invariance of the divisor with respect to the gauge freedom of this construction.
To avoid problems associated with non-smooth divisors, in \cite{AG3,AG4} we used the freedom of selecting a normalization time. If one would like to parameterize the positroid cell in terms of divisors, it is necessary to fix a normalization time and consider both smooth and non-smooth divisors. This requires an efficient description of the admissible non-smooth divisors, and this problem is highly non-trivial. In this text we focus on the special case of $\mathtt{MM}$-curves, whose dual graphs are Le-graphs associated to Schubert positroid cells as defined in \cite{Postnikov2006}, see also the Appendix. Since for generic soliton data in a given positroid cell, the divisors are smooth and satisfy the Dubrovin-Natanzon reality and regularity conditions, we focus on the non-smooth limit of such divisors.
The simplest non-smooth limits are associated with two standard blow-ups, described in Section~\ref{sec:res_sing}. The main result of our paper (Theorem~\ref{thm:1}) is that for $\mathtt{MM}$-curves associated to Schubert positroid cells the construction of non-smooth divisors requires only these two simplest blow-ups.
We would like to end up this Introduction mentioning an open problem connected with tropical geometry and KP multiline real regular solitons, which we postpone for a future publication. Indeed, in the study of the dynamics of these solitons in $x,y$-space both for fixed $t$ and in the large $t$ limit, it was pointed out in \cite{BiondiniChakravarty2006,KodamaWilliams2014} that the maximas of these solitons are tropical curves in the sense of \cite{MikhalkinZharkov2008}, see also the book \cite{MikhalkinRau2018}. Since $\mathtt{MM}$-curves are tropical curves in the sense of \cite{KummerSturmfelsVlad2025}, it would be interesting to understand the relation between the tropical geometry associated with the KP dynamics and the tropical geometry of the spectral $\mathtt{MM}$-curves.
\section{Kadomtsev-Petviashvili-II equation, totally non-negative Grassmannians and ${\mathtt{MM}}$-curves}
The Kadomtsev-Petviashvili (KP) equation \cite{KP}
\begin{equation}\label{eq:KPs}
(-4u_t+6uu_x+u_{xxx})_x+ \alpha^2 u_{yy}=0,
\end{equation}
was originally derived as a universal model for wave propagation in weakly dispersive weakly non-linear systems with 2 spatial variables under the additional assumption that the system is quasi one-dimensional.
KP equation has two real forms. If $\alpha^2<0$, i.e. $\alpha$ is pure imaginary, the corresponding equation is known as KP-I; if $\alpha^2>0$, i.e. $\alpha$ is real, the corresponding equation is known as KP-II. In particular, equation (\ref{eq:KPs}) is used as model for water surface waves \cite{Osborne2010}. If the depth of the water is less than about a centimeter and the surface tension prevails, the wave motion is guided by KP-I; if the water is shallow, but much deeper than a centimeter, KP-II can be used (see \cite{Osborne2010}).
The analytic properties of the solutions of these two KP real forms essentially differ, and the study of these solutions require different mathematical tools.
In our paper we concentrate on the study of the Kadomtsev-Petviashvili-II equation, and for the sake of shortness we will call it KP. Without loss of generality we may assume that $\alpha^2=3$, therefore KP has the form
\begin{equation}\label{eq:KP}
(-4u_t+6uu_x+u_{xxx})_x+ 3 u_{yy}=0.
\end{equation}
Formally the KP equation was derived under the assumption that the $y$-dependence of the wave is much slower than the $x$-dependence, and this condition is not true for real surface water waves. Nevertheless the shape of real water waves is well-approximated by multisoliton KP solutions \cite{AblowitzBaldwin2012}.
KP equation is very interesting from the mathematical point of view, including its applications to Riemann-Schottky problem and the theory of the moduli spaces.
One of the KP key features is that it can be integrated using the inverse scattering transform (IST). The zero-curvature representation for KP was found by Druma \cite{Druma1973}, Zakharov and Shabat \cite{ZakharovShabat1974}
\begin{equation}\label{eq:KP-Lax}
(\partial_y -B_2)\Psi(P,x,y,t) =0, \qquad (\partial_t -B_3)\Psi(P,x,y,t) =0,
\end{equation}
$$
B_2 = \partial_x^2 + u, \ \ B_3= \partial_x^3 + \frac{3}{4}\bigg(\partial_x\circ u+ u\circ \partial_x\bigg) + w,
$$
$$
u=u(x,y,t), \quad w=w(x,y,t),\quad \partial_xw(x,y,t) = \frac{3}{4} \partial_yu(x,y,t).
$$
The IST method allows to construct many different classes of KP solutions. In this paper we focus on two such classes:
\begin{enumerate}
\item Multiline solitons.
\item Finite-gap solutions.
\end{enumerate}
\subsubsection{Multiline solitons}
Multiline solitons can be written explicitly in terms of Wronskian determinants \cite{Matveev1979}. Let ${\mathcal K}$ be a set of phases $\kappa_1$, \ldots, $\kappa_n$ (real or complex), and $A$ be a $k\times n$ matrix of maximal rank $k$; $A =( A^i_j )$, $1\le i \le k$, $1\le j \le n$.
Following \cite{Matveev1979}, let us define $k$ linearly independent solutions for the zero-curvature ``vacuum'' problem
(\ref{eq:KP-Lax}) with $u\equiv w \equiv 0$
$$
f^{(i)}(x,y,t) = \sum_{j=1}^n A^i_j \exp\left(k_j x +k_j^2 y + k_j^3 t\right), \ \ i=1,\ldots,k.
$$
Then
\begin{equation}\label{eq:KPsol}
u(x,y,t) = 2\partial_{x}^2 \log(\tau (x,y,t)), \ \ \mbox{where} \ \ \tau (x,y,t) = \mathrm{Wr}_{x}(f^{(1)},\dots, f^{(k)}),
\end{equation}
is a multiline soliton solution to (\ref{eq:KP}). Here $\mathrm{Wr}_{x}(f^{(1)},\dots, f^{(k)})$ denotes the Wronskian with respect to the variable $x$.
From the Cauchy-Binet formula it follows that
\begin{equation}\label{eq:KP-CB}
\tau (x,y,t)= \sum\limits_{I} \Delta_I (A)\prod_{\mycom{i_1<i_2}{ i_1,i_2 \in I}} (\kappa_{i_2}-\kappa_{i_1} ) \,
\exp\left( \sum\limits_{i\in I} (k_i x + k_i^2 y + k_i^3 t ) \right),
\end{equation}
where the sum is over all $k$--element ordered subsets $I$ in $\{1,2,\ldots,n\}$, i.e. $I=\{ 1\le i_1<i_2 < \cdots < i_k \le n\}$ and $\Delta_I (A)$ are the maximal minors of the matrix $A$ with respect to the columns $I$. Since linear operations on the rows of $A$ preserve the KP multisoliton solution $u(x,y,t)$ in (\ref{eq:KPsol}), this solution depends only on the \textbf{point of the Grassmannian} $Gr(k,n)$ represented by the matrix $A$. Let us recall that the minors $\Delta_I (A)$ are exactly the Pl\"ucker (projective) coordinates for this point in $Gr(k,n)$.
Therefore the IST data for multiline soliton solutions are:
\begin{enumerate}
\item ${\mathcal K}$ is a set of phases $\kappa_1$, \ldots, $\kappa_n$ (real or complex).
\item A point $[A]$ of the Grassmannian $Gr(k,n)$.
\end{enumerate}
\subsubsection{Finite-gap solutions}
The finite-gap method, first applied to KP equation by Krichever \cite{Krichever1976}, generates spatially periodic and quasiperiodic solutions. Following \cite{Krichever1976}, the IST data are:
\begin{enumerate}
\item A finite genus $g$ compact Riemann surface $\Gamma$ with a marked point $P_0$.
\item A local parameter $1/\zeta$ near $P_0$.
\item A non-special divisor $\mathcal D=\gamma_1+\ldots+\gamma_g$ of degree $g$ in $\Gamma$.
\end{enumerate}
For generic IST data there exists a unique function $\hat\psi(\gamma,x,y,t)$, $\gamma\in\Gamma$ with the following properties for fixed $(x,y,t)$:
\begin{enumerate}
\item $\hat\psi(\gamma,x,y,t)$ is meromorphic in $\gamma$ on $\Gamma\backslash P_0$.
\item $\hat\psi(\gamma,x,y,t)$ is holomorphic in $\gamma$ outside the points $P_0$, $\gamma_1$, \ldots, $\gamma_g$ and it may have at most first order poles at the points $\gamma_j$.
\item At the point $P_0$ the function $\hat\psi(\gamma,x,y,t)$ has an essential singularity such that
$$
\hat\psi(\gamma,x,y,t) = \left(1+ \frac{\chi_1(x,y,t)}{\zeta} +\frac{\chi_2(x,y,t)}{\zeta^2}+\ldots \right)
\exp\left(\zeta x + \zeta^2 y + \zeta^3 t \right),
$$
where the functions $\chi_j(x,y,t)$ are a priori unknown.
\end{enumerate}
Then the function
$$
u(x,y,t) = 2\partial_x \chi_1(x,y,t)
$$
satisfies the KP equation. This solution can be written explicitly using the Its-Matveev-Krichever formula:
$$
u(x,y,t) = 2\partial_x^2 \log \theta (x \vec W_1+y \vec W_2+t \vec W_3 + \vec C)+2 \hat \omega_{11},
$$
where
$$
\theta(z) = \theta(\vec z| B) = \sum\limits_{{n_j \in \ZZ} \atop {j=1,\ldots,g}} \exp\left[\pi i \sum_{k,l=1}^g B_{kl}n_kn_l + 2\pi i \sum_{k=1}^g z_k n_k \right],
$$
is the Riemann theta-function, $\vec W_1$, $\vec W_2$, $\vec W_3$, $\hat\omega_{11}$, $B_{kl}$ are defined in terms of the spectral curve, $\vec C$ is defined in terms of the spectral curve and the divisor.
As it was pointed out in \cite{Krichever1975}, soliton solutions can be obtained from the finite-gap ones by degenerating the spectral curves, but obtaining a finite-gap solution such that its limit is the given multiline one is a highly non-trivial task.
\subsubsection{Real regular solutions}\label{RealRegular}
If the KP equation is used as a model of wave propagation in weakly dispersive and weakly non-linear media, it is necessary to select \textbf{real regular} solutions.
As it was pointed out in \cite{Malanyuk1991}, to obtain real regular multiline solitons it is sufficient to start with the following IST data:
\begin{enumerate}
\item A set of $n$ real phases ordered in the ascendant way: $\kappa_1<\kappa_2<\cdots < \kappa_n$.
\item A point of a totally non-negative Grassmannian $\GTNN$.
\end{enumerate}
Indeed if these conditions are fulfilled, in (\ref{eq:KP-CB}) we have a sum of non-negative terms, and at least one of them is strictly positive. Therefore for real $x,y,t$, the function $\tau(x,y,t)$ is smooth and strictly positive, and $u(x,y,t)$ is real, smooth and bounded.
In \cite{KodamaWilliams2013} Kodama and Williams proved that these conditions are also necessary, and this proof is highly non-trivial.
The multiline solitons are the second logarithmic derivative of a sum of exponents. If there is only one dominant exponent in some space-time region, then the solution is close to zero. At the boundary between two regions there are two dominant exponents approximately of the same order, and the solution is approximately a line soliton. These line solitons may form very nontrivial patterns, see \cite{BiondiniChakravarty2006}, and, following \cite{KodamaWilliams2014}, one can treat the maxima of the solutions as tropical curves in the sense of the book \cite{MikhalkinRau2018}.
For the finite-gap KP solutions the sufficient conditions were found by Dubrovin \cite{Dubrovin1982}; in \cite{DubrovinNatanzon1988} Dubrovin and Natanzon proved that for regular curves these conditions are also necessary.
To construct real regular KP solutions it is necessary and sufficient that:
\begin{enumerate}
\item The curve $\Gamma$ is an ${\mathtt M}$-curve, i.e.
\begin{enumerate}
\item $\Gamma$ is real, i.e. it admits an antiholomorphic involution $\sigma:\Gamma\rightarrow\Gamma$.
\item The involution $\sigma$ has the maximal possible number $g+1$ of fixed ovals. The letter ${\mathtt M}$ means ``maximal''.
\end{enumerate}
\item The marked point $P_0$ is real, i.e. $\sigma P_0= P_0$. We denote the oval containing $P_0$ by $\Omega_0$, and the other ones by $\Omega_1$, \ldots, $\Omega_g$. We call the oval $\Omega_0$ \textbf{infinite} and all other ovals \textbf{finite}.
\item The local parameter $1/\zeta$ satisfies $\sigma\zeta=\bar\zeta$.
\item Each finite ovals $\Omega_j$, $j=1,\ldots,g$ contains exactly one divisor point, which we denote by $\gamma_j$.
\end{enumerate}
We shall call the divisors satisfying these conditions Dubrovin-Natanzon (DN) divisors.
\subsubsection{Real regular KP solitons and DN divisors on tropical limits of ${\mathtt M}$-curves}
The relevance of obtaining real regular soliton solutions from real regular finite-gap solutions was pointed out by S.P. Novikov. In our papers \cite{AG1,AG2,AG3,AG4} we proved that every \textbf{real regular} KP soliton solution can be obtained from \textbf{real regular} KP finite-gap solutions by a proper degeneration of the spectral curve ${\mathtt M}$-curve into an ${\mathtt{MM}}$-curve. These degenerated spectral curves can be treated as tropical curves in the sense of the papers \cite{AgostiniCelikStruweSturmfels2021,AgostiniFevolaMandelshtamSturmfels2023}, see also \cite{Ichikawa2023} and \cite{KummerSturmfelsVlad2025}.
Let us recall the main construction from the paper \cite{AG4} for the case of interest in this paper. As it is pointed out in Section~\ref{RealRegular}, a real regular bounded multiline KP soliton solution is generated by a set of $n$ real ordered phases ${\mathcal K} =\{ \kappa_1<\kappa_2<\dots<\kappa_n\}$ and a point $[A]$ in a totally non-negative Grassmannian. $[A]$ belongs to a positroid cell, and is represented by a Le-network \cite{Postnikov2006}, see also Appendix. Then the rational spectral curve $\Gamma$ is dual to the Le-graph. More precisely, if $d$ is the number of the 3-valent vertices of the Le-graph, the curve $\Gamma$ is the union of $d+1$ copies of $\mathbb{CP}^1$, the copy $\Gamma_0$ corresponds to the boundary of the disk, all other copies $\Gamma_j$, $j=1,\ldots,d$ correspond to the internal vertices of the graph; the edges of the graph correspond either to intersections between distinct components or nodal points (see \cite{AG4} for more details). For an example see Figure~\ref{fig:dual}. We assume that on $\mathbb{CP}^1$ components associated with 3-valent vertices the coordinates of the double points are $0$, $1$ and $\infty$ (see \cite{AG4} for details).
\begin{figure}[h]
\centering{\includegraphics[width=0.95\textwidth]{diagram_dual.pdf}
\caption{\small{\sl On the left: the Le-diagram discussed in the Appendix (see Figure~\ref{fig:appendix_7}). On the right: the real part of the corresponding curve $\Gamma$. $\Gamma$ is the union of 9 copies of $\mathbb{CP}^1$ ($\Gamma_0$, $W_1$, $W_2$, $W_3$, $W_4$, $W_5$, $B_1$, $B_2$, $B_3$). The component $\Gamma_0$ corresponds to the boundary of the disk, the other components correspond to the vertices of the graph and are labeled in the same way on the left and on the right. The boundary vertices 3 and 4 correspond to a nodal point. All other boundary vertices correspond to intersections of $\Gamma_0$ with other components. \label{fig:dual}} }}
\end{figure}
\begin{figure}[h]
\centering{\includegraphics[width=0.7\textwidth]{diagram_dual_2.pdf}
\caption{\small{\sl Top: we mark the faces of the Le-diagram of Figure~\ref{fig:dual}. Bottom: the real ovals in $\Gamma$ are the boundaries of the marked areas with the same labels. The infinite oval $\Omega_0$ is the boundary of the infinite area and contains the points $1$, $10$ and $P_0$. \label{fig:dual_2}} }}
\end{figure}
In Proposition~4.4 in \cite{AG4} we proved that $\Gamma$ is the rational degeneration of a genus $g$ ${\mathtt M}$-curve, where the $g+1$ ovals correspond to the faces of the graph (see Figure~\ref{fig:dual_2} as an example), i.e. $\Gamma$ is an ${\mathtt{MM}}$-curve in the sense of \cite{KummerSturmfelsVlad2025}.
Using the system of relations studied in \cite{AG3,AG5}, we proved that the KP wave function is extended from $\Gamma_0$ to $\Gamma$ and has the following properties:
\begin{enumerate}
\item It is a rational function of degree 1 in the spectral parameter on each $\mathbb{CP}^1$ component corresponding to a white internal vertex, and is constant on each $\mathbb{CP}^1$ component corresponding to a black internal vertex.
\item The value of the KP wave function at the nodes and intersection points is computed by solving linear relations on the corresponding edges of the graph. These systems of relations and their solutions are treated in details in \cite{AG5,AG6}.
\item For generic time $\vec t_0$ the divisor of zeroes of the KP wave function lies outside the double points, and each finite oval contains exactly one divisor point. Therefore the divisor is real regular in the sense of Dubrovin and Natanzon, and the solution can be obtained as a degeneration of a real regular finite-gap solution, associated to a non-singular ${\mathtt M}$-curve.
\end{enumerate}
For each given point of a positroid cell there exists a normalization time $\vec t_0$ such that the divisor is smooth, i.e. no divisor point coincides with a nodal point or a double point \cite{AG4}. Here we are interested in parametrizing the full positroid cell by Dubrovin-Natanzon divisors; therefore it is necessary to fix $\vec t_0$ and use both smooth and non-smooth divisors. The problem how to define non-smooth divisors on degenerate curves is non-trivial and requires a special investigation, which we treat in the following Sections.
\section{The basis of cycles and the corresponding basis of holomorphic differentials on an ${\mathtt{MM}}$-curve}
Let us recall the definition of holomorphic differentials on degenerate curves, see \cite{Tyurin2003,Artamkin2004}.
The define the Abel transform we need a canonical basis of $a$ and $b$ -- cycles as well as the corresponding basis of holomorphic differentials.
First of all, the $b$-cyles correspond to the finite faces of the plabic graph, and they are oriented clockwise. To simplify notations, we enumerate them from $1$ to $g$, where $g$ denotes the arithmetic genus of $\Gamma$. The $c$-cycles go around the edges. The $a$-cycles are integer linear combinations of $c$-cycles.
\begin{example}
For the graph in Figure~\ref{fig:basis2} we have the following expressions:
\begin{align}
c_1 = a_1, \ \ c_2 = a_2, \ \ c_3 = a_3 - a_1 \ \ c_4 = a_4 - a_1 \ \ c_5 = a_5 - a_3, \\
c_6 = a_6 - a_4, \ \ c_7 = a_7 - a_1,
\end{align}
therefore
\begin{align}
a_1 = c_1, \ \ a_2 = c_2, \ \ a_3 = c_3 + c_1 \ \ a_4 = c_4 + c_1 \\
a_5 = c_5 + c_3 + c_1, \ \ a_6 = c_6 + c_4 + c_1 , \ \ a_7 = c_7 + c_1,
\end{align}
\end{example}
\begin{figure}
\centering{\includegraphics[width=0.75\textwidth]{cell6_3_basis3.pdf}
\caption{\small{\sl A basis of $b$-cycles and $c$-cycles on $\Gamma$}}\label{fig:basis2}}
\end{figure}
In our text we use the following normalization for the canonical differential $\omega_k$ :
\begin{equation}
\oint_{a_j}\omega_k = 2\pi i \delta_{jk}.
\end{equation}
The canonical differential $\omega_k$ is defined in the following way (see \cite{Artamkin2004}):
\begin{enumerate}
\item If the cycle $b_k$ does not pass through a vertex (black or white), then the restriction of $\omega_k$ to the corresponding copy of $\mathbb{CP}^1$ is equal to zero.
\item If the cycle $b_k$ does not pass through any boundary vertex, then the restriction of $\omega_k$ to $\Gamma_0$ is equal to zero.
\item If the cycle $b_k$ passes through an internal vertex (black or white), the differential $\omega_k$ has exactly two first-order poles, with residue $1$ at the outgoing point and with residue $-1$ at the incoming point.
\item If the cycle passes through a boundary vertex, it has first-order poles on $\Gamma_0$ with residues $1$ at outgoing vertices and residues $-1$ at incoming vertices.
\end{enumerate}
\begin{example}
For the graph in Figure~\ref{fig:basis2} the differential $\omega_1$ has the following properties:
\begin{enumerate}
\item It is equal to zero at $\Sigma_1$ and $\Gamma_3$.
\item At all other components it has simple zeroes and poles. Let us compute $\omega_1$ restricted to $\Gamma_1$ (see Figure~\ref{fig:Rules0}). The intersection of the cycle $b_1$ with the component $\Gamma_1$ is the line connecting the points $1$ and $\infty$. The cycle $a_1$ goes around $\infty$. Therefore the restriction of the holomorphic form $\omega_1$ to the component $\Gamma_1$ is:
$$
\omega_1\bigg|_{\Gamma_1}=-\frac{dz}{z-1}.
$$
Proceeding in the same way on the other components one concludes that:
\begin{align*}
\omega_1&= \frac{dz}{z-1}-\frac{dz}{z}& \ \ &\mbox{on} \ \ \Sigma_3,\\
\omega_1&= \frac{dz}{z}& \ \ &\mbox{on} \ \ \Gamma_4,\\
\omega_1&= -\frac{dz}{z-1}& \ \ &\mbox{on} \ \ \Sigma_2\\
\omega_1&= \frac{dz}{z}& \ \ &\mbox{on} \ \ \Gamma_2,\\
\omega_1&= \frac{dz}{z-\kappa_2}- \frac{dz}{z-\kappa_1} & \ \ &\mbox{on} \ \ \Gamma_0.\\
\end{align*}
\end{enumerate}
\begin{figure}[h]
\centering{\includegraphics[width=0.3\textwidth]{one_sphere.pdf}
\caption{\small{\sl The intersection of the cycles $b_1$ and $a_1$ with $\Gamma_1$ of Figure~\ref{fig:basis2}. \label{fig:Rules0}}}}
\end{figure}
\end{example}
It is convenient to define the Abel transform of the divisor in a slightly non-standard way.
\begin{definition}\label{def:1}
Let ${\cal D} = \gamma_1+\ldots +\gamma_g$, where $g$ is the arithmetic genus of $\Gamma$. Let us recall that all divisor points are located at the components $\Gamma_0$, $\Gamma_1$, \ldots, $\Gamma_{g-k}$, and if $j>0$, then the component $\Gamma_j$ contains exactly one divisor point. Let the cycle $b_l$ pass through the components $\Gamma_{j_1}$, \ldots, $\Gamma_{j_{r_l}}$. Then
\begin{equation}
A_l({\cal D}) = \sum_{\gamma_s\in\Gamma_0}\int_{\infty}^{\gamma_s}\omega_l\big|_{\Gamma_0}+ \sum_{{j_s\ne 0}\atop {j_s\in\{j_1,\ldots,j_{r_l} \}}} \int_{P_{0,j_s}}^{\gamma_{j_s}}\omega_l\big|_{\Gamma_{j_s}},
\end{equation}
where $P_{0,j_s}$ denotes the unique marked point on $\Gamma_{j_s}$ through which the cycle $b_l$ does not pass.
\end{definition}
A divisor $\cal D$ satisfies the DN condition iff
$$
\Im A_l({\cal D}) = \pi \mod(2 \pi) \ \ \mbox{for all} \ \ l=1,\ldots, g.
$$
\section{Resolution of singularities}\label{sec:res_sing}
If $\Gamma$ is a regular $M$-curve, the Abel map is regular in both directions on the DN component. But for the rational curves, such as the ${\mathtt{MM}}$-curves considered in out paper, the definition of divisor requires some refinement.
Let us recall that for these curves, the Jacobian has more then one connected component. As explained in the previous Section, for a generic normalization point the divisor corresponding to a real regular solution lies in the finite ovals outside intersection and nodal points. Moreover, there is exactly one divisor point in each finite oval, i.e. the divisor satisfies DN condition. The Abel transform for this divisor is finite and remains finite for all finite $(x,y,t)$. Therefore, if the Abel transform of a point lies in the open interior of one of these Jacobian components, for all finite $x,y,t$ the Abel transform of its KP trajectory remains inside the open interior of this component.
We remark that, nevertheless, the divisor point may reach double points in finite time. Let us illustrate this through an example. Consider the curve in Figure~\ref{fig:basis3} (left), describing the KP-2 soliton solutions in the 7-dimensional positroid cell of $Gr^{\mbox{\tiny TNN}} (3,7)$, represented by the Le-diagram in Figure~\ref{fig:basis3} (right).
\begin{figure}[H]
\centering{\includegraphics[width=0.65\textwidth]{cell6_3_basis4.pdf}\hspace{0.5cm}
{\includegraphics[width=0.25\textwidth,trim= 0 -3cm 0 0 ]{diagram7.3.pdf}}
\caption{\small{\sl An admissible divisor on $\Gamma$}}\label{fig:basis3}}
\end{figure}
Consider the edge connecting $\Gamma_0$ and $\Gamma_4$ and the components of the Abel transform $A_6({\cal D})$ and $A_7({\cal D})$.
By definition,
\begin{align}
&\omega_6 = -\frac{d\gamma}{\gamma-1} + O(1), \ \omega_7= \frac{d\gamma}{\gamma-1} + O(1), \ \mbox{at} \ \Gamma_4 \ \mbox{near the point} \ \gamma=1,\\
&\omega_6 = \frac{d\gamma}{\gamma-\kappa_5} + O(1), \ \omega_7= -\frac{d\gamma}{\gamma-\kappa_5} + O(1), \ \mbox{at} \ \Gamma_0 \ \mbox{near the point} \ \gamma=\kappa_5.
\end{align}
Therefore when $\gamma_4$ and $\gamma_6$ lie near the double point, we have
$$
A_6({\cal D}) =\log\left(\frac{\gamma_6-\kappa_5}{\gamma_4-1}\right) + O(1), \ \
A_7({\cal D}) =\log\left(\frac{\gamma_4-1}{\gamma_6-\kappa_5}\right) + O(1).
$$
If all divisor points except $\gamma_4$ lie outside double points and $\gamma_4\rightarrow 1$, then $A_6({\cal D})\rightarrow\infty$ and $A_7({\cal D})\rightarrow\infty$, all other components of the Abel transform remain finite. The limit $\gamma_4=1$ means that we reached the boundary of the corresponding Jacobian component, and the boundary of the positroid cell which is of lower dimension. In terms of the spectral curve it means that we ``unglue'' the double point (see Figure~\ref{fig:degen1}). Such situation never happens in KP dynamics.
\begin{figure}[H]
\centering{\includegraphics[width=0.75\textwidth]{cell6_3_degen1.pdf}
\caption{\small{\sl The ``ungluing'' of the double point connecting $\Gamma_4$ and $\Gamma_0$ when $\gamma_4\rightarrow 1$.}}\label{fig:degen1}}
\end{figure}
\begin{remark}
In the papers \cite{GrinevichTaimanov2007,GrinevichTaimanov2008} it was shown that if one considers Melnikov-type equations, associated in particular with conformal transformations of surfaces in $\RR^4$, the ungluing of double points may happen in finite time.
\end{remark}
On the contrary, if the two divisor points $\gamma_4$ and $\gamma_6$ simultaneously go to point $1$ in $\Gamma_4$ and point $\kappa_5$ in $\Gamma_0$ respectively, and the ratio
$$
\frac{\gamma_4-1}{\gamma_6-\kappa_5}
$$
has finite non-zero limit, then the Abel transform remains finite, and such situation may occur during KP dynamics. In such a case we have to apply the standard blow-up procedure near this point (see Figure~\ref{fig:sing2}):
\begin{equation}
\RR^2 \rightarrow \RR^2\times \RR P^1, \ \ \big(\gamma_4,\gamma_6\big)\rightarrow \big(\gamma_4,\gamma_6,(\gamma_4-1):(\gamma_6-\kappa_5) \big)
\end{equation}
\begin{figure}[H]
\centering{\includegraphics[height=3.5cm]{sing2.pdf}\hspace{0.5cm}\includegraphics[height=5cm]{resol1.pdf}\hspace{0.5cm}\includegraphics[height=5cm]{resol2.pdf}
\caption{\small{\sl On the left: the divisor points $\gamma_4$ and $\gamma_6$ simultaneously pass through the double point; in the middle: the resolution of singularity for this pair of divisor points; on the right: the positions of divisor points $\gamma_4$, $\gamma_6$ satisfying the DN reality regularity condition.}}\label{fig:sing2}}
\end{figure}
The second basic singular configuration of the divisor points corresponds to the following situation. Assume that we have a component corresponding to a 3-valent black vertex, and 3 divisor points simultaneously approach the opposite ends of the edges connected to it. For the configuration presented at Figure~\ref{fig:basis3} it may happen at the component $\Sigma_1$ (see Figure~\ref{fig:sing3}).
If the ratios
$$
\frac{\gamma_2-1}{\gamma_5-\kappa_3}, \ \ \frac{1/\gamma_3}{\gamma_5-\kappa_3},
$$
have finite non-zero limits, the Abel transform remain finite, and we have to apply the standard blow-up procedure near this point:
\begin{equation}
\RR^3 \rightarrow \RR^3\times \RR P^2, \ \ \big(\gamma_2,1/\gamma_3,\gamma_5\big)\rightarrow \big(\gamma_2,1/\gamma_3,\gamma_5,(\gamma_2-1):(1/\gamma_3):(\gamma_5-\kappa_3) \big).
\end{equation}
\begin{figure}[H]
\centering{\includegraphics[height=4.5cm]{sing3.pdf}
\caption{\small{\sl 3 divisor points $\gamma_2$, $\gamma_3$ and $\gamma_5$ simultaneously pass through a triple point.}}\label{fig:sing3}}
\end{figure}
\begin{remark}
In the example of Figure~\ref{fig:basis3} the two non-smooth divisor configurations described above may happen simultaneously. In general, it is natural to expect that several degenerations of this type may occur simultaneously.
\end{remark}
It is natural to ask whether more complicated singular configurations of divisors may take place. It is clear that, if we do not impose the reality and regularity conditions, more complicated degenerations can happen.
In the next Section we prove that, if the positroid cell is a totally positive Schubert cell and the ${\mathtt{MM}}$-curve is dual to its Le-graph, then the only singular divisor configurations which may occur are the ones described in this Section.
\section{The main theorem}
\begin{theorem}\label{thm:1}
Let $\Gamma$ be an ${\mathtt{MM}}$-curve dual to the Le-graph of a totally-positive Schubert cell, i.e. all entries of the corresponding Young diagram are filled; let the divisor $\cal D$ satisfy the Dubrovin-Natanzon (DN) condition. Then:
\begin{enumerate}
\item For any collection of times $\vec t$ the Krichever wave function does not vanish identically at any $\mathbb{CP}^1$ component associated to a white vertex.
\item Only the two basic types of non-smooth divisor configurations described in Section~\ref{sec:res_sing} may occur.
\end{enumerate}
\end{theorem}
\begin{remark}
The statement of this Theorem essentially uses the DN conditions on the curve and divisor. For more generic divisors as well as for divisors on more generic degenerate curves it is natural to expect more complicated configurations of non-smooth divisors.
\end{remark}
\begin{definition}
Let us call two $\mathbb{CP}^1$ components of $\Gamma$ \textbf{directly connected} if they have a common double point. In terms of the graph it means that the corresponding vertices are connected by an edge.
\end{definition}
To prove Part~1 of the Theorem we assume that for some collection of times $\vec t_0$ the Krichever wave function $\hat\psi(\gamma,\vec t_0)$ vanishes identically in $\gamma$ at some $\mathbb{CP}^1$ components associated to white vertices. The following Lemmas provide some constraints on the possible configurations of these components. Finally we show that these constraints are incompatible with the DN conditions on the divisor.
Let us introduce some useful terminology. Let $\vec t_0$ be such that the wave function $\hat\psi(\gamma,\vec t_0)$ vanishes at some $\mathbb{CP}^1$ components corresponding to white vertices. Then we mark all vertices (white and black) corresponding to components at which $\hat\psi(\gamma,\vec t_0)$ vanishes identically; and we mark all edges for which at least one end is marked. In our Figures we use blue color to mark such vertices and edges.
Then the collections of marked vertices and edges have the following properties:
\begin{lemma}\label{lem:01}
\begin{enumerate}
\item Let $\Gamma_1$ be a marked white vertex. Then all black vertices directly connected to $\Gamma_1$ by an edge are also marked.
\item Let $\Gamma_1$ be a white vertex, and at least two vertices directly connected with $\Gamma_1$ are marked. Then $\Gamma_1$ is also marked.
\end{enumerate}
\end{lemma}
The proof is omitted because it directly follows from the properties of the wave function. Indeed, at each $\mathbb{CP}^1$ component corresponding to a white vertex, the wave function $\hat\psi(\gamma,\vec t)$ is a degree 1 meromorphic function of $\gamma$, and it either has exactly one zero, or vanishes identically. At each $\mathbb{CP}^1$ component corresponding to a black vertex, the wave function is constant in $\gamma$.
As a corollary, if an edge connects a marked component to a non-marked one, then necessarily the non-marked component either corresponds to a white vertex, or to $\Gamma_0$. In both cases, there is a divisor point at the non-marked end which we color red in the Figures. An example is presented in Figure~\ref{fig:marked1}.
\begin{figure}[H]
\centering{\includegraphics[width=0.95\textwidth]{cell16_6_schubert_area0.pdf}
\caption{\small{\sl Example of the Le-graph of a totally positive Schubert cell with marked vertices and edges. In the current Figure marked vertices and edges are colored blue. If an edge connects a marked component to a non-marked one, we have a divisor point (marked red) at the non-marked end. }}\label{fig:marked1}}
\end{figure}
\begin{lemma}\label{lem:2}
\begin{enumerate}
\item Let the white vertices $\Gamma_1$, $\Gamma_2$ and $\Gamma_3$ lie in the same row and be consecutive as in Figure~\ref{fig:lemma2} left. If both $\Gamma_1$ and $\Gamma_3$ are marked, then $\Gamma_2$ is also marked.
\item Let $\Gamma_2$ be a marked white vertex, $\Gamma_1$ lie in the same row and be the closest to $\Gamma_2$ either at its left or at its right, and let $\Gamma_3$ lie in the next row between $\Gamma_1$ and $\Gamma_2$ (see Figure~\ref{fig:lemma2} middle and right). Then either both $\Gamma_1$ and $\Gamma_3$ are marked, or both of them are not marked.
\end{enumerate}
\end{lemma}
\begin{figure}[H]
\centering{\includegraphics[width=0.95\textwidth]{lemma1.pdf}
\caption{This Figure illustrates Lemma~\ref{lem:2}.}\label{fig:lemma2}}
\end{figure}
The proof immediately follows from Lemma~\ref{lem:01}.
\begin{lemma}\label{lem:3}
The white vertices in the upper row of the diagram and the white vertices located at the left end of each row are never marked.
\end{lemma}
\textbf{Proof of Lemma~\ref{lem:3}.}
If the divisor satisfies the DN conditions, then the wave function in Krichever normalization $\hat\psi(\gamma,\vec t)$ is real and strictly positive at the infinite oval. The infinite oval passes through all components corresponding to the white vertices in the upper row; therefore these vertices cannot be marked. If a white vertex is located at the left end of a given row, then the corresponding component is connected to a black vertex intersecting the infinite oval, and this white vertex cannot be marked. \qed
\medskip
We illustrate Lemma~\ref{lem:3} in Figure~\ref{fig:lemma3.2}.
\begin{figure}[H]
\centering{\includegraphics[width=0.75\textwidth]{lemma3.pdf}
\caption{The infinite oval is painted magenta. At the points marked magenta the wave function is strictly positive for any $\vec t$. At the components marked yellow the wave function never vanishes identically in the spectral parameter.}\label{fig:lemma3.2}}
\end{figure}
\textbf{Proof of Part~1 of the main Theorem.} Let us start from the simplest case of one isolated marked white vertex,
see Figure~\ref{fig:marked0}. By Lemma~\ref{lem:01} all black vertices directly connected to this white one are also marked. If an edge connects a marked black vertex either to a non-marked white one or to a boundary vertex, then this edge is also marked, and a divisor point is located at the end of the edge at the non-marked component. These divisor points are marked red in Figure~\ref{fig:marked0}. The faces surrounding the marked area are colored salad green. Each red divisor point is located at the edge between two such faces; therefore the total number of green faces is equal to the total number of red divisor points.
\begin{figure}[H]
\centering{\includegraphics[width=0.9\textwidth]{small_schubert_area.pdf}
\caption{\small{\sl This Figure illustrate the case of one isolated marked white vertex. This vertex and the black vertices adjacent to this white one are marked blue and enclosed by a blue polygon. The faces surrounding this marked area are colored salad green.}}\label{fig:marked0}}
\end{figure}
For generic time $\vec t_0$ no divisor point lies at the double points of $\Gamma$. Therefore a small generic perturbation will move these red divisor points inside green areas, and each green area contains exactly one red divisor point. Therefore only two possible shifts of divisor points are compatible with the DN conditions; one is colored green in Figure~\ref{fig:marked0}, the other one is colored magenta. As a consequence, no position of the divisor point at the marked white vertex is compatible with the DN conditions. We come to a contradiction, and it ends the proof in this special case.
Let us consider the general situation when more than one white vertex is marked in some connected region. We shall proceed inside the marked area from top to bottom, and we move within a row from left to right.
We also use following notations. If $\Gamma^{i}_{j-1}$, $\Gamma^{i}_j$ are two subsequent white vertices on row $i$, and there exists a white vertex in the next row $i+1$ lying between $\Gamma^{i}_{j-1}$ and $\Gamma^{i}_j$, then we denote it by $\Gamma^{i+1}_j$ (see, for example, Figure~\ref{fig:lemma4}).
Let us prove the following:
\begin{lemma}\label{lem:4}
Let $\Gamma^{i}_1$,\ldots, $\Gamma^{i}_r$, be subsequent white vertices in the row $i$ such that:
\begin{enumerate}
\item All of them are marked;
\item The white vertex $\Gamma^{i}_0$ preceding $\Gamma^{i}_1$ in this row is not marked;
\item Either the white vertex $\Gamma^{i}_{r+1}$ next to $\Gamma^{i}_r$ in this row is not marked, or $\Gamma^{i}_r$ is the last white vertex in the row $i$.
\end{enumerate}
Then:
\begin{enumerate}
\item If none of $\Gamma^{i}_1$,\ldots, $\Gamma^{i}_r$ are directly connected to the boundary, then
\begin{enumerate}
\item The white vertex $\Gamma^{i+1}_1$ exists and is not marked.
\item The white vertices $\Gamma^{i+1}_2$, \ldots, $\Gamma^{i+1}_r$ exist and are marked.
\item If a white vertex $\Gamma^{i+1}_{r+1}$ lying next to $\Gamma^{i+1}_r$ exists, it is not marked.
\end{enumerate}
We illustrate this case in Figures~\ref{fig:lemma4},~\ref{fig:lemma4.2}.
\begin{figure}[H]
\centering{\includegraphics[width=0.9\textwidth]{medium_schubert_area.pdf}
\caption{\small{\sl This Figure illustrates Lemma~\ref{lem:4} case 1. Internal faces of the marked area between the rows $i$ and $i+1$ are marked blue. $\Gamma^{i}_r$ is not the last white vertex in the row $i$. \label{fig:lemma4}}} }
\end{figure}
\begin{figure}[H]
\centering{\includegraphics[width=0.9\textwidth]{medium_schubert_area2.pdf}
\caption{\small{\sl This Figure illustrates Lemma~\ref{lem:4} case 1. Internal faces of the marked area between the rows $i$ and $i+1$ are marked blue. $\Gamma^{i}_r$ is the last white vertex in the row $i$. \label{fig:lemma4.2}}} }
\end{figure}
\item Let $\Gamma^{i}_s$ be the first vertex directly connected to the boundary, and $s>2$ then:
\begin{enumerate}
\item The white vertex $\Gamma^{i+1}_1$ exists and is not marked.
\item All white vertices $\Gamma^{i}_j$, $j>s$ are also directly connected to the boundary.
\item The white vertices $\Gamma^{i+1}_2$, \ldots, $\Gamma^{i+1}_{s-1}$ exist and are marked.
\item The white vertex $\Gamma^{i+1}_{s-1}$ is the last one in the row $i+1$.
\end{enumerate}
We illustrate this case in Figure~\ref{fig:lemma4.3}.
\begin{figure}[H]
\centering{\includegraphics[width=0.9\textwidth]{medium_schubert_area3.pdf}
\caption{\small{\sl This Figure illustrates Lemma~\ref{lem:4} case 2. Internal faces of the marked area between the rows $i$ and $i+1$ are marked blue. $\Gamma^{i}_s$ is the first white vertex in the row $i$ directly connected to the boundary. \label{fig:lemma4.3}}} }
\end{figure}
\item Let $\Gamma^{i}_2$ be the first vertex directly connected to the boundary, then:
\begin{enumerate}
\item The white vertex $\Gamma^{i+1}_1$ exists and is not marked.
\item The white vertex $\Gamma^{i+1}_1$ is the last one in the row $i+1$.
\end{enumerate}
We illustrate this case in Figure~\ref{fig:lemma4.5}.
\begin{figure}[H]
\centering{\includegraphics[width=0.9\textwidth]{medium_schubert_area5.pdf}.
\caption{\small{\sl This Figure illustrates Lemma~\ref{lem:4} case 3. $\Gamma^{i}_2$ is the first white vertex in the row $i$ directly connected to the boundary. No faces between the rows $i$ and $i+1$ are marked.\label{fig:lemma4.5}}} }
\end{figure}
\item If $\Gamma^{i}_1$ is directly connected to boundary, there are no marked components in the row $i+1$ between $\Gamma^{i}_0$ and $\Gamma^i_r$. (see Figure~\ref{fig:lemma4.4}).
\begin{figure}[H]
\centering{\includegraphics[width=0.9\textwidth]{medium_schubert_area4.pdf}
\caption{\small{\sl This Figure illustrates Lemma~\ref{lem:4} case 4.\label{fig:lemma4.4}}} }
\end{figure}
\end{enumerate}
\end{lemma}
The proof of Lemma~\ref{lem:4} follows immediately from Lemmas~\ref{lem:01}-\ref{lem:3}.
From Lemma~\ref{lem:4} it immediately follows:
\begin{corollary}\label{cor:1}
\begin{enumerate}
\item The number of internal faces in a connected marked area between lines $i$ and $i+1$ is equal to the number of marked white vertices in row $i+1$ belonging to this marked area.
\item The number of marked internal faces between the lines $i$ and $i+1$ is less than the number of marked white vertices in row $i$.
\item The number of internal faces of the marked areas is smaller than the number of marked white vertices.
\end{enumerate}
\end{corollary}
Let us return to the proof of Part~1 of the main Theorem. Consider a connected marked area. Let $i_0$ be the first row of this area,
and let a connected component of the marked part of this row contain white vertices $\Gamma^{i_0}_1$, $\Gamma^{i_0}_r$ enumerated from left to right. Then, using Lemma~\ref{lem:4} we can move down row by row, and at each step we obtain a connected component, which is located below the component from the previous row, and is shorter. Therefore each connected component of the marked set has a triangular shape. The number of faces surrounding this component of the marked area is equal to the number of edges, connecting this component either to $\Gamma_0$, or to non-marked white components. If an edge connects the marked area to boundary $\Gamma_0$, we have a divisor point at $\Gamma_0$ at the corresponding boundary point; analogously, if an edge connects the marked area to non-marked white component, we have a divisor point at this non-marked component at the corresponding point.
Applying a small shift of time, we can obtain a generic configuration, and we see that all divisor points corresponding to the boundary faces, are located in the non-marked area. By DN condition we have exactly one divisor point at each face, therefore all divisor points at the white vertices from the marked area shall correspond to the internal faces of the marked area. By Corollary~\ref{cor:1}, the number of these internal faces from this component is smaller then the number of marked white vertices from this component. We obtained a contradiction.
Part~1 of Theorem is proven.
\medskip
\begin{figure}[h]
\centering{\includegraphics[width=0.95\textwidth]{cell16_6_schubert_area.pdf}
\caption{\small{\sl One connected component of the marked region is enclosed by a blue polygon. The faces surrounding this marked area are colored salad green. Internal faces of the marked area are colored blue. \label{fig:marked2}} }}
\end{figure}
To prove Part~2, let us remark the following. First of all, two components corresponding to black vertices can be directly connected only if these vertices are located at the left end of consecutive rows of the Le-diagram. Two components corresponding to white vertices can be be directly connected only if these vertices lie in the upper row of the Le-diagram. From Lemma~\ref{lem:3} we know that on these components the wave function is real and strictly positive.
Assume that a divisor point reached a double point on either a $\mathbb{CP}^1$ component corresponding to a white vertex or on $\Gamma_0$. There are two possible situations:
\begin{enumerate}
\item The corresponding edge connects $\mathbb{CP}^1$ component corresponding to a white vertex and $\Gamma_0$.
\item The corresponding edge connects this point to a $\mathbb{CP}^1$ component corresponding to a trivalent black vertex.
\end{enumerate}
In the first case, from Part~1 we know that at both components the wave function does not vanish identically, therefore we have divisor points at both ends of the edge, i.e. we have a singular divisor of the fist type.
In the second case, the wave function does not vanish identically at all components connected to $\mathbb{CP}^1$ component corresponding to a trivalent black vertex, therefore we have 3 divisor points at the ends of the edges, i.e. we have a singular divisor of the second type.
This completes the proof of the Theorem.
\begin{appendices}
\section{Totally non-negative Grassmannians and Le-networks}
In our paper we represent points of the Grassmannian $Gr(k,n)$, $k<n$, by $k\times n$ matrices of maximal rank $k$. We denote the equivalence class of the matrix $A$ with respect to the standard left action of $GL(k)$ by $[A]$.
Let us recall
\begin{definition}
A point $[A]$ of the \textbf{real} Grassmannian $Gr(k,n)$ belongs to $\GTNN$, its totally non-negative part, if all non-zero maximal minors of $A$ (Pl\"ucker coordinates) share the same sign. Without loss of generality we may assume that all minors of $A$ are non-negative.
\end{definition}
\subsubsection{Positroid cells}
Our construction of ${\mathtt{MM}}$-curves is based on the positroid cell decomposition of $\GTNN$, constructed by A. Postnikov in \cite{Postnikov2006}.
\begin{definition}
Positroid cells are the sets of points of a totally non-negative Grassmannian sharing the same sets of strictly positive maximal minors (Pl\"ucker coordinates). Equivalently, the positroid cells are the intersections of Gelfand-Serganova strata \cite{GelfandSerganova1987} with the totally non-negative part of the Grassmannians.
\end{definition}
Let us recall the combinatorial description of the positroid cells introduced in \cite{Postnikov2006}.
Each point of the Grassmannian can be uniquely represented by a matrix in reduced row echelon form using Gauss reduction, and it is represented by a Young tableau. The submatrix associated with the pivot columns of the reduced row echelon form
the $k\times k$ identity matrix. In the l-th row of the matrix the elements which are located in the non-pivot columns to the right of the l-th pivot column may take non-zero values. To such point of the Grassmannian we associate a Young diagram in the English notation. The number of boxes in the l-th row of this Young diagram is equal to the number of non-pivot columns to the right of the $l$-th pivot one. If the south-eastern boundary of the Young diagram is enumerated from $1$ to $n$ in the increasing order from the north-est to the south-west, then the vertical edges label the pivot columns and the horizontal edges label the non-pivot columns.
Each Schubert cell is the set of all Grassmannian points sharing the same Young diagram, and the dimension of the cell is equal to the number of boxes in this diagram.
In Figure~\ref{fig:appendix_1} we show an example of a 16-dimensional Schubert cell in $Gr(4,10)$ and its Young diagram.
\begin{figure}[H]
\centering{
\resizebox{9.3cm}{!}{%
$
\begin{bmatrix}
1 & a_{1\,2} & 0 &a_{1\,4} & a_{1\,5} & 0 & a_{1\,7} & 0 & a_{1\,9} & a_{1\,10}\\
0 & 0 & 1 & a_{2\,4} & a_{25} & 0 & a_{2\,7} & 0 & a_{2\,9} & a_{2\,10} \\
0 & 0 & 0 & 0 & 0 & 1 & a_{3\,7} & 0& a_{3\,9} & a_{3\,10}\\
0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 &a_{4\,9} & a_{4\,10}
\end{bmatrix}
$
}
\hspace{2mm}\parbox{4cm}{\vphantom{t}\\ \includegraphics[width=3.8cm]{diagram0.pdf}}
\caption{\small{\sl On the left: A matrix representing a point in $Gr(4,10)$ written in reduced row echelon form. On the right: the corresponding Young diagram (English notation). Pivot columns are 1, 3, 6, 8; non-pivot columns are 2, 4, 5, 7, 9, 10. \label{fig:appendix_1}} }}
\end{figure}
Following \cite{Postnikov2006}, a positroid cell is represented by a Young diagram filled by zeroes and ones fulfilling the Le-rule: if a box contains a zero then either all boxes in the same row to the left are filled by zeros or all boxes in the same column above are filled by zeros. We call a Young tableau satisfying the Le-rule \textbf{Le tableau.}
\begin{figure}[H]
\centering{
\includegraphics[width=4cm]{diagram1.pdf}\hspace{1cm}\includegraphics[width=4.5cm]{forbidden1.pdf}
\caption{\small{\sl On the left: a Young diagram filled by zeroes and ones complying the Le-rule; on the right: a configuration forbidden by the Le-rule. }}}\label{fig:appendix_2}
\end{figure}
\begin{definition}
The positroid cells represented by Young diagrams filled only by ones are called \textbf{totally positive Schubert cells.}
\end{definition}
\begin{figure}[H]
\centering{
\includegraphics[width=4cm]{diagram1_ter.pdf}
\caption{\small{\sl An example of a totally positive Schubert cell.} \label{fig:appendix_3}} }
\end{figure}
Each point in the positroid cell is represented by a Young tableau where ones are substituted by positive weights \cite{Postnikov2006}. In fact, the construction from a \cite{Postnikov2006} provides a birational parametrization of positroid cells in terms of Le-networks.
\begin{figure}[H]
\centering{
\includegraphics[width=4cm]{diagram1_bis.pdf}
\caption{\small{\sl A Le tableau representing a point on $Gr^{\mbox{\tiny TNN}} (4,10)$} \label{fig:appendix_4}} }
\end{figure}
Let us recall now the construction of the Le-graph associated with the Young tableau, acting step by step.
\begin{enumerate}
\item We erase the zeroes from the boxes of the Young tableau and keep the positive weights.
\item We put a boundary vertex to the middle of each edge of the south-eastern boundary.
\item We put an internal vertex in the middle of each box containing a positive weight.
\item From each internal vertex we draw an edge connecting it to the next vertex to the right, oriented from right to left, and assign the weight from this box to such edge.
\item From each internal vertex we draw an edge connecting it to the next vertex below, oriented downward, and assign weight $1$ to such edge. In the Figures we do not draw unit weights on vertical edges.
\end{enumerate}
In this way we construct an acyclically oriented planar network in the disk. The boundary of the disk corresponds to the boundary of the Young diagram.
\begin{figure}[H]
\centering{
\includegraphics[height=5cm]{diagram2.pdf}
\caption{\textit{The planar network associated to the Le-tableau of Figure~\ref{fig:appendix_4}}}\label{fig:appendix_5}.}
\end{figure}
The boundary vertices corresponding to the pivot columns are called \textbf{sources}, and the boundary vertices corresponding to the non-pivot columns are called \textbf{sinks}. In Figure~\ref{fig:appendix_5} the boundary vertices $1,3,6,8$ are sources and the boundary vertices $2,4,5,7,9,10$ are sinks.
The next step is to transform this Le-network into a perfectly oriented planar bicolored network in the disk with internal vertices of valency 3.
\begin{enumerate}
\item We eliminate all internal bivalent vertices, and we assign to the new edge the product of weights on the original edges.
\item If a trivalent vertex has one incoming edge, we color it white.
\item If a trivalent vertex has one outgoing edge, we color it black.
\item We replace the four-valent vertex by a pair of black and white ones as in Figure~\ref{fig:appendix_6}; we keep the weights at the old edges and assign the unit weight to the new one.
\end{enumerate}
\begin{figure}[H]
\centering{
\includegraphics[height=3cm]{diagram6.pdf}
\caption{\textit{The transformation of the network near a four-valent vertex.} \label{fig:appendix_6} }}
\end{figure}
\begin{figure}[H]
\centering{
\includegraphics[height=5cm]{diagram7.pdf}
\caption{\textit{The result of transforming the planar network in Figure~\ref{fig:appendix_5}.} \label{fig:appendix_7} }}
\end{figure}
Let us recall the formulas from \cite{Postnikov2006} expressing the elements of the reduced row echelon form matrix $A$ in terms of the weights $t_{ij}$. Let us denote the numbers of pivot columns by $i_r$, $1\le r \le k$, $i_1<i_2\ldots<i_k$.
For the pivot columns we have
$$
A_{l,i_r}=\delta_{l,r}.
$$
For the non-pivot columns we have
\begin{equation}\label{eq:bmm}
A_{lj} := (-1)^{\sigma(i_l,j)} \sum\limits_{P:b_{i_l}\mapsto b_j} w(P),
\end{equation}
where the sum is over all directed paths from the source $b_{i_l}$ to the sink $b_j$, $w(P)$ is the product of the edge weights of $P$, and $\sigma(i_l,j)$ is the number of sources strictly between $i_l$ and $j$.
\begin{remark}
It is well-know that Schubert cells provide CW decomposition of the classical Grassmannians. In \cite{PostnikovSpeyerWilliams2009} it was shown that the positroid cells also form a CW-complex; in \cite{GalashinKarpLam2018} it was shown that $\GTNN$ is homeomorphic to a ball of dimension $k\times(n-k)$.
\end{remark}
\end{appendices}
\begin{thebibliography}{00}
\bibitem{AG1} Abenda S., Grinevich P.G., ``Rational degenerations of $M$-curves, totally positive Grassmannians and KP--solitons'', \textit{Commun. Math. Phys.,} \textbf{361}:3 (2018) 1029--1081.
\bibitem{AG2} Abenda S., Grinevich P.G., ``Real soliton lattices of the Kadomtsev-Petviashvili II equation and desingularization of spectral curves corresponding to $Gr^{\mbox{\tiny TP}}(2,4)$'', \textit{Proc. Steklov Inst. Math.,} \textbf{302}:1 (2018), 1--15.
\bibitem{AG3} Abenda S., Grinevich P.G., ``Reducible $M$-curves for Le-networks in the totally-nonnegative Grassmannian and KP--II multiline solitons'', \textit{Sel. Math. New Ser.,} \textbf{25}:3 (2019) 25:43.
\bibitem{AG4} Abenda S, Grinevich P.G., ``Real regular KP divisors on M-curves and totally non-negative Grassmannians'', \textit {Lett. Math. Phys.,} \textbf{112} (2022), 115 , 64 pp.
\bibitem{AG5} Abenda S, Grinevich P.G., ``Edge vectors on plabic networks in the disk and amalgamation of totally non-negative Grassmannians'', \textit{Advances in Mathematics}, \textbf{406} (2022) 108523.
\bibitem{AG6} Abenda S, Grinevich P.G., ``Geometric Nature of Relations on Plabic Graphs and Totally Non-negative Grassmannians'', \textit{Int Math Res Notices}, \textbf{2023}:14, (2023), 11986--12051.
\bibitem{AblowitzBaldwin2012} Ablowitz M.J., Baldwin D.E., ``Nonlinear shallow ocean-wave soliton interactions on flat beaches'', \textit{Phys. Rev. E,} \textbf{86} (2012) 036305.
\bibitem{AgostiniCelikStruweSturmfels2021} Agostini D., \c{C}elik T. \"O., Struwe J., Sturmfels B., ``Theta surfaces'' \textit{Vietnam J. Math.} \textbf{49}:2 (2021), 319--347.
\bibitem{AgostiniFevolaMandelshtamSturmfels2023} Agostini, D., Fevola C., Mandelshtam, Ye., Sturmfels B., ``KP solitons from tropical limits'', \textit{J. Symbolic Comput.} \textbf{114} (2023), 282--301.
\bibitem{Artamkin2004} Artamkin I.V., ``Canonical maps of pointed nodal curves,'' \textit{ Sbornik: Mathematics}, \textbf{195}:5 (2004), 615--642.
\bibitem{Artamkin2004_2} Artamkin I.V., ``Topologically trivial bundles on curves with the simplest singularities'',
\textit{Proc. Steklov Inst. Math.,} \textbf{246} (2004).
\bibitem{Artamkin2006} Artamkin I.V., ``Discrete Torelli theorem'', \textit{Sb.Math.}, \textbf{197}:8 (2006), 1109--1120.
\bibitem{BiondiniChakravarty2006} Biondini, G., Chakravarty, S., ``Soliton solutions of the Kadomtsev–Petviashvili II equation'', \textit{J. Math. Phys.} \textbf{47} (2006), 033514.
\bibitem{Druma1973} Dryuma V.S., ``Analytic solution of the two-dimensional Korteweg-de Vries (KdV) equation'', \textit{JETP Letters,} \textbf{19}:12 (1973), 387--388.
\bibitem{Dubrovin1982} Dubrovin B.A., ``Multidimensional theta functions and their application to the integration of
nonlinear equations'', in the book: Dubrovin B. A., Krichever I. M., Novikov S. P. Topological and algebraic geometry
methods in contemporary mathematical physics. II//Soviet scientific reviews, section C, Math. Physics review. V. 3, ed. Novikov S. P. New York: Harwood Acad. Publ., 1982. pp. 83--150.
\bibitem{DubrovinNatanzon1988} Dubrovin B.A., Natanzon S.M., ``Real theta-function solutions of the Kadomtsev-Petviashvili equation''. \textit{Izv. Akad. Nauk SSSR Ser. Mat.,} \textbf{52} (1988) 267--286.
\bibitem{GalashinKarpLam2018} Galashin P., Karp S.N., Lam T., ``The totally nonnegative Grassmannian is a ball'', \textit{Seminaire Lotharingien de Combinatoire'',} \textbf{80B} (2018), Article \#23, 12 pp.
\bibitem{GelfandSerganova1987} Gel'fand I.M., Serganova V.V., ``Combinatorial geometries and torus strata on homogeneous compact manifolds'', \textit{Russian Mathematical Surveys,} \textbf{42}:2 (1987), 133--168.
\bibitem{GlukhovMokhov2020} Glukhov E.V., Mokhov O.I., ``On algebraic-geometry methods for constructing submanifolds with flat normal bundle and holonomic net of curvature lines'', \textit{Funct. Anal. Appl.,} \textbf{54}:3 (2020), 169--178
\bibitem{GrinevichTaimanov2007} Grinevich P.G, Taimanov I.A., ``Infinitesimal Darboux transformations of the spectral curves of tori in the four-space,'' \textit{Int Math Res Notices,} \textbf{2007} (2007), article ID rnm005, 21 pages; doi:10.1093/imrn/rnm005.
\bibitem{GrinevichTaimanov2008} Grinevich P.G, Taimanov I.A., ``Spectral conservation laws for periodic nonlinear equations of the Melnikov type,'' \textit{Amer. Math. Soc. Transl. Ser. 2,} \textbf{224} (2008), 125--138.
\bibitem{Ichikawa2023} Ichikawa, T., ``Periods of Tropical Curves and Associated KP Solutions,'' \textit{Commun. Math. Phys,} \textbf{402} (2023), 1707--1723.
\bibitem{KP} Kadomtsev B.B., Petviashvili V.I., ``On the stability of solitary waves in weakly dispersive media'', \textit{Sov. Phys. Dokl.} {\bf 15} (1970) 539-541.
\bibitem{KodamaWilliams2013} Kodama, Y., Williams, L.K., ``The Deodhar decomposition of the Grassmannian and the regularity of KP solitons,'' \textit{Adv. Math.}, \textbf{244} (2013), 979-1032.
\bibitem{KodamaWilliams2014} Kodama, Y., Williams, L.K., ``KP solitons and total positivity for the Grassmannian,'' \textit{Invent. Math.}, \textbf{198} (2014), 637-699.
\bibitem{Krichever1975} Krichever I.M., ``Potentials with zero coefficient of reflection on a background of finite-zone potentials'', \textit{Funct. Anal. Appl.,} \textbf{9}:2 (1975) 161--163.
\bibitem{Krichever1976} Krichever I.M., ``An algebraic-geometric construction of the Zakharov-Shabat equations and their periodic solutions'', (Russian) \textit{Dokl. Akad. Nauk SSSR,} \textbf{227}:2 (1976) 291--294.
\bibitem{Krichever1997} Krichever I.M., ``Algebraic-geometric n-orthogonal curvilinear coordinate systems and solutions of the associativity equations'', \textit{Functional Anal. Appl.} \textbf{31}(1) (1997), 25--39.
\bibitem{KnudsenMumford1976} Knudsen F., Mumford D., ``The projectivity of the moduli space of stable curves. I: Preliminaries on ``det'' and ``Div'''', \textit{Math. Scand.} \textbf{39}:1 (1976), 19--55.
\bibitem{Knudsen1983} Knudsen F.F., ``The projectivity of the moduli space of stable curves. II. The stacks $M_{g,n}$'', \textit{Math. Scand.} \textbf{52} (1983), 161--199.
\bibitem{Knudsen1983_2} Knudsen F.F., ``The projectivity of the moduli space of stable curves. III. The line bundles on $M_{g,n}$, and a proof of the projectivity of $\tilde{M}_{g,n}$ in characteristic 0'', \textit{Math. Scand.} \textbf{52} (1983), 200--212.
\bibitem{KummerSturmfelsVlad2025} Kummer M., Sturmfels B., Vlad R., ``Maximal Mumford curves from planar graphs'', \textit{Pure and Applied Mathematics Quarterly}, \textbf{21}:4 (2025), 1689--1719.
\bibitem{Malanyuk1991} Malanyuk T.M., ``A class of exact solutions of the Kadomtsev–Petviashvili equation'', \textit{Russian Math. Surveys,} {\bf 46}:3 (1991), 225--227.
\bibitem{Matveev1979} Matveev V.B., ``Darboux transformation and explicit solutions of the Kadomtcev-Petviaschvily equation, depending on functional parameters'', \textit{Letters in Mathematical Physics,} \textbf{3} (1979), 213--216.
\bibitem{MikhalkinZharkov2008} Mikhalkin G., Zharkov Ilia., ``Tropical curves, their Jacobians and theta functions.'' \textit{Curves and abelian varieties. Contemp. Math.,} \textbf{465} (2008), 203--230; American Mathematical Society, Providence, RI, 2008.
\bibitem{MikhalkinRau2018} Mikhalkin, G., Rau, J., ``Tropical Geometry'', November 16, 2018, https://math.uniandes.edu.co/~j.rau/downloads/main.pdf.
\bibitem{MironovTaimanov2006} Mironov A.E., Taimanov I.A., ``Orthogonal curvilinear coordinate systems corresponding to singular spectral curves,'' \textit{Proc. Steklov Inst. Math.,} \textbf{255}(4) (2006), 169--184.
\bibitem{MironovTaimanov2007} Mironov A.E., Taimanov I.A., ``On some algebraic examples of Frobenius manifolds,'' \textit{Theoret. and Math. Phys.,} \textit{151} (2) (2007), 604--613.
\bibitem{MironovSenningerTaimanov2023} Mironov A.E., Senninger A., Taimanov I.A., ``Orthogonal Curvilinear Coordinate Systems and Torsion-Free Sheaves over Reducible Spectral Curves'', \textit{Mathematical Notes}, \textbf{114}:4 (2023), 573--582.
\bibitem{Osborne2010} Osborne A., Nonlinear Ocean waves and the inverse scattering transform, Academic Press, 2010.
\bibitem{Postnikov2006} Postnikov A., ``Total positivity, Grassmannians, and networks'', arXiv:math/0609764 [math.CO].
\bibitem{PostnikovSpeyerWilliams2009} Postnikov A., Speyer D., Williams L., ``Matching polytopes, toric geometry, and the totally non-negative Grassmannian'', \textit{J. Algebraic Combin.,} \textbf{30}:2 (2009), 173--191.
\bibitem{Taimanov2011} Taimanov I.A., ``Singular spectral curves in finite-gap integration,'' \textit{Russian Math. Surveys,} \textbf{66}(1) (2011), 107--144.
\bibitem{Tyurin2003} Tyurin A.N., ``Quantization, Classical and Quantum Field Theory and Theta Functions'', \textit{CRM Monograph Series,} \textbf{21} (2003), 136 pp.
\bibitem{Viro1990} Viro O., ``Real algebraic plane curves: Constructions with controlled topology'', \textit{Leningrad Mathematical Journal,} \textbf{5} (1990) 1059--1134.
\bibitem{ZakharovShabat1974} Zakharov V.E., Shabat A.B., ``A scheme for integrating the nonlinear equations of mathematical physics by the method of the inverse scattering problem. I'', \textit{Funct. Anal. and Its Appl.,} \textbf{8}:3 (1974), 226--235.
\bibitem{Zakharov1998} Zakharov V.E., ``Description of the n-orthogonal curvilinear coordinate systems and Hamiltonian integrable systems of hydrodynamic type. I. Integration of the Lam\'e equations,'' \textit{Duke Math. J.,} \textbf{94}(1) (1998), 103--139.
\end{thebibliography}
\end{document}