×

Braid groups and Kleinian singularities. (English) Zbl 1264.14026

Consider a finite group \(G\subset \mathrm{SL}(2,\mathbb{C})\), the surface \(\mathbb{C}^2/G\) with a unique singular point \(0\) and the minimal resolution \(\pi: X\rightarrow \mathbb{C}^2/G\). It is well-known that the exceptional divisor \(E=\pi^{-1}(0)\) consists of a tree of \((-2)\)-curves whose dual graph is a Dynkin diagram of type ADE. The structure sheaf \(S_i=\mathcal{O}_{E_i}\) of any irreducible component \(E_i\) of \(E\) is known to be a \(2\)-spherical object, that is, for any \(i\) we have \(S_i\otimes \omega_X\cong S_i\) and \(\text{Hom}(S_i,S_i[k])=\mathbb{C}\) if \(k=0,2\) and \(0\) otherwise. Any spherical object gives rise to a spherical twist, an autoequivalence of the bounded derived category of coherent sheaves \(D^b(X)\) on \(X\), and it was shown by P. Seidel and R. Thomas [Duke Math. J. 108, No. 1, 37–108 (2001; Zbl 1092.14025)] that the spherical twists associated to the \(S_i\) satisfy the braid relations. In type A they also showed that this action of the braid group is faithful. The purpose of the paper under review is to prove the faithfulness in types ADE.
To do this, the Garside structure on braid groups is used in an essential way. Background concerning this and further generalities on braid groups are presented in Section 2. In Section 3 the authors recall some facts about spherical twists and prove their main result. The idea is to show that a braid group element is completely determined by the action of the corresponding twist on the direct sum of the \(S_i\). In the last section an application to spaces of stability conditions is presented. Namely, T. Bridgeland has shown in [Int.Math.Res.Not.2009, No.21, 4142–4157 (2009; Zbl 1228.14012)] that a connected component of the stability manifold of a certain subcategory \(\mathcal{D}\) of \(D^b(X)\) is a covering of the space of regular orbits of the Weyl group corresponding to the singularity type. He also proved that if the braid group action is faithful, then the covering is in fact the universal one. Hence, the results of the paper under review show that we have a universal covering not only in type A but in types ADE.

MSC:

14F05 Sheaves, derived categories of sheaves, etc. (MSC2010)
14B05 Singularities in algebraic geometry
20F36 Braid groups; Artin groups
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Anno, R.: Spherical functors (2007). arXiv:0711.4409 · Zbl 1374.14015
[2] Bondal A.I., Kapranov M.M.: Framed triangulated categories. Math. Sb. 181(5), 669–683 (1990) · Zbl 0719.18005
[3] Bridgeland T.: Stability conditions on triangulated categories. Ann. Math. (2) 166(2), 317–345 (2007) · Zbl 1137.18008 · doi:10.4007/annals.2007.166.317
[4] Bridgeland, T.: Stability conditions and Kleinian singularities. Int. Math. Res. Notices 2009, rnp081 (2009) · Zbl 1228.14012
[5] du Val P.: On isolated singularities of surfaces which do not affect the conditions of adjunction. Proc. Camb. Phil. Soc. 30, 453–459 (1934) · JFM 60.0599.01 · doi:10.1017/S030500410001269X
[6] Ishii A., Ueda K., Uehara H.: Stability conditions on A n -singularities. J. Differ. Geom. 84(1), 87–126 (2010) · Zbl 1198.14020
[7] Kassel, C., Turaev, V.: Braid Groups, vol. 247 of Graduate Texts in Mathematics. Springer, New York (2008). (With the graphical assistance of Olivier Dodane) · Zbl 1208.20041
[8] Keller B.: Derived categories and tilting. In: Angeleri Hügel, L., Happel, D., Krause, H. (eds) Handbook of Tilting Theory, vol. 332 of London Mathematical Society Lecture Note Series., pp. 49–104. Cambridge University Press, Cambridge (2007)
[9] Khovanov M., Seidel P.: Quivers, Floer cohomology, and braid group actions. J. Am. Math. Soc. 15(1), 203–271 (2002) (electronic) · Zbl 1035.53122 · doi:10.1090/S0894-0347-01-00374-5
[10] Klein, F.: Vorlesungenüber das Ikosaeder und die Auflösung der Gleichungen vom 5ten Grade. B. G. Teubner, Leipzig, Germany (1884) · JFM 16.0061.01
[11] Kontsevich, M.: Homological algebra of mirror symmetry. In: Proc. Int. Congr. Math. 1, 2(Zürich, 1994), 120–139. Basel, Birkhäuser (1995) · Zbl 0846.53021
[12] Lurie, J.: Stable infinity categories (2006). arXiv:math/0608228
[13] Rouquier, R.: Categorification of the braid groups (2004). arXiv:math/0409593
[14] Seidel P., Thomas R.: Braid group actions on derived categories of coherent sheaves. Duke Math. J. 108(1), 37–108 (2001) · Zbl 1092.14025 · doi:10.1215/S0012-7094-01-10812-0
[15] Thomas R.P.: Stability conditions and the braid group. Comm. Anal. Geom. 14(1), 135–161 (2006) · Zbl 1179.53084 · doi:10.4310/CAG.2006.v14.n1.a6
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.