Spectral Curves for Third-Order ODOs

Resumen

Spectral curves are algebraic curves associated to commutative subalgebras of rings of ordinary differential operators (ODOs). Their origin is linked to the Korteweg-de Vries equation and to seminal works on commuting ODOs by I. Schur and Burchnall and Chaundy. They allow the solvability of the spectral problem Ly=lambda y, for an algebraic parameter lambda and an algebro-geometric ODO L, whose centralizer is known to be the affine ring of an abstract spectral curve Gamma. In this work, we use differential resultants to effectively compute the defining ideal of the spectral curve Gamma, defined by the centralizer of a third-order differential operator L, with coefficients in an arbitrary differential field of zero characteristic. For this purpose, defining ideals of planar spectral curves associated to commuting pairs are described as radicals of differential elimination ideals. In general, Gamma is a non-planar space curve and we provide the first explicit example. As a consequence, the computation of a first-order right factor of L-lambda becomes explicit over a new coefficient field containing Gamma. Our results establish a new framework appropriate to develop a Picard-Vessiot theory for spectral problems.