QUANTISED PAINLEVE´ MONODROMY MANIFOLDS, SKLYANIN AND CALABI-YAU ALGEBRAS LEONID CHEKHOV, MARTA MAZZOCCO, VLADIMIR RUBTSOV to Boris Dubrovin. Abstract. In this paper we study quantum del Pezzo surfaces belonging to a certain class. In particular we introduce the generalised Sklyanin-Painlev´e algebra and characterise its PBW/PHS/Koszul properties. This algebra con- tains as limiting cases the generalised Sklyanin algebra, Etingof-Ginzburg and Etingof-Oblomkov-Rains quantum del Pezzo and the quantum monodromy manifolds of the Painlev´eequations. 1. Introduction In recent years, studying non-commutative rings through the methods of quan- tum algebraic geometry has sparked enormous interest due to its applications in mirror symmetry. The work by Gross-Hacking and Keel [21] associates to Looi- jenga pairs on the A-side, i.e. pairs (Y,D) where Y is a smooth projective surface and D is an anti-canonical cycle of rational curves, a mirror family on the B-side constructed as the spectrum of an explicit algebra structure on a vector space. The elements of the basis of global sections uniformise such a spectrum and are called theta functions. Interestingly, the A-side is equipped with a symplectic structure, and it is quan- tised by geometric quantisation within the SYZ formalism [51], while the B side is naturally quantised by deformation quantisation. In this paper we study a certain class of del Pezzo surfaces that can be put on either side of the mirror construction, or in other words, whose geometric and deformation quantisation coincide. In particular, we study the quantisation of a family of Poisson manifolds defined by the zero locus of a degree d polynomial Mφ arXiv:1905.02772v2 [math.QA] 20 Jan 2021 φ C[x , x , x ] of the form ∈ 1 2 3 (1.1) φ(x1, x2, x3)= x1x2x3 + φ1(x1)+ φ2(x2)+ φ3(x3) where φi(xi) for i =1, 2, 3 is a polynomial of degree d in the variable xi only. From an algebro-geometric point of view (under certain≤ conditions on the degrees of each polynomial φi, i = 1, 2, 3) the projective completion φ in the weighted projective space WP3 of the affine surface C3 is a (possiblyM degenerate) del Mφ ⊂ Pezzo surface. In other words, the pair ( φ,D ), where D is the divisor at M ∞ ∞ infinity, is a Loojenga pair and φ = φ D . At the same time, each affine del M M \ ∞ Pezzo surface can be considered as an affine cone Spec(C[x1, x2, x3]/ φ ) over the 2 h i projective curve P φ P corresponding to the divisor D , with the trivial line M ⊂ 0 ∞ k bundle L = φ 0 whose section ring is k 0H (P φ,L⊗ ). Here, we call the curve P Mthe projectivisation\{ } of . ⊕ ≥ M Mφ Mφ 1 2 LEONID CHEKHOV, MARTA MAZZOCCO, VLADIMIR RUBTSOV A quantisation of a del Pezzo surface of this type appeared in the work of Oblomkov [32] as the spherical sub-algebra of the CCˇ 1 double affine Hecke alge- bra (DAHA). Then Etingof, Oblomkov and Rains proposed a notion of generalised DAHA for every simply laced affine Dynkin diagram and showed that their spherical sub-algebras quantise the coordinate rings of affine surfaces obtained by removing a nodal P1 from a weighted projective del Pezzo surface of degrees 3, 2 and 1 re- (1) (1) (1) spectively for E6 , E7 and E8 or by removing a triangle from a projective del (1) Pezzo surface of degree 3 in the case D4 . In the same paper, the authors defined a holomorphic (but not algebraic) map from the mini-versal deformation of the corresponding Kleinian singularity SL(2, C)/Γ (where Γ SL(2, C) is the finite ∈ subgroup corresponding to the Dynkin diagram D4, E6, E7 and E8 respectively via the McKay correspondence) to the family of surfaces where φ is in our form: Mφ (1) 2 2 2 D4 x1x2x3 + x1 + x2 + x3 + ηx1 + σx2 + ρx3 + ω, (1) 3 3 2 2 2 E6 x1x2x3 + x1 + x2 + x3 + η2x1 + η1x1 + σ2x2 + σ1x2 + ρx3 + ω, (1.2) E(1) x x x + x4 + x2 + x2 + η x3 + + η x + σx + ρx + ω, 7 1 2 3 1 3 3 3 1 ··· 1 1 2 3 E(1) x x x + x5 + x2 + x2 + η x4 + + η x + σx + ρx + ω. 8 1 2 3 1 3 3 4 1 ··· 1 1 2 3 Following this work, P. Etingof and V. Ginzburg [15] have proposed a quantum description of del Pezzo surfaces based on the flat deformation of cubic affine cone surfaces with an isolated elliptic singularity of type E6, E7 and E8 in (weighted) projective planes: x3 x3 x3 e e e E τx x x + 1 + 2 + 3 + η x2 + η x + 6 1 2 3 3 3 3 2 1 1 1 + σ x2 + σ x + ρ x2 + ρ x + ω, e 2 2 1 2 2 3 1 3 x4 x4 x2 E τx x x + 1 + 2 + 3 + η x3 + + η x + (1.3) 7 1 2 3 4 4 2 3 1 ··· 1 1 + σ x3 + + σ x + ρ x2 + ρ x + ω, e 3 2 ··· 1 2 2 3 1 3 x6 x3 x2 E τx x x + 1 + 2 + 3 + η x5 + + η x2 + η x + 8 1 2 3 6 3 2 5 1 ··· 2 1 1 1 + σ x2 + σ x + ρ x2 + ρ x + ω. e 2 2 1 2 2 3 1 3 Their result gives a family of Calabi-Yau algebras parametrised by a complex num- ber and a triple of polynomials of specifically chosen degrees. Interestingly, as far as we know, nobody has proved a similar result for the polynomials (1.2). Poisson manifolds defined by the zero locus of a degree 3 polynomial φ Mφ ∈ C[x1, x2, x3] of the form (1.1) where φi(xi) for i =1, 2, 3 is a polynomial of degree 2 appear in the theory of the Painlev´edifferential equations as monodromy manifolds [54]. Indeed, the Painlev´esixth monodromy manifold is precisely the affine surface that appeared in Oblomkov [32] (see also [16]) as the spectrum of the center of the Cherednik algebra of type CCˇ 1 for q = 1. This result was generalised in [27], where seven new algebras were produced as Whittaker degenerations of the Cherednik algebra of type CCˇ 1 in such a way that their spherical–sub-algebras tend in the semi-classical limit to the monodromy manifolds of the respective Painlev´edifferential equations. In the present paper we give a quantisation of the Painlev´emonodromy mani- folds that fits into the scheme proposed by Etingof and Ginzburg for the elliptic QUANTISED PAINLEVE´ MONODROMIES, SKLYANIN AND CY ALGEBRAS. 3 singularity E6 (see Theorem 1.5). Namely, for an appropriate quantisation Φ of φ, we define an associative algebra AΦ, which is a flat deformation of the coordinate ring C[x1, x2e, x3] or, more precisely, the quantisation of the corresponding Poisson algebra A = (C[x , x , x ], , ) where φ 1 2 3 {· ·}φ dp dq dφ p, q = ∧ ∧ { }φ dx dx dx 1 ∧ 2 ∧ 3 is the Poisson-Nambu structure (2.11) on C3 for p, q C[x , x , x ]. ∈ 1 2 3 The algebra AΦ has three non-commuting generators Xi,i = 1, 2, 3 subject to the relations X X qX X = φ (X ), (i, j, k)=(1, 2, 3) i j − j i k k with φk C[Xk] and q C∗. One can consider the following diagram where the left and right∈ column arrows∈ are natural surjections and the horizontal arrows denote flat deformations or quantisations of the corresponding Poisson algebras Aφ and A / φ : φ h i /o/o fl. def./o/o /o/o/o / q (1.4) Aφ / AΦ fl. def. q A / φ /o /o /o / A / Ω Ω0 . φ h i Φ h − i Following the idea of [15], we construct the bottom-right corner algebra as a quotient q 0 of the (family of) associative algebras AΦ by the bilateral ideal Ω Ω generated q h − i by evaluating a central element Ω AΦ for all φ corresponding to the Painlev´emon- odromy manifolds. As a result, we∈ obtain a (family of) non-commutative 3-Calabi- Yau algebras that we denote by and their non-commutative 2-dimensional quo- tients as a quantum del Pezzo surfaces.UZ More precisely we give the following: m Definition 1.1. Given any scalars ǫ1,ǫ2,ǫ3, and q, q = 1 for any integer m, the universal Painlev´ealgebra is the non-commutative6 algebra with generators UP X1,X2,X3, Ω1, Ω2, Ω3 defined by the relations: 1/2 1/2 1 1/2 1/2 q− X X q X X (q− q)ǫ X + (q− q )Ω =0, 1 2 − 2 1 − − 3 3 − 3 1/2 1/2 1 1/2 1/2 (1.5) q− X X q X X (q− q)ǫ X + (q− q )Ω =0, 2 3 − 3 2 − − 1 1 − 1 1/2 1/2 1 1/2 1/2 q− X X q X X (q− q)ǫ X + (q− q )Ω =0, 3 1 − 1 3 − − 2 2 − 2 [Ω , ]=0, i =1, 2, 3. i · Remark 1.2. The name universal has been chosen because in the case ǫ1 = ǫ2 = ǫ3 = 1, this algebra corresponds to the Universal Askey-Wilson algebra [52]. 0 Definition 1.3. For any choice of three scalars Ωi , i = 1, 2, 3, the confluent Zhedanov algebra is the quotient UZ / Ω Ω0, Ω Ω0, Ω Ω0 .