Saved in:
Bibliographic Details
Main Author: Rueda, Sonia L
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2503.03429
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915435936481280
author Rueda, Sonia L
author_facet Rueda, Sonia L
contents The correspondence between commutative rings of ordinary differential operators and algebraic curves has been extensively and deeply studied since the seminal works of Burchnall-Chaundy in 1923. This paper is an overview of recent developments to make this correspondence computationally effective, by means of differential algebra and symbolic computation. The centralizer of an ordinary differential operator $L$ is a maximal commutative ring, the affine ring of a spectral curve $Γ$. The defining ideal of $Γ$ is described, assuming that a finite set of generators of the centralizer is known. In addition, the factorization problem of $L-λ$ over a new coefficient field, defined by the coefficient field of $L$ and $Γ$, allows the computation of spectral sheaves on $Γ$. The ultimate goal is to develop Picard-Vessiot theory for spectral problems $L(y)=λy$, for a generic $λ$.
format Preprint
id arxiv_https___arxiv_org_abs_2503_03429
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On the classification of centralizers of ODOs: An effective differential algebra approach
Rueda, Sonia L
Algebraic Geometry
Mathematical Physics
Rings and Algebras
13N10, 13P15, 12H05
The correspondence between commutative rings of ordinary differential operators and algebraic curves has been extensively and deeply studied since the seminal works of Burchnall-Chaundy in 1923. This paper is an overview of recent developments to make this correspondence computationally effective, by means of differential algebra and symbolic computation. The centralizer of an ordinary differential operator $L$ is a maximal commutative ring, the affine ring of a spectral curve $Γ$. The defining ideal of $Γ$ is described, assuming that a finite set of generators of the centralizer is known. In addition, the factorization problem of $L-λ$ over a new coefficient field, defined by the coefficient field of $L$ and $Γ$, allows the computation of spectral sheaves on $Γ$. The ultimate goal is to develop Picard-Vessiot theory for spectral problems $L(y)=λy$, for a generic $λ$.
title On the classification of centralizers of ODOs: An effective differential algebra approach
topic Algebraic Geometry
Mathematical Physics
Rings and Algebras
13N10, 13P15, 12H05
url https://arxiv.org/abs/2503.03429