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.
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. Read More
Related posts:
Differential p-forms and q-vector fields with constant coefficients
What is AWS Lambda?
III-Nitrides Resonant Cavity Photodetector Devices
Geometric Invariant Theory, Holomorphic Vector Bundles and the Harder-Narasimhan Filtration
Sobolev orthogonality of polynomial solutions of second order partial differential equations.
Representative Stress-Strain Curve by Spherical Indentation on Elastic-Plastic Materials