Abstract
In this paper we study the isomonodromic deformations of systems of differential equations with poles of any order on the Riemann sphere as Hamiltonian flows on the product of co-adjoint orbits of the truncated current algebra, also called generalised Takiff algebra. Our motivation is to produce confluent versions of the celebrated Knizhnik–Zamolodchikov equations and explain how their quasiclassical solution can be expressed via the isomonodromic \(\tau \)-function. In order to achieve this, we study the confluence cascade of \(r+ 1\) simple poles to give rise to a singularity of arbitrary Poincaré rank r as a Poisson morphism and explicitly compute the isomonodromic Hamiltonians. In loving memory of Igor KricheverA great man and outstanding mathematician
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we study the theory of isomonodromic deformations for systems of differential equations with poles of any order on the Riemann sphere. Our initial motivation was to generalise an observation by Reshetikhin that the quasi–classical solution of the standard Knizhnik–Zamolodchikov equations (i.e. with simple poles) is expressed via the isomonodromic \(\tau \)-function arising in the case of Fuchsian systems [58]. Along the way of pursuing the project of extending this to poles of any order, we have found a number of interesting results, some of which were already known as folklore (i.e. either done as very specific examples or not really proved in detail), others completely original.
The Knizhnik–Zamolodchikov (KZ) equations emerged in theoretical physics as the system of linear differential equations satisfied by the correlation functions in the two-dimensional Wess–Zumino–Witten model of conformal field theory associated to a genus 0 curve [8, 47]. In the case of \({\mathfrak {g}}=\mathfrak {gl}_m\), the KZ equations can be represented as a system of linear differential equations for a local section \(\psi \) of the trivial bundle \(B\times U(\mathfrak {gl}_{m}(\mathbb C))^{\otimes n}\rightarrow B\) over the base B given by the configuration space of ordered n-uples of points in \(\mathbb C\), namely \(B:=\{(u_1,\ldots ,u_n)\in {\mathbb {C}}^n \vert u_i \ne u_j \hbox { for } i\ne j\}\):
where \( \Pi ^{ij}\in \textrm{End} (U(\mathfrak {gl}_m(\mathbb C)^{\otimes n})\) is the extension of the non-degenerated symmetric tensor
acting by left multiplication on the i-th and j-th components of the tensor product \(U(\mathfrak {gl}_m(\mathbb C)^{\otimes n})\) and trivially on the others. Geometrically one can think about (1) as a flat Hitchin connection in geometric quantisation [36].
As proved by Reshetikhin in [58] (see also [31] where this result was explained in terms of passing from Shrödinger to Heisenberg representation), the KZ equations can be also viewed as deformation quantisation of the Schlesinger system [60] of non-linear differential equations
controlling the isomonodromic deformation of a Fuchsian system on \(\mathbb P^ 1\),
with \(n+1\) simple poles \(u_1,\ldots , u_n,\infty \). These equations are multi-time non-autonomous Hamiltonian systems with Hamiltonians
given by
Interestingly, if we treat the quantities \(u_1\ldots ,u_n\) in the Hamiltonian as parameters rather than times, these Hamiltonians form a family of autonomous Poisson commuting Hamiltonians called Gaudin Hamiltonians. This simple observation has been key to several efforts to introduce specific examples of confluent analogues of KZ: by first introducing confluent analogues of Gaudin, then quantising them and finally generating the non-autonomous versions. Let us give a summary of our understanding of these results here below.
The main idea for the quantisation of the Gaudin Hamiltonians was based on the standard point of view that for any finite dimensional Lie algebra \({\mathfrak {g}}\), the universal enveloping algebra \(U({\mathfrak {g}})\) can be considered as a deformation of the symmetric algebra \(S({\mathfrak {g}})\) via the Poincaré-Birkhoff-Witt map. One then defines the quantum enveloping algebra as
by naturally extending the symmetrisation map to the map \( S({\mathfrak {g}})^{\otimes n} \rightarrow U_{\hbar }({\mathfrak {g}})^{\otimes n}\), and then the functions \( \textrm{Tr}(A^{(i)} A^{(j)})\) on \({\mathfrak {g}}^{\otimes n}\) are transformed to \(\Pi ^{ij}.\)
To define a quantisation of the Gaudin Hamiltonians it is necessary to describe the Hilbert space of the quantum model as tensor product of some representations of \({{\mathfrak {g}}}^{\oplus n}\). The quantised Hamiltonians \({\widehat{H}}_i\) act on this Hilbert space and the quantum problem consists in finding their spectrum, matrix elements and so on. Formulated rigorously, the quantum Gaudin Hamiltonians generate a large commutative subalgebra in \(U({\mathfrak {g}})^{\otimes n}\) which can be easily completed to a maximal commutative subalgebra. This subalgebra is usually called Gaudin or Bethe subalgebra. The explicit formulae for the generators (namely the quantum Hamiltonians) were obtained in [52, 61].
In the case of \({\mathfrak {g}}=\mathfrak {gl_m}\), one can fix a co-vector \(\mu \in {\mathfrak {g}}^{*}\) and using the standard basis of \(\mathfrak {gl_m}\) one can re-write the quantised Gaudin Hamiltonians as
where \(E^{(i)}_{rs}\) means \(E_{rs}\) (as the element of standard basis in \(\mathfrak {gl_m}\)) considering in the \(i-\)th tensor factor. We observe that even the case of regular \(\mu \in {\mathfrak {g}}^{*}\) (i.e. semi-simple, when \(\mu (E_{rs}) = \mu _r \delta _{rs}\) with distinct \(\mu _r \in \mathbb C\)), the point \(\infty \) is an order two pole. The case of semi-simple but not regular \(\mu \) was treated in [29].
The autonomous Gaudin model (5) can be generalised in two directions: by allowing higher order singularities at the marked points \(u_i \in \mathbb C\) thus giving rise to Gaudin models with irregular singularities in [30] or by taking an element \(\mu \in {\mathfrak {g}}^{*}\) that is not semi-simple (i.e. has non-trivial Jordan blocks). These two approaches were unified in the classical and in the quantum cases in [63] where an analogue of the bispectral dynamical duality of [26] between the models was proved.
The next important step consisted in deforming the quantum Gaudin Hamiltonian to obtain KZ. This was done in the case of the \(A_n\) root system by de Concini and Procesi [21] and generalised to any Lie algebra in [26, 51]. More precisely, for any complex simple Lie algebra \({\mathfrak {g}}\) with a Cartan subalgebra \({\mathfrak {h}}\subset {\mathfrak {g}}\) and a corresponding root system \(\Delta \subset {\mathfrak {h}}^{*}\), Millson and Toledano-Laredo [51] introduced the following Casimir connection:
where for every \(\alpha \) one takes the principal embedding of \(\mathfrak {sl}_2\) so that \(C_{\alpha } = \frac{\langle \alpha ,\alpha \rangle }{2}(e_{\alpha }f_{\alpha } + f_{\alpha }e_{\alpha } + \frac{1}{2}h_{\alpha }^2)\) is the Casimir in 3-dimensional subalgebra \(\mathfrak {sl}_{2,\alpha }\) with respect to the restriction of the fixed non-degenerated \(ad-\)invariant bilinear form \(\langle -,-\rangle \) on \(\mathfrak {sl}_{2,\alpha }\) and \(\hbar \in \mathbb C.\) A special class of quantum connections with one irregular singularity of Poincaré rank 2 and several other simple poles appeared in [26] as dual to the standard KZ connection, and in [12] was re-obtained as quantisation of Dubrovin’s system (without the skew-symmetry condition). Dubrovin system was then generalised to simply laced Dynkin diagrams in [11] and quantised in [57].
Confluent versions of the KZ equation, or in other words, KZ equations with irregular singular points of arbitrary Poincaré rank were obtained for \(\mathfrak {sl}_2\) by Jimbo, Nagoya and Sun [40], and previously in [7], where a quantum version of the fifth Painlevé equation was given. In [30] a class of quantum integrable systems generalising the Gaudin model was introduced by considering non-highest weight representations of any simple Lie algebra. These Gaudin models with irregular singularities are expected to give rise to confluent KZ equations as the corresponding differential equations on conformal blocks. Such KZ equations have not been explicitly written and one of the purposes of this paper is to do this.
In order to achieve our aim, we first needed to find explicit formulae for the isomonodromic Hamiltonians and to introduce a nice set of Darboux coordinates. We have succeeded in doing this for a class of isomonodromic connections which behave well under confluence. Let us describe this class in some detail here. It is well known that the isomonodromic deformation equations in the case of higher order poles have a co-adjoint orbit interpretation on a current Lie algebra. In the case of the Painlevé equations, Harnad and Routhier [33] produced finite-dimensional parameterisations by introducing suitable truncations of the current Lie algebra in this paper we call such truncated current Lie algebras Takiff algebrasFootnote 1 for brevity (see Sect. 2 for the definition). Korotkin and Samtleben [48] then conjectured the standard Lie–Poisson bracket on the Takiff algebras and later Boalch proved that indeed these brackets are preserved by the Jimbo-Miwa isomonodromic deformations [14]. In this paper, we unify these two approaches to study connections as elements of the product of co-adjoint orbits in the Takiff algebra. More precisely, we consider linear systems of ODEs with poles at \(u_1,u_2,\ldots ,u_n,\infty \) of Poincaré rank \(r_1,r_2,\ldots ,r_n,r_{\infty }\) respectively, in the form
where \(A(\lambda )\) is an element of the phase space
where \(\hat{\mathcal {O}}_{r_i}^{\star }\) stands for the co-adjoint orbit of the complex Lie group \({\widehat{G}}_{r_i}\) corresponding to the Takiff algebra of degree \(r_i\), for \(r_i>0\), and for the standard Lie algebra \({\mathfrak {g}}\) co-adjoint orbit for \(r_i=0\).
Following the ideology of [3], in Theorem 7, we show how to obtain the standard Lie–Poisson bracket
on our phase space (8) as Marsden–Weinstein reduction of the Poisson structure on
obtained by endowing each copy of \(T^{\star }\mathfrak {gl}_m\) with the canonical symplectic structure \(\textrm{d} P\wedge \textrm{d} Q\). Here \(d=\sum _{i=1}^{n+1} r_i+ n+1\) denotes the degree of the divisor D of the connection (7). The Marsden–Weinstein reduction is obtained by the additional first integrals given by the moment maps of the inner group action by \({\widehat{G}}_{r_i}\) as in formulae (47).
These coordinates \((Q_1,P_1,\ldots ,Q_d,P_d)\), that we call lifted Darboux coordinates, were first introduced by Jimbo, Miwa, Mori and Sato in the case of linear systems of ODEs with n simple poles and possibly a Poincaré rank one pole at \(\infty \) [39]. Harnad generalised these coordinates to allow rectangular \(m_1\times m_2\) matrices and used them to generalise Dubrovin duality [22] between two systems of linear ODEs: one of dimension \(m_1\) and the other of dimension \(m_2\) [32] and [66]. Similar coordinates were also introduced and partly used in the context of non-autonomous Hamiltonian description of Garnier-Painlevé differential systems by Babich and Derkachov [5, 6]. However in these latter works, the authors restricted to the case of rational parametrisation of co-adjoint orbits of \(Gl_n(\mathbb C)\) and other semi-simple Lie groups and did not consider current Lie algebras.
Interestingly, using the lifted Darboux coordinates, we can describe all possible isomonodromic systems with a fixed degree d of the divisor of the poles of the connection (7) as Marsden–Weinstein reductions of different inner group actions on the universal phase space \( \oplus _{k=1}^{d} T^{\star }\mathfrak {gl}_m\). These reductions give rise to symplectic leaves of dimension \((r_1+\cdots +r_n+r_\infty +n)(m^2-m)\). We explain how to produce the Darboux coordinates, which we call intermediate Darboux coordinates, on such symplectic leaves. In the case of the Jimbo-Miwa isomonodromic problems associated to the fifth, fourth, third and second Painlevé equations the degree is always \(d=4\), the intermediate symplectic leaves have always dimension 6 and are determined by the choice of 3 spectral invariants giving a total dimension 9 for the Poisson manifold. This is the dimension of the moduli space of \(SL_2(\mathbb C)\) connections with a given divisor D of degree 4 [49].
Remark 1
The problem of extending the Riemann-Hilbert symplectomorphism between the de Rahm moduli space of meromorphic connections on a Riemann surface \(\Sigma \) with non-simple divisor (a divisor of points that can have multiplicity \(>1\)) and the analogous of the Betti moduli space of representations of the fundamental group of \(\Sigma \), namely with the cusped character variety introduced in [15, 16] is still open and is beyond the scope of the current paper. However, the Darboux coordinate description of the de Rahm moduli space achieved in this paper constitutes an important first step towards that goal.
Remark 2
It is worth mentioning here that the phase space (8) is not a moduli space per se, however K. Hiroe and D. Yamakawa [34] showed that the sub-space of stable connections admits a nice quotient with respect to the diagonal action of \(GL_m(\mathbb C)\) on M:
where
is the moment map under the diagonal action of \(GL_m(\mathbb C)\) on M, thus assuring that \(M'\) is a smooth complex symplectic variety. The space \(M'\) can be regarded as a certain moduli space of meromorphic connections on \(\mathcal {O}_{\mathbb P^1}^{\oplus m}.\) Fix n distinct points \(u_1,\ldots ,u_n \in \mathbb P^1\), and endow \(\mathbb P^1\) with a coordinate z for which \(z(u_i)\ne \infty .\) The variable \(z_i\) can be identified with \(\lambda -u_i\) and \(\widehat{{\mathfrak {g}}}_{r_i}^{*} \) can be embedded in \(\mathfrak {gl}_m(\mathbb C[z^{-1}_i])\frac{dz_i}{z_i}\) via trace-residue pairing. Then each \(A(\lambda )\in M\) determines a meromorphic connection \(d-A(\lambda )\) on on \(\mathcal {O}_{\mathbb P^1}^{\oplus m}\), having poles at \(u_1,\ldots ,u_n,\infty .\) The condition \( \sum _{i=1}^{n+1}\pi (A^{(i)}_0) = 0\) singles out the connections which have no residue at infinity.
Our next result is the characterisation of the outer linear automorphisms of the Takiff algebra that preserve the standard Lie–Poisson structure (9) on the phase space (8) (see Theorem 8 for a more articulated statement).
Theorem 1
Consider two elements \(A(\lambda )\) and \(B(\lambda )\) of the phase space (8), so that they both have the form (7):
Assume that \(A(\lambda )\) and \(B(\lambda )\) are related by a linear automorphism of the Lie algebra
for some scalar quantities \(T^{(i)}_{kl}\). Then the Poisson condition
implies
is satisfied if and only if the the following formulae are satisfied:
where
This result allows us to introduce extra (i.e. in addition to the positions of poles) deformation parameters \(t^{(i)}_1,\ldots ,t^{(i)}_{r_i}\), \(i=1,\ldots ,n,\infty \) for any connection belonging to the phase space (8). In other words, we consider families of the form
where the elements \(B^{(i)}_k\) contain explicitly the deformation parameters \(t^{(i)}_1,\ldots ,t^{(i)}_{r_i}\) as prescribed by formulae (10) and (11). The isomonodromic deformation equations will then impose a further implicit dependence of the matrices \(A_k^{(i)}\) on the deformation parameters \(t^{(i)}_1,\ldots ,t^{(i)}_{r_i}\) and on the position of the poles \(u_1,\ldots ,u_n\).
Remark 3
The set of parameters \(t_1,\ldots ,t_r\) introduced in Theorem 8 may be replaced by the coefficients of the jet-expansion of local conformal changes of coordinates \(z=z(\zeta )\) at the pole.Footnote 2 Such a description is natural in the framework of irregular isomonodromic problems and provides a nice geometric intuition. However, the formulas for the coefficients of the jet-expansions are more complicated, especially for the study of the corresponding Hamiltonians. In example 2 we calculate the relation between the coefficients of such local conformal map and the parameters parameters \(t_1,\ldots ,t_r\) for \(r=3\); this can be easily generalised to any r.
Remark 4
Let us stress that the class of connections we consider in this paper are elements of the space (8). This class excludes some of the Jimbo–Miwa–Ueno connections. Indeed, our deformation parameters correspond to a subset of the Jimbo–Miwa–Ueno ones and this correspondence is 1 : 1 only in the case of rank \(m=2\). For example, the famous Dubrovin’s system
where U is a diagonal \(n\times n\) matrix and \(V\in \mathfrak {so}_n\), is not an element of \(\hat{\mathcal {O}}_{r_1}^{\star }\times \hat{\mathcal {O}}_{r_\infty }^{\star }\) for some \(r_1,r_\infty \) because the diagonal elements of U are independent deformation parameters. Of course the isomonodromic deformation equations for V as a function of \(u_1,\ldots ,u_n\) can be written as a flow on a co-adjoint orbit \(\mathcal {O}^{\star }\) of the Lie algebra \(\mathfrak {so}_n\), but not as equations for the whole connection \(U+\frac{V}{z}\) on the product of two co-adjoint orbits as our theory dictates. To include the Dubrovin system (and indeed all of Jimbo–Miwa–Ueno deformation parameters) in our theory, one should either consider the extended coadjoint orbits introduced in [13, 14] or exploit the Laplace transform. In the latter setting, the confluence procedure destroys semi-simplicity, therefore it is a different process from the one considered by Cotti, Dubrovin and Guzzetti [18, 19].
This is the correct framework to study confluence of two or more poles. Indeed, we show that the confluence cascade of \(r+1\) simple poles at certain positions depending on \(t^{(i)}_1,\ldots , t^{(i)}_{r_i}\) gives rise to an element of the phase space (8) which has a singularity of Poincaré rank r and depends on \(t^{(i)}_1,\ldots ,t^{(i)}_{r_i}\), \(i=1,\ldots ,n,\infty \), as prescribed by formulae (10) and (11). The following theorem provides the inductive step to create the confluence cascade (we drop the index \({}^{(i)}\) for convenience).
Theorem 2
Consider an r-parameter family of connections of the following form:
where by holomorphic terms we mean terms holomorphic in \(\lambda -u\) and \(\lambda -v\), and each \(B_k\) depends on the parameters \(t_1,\ldots ,t_r\) as specified by (10), (11). Assume
and that we have the following asymptotic expansions as \(\varepsilon \rightarrow 0\)
for some matrices \(W^{[-k-l]},A^{[k,l]}\). Then the limit \(\varepsilon \rightarrow 0\) the connection exists and is equal to
where \({\tilde{B}}_i\)’s are given by
We prove that the confluence procedure gives a Poisson morphism on the product of co-adjoint orbits and we calculate explicitly the confluent Hamiltonians, which define the correct isomonodromic deformations.
Theorem 3
Let u be a pole of a connection A with Poincaré rank r, which is the result of confluence of r simple poles with the simple pole u. Then the confluent Hamiltonians \(H_1,\ldots ,H_{r}\) which correspond to the times \(t_1,\ldots t_r\) are defined as follows:
where
are spectral invariants of order i in u and the matrix \(\mathcal {M}^{(r)}\) has entries \(\mathcal {M}^{(r)}_{k,j}\) given by (11). The Hamiltonian \(H_u\) corresponding to the time u is instead given by the standard formula
Remark 5
It is well known that the isomonodromic deformation equations are Hamiltonian, namely that the flow is Hamiltonian with respect to the Jimbo–Miwa–Ueno deformation parameters, see for example [28, 37, 65]. In [28], the isomonodromy equations have been described as integrable non-autonomous Hamiltonian systems. A symplectic fibre bundle whose base is the Jimbo–Miwa–Ueno deformation parameters space and the fibers are certain moduli spaces of unramified meromorphic connections was introduced in [14]. This approach was extended by D. Yamakawa for any reductive Lie algebra \({\mathfrak {g}}\) [67] who removed some multiplicity restrictions and introduced a symplectic two-form on the fibration. Following the same geometric approach and Jimbo-Miwa-Ueno isomonodromic tau-function Yamakawa [68] has proven that the isomonodromy equations of Jimbo-Miwa-Ueno is a completely integrable non-autonomous Hamiltonian systems. He was also motivated by the quantisation theorem of Reshetikhin but he did not try to consider the quantisation of general isomonodromy equationsFootnote 3. Recently, Bertola and Korotkin have derived a new Hamiltonian formulation of the Schlesinger equations (i.e. for the Fuchsian case) in terms of the dynamical r-matrix structure.
Remark 6
The results of the theorem 2 still hold true for the autonomous systems which are obtained by the confluence procedure from the Gaudin system. It was shown by Chernyakov in [17] that the Poisson algebra which arises in the confluent elliptic and rational Gaudin systems coincides with the dual Takiff algebra equipped with the standard Lie–Poisson bracket (in [17] the author use the word “fusion” instead of “confluence”).
One of the main theorems of our paper gives a general formula for the confluent KZ Hamiltonians with singularities of arbitrary Poincaré rank in any dimension.
Theorem 4
Consider the differential operators:
and
where the Hamiltonians \({\widehat{H}}_{u_j}\) which correspond to the positions of the poles \(u_j\), \(j=1\ldots ,n\), and \({\widehat{H}}_1^{(i)},\ldots ,{\widehat{H}}_{r}^{(i)}\) which correspond to the times \(t_1^{(i)},\ldots t_{r_i}^{(i)}\), for \(i=1,\ldots ,n, \infty \), are given by the following elements of the universal enveloping algebra \(U\left( \hat{{\mathfrak {g}}}_{r_1}\oplus \cdots \oplus \hat{{\mathfrak {g}}}_{r_\infty }\right) \):
and
where
with \({\hat{B}}^{(i)}\)’s given by
and \(e_\alpha ^{(0)}\) corresponds to the quantisation of \({\mathfrak {g}}^*\) to \({\mathfrak {g}}\) while
Then the differential operators commute
\(\forall \, j,s=1,\ldots ,n, \, i,a=1,\ldots ,n,\infty , \, k=1,\ldots ,r_i,\, l=1,\ldots , r_a\). We call the system of differential equations
confluent KZ equations.
Moreover, we express the isomonodromic Hamiltonians in terms of the lifted Darboux coordinates and show that the quasiclassical solutions of the confluent KZ equations is expressed via the isomonodromic \(\tau \)-function.
Theorem 5
Given a solution \((P_1,\ldots ,P_d,Q_1,\ldots ,Q_d)\) of the classical isomonodromic deformation equations, the corresponding semi-classical solution \(\Psi _{sc}\) (see Sect. 6.3) of the confluent KZ equations
and
evaluated along the solution \((P_1,\ldots ,P_d,Q_1,\ldots ,Q_d)\), admits the following WKB expansion
in terms of the classical isomonodromic \(\tau \)-function
The asymptotic expansion (20) is valid for \(u_1,\ldots ,u_n\), \(t_k^{(i)}\), \(i=1,\ldots ,n,\infty \), \(k=1,\ldots ,r_i\) in a poly-disk that does not contain the zeroes of the action functional evaluated along the given solution \((P_1,\ldots ,P_d,Q_1,\ldots ,Q_d)\).
This statement was mentioned in [58] for the case of the standard KZ, namely with simple poles. We also discuss the quantisation of the reduced Darboux coordinates and provide the quantised reduced systems in some examples.
Remark 7
Most of our results extend to the case of isomonodromic deformations for meromorphic connections on principal \(G-\)bundles over the Riemann sphere for any arbitrary complex reductive group G-this is for example the situation of the famous Fuji-Suzuki \(D_{2n+2}^{(1)}-\)higher Painlevé hierarchies and matrix Painlevé equations [9]. Only the results about the so-called “lifted Darboux coordinates coordinates" can’t immediately be generalised to any connected complex reductive group case. However, we have decided to restrict to the \(GL_m(\mathbb C)\) case having in mind a wider audience. For the same reasons, we often do not use the language of sheaves and schemes. To extend our results to higher genus Riemann surfaces is instead a rather serious job. First, one can extend the “rational" truncated polynomial currents to their trigonometric and elliptic analogues and to define a proper pairing and basis. For \(g=1\) case such job can be done probably using the results of [25, 55, 56] and we postpone to subsequent papers.
This paper is organised as follows. In Sect. 1, we recall the case of Fuchisan connections, we discuss the lifted Darboux coordinates and the Marsden–Weinstein reduction to the phase space (8) in the case of \(r_1=\cdots =r_n=r_\infty =0\) and remind the Hamiltonian formulation. In Sect. 2, we collect facts about the Takiff algebras; we discuss the lifted Darboux coordinates at each separate pole for any choice of the Poincaré rank r and show how to obtain the standard Lie–Poisson bracket (9) as Marsden–Weinstein reduction of the Poisson structure on \(\oplus _{k=0}^{r}T^{\star }\mathfrak {gl}_m\). We also prove Theorem 1 and discuss the inner group action on the universal phase space. Finally, we show how to obtain the intermediate Darboux coordinates and discuss some examples. In Sect. 3, we discuss the isomonodromic deformations. In Sect. 4, we discuss the confluence procedure. We first carry out the confluence of two simple poles, explain how to obtain confluence cascades, prove Theorems 2 and 3. Is Sect. 5, we apply the theory to the case of the Painlevé equations. In Sect. 6, we deal with quantisation. We give a general formula for the confluent KZ equations with singularities of arbitrary Poincaré rank and prove Theorem 5.
We conclude this introduction with a discussion about further research directions emerging from our work. In the case of Fuchsian systems, the analytic continuation of the solutions of the isomonodromic equation is described by the Artin braid group \(B_n\) realised as the fundamental group of the configuration space B of n points quotiented by the natural action of the symmetric group \(S_n\) [23]. At quantum level, due to T. Kohno and V. Drinfeld, the universal R-matrix of \(U_{\hbar }{\mathfrak {g}}\) gives a representation of \(B_n\) as the monodromy of the KZ equation with values in \(V^{\otimes n}\), where V is a finite \(U_{\hbar }{\mathfrak {g}}\)-module. This is based on the fact that KZ is realised as a \(S_n\)-equivariant flat connection on the topologically trivial vector bundle over \(X_n\) with fibre \(V^{\otimes n}\). It would be interesting to understand how to modify this picture under confluence. In particular, it is not yet clear what happens if one braids two punctures in the Fuchsian system, say \(u_1\) and \(u_2\), and then confluence \(u_2\) with a third puncture \(u_3\).
Even more interesting is the problem to confluence the duality between KZ and the Casimir connection by Millson and Toledano-Laredo and to study its effect on the monodromy. Indeed, given a Lie algebra \({\mathfrak {g}}\) with Cartan sub-algebra \({\mathfrak {h}}\) and Weyl group W, this Casimir connection is a W-equivariant flat connection on \({\mathfrak {h}}\) with simple poles along the root hyperplanes and values in any finite-dimensional \({\mathfrak {g}}\)-module V. In the case of \({\mathfrak {g}}=\mathfrak {sl}_n\), Toledano-Laredo [62] proved that the monodromy of this family of connections is equivalent to the quantum Weyl group action of the generalised braid group \(B_{{\mathfrak {g}}}\) of type \({\mathfrak {g}}\) on V obtained by regarding the latter as a module over the quantum group \(U_{\hbar }{\mathfrak {g}}\). While the R-matrix representation is a deformation of the natural action of the symmetric group \(S_n\) on \(V^{\otimes n}\), the representation of \(B_{{\mathfrak {g}}}\) deforms the action of a finite extension of W on any finite-dimensional \({{\mathfrak {g}}}\)-module. In the same paper [62] Toledano-Laredo showed that the duality between \(\mathfrak {sl}_{k}\) and \(\mathfrak {sl}_l\) derived from their joint action on the space of \(k\times l\) matrices exchanges KZ for \(\mathfrak {sl}_{k}\) with the Casimir connection for \(\mathfrak {sl}_l\). The current paper opens the problem of confluencing this duality.
2 Fuchsian Systems
The aim of this section is to review the Poisson and symplectic aspects of the deformation equations for connections over the \(n+1\)-holed sphere with simple poles at the punctures. Starting from the linear system with simple poles at \(\lambda =u_1,\ldots ,u_n,\infty \),
where \(A^{(1)},\ldots , A^{(n)}\) are non-resonant elements in \(\mathfrak {sl}_m(\mathbb C)\) such that \(A^{(\infty )}:= -\sum A^{(i)}\ne 0\), we consider the following one-form
Since we consider only isomonodromic deformations, \(\Omega \) is a one-form valued meromorphic function in the variable \(\lambda \) with simple poles at \(u_1\ldots ,u_n,\infty \).
Using the local solutions of (21) in the neighbourhood of the poles \(u_i\)’s and applying Liouville theorem, this form may be written as
The compatibility condition for (21) and (22), also called zero-curvature condition,
gives the Schlesinger equations (2).
2.1 Phase space
The Schlesinger equations are Hamiltonian, with natural phase space given by the direct product of co-adjoint orbits which are symplectic leaves of the standard Lie–Poisson bracket:
In the case when \({\mathfrak {g}}\) is a Lie algebra with a non-degenerate bi-linear form (i.e. Killing form), we may identify the co-adjoint orbits with the adjoint orbits. The Poisson brackets may then be written as
where the lower indices \(\alpha , \beta \) and \(\gamma \) correspond to the Lie co-algebra basis, \(\chi _{\alpha \beta }^\gamma \) are the structure constants of the Lie algebra and \({\Pi }\) is a quadratic Casimir element. In the case of \(\mathfrak {gl}_m\) it acts as a permutation operator, i.e.
In the case of a Lie algebra with an orthogonal basis \(e_{\alpha }\) with respect to the Killing form, the quadratic Casimir \(\Pi \) writes as
Such bracket may be rewritten as an r-matrix bracket for the connection, i.e.
The isomonodromic Hamiltonians for the Schlesinger equations are
In the case of 3 co-adjoint orbits in \(\mathfrak {sl}_2\), the Schlesinger equations can be reduced to the Painlevé VI equation which is a non-autonomous Hamiltonian system with 1 degree of freedom.
For n co-adjoint orbits, the fully reduced dimension can be computed using the spectral type technique introduced by Katz [44]. When all matrices \(A^{(i)}\), \(i=1,\ldots ,n\) are semi-simple, the spectral type approach gives the dimension of the fully reduced phase space as a function of the eigenvalues multiplicities of the residues, including the residue at infinity given by the Fuchs condition:
Katz’ formula is:
where \(l_i\) is the cardinality of the set of eigenvalues for the residue \(A^{(i)}\) and \(m_j^i\) is the multiplicity of the j-th eigenvalue of the residue \(A^{(i)}\) for \(i=1,\ldots ,n,\infty \).
The Fuchs condition (28) may be viewed as the moment map of the Hamiltonian group action of conjugation by z-independent invertible matrices and \(A_\infty \) is a constant of motion for the Schlesinger equations.
Formula (29) coincides with the dimension of the reduced space under symplectic reduction as follows:
where \({\text {stab}}\mathcal {O}_{\infty }^{\star }\) is the dimension of the stabilizer for the Jordan form of the residue at \(\infty \). When \(A^{(\infty )}\) is an element of the co-adjoint orbit of generic form (ad-regular), we have that \({\text {stab}}\mathcal {O}_{\infty }^{\star } = {\text {dim}}{\mathfrak {h}}\), so formula (30) simplifies to
For example, in the case of the Painlevé VI equation, we deal with the coadjoint orbits of the \(\mathfrak {sl}_2({\mathbb {C}})\) and formula (30) gives
which is exactly the dimension of the Painlevé VI equation phase space. In some sense the multiplicity of the eigenvalues tells us that the Jordan form may be written as the direct product of identity matrices of sizes corresponding to the the multiplicities. The stabilizer of such matrix is the set of block diagonal matrices, so the dimension is greater then the dimension of the Cartan torus and finally we obtain the smaller phase space.
Our first goal is to describe this full reduction as a Hamiltonian reduction and a Marsden–Weinstein quotient. To this aim, we will need first to extend the phase space to \(T^{\star }\mathfrak {gl}_m\) and show that the Darboux coordinates on this cotangent bundle reduce to the Kirillov-Kostant-Souriau form on the co-adjoint orbits. We will then discuss how the invariants of the co-adjoint orbits correspond to moment maps with respect to different Hamiltonian group actions on the extended phase space.
2.2 Extended phase space and its Darboux coordinates
In this subsection, we start by working locally, namely we restrict to the case of a single co-adjoint orbit \(\mathcal {O}^{\star }\) of \(\mathfrak {gl}_m\) and identify \(\mathfrak {gl}_m^{\star }\) with \(\mathfrak {gl}_m\) via the Killing form. In the last part of this subsection we extend to the product of n co-adjoint orbits.
We consider \(T^{\star }\mathfrak {gl}_m\) with the standard Darboux coordinates (Q, P) and the canonical symplectic structure:
Following [1,2,3], we explain how to obtain the standard Lie–Poisson bracket (25) on \({\mathfrak {g}}^{\star }\) as Marsden–Weinstein reduction of the Poisson structure on \(T^{\star }\mathfrak {gl}_m\). There is a direct way to see this reduction by a straightforward computation (see [39]) that we resume in the next proposition:
Proposition 6
Consider the canonical symplectic structure on \(T^{\star }\mathfrak {gl}_m\):
Let
where we use the ring structure of \(\mathfrak {gl}_m\) to justify the multiplication of Q and P. Then A satisfies the standard Lie–Poisson bracket (25) for \(\mathfrak {gl}_m\).
Proof
The Poisson bracket which corresponds to the symplectic form in (32) may be written in the following way
Inserting this relation to the bracket between A’s we obtain
As we wanted to prove. \(\square \)
Definition 1
We call \(T^{\star }\mathfrak {gl}_m\) extended phase space and the canonical coordinates P, Q lifted Darboux coordinates.
To restrict to the co-adjoint orbit, we have to fix the invariants of the co-adjoint action, i.e. the Jordan form of matrix \(QP=A\). Such a procedure leads to some additional non-linear equations for the entries of Q and P, and there is no hope to derive the explicit symplectic structure on the co-adjoint orbit from such a perspective. Therefore, we follow the construction of [3] to obtain the co-adjoint orbits via Hamiltonian reduction.
The space \(T^{\star }\mathfrak {gl}_m \simeq \mathfrak {gl}_m\times \mathfrak {gl}_m\) carries two natural commuting symplectic actions of \(GL_m\) which we call inner and outer:
Lemma 1
The inner and outer actions are Hamiltonian with equivariant moment maps given by
Let us restrict to the open affine subset of \(T^{\star }\mathfrak {gl}_m\) where at least one of the two matrices Q and P is invertible. For example Q. Then, resolving the moment map for \(\Lambda \) we obtain
As a consequence, A and \(\Lambda \) belong to the same co-adjoint orbit.
Since the inner and outer actions commute, A is invariant under the inner action, while \(\Lambda \) is invariant under the outer action. Therefore we use the inner group action to fix \(\Lambda \) in Jordan normal form without changing A. In other words, we take the Jordan normal form \(\Lambda _0\) of A and select \(\Lambda =\Lambda _0\). This gives
here we denote by \( \underset{\Lambda _0}{//}\) the quotient with respect to the inner action of \(GL_m\) on \(T^{\star }\mathfrak {gl}_m\). We may resume these results in the following:
Lemma 2
The map
is a rational symplectomorphism and the Jordan normal form \(\Lambda _0\) of A is given by
Remark 8
When A is a full-rank matrix, both P and Q must be invertible. So we may embed (P, Q) into the group \(GL_m\) and P and Q can be seen as left and right eigenvector matrices for the matrix A. In the case when A may be diagonilized, the action of the Cartan torus (i.e. the stabilizer of \(\Lambda \)) leads to a well known fact from linear algebra—the eigenvectors are defined up to multiplication by non-zero constant. When A is not a full-rank matrix, we may choose Q to be an invertible matrix (so it may be viewed as an element of \(GL_n\)). Then the rank of P must equal to the rank of A. The the moment map \(\Lambda \) will inherit the rank of A automatically. Since P in this case not invertible, the reduced coordinates take the form
This means that instead of considering \(T^{\star }\mathfrak {gl}_m\) as lifted space, we could take \((Q,\Lambda Q^{-1})\in T^{\star }GL_m \). Such consideration is closely related to the approach introduced in [10]. However, this approach is not very useful for our purposes, since we wish to work with polynomial unreduced parametrisation, rather then rational.
Remark 9
In the case when we consider \({\mathfrak {g}}\) to be any reductive Lie algebra and \(A\in {\mathfrak {g}}^*\), then we expect that Lemma 2 is still valid if we fix the value \(\Lambda \) of the moment map in \( {\mathfrak {g}}^*\) and Q and P (or just Q in the case of degenerate orbit) as the elements from the corresponding Lie group G.
Let us now consider the case of the product of many co-adjoint orbits. Since the Poisson brackets (25) are local, namely the residues at different points commute, the facts we summarised so far easily extend to this case. Indeed, we can apply the above construction to the co-adjoint orbit at each pole of the Fuchsian system (except \(\infty \)) and define:
In this case we have that inner and outer actions can be lifted to the direct sum of n copies \(T^{\star }\mathfrak {gl}_m\) in a natural way
and the lemma 1 is easily generalised as follows:
Lemma 3
These inner and outer actions are Hamiltonian with equivariant moment maps given by
Proof
Let us prove it for the inner action only. The vector field generated by the group action (via element \(\xi = (\xi _1, \xi _2,...\xi _n) \in \oplus _n \mathfrak {gl}_m\) is given by
Inserting \(X_\xi \) into the symplectic form we obtain
so the corresponding Hamiltonian is
where \(m=(P_1,P_2,\ldots P_n,Q_1,\ldots Q_n)\). So the moment map is given by
which is equivariant
\(\square \)
Then the following result is a straightforward computation
Lemma 4
A Hamiltonian system on the phase space
can be lifted to the extended phase space
with additional first integrals given by the moment maps of the inner group action
where the inner group action is given by
Moreover, if \(\Lambda ^{(i)}_0\) is the Jordan normal form of \(A^{(i)}\), we can fix \(\Lambda ^{(i)}=\Lambda ^{(i)}_0\).
In particular, the Schlesinger Hamiltonians (27) can be lifted to the extended phase space \(T^{\star }\mathfrak {gl}_m\) as follows
and it can be checked directly that they Poisson commute with the moment maps of the inner group action.
2.3 Outer group action and the gauge group
We have seen that the inner group action allows us to restrict from \(T^{\star }\mathfrak {gl}_m\) to \(\mathcal {O}^{\star }_1\times \mathcal {O}^{\star }_2\times \cdots \times \mathcal {O}^{\star }_n\). Now we consider the outer group action that will allow us to reduce further. This is given by
and is also Hamiltonian (see Lemma 1).
Because inner and outer group actions commute, their moment maps Poisson commute too. However, the Schlesinger Hamiltonians are generally not invariant under outer action, unless the outer action is restricted to be a diagonal action, i.e.
In this case, the outer action reduces to the standard \(GL_m\)-action on \(\mathcal {O}^{\star }_1\times \mathcal {O}^{\star }_2\times \cdots \times \mathcal {O}^{\star }_n\), or equivalently to the constant gauge group action:
The moment map of such diagonal action is
which is the Fuchs relation.
In order to describe the reduction procedure induced by the outer diagonal action in terms of the Marsden–Weinstein reduction, following Proposition 2.2.7 of [4] (see also [35]) we further extend the phase space by adding another copy of \(T^{\star }\mathfrak {gl}_m\):
with the outer group action of the form
The corresponding extended space given by the reduction with respect to the inner group action takes form
The reduction with respect to the relation (38) on the extended phase space may be viewed as the Marsden–Weinstein quotient
that corresponds to the Fuchsian relation on the phase space reduced with respect to the inner group action.
Finally, the fully reduced phase space then has form
Where \(\simeq \) denotes the symplectomorphism between symplectic manifolds.
Moreover, the Hamiltonians are homogeneous polynomials in the lifted Darboux coordinates. Such dependence plays crucial role in the quantisation of the isomonodromic systems as we will discuss in Sect. 6.
In this paper we extend this scheme for the isomonodromic problems with irregular singularities and will introduce a well defined confluence procedure that creates an irregular singularity of Poincaré rank r as a result of collision of \(r+1\) simple poles. In the next section, we study the case of the irregular singularities along the same lines of the regular one.
3 Takiff Algebras and Associated Symplectic Manifolds
It is well known that the isomonodromic deformation equations in the case of higher order poles also have a co-adjoint orbit interpretation on a current algebra. In the case of the Painlevé equations, Harnad and Routhier [33] produced finite dimensional parameterisations that can be interpreted as introducing suitable truncations of the current algebra. Korotkin and Samtleben [48] then conjectured the standard Lie–Poisson structure on truncated current algebras also called Takiff algebras. In this section, we unify these two approaches and classify the linear Takiff algebra automorphisms that preserve the standard Lie–Poisson structure. As a consequence, we obtain a general formula that prescribes the way to introduce independent deformation parameters in generic connections with poles of any Poincaré rank.
Loosely speaking, the Takiff algebra of degree \(r_i\), is the Taylor part of a current algebra quotiented by the ideal generated by \(z^{r_i}\) where \(r_i\) is the order of the pole at \(u_i\) and z is the local coordinate at \(u_i\). For a general system with poles at \(u_1,u_2,\ldots ,u_n,\infty \) of Poincaré rank \(r_1,r_2,\ldots ,r_n,r_{\infty }\) respectively, the phase space is
where \(\hat{\mathcal {O}}_{r_i}^{\star }\) stands for the co-adjoint orbit of the Takiff algebra of degree \(r_i\).
In this section we remind several generalities about Takiff algebras and describe the Poisson structure on their co-adjoint orbits. Moreover, we explain the lifted Darboux parametrisation for the co-adjoint orbits of Takiff algebras. We show that the lifted space is always the same and the way to distinguish between different isomonodromic systems is the Hamiltonian group action we choose to obtain the reduced phase space. In Sect. 4 we will show that that the Takiff algebras algebras naturally arise during the confluence procedure.
The Takiff algebra \(\hat{{\mathfrak {g}}}_{{r}}\) of the Lie algebra \({\mathfrak {g}}\) is the Lie algebra of polynomials of given degree r in an indeterminate variable z with the following Lie bracket
This algebra may be viewed as a double quotient of the loop algebra \({\mathfrak {g}}[[z]]\) as follows. Denote by \({\mathfrak {g}}[z]^{+}\) the subalgebra of the elements which has a finite limit when z goes to the origin. Then \(\hat{{\mathfrak {g}}}_{{r}}\) is defined as
These algebras are known in the Integrable Systems community as truncated loop algebras or truncated current algebras. The variable z is usually called spectral parameter and, as we will illustrate here below, it induces a grading on the Takiff algebra.
In the case when \({\mathfrak {g}}\) admits an invariant non-degenerate bi-linear form (Killing form), we may define the co-algebra \(\hat{{\mathfrak {g}}}_r^{\star }\) in the following way
The pairing between \(\hat{{\mathfrak {g}}}_r\) and \(\hat{{\mathfrak {g}}}_r^{\star }\) is given by
Let us assume that the Lie algebra \({\mathfrak {g}}\) is given by
then for the Takiff algebra \(\hat{{\mathfrak {g}}}_{{r}}\) we have the following basis and structure equations
For the dual algebra \({\mathfrak {g}}_{{r}}^{\star }\), we use the following basis
so that the pairing is given by
The details about Takiff algebras or truncated current algebras and their standard Lie–Poisson bracket may be found in [27] (see part 2, chap. 4 §1). In the following sub-section we recall the essentials of this construction.
3.1 Standard Lie–Poisson bracket for the Takiff algebras
Let us remind the reader that the standard Lie–Poisson bracket on the dual Lie algebra \({\mathfrak {g}}^{\star }\) is given by
The coadjoint orbits \(\mathcal {O}^{\star }\) are symplectic leaves of the standard Lie–Poisson structure on \({\mathfrak {g}}^{\star }\). The vector fields on \(\mathcal {O}^{\star }\) may be identified with the elements of Lie algebra \({\mathfrak {g}}\) and the symplectic form takes the form
Following [27], we now describe the standard Lie–Poisson structure on the dual \(\hat{{\mathfrak {g}}}_n^{\star }\) of the Takiff algebra. Let’s consider the following element of the dual \(\hat{{\mathfrak {g}}}_n^{\star }\)
The coefficients \(A_{\alpha ,i}\) are functions on the coadjoint orbit, with \({\text {d}} A_{\alpha ,i}=X_{i,\alpha }\) so that the standard Lie–Poisson bracket is given by
This is a graded Poisson structure of degree 1, and the Takiff co-algebra inherits the grading:
where \(\hat{{\mathfrak {g}}}^{\star ,i}_{{r}}= \left\{ A=\frac{A_{{i}}}{z^{{i+1}}} \,\Big \vert \, A_i\in {\mathfrak {g}}^{ \star }\right\} \). The same grading is induced on the co-adjoint orbit \(\hat{\mathcal {O}}_{{r}}^{\star }\).
Remark 10
Note that the degree of the grading is due to the choice of the pairing (41) in the Takiff algebra. If we had chosen a different measure, say \(\frac{{\text {d}} z}{z^k}\), then the degree would have been k.
In the case when \({\mathfrak {g}}\) is \(\mathfrak {gl_{m}}\) we have the following Poisson structure
which may be written in the r-matrix form
As mentioned before, the co-adjoint orbits of the Takiff algebra form the phase space of the isomonodromic deformation equations in the case of irregular singularities while in the Fuchsian \(\hat{\mathcal {O}}^{\star }_{{0}}= \mathcal {O}^{\star }\).
3.2 Lifted Darboux coordinates
As shown in the previous section, the lifted Darboux coordinates for the co-adjoint orbits of an ordinary Lie algebra are given by a symplectic reduction from \(T^{\star } \mathfrak {gl}_m\). We prove the same result for the Takiff algebras. Our construction follows ideas introduced by Chervov and Talalaev in [20] to parametrize the space of the irregular Gaudin systems.
We start from the following space
The symplectic form on \(T^{\star }\hat{{\mathfrak {g}}}_{n}\) is given by the differential of the Liouville form:
here d is the differential on the space of the spectral parameter z, while \({\text {d}}\) is the differential on the phase space.
Lemma 5
The map
is a symplectomorphism.
The proof of this result is a straightforward consequence of the fact that \(T^{\star }\hat{{\mathfrak {g}}}_{n}\) and \(\bigoplus \limits _{i=1}^n T^{\star }\mathfrak {gl}_m\) are isomorphic as vector spaces and formula (45) shows that they are symplectomorphic to each other. However, we have enphasised this simple fact into a Lemma because \(\bigoplus \limits _{i=1}^n T^{\star }\mathfrak {gl}_m\) provides the ambient space for the confluence procedure.
We now want to construct the Lie group \({{\hat{G}}}_{{r}}\) of the Takiff algebra. Its elements are given by:
where, in order to be able to multiply both on the left and on the right, \(\mathfrak {gl}_m\) is considered as a bi-module of \(GL_m\). The group structure of \({{\hat{G}}}_n\) is given by \(GL_m\) multiplication mod \(z^n\), i.e.
The inverse is given by
and the neutral element is given by the identity matrix. The induced inner and outer actions on \(T^{\star }\hat{{\mathfrak {g}}}^{{r}}\) are given by
where \(\pi _{-}\) is a projection to the Laurent part with respect to spectral parameter z, i.e.
Lemma 6
Both inner and outer actions are Hamiltonian with the moment maps respectively
These two moment maps are dual in a sense of Adams–Harnad–Previato duality [3]. Since inner and outer group actions commute, A(z) and \(\Lambda (z)\) Poisson commute with respect to Poisson bracket induced by (45). As in the Fuchsian case, A(z) is an element of the co-adjoint orbit for the Takiff algebra. On the other hand, \(\Lambda (z)\) becomes an invariant of the orbit after quotient via the inner group action.
This fact gives us the opportunity to generalise the statement of Lemma 2 to the case of Takiff algebras:
Lemma 7
The map
where \( \underset{\Lambda _0}{//}\ \) denotes the Hamiltonian reduction w.r.t. the inner action in which the moment map has value \(\Lambda _0\), is a rational symplectomorphism and the Jordan normal form \(\Lambda _0\) of A is given by
The explicit form of A(z) is
while \(\Lambda _0(z)\) takes form
Remark 11
According to Lemma 5, all co-adjoint orbits, i.e the ones for the ordinary Lie algebras and the one for the Takiff algebras, are reductions of the same phase space. Systems with different orders of poles are obtained by different choices of the group realising the reduction: in the Fuchsian case we considered the action of the direct product of \(GL_m\), while in the case of the Takiff algebra we use the inner action of \({{\hat{G}}}_m^{{r}}:=GL_m[z]/z^{{r+1}}GL_m[z]\).
The parametrisation (49) allows a nice combinatorial description which is presented on Fig. 1.
Theorem 7
The Poisson bracket induced by the Darboux coordinates \(Q_{i},P_{i}\) on the space of matrices \(A_{{k}}\), \(k=0,\ldots ,r\) coincides with the graded Poisson structure (44).
Proof
This statement is a straightforward corollary of the Lemma 7. However, here we prove it directly for the sake of clarity. The Poisson bracket on the elements \(\chi _{ij}\) in (49) is given by
which is the same as
By direct computation
we obtain the proof of the statement. When \(k+l>{{r}}\) the Poisson bracket is automatically zero. \(\square \)
In the next lemma, we show that the quadratic Casimir elements for the Takiff algebra are given by functions of the spectral invariants of the co-adjoint orbit:
Lemma 8
For the Takiff algebra of degree r, the following quantities are Casimirs
Proof
The fact that \(I_k\) are Casimir functions may be checked by direct computation. Here we demonstrate it for \(k=1\) since we use this fact later in the text. Explicitly \(I_1\) writes as follows
The Poisson bracket with an arbitrary generator of the Poisson algebra defined via Lie-Poisson bracket for the Takiff algebra gives
In the same way we may prove that \(I_k\) are the Casimirs for \(k>1\). \(\square \)
3.3 Poisson automorphisms of the Takiff algebra and independent deformation parameters.
In this subsection, we describe the class of linear automorphisms of the Takiff algebra which preserve the Poisson bracket, namely linear maps
such that
In the next theorem we describe explicitly the constraints on the coefficients \(T_{ij}\).
Theorem 8
The coefficients \(T_{ij}\) characterising the class of linear automorphisms of the Takiff algebra which satify the Poisson condition (53) define an ideal \(\mathcal {P}\) in the ring \({\mathbb {C}}[T_{11}\ldots T_{rr}]\) given by the equations
Moreover we have the following ring isomorphism for the quotient
such that
so that \(T_{ki}\) is just the coefficient of the \(\varepsilon ^i\) term in the polynomial \(P_r(t,\varepsilon )^k.\)
Remark 12
The equations which define the ideal \(\mathcal {P}\) do not depend on the specific form of \(\Pi \), i.e. on the structure constants of a Poisson bracket. Therefore, the classification of the automorphisms is a consequence of the grading structure and not a property of the specific Lie co-algebra.
Proof
Assume the matrices \(A_i\) and \(B_i\) satisfy the Poisson relations (53) and prove the relations for the coefficients \(T_{ij}\). Let us start from the relation for \(B_1\)
Substituting (52) in (57) and expanding, we obtain
This relation defines a system of equations for the coefficients \(T_{0j}\), which takes the form
that, by recursion, leads to the first set of equations which generate the ideal \(\mathcal {P}\):
The next statement we want to prove is that \(T_{{k0}}=0\) for \(k>1\). We use
Again, substituting (52) and expanding, we obtain
and collecting all coefficients of \([\Pi , {\mathbb {I}}\otimes A_1]\), we have that
that is solved by
On the other hand substituting (52) in
we obtain
as we wanted. Now to demonstrate the statement that \(T_{ik}=0\) for \(k{{<}} i\) we use the relation
By substituting (52) we see that the left hand side of (61)
does not contain terms in \(A_{{0}}\) or \(A_{{1}}\), it contains only one term that depends on \(A_{{2}}\), given by \( T_{11}T_{11} [\Pi , A_{{2}}]\) and all other terms depend on \(A_{{3}},\ldots ,A_r\). Expanding the right hand side of (61) we obtain
Therefore \( T_{21} = 0.\) Similarly, applying the \(\{B_{{1}}\otimes \circ \}\) to \(B_{{2}}\ldots B_{r}\) and using the same approach we obtain that \(T_{ik}=0\) for \(k< i\). The last relation in (54) is obtained by imposing (53), substituting (52) and expanding as before, and then by imposing all other conditions we have obtained so far.
We now prove the second part of the Theorem. First of all, we observe that thanks to relations (54), the coefficients \(t_j:=T_{1j}\) for \(j>0\) form a basis in the quotient ring \( \mathcal {Q}:\quad {\mathbb {C}}[T_{00}\ldots T_{rr}]/\mathcal {P}\). Then, because each \(T_{ik}\) must be given by a polynomial \(P_k^{(i)}\)of \(t_1,\ldots ,t_{r}\), we just need to check the degree and the form of the coefficients. To this aim we use the last relation of (54) for \( T_{ij}\) by induction on j from i to r. We omit this computation as it is straightforward. \(\square \)
In the next section we will see how such dependence on the parameters \(t_i\)’s arises during the confluence procedure. In some sense, the irregular deformation parameters are just the deformation of the representation for the Takiff algebra.
Example 1
In order to give a taste of how the general elements of the Takiff co-algebra depend on the Poisson automorphism parameters \(t_i\), we provide a few examples of low degree. We consider an element of the Takiff co-algebra as a polynomial in \(\frac{1}{z}\). In the case of \(\hat{{\mathfrak {g}}}_1^{\star }\) Theorem 8 gives
In this case, we see that the invariant space of the action of \(A_0\) is defined up to multiplication by a constant, so this example is quite trivial. Let us look at \(\hat{{\mathfrak {g}}}_2^{\star }\). In this case, the general element writes as
Example 2
The next example is the case of \(\hat{{\mathfrak {g}}}_3^{\star }\) where the element of the co-algebra writes as
Let us now see how to obtain these formulae for B(z) starting from the following connection with a pole of order 4 at zero
and performing a local conformal change of coordinates
Then
It may explicitly checked that such transformation preserves the Poisson bracket. The parameters \(\tau _1, \tau _2\) and \(\tau _3\) are related to \(t_1,t_2,t_3\) in (66) by the following bi-rational map
3.4 Direct product of the co-adjoint orbits and outer group action
To study systems with more than one pole, we will need to consider the symplectic space given by the direct product of different co-adjoint orbits of the Lie algebra for simple poles, or of the appropriate Takiff algebra for higher order poles. We use here a unified notation, in which we understand that for poles of order 1, the Poincaré rank is \(r=0\) and \(\hat{{\mathfrak {g}}}_{0}\) is \({\mathfrak {g}}\), \(\hat{\mathcal {O}}_{0}^{\star }\) is \(\mathcal {O}_i^\star \), \(T^{\star }\hat{{\mathfrak {g}}}_{0}\) is \(T^{\star }{{\mathfrak {g}}}\) and \({\hat{G}}_0\) is G. With this notation in mind, the symplectic space we consider is
where we always assume to have a pole at infinity like in the Fuchsian case. This product of co-adjoint orbits may be viewed as the reduction of the universal symplectic space \(\bigoplus \limits _{i=1}^{n} T^{\star }\hat{{\mathfrak {g}}}_{r_i}\) with respect to the inner action of the group \({\mathcal {G}}^{(n)}:={\hat{G}}_{r_1}\times {\hat{G}}_{r_2} \times \cdots \times {\hat{G}}_{r_n}\times {\hat{G}}_{r_\infty }:\)
Since we have the following symplectomorphism
we obtain that
where we denote by \(\underset{\otimes \Lambda _{r_i}}{//}\) the Hamiltonian reduction with respect to the inner action in which the value of the moment map is given by the product of values \(\Lambda _{r_i}\) of the inner moment map for each \( {\hat{G}}_{r_i}\).
We now take into account the outer action on each co-adjoint orbit; similarly to the Fuchsian case, in order to have a well defined action on the whole connection, we again restrict to the diagonal case
where \(g_i\) doesn’t depend on the spectral parameter \(z_i\). Therefore, this constant diagonal action is the constant gauge group G action as in the Fuchsian case.
The moment map of this constant diagonal outer action takes the form
which may be again seen as the sum of residues at poles. Finally, the fully reduced space takes the form
The quotient with respect to the diagonal outer action has the same effect as in the Fuchsian case it specifies the residue at the infinity. However, differently from the Fuchsian case, where this was enough to fully characterise the Fuchsian singularity at infinity, here we have a pole of arbitrary Poincare rank r at infinity, where the connection takes the form
We may view the moment map as fixing the term \(A^{(\infty )}_1\). In the next section we will study the isomonodomic deformations of irregular connections that are elements of the space (68).
3.5 Fixing the spectral invariants: reduction with respect to the inner action
In this section we compute explicitly the reduced coordinates for the co-adjoint orbits of the quotient of Takiff algebras with respect to the inner group action on the lifted Darboux coordinates in the case of degrees 1, 2, 3 and 4—this choice is motivated by the fact that in the Painlevé confluence scheme the maximal pole order we have is 4. However, the described procedure can be easily expanded for the Takiff algebra of any degree we give a hint and some explanation in the discussion after the examples. In each example we give explicit results in the case of \(\mathfrak {sl}_2\), since this is the case of the isomonodromic problems for the Painlevé equations. We also provide the coordinates in the diagonal gauge the case when the leading term is diagonal by using the additional outer action of the gauge group G.
3.5.1 First order pole: Takiff algebra of degree 1
In this case Takiff algebra coincide with the ordinary Lie algebra. The parametrisation in such situation was obtained in works [5, 6].
3.5.2 Second order pole: Takiff algebra of degree 1
The Darboux parametrisation is given by
so that the extended phase space dimension is \(4m^2\). We now want to reduce this dimension by solving the moment map conditions
w.r.t. \(P_0\) and \(P_1\). To do this, we only need to assume that \(Q_0\) is invertible, namely \((Q_0,Q_1)\in \bigoplus {Gl}_m\times \mathfrak {gl}_m\). This inversion sends the Liouville form to
while
We now want to reduce the dimension by 2m via the torus action \(Q_i\rightarrow Q_i D_i\), where \(D_i\) is a diagonal matrix, that fixes the invariants of the co-adjoint orbit \(\Lambda _0,\Lambda _1\). To this aim, we find the Darboux coordinates \(p_1,\ldots p_{m(m-1)},q_1,\ldots q_{m(m-1)}\) explicitly in such a way that
The number of unknown functions also equals to \(2m(m-1)\), due to the factorisation of the torus action. There are many possible choices for the Darboux coordinates \(p_1,\ldots p_{m(m-1)},q_1,\ldots q_{m(m-1)}\) in this situation, our aim to find one good choice; it is convenient to use the following change
then Liouville form transforms to
The Liouville form is always defined up to a closed form. Since \(\Lambda _1\) is an invariant of the co-adjoint orbit (i.e. is a constant) the term
is exact, so we may drop it. The equation for the differential form therefore simplifies to
which allows us to pick our Darboux coordinates \(p_1,\ldots p_{m(m-1)},q_1,\ldots q_{m(m-1)}\) in such a way that \(Q_0\) depends only on \(q_1,\ldots q_{m(m-1)}\) (i.e. \(Q_0\) is a section of a principal bundle over the Lagrangian sub-manifold), while the entries of \(L_1\) are given by the solutions of \(m(m-1)\) linear equations. For example we may take the off-diagonal entries of \(Q_0\) as the coordinates on the Lagrangian sub-manifold. By using the torus action, we can make the following choice for \(Q_0\):
For \(\mathfrak {sl}_2\) we have
and the matrix A(z) takes the following form
If we take into account the outer action of \(SL_2\), the leading term can be chosen in diagonal form and we have
3.5.3 Third order pole: Takiff algebra of degree 2
In this case, the parametrisation in terms of lifted Darboux coordinates is given by
so that the extended phase space dimension is \(6m^2\). The moment map is given by the equations
Here we again use the following change of variables
that maps the Liouville form to
As in the previous case, the first 2 terms are closed differential forms, so we can drop them. The dimension of the reduced phase space equals to \(3m(m-1)=3N\) and we consider the following parametrisation
For simplicity, let us denote
so that \(\Theta = \Theta _1+\Theta _2\). Now if we will find the right parametrisation of \(L_1\), we may choose \(Q_0\) to be a matrix which depends only on \(q_{N/2+1},\ldots q_{3N/2}\) (i.e. again \(Q_0\) depends only on the coordinates of the Lagrangian sub-manifold) and then obtain \(L_2\) by solving a system of linear equations. In the non-degenerate case, when \(\Lambda _2\) is a semi-simple matrix with distinct eigenvalues \(\zeta _i\), we have
and we see that a natural choice of the Darboux coordinates are the off-diagonal entries of \(L_1\), such that
In the case of \(\mathfrak {sl_2}\) we have
Here the diagonal part of \(L_1\) is irrelevant, since it does not contribute to \(\Theta _1,\Theta _2\) and it may be chosen to be zero by the torus action. Solving the linear equations for the Cartan form \(\Theta _2\) we obtain
Here we take in a slightly different form of \(Q_0\) respect to in the previous example for the sake of obtaining a neater final formula. The matrix A(z) takes form
The diagonal gauge gives
Choosing a different parameterisation for \(Q_0\), i.e.
the system takes the form
3.5.4 Fourth order pole: Takiff algebra of degree 3
Here we provide only the result
Remark 13
There is an interesting difference between poles of odd or even order. Indeed, when the order of pole is even \(r+1 = 2k\), then the reduced phase space dimension is divisible by 4, and we have a kind of polarisation. Indeed, for poles of order 2k, the connection can be locally written as
and the matrices \(A_{k},\ldots ,A_{2k-1} \) form a Poisson commuting family whose dimension is half of the total dimension. Therefore they define a Lagrangian sub-manifold in the phase space. We can then assume that these matrices are parameterized by \(Q_0,\ldots ,Q_{k-1},P_k,\ldots P_{2k-1}\) only. This hints at a hidden quaternionic (hyper-Kähler) structure. In the case of poles of odd order, we will still have that \(A_{k+1},\ldots ,A_{2k-1} \) form a Poisson commuting family, but now the dimension of the subspace they define is not of half the dimension of the total space. In this case, we may expect an analog of Sasakian structure.
4 Isomonodromic Deformations
Let us discuss an important consequence of Theorem 8. Suppose we consider a connection on the Riemann sphere with \(n+1\) poles of Poincaré ranks \(r_1,\ldots ,r_n,r_\infty \) and ask about how to deform it by keeping the monodromy data constant. To answer, we have to choose some independent deformation variables and then impose that all other quantities depend on those according to the isomonodromicity condition. When all poles are simple, their positions give us enough independent variables for generic isomonodromic deformations, because the number of the isomonodromic Hamiltonians equals half of the dimension of the space of accessory parameters. When higher order poles are present, their positions don’t give enough independent variables. Theorem 8 allows us to introduce further \(r-1\) independent variables for every singularity of Poincaré rank r, or in other words we have the following:
Corollary 9
The general element in the Takiff algebra co-adjoint orbit \(\widehat{{\mathcal {O}}}^\star _r\) has the form
with
and the coefficients \(A_j\) satisfy the Takiff algebra Poisson bracket (44).
In this paper, we therefore consider the isomonodoromic deformations for the connections of the form
where the deformation parameters are the locations of the poles \(u_1\ldots u_n\) and the coefficients of the Poisson Takiff algebra automorphisms \(t_j^{(i)}\), for \(i=1,\ldots ,n,\infty \) and \(j=1,\ldots ,r_i-1\). The isomonodromic deformation condition means that the matrix differential one from
is a single valued holomorphic one form on \(\mathbb{C}\mathbb{P}^1\setminus \{u_1\ldots u_n\}\). In general, the explicit form of \(\Omega \) may be obtained by studying the local solutions of the Eq. (75) as in the celebrated paper by Jimbo, Miwa and Ueno [41].
In this paper we consider the isomonodromic deformations of the connections (75) as non-autonomous Hamiltonian systems written on a suitable set of co-adjoint orbits. The zero curvature condition splits the isomonodromic equation into two parts: a Lax equation that defines the dynamics on the co-adjoint orbits, and an additional relation between the partial derivative of \(\Omega \) w.r.t. \(\lambda \) and the partial derivative of the connection with respect to deformation parameters
Thanks to this, we may define the coefficients of the one form \(\Omega \) through the following formula:
The matrix \(\Omega ^{(i)}_j\) is defined up to the addition of a matrix which does not depend on \(\lambda \). Different choices of the gauge result in different constant terms we will see how to fix this constant term in the examples Sect. 5.5.
As mentioned before, the deformation parameters \(t_1^{(i)},\ldots t_{r_i}^{(i)}\), \(i=1,\ldots ,n,\infty \) appear as the result of confluence and may be seen as avatars of the Schlesinger system deformation parameters we start with. If we consider the divisor of singularities (where we denote \(\infty \) by \(u_{n+1}\))
we see that the total number of deformation parameters we introduce is given via the degree of such divisor, i.e.
In this paper, the idea is that the number of deformation parameters doesn’t change during the confluence procedure, or, in other words, the degree d is fixed.
Here, we want to answer an important question raised by Bertola and Harnad: what is the relation between our deformation parameters and the Jimbo–Miwa–Ueno ones? In [41], the number of deformation parameters depends on the degree of the singularity divisor as well as on the rank of the connection. The number of Jimbo-Miwa deformation parameters is not preserved during the confluence cascade. Each coalescence leads to the appearance of additional \(m-2\) parameters, where m is the rank of isomonodromic problem. Here we refer to the rank of a Lie algebra as the dimension of any of its Cartan subalgebras \({\mathfrak {h}}\). Obviously in the case of \(\mathfrak {sl}_2\) connection, this number equals to zero and the number of Jimbo–Miwa–Ueno deformation parameters coincides with ours.
Let’s dwell on the \(\mathfrak {sl}_2\) case in more detail to explain the relation between our parameters and the ones by Jimbo–Miwa–Ueno. Consider a connection with a pole at u of Poincaré rank r, i.e.
where \(z=\lambda - u\) is the local coordinate and the matrices \(B_k\) are linear combinations of the bare co-adjoint orbit coordinates \(A_j\) and contain our deformation parameters as specified in formula (10).
The Jimbo–Miwa–Ueno deformation parameters \(w_j\) are the exponents of asymptotic behaviour of the formal solution at the irregular pole:
These \(w_j\) can in fact be seen as the spectral invariants associated to the matrices \(B_k\). Thanks to this fact, in the case of \(\mathfrak {sl}_2\) there is a rational map which sends the Jimbo–Miwa–Ueno deformation parameters to ours. To obtain this map explicitly, we diagonalise at the pole \(\lambda = u\) and obtain the following correspondence between Jimbo–Miwa–Ueno deformation parameters \(w_i\) and our \(t_j\) via
Here the \(\theta _i\)’s are the spectral invariants of the matrices \(A_j\), so we separate the non-autonomous part (dependence on deformation parameters) from the spectral invariants that determine the symplectic leaf in the phase space. Roughly speaking, this map is a map between 2 phase spaces
which is not bi-rational—starting from the irregular point of Poincaré rank 2 we have to deal with square roots if when we write \(t_1\ldots t_r\) via Jimbo-Miwa parameters \(w_j\)’s.
For higher rank, we may think about our times as a special sub-family of the Jimbo–Miwa–Ueno isomonodromic deformations. The local solution writes as
and \(w^{(j)}_k\) are the Jimbo–Miwa–Ueno deformation parameters. Then our deformation parameters are given by the following special trajectory
and may be considered as the deformation along a projective line in a space of Jimbo–Miwa–Ueno parameters.
In the next section we will see how the general form (75) of the isomonodromic problem with irregular singularities naturally arises during the confluence procedure.
5 Confluence Procedure
5.1 Coalescence of two simple poles
Without loss of generality, we consider confluence of \(u_n:=v_1\) and \(u_{n-1}:=w\), which is given by the following change of deformation parameters
Taking the limit \(\varepsilon \rightarrow 0\) the deformation parameter \(v_1\) tends to w, this is what is meant by coalescence. We rewrite matrix \(A(\lambda )\) as
where B and C are introduced as a convenient notation to avoid too many indices. We want to assume some \(\varepsilon \) expansions for the matrices B and C in order that the limit of \(A(\lambda ) \) as \(\varepsilon \mapsto 0\) is well defined and the resulting system has a double pole at w. To this end, observe that by rewriting the last two terms in \(A(\lambda )\) as
and expanding \(\left( 1-\frac{\varepsilon t_1}{\lambda - w}\right) ^{-1} \) in \(\varepsilon \) we obtain
In order to produce a second order pole, we need the following two limits to be finite:
Assuming that \(A^{(i)}\)’s, B and C may be expanded in the Laurent series in \(\varepsilon \) we obtain expansions
Note that we have called these limits \( A_0^{(n-1)}\) and \(A_1^{(n-1)} \) respectively to adhere to the notation of section 3.
Under these hypotheses, we can take the limit as \(\varepsilon \rightarrow 0\) and define
Remark 14
Observe that the number of deformation parameters has not changed after the confluence, \(n-1\) of them have remained as positions of poles, but one of them has become part of the leading term at the second order pole—this is compatible with Theorem 8. Indeed, in the next Proposition 10 we will prove that the matrices \({A}_1^{(n-1)}\) and \({{A}^{(n-1)}_0}\) satisfy the Takiff algebra Poisson brackets. We will see that as we increase the Poincaré rank of the poles in the confluence procedure, more and more deformation parameters will appear in the numerators of pole expansions exactly in the way predicted by Theorem 8.
Now let us focus on the deformation equations. The change of variables (78) transforms the deformation 1-form (23) to
Applying the expansion (79), we obtain
The deformation 1-form \({{\tilde{\Omega }}}\) satisfies equation (77) with \({{\tilde{A}}}\) in place of A.
Definition 2
We call the process of taking the expansions (79) and the limits (80), (81), 1\(+\)1 confluence procedure.
The the connection A and the deformation one form \(\Omega \) are linear in \(A^{(i)}\)’s so the \(O(\varepsilon )\) terms vanish during the limiting procedure. Since the Poisson structure and the Schlesinger Hamiltonians are quadratic structures the limiting procedure becomes more complicated. Now we explain how to tackle their confluence.
Proposition 10
The 1\(+\)1 confluence procedure gives a Poisson morphism between the direct product of the co-adjoint orbits to the Lie algebra and the co-adjoint orbit of the Takiff algebra:
Namely, if the matrices \(A^{(i)},B,C\) satisfy the standard Lie–Poisson brackets (25), then the matrices \({{\tilde{A}}}^{(i)},{A}^{(n-1)}_0,{A}^{(n-1)}_1\) satisfy the Poisson algebra of the coefficients for the Takiff algebra (44), i.e.
Proof
The Poisson structure (82) for the coefficients of the connection near the irregular singularity coincides with the standard Lie-Poisson bracket (44) for the co-adjoint orbit \(\tilde{\mathcal {O}}_2^{\star }\) of the Takiff algebra \({\mathfrak {g}}_2 \backsimeq {\mathfrak {g}}[z]/(z^2{\mathfrak {g}}[z])\), where \( {\mathfrak {g}}[z]\) is a Lie algebra of the polynomials with coefficients in \({\mathfrak {g}}\). Therefore, we need to prove that (82) arises as the \(1+1\) confluence from the standard Lie-Poisson bracket on \(\mathcal {O}^{\star }_{n-1}\times \mathcal {O}^{\star }_n\). The first row relations are straightforward and we omit the proof. To prove the relations in the second row of (82), let us consider the Poisson relations (25) for B and C
Inserting the expansion (79) and expanding the Poisson relations in \(\varepsilon \), we obtain
Collecting different terms in \(\varepsilon \), we obtain
The term of order \(\varepsilon ^{-2}\) in (83) proves the first relation in the second row of (82). Let us prove the second relation. Take the \(1/\varepsilon \) term
and put it in the Poisson relation between \( {A}^{(n-1)}_1\) and \(C_0\). We get
which proves the second relation. Now let us compute the last Poisson bracket
Using the \(\varepsilon ^{0}\)-terms from (83) for \(\left\{ C_{0,\alpha },C_{0,\beta }\right\} \) and \(\left\{ B_{0,\alpha },B_{0,\beta }\right\} \), we obtain
The last \(\varepsilon ^{0}\)-term in (83) leads to the following relations
which cancel all terms in the right-hand side of (90) except the first term, so we obtain
which concludes the proof. \(\square \)
Observe that the relations (83) contain more information than we need, and that one could actually try to come up with a Poisson algebra involving all coefficients \(B_k\), \(C_k\) in the expansion (79). However we are only interested in the Poisson subalgebra generated by \({A}^{(n-1)}_1\), \({A}^{(n-1)}_0=C_0+B_0\) and \({{\tilde{A}}}^{(i)}\) for \(i=1,\ldots ,n-2\). The main feature of this subalgebra is that it does not depend on a choice of a Poisson algebra for the coefficients \(B_k\) and \(C_k\) for \(k>1\). We call this sub-algebra Isomonodromic Poisson Algebra (IPA), since these are the only elements which survive in the isomonodromic problem after the confluence procedure.
Proposition 11
The \(1+1\) confluence procedure produces the isomonodromic Hamiltonians giving the zero curvature condition
as equation of motion.
Proof
To prove this, we start from the extended symplectic form for the Schlesinger equations:
Here \(\omega _{\mathrm {\tiny {KKS}}}\) is the symplectic form which corresponds to the standard Lie–Poisson structure on the direct product of the co-adjoint orbits. Thanks to Proposition 10, the standard Lie–Poisson bracket tends to the Takiff algebra Poisson bracket, therefore \(\omega _{\mathrm {\tiny {KKS}}}\) tends to the corresponding symplectic form. Let us concentrate on the \( \sum \limits _{i=1}^n{\text {d}} u_i \wedge {\text {d}} H_i\) part. This part transforms to
Since we are working on a symplectic leaf of the standard Lie–Poisson bracket, the central elements, or Casimirs, can be considered as fixed scalars, i.e. the differential \({\text {d}}\) acts on them as a zero. To find the Hamiltonians of the confluent dynamic we have to calculate the limit of the "time-dependent" part of the symplectic structure as \(\varepsilon \) goes to zero. In other words, we have to find
To compute these limits, we can treat the Hamiltonians up to addition of Casimirs. This allows us to use the Casimirs to regularise parts of the Hamiltonains that are singular in \(\varepsilon \). Therefore all \(=\) signs in the rest of the proof are intended as equal up to Casimirs. For \(i<n-2\) we have
for \(i=n-1\) we have
For \(i=n\)
Substituting coalescence expansions we get
The last term in (94) contains terms of order \(1/\varepsilon \) and \(1/\varepsilon ^2\). :
The \(1/\varepsilon ^2\) term is a Casimir of the Poisson structure, so we may drop it.
Let us show that also the \(1/\varepsilon \)-term is a Casimir and that, after eliminating the Casimirs, \(\epsilon H_n\rightarrow {{\tilde{H}}}_n+O(\varepsilon )\) where
To see this, let us remind that the Casimirs of the Poisson algebra in the Fuchsian case are \(\mathrm{Tr\,} \left( A^{(i)}\right) ^k\), so the function
differs from the last term of (94)
by a Casimir. Since the Hamiltonians are defined up to the addition of a Casimir, we obtain
Taking the limit as \(\varepsilon \rightarrow 0\) we obtain the Hamiltonian (95). \(\square \)
5.2 Irregular singularities arising as confluence cascades.
In this section we consider an irregular singularity of arbitrary Poincaré rank r as the result of the confluence cascade of r simple poles \(v_1,v_2\ldots v_r\) with some chosen simple pole u. At the first step, we send \(v_1\) to u and create second order pole as in the previous subsection. Then we do the same for \(v_2\)—we collide it with the second order pole at u and create a pole of order 3. In such a way, we continue this procedure, so at the l-th step we collide the simple pole \(v_l\) with the pole of order l at u to create a new pole of order \(l+1\). Finally, a the final r-th step, we obtain a pole of order \(r+1\), i.e. of Poincaré rank r. During this procedure, the poles \(v_l\)’s that disappear give rise to deformation parameters \(t_l\)’s for the irregular isomonodromic problemFootnote 4. These deformation parameters appear explicitly in the coefficients of the local expansion of the connection near the singularity u. In the sub-section 4.2.1, we prove Theorem 2 that tells us that this dependence is the one described in Corollary 9. Before attacking that proof, let us formalise the definition of confluence:
Definition 3
The limiting procedure described in the hypotheses of Theorem 2 is called \(r+1\) confluence.
Observe that as a result of the \(1+1\) confluence in subsection 4.1 we obtain a connection of the form (12) with \(r=2\). We can then apply the \(1+2\) confluence to this and again obtain a connection of the form (12) with \(r=3\) and so on. Therefore we can give the following recursive definition:
Definition 4
The procedure of applying Theorem 2 recursively r times is called confluence cascade of \(r+1\) simple poles on the Riemann sphere.
As mentioned at the beginning of this section, the inductive hypothesis on the local form of the connection (12) is not restrictive. Indeed, we expect the local form of a connection with a pole of order r at u to be given by an element in the Takiff algebra co-adjoint orbit \(\widehat{{\mathcal {O}}}_r^\star \) with some spectral parameter \(z=\lambda -u\). However, if we want to keep the number of independent variables to be maximal, we need to introduce some extra variables \(t_i\) by hand in such a way that they can be treated as independent variables. In Corollary 9, we proved that the only way to do this is by taking precisely the form (12). Therefore, Theorem 2 is equivalent to the following result:
Theorem 12
Assume that u is a singularity of Poincaré rank r obtained by the confluence of \(r+1\) simple poles. Then the coefficients of the local expansion in a disk around u
take the form
where
and \(B_i^{[j]}\)’s hold the following Poisson relations
where \(\chi _{\alpha \beta }^{\gamma }\) are the structure constants of the corresponding Lie algebra.
We want to underline here that the Poisson structure (96) gives rise to the Takiff co-algebra Poisson structure on the coefficients of the local expansion, i.e
However, in formula (97) the dependence on the deformation parameters is implicit, while (96) contains information about the explicit dependence on the variables \(t_i\)’s.
To motivate the formulae appearing in the statement of this theorem, before proving it, we introduce some preliminaries on the confluence procedure and on the algebraic structures that appear during coalescence.
5.2.1 The algebra of the weighted monomials and associated polynomials.
The aim of this subsection is to collect some useful algebraic relations involving the coefficients \(t_1,\ldots ,t_r\) that arise during the confluence procedure and describe the general elements of the Takiff co-algebra with respect to the Poisson automorphisms.
In order to prove Theorem 2, in the neighborhood of a simple pole \(v_r\) with a pole w of Poincaré rank r we take the following expansion
The powers of the polynomial \(P_r(t,\varepsilon )\) play a significant role since they appear in the following expansion
Each power of \(P_r(t,\varepsilon )\) may be seen as a polynomial in \(\varepsilon \) with coefficients in \({\mathbb {C}}[t_1,t_2\ldots t_r]\)
Because the aim of the confluence is to create a pole of Poinceré rank \(r+1\), we need the coefficeints \((\lambda -w)^{-r-2}\) to survive, therefore, we have to require C to be a Laurent polynomial in \(\varepsilon \) starting from the power \(-r\). Taking this fact into account, it is important to understand how each power of \(P_r(t,\varepsilon )\) expands via \(\varepsilon \)
where
The following simple Lemma calculates an explicit formula for \(\mathcal {M}^{(r)}_{i,j}(t_1,\ldots t_{r})\) and gives some useful identites.
Lemma 9
\(\mathcal {M}^{(r)}_{i,k}\) is a homogeneous polynomial in \(t_1\ldots t_r\) of degree i for any k given by
The polynomials \(\mathcal {M}^{(r)}_{i,k}\) satisfy the following identities
and
Note that the function \(w(\alpha )\), that we call weight, can be calculated by the following formula
The weights are elements in the semi-group of homomorphism from the semi-group of monomials in the variables \(t_1,\ldots t_r\) to the \(({\mathbb {Z}}_{\ge 0}, +)\), in fact:
Remark 15
Instead of considering the polynomials \(P_r(t_1,\ldots t_r)\), we might consider the formal power series
and truncate all expansions at \(\varepsilon ^{r+1}\). The result will be the same, but such approach probably clarifies the recursive nature of the confluence procedure. In similar way, the upper triangular matrix \(\mathcal {M}^{(r)}\) with entries \(\mathcal {M}^{(r)}_{i,k}\) given in (11) can be considered as as a sub-matrix of size \(r\times r\) in the upper left corner of some infinite dimensional upper triangular “master" matrix \(\mathcal {M}^{(\infty )}\) with entries given by
5.2.2 Proof of the Theorems 12 and 2
We proceed by induction. Here we will start with the proof of the explicit dependence of the local expansion on \(t_i\)’s and then we will handle the Poisson structure.
The statement of the theorem is true for \(r=0,1\), i.e. the Fuchsian case and the case of a pole of order 2. This was proven in subsection 4.1. Now let the statement be true for the irregular singularity of Poincaré rank \(r-1\). Adding another simple pole \(v_r\), we consider the following connection
where the dots denote regular terms in \((\lambda - w)\) and \((\lambda - v_1)\), with the following behaviour of \(v_r\)
Expanding A with respect to \(\varepsilon \) at r’th order we obtain
Using the formula (98), the coefficients \(B_i\) expand via polynomials \(\mathcal {M}^{(r)}_{i,j}\) giving the following
Since the confluence procedure requires the existence of the limit \(\varepsilon \rightarrow 0\), the negative powers of \(\varepsilon \) should vanish, so we obtain the expansions for the coefficients \(A^{(r)}_j\) in the form
Using these expansions and taking the \(\varepsilon \rightarrow 0\) limit, we obtain
where \({\tilde{B}}_i\)’s are given by (15), which finishes the proof of the first part of the theorem.
Now we prove that the Poisson structure for the coefficient of the local expansion of the connection near an irregular singularity, which arises after confluence procedure is the Poisson structure given by (96).
Again we use induction. The statement is obvious in case when \(r=0\), and we have previously proved that it holds for \(r=1\). Using the previous results we consider the same coalescence
where \({\tilde{B}}_i\) is given by (15). The expansions take the same form
In order to get rid of the indices let us use the following notation
In the case when the indices on the right hand sides are out of bound we assume that the values are zero. The Poisson relations are
and the expansions are
Due to the confluence formula we want to prove that the following Poisson relation holds
Taking the corresponding \(\varepsilon \)-terms of the expansions of the Poisson relations we get
Finally, taking the sum of the relations in (107) we get the desired Poisson structure
5.3 Confluent Hamiltonians
As we saw in Sect. 4.1, in the case of the \(1+1\) confluence, the confluent Hamiltonians can be obtained as the limits of some functions on a phase space—linear combinations of the initial Hamiltonians with coefficients depending on a small parameter \(\varepsilon \). Moreover the procedure of taking such limit requires the introduction of some shifts by Casimirs, since the Hamiltonians are defined up to Casimir element of the Poisson algebra. Such Casimir normalisation may be exploited in the case of the confluence for the higher order poles, however, this procedure becomes very heavy. In this section, we calculate these limits using residue calculus. Let us start by explaining these limits of the Hamiltonians in the \(1+1\) confluence procedure; we want to calculate limits in (91):
The Fuchsian Hamiltonians (27) can be written in the following form
where \(\Gamma _{u_i}\) is a contour that contains no singularities except \(u_i\). Since the matrix A admits a finite limit as \(\varepsilon \rightarrow 0\), the integrand has a finite limit. When \(u_i\not = v_1, u\), we can always deform \(\Gamma _{u_i}\) in such a way that the coalescence of \(v_1\) and u does not affect the contour of integration. This allows us to switch the limit and the integration operations, which gives the formula for the confluent Hamiltonian
Let us now deal with the limit of \(H_w+H_1\). Because both contours \(\Gamma _w\) and \(\Gamma _1\) will depend on \(\varepsilon \), we cannot calculate the limits of \(H_w\) and \(H_1\) separately. However, we can calculate the limit of the sum due to
where the last equality holds since the integrands in both integrals are the same and \(\Gamma _{u} \cup \Gamma _{v_1}\) denotes the contour obtained by merging \(\Gamma _{u} \) and \(\Gamma _{1}\) as illustrated in Fig. 2. Such contour may be deformed to the contour \({\tilde{\Gamma }}_{u}\), such that the coalescent singularities are located inside this contour and the confluence doesn’t affect the contour itself. Using the same arguments as before we obtain that
In order to obtain \({\tilde{H}}_{1}\) we consider the following sum of Casimirs
which may be put to zero since the Hamiltonians are defined up to Casimirs. Expanding \(v_1\) in \(\varepsilon \) we obtain
The relation written above finally gives us
Let us now add one more simple pole to w using the confluence, by a similar computation as above, we obtain the following isomonodromic Hamiltonians
The form of the Hamiltonians for \(t_1\) and \(t_2\) looks quite bizarre, but we may obtain them by solving the following linear system
Here \(\mathcal {M}^{(2)}\) is a matrix which entries were already introduced in (11).
We now prove Theorem 3:
Theorem 13
Let u be a pole of a connection A with Poincaré rank r, which is the result of confluence of r simple poles with the simple pole u. Then the confluent Hamiltonians \(H_1,\ldots ,H_{r}\) which correspond to the times \(t_1,\ldots t_r\) are defined as follows:
where
are spectral invariants of order i in u and the matrix \(\mathcal {M}^{(r)}\) has entries \(\mathcal {M}^{(r)}_{k,j}\) given by (11). The Hamiltonian \(H_u\) corresponding to the time u is instead given by the standard formula
Proof
We use induction to prove this theorem. We already showed that the statement holds for \(r=2\) and it is trivial in case when \(r=1\). Now we want to prove that if the statement of the theorem holds for rank r it is also true for rank \(r+1\). The confluence expansion
sends the extended symplectic form
(where the terms that are not changed in the confluence procedure are omitted), to
that must be equal to
Therefore, we must find the limits
The first limit is quite simple and may be obtained via the union of contours which we already described before. To find the other limits, let us consider the relation
expanding \(v_{n+1}\), we obtain
where \(\phi (\lambda )\) is a holomorphic function inside \(\Gamma _{r+1}\) which is given by
Since \(\phi (\lambda )\) has no zeros at \(v_{r+1}\) we have
Finally, we obtain the following identity:
In the case \(i=r+1\), \(S^{(u)}_{r+1}\) is a Casimir due to the formula (51), therefore we have
The left hand side of this identity has a finite limit when \(\varepsilon \) goes to 0. Indeed, since the contour contains both u and \(v_{r+1}\) the confluence procedure doesn’t affect it and the only dependence in \(\varepsilon \) is in A. According to Theorem 2, A has a finite limit, the same has \(\mathrm{Tr\,} A^2\), so we have that
where \({\tilde{S}}^{(u)}_{r+1}\) is a spectral invariant of the confluent system with connection \({\tilde{A}}\). Since after the confluence, the order of pole increases to \(r+2\), such spectral invariant is not a Casimir for the confluent system. This means, that the limit of \(P_{r+1}(t,\varepsilon )^{r+1}H_{r+1}\) up to Casimirs exists and equals to \( {\tilde{S}}^{(u)}_{r+1}\). On the other hand we have
and since the limit exists up to Casimirs we get that
so in principle \(H_{r+1}\) may have terms of lower order than \(1/\varepsilon ^{r+1}\), but these terms have to be Casimirs. Considering the relations (116) for \(i=1\ldots r+1\) as a linear system, we obtain
where
Note that the contours in the definition of \({\tilde{S}}_i\) are not affected by the confluence procedure. Using the same arguments as above, we compute the limits of these integrals, which are
where \({\tilde{S}}^{(u)}_{i}\) denote the spectral invariants of the confluent system with connection \({\tilde{A}}\).
The crucial point here is that the matrix \(\mathcal {M}^{(r+1)}\) contains \(\mathcal {M}^{(r)}\) as \(r+1,r+1\) minor, i.e.
Now let us consider the following matrix
and let us act via \(\mathcal {C}\) on the equation (117) from the left. Then we obtain
In this way we have arranged the entries of equation (117) in such a way that the left hand side has a nice limit as \(\varepsilon \) goes to zero (the confluence of points is inside the contour of integration for \({\tilde{S}}_i\)). On the right hand side we have the functions whose limits we want to find. Finally, multiplying by \(\mathcal {C}^{-1}\) from the left we obtain
which concludes the proof. \(\square \)
Remark 16
The matrix \(\mathcal {M}^{(r)}\) is automatically upper triangular matrix, so it is quite easy to solve such a system for any reasonable n.
We may consider Hamiltonians which are related to poles locations as spectral invariants \(S^{(u)}_0\). Then it is easy to extend formula from (16) as follows
5.4 Examples of Hamiltonians
In order to see all the features of the obtained Hamiltonians, we consider a connection with 3 simple poles at 0, 1 and \(\infty \), and one irregular singularity at some point u. The simplest example is
The explicit formulas for the Hamiltonians are
In the lifted Darboux coordinates, the Hamiltonians take the form
Using the lifted Darboux coordinates, it is a straightforward computation to check that the Hamiltonians Poisson commute, moreover we may check that the cross-derivative w.r.t. u and \(t_1\) is zero, i.e.
which tells us that the \(\tau \)-function
is defined correctly. If we go further and consider a pole of Poincaré rank 2 at u, the matrix \(A(\lambda )\) takes form
Then, the Hamiltonians write as
As in the previous example, the cross-derivatives are zero
so the \(\tau \)-function is defined correctly.
In the case of \(\mathfrak {sl}_2\), the isomonodromic deformations of (118) correspond to the confluence of the two-time Garnier system and belong to the list of the so-called fourth-order Painlevé equations introduced in [45, 46]. The second example (123) is more complicated—the Hamiltonian reduction gives a Hamiltonian system with 3 degrees of freedom, which corresponds to a sixth order Painlevé equation.
5.5 Confluencing higher order poles
The confluence of two poles \(w_1\) and \(w_2\) of Poincaré rank \(r_1\) and \(r_2\) respectively can be treated a the confluence of \(r_1+r_2+2\) simple poles. Indeed, we have seen at the beginning of section 5.2 that the generic connection with a Poincaré rank r singularity can be obtained as confluence of \(r+1\) simple poles. Therefore, a connection with two poles \(w_1\) and \(w_2\) of Poincaré rank \(r_1\) and \(r_2\) respectively is obtained by coalescing \(r_1+1\) and \(r_2+1\) simple poles.
6 The Non-ramified Painlevé Equations
6.1 General scheme
The confluence diagram of the Darboux parametrisations in the case of rank 2 non-ramified connections with 4 points is given at Fig. 3. We start by illustrating the general scheme of reduction which works for any rank.
The Hamiltonians of the isomonodromic problem with irregular singularities of Poincaré rank \(r_i\) at a point \(u_i\) admit additional symmetries with respect to the inner action (choice of the spectral invariants at each singularity) and outer action (gauge group action). Using the Darboux parametrisation of the co-adjoint orbit for the \(\mathfrak {sl}_2\)-Takiff algebras, we automatically fix the spectral invariants, i.e. reduce with respect to the inner action. The only symmetry which still needs to be taken into account is the gauge freedom which leads to the fully reduced phase space. In all the examples of this section, we write down the Darboux coordinates by immediately diagonalizing the leading terms at one of the irregular singularities. Therefore, the number of the intermediate coordinates in all examples is 4 and not 6 (because we have eliminated 2 coordinates by diagonalisation). Such coordinates are in correspondence with the Darboux coordinates which were used in [33]. In order to reduce to the smallest dimension of the system (namely 2), we have to reduce with respect to the stabilizer action, which in all examples is equivalent to the additional action of the Cartan torus, since we consider only the unramified situation, which corresponds to the case when Katz index is an integer. The ramified situation will be considered in the next work of the first author.
6.2 Painlevé V
The isomonodromic problem takes the form
the deformation equations are
The Poisson algebra is given by
the isomonodromic Hamiltonian writes as
In the \(\mathfrak {sl}_2\) case, the Darboux parametrisation of the elements of the coadjoint orbit takes the form
with the symplectic form
Using the gauge freedom, we set the constant matrix \(B_1\) to be diagonal:
In such a parametrisation, the Hamiltonian takes form
This Hamiltonian is invariant under the following rescaling
which is the same as the gauge SL(2) action via diagonal matrix. The moment map is
The change of coordinates
is a canonical transformation. Resolving it with respect to the q’s and p’s we obtain
and the symplectic form goes to
The Hamiltonian in these coordinates writes as
and it is obvious that I and \(\varphi \) are the part of the action-angle variables, so we may decrease the number of degrees of freedom by 1 and consider the following Hamiltonian system
The equations of motion take form
Writing second order ODE for u we obtain
which is the Gambier’s form of the Painlevé V equations and the constants are given by
The following canonical transformation
sends H to the following form
which was introduced in [43]. The example of the Painlevé V equation as a system written on the co-adjoint orbits of the Takiff algebra was recently studied by [42] in more details.
6.3 Painlevé IV
The connection is
and the deformation one-form is
The deformation equations are
The Poisson structure is
the Hamiltonian writes as
Since \(B_3\) is a constant of motion, the same holds for the transition matrix to the eigenbasis of \(B_3\). This allows us to consider the gauge, which is equal to this transition matrix without changing the Poisson structure of \(A^{(t)}\). In the case of \(\mathfrak {sl_2}\) we have
The Hamiltonian writes as
Since \(B_3\) is a diagonal matrix (has no Jordan blocks) the stabilizer is the Cartan torus of \(SL_2\),i.e.
The additional action of the stabilizer of \(B_3\) leads to the following action on the reduced phase space
which is Hamiltonian with the following moment map
Using the symplectic change of coordinates
and fixing the level set of moment map \(I=I_0={\text {const}}\) we reduce to the system with one degree of freedom
Finally, using the change of variables
sends Hamiltonian to the Okamoto form of \(P_{{\text {IV}}}\)
Taking
we obtain the \(P_{{\text {IV}}}\) Hamiltonian
6.4 Painlevé III
The connection takes form
with deformation one-form
the Poisson algebra is
the Hamiltonian is given by
In the case of \(\mathfrak {sl}_2\), choosing the gauge such that C is diagonal, we have the following Darboux parametrisation
the Hamiltonian writes as
The action of the stabilizer of C gives the following integral of motion
In order to reduce the number of degrees of freedom, we use the change of variables
which leads to the following Hamiltonian
where \(I_0\) is given value of the first integral I. The obtained Hamiltonian corresponds to the Painlevé III equation of type \(D_6\) after some choice of constants. To obtain further degenerations to \(D_7\) and \(D_8\) we have to consider nilpotent orbits.
6.5 Painlevé II. Jimbo-Miwa
The connection takes form
The deformation one form is
The deformation equations are
The Poisson structure is given by
The Hamiltonian takes the form
where we drop the term \(\mathrm{Tr\,} B_3^2\) because it is a Casimir. Since we assume that for Painlevé II there is no singularity at \(\infty \), the value of the gauge group moment map should be put to zero, i.e.
Such reduction has to be viewed as a Hamiltonian reduction written on the co-adjoint orbit of the Takiff algebra \(\hat{{\mathfrak {g}}}_3\), so we have to change not only the Hamiltonian, but also the Poisson structure. However, usually the second Painlevé equation isomonodromic problem writes in a chart where the only singularity is at \(\infty \). In this case, the connection takes form
Here we already resolved the gauge group moment map, by setting the residue at \(\infty \) to be zero. The deformation one-form then my be written as
The deformation equations are
The deformation equations are Hamiltonian, with Hamiltonian written as
To obtain the Painlevé II equation, we consider the \(\mathfrak {sl}_2\) case. the Darboux parametrisation is given by
The Hamiltonian takes form
The action of stabilizer of \(B_4\) gives us the moment map
which gives us the following change of variables \((p_3,p_4,q_3,q_4)\rightarrow (I,v,\phi ,u)\)
The Hamiltonian then writes as
The change of variable
gives us
which is the Hamiltonian of \(P_{34}\) equation, which is equivalent to Painlevé II in case when \(I=0\).
Remark 17
The isomonodromic problem with connection matrix (149) corresponds to the non-autonomous version of the famous Nahm top which first appeared in [54]. Treating the variable t as a constant, we obtain an integrable system with Lax matrix (149) which is gauge equivalent to the Lax matrix for the Nahm equation. This gives the explicit Hamiltonian formulation of the Nahm equation in terms of the coadjoint orbits of the Takiff algebras. This should coincide with the Hamiltonian formalism for the Nahm equations introduced in [59].
7 Quantisation
In this section we give a general formula for the confluent KZ equations with singularities of arbitrary Poincaré rank in any dimension. Moreover, we use the lifted Darboux coordinates in order to generalise an observation by Reshetikhin that the quasiclassical solution of the standard KZ equations (i.e. with simple poles) is expressed via the isomonodromic \(\tau \)-function [58]. Here we propose an easy proof which is valid for any configuration of the points of the divisor on the Riemann sphere. Firstly we review Reshetikhin’s approach for the quantum isomonodromic problems and then produce our proof which is based on the generalisation of an observation by Malgrange [50].
Throughout this section, we work with the canonical quantisation of the linear Poisson brackets that prescribes the standard correspondence principle
where the symbol \(\widehat{}\) denotes the quantum operator, i.e. \({\widehat{f}}\) is the quantum operator corresponding to the classical function f, and \(\hbar \) is a formal deformation parameter. More accurately, one can speak about the so-called Rees deformation that assigns to a filtered vector space \(R=\cup _{i} R_i\) a canonical deformation of its associated graded algebra \(\textrm{gr}(R)\) over the affine line \(\mathbb A_1\) considered as the spectrum \(\textrm{Spec}(\mathbb C[\hbar ])\) of the polynomials \(\mathbb C[\hbar ]\). The fiber at the point \(\hbar \) is isomorphic to R if \(\hbar \ne 0\) and to \(\textrm{gr}(R)\) for \(\hbar = 0\). The corresponding \(\mathbb C[\hbar ]\)-module here is the direct sum \(\oplus _i R_i\) on which \(\hbar \) acts by mapping each \(R_i\) to \(R_{i+1}\) [24]. In our case the Rees construction gives a one-parameter family of algebras \(U_{\hbar }({\mathfrak {g}})\), with the associated graded algebra \(U_{0}({\mathfrak {g}})\) being the symmetric algebra \(S({\mathfrak {g}})\). The \(\hbar \) deformation re-scales the bracket by \(\hbar \), so that the \(\hbar \) linear terms define the standard Poisson bracket on \(S({\mathfrak {g}})\).
7.1 Finite-dimensional representation
In this sub-section, we recall the basic ideas at the basis of Reshetikhin’s approach to quantum isomonodromic problems for Fuchsian systems and then adapt it to the irregular case. We fix \(\hbar =1\) for simplicity.
In the case of Fuchsian systems, we are dealing with the canonical quantisation of the direct product of the co-algebras \({\mathfrak {g}}^{\star }\). The quantisation functor sends the functions on the phase space of the classical system to the differential operators which act on some Hilbert space in a way that (152) holds. In principle, a choice of finite dimensional representation may be seen as a choice of the special subspace of the Hilbert space of functions on which the algebra of quantum operators acts. However, we may avoid such complicated construction of finite dimensional representation when the classical Poisson algebra is given by a linear Poisson bracket. Indeed, for \({\mathfrak {g}}^{\star }\), the standard Lie–Poisson bracket endows the space of functions with the structure of a Lie algebra so that the structure constants of this Poisson algebra are identified with the structure constants of the Lie algebra \({\mathfrak {g}}\).
In general, the quantisation procedure for the phase space of the Fuchsian system may be viewed as a map from
to the differential operators which act on the tensor product of Hilbert spaces \(\mathcal {H}_i\):
However, the isomonodromic nature of the Hamiltonian systems we consider gives additional information which may be used to define a quantum problem in a uniform way. Following [40], we quantise the connection that becomes the generating function for the quantum Hamiltonians. Considering the connection as a matrix whose entries are functions on \({\mathfrak {g}}^{\star }\times {\mathfrak {g}}^{\star }\times \cdots \times {\mathfrak {g}}^{\star }\), we obtain the following quantisation for the Fuchsian case:
where each \(e^{(i)}_{\alpha }\), \(i=1,\ldots ,n\) is a basis of the representation we choose for the quantisation and the first \(e_\alpha ^{(0)}\) corresponds to the auxiliary space \({\mathcal {H}}_0\) given by the connection. The Schlesinger Hamiltonians then transform to
where \(\mathrm{Tr\,}^{(0)}\) is the trace in the auxiliary space \(\mathcal {H}_0\). The quantum Schlesinger Hamiltonians \( {\hat{H}}_i \) are the solutions for the classical Yang-Baxter equations and may be written as
where \(r_{ij}\) is a solution of the classical Yang-Baxter equation
The corresponding set of Schrödinger equations are called Knizhnik–Zamolodchikov equations and take form
Moreover, the Knizhnik–Zamolodchikov operators commute, i.e.
Reproducing the same scheme for the Takiff co-algebras, we obtain the quantisation map that acts by replacing the co-algebra with the Lie algebra
The quantum connection then takes the form
where \({\hat{B}}^{(i)}\)’s are given by
The Hamiltonians which correspond to the position of poles are given as in the Fuchsian case, i.e.
where \(\mathrm{Tr\,}_0\) is the trace in the 0-th space, so we now have to choose a quantum ordering, for example lexigraphical ordering. The irregular Hamiltonians have to be calculated according to the Theorem 3 at each irregular singularity changing \(\mathrm{Tr\,}\) by \(\mathrm{Tr\,}_0\). Again we will choose a quantum ordering. Thus, we obtain that the irregular Hamiltonians are given by
at the point \(u_i\) with the Poincare rank \(r_i\). To prove Theorem 4 we need to show that the confluent KZ gives a quantum integrable system, namely that the differential operators defined in (18), (19)
commute. This is a simple consequence of the fact that in the quantisation process the derivatives remain commutative, i.e. for example \([\frac{\partial }{\partial u_j},\frac{\partial }{\partial t^{(i)}_k}]=0\), and that the quantum Hamiltonians are linear combinations of the quantum Gaudin spectral invariants \({\hat{S}}^{(u_i)}_k\), \(k=0,\ldots ,r_i\), which commute as proved in [52].
We have to mention that for the Fuchsian times the isomonodromic Hamiltonian depends on each phase space \({\mathfrak {g}}_{r_i}\) linearly—which means that it may be written as
In the case of irregular poles, the Hamiltonians become more complicated—there are quadratic terms which contain elements from the same space and in general we have that
The problem of calculating the explicit form of the Hamiltonians introduced in this paper involves the representation theory of \(U({\hat{g}}_{r_i})\), that is rather complicated. In order to avoid this representational theoretic problems, we write down the quantum Hamiltonians for the irregular isomonodromic deformations using the intermediate Darboux coordinates. We deal with the classical examples of the Painlevé equations in the next section, where we provide invariant subspaces for these Hamiltonians. These subspaces give finite dimensional representations for the Hamiltonians which are the quantum reduction of the irregular Hamiltonians introduced in this section.
7.2 Intermediate Quantum Hamiltonians for Painlevé equations
In this subsection we write quantum Hamiltonians for the Painlevé equations in Darboux coordinates before the reduction with respect to the gauge group action. In the case of Painlevé VI, the gauge group action is not taken into account. For the other cases, we partly resolve the gauge group action by diagonalising the leading term, but we do not finish reduction by ignoring the additional Cartan torus action (otherwise the quantisation becomes very cumbersome). Because of this, in the Painlevé VI example the number of coordinates for \(\mathfrak {sl}_2\) for 4 punctures is 6 while in the other examples the number of intermidiate coordinates is 4 (2 moments \(+\) 2 positions). Since we are dealing with Darboux coordinates, the quantisation process becomes fairly straightforward. In this subsection, we show that for each of the non-ramified Painlevé differential equations, there is a choice of quantisation such that the quantum operator acts nicely on the space of homogeneous polynomials. More precisely, we show that the invariant subspaces for the quantum Hamiltonians are given by the homogeneous polynomials in several variables (3 for Painlevé VI and 2 for others) with fixed degree. In this section we keep \(\hbar \) explicit as that makes it clearer how to extract semi-classical limits.
7.2.1 Painlevé VI.
For the \(\mathfrak {sl}_2\) Fuchsian system we have that the Hamiltonians in the intermediate coordinates take form
The quantisation problem is not trivial because we have to choose the quantum ordering. There are three standard ways of the ordering, which are given by
This leads to the following forms of Hamiltonians
where
Here we see that different choices of the ordering lead to different shifts of the local monodromies \(\theta _i\rightarrow \theta _i-\varepsilon ^{(i)}\). Thanks to this fact, and the fact that the shifts are of order \(\hbar \), we may fix the left ordering without loss of generality.
The most remarkable property is that the Hamiltonians \({\hat{H}}_i\) leave invariant the space of homogeneous polynomials of \(q_i\) with fixed degree in the following choice of the quantisation \({\hat{p}}_i=-i\hbar \frac{\partial }{\partial x_i}\cdot \), \({\hat{q}}_i=x_i\cdot \). So we may look for a solutions for the set of quantum Schrodinger equations
in the following form
which will lead to the non-autonomous linear system of ODE for the \(w_{\alpha }(\textbf{u})\)-s. The resulting equations in fact are KZ equations, since the equations for \(w_\alpha \) inherit the singularities of \({\hat{H}}_i\). Let’s consider the vector
where \(\alpha _i\) are the distinct partitions of n with height m (with zero entries). Then \(W^{(n)}\) satisfies the equations
where \(M_n^{(i,j)}\) is the action of \({\hat{h}}_{ij}\) on homogeneous polynomials of degree n. These equations are Knizhnik–Zamolodchikov type equations.
In the case of the Painlevé VI equation, we deal with 4-punctured sphere \(0,1,t,\infty \). The quantum Hamiltonian then writes as
Let’s consider simple case where \(\vert \alpha \vert =1\). Substituting the following function
into the Schrodinger equation (157) gives the following system
whose solution is given by the hypergeometric function in the following way
7.2.2 Painlevé V
the Hamiltonian in the intermediate coordinates is given by
Using the same argument as in the previous case, we consider left ordering. Moreover, we see that if quantise in the following way
the space of homogeneous polynomials in \(x_0\) and \(x_1\) is invariant under the action of the Hamiltonian. Considering the example of the degree 2
we get the following system of ordinary differential equations for the coefficients
These linear equations can be solved explicitly in terms of modified Bessel functions.
7.2.3 Painlevé IV
the Hamiltonian in the intermediate coordinates takes form
In general, the choice of the Lagrangian submanifold for the quantisation procedure defines the properties of the quantum Hamiltonian. Here the quantum Hamiltonian will not preserve the homogeneous polynomials if we choose the standard quantisation (161). However, the choice of the Lagrangian sub-manifold is irrelevant when we deal with the Darboux coordinates and corresponds to the integral transformation on the quantum level. If we choose the following quantisation
the quantum Hamiltonian will preserve degree of the homogeneous polynomials. Moreover the choice of the ordering shifts the monodromy parameter \(\theta _t\) by \(\hbar \)-small values. the Hamiltonian writes as
Writing down the system for the second order polynomial wave function
we obtain the system
which may be solved via exponential functions.
7.2.4 Painlevé III
the Hamiltonian is
We quantise as follows:
leading to the quantum Hamiltonian (up to \(\hbar \) shifts of \(\theta _1\)) takes form
Writing down system for the second order polynomial wave function
we obtain the system
These equations can be solved in terms of confluent hypergeometric functions of type \(_{1}F_{2}\).
7.2.5 Painlevé II
The intermediate Darboux coordinates Hamiltonian is
Choosing of the following quantisation
leads to the invariance of the degree of the homogeneous polynomials with respect to the Hamiltonian action. Indeed, after quantisation, the Hamiltonian is mapped to the operator with the same number of derivatives and multiplications in each member. We do not provide the explicit form of the quantum Hamiltonian and the action on the eigenspaces since the calculation is straightforward but the answer is too long.
Remark 18
In these examples, we consider the deformation quantisation of the intermediate Darboux coordinates. This means that the quantised Hamiltonians are elements of the Weyl algebra in two variables \({\mathbb {W}}[x,y]={\mathbb {C}}[x,\partial _x, y,\partial _y]/\langle [\partial _x,x]=1,[\partial _y,y]=1\rangle \). However, we know that the Hamiltonian we quantise allows additional symmetry, which lifts to an additional vector field \({\hat{I}}\) that commutes with the quantum Hamiltonian vector field. For example, in the case of the Painlevé III equation, the quantum Hamiltonian (166) commutes with
By restricting to the eigenfunctions of \({\hat{I}}\) with some chosen eigenvalue \(I_0\), we produce quantum Hamiltonian reduction, which is simply given by the quotient of the algebra \({\mathbb {W}}[x,y]/\langle {\hat{I}}-I_0\rangle \). As a result we obtain the following quantum Hamiltonian
which is just the Dirac quantisation of the Hamiltonian for the Painlevé III equation (142). Such reduction may be performed for all examples, the resulting quantum Hamiltonians coincide with the quantum Hamiltonians introduced in [40, 53] up to change of variables and ordering.
7.3 Semi-classical solution of the confluent Knizhnik–Zamolodchikov equation
In this section we discuss the semi-classical solutions of the confluent Knizhnik–Zamolodchikov equations in terms of the isomonodromic tau function. By the term “semi-classical” we mean the solutions \(\Psi _{sc}\) of the system
and
that can be formally expressed as power series in \(\hbar \) in an open set in the phase space. To characterise these solutions, we use the lifted Darboux coordinates and quantise them according to (152)
Such quantisation leads to the infinite dimensional representation of the isomonodromic Hamiltonians as differential operators on a Hilbert space of functions depending on some coordinates \(x_{j_{ab}},\,j=1\ldots d\), \(a,b = 1\ldots m\) and the isomonodromic times. In particular we put
The standard theoretical physics approach (beautifully described for example by Voros in his seminal paper [64]) consists in performing WKB analysis of \(\Psi _{cs}\) as \(\hbar \rightarrow 0\). This of course means paying careful attention to avoid the so-called turning points, or in other words, points in which the action functional expanded in \(\hbar \) has zero constant term. Assuming that one stays clear of turning points, the formula for the semiclassical solutions is written as:
where \(\mathcal {S}\) is the classical action functional which explicitly depends on the entries of the classical variables Q and the isomonodromic times. The dependence of \(\mathcal {S}\) on P is implicit, since
In this section we prove Theorem 5, namely that \(\Psi _{{cs}}\) evaluated along solutions of the classical system may be written as the isomonodromic \(\tau \)-function. This statement already appeared in [58] for the Knizhnik–Zamolodchikov equations with Fuchsian singularities. However, our approach works also for irregular systems.
Proof of Theorem 5.
We write the Hamiltonian system with Hamiltonians \(H^{(i)}_{u_i}\) and \(H^{(i)}_{1},\ldots ,H^{(i)}_{r_i}\) for \(i\!=\!1,\ldots ,n\) in the Darboux coordinates \(P_1,P_2\ldots P_d,Q_1,Q_2\ldots Q_d\). The action functional satisfies the following relation
along the solutions of the system. We now use a result by Malgrange to show that the logarithmic differential of the \(\tau \) function is already contained in the definition of the action functional:
Lemma 10
(Malgrange [50]). If the Hamiltonians are homogeneous polynomials of degree two in \(P_1,\ldots ,P_d\), then along solutions one has
Proof
Evaluating the first term in (172) along the solutions of the isomonodromic deformation equations, we obtain
Using the fact that the Hamiltonians are homogeneous of degree two in \(P_1,\ldots ,P_d\), we obtain that
which leads to the statement of the lemma. \(\square \)
In the case of the Fuchsian isomonodromic deformation are given by (37)
which are homogeneous of degree 2 in the entries of matrices \(P_1,P_2\ldots P_n\). The same holds for the irregular singularities - indeed, the irregular Hamiltonians are given by the quadratic spectral invariants, i.e.
where \(\alpha ,\beta \) are the indices of the singular points, while i and j are the indices which correspond to the coefficients of local expansion near singularity and \(C_{i,j}^{\alpha ,\beta }\) are coefficients which can be explicitly computed by using the formulas from section 4. Thanks to Lemma 6, all the terms \(\mathrm{Tr\,}\left( A^{(\alpha )}_iA^{(\beta )}_k\right) \) are homogeneous polynomials of degree 2 in the variables \(P_i\) (as well as homogeneous polynomials of degree 2 in the \(Q_i\)). This fact allows us to apply Lemma 10 to conclude that, up to constant terms, the action functional evaluated on the solutions of the isomonodromic deformation equations coincides with the \(\tau \)-function. Thanks to this fact, given a solution \((P_1,\ldots ,P_d,Q_1,\ldots ,Q_d)\) of the classical isomonodromic deformation equations, the corresponding semi-classical solution admits the following WKB expansion
for \(u_1,\ldots ,u_n\), \(t_k^{(i)}\), \(i=1,\ldots ,n,\infty \), \(k=1,\ldots ,r_i\) in a poly-disk that does not contain the zeroes of the action functional evaluated along the given solution \((P_1,\ldots ,P_d,Q_1,\ldots ,Q_d)\). \(\square \)
Observe that this proof depends on the coordinates we use to quantise. In general, the property of semi-classical solution to be a power of an isomonodromic \(\tau \)-function breaks for the reduced systems. The classical analogue of this phenomenon is equivalent to the statement that the reduced Hamiltonians are not hoimogeneous in moments or coordinates. This can be seen on the Painlevé II example - in the fully reduced coordinates the Hamiltonian writes as
while the action along the solution writes as
The classical action now differs from the \(\tau \)-function by some function that depends on time. This deviation from the classical action functional was investigated in the paper by Its and Prokhorov [38] for the classical Painlevé equations in fully reduced coordinates. From the quantum point of view, the reduction is a restriction to the eigenspace of the Casimir operator which partially provides separation of variables in the quantum problem. By passing to a smaller number of coordinates, the parts which were depending on the lifted coordinates vanish, so the structure of the solution changes rapidly. However, despite the fact that the theorem doesn’t work in the reduced case, we still see the avatars of this statement since the \(\tau \)-function still enters the quasiclassical solution in some way, see paper [38] and formula (2.27) in [69].
Notes
In fact, in this paper, we deal with the so-called generalised Takiff algebras, while the original definition was only for degree 1 truncation.
We thank the referee for pointing out this nice geometric analogy.
We are grateful to Prof. Jimbo who has drawn our attention and has sent a file of the paper [68].
The confluence procedure is not symmetric in \(v_i\), however different choices of the order of the coalescence cascade will lead to the action of the permutation group on the \(t_l\)’s, so we fix this ordering once for all.
References
Adams, M., Harnad, J., Hurtubise, J.: Isospectral Hamiltonian flows in finite and infinite dimensions II. Integr. Flows Comm. Math. Phys 134, 555–585 (1990)
Adams, M., Harnad, J., Hurtubise, J.: Darboux Coordinates and Liouville-Arnold integration in Loop Algebras. Commun. Math. Phys. 155, 385–413 (1993)
Adams, M., Harnad, J., Previato, E.: Isospectral Hamiltonian flows in finite and infinite dimensions. Commun. Math. Phys. 117(3), 451–500 (1988)
Audin, M.: Lectures on Gauge Theory and Integrable Systems, Gauge Theory and Symplectic Geometry, pp. 1–48. Springer, Dordrecht (1997)
Babich, M.: Rational symplectic coordinates on the space of fuchs equations \(m \times m\)-case. Lett. Math. Phys. 96, 63–77 (2008)
Babich, M.V., Derkachov, S.E.: On rational symplectic parametrisation of the coadjoint orbit of \( \rm GL(N)\). Diagonalizable case. St. Petersburg Math. J 22, 347–357 (2011)
Babujian, H.M., Kitaev, A.V.: Generalised Knizhnik-Zamolodchikov equations and isomonodromy quantisation of the equations integrable via the inverse scattering transform: Maxwell-Bloch system with pumping. J. Math. Phys. 39(5), 2499–2506 (1998)
Belavin, A.A., Polyakov, A.M., Zamolodchikov, A.B.: Infinite conformal symmetry in two-dimensional quantum field theory. Nuclear Phys. B 241(2), 333–380 (1984)
Bertola, M., Cafasso, M., Rubtsov, V.: Noncommutative Painlevé equations and systems of Calogero type. Commun. Math. Phys. 363(2), 503–530 (2018)
Bertola, M., Korotkin, D.: Tau-functions and monodromy symplectomorphisms arXiv preprint arXiv:1910.03370 (2020)
Boalch, P.: Simply-laced isomonodromy systems. Publ. Math. Inst. Hautes Études Sci. 116, 1–68 (2012)
Boalch, P.: G -bundles, isomonodromy, and quantum Weyl groups. Int. Mat. Res. Not. 22, 1129–1166 (2002)
Boalch, P.: Quasi-Hamiltonian geometry of meromorphic connections. Duke Math. J. 139(2), 369–405 (2007)
Boalch, P.: Symplectic manifolds and isomonodromic deformations. Adv. Math. 163(2), 137–205 (2001)
Chekhov, L., Mazzocco, M., Rubtsov, V.: Painlevé Monodromy Manifolds, Decorated Character Varieties, and Cluster Algebras. Int. Math. Res. Not. 24, 7639–7691 (2016)
Chekhov, L., Mazzocco, M., Rubtsov, V.: Algebras of quantum monodromy data and character varieties. Oxford University Press, Geometry and Physics I (2018)
Chernyakov, Yu.: Integrable systems obtained by puncture fusion from rational and elliptic gaudin systems. Theor. Math. Phys. 141(1), 1361–1380 (2004)
Cotti, G., Dubrovin, B., Guzzetti, D.: Isomonodromy deformations at an irregular r with coalescing eigenvalues. Duke Math. J. 8(6), 967–1108 (2019)
Cotti, G., Dubrovin, B., Guzzetti, D.: Local moduli of semisimple Frobenius coalescent structures, SIGMA Symmetry Integrability Geom. Methods Ap 16(40), 105 (2020)
Chervov, A., Talalaev, D.: Hitchin systems on singular curves II: gluing subschemes. Int. J. Geometric Methods Modern Phys. 4(5), 751–787 (2007)
de Concini, C., Procesi, C.: Hyperplane arrangements and holonomy equations. Selecta Math. (N.S.), 1(3), 495–535 (1995)
Dubrovin, B.: Integrable systems and classification of \(2\)–dimensional topological field theories, Integrable Systems, Luminy 1991, Progr. Math. 115 (1993)
Dubrovin, B., Mazzocco, M.: Monodromy of certain Painlevé-VI transcendents and reflection groups. Invent. Math. 141(1), 55–147 (2000)
Eisenbud, D.: Commutative Algebra with a View Toward Algebraic Geometry. Springer, Berlin (1995)
Enriquez, B., Pakuliak, S., Rubtsov, V.: Basic representations of quantum current algebras in higher genus. Quantum groups, 177-190, Contemp. Math., 433, Israel Math. Conf. Proc., Amer. Math. Soc., Providence, RI, (2007)
Felder, G., Markov, Y., Tarasov, V., Varchenko, A.: Differential equations compatible with KZ equations. Math. Phys. Anal. Geom. 3, 139–177 (2000)
Faddeev, L., Takhtajan, L.: Hamiltonian Methods in the Theory of Solitons. Springer, Berlin (2007)
Fedorov, R.M.: Algebraic and Hamiltonian approaches to isoStokes deformations. Transform. Groups 11(2), 137–160 (2006)
Feigin, B., Frenkel, E., Rybnikov, L.: Opers with irregular singularity and spectra of the shift of argument subalgebra. Duke Math. J. 155, 337–363 (2010)
Feigin, B., Frenkel, E., Toledano-Laredo, V.: Gaudin models with irregular singularities. Adv. Math. 223, 873–948 (2010)
Harnad, J.: Quantum isomonodromic deformations and the Knizhnik-Zamolodchikov equations. Symmetries Integr. Differ. Equ. 9, 155 (1996)
Harnad, J.: Dual Isomonodromic Deformations and Moment Maps to Loop Algebras. Commun. Math. Phys. 166, 337–365 (1994)
Harnad, J., Routhier, M.: R-matrix construction of electromagnetic models for the Painlevé transcendents. J. Math. Phys. 36(9), 4863–4881 (1995)
Hiroe, K., Yamakawa, D.: Moduli spaces of meromorphic connections and quiver varieties. Adv. Math. 266, 120–151 (2014)
Hitchin, N.: Frobenius Manifolds Gauge Theory and Symplectic Geometry, pp. 69–112. Springer, Dordrecht (1997)
Hitchin, N.: Flat connections and geometric quantisation. Commun. Math. Phys. 131(2), 347–380 (1990)
Hurtubise, J.: On the geometry of isomonodromic deformations it. J. Geom. Phys. 58, 1394–1406 (2008)
Its, A.R., Prokhorov, A.: On some Hamiltonian properties of the isomonodromic tau functions. Rev. Math. Phys. 30, 1840008 (2018)
Jimbo, M., Miwa, T., Mori, Y., Sato, M.: Density Matrix of an Impenetrable Bose Gas and the Fifth Painlevé Equation. Phys. D 1(1), 80–158 (1980)
Jimbo, M., Nagoya, H., Sun, J.: Remarks on the confuent KZ equation for \(sl_2\) and quantum Painlevé equations. J. Phys. A Math. Theor. 41, 175205 (2008)
Jimbo, M., Miwa, T., Ueno, K.: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients: I: general theory and \(\tau \)-function. Phys. D 2(2), 306–352 (1981)
Kalinin, K., Babich, M.: Parametrisation of phase space of Painlevé V equation DAYS on DIFFRACTION 2021, in print
Kajiwara, K., Masuda, T., Noumi, M., Ohta, Y., Yamada, Y.: Cubic pencils and Painlevé hamiltonians. Funkcialaj Ekvacioj 48(1), 147–160 (2005)
Katz, N.M.: Rigid Local Systems. Princeton University Press, Princeton (1996)
Kawakami, H.: Matrix Painlevé systems. J. Math. Phys. 56, 033503 (2015)
Kawakami, H., Nakamura, A., Sakai, H.: Degeneration scheme of 4-dimensional Painlevé-type equations, arXiv:1209.3836 (2012)
Knizhnik, V.G., Zamolodchikov, A.B.: Current algebra and Wess-Zumino model in two dimensions. Nuclear Phys. B 247(1), 83–103 (1984)
Korotkin, D., Samtleben, H.: Quantization of coset space \(\sigma \)-models coupled to two-dimensional gravity. Commun. Math. Phys. 190(2), 411–457 (1997)
Krichever, I.: Isomonodromy equations on algebraic curves, canonical transformations and Whitham equations. Mosc. Math. J. 2(4), 717–752 (2002)
Malgrange, B.: Déformations isomonodromiques, forme de Liouville, fonction \(\tau \) Ann. Inst. Fourier 54, 1371–1392 (2004)
Millson, J.J., Toledano Laredo, V.: Casimir operators and monodromy representations of generalised braid groups. Transform. Groups 10(2), 217–254 (2005)
Mukhin, E., Tarasov, V., Varchenko, A.: Bethe eigenvectors of higher transfer matrices. J. Stat. Mech. Theory Exp. 8, P08002 (2006)
Nagoya, H.: Hypergeometric solutions to Schrödinger equations for the quantum Painlevé equations. J. Math. Phys. 52, 083509 (2011)
Nahm, W.: The construction of all self-dual multimonopoles by the ADHM method International Centre for Theoretical Physics IC–82/16 (1982)
Pakuliak, S., Rubtsov, V., Silantyev, A.: Classical elliptic current algebras. I, J. Gen. Lie Theory Appl 2(2), 65–78 (2008)
Pakuliak, S., Rubtsov, V., Silantyev, A.: Classical elliptic current algebras. II. J. Gen. Lie Theory Appl. 2(2), 79–93 (2008)
Rembado, G.: Simply-laced quantum connections generalising KZ. Commun. Math. Phys. 368, 1–54 (2019)
Reshetikhin, N.: The Knizhnik-Zamolodchikov system as a deformation of the isomonodromy problem. Lett. Math. Phys. 26, 167–177 (1992)
Saksida, P.: Nahm’s equations and generalizations of the Neumann system. Proc. Lond. Math. Soc. 78(3), 701–720 (1999)
Schlesinger, L.: Über eine Klasse von Differentialsystemen beliebiger Ordnung mit festen kritischen Punkten. J. Fur. Math. 141, 96–145 (1912)
Talalaev, D.: Quantum spectral curve method, Geometry and quantisation. Trav. Math. 19, 203–271 (2011)
Toledano Laredo, V.: A Kohno–Drinfeld theorem for quantum Weyl groups. Duke Math. J. 112(3), 421–451 (2002)
B. Vicedo, C. Young, \((gl\mathit{M,gl}N)-\)-dualities in Gaudin models with irregular singularities, SIGMA Symmetry Integrability Geom. Methods Appl. 14, 28 (2018)
Voros, A.: Semi–classical approximations. Annales de l’I.H.P., Section A 24(1), 31–90 (1976)
Woodhouse, N.M.J.: The symplectic and twistor geometry of the general isomonodromic deformation problem. J. Geom. Phys. 39(2), 97–128 (2001)
Woodhouse, N.M.J.: Duality for the general isomonodromy problem. J. Geom. Phys. 57(4), 1147–1170 (2007)
Yamakawa, D.: Fundamental two-forms for isomonodromic deformations. J. Integr. Syst. 4(1), 1–35 (2019)
Yamakawa, D.: Tau functions and Hamiltonians of isomonodromic deformations. Josai Math. Monographs 10, 139–160 (2017)
Zabrodin, A., Zotov, A.: Quantum Painleve-Calogero correspondence. J. Math. Phys. 53(7), 073507 (2012)
Acknowledgements
The authors are grateful to M. Babich, M. Bershtein, M. Bertola, Y. Chernyakov, H. Desiraju, B. Dubrovin, P. Gavrilenko, J. Harnad, J. Hurtubise, M. Jimbo, D. Korotkin, I. Sechin, B. Malgrange, N. Nikolaev, V. Poberezhny, G. Rembado, D. Talalaev, V. Tarasov, V. Toledano–Laredo, A. Veselov and A. Zotov for interesting discussions and to P. Boalch for useful bibliographic remarks. I. G. and V. R. are thankful to IHES for the hospitality during the work on the final version of the text. We also thank both referees for their careful reading and their useful critical remarks which definitely contributed to the improvement of our paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Gier.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
All authors have contributed equally to this work.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gaiur, I., Mazzocco, M. & Rubtsov, V. Isomonodromic Deformations: Confluence, Reduction and Quantisation. Commun. Math. Phys. 400, 1385–1461 (2023). https://doi.org/10.1007/s00220-023-04650-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04650-8