Search arXivSearch

arXiv · 2404.15200

An algebraic-geometric construction of "lump" solutions of the KP1 equation

Abstract

In this note, we show how certain everywhere-regular real rational function solutions of the KP1 equation ("multi-lumps") can be constructed via the polynomial analogs of theta functions from singular rational curves with cusps. We use two methods, one direct and the other producing a degeneration of the well-understood soliton solutions from nodal singular curves. The second approach can be seen as a variation on the long-wave limit technique of Ablowitz and Satsuma, as developed by Zhang, Yang, Li, Guo, and Stepanyants. We present an explicit example of a three-lump solution constructed via the polynomial analog of the theta function from a rational curve with two cuspidal singular points, each with semigroup $\langle 2,5\rangle$. (In the theory of curve singularities, these are known as $A_4$ double points.) We conjecture that these ideas will generalize to give similar $M$-lump solutions with $M = \frac{N(N+1)}{2}$ for $N > 2$ starting from rational curves with two singular points with semigroup $\langle 2,2N+1\rangle$ ($A_{2N}$ double points). We also show a five-lump solution obtained from a curve with two cusps with semigroup $\langle 3,4\rangle$. Similar solutions have been constructed by other methods previously; our contribution is to show how they arise from the algebraic-geometric setting by considering singular curves with several cusps, as in previous work of Agostini, Celik, and Little.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

John B. Little. 2024-05-17. An algebraic-geometric construction of "lump" solutions of the KP1 equation. https://arxiv.org/abs/2404.15200

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Lawson--Deligne Classes and Applications

We construct the integral Lawson--Deligne map of weight $q=n-p-k-1$ on smooth complex projective $n$-folds using filtered currents. It lifts the Friedlander--Mazur cycle class, recovers the reduced generalized Abel--Jacobi invariant on homologically trivial classes, and is compatible with algebraic correspondences. A Picard--Fuchs separation argument applied to the conic and van Geemen normal functions on the mirror quintic determines explicit regulator subspaces modulo the full rational period group. For prescribed elliptic moduli and a suitable mirror-quintic fiber, the subspace generated by their $a$- and $b$-loop products has dimension twice the $\Q$-dimension of the period-monomial space. Moduli $i\sqrt{\ell_j}$ for distinct primes $\ell_j$ give $2^{k+1}$ independent images on varieties of dimension $p+k+2$; one repeated imaginary quadratic modulus gives dimension four for every $k\geq1$. Compatibility with known projective-bundle and blow-up decompositions yields independent exceptional subspaces on smooth rational varieties. We also compare the higher Chow composite with the Bloch--KLM regulator after lowering the Hodge filtration. The KLM representative reduces to a cut-current class, and equality with the Lawson composite is proved in degree zero and for constant-unit decomposable classes. The general positive-degree comparison is reduced to an explicit filtered-realization condition.

math.AG

Complete quasimaps to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$

We introduce a moduli space of ``complete quasimaps'' to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$. The construction, following previous work for curves on projective spaces, essentially proceeds by blowing up Ciocan-Fontanine--Kim's space of quasimaps at loci where sections of line bundles are linearly dependent. We conjecture that tautological intersection numbers on these moduli spaces give enumerative counts of curves of fixed complex structure on $X$ subject to general incidence conditions, in contrast with traditional compactifications of the moduli spaces of maps. A result of Farkas guarantees that these spaces are pure of expected dimension. The conjecture is proven in dimension 2, where the main input is a Brill-Noether theorem for general curves on toric surfaces.

math.AG