Holonomic Poisson geometry of Hilbert schemes

Matviichuk, Mykola¹ ; Pym, Brent² ; Schedler, Travis¹

¹Department of Mathematics, Imperial College London, London, United Kingdom
²Department of Mathematics and Statistics, McGill University, Montreal, QC, Canada

Geometry & topology, Tome 29 (2025) no. 4, pp. 2047-2103

Résumé

We undertake a detailed study of the geometry of Bottacin’s Poisson structures on Hilbert schemes of points in Poisson surfaces, ie smooth complex surfaces equipped with an effective anticanonical divisor. We focus on three themes that, while logically independent, are linked by the interplay between (characteristic) symplectic leaves and deformation theory. Firstly, we construct the symplectic groupoids of the Hilbert schemes and develop the classification of their symplectic leaves, using the methods of derived symplectic geometry. Secondly, we establish local normal forms for the Poisson brackets, and combine them with a toric degeneration argument to verify that Hilbert schemes satisfy our recent conjecture characterizing holonomic Poisson manifolds in terms of the geometry of the modular vector field. Finally, using constructible sheaf methods, we compute the space of first-order Poisson deformations when the anticanonical divisor is reduced and has only quasihomogeneous singularities. (The latter is automatic if the surface is projective.) Along the way, we find a tight connection between the Poisson geometry of the Hilbert schemes and the finite-dimensional Lie algebras of affine transformations, which is mediated by syzygies. In particular, we find that the Hilbert scheme has a natural subvariety that serves as a global counterpart of the nilpotent cone, and we prove that the Lie algebras of affine transformations have holonomic dual spaces — the first such series of Lie algebras to be discovered.

Détail

DOI : 10.2140/gt.2025.29.2047

Keywords: deformation theory, Hilbert groupoid, Lie algebra of affine transformations, nilpotent cone

Bibliographie

[1] V I Arnold, Remarks on Poisson structures on a plane and on other powers of volume elements, Trudy Sem. Petrovsk. (1987) 37

[2] A Beauville, Variétés Kähleriennes dont la première classe de Chern est nulle, J. Differential Geom. 18 (1983) 755

[3] K A Beck, S Sather-Wagstaff, A somewhat gentle introduction to differential graded commutative algebra, from: "Connections between algebra, combinatorics, and geometry" (editors S M Cooper, S Sather-Wagstaff), Springer Proc. Math. Stat. 76, Springer (2014) 3 | DOI

[4] V M Bondarenko, T G Gerasimova, V V Sergeichuk, Pairs of mutually annihilating operators, Linear Algebra Appl. 430 (2009) 86 | DOI

[5] F Bottacin, Poisson structures on Hilbert schemes of points of a surface and integrable systems, Manuscripta Math. 97 (1998) 517 | DOI

[6] C Brav, T Dyckerhoff, Relative Calabi–Yau structures, II : Shifted Lagrangians in the moduli of objects, Selecta Math. 27 (2021) 63 | DOI

[7] J L Brylinski, G Zuckerman, The outer derivation of a complex Poisson manifold, J. Reine Angew. Math. 506 (1999) 181 | DOI

[8] I Burban, Y Drozd, Coherent sheaves on rational curves with simple double points and transversal intersections, Duke Math. J. 121 (2004) 189 | DOI

[9] D Calaque, Lagrangian structures on mapping stacks and semi-classical TFTs, from: "Stacks and categories in geometry, topology, and algebra" (editors T Pantev, C Simpson, B Toën, M Vaquié, G Vezzosi), Contemp. Math. 643, Amer. Math. Soc. (2015) 1 | DOI

[10] F J Castro-Jiménez, L Narváez-Macarro, D Mond, Cohomology of the complement of a free divisor, Trans. Amer. Math. Soc. 348 (1996) 3037 | DOI

[11] C Debord, Holonomy groupoids of singular foliations, J. Differential Geom. 58 (2001) 467

[12] G Ellingsrud, S A Strømme, On a cell decomposition of the Hilbert scheme of points in the plane, Invent. Math. 91 (1988) 365 | DOI

[13] J Fogarty, Algebraic families on an algebraic surface, Amer. J. Math. 90 (1968) 511 | DOI

[14] I M Gelfand, V A Ponomarev, Indecomposable representations of the Lorentz group, Uspehi Mat. Nauk 23 (1968) 3

[15] R Goto, Unobstructed deformations of generalized complex structures induced by C∞ logarithmic symplectic structures and logarithmic Poisson structures, from: "Geometry and topology of manifolds" (editors A Futaki, R Miyaoka, Z Tang, W Zhang), Springer Proc. Math. Stat. 154, Springer (2016) 159 | DOI

[16] L Göttsche, W Soergel, Perverse sheaves and the cohomology of Hilbert schemes of smooth algebraic surfaces, Math. Ann. 296 (1993) 235 | DOI

