Exceptional sequences on rational \({\mathbb{C}^{*}}\)-surfaces (Q361849): Difference between revisions

By [\textit{L. Hille} and \textit{M. Perling}, Compos. Math. 147, No. 4, 1230--1280 (2011; Zbl 1237.14043)], every full exceptional sequence of invertible sheaves on a rational surface \(X\) gives rise to a so-called toric system. This is a cyclic configuration of divisors mocking the boundary divisor of a toric surface. This structure allows an operation (called augmentation) accompanying the blowing up of the surface in a point. In particular, it is possible that such systems do even arise, via augmentation, from Hirzebruch surfaces -- then they are called constructible. In the present paper, this structure is investigated on surfaces admitting a \(\mathbb C^*\)-action. The authors consider so-called homogeneous (and flat) families of them which leave the Picard group constant. They prove that any two \(\mathbb C^*\)-surfaces sharing the same Picard number are connected by a path of such families, and that it is possible to use these families to transport toric systems. Moreover, the authors consider constructible toric systems and discuss the existence of a simultaneous augmentation process along homogeneous flat families. As a special application, they show that exceptional toric systems on toric surfaces of Picard rank \(\leq 4\) are always constructible -- and they construct a counter example for this with Picard rank equal to five.