Commuting ordinary differential operators and the Dixmier test

DOI10.3842/SIGMA.2019.101MaRDI QIDQ2297952zbMATH OpenOpenAlexFDO

Authors Emma Previato, Sonia Rueda, M. Angeles Zurro

Publication date 20 February 2020

Published in SIGMA. Symmetry, Integrability and Geometry: Methods and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.01361

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

higher-rank vector bundleOre domainspectral curveWeyl algebra

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Solving polynomial systems; resultants (13P15) Relationships between algebraic curves and integrable systems (14H70) General theory of ordinary differential operators (47E05)

Abstract: The Burchnall-Chaundy problem is classical in differential algebra, seeking to describe all commutative subalgebras of a ring of ordinary differential operators whose coefficients are functions in a given class. It received less attention when posed in the (first) Weyl algebra, namely for polynomial coefficients, while the classification of commutative subalgebras of the Weyl algebra is in itself an important open problem. Centralizers are maximal-commutative subalgebras, and we review the properties of a basis of the centralizer of an operator $L$ in normal form, following the approach of K.R. Goodearl, with the ultimate goal of obtaining such bases by computational routines. Our first step is to establish the Dixmier test, based on a lemma by J. Dixmier and the choice of a suitable filtration, to give necessary conditions for an operator $M$ to be in the centralizer of $L$. Whenever the centralizer equals the algebra generated by $L$ and $M$, we call $L$, $M$ a Burchnall-Chaundy (BC) pair. A construction of BC pairs is presented for operators of order $4$ in the first Weyl algebra. Moreover, for true rank $r$ pairs, by means of differential subresultants, we effectively compute the fiber of the rank $r$ spectral sheaf over their spectral curve.

Review text

The Burchnall-Chaundy problem [\textit{J. L. Burchnall} and \textit{T. W. Chaundy}, Proc. Lond. Math. Soc. (2) 21, 420--440 (1923; JFM 49.0311.03)] is classical in differential algebra, seeking to describe all commutative subalgebras of a ring of ordinary differential operators whose coefficients are functions in a given class. It received less attention when posed in the (first) Weyl algebra, namely for polynomial coefficients, while the classification of commutative subalgebras of the Weyl algebra is in itself an important open problem. Centralizers are maximal-commutative subalgebras, and the authors review the properties of a basis of the centralizer of an operator \(L\) in normal form, following the approach of \textit{K. R. Goodearl} [Rocky Mt. J. Math. 13, 573--618 (1983; Zbl 0532.16002)], with the ultimate goal of obtaining such bases by computational routines. The first step is to establish the Dixmier test, based on a lemma by \textit{J. Dixmier} [Bull. Soc. Math. Fr. 96, 209--242 (1968; Zbl 0165.04901)] and the choice of a suitable filtration, to give necessary conditions for an operator \(M\) to be in the centralizer of \(L\). Whenever the centralizer equals the algebra generated by \(L\) and \(M\), the authors call \(L\), \(M\) a Burchnall-Chaundy (BC) pair. A construction of BC pairs is presented for operators of order \(4\) in the first Weyl algebra. Moreover, for true rank \(r\) pairs, by means of differential subresultants, they effectively compute the fiber of the rank \(r\) spectral sheaf over their spectral curve. This paper is organized as follows: Section 1 is an introduction to the subject. Section 2 deals with the preliminaries regarding centralizers for ODOs and true rank. Section 3 and 4 deal with GCD at each point of the spectral curve and centralizers and BC pairs. In the remaining parts of this paper the authors consider differential operators in the first Weyl algebra \(\mathbb{A}_1(\mathbb{C})\). Section 5 deals with gradings in \(\mathbb{A}_1(\mathbb{C})\) and the Dixmier test. The authors define an appropriate filtration of \(\mathbb{A}_1(\mathbb{C})\) to use a lemma by Dixmier that they call the Dixmier test. Section 6 deals with order \(4\) operators in \(\mathbb{A}_1(\mathbb{C})\). In this section the authors apply the previous results to operators of order \(4\) in \(\mathbb{A}_1(\mathbb{C})\). They prove that for any operator of order \(4\), if non trivial, its centralizer is the ring of a plane curve.

Recommendations

• On commuting differential operators in two-dimensionality
• Burchnall-Chaundy polynomials for matrix ODOs and Picard-Vessiot theory
• Burchnall-Chaundy theory, Ore extensions and -differential operators.
• On commuting differential operators with polynomial coefficients corresponding to spectral curves of genus one
• Commuting Ordinary Differential Operators with Polynomial Coefficients and Automorphisms of the First Weyl Algebra

Cites work

• Abelian Functions for Trigonal Curves of Genus Three
• Alternative proof of Mironov's results on commuting self-adjoint operators of rank 2
• An algorithm for construction of commuting ordinary differential operators by geometric data
• Another algebraic proof of Weil's reciprocity
• Burchnall-Chaundy theory for Ore extensions.
• Centralizers in differential, pseudo-differential, and fractional differential operator rings
• Cohomological structure in soliton equations and Jacobian varieties
• Commutative rings of ordinary linear differential operators
• COMMUTING DIFFERENTIAL OPERATORS OF RANK 3, AND NONLINEAR DIFFERENTIAL EQUATIONS
• Commuting ordinary differential operators of arbitrary genus and arbitrary rank with polynomial coefficients
• Commuting ordinary differential operators of rank 3 corresponding to an elliptic curve
• Commuting Ordinary Differential Operators with Polynomial Coefficients and Automorphisms of the First Weyl Algebra
• Commuting pairs of linear ordinary differential operators of orders four and six
• Explicit characterization of some commuting differential operators of rank 2
• Fourier-Mukai transform on Weierstrass cubics and commuting differential operators
• Holomorphic bundles and nonlinear equations
• HOLOMORPHIC BUNDLES OVER ALGEBRAIC CURVES AND NON-LINEAR EQUATIONS
• scientific article; zbMATH DE number 5882598 (Why is no real title available?)
• scientific article; zbMATH DE number 3643413 (Why is no real title available?)
• scientific article; zbMATH DE number 3838989 (Why is no real title available?)
• scientific article; zbMATH DE number 3929575 (Why is no real title available?)
• scientific article; zbMATH DE number 3657925 (Why is no real title available?)
• scientific article; zbMATH DE number 3676441 (Why is no real title available?)
• scientific article; zbMATH DE number 34790 (Why is no real title available?)
• scientific article; zbMATH DE number 1262439 (Why is no real title available?)
• scientific article; zbMATH DE number 1346518 (Why is no real title available?)
• scientific article; zbMATH DE number 895404 (Why is no real title available?)
• Idéaux de germes d'opérateurs différentiels à une variable
• Integration of nonlinear equations by the methods of algebraic geometry
• Loop groups and equations of KdV type
• On commutative subalgebras of the Weyl algebra related to commuting operators of arbitrary rank and genus
• On commuting differential operators of rank 2
• On commuting differential operators with polynomial coefficients corresponding to spectral curves of genus one
• On commuting ordinary differential operators with polynomial coefficients corresponding to spectral curves of genus two
• Rational solutions for the equation of commutation of differential operators
• Rational solutions of the Kadomtsev-Petviashvili equation and integrable systems of n particles on a line
• Self-adjoint commuting ordinary differential operators
• Sur les algèbres de Weyl
• The sigma function for Weierstrass semigroups \(\langle 3,7,8\rangle\) and \(\langle 6,13,14,15,16\rangle\)

Cited in

(12)

• Centralizers of rank one in the first Weyl algebra
• Commuting elements in the first Weyl algebra over \(\mathbb{Q} \)
• Spectral Picard-Vessiot fields for algebro-geometric Schrödinger operators
• Discretization of commuting ordinary differential operators of rank 2 in the case of elliptic spectral curves
• scientific article; zbMATH DE number 1413172 (Why is no real title available?)
• Burchnall-Chaundy polynomials for matrix ODOs and Picard-Vessiot theory
• Computing almost-commuting basis of ordinary differential operators
• On some questions around Berest's conjecture
• Normal forms for ordinary differential operators. III
• Linear systems, spectral curves and determinants
• Computing almost commuting bases of ODOs and Gelfand-Dickey hierarchies
• Effective computation of centralizers of ODOs

This page was built for publication: Commuting ordinary differential operators and the Dixmier test

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2297952)