Next Article in Journal
Monotonic Random Variables According to a Direction
Next Article in Special Issue
Quasi-Configurations Derived by Special Arrangements of Lines
Previous Article in Journal
Double-Step Shape Invariance of Radial Jacobi-Reference Potential and Breakdown of Conventional Rules of Supersymmetric Quantum Mechanics
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Spectral Curves for Third-Order ODOs

by
Sonia L. Rueda
1,† and
Maria-Angeles Zurro
2,*,†
1
Applied Mathematics Department, E.T.S. Arquitectura, Polytechnic University of Madrid, Avda. Juan de Herrera 4, 28040 Madrid, Spain
2
Mathematics Department, Autonomous University of Madrid, Ctra. Colmenar Km. 15, 28049 Madrid, Spain
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2024, 13(4), 274; https://doi.org/10.3390/axioms13040274
Submission received: 6 March 2024 / Revised: 7 April 2024 / Accepted: 9 April 2024 / Published: 20 April 2024
(This article belongs to the Special Issue Theory of Curves and Knots with Applications)

Abstract

:
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 L y = λ y , for an algebraic parameter λ and an algebro-geometric ODO L, whose centralizer is known to be the affine ring of an abstract spectral curve Γ . In this work, we use differential resultants to effectively compute the defining ideal of the spectral curve Γ , 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, Γ 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 λ becomes explicit over a new coefficient field containing Γ . Our results establish a new framework appropriate to develop a Picard–Vessiot theory for spectral problems.

1. Introduction

Picard–Vessiot theory is a Galois theory for linear ordinary differential equations. It studies the space of solutions of the operator in relation to an algebraic group, its differential Galois group. This theory has important connections with a long-standing conjecture, the Jacobian conjecture [1], which is related with the theory of commuting differential operators through the Dixmier conjecture [2] and Beret’s conjecture [3].
At the beginning of the 20th century, the solutions of differential equations as a function of a parameter caught the attention of some mathematicians. This interest seems clearly reflected in the work of J. Drach [4]. Recently, differential Galois theories began to be used to study spectral problems L y = λ y , for ordinary differential operators L of second order [5,6,7,8]. Following Drach’s ideology [4], the spectral parameter λ was considered an algebraic variable in [8], where a Picard–Vessiot theory for algebro-geometric operators with parameters began to develop. We can say that it is a Picard–Vessiot theory for commuting differential operators and, consequently, λ is governed by a spectral curve. Parametric Galoisian theories, for free algebraic parameters, have existed since the pioneer parametric Picard–Vessiot theory of Cassidy and Singer [9], and have been studied for second-order operators in [10], and for third-order operators in [11], but their connection with spectral problems has not been established thus far.
It has been well-known since the beginning of the 20th century [12,13], that the existence of an operator M that commutes with L forces the consideration of the spectral problem L y = λ y as a coupled spectral problem:
L y = λ y , M y = μ y ,
where λ and μ are tied by the constant coefficient polynomial equation f ( λ , μ ) = 0 that defines an algebraic curve Γ . In the case of a Schrödinger operator L, the existence of a non-trivial M commuting with L is closely related to the Korteweg–de Vries hierarchy of integrable non-linear differential equations. The solutions of (1) depend on the geometry of the spectral curve Γ , as it is exhaustively studied in the works of J. J. Morales-Ruiz and the authors of [7,8], where spectral Picard–Vessiot theory appears for the first time.
In this work, we study the spectral problem L y = λ y for a third-order operator L, under the assumption that L has a nontrivial centralizer and that it contains M as in (1). The development of a spectral Picard–Vessiot theory for this type of operator is an open problem. Since a third-order L is related to a more complicated integrable hierarchy, the Boussinesq hierarchy, there is even a lack of explicit examples due to computational problems [14,15].
A famous theorem by I. Schur [16] implies that the centralizer of an ordinary differential operator L, with analytic coefficients, has as quotient field a function field in one variable. Therefore, such a centralizer can be seen as the affine ring of an algebraic curve Γ [17]. In this work, we will call this curve the spectral curve of the operator L, and assume that L has coefficients in an arbitrary differential field Σ of zero characteristic.
A fundamental goal driving this work is the development of a Picard–Vessiot theory for spectral problems ( L λ ) ( y ) = 0 , in the case of an algebro-geometric differential operator L and an algebraic parameter λ over Σ . In order to construct a splitting field for ( L λ ) ( y ) = 0 , it is crucial to note that λ is not a free parameter, but rather it is governed by the spectral curve Γ of L. For this purpose, to achieve the factorization of L λ , a new coefficient field Σ ( Γ ) , containing Σ and Γ , must be considered.
We believe that the novel results that emerge from the study of the order three case will be important for the development of a spectral Picard–Vessiot theory for arbitrary order. Specifically, our main contribution is the identification of the spectral curve of L, as the curve defined by its centralizer, and the computation of its defining ideal in the case of third-order operators. The field of functions Σ ( Γ ) on the spectral curve of L is now controlled and allows effective computation of the first-order intrinsic right factor of L λ . It is intrinsic because, via the specialization of the parameter λ to each constant value λ 0 , it gives the rank one sheaf over Γ , made famous by the works of Krichever [18] and Mumford [19], where the correspondence between commutative subrings of ODOs and affine spectral curves is established; see [20] for a recent review. In Section 2, an extended version of this contributions is included.

2. Contributions