[17] D Greb, S Kebekus, S J Kovács, T Peternell, Differential forms on log canonical spaces, Publ. Math. Inst. Hautes Études Sci. 114 (2011) 87 | DOI

[18] M Gualtieri, S Li, Symplectic groupoids of log symplectic manifolds, Int. Math. Res. Not. 2014 (2014) 3022 | DOI

[19] M Haiman, t,q-Catalan numbers and the Hilbert scheme, Discrete Math. 193 (1998) 201 | DOI

[20] J Herzog, Komplexe, Auflösungen und Dualität in der lokalen Algebra, Habilitationsschrift, Universität Regensburg (1974)

[21] N Hitchin, Deformations of holomorphic Poisson manifolds, Mosc. Math. J. 12 (2012) 567 | DOI

[22] A A Iarrobino, Punctual Hilbert schemes, 188, Amer. Math. Soc. (1977) | DOI

[23] C Ingalls, Quantizable orders over surfaces, J. Algebra 207 (1998) 616 | DOI

[24] R C Laubenbacher, B Sturmfels, A normal form algorithm for modules over k[x,y]∕⟨xy⟩, J. Algebra 184 (1996) 1001 | DOI

[25] L S Levy, ZGn-modules, Gn cyclic of square-free order n, J. Algebra 93 (1985) 354 | DOI

[26] L S Levy, Modules over Dedekind-like rings, J. Algebra 93 (1985) 1 | DOI

[27] M Matviichuk, B Pym, T Schedler, A local Torelli theorem for log symplectic manifolds, preprint (2020)

[28] S Mukai, Symplectic structure of the moduli space of sheaves on an abelian or K3 surface, Invent. Math. 77 (1984) 101 | DOI

[29] H Nakajima, Lectures on Hilbert schemes of points on surfaces, 18, Amer. Math. Soc. (1999) | DOI

[30] L A Nazarova, A V Roĭter, Finitely generated modules over a dyad of two local Dedekind rings, and finite groups which possess an abelian normal divisor of index p, Izv. Akad. Nauk SSSR Ser. Mat. 33 (1969) 65

[31] L A Nazarova, A V Roĭter, V V Sergeichuk, V M Bondarenko, Application of modules over a dyad for the classification of finite p-groups possessing an abelian subgroup of index p and of pairs of mutually annihilating operators, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 28 (1972) 69

[32] T A Nevins, J T Stafford, Sklyanin algebras and Hilbert schemes of points, Adv. Math. 210 (2007) 405 | DOI

[33] J O’Halloran, A simple proof of the Gerstenhaber–Hesselink theorem for nilpotent matrices, Comm. Algebra 15 (1987) 2017 | DOI

[34] T Pantev, B Toën, M Vaquié, G Vezzosi, Shifted symplectic structures, Publ. Math. Inst. Hautes Études Sci. 117 (2013) 271 | DOI

[35] A Polishchuk, Algebraic geometry of Poisson brackets, J. Math. Sci. (NY) 84 (1997) 1413 | DOI

[36] B Pym, E Rains, Shifted Poisson structures, noncommutative surfaces and stacks of Calabi–Yau categories, in preparation

[37] B Pym, T Schedler, Holonomic Poisson manifolds and deformations of elliptic algebras, from: "Geometry and physics, II" (editors J E Andersen, A Dancer, O García-Prada), Oxford Univ. Press (2018) 681 | DOI

[38] E M Rains, The noncommutative geometry of elliptic difference equations, preprint (2016)

[39] E M Rains, The birational geometry of noncommutative surfaces, preprint (2019)

[40] Z Ran, Incidence stratifications on Hilbert schemes of smooth surfaces, and an application to Poisson structures, Int. J. Math. 27 (2016) 1650006 | DOI

[41] Z Ran, Deformations of holomorphic pseudo-symplectic Poisson manifolds, Adv. Math. 304 (2017) 1156 | DOI

[42] K Saito, Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27 (1980) 265

[43] T Schürg, B Toën, G Vezzosi, Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes, J. Reine Angew. Math. 702 (2015) 1 | DOI

[44] J H M Steenbrink, Mixed Hodge structure on the vanishing cohomology, from: "Real and complex singularities" (editor P Holm), Sijthoff Noordhoff (1977) 525

[45] A Thomas, Generalized punctual Hilbert schemes and g-complex structures, Int. J. Math. 33 (2022) 2250004 | DOI

[46] B Toën, M Vaquié, Moduli of objects in dg-categories, Ann. Sci. École Norm. Sup. 40 (2007) 387 | DOI

[47] A Weinstein, The modular automorphism group of a Poisson manifold, J. Geom. Phys. 23 (1997) 379 | DOI