We consider ordinary differential operators with coefficients in an arbitrary differential field Σ , whose field of constants C is algebraically closed and of zero characteristic. We use differential algebra, differential Galois theory and algebraic geometry to give a constructive proof of the following theorem.
Theorem 1.
The centralizer of a third-order ordinary differential operator L, with non-constant coefficients in Σ, is either isomorphic to a polynomial ring in one variable or to the coordinate ring C [ Γ ] of an irreducible (space) algebraic curve Γ.
A differential operator L whose centralizer is not a polynomial ring in one variable is often called algebro-geometric [21,22]. Our results establish a new framework to study spectral problems for algebro-geometric ODOs.
The authors defined spectral Picard–Vessiot fields for algebro-geometric second-order operators in [8] and provided algebraic tools to effectively compute a basis of solutions for the spectral problem in this case. The extension to a higher order of the techniques developed for second-order operators poses several important issues. The main problem treated in this paper is the definition and computation of spectral curves for algebro-geometric ODOs.
Computing algebro-geometric ODOs amounts to computing Gelfand–Dikii hierarchies and solutions of them [23], which are non-trivial problems. It is well-known that solutions of the KdV hierarchy provide algebro-geometric Schrödinger ODOs [7,8,24]. Solutions of the Boussinesq hierarchy [25] provide algebro-geometric operators of third order, and investigating those, we discovered that planar algebraic curves do not explain all nontrivial centralizers of third-order ODOs. We found an example of an algebro-geometric third-order ODO whose centralizer is the commutative C -algebra generated by three ODOs [26]. Explaining the nature of this example was the seed for the results presented here. A general study of algebro-geometric differential operators of prime order is postponed until meaningful examples are found, for order five and higher.
Planar spectral curves have been commonly defined for pairs of commuting differential operators P and Q, since the seminal work of Burchnall and Chaundy [12]; see also [18,19] and the recent review [20]. Most results have been obtained in the case of commuting pairs P , Q with coprime orders, called the rank 1 case; see, for instance, [20]. Without this restriction, hence for any rank r = gcd ( ( ord ( P ) , ord ( Q ) ) , we define an isomorphism between the coordinate ring of the planar spectral curve, an irreducible plane algebraic curve Γ P , Q , and the commutative ring of differential operators C [ P , Q ] . Namely, we prove that the ideal of the curve Γ P , Q equals the ideal of all constant coefficient polynomials g ( λ , μ ) that are satisfied by the differential operators, commonly denoted g ( P , Q ) = 0 , and known as Burchnall and Chaundy polynomials. We introduce in this paper the notion of Burchnall and Chaundy ideal of a pair P , Q and denote it by BC ( P , Q ) . Since P and Q are differential operators in a Euclidean domain, the ideal BC ( P , Q ) is naturally proved to be a prime ideal. These results are included in Theorem 3. From now on, we will call Γ P , Q the spectral curve of the pair P , Q to distinguish it from the spectral curve associated with the centralizer of an ordinary differential operator.
It was known by E. Previato [27] and G. Wilson [14], in the case of differential operators with analytic coefficients, that a Burchnall and Chaundy polynomial for a commuting pair P , Q can be obtained by computing the differential resultant Res ( P λ , Q μ ) of P λ and Q μ . In particular, they proved that such a resultant is a constant coefficient polynomial. We generalize this result in Theorem 5 to differential operators with coefficients in Σ . We go further, proving that the ideal of all Burchnall and Chaundy polynomials for the pair P , Q is generated by an irreducible polynomial f ( λ , μ ) , the radical of Res ( P λ , Q μ ) . For this purpose, we use the differential elimination ideal determined by P λ and Q μ ,
E ( P λ , Q μ ) = ( P λ , Q μ ) Σ [ λ , μ ] ,
the ideal of all differential operators generated by P λ and Q μ in Σ [ λ , μ ] , for which the derivation has been eliminated. Our main result about arbitrary commuting pairs of ODOs establishes the intrinsic nature of the differential resultant of P λ and Q μ . We prove the following result in Theorem 8.
Theorem 2.
Given commuting ordinary differential operators P and Q with coefficients in Σ, let f ( λ , μ ) be the radical of Res ( P λ , Q μ ) . The following statements hold:
  • The principal ideal ( f ) generated by f in C [ λ , μ ] equals the prime ideal BC ( P , Q ) .
  • The differential ideal [ f ] generated by f in Σ [ λ , μ ] equals the radical of the elimination ideal E ( P λ , Q μ ) .
For an algebraically closed field of constants, the classical theory of Picard and Vessiot [28] allows us to formally manage solutions, and it will be important to give formal proofs of our results. Specializing the parameter λ to λ 0 C , the Picard–Vessiot extension of Σ for ( P λ 0 ) ( y ) = 0 is the splitting field for ( P λ 0 ) ( y ) = 0 . If algebraic variables λ and μ over Σ are considered, the differential operators P λ and Q μ belong to the differential field F = Σ ( λ , μ ) and to use classical Picard–Vessiot theory, the algebraic closure of F can be considered to prove Theorem 5.
Centralizers are maximal commutative rings. In some cases, the centralizer Z ( L ) of a differential operator L is the affine ring of a planar curve, as in the case of algebro-geometric Schrödinger operators where Z ( L ) = C [ L , A ] . Let us fix now an algebro-geometric differential operator L of third order with coefficients in Σ . One of the motivations to give a constructive proof of Theorem 1 is to show that in general, Z ( L ) is not the coordinate ring of the planar curve. As a consequence of the results of K. Goodearl in [29], it has the structure of a free C [ L ] -module
Z ( L ) = C [ L , A 1 , A 2 ] = C [ L ] C [ L ] A 1 C [ L ] A 2 ,
where A i is of minimal order congruent with i ( mod 3 ) . Observe that Z ( L ) contains the rank one algebras C [ L , A i ] , but also C [ A 1 , A 2 ] , whose rank may be grater than one, being the rank of a set, the greatest common divisor of the orders of its elements; see [17]. We introduce the notion of Burchnall–Chaundy ideal BC ( L ) of L to explain the ring multiplicative structure of Z ( L ) . This is the ideal of all polynomials g ( λ , μ 1 , μ 2 ) in C [ λ , μ 1 , μ 2 ] such that g ( L , A 1 , A 2 ) = 0 . We prove that BC ( L ) is a prime ideal that naturally contains the Burchnall–Chaundy ideals of pairs of differential operators in the centralizer of L. Three BC ideals are of crucial importance in this work:
BC ( L , A 1 ) = ( f 1 ) , BC ( L , A 2 ) = ( f 2 ) , BC ( A 1 , A 2 ) = ( f 3 ) ,
all of them contained in BC ( L ) , but even more so we prove in Theorem 10 that
BC ( L ) = ( f 1 , f 2 , f 3 ) ,
which is one of the main contributions of this article, since it allows the computation of the spectral curve. The constructive proof of Theorem 1 is achieved in Corollary 3, where Z ( L ) is shown to be isomorphic to the coordinate ring
C [ Γ ] = C [ λ , μ 1 , μ 2 ] BC ( L ) = C [ λ , μ 1 , μ 2 ] ( f 1 , f 2 , f 3 )
of an irreducible space algebraic curve Γ in C 3 , which we define as the spectral curve of L.
An important consequence of the constructive proof of Theorem 1 is to discover the appropriate coefficient field where a third-order algebro-geometric operator L λ would have an intrinsic right factor. Recall that λ is not a free parameter; it is governed by the space spectral curve Γ of L. Extending the ideal BC ( L ) to the ring of polynomials in three variables with coefficients in Σ , we can think of an extended curve whose ring of regular functions is
Σ [ Γ ] = Σ [ λ , μ 1 , μ 2 ] [ BC ( L ) ] .
Over its quotient field Σ ( Γ ) , a factorization of L λ is guaranteed,
L λ = N · ( + ϕ ) ,
where + ϕ can be computed by means of the greatest common right divisors gcrd ( L λ , A 1 μ 1 ) or gcrd ( L λ , A 2 μ 2 ) , which are proved to coincide over Σ ( Γ ) . The precise statement is contained in Theorem 12. We can think of + ϕ as a global factor, since for almost every point P 0 Γ , our methods produce a factorization of L λ 0 = N P 0 · ( + ϕ ( P 0 ) . The specialization of ( λ , μ 1 , μ 2 ) to each point P 0 of Γ provides the rank one sheaf given by the solutions of + ϕ ( P 0 ) . Therefore, starting with the centralizer of L, both the spectral curve Γ and the previous rank one sheaf of the Mumford correspondence in [19] are now effectively computed.
It remains as a future project to define and prove the existence of the spectral Picard–Vessiot field of L λ , for an algebro-geometric differential operator L. It would be a differential field extension of Σ ( Γ ) , the minimal extension containing all the solutions, and it requires a full factorization of L λ over Σ ( Γ ) . This requires further investigations where the parametric Picard–Vessiot theory, introduced by Cassidy and Singer in [9] and studied in [10,11], may be relevant.
The paper is organized as follows. In Section 3, we establish the appropriate framework to study algebro-geometric differential operators, in the case of a third-order operator L. The novel notions of Burchnall–Chaundy (BC) ideal, of a pair P , Q of ODOs and the BC ideal BC ( L ) of a fixed differential operator L are introduced in Section 4. These BC ideals are proved to be prime ideals describing the algebra C [ P , Q ] and the centralizer Z ( L ) , as coordinate rings of algebraic curves, respectively, in Theorems 3 and 4. These allow the definitions of the spectral curves of a pair P , Q and of a third-order operator L.
Section 5 and Section 6 are dedicated to computing generators of these BC ideals. Section 5 contains the proof of Theorem 2, the first part in Theorem 6 and the second in Theorem 8. The effective description of BC ( L ) is achieved by means of any basis of the centralizer Z ( L ) and the computation of differential resultants. The choice of a basis of Z ( L ) is discussed in Section 6.1. We use Gröbner bases in Section 6.2 to control the projection of the space spectral curve onto the plane λ = 0 and obtain a set of generators of BC ( L ) in Theorem 10.
In Section 7, we show that the algebro-geometric hypothesis implies the existence of a right factor + ϕ of L λ , over a new differential field of coefficients Σ ( Γ ) , defined in Section 7.1. The computation of ϕ is delicate and it is achieved by means of differential subresultants in Section 7.2. Finally, Section 8 contains the first computed example of a non-planar spectral curve. It is used to illustrate how to globally factor the linear operator L λ . All computations in this work are performed with Maple [30].
To make this work as self-contained as possible, two appendices are included. Appendix A contains the results needed to understand centralizers of differential operators, giving special importance to Goodearl’s construction of a basis of Z ( L ) . In Appendix B, we review definitions and proofs of results on differential resultants and subresultants in relation to the factorization of ODOs.
Notation. 
For concepts in differential algebra, we refer to [28,31,32]. A differential ring is a ring R with a derivation on R. A differential ideal I is an ideal of R invariant under the derivation. We denote by
C o n s t ( R ) = { r R | ( r ) = 0 } ,
which is called the ring of constants of R. Assuming that R is a differential domain, its field of fractions F r ( R ) is a differential field with extended derivation
( f / g ) = ( ( f ) g f ( g ) ) / g 2 .
A differential field  ( Σ , ) is a differential ring which is a field. Given a Σ , we denote ( a ) by a . Note that C o n s t ( Σ ) is a field whenever Σ is. We assume that C : = C o n s t ( Σ ) is algebraically closed and has characteristic 0.
Let us consider algebraic variables λ and μ with respect to . Thus, ( λ ) = 0 and ( μ ) = 0 , and we can extend the derivation of Σ to the polynomial ring Σ [ λ , μ ] having ring of constants C [ λ , μ ] . Similarly, we consider algebraic variables μ 1 and μ 2 with respect to and extend the derivation to the polynomial ring Σ [ λ , μ 1 , μ 2 ] having ring of constants C [ λ , μ 1 , μ 2 ] .
We denote by N the set of non-negative integers including 0. Notation regarding ODOs in Σ [ ] and their centralizers is included in Appendix A.

3. Algebro-Geometric ODOs

Let us consider an ordinary differential operator L in Σ [ ] , with non-constant coefficients, that is L Σ [ ] C [ ] . We will assume throughout this work that L has a non-trivial centralizer, as in Definition A1; this means that the centralizer of L in Σ [ ]
Z ( L ) = { A Σ [ ] L A = A L } ,
does not equal the polynomial ring C [ L ] . Therefore, we have a chain of strict inclusions
C [ L ] Z ( L ) Σ [ ] .
In Appendix A, we review results of K. Goodearl in [29] regarding the structure of centralizers.
Definition 1.
We call a differential operator L Σ [ ] C [ ]  algebro-geometric if its centralizer Z ( L ) is non-trivial.
By the generalization of Schur’s theorem in [16], (A6) in the Appendix A, we know that Z ( L ) is commutative, it is a differential domain, and Spec ( Z ( L ) ) is an (abstract) algebraic curve. Spectral curves are defined for any commutative subring B of Σ [ ] as Spec ( B ) ; see [19,20]. As observed in [17], Section 2.1, the centralizer Z ( L ) is a maximal commutative subring of Σ [ ] . We emphasize in this work the importance of spectral curves for maximal commutative subrings of Σ [ ] , namely spectral curves for centralizers.
Definition 2.
Given an algebro-geometric differential operator  L Σ [ ] C [ ] , we define the spectral curve of L as  Γ L : = Spec ( Z ( L ) ) .
Let us consider now a third-order ordinary differential operator L in Σ [ ] C [ ] . We will assume throughout this work that L has a non-trivial centralizer. In this work, we identify a defining ideal for the abstract curve Γ L . This is Corollary 3, obtained as a consequence of Theorem 10.
By Theorem A1, the centralizer Z ( L ) is a free C [ L ] -module of rank 3. Let B ( L ) = { 1 , A 1 , A 2 } be a basis of Z ( L ) as a C [ L ] -module. The construction of a basis is reviewed in Appendix A. Each A i is a monic operator in Z ( L ) C [ L ] of minimal order o i : = ord ( A i ) i ( mod 3 ) . Therefore,
Z ( L ) = C [ L ] C [ L ] A 1 C [ L ] A 2 = { p 0 ( L ) + p 1 ( L ) A 1 + p 2 ( L ) A 2 p i C [ λ ] } .
From the composition of the basis, we obtain the following result.
Corollary 1.
Let L be a third-order operator in Σ [ ] C [ ] . The following statements are equivalent:
  • L has a nontrivial centralizer Z ( L ) C [ L ] .
  • There exists an operator A in Σ [ ] of order m, relatively prime with 3, such that [ L , A ] = 0 .
The second statement of Corollary 1 is the traditional definition of algebro-geometric operator; see, for instance, [21,22]. This statement highlights that Z ( L ) contains a pair of operators L , A of rank one, the rank of the pair being the greatest common divisor of their orders. A discussion on the rank of a set of differential operators appears in [17] .
Since centralizers are maximal commutative subrings of Σ [ ] , given a differential operator M that commutes with L, we have the sequence of inclusions
C [ L ] C [ L , M ] Z ( L ) ,
and all of them could be strict. In the case of a third-order operator, the following ring diagram of inclusions illustrates the ring structure of Z ( L ) .
Axioms 13 00274 i001
Remark 1.
Making use of the ring structure of Z ( L ) , it may happen that A 1 equals a polynomial in A 2 or vice versa, A 1 = q ( A 2 ) , with q a univariate polynomial. In this situation, Z ( L ) = C [ L , A 2 ] . For instance, this is the case whenever ord ( A 2 ) = 2 , then A 1 = A 2 2 has order 4 and Z ( L ) = Z ( A 2 ) is the centralizer of a second-order operator.

4. Burchnall–Chaundy Ideals and Spectral Curves

A polynomial f ( λ , μ ) with constant coefficients satisfied by a commuting pair of differential operators P and Q is called a Burchnall–Chaundy (BC) polynomial of the pair P, Q, since the first result of this sort appeared in the 1923 paper [12] by Burchnall and Chaundy. We define in this section the ideal of all BC-polynomials associated to an arbitrary pair of commuting differential operators. For a fixed differential operator L of order 3, we also define an ideal of BC-polynomials.

4.1. Burchnall–Chaundy Ideal of a Pair

Given commuting differential operators P and Q in Σ [ ] , to avoid meaningless situations, we will assume that P , Q C [ ] and both have positive order. We define the ring homomorphism
e P , Q : C [ λ , μ ] Σ [ ] b y e P , Q ( λ ) = P , e P , Q ( μ ) = Q .
It is a ring homomorphism since P and Q commute, and they commute with the elements of C , the field of constants of Σ . The image of e P , Q is the C -algebra
C [ P , Q ] = i , j σ i , j P i Q j σ i , j C .
Observe that Ker ( e P , Q ) is an ideal of C [ λ , μ ] . In this setting, given g C [ λ , μ ] , we will denote
g ( P , Q ) : = e P , Q ( g ) .
Thus, a polynomial g belongs to the kernel of e P , Q if and only if g ( P , Q ) = 0 , that is,
Ker ( e P , Q ) = { g C [ λ , μ ] g ( P , Q ) = 0 } .
Definition 3.
Given commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, we define the BC-ideal of a pair P and Q as
BC ( P , Q ) : = Ker ( e P , Q ) = { g C [ λ , μ ] g ( P , Q ) = 0 } .
We will call BC-polynomials the elements of the BC-ideal.
An important consequence of working with differential operators in a Euclidean domain Σ [ ] is the following lemma.
Lemma 1.
Given commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, the ideal BC ( P , Q ) is a prime ideal in C [ λ , μ ] .
Proof. 
To start, BC ( P , Q ) is a nonzero ideal by [29], Theorem 1.13. For details, let us consider the centralizer Z ( P ) of P. Since Z ( P ) is a finitely generated C [ P ] -module, there exists p 0 , , p t C [ λ ] such that
g ( λ , μ ) = p 0 ( λ ) + p 1 ( λ ) μ + + p t 1 ( λ ) μ t 1 + μ t BC ( P , Q ) .
Given h 1 and h 2 in C [ λ , μ ] , let us assume that h 1 · h 2 BC ( P , Q ) . Observe that h 1 ( P , Q ) = e P , Q ( h 1 ) and h 2 ( P , Q ) = e P , Q ( h 2 ) are differential operators in the Euclidean domain Σ [ ] . Since e P , Q is a ring homomorphism
0 = e P , Q ( h 1 · h 2 ) = e P , Q ( h 1 ) · e P , Q ( h 2 )
implies e P , Q ( h 1 ) = 0 or e P , Q ( h 2 ) = 0 . Thus, h 1 BC ( P , Q ) or h 2 BC ( P , Q ) , proving that BC ( P , Q ) is prime. □
Definition 4.
Given commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, we define the spectral curve of the pair  P , Q as the irreducible algebraic variety of the prime ideal BC ( P , Q ) , that is,
Γ P , Q : = V ( BC ( P , Q ) ) = ( λ 0 , μ 0 ) C 2 g ( λ 0 , μ 0 ) = 0 , for all g BC ( P , Q ) .
Remark 2.
We proved in Lemma 1 that BC ( P , Q ) is a prime ideal. Then the algebraic variety Γ P , Q is an irreducible algebraic variety in C 2 . This variety cannot be a single point ( λ 0 , μ 0 ) , because this would mean that BC ( P , Q ) = ( λ λ 0 , μ μ 0 ) , implying P λ 0 = 0 and Q μ 0 = 0 , which contradicts P , Q C . Therefore, Γ P , Q is an irreducible algebraic curve in C 2 .
The following result summarizes the situation.
Theorem 3.
Given differential operators P and Q in Σ [ ] C [ ] , both of positive order, if P and Q commute, then the following statements hold:
  • C [ P , Q ] is a commutative domain isomorphic to C [ λ , μ ] / BC ( P , Q ) , the coordinate ring of the spectral curve Γ P , Q .
  • There exists an irreducible polynomial f C [ λ , μ ] such that BC ( P , Q ) = ( f ) .
Proof. 
As a consequence of the construction of e P , Q and Lemma 1, we obtain 1. In addition, recall that C is an algebraically closed field. By Remark 2, Γ P , Q is an irreducible algebraic curve in C 2 , meaning that its defining ideal BC ( P , Q ) = ( f ) is generated by an irreducible polynomial f C [ λ , μ ] . □
In Section 5, we treat the computation of the defining polynomial f of the spectral curve Γ P , Q .

4.2. Burchnall–Chaundy Ideal of a Third-Order Operator

Let us consider a third-order operator L in Σ [ ] C [ ] with nontrivial centralizer Z ( L ) . We will define next the Burchnall–Chaundy ideal of the operator L.
Given a basis B ( L ) = { 1 , A 1 , A 2 } of Z ( L ) , we can define the ring homomorphism
e L : C [ λ , μ 1 , μ 2 ] Σ [ ] b y e P , Q ( λ ) = L , e P , Q ( μ 1 ) = A 1 , e P , Q ( μ 2 ) = A 2 .
We will denote monomials in C [ λ , μ 1 , μ 2 ] by M α = λ α 0 μ 1 α 1 μ 2 α 2 , α = ( α 0 , α 1 , α 2 ) N 3 , whose image is e L ( M α ) = L α 0 A 1 α 1 A 2 α 2 . Thus, the image of e L is the centralizer of L,
Z ( L ) = C [ L , A 1 , A 2 ] = α N 3 σ α e L ( M α ) σ α C .
Given g C [ λ , μ 1 , μ 2 ] , we will denote
g ( L , A 1 , A 2 ) : = e L ( g ) .
Definition 5.
Given a third-order operator L in Σ [ ] C [ ] , with nontrivial centralizer and given a basis B ( L ) = { 1 , A 1 , A 2 } of Z ( L ) , we define a BC-ideal of an operator L as
BC ( L ) : = Ker ( e L ) = { g C [ λ , μ 1 , μ 2 ] g ( L , A 1 , A 2 ) = 0 } .
We will call the elements of the BC ideal BC-polynomials.
Lemma 2.
Given a third-order operator L in Σ [ ] C [ ] , with nontrivial centralizer Z ( L ) , the ideal BC ( L ) is a prime ideal in C [ λ , μ 1 , μ 2 ] .
Proof. 
Given a basis B ( L ) = { 1 , A 1 , A 2 } , since L and A i commute, by Lemma 1, BC ( L , A i ) is a nonzero ideal. Observe that BC ( L , A i ) BC ( L ) , which implies that BC ( L ) is also a nonzero ideal.
As in Lemma 1, we can prove that BC ( L ) is a prime ideal using the fact that e L is a ring homomorphism and that Σ [ ] is a Euclidean domain. □
We obtain the following result as a consequence of the construction of ε P , Q and Lemma 2.
Theorem 4.
Given a third-order operator L in Σ [ ] C [ ] , with nontrivial centralizer Z ( L ) , and given any basis { 1 , A 1 , A 2 } of Z ( L ) , then the next isomorphism holds:
Z ( L ) = C [ L , A 1 , A 2 ] C [ λ , μ 1 , μ 2 ] BC ( L ) .
Thus, Z ( L ) is the affine ring of an algebraic curve whose defining ideal is BC ( L ) .
Definition 6.
Given a third-order operator L in Σ [ ] , with nontrivial centralizer Z ( L ) , we define the spectral curve of Las the irreducible algebraic variety of the prime ideal BC ( L ) , that is,
Γ L : = { P 0 C 3 g ( P 0 ) = 0 , g BC ( L ) } .
We will compute in Section 6.2 a finite set of defining polynomials for Γ L . In general, the spectral curve of a third-order operator will be a space curve, and only in some special cases will it be a planar curve.
Remark 3.
In some cases, described in Remark 1, if Z ( L ) = C [ L , A ] then BC ( L ) = BC ( L , A ) . Therefore, the spectral curve of L would be the spectral curve of the pair L , A , a plane curve.

5. Elimination Ideals for Commuting Pairs of ODOs

Given a pair of commuting differential operators P , Q in Σ [ ] C [ ] , both of positive order, we know that the BC-ideal BC ( P , Q ) is a prime ideal by Lemma 1. This section is dedicated to the proof of Theorem 2, which is obtained as a consequence of Theorem 8 in this section. Moreover, we start proving in Theorem 5 a generalization of a known result of E. Previato [27] and G. Wilson [14] to the case of a pair of commuting operators with coefficients in Σ .

5.1. Generalized Previato–Wilson Theorem

Let us assume that P and Q have positive orders n and m, and leading coefficients a n and b m , respectively. Observe that the operators P λ and Q μ have coefficients in the differential domain ( Σ [ λ , μ ] , ) ; see the notation in Section 1. Let us consider the differential resultant of P λ and Q μ , as defined in Appendix B:
h ( λ , μ ) : = Res ( P λ , Q μ ) .
By (A8), it provides a nonzero polynomial in Σ [ λ , μ ] ,
h ( λ , μ ) = a n m μ n b m n λ m + = a n m μ n + j = 0 n 1 a j ( λ ) μ j 0 ,
where a j ( λ ) belong to Σ [ λ ] and have degree less than or equal to m.
The next theorem was proved by E. Previato in [27], for differential operators whose coefficients are analytic functions; see also [14]. For completion, we review the proof given in [7], on this occasion for differential operators with coefficients in an arbitrary differential field Σ with algebraically closed field of constant C of zero characteristic.
Theorem 5.
Let us consider differential operators P and Q in Σ [ ] C [ ] , both of positive order. If P and Q commute, then Res ( P λ , Q μ ) is a polynomial in C [ λ , μ ] .
Proof. 
Recall that P λ and Q μ are differential operators with coefficients in Σ [ λ , μ ] , whose field of fractions is F = Σ ( λ , μ ) . We can extend the derivation of F to its algebraic closure F ¯ , whose field of constants C is known to be algebraically closed; see [33], Corollary 3.3.1. Since the ring of constants of Σ [ λ , μ ] is C [ λ , μ ] , then it holds that Σ [ λ , μ ] C = C [ λ , μ ] .
Let us consider a fundamental system of solutions ψ 1 , , ψ n of ( P λ ) ( y ) = 0 in a Picard–Vessiot extension ( E , ¯ ) of F ¯ for ( P λ ) ( y ) = 0 , whose field of constants is C and whose derivation ¯ is defined by P λ . The natural extension of Q μ to ( E , ¯ ) allows us to consider the action of Q μ on the C -linear space of the solutions of ( P λ ) ( y ) = 0 .
Since P λ and Q μ commute, then ( Q μ ) ( ψ i ) are solutions of P λ . Therefore, there exists an n × n matrix M with coefficients in C such that
W ( ( Q μ ) ( ψ i ) ) = M W ( ψ i ) .
Taking determinants and using Poisson’s formula in Theorem A4, we obtain
Res ( P λ , Q μ ) = det W ( ( Q μ ) ( ψ i ) ) det W ( ψ i ) = det M C .
Thus, Res ( P λ , Q μ ) Σ [ λ , μ ] C = C [ λ , μ ] . □
Let us consider ( λ 0 , μ 0 ) C 2 . For a commuting pair P, Q, the next corollary characterizes the existence of common solutions of the eigenvalue problem
P y = λ 0 y , Q y = μ 0 y .
It follows from Theorem A5 and the fact that h ( λ 0 , μ 0 ) = Res ( P λ 0 , Q μ 0 ) .
Corollary 2.
Given commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, the spectral problem (10) has a non-trivial (common) solution in a Picard–Vessiot extension of Σ for P λ 0 (or Q μ 0 ) if and only if h ( λ 0 , μ 0 ) = 0 .

5.2. Computing the Burchnall–Chaundy Ideal of a Pair

It is ensured by Theorem 5 that the differential resultant h ( λ , μ ) = Res ( P λ , Q μ ) is a polynomial in C [ λ , μ ] . Resultants are also called eliminants, and this is the feature of resultants we will emphasize next. Let us consider the left ideal generated by P λ and Q μ in Σ [ λ , μ ] [ ] :
( P λ , Q μ ) = { C ( P λ ) + D ( Q μ ) C , D Σ [ λ , μ ] [ ] }
and the elimination ideal
E ( P λ , Q μ ) : = ( P λ , Q μ ) Σ [ λ , μ ] ,
which is a two-sided ideal of Σ [ λ , μ ] , and
E C ( P λ , Q μ ) : = ( P λ , Q μ ) C [ λ , μ ] ,
which is a two-sided ideal of C [ λ , μ ] . Observe that by Lemma A3, with differential domain of coefficients Σ [ λ , μ ] , and by Theorem 5, it follows that
h ( λ , μ ) = Res ( P λ , Q μ ) E C ( P λ , Q μ ) .
Thus, both elimination ideals are nonzero.
It was proved by Wilson in [14] that h ( P , Q ) = 0 , that is, h ( λ , μ ) BC ( P , Q ) , in the case of differential operators P and Q whose coefficients are complex-valued smooth functions of x defined in some (real or complex) neighborhood of x = 0 . We use here the argument of [14], Proposition 5.3 in a more general framework, where differential operators have coefficients in an arbitrary differential field Σ , with field of constants algebraically closed of zero characteristic. For this purpose, we develop the following construction.
Considering Σ [ λ , μ ] as a Σ -vector space with basis { λ i μ j } , we can define the Σ -linear map
ε P , Q : Σ [ λ , μ ] Σ [ ] ,   defined   by   ε P , Q i , j σ i , j λ i μ j = i , j σ i , j e P , Q λ i μ j .
In this setting, given g Σ [ λ , μ ] , we will also denote g ( P , Q ) : = ε P , Q ( g ) . Thus,
Ker ( ε P , Q ) = { g Σ [ λ , μ ] g ( P , Q ) = 0 } .
Observe that the restriction of ε P , Q to the subring of constants C [ λ , μ ] of Σ [ λ , μ ] is the ring homomorphism e P , Q defined in (4), and also that
BC ( P , Q ) = Ker ( e P , Q ) = Ker ( ε P , Q ) C [ λ , μ ] .
We will proceed next to calculate a generator for both kernels. We will begin by demonstrating that the differential resultant Res ( P λ , Q μ ) belongs to the ideal BC ( P , Q ) , that is, h is a Burchnall–Chaundy polynomial. This is Theorem 6, and to prove it, we will need some auxiliary results.
Lemma 3.
Given commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, with the previous notation, it holds that
E ( P λ , Q μ ) Ker ( ε P , Q ) .
Proof. 
Given a polynomial g in E ( P λ , Q μ ) , then
g ( λ , μ ) = C ( P λ ) + D ( Q μ ) , C , D Σ [ λ , μ ] [ ] .
Observe that the differential operator g ( P , Q ) = ε P , Q ( g ) has finite order, q = ord ( g ( P , Q ) ) .
Let λ 0 be a constant in C . Since C is algebraically closed, there exists μ 0 in the nonempty set { μ C h ( λ 0 , μ ) = 0 } . By Corollary 2, there exists a common eigenfunction ψ λ 0 for the coupled spectral problem (10). Consequently, the following is an infinite set of linearly independent eigenfunctions
Ψ = { ψ λ 0 λ 0 C } ,
since eigenfunctions associated to different eigenvalues are linearly independent. Now, for every ψ λ 0 Ψ , it holds that
g ( P , Q ) ( ψ λ 0 ) = g ( λ 0 , μ 0 ) · ψ λ 0 = C 0 ( P λ 0 ) ( ψ λ 0 ) + D 0 ( Q μ 0 ) ( ψ λ 0 ) = 0 ,
where C 0 and D 0 are the result of evaluating the coefficients of C and D in ( λ 0 , μ 0 ) . Moreover, Ψ is included in the C -linear space of solutions of the equation g ( P , Q ) ( y ) = 0 , whose dimension is q. Then g ( P , Q ) is the zero operator. □
As a consequence of Lemma 3, Formula (15) and Theorem 5, the following result is proved.
Theorem 6.
Given commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, then
h ( λ , μ ) = Res ( P λ , Q μ ) BC ( P , Q ) .
Moreover, h = f r ¯ for some non-zero natural number r ¯ and f is the irreducible polynomial such that BC ( P , Q ) = ( f ) .
The radical of the ideal ( h ) generated by h in C [ λ , μ ] equals ( f ) ; see, for instance, [34], page 178, Proposition 9, where f is the radical of h, that is,
f = h = h / gcd ( h , h )
is the square-free part of h. If n = ord ( P ) and m = ord ( Q ) , observe that, by Section 5.1, the degrees in μ and λ of h are, respectively,
n = deg μ ( h ) = r ¯ deg μ ( f ) , m = deg λ ( h ) = r ¯ deg λ ( f ) ,
then r ¯ divides r : = gcd ( n , m ) , and n ¯ = deg μ ( f ) n , m ¯ = deg λ ( f ) m .
Let us consider the pure lexicografic monomial ordering in Σ [ λ , μ ] with μ > λ . Given g Σ [ λ , μ ] , by the Division Theorem (see [34], Theorem 3, page 64), we can write g = q f + g N , where q , g N Σ [ λ , μ ] ,
g N ( λ , μ ) = α n ¯ 1 ( λ ) μ n ¯ 1 + + α 1 ( λ ) μ + α 0 ( λ ) , with   α j Σ [ λ ] ,
since the leading monomial L T ( f ) = μ n ¯ of f does not divide g N . We call g N the normal form of g with respect to f, and for short we write that g N is the normal form of g w.r.t. f.
Let us consider a polynomial g C [ λ , μ ] , and the differential ideal [ g ] generated by g in the differential ring Σ [ λ , μ ] , whose field of constants is C [ λ , μ ] . Observe that [ g ] = { g Σ [ λ , μ ] } and ( g ) = g , since g C [ λ , μ ] . Furthermore, [ g ] is the ideal of Σ [ λ , μ ] generated by g, but we use the notation [ g ] to distinguish it from the ideal ( g ) generated in C [ λ , μ ] by g.
Lemma 4.
Given commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, with the previous notation, it holds that Ker ( ε P , Q ) = [ f ] .
Proof. 
By Theorem 6, we know that BC ( P , Q ) = ( f ) . We observe that [ BC ( P , Q ) ] = [ f ] Ker ( ε P , Q ) . Let us prove the other inclusion.
Given g Ker ( ε P , Q ) , let us consider its normal form g N w.r.t. f as in (18). If we denote d j = deg ( α j ) , then ord ( α j ( P ) Q j ) = n d j + j m , j = 0 , 1 , , n ¯ 1 . Let us define
O = { n d j + j m α j ( P ) Q j 0 , j { 0 , 1 , , n ¯ 1 } } .
Observe that ε P , Q ( g ) = ε P , Q ( q f ) + ε P , Q ( g N ) and ε P , Q ( q f ) = ε P , Q ( q ) ε P , Q ( f ) , only because f is constant. Since g ( P , Q ) = ε P , Q ( g ) = 0 and f ( P , Q ) = ε P , Q ( f ) = e P , Q ( f ) = 0 then H = g N ( P , Q ) = 0 is a zero operator. If we assume that at least one of the terms of H is nonzero, that is, O Ø , then by (A3)
n d j 1 + j 1 m = n d j 2 + j 2 m
for distinct j 1 , j 2 { 0 , 1 , , n ¯ 1 } . Reorganizing and dividing by r = gcd ( n , m ) , it holds that
n ^ | d j 1 d j 2 | = m ^ | j 1 j 2 | ,
where n = n ^ r and m = m ^ r , gcd ( n ^ , m ^ ) = 1 . By (17), we have n ^ n ¯ n . If | j 1 j 2 | < n ^ , then by (19), | d j 1 d j 2 | < m ^ and m ^ n ^ , contradicting that n ^ and m ^ are coprime. If n ^ | j 1 j 2 | , then | j 1 j 2 | = n ^ t + j ^ , with 0 j ^ < n ^ . Hence, n ^ ( | d j 1 d j 2 | m ^ t ) = m ^ j ^ , implying n ^ m ^ , which is a contradiction. Therefore, we conclude that O = Ø , in other words, that g N is the zero polynomial. This proves that g = q f , that is, g [ f ] . □
Theorem 7.
Let us consider commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, and f = h , with h = Res ( P λ , Q μ ) . Then [ f ] is a prime differential ideal in Σ [ λ , μ ] .
Proof. 
As defined in (6), let Γ P , Q be the spectral curve of the pair P , Q . For each point ( λ 0 , μ 0 ) Γ P , Q , by Corollary 2, there exists a common solution ψ 0 in a Picard–Vessiot extension of Σ for P λ 0 .
Let us consider g 1 , g 2 Σ [ λ , μ ] and assume that g 1 · g 2 [ f ] . Observe that
0 = g 1 ( λ 0 , μ 0 ) · g 2 ( λ 0 , μ 0 ) Σ .
Thus, we can write the following partition of Γ P , Q :
Γ P , Q = Γ 1 Γ 2   where   Γ i = { ( λ 0 , μ 0 ) Γ P , Q g i ( λ 0 , μ 0 ) = 0 } .
Having an algebraically closed field of constants C implies that at least one of the two components, say Γ 1 , has an infinite number of points.
We then have an infinite set of linearly independent eigenfunctions Ψ = { ψ 0 ( λ 0 , μ 0 ) Γ 1 } . For every ψ 0 Ψ , we have
0 = g 1 ( λ 0 , μ 0 ) · ψ 0 = g 1 ( P , Q ) ( ψ 0 )
This contradicts the fact that g 1 ( P , Q ) is a finite-order differential operator. This proves that g 1 Ker ( ε P , Q ) . By Lemma 4, g 1 [ f ] . □
We proceed next to emphasize the relationship between the elimination ideals defined in (12) and (13) and the ideal of Burchnall–Chaundy polynomials of a commuting pair of ODOs.
Theorem 8.
Let us consider commuting differential operators P and Q in Σ [ ] C [ ] , both of positive order, and f = h , with h = Res ( P λ , Q μ ) . It holds that
  • The radical of the elimination ideal E C ( P λ , Q μ ) equals BC ( P , Q ) = ( f ) .
  • The radical of the elimination ideal E ( P λ , Q μ ) equals [ f ] .
Proof. 
By Lemma 3 and Lemma 4, we obtain
E ( P λ , Q μ ) Ker ( ε P , Q ) = [ f ] , E C ( P λ , Q μ ) = E ( P λ , Q μ ) C [ λ , μ ] Ker ( ε P , Q ) C [ λ , μ ] = BC ( P , Q ) = ( f ) ,
using also Equality (15) and Theorem 6. Now, taking radicals and applying Theorem 7, the following inclusions hold:
E ( P λ , Q μ ) Ker ( ε P , Q ) = [ f ] E C ( P λ , Q μ ) = BC ( P , Q ) = ( f ) ,
where the last equality is satisfied since C is an algebraically closed field; see [35].
Moreover, the differential resultant h = f r ¯ is a polynomial in E ( P λ , Q μ ) , by Theorem 6. Consequently, f belongs to the radical E ( P λ , Q μ ) . Thus, we have E ( P λ , Q μ ) = [ f ] . □
Summarizing, the spectral curve Γ P , Q of a commuting pair P , Q Σ [ ] C [ ] is defined by the irreducible polynomial f = h , with h = Res ( P λ , Q μ ) . The commutative C -algebra C [ P , Q ] is isomorphic to the coordinate ring C [ Γ P , Q ] of this curve:
C [ P , Q ] C [ Γ P , Q ] : = C [ λ , μ ] BC ( P , Q ) = C [ λ , μ ] ( f ) .
In addition, the prime differential ideal [ f ] determines a differential domain
Σ [ Γ P , Q ] : = Σ [ λ , μ ] [ f ] ,
whose fraction field, denoted by Σ ( Γ P , Q ) , will play a key role in the study of the coupled spectral problem:
P y = λ y , Q y = μ y .
Remark 4.
In some cases, the centralizer Z ( L ) of a differential operator L is the affine ring of a planar curve, as in the case of algebro-geometric Schrödinger operators where Z ( L ) = C [ L , A ] . The spectral Picard–Vessiot extension of Σ ( Γ L , A ) for ( L λ ) ( y ) = 0 , introduced in [8], is a Liouvillian extension of Σ ( Γ L , A ) determined by the solution of the first-order greatest common right divisor of L λ and A μ , as differential operators with coefficients in Σ ( Γ L , A ) .

6. Centralizers as Coordinate Rings

Let L Σ [ ] C [ ] be a third-order operator, whose centralizer is non-trivial. We proved in Lemma 2 that BC ( L ) is a prime ideal, and in Theorem 4 that
Z ( L ) C [ λ , μ 1 , μ 2 ] BC ( L ) .
Our next goal is to obtain a computational description of BC ( L ) . We will use differential resultants for this purpose.

6.1. Normalized Basis

By Theorem 6, each operator A in the centralizer Z ( L ) , together with L, satisfies the algebraic equation defined by an irreducible polynomial f A ( λ , μ ) C [ λ , μ ] defined by the differential resultant Res ( L λ , A μ ) , that is,
f A ( L , A ) = 0 ,   with   f A ( λ , μ ) = μ 3 + a 2 ( λ ) μ 2 + a 1 ( λ ) μ + a 0 ( λ ) .
The Tschirnhaus transformation of f A ( λ , μ ) gives a new polynomial
f A ˜ ( λ , μ ) = f A ( λ , μ 1 3 a 2 ( λ ) ) = μ 3 + a ˜ 1 ( λ ) μ + a ˜ 0 ( λ ) .
satisfied by L and the operator
A ˜ : = A 1 3 a 2 ( L ) .
Observe that, by Theorems 3 and 8,
C [ λ , μ ] ( f A ) C [ L , A ] = C [ L , A ˜ ] C [ λ , μ ] ( f A ˜ ) .
In addition, f A ˜ BC ( L , A ˜ ) and by (20) f A ˜ , is an irreducible polynomial because f A is irreducible over C [ λ , μ ] . Thus, Theorem 8 implies
f A ˜ ( λ , μ ) = Res ( L λ , A ˜ μ ) .
Recall that any basis of Z ( L ) is a minimal-order basis; see Proposition A2 in Appendix A.
Definition 7.
Let L Σ [ ] C [ ] be a third-order operator, whose centralizer is non-trivial. We will call A Z ( L ) C [ L ] a normalized operator of  Z ( L ) if Res ( L λ , A μ ) has no term of degree 2 in μ. A basis B ( L ) = { 1 , A 1 , A 2 } of Z ( L ) as a C [ L ] -module is called a normalized basis of Z ( L ) if A 1 and A 2 are normalized operators of Z ( L ) .
The next result shows that any other basis of Z ( L ) as a C [ L ] -module is determined by a normalized basis.
Theorem 9.
Let L Σ [ ] C [ ] be a third-order operator, whose centralizer is non-trivial. Let us consider a normalized basis B ( L ) = { 1 , A 1 , A 2 } of Z ( L ) . Then for any other basis { 1 , B 1 , B 2 } of Z ( L ) , it holds that
B i = α i A i + q i ( L ) , i = 1 , 2 ,
with α i C , q i ( λ ) C [ λ ] , deg λ ( q i ( λ ) ) ord A i i 3 . Moreover, if { 1 , B 1 , B 2 } is also a normalized basis, then
B i = α i A i , i = 1 , 2 .
Proof. 
We know that Z ( L ) = C [ L , A 1 , A 2 ] = C [ L , B 1 , B 2 ] . W.l.o.g., let us assume that o 1 = ord ( A 1 ) < o 2 = ord ( A 2 ) . Since { 1 , B 1 , B 2 } is a minimal-order basis, let us assume that B i has minimal-order congruence with i ( mod 3 ). Then ord ( B i ) = o i and o 1 < o 2 , together with (2), implies
B 1 = α 1 A 1 + q 1 ( L )   and   B 2 = α 2 A 2 + p ( L ) A 1 + q 2 ( L ) ,
with α i C , p ( λ ) , q i ( λ ) C [ λ ] and deg λ ( q i ( λ ) ) ord A i i 3 .
Let us prove that p ( λ ) is identically zero. We know that BC ( L , B 2 ) = ( f ) , where f = Res ( L λ , B 2 μ ) C [ λ , μ ] is a polynomial of degree 3 in μ . Thus,
B 2 3 = β 2 ( L ) B 2 2 + β 1 ( L ) B 2 + β 0 ( L ) , β j C [ λ ] .
Since B ( L ) is a normalized basis, it holds that
A i 3 = γ i , 1 ( L ) A i + γ i , 0 ( L ) , γ i , k C [ λ ] .
Computing B 2 3 = ( α 2 A 2 + p ( L ) A 1 + q 2 ( L ) ) 3 , for instance, with Maple and using (24) to replace A i 3 , we obtain only the monomials A 1 2 A 2 and A 1 A 2 2 of degree three in A 1 and A 2 in (25). Comparing with the r.h.s. of (23), we obtain that the coefficients of the monomials of degree three must vanish:
( α 2 A 2 + p ( L ) A 1 + q 2 ( L ) ) 3 = 3 α 2 p ( L ) 2 A 1 2 A 2 + 3 α 2 2 p ( L ) A 1 A 2 2 + .
Thus, p ( λ ) must be identically zero and we obtain
B 2 3 = ( α 2 A 2 + q 2 ( L ) ) 3 = 3 α 2 2 q 2 ( L ) A 2 2 + ( α 2 3 γ 2 , 1 ( L ) + 3 α 2 q 2 ( L ) 2 ) A 2 + α 2 3 γ 2 , 0 ( L ) + q 2 ( L ) 3 .
If { 1 , B 1 , B 2 } is also a normalized basis, the r.h.s. of (23) cannot have a term A 2 2 , then q 2 ( λ ) must be the zero polynomial and B 2 = α 2 A 2 . We analogously prove that B 1 = α 1 A 1 . □
The previous result explains that a normalized basis is unique up to multiplication by constants. We include this result for completion but we do not need to choose the normalized basis in the remaining parts of this work.

6.2. Generators of the Burchnall–Chaundy Ideal of a Third-Order ODO

Let us consider a basis B ( L ) = { 1 , A 1 , A 2 } of Z ( L ) . Let us denote
f i ( λ , μ i ) : = Res ( L λ , A i μ i ) = μ i 3 λ o i + C [ λ , μ i ] ,
if B ( L ) is the normalized basis, then
f i ( λ , μ i ) : = μ i 3 γ i , 1 ( λ ) μ i γ i , 0 ( λ ) .
Recall that f i are irreducible and BC ( L , A i ) = ( f i ) , i = 1 , 2 ; see Section 5.2. In addition, let us denote by f 3 the irreducible polynomial in C [ μ 1 , μ 2 ] obtained as the radical of
Res ( A 1 μ 1 , A 2 μ 2 ) = μ 2 o 1 μ 1 o 2 + .
We have BC ( A 1 , A 2 ) = ( f 3 ) .
The situation so far is described by the following chain of ideals in C [ λ , μ 1 , μ 2 ] and we will determine first if the last two inclusions are identities:
( 0 ) ( f i ) ( f 1 , f 2 ) ( f 1 , f 2 , f 3 ) BC ( L ) , i = 1 , 2 .
Let us consider the following algebraic varieties defined by the previous ideals:
Γ : = V ( BC ( L ) ) , γ : = V ( f 1 , f 2 , f 3 ) , β : = V ( f 1 , f 2 ) .
By the inclusions in (26), we obtain Γ γ β . Observe that β = V ( f 1 ) V ( f 2 ) is the intersection of the irreducible surfaces defined by f 1 ( λ , μ 1 ) = 0 and f 2 ( λ , μ 2 ) = 0 ; therefore, β is a space algebraic curve.
The Zariski closure of the projection Π λ ( β ) ¯ of β onto the plane λ = 0 is a plane algebraic curve defined by the square free part r ( μ 1 , μ 2 ) of the algebraic resultant Res λ ( f 1 , f 2 ) w.r.t. λ ; see [34], Chapter 3, §2 and [36], Section 2. This projected curve Π λ ( β ) ¯ = V ( r ) could be irreducible or not. Observe that r ( A 1 , A 2 ) = 0 , and therefore, r BC ( A 1 , A 2 ) = ( f 3 ) . Thus, there are two possible situations:
  • Irreducible. If r ( μ 1 , μ 2 ) is irreducible, then ( f 1 , f 2 ) = ( f 1 , f 2 , f 3 ) and V ( r ) is an irreducible curve.
  • Non-irreducible. If r ( μ 1 , μ 2 ) is not irreducible, then f 3 properly divides r and ( f 1 , f 2 ) ( f 1 , f 2 , f 3 ) . Including f 3 in the ideal allows us to select one irreducible component of V ( r ) . The example in Section 8 illustrates this situation.
We will prove next that ( f 1 , f 2 , f 3 ) is the defining ideal of an irreducible space curve, in both situations. By Remark 2, the irreducible component of Π λ ( β ) determined by f 3 is a proper curve; it cannot be a point.
Remark 5.
Let us assume that the projection over the plane λ = 0 of the algebraic curve β, and therefore, γ is birational. Note that this holds for almost all projections (see [35] [Fulton], p. 155), and hence, we can make this assumption w.l.o.g. More precisely, a valid projection direction can be achieved by an affine change of coordinates (see [36], Section 2, which establishes an isomorphism between coordinate rings; see, for instance, [37], Theorem 2.24).
A Gröbner basis F = { F 0 , F 1 , , F s } C [ λ , μ 1 , μ 2 ] of ( f 1 , f 2 , f 3 ) w.r.t. the pure lexicographic monomial ordering with λ > μ 1 > μ 2 verifies:
  • The polynomial F 0 C [ μ 1 , μ 2 ] is an implicit representation of the Zariski closure of the projection Π λ ( γ ) ¯ of γ onto the plane λ = 0 . Furthermore, F 0 = f 3 because f 3 is irreducible over C . Thus, this projection is an irreducible algebraic curve Π λ ( γ ) ¯ = V ( f 3 ) .
  • On the other hand, since this projection is assumed birational on γ, then F contains a linear polynomial in λ, say F 1 = g 2 ( μ 1 , μ 2 ) λ g 1 ( μ 1 , μ 2 ) .
Let us consider the pure lexicographic monomial ordering with λ > μ 1 > μ 2 in Σ [ λ , μ 1 , μ 2 ] . Given g Σ [ λ , μ 1 , μ 2 ] , by the Division Theorem [34], Theorem 3, page 64, we can write
g = j q j F j + g F
where q j , g F Σ [ λ , μ 1 , μ 2 ] . We call g F the normal form of g w.r.t F .
Lemma 5.
Let us consider a Gröbner basis F of ( f 1 , f 2 , f 3 ) w.r.t. the pure lexicographic order with λ > μ 1 > μ 2 . The normal form g F of g Σ [ λ , μ 1 , μ 2 ] w.r.t F is a polynomial in Σ [ μ 1 , μ 2 ] whose degree in μ 1 is less than deg μ 1 ( f 3 ) .
Proof. 
By the Division Theorem, no monomial of g F is divisible by the leading terms L T ( F 1 ) = λ and L T ( F 0 ) = L T ( f 3 ) ; thus, the result follows. □
We are ready to prove that BC ( L ) ( f 1 , f 2 , f 3 ) .
Theorem 10.
Let L be a third-order operator in Σ [ ] C [ ] , whose centralizer is non-trivial. Given a basis { 1 , A 1 , A 2 } of the centralizer, let f i , i = 1 , 2 , 3 be the irreducible polynomials over C such that BC ( L , A i ) = ( f i ) and BC ( A 1 , A 2 ) = ( f 3 ) . Then BC ( L ) = ( f 1 , f 2 , f 3 )
Proof. 
Given g BC ( L ) , let g F be its normal form w.r.t F . Then g F BC ( L ) . Furthermore, by Lemma 5, then g F BC ( A 1 , A 2 ) C [ μ 1 , μ 2 ] and deg μ 1 ( g F ) < deg μ 1 ( f 3 ) . We conclude that g F is identically zero, that is, g ( F ) = ( f 1 , f 2 , f 3 ) . □
Corollary 3.
Let L Σ [ ] C [ ] be a third-order operator, whose centralizer is non-trivial. Then
Γ = V ( BC ( L ) )
is an irreducible algebraic curve whose defining ideal is BC ( L ) = ( f 1 , f 2 , f 3 ) , with f i defined above. Furthermore,
Z ( L ) C [ λ , μ 1 , μ 2 ] ( f 1 , f 2 , f 3 ) .

7. Parametric Factorization of Algebro-Geometric ODOs

Let L be a third-order operator in Σ [ ] C [ ] , whose centralizer is non-trivial. We consider next the factorization of L λ , for λ an algebraic parameter over Σ . We know that λ is not a free parameter, but that it is governed by the spectral curve Γ of L. Thus,
L λ Σ [ λ ] [ ] Σ [ λ , μ 1 , μ 2 ] [ ] .
Recall that Σ [ λ , μ 1 , μ 2 ] is a differential ring with the extended derivation ; see the notation in Section 1.
Let us consider a basis { 1 , A 1 , A 2 } of Z ( L ) and the irreducible polynomials f i , i = 1 , 2 , 3 in C [ λ , μ 1 , μ 2 ] such that BC ( L , A 1 ) = ( f i ) and BC ( A 1 , A 2 ) = ( f 3 ) . By Theorem 10,
[ BC ( L ) ] = [ f 1 , f 2 , f 3 ] .
As differential operators in Σ ( λ , μ 1 , μ 2 ) [ ] , the pairs L λ and A i μ i are right coprime, since their differential resultants are nonzero, by Theorem A2. To consider the factorization of L λ , we need an appropriate differential field of coefficients.

7.1. Coefficient Field for Factorization

Associated to L we have defined in (9) the prime ideal BC ( L ) ; see Lemma 2. We will prove in this section that the differential ideal [ BC ( L ) ] is a prime ideal in Σ [ λ , μ 1 , μ 2 ] . Thus, we can define the differential domain
Σ [ Γ ] = Σ [ λ , μ 1 , μ 2 ] [ BC ( L ) ]
and its fraction field Σ ( Γ ) , which therefore is a differential field.
Considering Σ [ λ , μ 1 , μ 2 ] as a Σ -vector space with basis
{ M α = λ α 0 μ 1 α 1 μ 2 α 2 α = ( α 0 , α 1 , α 2 ) N 3 } ,
we can define the Σ -linear map
ε L : Σ [ λ , μ 1 , μ 2 ] Σ [ ] ,   defined   by   ε L α σ α M α = α σ α e L M α ,
where e L is the ring homomorphism defined in (7). Observe that given g = α σ α M α Σ [ λ , μ 1 , μ 2 ] and F C [ λ , μ 1 , μ 2 ] , then
ε L ( g F ) = α σ α e L ( M α F ) = ε L ( g ) e L ( F ) .
Lemma 6.
Let us consider a Gröbner basis F of ( f 1 , f 2 , f 3 ) w.r.t. the pure lexicographic order with λ > μ 1 > μ 2 . Given g Ker ( ε L ) , the normal form g F of g w.r.t F verifies
g F [ BC ( A 1 , A 2 ) ] = [ f 3 ] .
Proof. 
With notation as in (27), by (31), we have
0 = ε L ( g ) = j ε L ( q j ) e L ( F j ) + ε L ( g F ) = ε L ( g F ) .
Thus, g F Ker ( ε L ) and by Lemma 5, we know that g F Σ [ μ 1 , μ 2 ] . Therefore, by Lemma 4,
g F Ker ( ε A 1 , A 2 ) = [ BC ( A 1 , A 2 ) ] = [ f 3 ] .
Lemma 7.
With the previous notation, it holds that Ker ( ε L ) = [ BC ( L ) ] .
Proof. 
We will show next that the inclusion of [ BC ( L ) ] = [ f 1 , f 2 , f 3 ] in Ker ( ε L ) is natural. Since f i has constant coefficients, the next differential ideal coincides with the ideal generated by f 1 , f 2 , f 3 in Σ [ λ , μ 1 , μ 2 ] :
[ f 1 , f 2 , f 3 ] = { g 1 f 1 + g 2 f 2 + g 3 f 3 g i Σ [ λ , μ 1 , μ 2 ] } .
In addition, by (31), ε L ( g i f i ) = ε L ( g i ) e L ( f i ) = 0 , which proves that [ BC ( L ) Ker ( ε L ) ] .
Conversely, given g Ker ( ε L ) , by Lemma 6, g F [ f 3 ] . In addition, by Lemma 5, deg μ 1 ( g F ) < deg μ 1 ( f 3 ) . Therefore g F is identically zero, proving that g [ F ] = [ BC ( L ) ] . □
Theorem 11.
Let L be a third-order operator in Σ [ ] C [ ] , whose centralizer is non-trivial. Then the differential ideal [ BC ( L ) ] is a prime ideal in Σ [ λ , μ 1 , μ 2 ] .
Proof. 
Given g [ BC ( L ) ] , let us assume that g = g 1 · g 2 , with g 1 , g 2 Σ [ λ , μ 1 , μ 2 ] . By Lemma 6, g F K e r ( ε L ) . By Lemma 5, g i F Σ [ μ 1 , μ 2 ] and using (27), we can write
g i = Δ i + g i F , with   Δ i [ BC ( L ) ] .
Thus,
g 1 · g 2 = Δ 1 Δ 2 + Δ 1 g 2 F + Δ 2 g 1 F + g 1 F g 2 F .
Therefore, 0 = ε L ( g ) = ε L ( g 1 · g 2 ) = ε L ( g 1 F g 2 F ) . This implies that g 1 F g 2 F [ f 3 ] , which is a prime ideal in Σ [ μ 1 , μ 2 ] , by Theorem 7. We can conclude that g i F [ f 3 ] , which shows that g i [ BC ( L ) ] , for i = 1 or i = 2 , proving that [ BC ( L ) ] is a prime ideal. □
We are now ready to work over the field Σ ( Γ ) , the fraction field of the domain Σ [ Γ ] defined in (29). Regarding the differential structure of Σ ( Γ ) , we consider the standard differential structure of the quotient ring Σ [ Γ ] given by a derivation ˜ defined by:
˜ ( q + [ BC ( L ) ] ) : = ( q ) + [ BC ( L ) ] , q Σ [ λ , μ 1 , μ 2 ] .
Observe that ˜ is a derivation in Σ [ Γ ] because [ BC ( L ) ] is a differential ideal. By abuse of notation, we will denote by the derivation ˜ and its extension to the fraction field Σ ( Γ ) .

7.2. The Intrinsic Right Factor

We will study next the factorization of L λ as a differential operator with coefficients in the differential field ( Σ ( Γ ) , ) , as defined in Section 7.1.
As differential operators in Σ ( Γ ) [ ] , L λ and A i μ i , i = 1 , 2 have a non-trivial common factor, namely their monic greatest common right divisor L i : = gcrd ( L λ , A i μ i ) . For instance, this follows from the Resultant Theorem A5, since f i = Res ( L λ , A i μ i ) is zero in Σ ( Γ ) . Similarly, for some positive integer r, it holds that f 3 r = Res ( A 1 μ 1 , A 2 μ 2 ) , which is zero in Σ ( Γ ) , implying that L 3 : = gcrd ( A 1 μ 1 , A 2 μ 2 ) is a differential operator of order greater than or equal to one.
We will prove next that L 1 and L 2 are indeed differential operators of order 1 in Σ ( Γ ) [ ] . Moreover, the goal of this section is to show that L 1 and L 2 are equal as differential operators in Σ ( Γ ) [ ] , providing a right factor of L λ that is intrinsic to the nature of L. This factor is linked to the hypothesis of having a nontrivial centralizer.
We chose differential subresultants to compute greatest common right divisors, because they have fairly explicit expressions for their computation that also allow us to obtain some important theoretical conclusions. As defined in Appendix B.1, let us consider the first differential subresultants:
s Res 1 ( L λ , A i μ i ) = ϕ i , 0 + ϕ i , 1 , i = 1 , 2 , s Res 1 ( A 1 μ 1 , A 2 μ 2 ) = ϕ 3 , 0 + ϕ 3 , 1
where, for j = 0 , 1
ϕ i , j ( λ , μ i ) : = det ( S 1 j ( L λ , A i μ i ) ) , i = 1 , 2
ϕ 3 , j ( μ 1 , μ 2 ) : = det ( S 1 j ( A 1 μ 1 , A 2 μ 2 ) ) .
Observe that the coefficients ϕ i , j are nonzero polynomials in Σ [ λ , μ 1 , μ 2 ] , but we need to check if they are nonzero in Σ ( Γ ) . Recall that from Section 3, o i = ord ( A i ) i ( mod 3 ) .
Lemma 8.
With the notation established above, the class ϕ i , j + [ BC ( L ) ] , i = 1 , 2 , j = 0 , 1 in Σ ( Γ ) is non-zero. In addition, if gcd ( o 1 , o 2 ) = 1 , then the class of ϕ 3 , j + [ BC ( L ) ] is non-zero.
Proof. 
By the construction of the matrices S 1 j as in (A11), the degree in μ i of ϕ i , j is less than 3, for i = 1 , 2 . Thus, ϕ i , j , i = 1 , 2 does not belong to [ BC ( L ) ] because otherwise it is included in
[ BC ( L ) ] Σ [ λ , μ i ] = [ BC ( L , A i ) ] = [ f i ] ,
which is not possible. Similarly, if gcd ( o 1 , o 2 ) = 1 , then the degree in μ 1 of ϕ 3 , j is less than o 2 and ϕ 3 , j does not belong to [ BC ( L ) ] because otherwise, it is included in
[ BC ( L ) ] Σ [ μ 1 , μ 2 ] = [ BC ( A 1 , A 2 ) ] = [ f 3 ] .
Observe that in the case gcd ( o 1 , o 2 ) = 1 then f 3 = Res ( A 1 μ 1 , A 2 μ 2 ) has degree o 2 in μ 1 . □
By Lemma 8, s Res 1 ( L λ , A i μ i ) are nonzero differential operators in Σ ( Γ ) [ ] of order one. The First Subresultant Theorem A3 implies that L i = gcrd ( L λ , A i μ i ) equals the first subresultant. We can make them monic and write
L i = gcrd ( L λ , A i μ i ) = + ϕ i + [ BC ( L ) ] , with   ϕ i : = ϕ i , 0 ϕ i , 1 .
The next lemma will be important to prove that the right factors L i coincide over the field of the spectral curve Σ ( Γ ) . For this purpose, let us define the elimination ideal
E ( L ) : = ( L λ , A 1 μ 1 , A 2 μ 2 ) Σ [ λ , μ 1 , μ 2 ] .
Proposition 1.
With the previous notation, it holds that E ( L ) [ BC ( L ) ] .
Proof. 
Given a polynomial g in E ( L ) , then
g ( λ , μ 1 , μ 2 ) = C ( L λ ) + D 1 ( A 1 μ 1 ) + D 2 ( A 2 μ 2 ) , C , D 1 , D 2 Σ [ λ , μ 1 , μ 2 ] [ ] .
With the notation in Remark 5 and by Corollary 3, every point of Γ is determined by a point ( η 1 , η 2 ) of the projection of the curve Γ onto the plane λ = 0 , in the following way:
g 1 ( η 1 , η 2 ) g 2 ( η 1 , η 2 ) , η 1 , η 2   with   f 3 ( η 1 , η 2 ) = 0 ,
except for a finite number of points such that g 2 ( η 1 , η 2 ) = 0 .
As in Remark 5, let us consider a Gröbner basis F = { F 0 , F 1 , , F s } C [ λ , μ 1 , μ 2 ] of ( f 1 , f 2 , f 3 ) w.r.t. the pure lexicographic monomial ordering with λ > μ 1 > μ 2 . Recall that F 1 = g 2 ( μ 1 , μ 2 ) λ g 1 ( μ 1 , μ 2 ) , with g i C [ μ 1 , μ 2 ] . By (38), since BC ( L ) = ( f 1 , f 2 , f 3 ) = ( F ) , we have
F 1 ( L , A 1 , A 2 ) = g 2 ( A 1 , A 2 ) L g 1 ( A 1 , A 2 ) = 0 .
Given η 1 C , there exists η = ( η 1 , η 2 ) Π λ ( Γ ) , the Zariski closure of the projection of Γ onto the plane λ = 0 . Let E 1 be the Picard–Vessiot extension of Σ for A 1 η 1 . By Corollary 2, since f 3 ( η 1 , η 2 ) = 0 , there exists ψ 1 E 1 , a common eigenfunction of the spectral problem
A 1 y = η 1 y , A 2 y = η 2 y .
Thus, Ψ : = { ψ 1 η 1 C } is an infinite set of linearly independent eigenfunctions for (40). Observe that, by (39),
0 = ( L g 2 ( A 1 , A 2 ) g 1 ( A 1 , A 2 ) ) ( ψ 1 ) = L ( g 2 ( η ) · ψ 1 ) g 1 ( η ) · ψ 1
Thus,
L ( ψ 1 ) = g 1 ( η ) g 2 ( η ) · ψ 1 .
To finish the argument, for every ψ 1 Ψ , by (40) and (41),
g ( L , A 1 , A 2 ) ( ψ 1 ) =
g g 1 ( η ) g 2 ( η ) , η 1 , η 2 · ψ 1 = C ˜ L g 1 ( η ) g 2 ( η ) + D ˜ 1 ( A 1 η 1 ) + D ˜ 2 ( A 2 η 2 ) ( ψ 1 ) = 0 ,
using (37) and obtaining C ˜ , D ˜ 1 and D ˜ 2 in Σ [ ] . Since Ψ is an infinite set, we can conclude that g ( L , A 1 , A 2 ) = 0 , which proves the result. □
Let us denote by ϕ ¯ i the class ϕ i + [ BC ( L ) ] in Σ ( Γ ) . Looking at these functions as representatives of objects in Σ ( Γ ) , we can establish the following result.
Lemma 9.
With the previous notation. Let us consider ϕ i as in (35), then
ϕ : = ϕ ¯ 1 = ϕ ¯ 2 Σ ( Γ ) .
If gcd ( o 1 , o 2 ) = 1 , then ϕ = ϕ ¯ 3 .
Proof. 
By the definition of subresultants in Appendix B.1, we know that
L i = + ϕ i ( L λ , A i μ i ) .
The next one is a differential polynomial in Σ [ λ , μ 1 , μ 2 ] :
g = ϕ 1 , 1 ϕ 2 , 1 ( L 1 L 2 ) = ϕ 1 , 0 ϕ 2 , 1 ϕ 2 , 0 ϕ 1 , 1 .
Observe that it belongs to the elimination ideal E ( L ) as defined in (36). In addition, by Lemma 1,
g E ( L ) [ BC ( L ) ] .
Therefore, g ¯ 0 in Σ ( Γ ) . This proves (44). □
We are ready to state an important application of the results of this paper.
Theorem 12.
Let L be a third-order operator in Σ [ ] C [ ] , whose centralizer is non-trivial. Let Γ be the spectral curve of L. Then L λ has an order one factor + ϕ in Σ ( Γ ) [ ] . We call + ϕ  the intrinsic right factor of L. Moreover, given any basis { 1 , A 1 , A 2 } of Z ( L ) as a C [ L ] -module, this factor is the greatest common right divisor in Σ ( Γ ) [ ] :
+ ϕ = gcrd ( L λ , A 1 μ 1 , A 2 μ 2 ) .
Proof. 
By the First Subresultant Theorem A3,
+ ϕ i ¯ = gcrd ( L λ , A i μ i ) , i = 1 , 2
and by Lemma 9,
+ ϕ = + ϕ 1 ¯ = + ϕ 2 ¯
Thus, (45) follows. □
As a consequence of (45) and (35) + ϕ , the intrinsic right factor of L λ as a differential operator in Σ [ Γ ] [ ] can be computed as gcrd ( L λ , A i μ i ) , for any A i Z ( L ) of minimal order i ( mod 3 ) for i = 1 or i = 2 .
Remark 6.
Let us assume that L = 3 + u 1 + u 0 is in normal form. By direct computation, we obtain the factorization
L λ = 2 ϕ + u 1 2 ϕ + ϕ 2 · ( + ϕ ) ,
in Σ ( Γ ) [ ] , under the condition
ϕ 3 + u 1 ϕ 3 ϕ ϕ u 0 + ϕ + λ = 0 .
Factorization at each point P 0 of Γ . 
The intrinsic right factor is a global factor in the following sense. For every P 0 = ( λ 0 , η 1 , η 2 ) Γ Z , where Z is a finite number of points in C 3 , we obtain a right factor in Σ [ ] of
L λ 0 = N i · ( + ϕ i ( P 0 ) ) , i = 1 , 2
where + ϕ i ( P 0 ) is the greatest common right divisor of L λ 0 and A i η i in Σ [ ] and ϕ i ( P 0 ) is the result of replacing ( λ , μ 1 , μ 2 ) in ϕ i by ( λ 0 , η 1 , η 2 ) . The set of points Z to be removed can be described as
Z = { ( λ 0 , η 1 , η 2 ) C 3 ( λ 0 , η i ) Z i , i = 1 , 2 }
where Z i = { ( λ 0 , η i ) C 2 ϕ i , 1 ( λ 0 , η i ) = 0 } , i = 1, 2, are finite sets of points, which is a consequence of (33) together with Remark 5. Furthermore, + ϕ 1 ( P 0 ) = + ϕ 2 ( P 0 ) is the greatest common right divisor of L λ 0 , A 1 η 1 and A 2 η 2 for every P 0 = ( λ 0 , η 1 , η 2 ) Γ Z .
Remark 7.
The factorization of an ordinary differential operator with coefficient in a differential field ( Σ = C ( x ) , = d / d x ) can be achieved by means of the so-called eigenring of L, defined by M. Singer in [38] as
E ( L ) = { R ¯ Σ [ ] / Σ [ ] · L L R   i s   d i v i s i b l e   b y   L } ,
where R ¯ denotes the equivalence class of R Σ [ ] in the module Σ [ ] / Σ [ ] · L . The centralizer Z ( L ) can be seen as a subring of the eigenring, but note that the representative of order smaller than 3 in the eigenring of an element of the centralizer may not belong itself to the centralizer. In the example of Section 8, since ord ( A 1 ) = 4 , then A 1 has a representative in E ( L ) that does not belong to the centralizer.
One could study the factorization of L λ 0 , for any λ 0 C by means of the algorithms based on the eigenring, as in [39]. What these algorithms would not do is to identify the spectral curve. Furthermore, these algorithms would not allow a formal treatment of λ as an algebraic parameter over the coefficient field Σ. These algorithms would partially identify the spectral curve. They would treat the parameter λ in the algebraic closure of Σ ( λ ) and therefore consider a branch of the spectral curve. See the example in Section 8.

8. Example of Non-Planar Spectral Curve

There are many examples of rank 1 operators whose centralizers are the ring of a plane algebraic curve; see references in. In this section, we present the first explicit example of a centralizer isomorphic to the ring of a non-planar spectral curve. We explained the computational method used to obtain this example in [15,26], based on Wilson’s almost commuting bases [14]. We use this example to illustrate the new results of this paper.
Let us consider the differential operator in C ( x ) [ ] , where = d d x :
L = 3 6 x 2 + 12 x 3 + 1 .
The centralizer of L equals Z ( L ) = C [ L , A 1 , A 2 ] with
A 1 = 4 8 x 2 2 + 24 x 3 24 x 4 , A 2 = 5 10 x 2 3 + 40 x 3 2 80 x 4 + 80 x 5 .
The Burchall–Chaundy ideal of L equals
BC ( L ) = ( f 1 , f 2 , f 3 ) ,
generated by the irreducible polynomials
f 1 ( λ , μ 1 ) = Res ( L λ , A 1 μ 1 ) = μ 1 3 + ( λ 1 ) 4 , f 2 ( λ , μ 2 ) = Res ( L λ , A 2 μ 2 ) = μ 2 3 + ( λ 1 ) 5 , f 3 ( μ 1 , μ 2 ) = Res ( A 1 μ 1 , A 2 μ 2 ) = μ 2 4 μ 1 5 .
Since Res λ ( f 1 , f 2 ) = p f 3 with p = μ 1 10 + μ 1 5 μ 2 4 + μ 2 8 , then ( f 1 , f 2 ) is strictly contained in ( f 1 , f 2 , f 3 ) . A Gröbner basis of BC ( L ) in C [ λ , μ 1 , μ 2 ] w.r.t. the pure lexicographic order λ > μ 1 > μ 2 is
F = { f 3 ( μ 1 , μ 2 ) , F 1 = g 2 ( μ 1 , μ 2 ) λ + g 1 ( μ 1 , μ 2 ) , , F 5 }
with g 1 = μ 2 4 μ 1 2 μ 2 3 and g 2 = μ 2 4 .
The curve defined by BC ( L ) is a non-planar curve Γ parameterized by
( τ ) = ( τ 3 + 1 , τ 4 , τ 5 ) , τ C .
This is the first explicit example of a non-planar spectral curve.
The first differential subresultants of L λ , A 1 μ 1 and A 2 μ 2 pairwise are equal to
ϕ i , 0 + ϕ i , 1 , i = 1 , 2 , 3 , j = 0 , 1 ;
see (33), with
ϕ 1 , 0 = ( 1 λ ) μ 1 4 μ 1 x 3 + 8 ( λ 1 ) x 4 , ϕ 1 , 1 = ( λ 1 ) 2 2 μ 1 x 2 + 4 ( λ 1 ) x 3 , ϕ 2 , 0 = ( 1 λ ) 3 4 ( 1 λ ) 2 x 2 + 8 μ 2 x 4 , ϕ 2 , 1 = ( λ 1 ) 3 4 ( 1 λ ) 2 x 2 + 8 μ 2 x 3 , ϕ 3 , 0 = μ 2 μ 1 2 + 4 μ 2 x 3 8 μ 1 x 4 , ϕ 3 , 1 = μ 1 3 2 μ 2 2 x 2 + 4 μ 2 μ 1 x 3 .
We have o 1 = 4 and o 2 = 5 ; thus, gcd ( o 1 , o 2 ) = 1 and
ϕ = ϕ ¯ i = ϕ 0 , i ϕ 1 , i + [ BC ( L ) ] , i = 1 , 2 , 3 .
Let us call ϕ ( τ ) the result of replacing ( λ , μ 1 , μ 2 ) by the parameterization ( τ ) of Γ in ϕ , which equals
ϕ ( τ ) : = ϕ i ( ( τ ) ) = τ 3 x 3 + 2 τ 2 x 2 4 τ x + 4 ( τ 2 x 2 2 τ x + 2 ) x .
Thus, L + τ 3 1 = 2 + ϕ ( τ ) + ϕ ( τ ) 2 + 2 ϕ ( τ ) 6 x 2 · ( + ϕ ( τ ) ) as in (46). At every point P 0 = ( τ 0 ) of the spectral curve Γ of L, we recover a right factor + ϕ ( τ 0 ) , for τ 0 0 .
Observe that whenever the spectral curve Γ is a rational curve with rational parameterization ( τ ) = ( 1 ( τ ) , 2 ( τ ) , 3 ( τ ) ) , as in the previous example, one can consider the factorization of L 1 ( τ ) as a differential operator in Σ ( τ ) [ ] , since the algebraic variable τ with ( τ ) = 0 , would be a free parameter over Σ . To achieve a full factorization, it is a future project to use the parameterized Picard–Vessiot theory introduced by Cassidy and Singer in [9], and studied in [11]. It would be interesting to explore how this theory explains the factorization over the field of the spectral curve, using the results on second-order operators in [10] combined with the intrinsic factorization of Section 7.2.

9. Discussion

In this work, the computation of the space algebraic curve Γ that describes the centralizer of third-order ODO L was achieved. We proved that Γ is the spectral curve of a commutative algebra with three generators and, in general, it is a non-planar curve. We provided an effective description of the defining ideal of Γ that will allow a parametric factorization of L λ , for an algebraic parameter λ . The computation of the intrinsic right factor, of the Mumford correspondence [19], of L λ was only described before in the case of planar spectral curves [25], in connection with the Baker–Akheizer function.
It is an ongoing project to develop the spectral Picard–Vessiot theory of the third-order operator L λ . We intend to follow our previously successful strategy, in the case of second-order Schrödinger operators [8]. In analogy with the Galois theory of univariate polynomials, a full factorization of L λ will be studied, in combination with ideas coming from the parametric Picard–Vessiot theory [9,10,11], that must be adapted to a non-free algebraic parameter λ . Through this journey, spectral curves, planar or not, will govern the factorization of L λ and the hidden free parameters will emerge.

Author Contributions

Conceptualization; methodology; validation; formal analysis; investigation; resources; writing—original draft preparation; writing—review and editing; supervision; project administration; funding acquisition: S.L.R. and M.-A.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Spanish MICINN, grant PID2021-124473NB-I00, “Algorithmic Differential Algebra and Integrability” (ADAI).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data are contained within the article.

Acknowledgments

A sincere acknowledgement to Rafael Hernandez Heredero for the enlightening conversations on this topic, which contributed to a better understanding of the mechanisms behind integrability. The authors really appreciate the exchange of ideas regarding the non-planar spectral curves with Emma Previato; we are very grateful for the conversations we had on spectral problems and for her constant encouragement to pursuit this project.

Conflicts of Interest

The first author is a member of the Research Group “Modelos matemáticos no lineales”, Polytechnic University of Madrid, Madrid, Spain. The authors declare no conflicts of interest.

Appendix A. Centralizers of Ordinary Differential Operators

We will denote by R [ ] the ring of differential operators with coefficients in R. Any nonzero operator L R [ ] can be uniquely written in the form
L = u 0 + u 1 + + u n n , with u i R and u n 0 .
We will assume that R is a commutative differential ring with no nonzero nilpotent elements, whose ring of constants C is a field of zero characteristic, not necessarily algebraically closed in this section. This is the most general case for the results in this section to hold. We reformulate in this section results of K. Goodearl in [29] adapted to our context. The centralizer of L in R [ ] is the following (unital) subring of R [ ] :
Z ( L ) = { A R [ ] L A = A L } .
We call n the order of L, denoted by ord ( L ) , with the convention ord ( 0 ) = . The element u n is called the leading coefficient of L. The order defines a function ord : R [ ] N { } that satisfies the following properties. For nonzero Q 1 , , Q R [ ] , the following inequality holds:
ord ( Q 1 + + Q ) max { ord ( Q i ) | 1 i } ,
and assuming ord ( Q i ) ord ( Q j ) , whenever i j ,
Q 1 + + Q = 0 Q i = 0 , i .
In previous notations and assumptions, the following result follows (Lemma 1.1 in [29]).
Lemma A1.
Let L be as in (A1) with u n a unit of R. Let P and Q be nonzero operators in Z ( L ) with orders ℓ and m and leading coefficients a , b m , respectively. Then:
  • There exists a nonzero constant α C such that a n = α u n .
  • We have P · Q 0 , and ord ( P · Q ) = ord ( P ) + ord ( Q ) .
  • If = m , there exists a nonzero constant α C such that a = α b .
By 2 in the previous lemma, we obtain the following consequence.
Proposition A1.
For any L R [ ] with invertible leading coefficient in R, then Z ( L ) does not have zero divisors.
Observe that if L C [ ] , then Z ( L ) = R [ ] . In addition, the centralizer Z ( L ) always contains the ring
C [ L ] = { p ( L ) p ( λ ) C [ λ ] } .
Definition A1.
We will say that L R [ ] has a non-trivial centralizer if C ( L ) does not equal C [ L ] or R [ ] , that is,
C [ L ] Z ( L ) R [ ] .
From now on, we assume that L R [ ] C [ ] has a nontrivial centralizer Z ( L ) C [ L ] . We will also assume that u n is a unit in R. Due to its importance in this paper, we review next the proof of [29], Theorem 1.2, which gives a constructive method to compute a basis of Z ( L ) as a free C [ L ] -module of finite rank.
Construction of a basis. 
Let L be as in (A1) with u n a unit in R. Define
X : = i { 0 , , n 1 } | P Z ( L ) , with ord ( P ) i ( mod n ) .
The set O of orders of nonzero differential operators in Z ( L ) defines a subgroup H O of Z / n Z ,
H O = i + n Z | i O ,
whose cardinality is | H O | = C a r d ( X ) . Therefore, C a r d ( X ) is a divisor of n.
Lemma A2.
With the previous notation, for each i X , choose P i Z ( L ) of minimal order o i i ( mod n ) and P 0 = 1 . Then the set
B : = P i | i X
is a basis of the centralizer Z ( L ) as a C [ L ] -module.
Proof. 
First observe that for a sum i X C i P i , for C i C [ L ] to be zero, it is necessary that all summands are zero, because of (A3) applied to Q i = C i P i . But then C i = 0 , by Proposition A1. Consequently, B is a finite family of C [ L ] -linearly independent differential operators, and the centralizer Z ( L ) contains the free C [ L ] -submodule
W : = i X C [ L ] P i .
Let Q be a differential operator in Z ( L ) of order m. We will proceed by induction on m to show that Q is in W.
For Q = u R , the equality L Q Q L = 0 provides a null differential operator whose coefficient in n 1 is n u n ( u ) . But since u n is a unit in the zero characteristic ring R, we obtain Q = u C . Let us now consider an operator Q of positive order m > 0 and leading coefficient c m . Let i m be the remainder of the division of m by n, then m = q n + i m . The differential operator T Q : = L q P i m is an operator of order m in the centralizer of L. Consequently, by Lemma A1, 3, there exists a nonzero constant α C such that u n q p i m = α c m , where p i m is the leading coefficient of P i m . Thus, Q α 1 T Q is an operator of order < m in Z ( L ) . According to the induction hypothesis, it is in W and therefore also is Q. Consequently, Z ( L ) = W . □
If we call the basis of Z ( L ) as a C [ L ] -module described in Lemma A2 a minimal-order basis, the following result is obtained.
Proposition A2.
Let L Σ [ ] C [ ] be an operator whose centralizer is non-trivial. Every basis of Z ( L ) as a C [ L ] -module is a minimal-order basis.
The basis B presented in (A4) is not uniquely determined. We will obtain in Theorem 9 a uniquely determined basis of Z ( L ) as a C [ L ] -module.
Let us denote by R ( ( 1 ) ) the ring of pseudo-differential operators in with coefficients in R, defined as [29]
R ( ( 1 ) ) = i = n a i i a i R , n Z ,
where 1 is the inverse of in Σ ( ( 1 ) ) , 1 = 1 = 1 . Observe that
Z ( L ) R [ ] R ( ( 1 ) ) .
The generalization of Schur’s theorem in [16] to differential operators with coefficients in a differential ring R has a long history; see, for instance, [29] and the references given in Section 3 and Section 4. By [29], Theorem 3.1, any monic n-th order operator L has a unique monic n-th root denoted by L 1 / n in the ring of pseudo-differential operators R ( ( 1 ) ) that determines the centralizer in R ( ( 1 ) ) of L, denoted by Z ( ( L ) ) and equal to
Z ( ( L ) ) = j = N c j ( L 1 / n ) j c j C .
This implies that Z ( ( L ) ) is commutative, and therefore,
Z ( L ) = Z ( ( L ) ) R [ ]
is also commutative (see [29], Corollary 4.4), and therefore, it is a differential domain by Proposition A1. Moreover, by (A5), the transcendence degree of Z ( ( L ) ) over C is 1 and in a formal sense, Spec ( Z ( L ) ) is an algebraic curve. The next theorem summarizes the main features of the algebraic structure of Z ( L ) that will be used in this paper.
Theorem A1.
Let R be a commutative differential ring with no nonzero nilpotent elements whose ring of constants C is a field of zero characteristic. Given a nonzero differential operator L in R [ ] , whose leading coefficient is a unit in R, then:
  • the rank of Z ( L ) as a C [ L ] -module divides ord ( L ) ;
  • Z ( L ) is a (commutative) differential domain.
It is an important fact that each operator A in the centralizer Z ( L ) , together with L, satisfies the algebraic equation defined by a polynomial h A ( λ , μ ) C [ λ , μ ] . Using the argument given in [29], Theorem 1.13, since Z ( L ) is a finitely generated C [ L ] -module and C [ L ] is a commutative ring (see, for instance, [40], Proposition 5.1), then there exist a i ( λ ) C [ λ ] such that
h A ( L , A ) = 0   with   h A ( λ , μ ) = μ d + a d 1 ( λ ) μ d 1 + + a 0 ( λ ) .
The polynomial h A ( λ , μ ) is a called a Burchnall–Chaundy polynomial and the notation h A ( L , A ) will be explained in Section 4.

Appendix B. Differential Resultant of Two ODOs

Let us consider ordinary differential operators P and Q with coefficients in a differential domain D , with derivation . In order to study the common factors of P and Q, we will consider the fraction field K of D , with the natural extension of the derivation, that we denote again by .
The ring of differential operators K [ ] is a (left and right) Euclidean domain (see [41], Corollary 4.35), and by [41], Corollary 4.36, it is a left and right principal ideal domain. In addition, by [41], Corollary 4.29, K [ ] is a unique factorization domain; see [41], Definition 4.12. Given differential operators P , Q K [ ] , we denote a greatest common right divisor of P and Q by gcrd ( P , Q ) . If gcrd ( P , Q ) K , we call P and Q right coprime.
Following [42], we will review next how the existence of a non-trivial right factor is equivalent to the existence of a non-trivial order-bounded linear combination C P + D Q = 0 . This result justifies the definition of the differential resultant or Sylvester resultant of two differential operators given in [43].
Let M be the K -vector space of differential operators in K [ ] of order strictly less than . Assuming that ord ( P ) = n and ord ( Q ) = m , let us consider the linear map
s 0 : M n M m M n + m   defined by   ( C , D ) C P + D Q .
In the basis { , , , 1 } , for each M , the matrix of s 0 is the differential Sylvester matrix s 0 ( P , Q ) , a squared matrix of size n + m , with entries in D , whose rows are the coefficient of the extended system
Ξ 0 = { m 1 P , , P , P , n 1 Q , , Q , Q } .
The differential (Sylvester) resultant of P and Q is the determinant
Res ( P , Q ) : = det ( s 0 ( P , Q ) ) .
Observe that the image of s0, denoted by Im(s0), is the K -vector space spanned by Ξ0.
Lemma A3.
Given P , Q in D [ ] , then Res ( P , Q ) belongs to the image of s 0 , that is,
Res ( P , Q ) = C 0 P + D 0 Q Im ( s 0 ) D ,
with ord ( C 0 ) = m 1 and ord ( D 0 ) = n 1 .
Proof. 
Multiply the Sylvester matrix on the right by the squared matrix E of size n + m whose i-th row contains 1 in the i-th position and n + m i in the last position. Observe that det E = 1 and that s 0 ( P , Q ) E has entries in D [ ] ; in particular, its last column contains the elements of Ξ 0 . Thus,
det ( s 0 ( P , Q ) ) = det ( s 0 ( P , Q ) E ) = C 0 P + D 0 Q
after developing s 0 ( P , Q ) E by its last column. □
Let us consider the left ideal generated by P and Q in K [ ] and denote it by ( P , Q ) = K [ ] P + K [ ] Q . Observe that Im ( s 0 ) ( P , Q ) and, by the previous lemma, if Res ( P , Q ) 0 , then the elimination ideal ( P , Q ) D is nonzero, since
Res ( P , Q ) ( P , Q ) D .
As announced, we prove next that the existence of an order-bounded linear combination C P + D Q = 0 , in other words, Ker ( s 0 ) 0 , is equivalent to gcrd ( P , Q ) K .
Theorem A2.
Let us consider P , Q D [ ] . The following statements are equivalent:
  • Res ( P , Q ) 0 .
  • Im ( s 0 ) D 0 .
  • P and Q are right coprime in K [ ] .
Proof. 
By Lemma A3, 1 implies 2. To prove that 2 implies 3, let us assume that gcrd ( P , Q ) = F is a differential operator in K [ ] of order greater than zero. Since K [ ] is a left principal ideal domain, then by [41], Proposition 4.16, (2) we have K [ ] P + K [ ] Q = K [ ] F . Given e Im ( s 0 ) D , then e K [ ] F and there exists 0 d D such that d e = L F * , with L , F * D [ ] and F * D . Therefore, e = 0.
If Res ( P , Q ) = det ( s 0 ( P , Q ) ) = 0 , then s 0 is not surjective, so gcrd ( P , Q ) K , proving that 3 implies 1. □

Appendix B.1. First Differential Subresultant

The differential resultant of two differential operators is a condition on their coefficients that guaranties the existence of a right common factor. We introduce next the first differential subresultant as a tool to compute such a factor in case it is a first-order factor. Differential subresultants were introduced in [43]; see also [44].
Let us consider the K -linear map
s 1 : M n 1 M m 1 M n + m 1 d e f i n e d b y ( C , D ) C P + D Q .
In the basis { , , , 1 } , for each M , the matrix of s 1 is a matrix s 1 ( P , Q ) with n + m 2 rows and n + m 1 columns, with entries in D , whose rows are the coefficient of the extended system
Ξ 1 = { m 2 P , , P , P , n 2 Q , , Q , Q } .
Observe that Im(s1) is the K -vector space spanned by Ξ 1 and that I m ( s 1 ) ( P , Q ) . Let us consider the squared matrix S ^ 1 ( P , Q ) obtained by adding S 1 ( P , Q ) the first row (0,⋯, 0, 1, −). The first differential subresultant of P and Q is the determinant
s Res 1 ( P , Q ) : = det s ^ 1 ( P , Q ) = det ( S 1 0 ) + det ( S 1 1 ) ,
where s 1 0 and s 1 1 are the submatrices of s1 (P,Q) obtained by removing the columns indexed by and 1, respectively.
Lemma A4.
Given P , Q in D [ ] , then Res ( P , Q ) belongs to the image of s 1 , that is,
s Res 1 ( P , Q ) = C 1 P + D 1 Q Im ( s 1 ) ,
with ord ( C 1 ) = m 2 and ord ( D 1 ) = n 2 .
Proof. 
Multiply s ^ 1 ( P , Q ) on the right by the squared matrix E of size n + m 1 whose i-th row contains 1 in the i-th position and n + m 1 i in the last position. Observe that det E = 1 and that s ^ 1 ( P , Q ) E has entries in D [ ] ; in particular, its last column contains 0 followed by the elements of Ξ 1 . Thus,
det ( s 1 ( P , Q ) ) = det ( s ^ 1 ( P , Q ) E ) = C 1 P + D 1 Q
after developing s 1 ( P , Q ) E by its last two columns. □
Theorem A3
(First Subresultant Theorem). Let us consider P , Q D [ ] . If Res ( P , Q ) = 0 and s Res 1 ( P , Q ) 0 , then:
  • s Res 1 ( P , Q ) is a differential operator of order 1;
  • gcrd ( P , Q ) equals s Res 1 ( P , Q ) up to multiplication by an element of K .
Proof. 
If s Res 1 ( P , Q ) has order zero, then it equals det ( S 1 0 ) . Therefore, Im ( s 0 ) D 0 , contradicting, by Theorem A2, that Res ( P , Q ) = 0 .
By Lemma A4, we have s Res 1 ( P , Q ) Im ( s 1 ) ( P , Q ) , then s Res 1 ( P , Q ) is a multiple of gcrd ( P , Q ) , which proves 2. □

Appendix B.2. Characterizing Common Solutions

Given a differential operator L K [ ] , a Picard–Vessiot extension E of K for L is a differential field extension E = K ψ 1 , , ψ n , where { ψ 1 , , ψ n } is a fundamental set of solutions, with no new constants in E . It is the equivalent of a splitting field for L ( y ) = 0 . Under the assumption that the field of constants C is algebraically closed, the classical Picard–Vessiot theory guaranties the existence and uniqueness (up to differential automorphisms) of the Picard–Vessiot field for the equation L ( y ) = 0 . See [28], Proposition 1.22.
Given differential operators P and Q in K [ ] , let us consider the Picard–Vessiot extensions ( E P , P ) and ( E Q , Q ) of Σ for the equations P ( y ) = 0 and Q ( y ) = 0 , respectively, whose field of constants is C . As a consequence, K [ ] can be included in E P [ P ] and Q can be naturally extended to act on E P . Analogously, P can be naturally extended to act on E Q .
We give next a proof of Poisson’s formula in [43], Theorem 5 using the strategy of E. Previato in [27]. Given a fundamental system of solutions ψ 1 , , ψ n of P ( y ) = 0 in ( E P , P ) , we denote its Wronskian matrix by
W ( ψ i ) = ψ 1 ψ n P ( ψ 1 ) P ( ψ n ) P n 1 ( ψ 1 ) P n 1 ( ψ n ) .
Note that the natural extension of Q to ( E P , P ) allows us to consider its action on solutions of P ( y ) = 0 and to write Q ( ψ i ) . Analogously, the action of P on solutions of Q ( y ) = 0 is naturally defined.
Theorem A4
(Poisson’s Formula). Let us consider differential operators P and Q in K [ ] of orders n and m, and leading coefficients a n and b m , respectively. Given fundamental systems of solutions ψ 1 , , ψ n of P ( y ) = 0 in E P and ϕ 1 , , ϕ m of Q ( y ) = 0 in E Q then
Res ( P , Q ) = a n m det W ( Q ( ψ i ) ) det W ( ψ i ) = ( 1 ) m n b m n det W ( P ( ϕ i ) ) det W ( ϕ i ) .
Proof. 
Let us consider the following decomposition of the Sylvester matrix:
S 0 ( P , Q ) = M 1 M 2 M 3 M 4
where M 1 is an upper triangular m × m matrix with a n in the main diagonal. By the following matrix manipulation, where I n is the identity matrix of size n and 0 is the zero matrix of the appropriate size,
M 1 M 2 M 3 M 4 M 1 1 M 1 1 M 2 0 I n = I m 0 M 3 M 1 1 M 4 M 3 M 1 1 M 2
we obtain that
Res ( P , Q ) = a n m det ( M 4 M 3 M 1 1 M 2 ) .
From the action of the system Ξ 0 on the fundamental system of solutions { ψ i } , we obtain
W ( Q ( ψ i ) ) = ( M 4 M 3 M 1 1 M 2 ) W ( ψ i ) .
Taking determinants in (A14), the first part of formula (A12) follows. □
We are ready to review Theorem A5.
Theorem A5
(Resultant Theorem). Let us consider differential operators P and Q in K [ ] . Let E be a Picard–Vessiot extension of Σ for P ( y ) = 0 (or Q ( y ) = 0 ). Then the system
P ( y ) = 0 , Q ( y ) = 0
has a nontrivial solution in E if and only if Res ( P , Q ) = 0 .
Proof. 
Let us consider a fundamental system of solutions ψ 1 , , ψ n of P ( y ) = 0 in ( E P , P ) , whose field of constants is C . Thus, V = i C ψ i E P is the solution set of P ( y ) = 0 . A nontrivial solution of the system (A15) in E P is therefore a nonzero ψ V such that Q ( ψ ) = 0 .
By Poisson’s formula, Res ( P , Q ) = 0 if and only if det ( W ( Q ( ψ i ) ) ) = 0 . Equivalently, the columns of W ( Q ( ψ i ) ) must be linearly dependent over C , namely for some c i C , not all zero,
i c i P j ( Q ( ψ i ) ) = 0 , j = 0 , 1 , , n 1 .
In other words, det ( W ( Q ( ψ i ) ) ) = 0 is equivalent to the existence of a nonzero ψ = i c i ψ i in V such that Q ( ψ ) = 0 . □
Remark A1.
Observe that as a result of Theorems A2 and A5, the differential operators P and Q have a common factor F in K [ ] if and only if they have a non-trivial solution in E P E Q .

References

  1. Crespo, T.; Hajto, Z. Picard–Vessiot theory and the Jacobian problem. Israel J. Math. 2011, 186, 401–406. [Google Scholar] [CrossRef]
  2. Mironov, A.E.; Zheglov, A.B. Commuting ordinary differential operators with polynomial coefficients and automorphisms of the first Weyl algebra. Int. Math. Res. Not. 2016, 2016, 2974–2993. [Google Scholar] [CrossRef]
  3. Guo, J.; Zheglov, A. On some questions around Berest’s conjecture. arXiv 2024, arXiv:2203.13343. [Google Scholar]
  4. Drach, J. Détermination des cas de réduction de l’équation différentielle d2y/dx2 = [ϕ(x) + h]y. C. R. Math. Acad. Sci. Paris 1919, 168, 47–50. [Google Scholar]
  5. Brezhnev, Y. Spectral/quadrature duality: Picard-Vessiot theory and finite-gap potentials. Contemp. Math. 2012, 563, 1. [Google Scholar]
  6. Brezhnev, Y. Elliptic solitons, Fuchsian equations, and algorithms. St. Petersburg Math. J. 2013, 24, 555–574. [Google Scholar] [CrossRef]
  7. Morales-Ruiz, J.J.; Rueda, S.; Zurro, M. Factorization of KdV Schrödinger operators using differential subresultants. Adv. Appl. Math. 2020, 120, 102065. [Google Scholar] [CrossRef]
  8. Morales-Ruiz, J.J.; Rueda, S.; Zurro, M. Spectral Picard–Vessiot fields for Algebro-geometric Schrödinger operators. Ann. L’Institut Fourier 2021, 71, 1287–1324. [Google Scholar] [CrossRef]
  9. Cassidy, P.; Singer, M. Galois Theory of Parameterized Differential Equations and Linear Differential Algebraic Groups. Differ. Equ. Quantum Groups (Irma Lect. Math. Theor. Phys.) 1991, 9, 113–157. [Google Scholar]
  10. Arreche, C. On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters. J. Symbolic Comput. 2016, 75, 25–55. [Google Scholar] [CrossRef]
  11. Minchenko, A.; Ovchinnikov, A. Calculating Galois groups of third-order linear differential equations with parameters. Commun. Contemp. Math. 2018, 20, 1750038. [Google Scholar] [CrossRef]
  12. Burchnall, J.; Chaundy, T. Commutative ordinary differential operators. Proc. Lond. Math. Soc. 1923, s2-21, 420–440. [Google Scholar] [CrossRef]
  13. Burchnall, J.; Chaundy, T. Commutative ordinary differential operators II. The Identity Pn = Qm. Proc. R. Soc. Lond. 1931, 134, 471–485. [Google Scholar]
  14. Wilson, G. Algebraic curves and soliton equations. In Geometry Today; Arbarello, E., Procesi, C., Strickland, E., Eds.; Birkhäuser: Boston, MA, USA, 1985; pp. 303–329. [Google Scholar]
  15. Jiménez-Pastor, A.; Rueda, S.L.; Zurro, M.A. Computing Almost-Commuting Basis of Ordinary Differential Operators. ACM Commun. Comput. Algebra 2023, 57, 111–118. [Google Scholar] [CrossRef]
  16. Schur, I. Über vertauschbare lineare Differentialausdrücke. Berl. Math. Gesellschaft Sitzungsbericht. Arch. Der Math. Beil. 1904, 3, 2–8. [Google Scholar]
  17. Previato, E.; Rueda, S.L.; Zurro, M.A. Commuting Ordinary Differential Operators and the Dixmier Test. Sigma Symmetry Integr. Geom. Methods Appl. 2019, 15, 23. [Google Scholar] [CrossRef]
  18. Krichever, I.M. Commutative rings of ordinary linear differential operators. Funct. Anal. Appl. 1978, 12, 175–185. [Google Scholar] [CrossRef]
  19. Mumford, D. An Algebro-Geometric Construction of Commuting Operators and of Solutions to the Toda Lattice Equation, Korteweg de Vries Equation and Related Non-Linear Equations. In Proceedings of the International Symposium on Algebraic Geometry, Kyoto, Japan, 7–11 July 1977; pp. 115–153. [Google Scholar]
  20. Zheglov, A. Algebra, Geometry and Analysis of Commuting Ordinary Differential Operators; Moscow State University: Moscow, Russia, 2020. [Google Scholar]
  21. Weikard, R. On commuting differential operators. Electron. J. Differ. Equ. 2000, 2000, 1–11. [Google Scholar]
  22. Grigorenko, N. Algebraic-geometric operators and Galois differential theory. Ukrainian Math. J. 2009, 61, 14–29. [Google Scholar] [CrossRef]
  23. Gel’fand, I.M.; Dikey, L.A. Asymptotic behaviour of the resolvent of Sturm-Liouville equations and the algebra of the Korteweg-de Vries equations. Russian Math. Surveys 1975, 30, 77–113. [Google Scholar] [CrossRef]
  24. Veselov, A.P. On Darboux-Treibich-Verdier Potentials. Lett. Math. Phys. 2011, 96, 209–216. [Google Scholar] [CrossRef]
  25. Dickson, R.; Gesztesy, F.; Unterkofler, K. A New Approach to the Boussinesq Hierarchy. Math. Nachr. 1999, 198, 51–108. [Google Scholar] [CrossRef]
  26. Heredero, R.H.; Rueda, S.; Zurro, M. Computing centralizers of third order operators. EACA 2022. Xvii Meet. Comput. Algebra Appl. 2023, 103–106. [Google Scholar]
  27. Previato, E. Another algebraic proof of Weil’s reciprocity. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 1991, 2, 167–171. [Google Scholar]
  28. Put, M.v.d.; Singer, M.F. Galois theory of linear differential equations. In Grundlehren der Mathematischen Wissenschaften; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2012; Volume 328. [Google Scholar]
  29. Goodearl, K. Centralizers in differential, pseudo-differential and fractional differential operator rings. Rocky Mt. J. Math. 1983, 13, 573–618. [Google Scholar] [CrossRef]
  30. Maplesoft. Maple (Version 2023); Maplesoft, a Division of Waterloo Maple Inc.: Waterloo, ON, Canada, 2023. [Google Scholar]
  31. Crespo, T.; Hajto, Z. Algebraic Groups and Differential Galois Theory. In Graduate Studies in Mathematics; America Mathematics Sociation: Providence, RI, USA, 2011; Volume 122. [Google Scholar]
  32. Morales-Ruiz, J.J. Differential Galois Theory and Non-Integrability of Hamiltonian Systems; Birkhäuser: Berlin, Germany, 1999. [Google Scholar]
  33. Bronstein, M. Symbolic Integration I: Transcendental Functions (Vol. 1); Springer: Berlin/Heidelberg, Germany, 2013. [Google Scholar]
  34. Cox, D.; Little, J.; O’Shea, D. Ideals, Varieties, and Algorithms. In An Introduction to Computational Algebraic Geometry and Commutative Algebra; Undergraduate Texts in Mathematics; Springer International Publishing: New York, NY, USA, 2007. [Google Scholar]
  35. Fulton, W. Algebraic Curves: An Introduction to Algebraic Geomentry; Benjamin: New York, NY, USA, 1969. [Google Scholar]
  36. Abhyankar, S.; Bajaj, C. Automatic parameterization of rational curves and surfaces IV: Algebraic space curves. ACM Trans. Graph. 1989, 8, 325–334. [Google Scholar] [CrossRef]
  37. Sendra, J.; Winkler, J.; Pérez-Díaz, S. Rational Algebraic Curves: A Computer Algebra Approach; Number 22 in Algorithms and Computation in Mathematics; Springer: Berlin/Heidelberg, Germany, 2007. [Google Scholar]
  38. Singer, M.F. Testing reducibility of linear differential operators: A group theoretic perspective. Appl. Algebra Eng. Commun. Comput. 1996, 7, 77–104. [Google Scholar] [CrossRef]
  39. Acosta-Humánez, P.; Morales-Ruiz, J.; Weil, J. Galoisian approach to integrability of Schrödinger equation. Rep. Math. Phys. 2011, 67, 305–374. [Google Scholar] [CrossRef]
  40. Atiyah, M.; MacDonald, I. Introduction to Commutative Algebra; Addison–Wesley: Reading, MA, USA, 1969. [Google Scholar]
  41. Bueso, J.; Gómez-Torrecillas, J.G.; Verschoren, A. Algorithmic Methods in Non-Commutative Algebra; Klumer Academic Publishers: Dordrecht, The Netherlands, 2003. [Google Scholar]
  42. McCallum, S.; Winkler, F. Resultants: Algebraic and Differential. Techn. Rep. J. Kepler Univ. 2018, RISC18-08, 21. [Google Scholar]
  43. Chardin, M. Differential Resultants and Subresultants. In Proceedings FCT’91. Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 1991; Volume 529, pp. 471–485. [Google Scholar]
  44. Li, Z. A subresultant theory for Ore polynomials with applications. In Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC ’98, Rostock, Germany, 13–15 August 1998; pp. 132–139. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Rueda, S.L.; Zurro, M.-A. Spectral Curves for Third-Order ODOs. Axioms 2024, 13, 274. https://doi.org/10.3390/axioms13040274

AMA Style

Rueda SL, Zurro M-A. Spectral Curves for Third-Order ODOs. Axioms. 2024; 13(4):274. https://doi.org/10.3390/axioms13040274

Chicago/Turabian Style

Rueda, Sonia L., and Maria-Angeles Zurro. 2024. "Spectral Curves for Third-Order ODOs" Axioms 13, no. 4: 274. https://doi.org/10.3390/axioms13040274

APA Style

Rueda, S. L., & Zurro, M. -A. (2024). Spectral Curves for Third-Order ODOs. Axioms, 13(4), 274. https://doi.org/10.3390/axioms13040274

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop