Mixed Braid Group Actions From Deformations of Surface Singularities

We consider a set of toric Calabi–Yau varieties which arise as deformations of the small resolutions of type A surface singularities. By careful analysis of the heuristics of B-brane transport in the associated gauged linear sigma models, we predict the existence of a mixed braid group action on the derived category of each variety, and then prove that this action does indeed exist. This generalizes the braid group action found by Seidel and Thomas for the undeformed resolutions. We also show that the actions for different deformations are related, in a way that is predicted by the physical heuristics.


Introduction
Let V be a vector space, and let T be a torus acting on V . If we pick a character θ of T , we have a stability condition for the associated GIT problem, and can form a GIT quotient X θ = V θ T . We'll borrow some physics terminology and refer to these different possible GIT quotients as phases.
There is now a well-developed general theory [4,14], inspired by the physics paper [13] but going back to ideas of Kawamata, that allows us to compare the derived categories of different phases. In particular, if T acts through SL(V ), so that all the phases X θ are Calabi-Yau, then all their derived categories D b (X θ ) will be equivalent. These equivalences are not canonical: whenever we cross a wall in the space of stability conditions, we have a countably infinite set of equivalences between the two phases that lie on either side. Consequently, we can produce autoequivalences of the derived category of a single phase X θ : we pass through an equivalence to the derived category of a different phase, then we pass back again, using a different equivalence. In this way we can produce a whole group of autoequivalences acting on D b (X θ ). Then we can ask the question: what group is it?
To get a prediction, we can turn to quantum field theory. The data of T acting on V determines a gauged linear sigma model (GLSM), a particular kind of supersymmetric 2dimensional QFT. The model has a parameter, called the (complexified) Fayet-Iliopoulos parameter, which takes values in a space which we'll call F. This parameter space F is a complex manifold (or orbifold) locally modelled on the dual Lie algebra t * of T , but it can have non-trivial global structure. In particular limiting regions in F, the theory is expected to reduce to a sigma model with target one of the phases X θ , with different phases occurring at different limits.
There is also believed to be a triangulated category associated to the GLSM, called the category of B-branes. If we assume the Calabi-Yau condition then this category is independent of the FI parameter, but only up to isomorphism. We should think of it as a 'local system' of categories over the space F. When we approach one of the limiting regions, the category of B-branes becomes identified (not quite canonically 1 ) with the derived category D b (X θ ) of the corresponding phase. If we travel along a path in F from one limit to another then we can perform 'parallel transport' of the B-branes, and produce a derived equivalence between the corresponding phases. Similarly, if we travel around a large loop in F then we get a monodromy autoequivalence, acting on the derived category of a single phase. The derived equivalences and autoequivalences that arise from this 'brane transport' are believed to be exactly the ones that arise from variation of GIT quotient in the mathematical constructions mentioned above. So this picture tells us which group we should expect to see acting on D b (X θ ): it's the fundamental group of F. 2 Providing a rigorous definition of this QFT is an immensely difficult problem which will probably not be resolved for many years, and consequently an intrinsic definition of the FI parameter space F is not known. Fortunately, what is known is a completely precise heuristic recipe that tells us how to construct F. The justification for this recipe (at least mathematically) is toric mirror symmetry, since F is related to the complex moduli space of the mirror theory. 3 If we apply this recipe, and can compute π 1 (F), then our heuristics will have given us a precise prediction about derived autoequivalences which we can then attempt to prove. In this paper we're going to carry out this program, and prove the prediction, for a particular set of examples.
Our examples arise from a well-known piece of geometry, namely resolutions of the A k surface singularities, and their deformations. The resulting set of GLSMs has another important feature: certain phases of each model embed, in a natural way, into particular phases of some of the other models. In other words, we're considering some toric varieties, and also some torically-embedded subvarieties.
When two GLSMs are related in this way then a rough physical argument suggests that there should be a map from the FI parameter space for the ambient variety to the FI parameter space for the subvariety. We don't know a mathematical justification for this argument, but in our examples we see that these maps do indeed exist, and in fact they're covering maps. Consequently the fundamental groups of the two FI parameter spaces are related, and this suggests that the brane transport autoequivalences for the two models should also be related. We show that these predicted relationships between the examples do indeed hold.

Main result.
We now briefly state our main theorem, leaving some of the details to Sect. 2. Firstly, let Y denote a minimal resolution of a local model for an A k surface singularity, as described explicitly in Sect. 2.2. In a seminal paper Seidel and Thomas [24], construct a faithful action B k+1 D b (Y ) of the braid group on k + 1 strands on the derived category of Y , by spherical twists. Now given a partition Γ of the set of strands, we may define: 1. A mixed braid group B Γ , namely that subgroup of the braid group B k+1 consisting of braids which respect the partition Γ [see (5)]. 2. A certain deformation X Γ of the surface Y (see Sect. 2.2.1). This deformation has s parameters, where s + 1 is the number of pieces in the partition.
construct such actions by representation-theoretic means on slices of the Grothendieck-Springer simultaneous resolution. Similar constructions appear in Cautis-Kamnitzer [8,Section 2.5], in the study of categorified quantum group representations. However our focus is somewhat different, as we see these actions as arising from the toric geometry of the varieties X Γ , and our main aim is to relate this to the physical heuristics. We remark very briefly on our method of proof (which is quite different to [6,8] or [24]). In our construction, the autoequivalences which generate the group action turn out to correspond to 'windows' in the derived category of the stack associated to a certain GIT problem. After a careful analysis of these windows, a conceptually simple proof of the braid relations emerges, in Sect. 5.2. We hope that this approach will be useful in more general situations, where the machinery of [4,14] can be applied. See Remark 12 for more discussion on this point.

1.2.
Outline. The structure of this paper is as follows. Appendix A lists our main notations, along with cross-references to their explanations.

The
where the C * acts with weights (1, −1, −1, 1). The scheme underlying this stack is the threefold ODP singularity {uv = z 0 z 1 }, which is the versal deformation of the A 1 surface singularity. 4 If we pick a character of C * then we can form the associated GIT quotient. There are two possible quotients which we'll denote by X + and X − : each one is isomorphic to the total space of the rank 2 vector bundle O P 1 (−1) ⊕2 . This is the standard Atiyah flop.
These two resolutions X + and X − have a common roof whereX is the total space of the bundle O(−1, −1) P 1 ×P 1 . Bondal and Orlov [7] showed that this correspondence induces a derived equivalence There is another approach to this derived equivalence, introduced by the secondnamed author in [23] and based on the physics arguments of [13]. We view the GIT quotients as open substacks ι ± : X ± → X , and we define certain subcategories of D b (X ), nicknamed 'windows', by for k ∈ Z, i.e. W(k) is the full triangulated subcategory generated by this pair of line bundles. Then it is easy to show that for any k both functors are equivalences, so we can define a set of derived equivalences between X + and X − by The relationship between these two approaches is the following statement: Proposition 1. The window equivalence ψ −1 and the Bondal-Orlov equivalence F coincide: The proposition is the statement thatF is the identity. Since W(−1) is generated by O(−1) and O, it's enough to check thatF acts as the identity on these two objects, and on all morphisms between them. Since π − is rational, F sends O to O and so doesF. For the other object, note that , so the adjoint of this is a map on X − . It's elementary to calculate that this map is an isomorphism in any affine patch in X − . ThusF acts as the identity on the two generating objects. For the morphisms: we note that all morphisms between these two line bundles come from functions on C 4 (there are no higher Exts), and F is the identity away from the codimension 2 subvarieties The other ψ k can be obtained by modifying F by the appropriate line bundle onX . Also see [15,Section 3.1] for a more general version of this statement. Now we connect the above with the GLSM heuristics. For this GIT problem, the FI parameter space turns out to be a P 1 with three punctures: The first two punctures (or more accurately, neighbourhoods of these punctures) are 'large-radius' (LR) limits corresponding to the two phases X ± . The third puncture is the 'conifold point' where the theory becomes singular (we'll explain this picture further in Sect. 4). Traversing a loop around one of the large-radius limits is supposed to produce an autoequivalence on the derived category of the corresponding phase, and the correct autoequivalence is just tensoring by the O(1) line bundle.
More interestingly, travelling along a path which starts near one LR limit and ends near the other should produce a derived equivalence between the two phases. Identify F X with C ζ −{0, 1}, then take log(ζ ) to get the infinite-sheeted cover C log(ζ ) −2πiZ. The LR limits lie at Re(log(ζ )) 0 and Re(log(ζ )) 0, so consider a path that travels from one to the other with Re(log ζ ) increasing monotonically. The homotopy class of such a path is determined by which interval it lies in when it crosses the imaginary axis. The interpretation of the physical arguments in [13] is that the path that goes through the interval between 2πik and 2πi(k + 1) produces the derived equivalence ψ k described above. Now consider a loop that begins in Re(log(ζ )) 0 and circles the origin once clockwise, without encircling any other punctures. It follows that this loop produces the autoequivalence In [11] autoequivalences of this form were called 'window shifts'. It was shown there, for a larger class of examples, that these autoequivalences can be described as twists of certain spherical functors. This particular window shift is equal to a Seidel-Thomas spherical twist [24] around the spherical object Given Proposition 1, we can also describe this autoequivalence as a composition of 'flop' and 'flop back again' (with the appropriate line bundles inserted).

The surfaces. Now consider the stack
where the C * acts with weights (1, 1, −2). The scheme underlying this stack is the A 1 surface singularity {uv = z 2 }. There are again two possible GIT quotients: Y + is the total space of O(−2) P 1 , and Y − is the orbifold C 2 / Z 2 . Most of the analysis of the previous example can be repeated verbatim, so there is an equivalencẽ coming from the common birational roof, and there are windowsW(k) ⊂ D b (Y) defined in the same way and giving rise to equivalences Also,F =ψ −1 by the same argument. The FI parameter space for this example turns out to be an orbifold: it's a P 1 with two punctures and an orbifold point at 0 : 1 with Z 2 isotropy group. The phases Y + and Y − correspond to the regions near 1 : 0 and 0 : 1 respectively, and 1 : 1 is again a conifold point. Using the functorsψ k , and tensoring by line bundles, we can again produce an action of π 1 (F Y ) on the derived category of either of the two phases. The existence of the orbifold point in F Y corresponds to the fact that on Y − , tensoring with O(1) has order 2. Also, one can show that looping around the conifold point produces a spherical twist autoequivalence

2.1.3.
Relating the examples. Now we can ask about the relationship between these two examples. It is a well-known fact that we can include Y + as a subvariety into either of X + or X − as the zero locus of the invariant function b 0 a 0 − b 1 a 1 on C 4 , so that we have Indeed if we put the obvious symplectic form on C 4 then we can view Y + as a hyperkähler quotient, and the invariant function as the complex moment map.
We claim that this fact is reflected in the FI parameter spaces for the two examples. Specifically, we make the observation that there is a 2-to-1 covering map F X → F Y sending the conifold point to the conifold point, and identifying the two LR limits in F X with the limit corresponding to Y + in F Y . To see this, just notice that we can identify where the involution is ζ → 1/ζ . We'll explain this more systematically in Sect. 4. Now this covering map suggests that the derived equivalences that arise from the two examples are related, in a way that corresponds to the map between the fundamental groupoids of F X and F Y . For example, a loop around one of the LR limits in F X projects to a loop around the LR limit in F Y , which corresponds to the obvious fact that (1). More interestingly, a path between the two LR limits in F X projects to a loop around the conifold point in F Y , which suggests the following proposition. Proposition 2. The square below commutes.
, as required. The argument for the morphisms is similar to our previous one. (The P 1 ⊂ Y + is codimension 1, but all morphisms between these line bundles do extend uniquely.) Remark 1. One can also prove the above proposition by considering the Fourier-Mukai kernel for ψ 0 given to us from its geometric description, calculating the derived restriction of this kernel to Y + × Y + , and checking that the result agrees with the kernel for the spherical twist.
We may then deduce the following corollary. Corollary 1. The square below commutes.
This fact can also be deduced from the results in [19]. It corresponds to the fact that a loop around the conifold point in F X projects to a double loop around the conifold point in F Y .

Remark 2.
It's important not to confuse the FI parameter space with the 'stringy Kähler moduli space' (SKMS). Under renormalization, a GLSM is believed to flow to a (super) conformal field theory. 6 The SKMS is a particular slice through the moduli space of this conformal field theory, obtained by only varying the Kähler parameters of the theory. If we assume the Calabi-Yau condition, varying the FI parameter corresponds, after renormalization, to a variation of the Kähler parameters, and so there should be a map For the example Y, it is believed that this map is an isomorphism, so F Y is exactly the Kähler moduli space of the associated CFT. However, this cannot be true in the threefold example X . The two phases X + and X − are isomorphic and so produce the same CFT, therefore F X certainly does not inject into the moduli space of CFTs. For this example, it is believed that the true SKMS is in fact F Y , so the FI parameter space is actually a double cover of the true SKMS. 7 It should be possible to produce derived autoequivalences of the phases X ± by performing parallel transport of B-branes over the SKMS, not just over the FI parameter space, so the autoequivalence group that we are seeing is actually an index 2 subgroup of a larger possible group. Concretely, this means that the autoequivalence T S of D b (X + ) should have a square root. This is indeed true, and the required autoequivalence can be produced by composing F with pullback over the obvious isomorphism between X + and X − . There is also a beautiful construction of Hori [16,Section 2.4] that produces it using a different GLSM (equipped with a superpotential). Note however that although T S is compactly supported (i.e. it is trivial away from a compact subvariety), the square root of T S is not.

Statement of results.
In this section we'll explain the class of examples that we're going to consider, and the results that we obtain.

Construction.
Fix an integer k ≥ 1. Consider the quiver obtained by taking the affine Dynkin diagram of type A k , and replacing each edge with a pair of arrows, one in each direction (see Figs. 1 and 2). We'll label the clockwise arrows by a 0 , . . . , a k , and the anti-clockwise arrows by b 0 , . . . , b k . Now consider the Artin stack [ V / T ] parametrizing representations of this quiver which have dimension 1 at each vertex. More explicitly, we let -V = C 2(k+1) be the vector space (whose dual is) spanned by the arrows, so that it has co-ordinates a 0 , . . . , a k , b 0 , . . . , b k , and -T = (C * ) k+1 be the torus with one C * factor for each vertex.
There's an obvious action of T on V , by letting the C * associated to the ith vertex act with -weight +1 on the two incoming arrows a i−1 , b i , and -weight −1 on the two outgoing arrows a i , b i−1 , reading indices modulo k + 1. Note that the diagonal C * acts trivially, and also that the whole torus acts with trivial determinant on V .
The T -invariant functions on V are generated by the monomials So the affine quotient V /T is the singularity which is the universal unfolding of the A k surface singularity. If we choose a character θ of T , we can take a GIT quotient For X to be non-empty, we need to choose a θ that annihilates the diagonal C * . Then, for a generic such θ , the quotient X is a smooth toric variety resolving the singularity V /T . It's also Calabi-Yau, since T acts through SL(V ), and as we shall see later it's independent of θ , i.e. all the phases are isomorphic. This construction is well-known in the context of Nakajima quiver varieties. In that approach, one equips V with a T -invariant symplectic form by making a i and b i symplectically dual, then takes a hyperkähler quotient Y . As a complex variety, Y is a subvariety of X formed by taking level sets of all the 'complex moment maps', which are the invariant functions for 1 ≤ i ≤ k. Using these functions, we can view X as a family The fibres are all smooth surfaces: these are the (underlying varieties of the) possible hyperkähler quotients Y . The fibre over zero Y 0 is the very famous small resolution of the A k surface singularity uv = z k+1 , which appears in the McKay correspondence and Kronheimer's ALE classification. The larger space X is a versal deformation of Y 0 . Note that it may also be obtained as the inverse image of a Slodowy slice under the Grothendieck-Springer resolution [25]. In the case k = 1, we get the threefold X and the surface (Y 0 =)Y + ⊂ X that we discussed in Sect. 2.1. For higher k, we are also interested in some intermediate subvarieties lying between Y 0 and X . These intermediate subvarieties are indexed by partitions, as we will now describe.
Firstly, note that for any i, j ∈ [0, k] the invariant function z i − z j lies in the space C k spanned by the complex moment maps. Now let Γ be a partition of the set There is a corresponding subspace of C k , where we include the function z i − z j if and only if the variables z i and z j lie in the same part of Γ . We let X Γ ⊂ X be the subvariety defined as the vanishing locus of the subspace of the complex moment maps corresponding to a partition Γ .
Partitions form a poset, ordered by refinement, and obviously we have if Γ is a refinement of Γ . We'll let Γ fin denote the finest possible partition, which has (k +1) parts, then X Γ fin is the ambient space X . At the other extreme, the coarsest possible partition Γ crs , which has only one part, corresponds to the surface X Γ crs = Y 0 .

Physical heuristics.
As we will justify in Sect. 3, each of these varieties X Γ is a smooth toric Calabi-Yau, which arises as the GIT quotient of a vector space by a torus. As such, we can view each one as a phase of an abelian GLSM, and so we can run the physicists' recipe and compute the FI parameter space F Γ for each one. We will do this in Sect. 4, and the results are as follows.
For the ambient space X = X Γ fin , the FI parameter space is the set of (k + 1)-tuples of distinct non-zero complex numbers, up to overall scale. Now take a partition Γ , and let be the Young subgroup of permutations that preserve Γ . As we shall show, the FI parameter space associated to the subvariety X Γ ⊂ X is the orbifold using the obvious action of S k+1 on F fin . So the FI parameter spaces also show the poset structure, since we have a covering map The FI parameter space associated to the surface Y 0 is F crs = [ F fin / S k+1 ], which is a C * quotient of the configuration space of k + 1 points in C * . The fundamental group of this space is generated by two subgroups: a lattice, generated by letting each ζ i loop around zero, and a copy of the braid group B k+1 . For our purposes the lattice is not very interesting, and we'll focus on the braid group. The heuristic picture of brane transport over the FI parameter space predicts that there should be an action This braid group action was famously constructed by Seidel-Thomas [24]. Now choose a general partition Γ . It's clear that (the interesting part of) the fundamental group of F Γ is the group B Γ , defined as the fibre product where S Γ is the Young subgroup of elements of S k+1 preserving the partition Γ . Note that B Γ is the fundamental group of the configuration space of k + 1 points in C quotiented by the action of S Γ . The group B Γ is sometimes called a 'mixed braid group': it consists of braids that permute their endpoints in a way that preserves the partition Γ (Fig. 3). The special case Γ = Γ fin , and so S Γ = {1}, produces the 'pure braid group' P k+1 . The FI parameter space heuristics suggest the following result, which we shall prove.

Theorem 2 (Corollary 2).
There is an action of the mixed braid group B Γ on the derived category D b (X Γ ).
In the surface case, Seidel-Thomas proved the rather deep result that the action is faithful. We can leverage their result to prove that all our actions are also faithful.
Note that in the k = 1 case (Sect. 2.1), we did indeed see the above structure, but there wasn't much to prove since both B 2 and P 2 are isomorphic to Z. The action of Z on both D b (X + ) and D b (Y + ) was generated in each case by a spherical twist. The non-trivial fact was how these two actions were related to each other: we saw (Corollary 1) that the action of P 2 on D b (X + ) intertwined, via restriction, with the action of the subgroup Heuristically, this was a reflection of the fact that the FI parameter space for X + was a double cover of the FI parameter space for Y + .
For general k, similar FI parameter space heuristics predict that our mixed braid group actions should be related to each other, by the same poset structure. Precisely, we should expect that if Γ is a refinement of Γ , then the action of B Γ on D b (X Γ ) will intertwine via the restriction functor with the action of the subgroup B Γ ⊂ B Γ on D b (X Γ ). In the course of our proof we will show that this prediction does indeed hold (Proposition 11).
Remark 3. As we explained in Remark 2, the FI parameter spaces are not the true Kähler moduli spaces for these theories, indeed the true SKMS appears to be always given by F crs (for a fixed value of k). On the level of derived categories, this means that our mixed braid group actions could be extended to an action of the full braid group, by including square roots of the relevant spherical twists.

Future directions.
In principle, one can carry out this program for any example of a torus acting on a vector space. The main obstacle appears to be finding a meaningful description of the group π 1 (F).
A first guess for a good generalization of our examples is to follow the standard technique for Nakajima quiver varieties, and replace the affine A k Dynkin diagram by some other graph. Unfortunately, as soon as the graph has vertices with valency greater than 2, the obvious subvarieties of the representation space (the analogues of our X Γ 's) will not be toric, and so we won't get the whole poset of GLSMs and covering maps that we see in our examples.
In fact this covering map phenomenon, and its relationship with derived categories, is probably the most interesting feature of our construction. It would be worthwhile to investigate the general conditions under which it arises.

Toric Calculations
In this section we'll apply some completely standard toric techniques to understand our varieties X Γ .

Representations of the free quiver.
Our first task is to find the toric fan for the ambient variety X . As an initial step, we can package our construction as an exact sequence of lattices as follows: The matrices for the maps Q and P are given in Fig. 4. The lattice Z k+1 is identified with the lattice of 1-parameter subgroups of our torus T , with the action of T on V being encoded by Q in the usual manner. The Z at the left of the sequence corresponds to the diagonal C * ⊂ T , which acts trivially on V . The toric fan for X lies in the rank k + 2 lattice Im P ⊂ Z 2+(k+1) . However, we will often view it as a fan in Z 2+(k+1) , since the larger lattice has a convenient system of co-ordinates.
For any choice of θ we know the rays in the toric fan immediately: they're generated by the images of the standard generators for Z 2(k+1) (i.e. the rows of P). The lattice Z 2(k+1) is dual to the lattice of monomials with generators the arrows a 0 , . . . , a k , b 0 , . . . , b k . We consider the generators of Z 2(k+1) dual to the arrows a 0 , . . . , a k , and look at their images under P. This gives a set of vectors α 0 , . . . , α k (i.e. the a-indexed rows of P) which form the vertices of a standard k-simplex in the affine subspace u = 1, v = 0. The other half of the generators give a set of vectors β 0 , . . . , β k (i.e. the b-indexed rows of P) which span a standard k-simplex in u = 0, v = 1. So all the generators together span a polytope

Fig. 4.
Toric data for GIT quotient X Remark 4. Notice that Π lies in an affine hyperplane of height 1, namely {z 0 + · · · + z k = 1}: this is equivalent to the Calabi-Yau condition [22]. Now choose a character θ = (θ 0 , . . . , θ k ) ∈ (Z k+1 ) ∨ of the torus T which annihilates the diagonal C * , and lift it to an element ϑ ∈ (Z 2(k+1) ) ∨ . We can choose ϑ to be of the form Then and so these values ϑ i are unique up to adding an overall constant. Choose a character such that i.e. all the θ i are positive for i ≥ 1. We'll refer to the corresponding quotient X as the standard phase. The toric fan for X is the set of cones on some subdivision of the polytope Π . To find out which subdivision it is, we use a standard shortcut from toric geometry [12,Section 3.4]. View ϑ as an integer-valued function on the vertices of Π . After subdividing Π according to the toric fan for X , this function ϑ will extend to a strictly concave piecewise linear (PL) function over Π .
This shortcut lets us guess the answer. There is a standard way to triangulate Π = Δ k × I into (k + 1)-simplices, by cutting it into the pieces where 0 ≤ i ≤ k. Our standard ϑ gives a strictly concave PL function on this subdivision, and this is the only subdivision for which this is true, therefore this subdivision gives the correct fan for the standard phase. In summary: The toric fan for the standard phase X is given by all the cones on the simplices Δ i .
Remark 5. For future reference in Sect. 3.2, note that the cone on the polytope Π (i.e. the union of all the cones in the fan) is just the intersection of the positive orthant spanned by the lattice Im P. To get the cone on the simplex Δ i ⊂ Π , we additionally impose the inequalities If we vary the character ϑ, then the above argument shows that the GIT quotient does not change as long as we remain in the region (7), and conversely as soon as two of the ϑ i become equal then we hit a wall. Consequently the chambers for the GIT problem are the regions for some permutation σ ∈ S k+1 . We'll denote the corresponding quotients by X σ , but we'll continue to let X = X (1) denote the standard phase.
To get the fan for a non-standard phase X σ , we just re-order the vertices of Π by σ before performing the standard triangulation. Notice that all the phases are in fact isomorphic, because of this S k+1 symmetry (i.e. the Weyl group). This is not immediately obvious from the original quiver description.
We can use (z 1 , u) as co-ordinates on this subspace, then we can draw the triangulation of Π (see Fig. 5).
(2) For k = 2, the polytope Π lies in the affine subspace See Fig. 6 for the triangulation of Π . 3.2. Subvarieties associated to partitions. In this section, we'll investigate the subvarieties X Γ ⊂ X from Sect. 2.2.1. Recall that these subvarieties are cut out by subsets of the complex moment maps (4), which are functions μ i on X .
To start with, suppose X Γ is the divisor {μ i = 0}. The function μ i is not a character of the torus which acts on X , so X Γ is not a torus-invariant divisor. Nevertheless, X Γ is a toric variety. To see this, we first restrict our attention to the Zariski open torus (C * ) k+2 ⊂ X . Within this locus, the set {μ i = 0} is just a corank 1 subtorus. So X Γ is the closure of this subtorus, and is invariant under the action of the subtorus on X , so X Γ is a toric variety. Furthermore, to get the toric fan for X Γ we take the toric fan for X and slice it along the corresponding corank 1 sublattice, namely Similarly, if X Γ ⊂ X is a subvariety of higher codimension (associated to a partition with fewer parts), then X Γ is also a toric variety, and we can obtain its toric fan by slicing along the appropriate sublattice. We'll now perform this procedure explicitly, and work out the toric fans for all the X Γ .

Toric data. Fix a partition Γ , and encode it as a surjective function
whose level sets are the pieces of the partition. The fan for X Γ lies in the sublattice cut out by the equations z i = z j , for all i, j such that γ (i) = γ ( j). Notation 1. We choose co-ordinates (ũ,ṽ,z 0 , . . . ,z s ) on the sublattice Z 2+(s+1) of (11), induced from co-ordinates on the bigger lattice Z 2+(k+1) in the natural way: we setũ = u,ṽ = v, and for each t ∈ [0, s] we have a co-ordinatẽ z t , which is the restriction of z i for all i ∈ γ −1 (t). We write for the sizes of the pieces of the partition.
Example 2. Let k = 4, and let Γ = (01)(234). Then s = 1, and the corresponding function γ and the associated co-ordinatesz i are as follows: Recall from Remark 5 that the union of all the cones in the fan for X is the intersection of the positive orthant in Z 2+(k+1) with the hyperplane (9). Consequently, the union of all the cones in the fan for X Γ must be the intersection of the positive orthant The lattice points that lie in this locus are easy to determine, they form a cone generated by the set of points where t ∈ [0, s], and δ ∈ [0, N t ]. The convex hull of all these generating pointsα t (δ) is a polytopeΠ which again is isomorphic to a prism on a simplex. The points at the vertices ofΠ are the two s-simplices which are embedded in a non-standard way. All the other pointsα t (δ) lie along edges ofΠ .
We've determined that the union of all the cones in the fan for X Γ is the cone on this polytopeΠ. To determine the individual cones, we recall that the polytope Π for X is subdivided into (k + 1)-simplices Δ 0 , . . . , Δ k , and the cones on these simplices define the toric fan for X . To get the cones in the fan for X Γ , we take the cone on each simplex Δ i and slice it along the hyperplane (12).
The cone on Δ i is cut out of the positive orthant in Z 2+(k+1) by the inequalities (10), so after slicing we obtain the subset of the positive orthant in Z 2+(s+1) cut out by the inequalitiesũ where the integers n i t and m i t are defined as follows: The lattice points that lie in this region necessarily form a cone generated by some subset of the lattice points inΠ . This subset consists of These points span an (s +1)-simplex, which we'll denote byΔ i . Together these simplices form a triangulation of the polytopeΠ . In summary: The toric fan for X Γ consists of the cones on the simplicesΔ i . In particular, the complete set of pointsα t (δ), as defined by (13), generate all the rays.
Remark 6. The whole ofΠ lies in the affine hypersurface and hence X Γ is Calabi-Yau.
Remark 7. This triangulation ofΠ ∼ = Δ s × I is easy to visualize: start with the base s-simplex and turn it into an (s + 1)-simplex by adjoining the pointα γ (0) (1). Now take the 'top' face of this (s + 1)-simplex, namely and extend it to a new (s + 1)-simplex by adjoining the pointα γ (1) (n 2 γ (1) ). This new point will either beα γ (1) (1). We continue in this way, increasing the 'heights' of the vertices according to the values of γ , until we reach all the maximum heights N 0 , . . . , N s and have triangulated the whole ofΠ.
Example 3. We return to Example 1, the conifold. The subvariety corresponding to the partition Γ = (01) is the A 1 surface of Sect. 2.1.2, and the fan is the cone on the polytope in Fig. 7.
Example 4. Let k = 4, so that X is a sixfold, and let Γ be the partition as in Example 2. Then s = 1, so X Γ is a threefold. The polytopeΠ lies in the affine subspace We can use (z 1 ,ũ) as co-ordinates on this subspace, then we can draw the triangulation ofΠ (see Fig. 8).

GIT description
We've constructed the toric data for X Γ , however we claim that X Γ is in fact a GIT quotient of a vector space by a torus, which for us is a more useful description. (Of course this is not surprising, as it's true of 'most' toric varieties.) We'll first argue this abstractly, then we'll explicitly identify the GIT data.
If we forget the individual cones in the fan (i.e. the triangulation ofΠ), then we have only the data of the set of (k + s + 2) vectorsα t (δ) that generate the rays. Let {e t (δ)} be an abstract set bijecting with the set of vectors {α t (δ)}. Then we have a map between latticesP The kernel of this map is a rank k lattice, and the associated torusT = (C * ) k acts on the vector spaceṼ generated by the e t (δ). This is a GIT problem, and the possible phases V T correspond to particular subdivisions of the polytopeΠ. Proof. Our choice of character θ specifies a toric ample line bundle L on X , making X a projective-over-affine variety. The subvariety X Γ ⊂ X is cut out by global homogeneous equations so it is also projective-over-affine: it is Proj of the graded ring of sections of powers of the line bundleL = L| X Γ . Moreover, the line bundleL is automatically equivariant with respect to the torus action on X Γ , so we have a toric ample line bundle.
It follows by standard toric arguments thatL corresponds to some characterθ of the torus (C * ) k , i.e. a stability condition for our new GIT problem, and that the corresponding GIT quotient is X Γ .
We'll refer to X Γ as the 'standard phase' for this GIT problem. There are some other obvious phases: if we start with a non-standard phase X σ for the ambient space (associated to some σ ∈ S k+1 ), and then impose the moment map equations corresponding to Γ , we get another toric variety X σ Γ which is birational to X Γ . It's clear how to get the toric fan for X σ Γ : we just apply the permutation σ before running the recipe from the previous section. Consequently X σ Γ is constructed by the same GIT problem that constructs X Γ , so it's another phase.
From the recipe for the toric fans, it's clear that if σ fixes the partition Γ then X Γ and X σ Γ are identical (i.e. isomorphic over the affine base). Therefore these phases depend only on the coset σ S Γ , where S Γ ⊂ S k+1 is the symmetry group of Γ .
As we will see later, these are not the only phases of this GIT problem: there are phases which are orbifolds, and so cannot arise in this way.
Next we'll explicitly identify the kernel ofP, i.e. the action ofT = (C * ) k onṼ . Note that for any t, and any δ ∈ [0, N t − 1], we have e t (δ + 1) − e t (δ)P → (−1, 1, 0, 0, . . . , 0), so if we pick any two of these elements then their difference lies in the kernel ofP, and it's evident that the whole kernel is spanned by vectors of this form.
In general, we have the following proposition.
in the kernel ofP, and this set of vectors forms a basis.
Example 5. For Example 3, the A 1 surface, the above Proposition 4 gives a single generator for the kernel. This tells us that X Γ is a GIT quotient of C 3 by C * acting with weights (−1, 2, −1), which of course we knew.
Example 6. Returning to the setting of Example 4, we find that the two simplicesΔ 1 and Δ 2 yield coplanar vectors as in case (1) above, and the other pairs of adjacent simplices give collinear vectors as in case (2). So this threefold X Γ is a GIT quotient of C 7 by the torus (C * ) 4 acting with weights as follows: As we explained in the proof of Proposition 3, our choice of character θ when constructing the ambient space X induces a characterθ ofT . We'll now identify this character explicitly. This will tell us what stability conditions we can choose on our GIT problem V T to produce the standard phase X Γ . Recall that our standard ϑ extends to a concave PL function on the toric fan for X . We just restrict this function to the fan for X Γ , then its values on the verticesα t (δ) give a liftθ of the characterθ . The vertexα t (δ) can be written as a sum (13)]. Because of our choice (6) of ϑ we have thatθ(β i ) = 0, so the fact that the function ϑ is concave implies thatθ i.e. the sum of the δ biggest values lying in the tth part of the partition. If we restrict this functionθ to the kernel ofP, this will give us our characterθ of the torus (C * ) k . To see what the result is, note first that where ϑ d is the (δ + 1) th biggest value lying in the t th part of the partition. Consequentlỹ So in this basis, setting all coefficients of the characterθ to be positive produces the standard phase X Γ . In fact we will see in the next section that this is precisely the chamber of characters that produce this phase, so we'll refer to it as the standard chamber for this GIT problem.

Families of rational curves.
In this section we'll make some very straightforward observations on the geometry of X and its subvarieties X Γ .
Recall that the fan for X is the union of the cones on the simplices Δ i (8). The cone on Δ i corresponds to a toric open set U i ⊂ X , it's the quotient of the open subset of V by the torus T /C * ∼ = (C * ) k . Consequently U i is isomorphic to C k+2 , and it has natural co-ordinates a 0 , . . . , a i , b i , . . . , b k .
If we take two neighbouring simplices Δ i−1 and Δ i , and consider the corresponding open sets U i−1 and U i , we find that they glue together to give an open set The ratio a i : b i−1 gives co-ordinates on the P 1 , the co-ordinates a i−1 and b i are the fibre directions on the bundle, and the remaining co-ordinates a 0 , . . . , a i−2 and b i+1 , . . . , b k parametrize the C k−1 . We will be interested in the codimension 2 subvarieties corresponding to the zero section of the bundle, where here 1 ≤ i ≤ k. Each S i lies entirely within the open set N i , so it's a trivial family of rational curves, and it has this very simple Zariski neighbourhood.
Remark 8. If we vary our GIT quotient from the standard chamber (7) to the neighbouring chamber by passing through the wall θ i = 0, then S i is exactly the locus that becomes unstable. To see this, observe that a cone disappears from the fan if and only if it contains the cone on the interval [α i−1 , β i ], which is the cone corresponding to the toric subvariety S i . We show this in an example in Figs. 9 and 10.
3.3.1. Subvarieties X Γ . Now we pick a partition Γ with s pieces. We want to find the intersection of these S i with the subvariety X Γ , which is cut out by some subset of the equations z j − z l = 0. Within N i , the global functions z j become There are two cases to distinguish: The subvarieties S i and X Γ intersect transversely, and the subvarietỹ is an (s − 1)-parameter trivial family of rational (−1, −1)-curves.
In this case the intersection of S i and X Γ is not transverse, andS i is an s-parameter trivial family of rational (−2)-curves.
In each case,S i has this very simple Zariski neighbourhoodÑ i . See Fig. 11 for an example.  (2). In this case s = 1, and X Γ is a threefold. The locus S 1 is a 1-parameter family of (−2)-curves, and S 2 is a single (−1, −1)-curve. Compare Fig. 10 We can also find theseS i in the toric data for X Γ , or equivalently in terms of the GIT problemṼ T . Recall that the toric fan for X Γ is the union of the cones on the simplicesΔ i (15). Each such cone corresponds to a 'toric chart'Ũ i ⊂ X Γ , isomorphic to affine space, andÑ i =Ũ i−1 ∪Ũ i , soÑ i is a toric variety whose fan has only two cones. If we inspect this toric data, we see that it's constructingÑ i as a GIT quotient By (17), the value of a standard stability conditionθ on the 1-parameter subgroup τ i is (ϑ i−1 − ϑ i ). Consequently, when we leave the standard chamber across the wall corresponding to ϑ i = ϑ i−1 the family of curvesS i becomes unstable. What happens when we cross the wall differs in the two cases: (a) Across the wall, there is a neighbouring phase for X Γ where the locusS i has been flopped: locally aroundS i , this is just a trivial family of standard threefold flops. This neighbouring phase is a subvariety inside a non-standard phase of the ambient space X : we move to the chamber (19) and then impose moment maps corresponding to the same Γ . In other words, this flop of the locusS i is just induced by a flop of the locus S i inside X . (b) Across the wall there is a neighbouring phase for X Γ where the locusS i has been removed, and replaced with a trivial family of orbifold points with Z 2 isotropy groups. This neighbouring phase is an orbifold, and so cannot be a subvariety inside any phase of X . The charactersθ in this neighbouring chamber do not arise from any θ .
If we travel further away from the standard chamber then we can reach other kinds of phases, which can have larger isotropy groups. Note also that the above description still works if we start in any phase X σ Γ induced from a non-standard phase X σ of the ambient space: we just have to permute the variables.

Derived equivalences from wall-crossing.
In this section we'll discuss the derived equivalences that correspond to the wall-crossing described in the previous section, following the general theory of [4,14] and especially [15]. 8 Start with a standard phase X Γ of one our subvarieties, pick a value of i, and let X Γ be the phase obtained by crossing the wall corresponding to ϑ i = ϑ i−1 . As we saw in Sect. 3.3, the birational transformation between X Γ and X Γ is locally just a trivial family of the two kinds of A 1 flops discussed in Sect. 2.1. Consequently, there are Z-many derived equivalences which roughly-speaking come from family versions of the derived equivalences we saw in the A 1 case. Let's explain this more precisely.

General theory.
Let Y be a smooth projective-over-affine variety equipped with a C * action, and let σ : Z → Y be the inclusion of the fixed locus. For simplicity, assume that Z is connected. To form a GIT quotient, we need to choose an equivariant line bundle on Y , so let's choose O Y (1) (i.e. the trivial line bundle equipped with a weight 1 action). Then the unstable locus is the subvariety S + ⊂ Y of points that flow to Z under the C * action (as t ∈ C * goes to 0), so the semistable locus is Y ss := Y − S + , and the GIT quotient is [Y ss /C * ]. 9 Now let η + be the C * -weight of the line bundle det N ∨ S + /Y along Z , which is necessarily a positive integer. For any choice of integer k, we define a 'window' to be the full subcategory of objects E such that all homology sheaves of Lσ * E have C * -weights lying in the interval [k, k + η + ).

So for example, the equivariant line bundle O Y (i) lies in W(k)
if and only if i lies in the above interval. In fact if Y is a vector space then we may equivalently define W(k) to be the subcategory generated by this set of line bundles, as we did in Sect. 2.1. A basic result of the theory cited above is that the restriction map is an equivalence (for any k). If we change our stability condition to O Y (−1) then the unstable locus changes to the subvariety S − of points that flow away from Z (i.e. they flow to Z as t ∈ C * goes to infinity), and we have a similar description of the derived category of the other GIT quotient (Y − S − ) / C * based on the weight η − of (det N S − /Y )| Z . In particular if we happen to have η − = η + then the two GIT quotients are derived equivalent, and each choice of window gives a specific derived equivalence ψ k .

3.4.2.
Our examples. Now let's apply this theory to the wall-crossing between the phases X Γ and X Γ . We saw in Sect. 3.2.2 that both are GIT quotients of a vector spaceṼ by a torusT . The wall between the phases is part of the annihilator of the 1-parameter subgroup τ i ⊂T . Choose a stability condition that lies exactly on the wall (but not also on any other walls), and letṼ ss be the semistable locus for this stability condition. If we pick a splittingT = τ i ⊕ τ ⊥ i , then the torus τ ⊥ i acts freely onṼ ss , the quotient Y =Ṽ ss /τ ⊥ i is a smooth projective-over-affine variety, and we have an isomorphism of stacks Our phases X Γ and X Γ are the two possible GIT quotients of Y by τ i . By definition the subvariety S − ⊂ Y is the closure of the locus that becomes unstable when we cross the wall, so we know from Remark 8 that S − is (the closure in Y of)S i , our trivial family of rational curves (18). Similarly S + is (the closure of) the subset that replacesS i after the flop: by Sect For instance, taking the setup of Sect. 2.1.1, we find that our S + is the locus {a 0 = b 1 = 0}. The normal bundle to S + is rank 2, the C * acts with weights (−1, −1), and we deduce that η + = 2. The other calculations are similar. 10 We see therefore from the general theory that we have derived equivalences ψ k between the two phases, defined using windows

Geometric description of equivalences. The family version of Proposition 1 holds true [15, Section 3.1], so the equivalence
can also be described using the common birational roof. Similarly, the autoequivalence is a family version of the spherical twist around O P 1 (−1) that we discussed in Sect. 2.1. More precisely, let be the trivial family of rational curves [here r is either (s − 2) or (s − 1) depending on which case we're in], and let O(−1) be the relative tautological line bundle for μ. Then we define a functor S with right adjoint R, as follows: The functor S is a spherical functor in the sense of [2,3]. 11 We can define an associated spherical twist functor Recall thatS i has a nice Zariski neighbourhoodÑ i which is a trivial family of copies of either (a) O(−1, −1) or (b) O(−2) over P 1 . Within this neighbourhood T S is just a trivial family of ordinary spherical twists around O P 1 (−1), and outsideÑ i it's just the identity functor. By [15, Section 3.2], we have that Again this discussion holds equally well if we start our wall-crossing from any phase X σ Γ .

Toric mirror symmetry heuristics.
Choose an action of a rank r torus T on an ndimensional vector space V . After picking diagonal co-ordinates, the action is given by the matrix of weights For simplicitly we assume that Q is an injection, and we let P : Z n → Z n−r be the cokernel of Q (modulo torsion). Notice that Z n has a canonical positive orthant (since it comes from a vector space), so it has a canonical set of generators, up to permutation. If we were to pick a character θ of T and construct the corresponding toric variety X = V θ T , then the toric fan for X lies in the lattice Z n−r , and the rays in the fan are generated by (some subset of) the images of the canonical generators under P.
As we discussed in the introduction, we can also view this as the input data for a gauged linear sigma model, with gauge group T . Associated to the model there is a complex orbifold F, which is supposed to be the space of possible values for the 11 To be precise at this point, we should exhibit a Fourier-Mukai kernel for S. For this we follow the standard procedure of [18, Section 5.1]: taking the graph Γ μ ⊂ C r ×S i , and putting Q = (id ×ι) * where p is the projection toS i , we see that the kernel Q reproduces our functor S. complexified Fayet-Iliopoulos parameter that occurs in the Lagrangian of the model. Fortunately we don't need to understand what this means, since toric mirror symmetry provides a precise heuristic recipe for constructing F (see for example [10]). We'll now describe this recipe.
Let L be the vector space This vector space naturally carries an action of a rank (n − r ) torus, with weight matrix This is the Gale dual GIT problem. The space F is a particular open subset of the quotient space, and to describe this subset we need to describe the dual GIT problem in the following way.
Under the map P, the canonical generators for the lattice Z n go to some subset of the lattice points in Z n−r , we let Π ⊂ Z n−r be the polytope spanned by this subset. For simplicity, we assume that all these images are distinct, and that Π contains only these n lattice points and no others. Now pick (n−r ) formal variables x 1 , . . . , x n−r , so each point p = ( p 1 , . . . , p n−r ) ∈ Z n−r corresponds to a Laurent monomial x p 1 1 . . . x p n−r n−r , which we denote by x p . Then we can identify the vector space L with the space of Laurent polynomials L = p∈Π c p x p c p ∈ C spanned by the Laurent monomials corresponding to the lattice points in Π . Since it has a basis, L carries an action of a rank n torus, given by rescaling the coefficients c p . It also carries an action of a rank (n − r ) torus given by rescaling each variable x 1 , . . . , x n−r . The weight matrix for this latter action is exactly P T , so this is exactly the Gale dual GIT problem.
The FI parameter space F is defined to be the quotient of a certain open set in L by the torus (C * ) n−r . To obtain this open set, we remove two kinds of points from L, as follows: 1. The hyperplanes {c p = 0}, for every point p ∈ Z n−r that corresponds to a vertex of Π . In other words, we insist that our Laurent polynomials have Newton polytope exactly Π .
We'll call the complement of this set of hyperplanes L . Every point in L has finite stabilizer, so the space is an orbifold. On L we have a rank n torus action given by rescaling the coefficients of the polynomials, this leaves a residual action of a rank r torus on F. This rank r torus is the dual torus to our original torus T . Thus F is a (non-compact) toric orbifold, under this T ∨ action. The space F is an open set in F, which we obtain by removing a second kind of point: 2. The 'discriminant' locus of 'non-generic' polynomials. Genericity here means the following: for every face F of Π (of any dimension) that doesn't contain the origin, consider the 'restricted' Laurent polynomial obtained by setting to zero each coefficient that doesn't correspond to a vertex of F. We require that every such restricted Laurent polynomial has no critical points in the torus (C * ) n−r .
The discriminant locus is the degeneracy locus of the associated GKZ system of differential equations [1]. The discriminant locus is not usually invariant under the action of T ∨ , so there is no torus action on F.
The 1-parameter subgroups in T ∨ correspond to characters θ for our original GIT problem. They're divided into chambers corresponding to the different possible GIT quotients X , these are the chambers of the secondary fan. For each possible GIT quotient we have a corresponding 'large-radius limit' in F, which is roughly the limit of a generic point in F under the action of any of the 1-parameter subgroups in the corresponding chamber. If this limit exists then it will be a torus fixed point in F, if not then we think of it as a region lying at infinity.

Remark 9.
Although this recipe appears to correctly produce the FI parameter space, it is not enough to accurately produce the mirror family. By construction, F is a moduli space of Laurent polynomials, and Hori-Vafa [17] argued that the mirror family is the associated family of Landau-Ginzburg models. This works in some compact examples, but is known to be only an approximation when the phases are non-compact, as happens in our examples. The actual construction of the mirrors to our examples is rather subtle, see [9]. and let X Γ be the corresponding toric variety. In Sect. 3.2 we computed the full toric fan for X Γ , in particular we described (Lemma 2) the set of generators for all the rays in the fan. This is the same as giving the matrix P, so it's enough information to run the recipe and compute the corresponding FI parameter space F Γ .
Recall that the rays in the fan for X Γ are generated by the vectors defined in (13). Here t ∈ [0, s] and δ ∈ [0, N t ], where N t = #γ −1 (t). The corresponding Laurent monomials areũ δṽ N t −δz t (in fact in this case they are all ordinary monomials), so the space L consists of all polynomials of the form where each f t is a homogeneous polynomial of degree N t . We have a (C * ) 2+(s+1) action on L, but there is a global C * stabilizer which is an artifact of our decision to draw the toric fan in a lattice whose rank was 1 larger than necessary. We need to remember to neglect this global stabilizer when forming the quotient.
Next we have to identify which loci we should delete from L.
Step 1 is easy, we just require that the first and last coefficients of each f t cannot go to zero, i.e. each polynomial f t (ũ, 1) cuts out a length N t subscheme in the punctured line C * u . For step 2, recall (14) that the vectorsα t (δ) span a polytopeΠ, which is abstractly isomorphic to a prism Δ s × I . Hence there are two kinds of faces ofΠ. For any subset J ⊂ [0, s], there are subsimplices Δ J ⊂ Δ s at either end of the prism, and there is also the prism Δ J × I ⊂ Δ s × I .
-For the first kind of face, the corresponding restricted polynomial is of the form t∈J λ tũ and these never have critical points on the torus. -For the second kind of face, the corresponding restricted polynomial is Now we have a non-trivial condition.

Lemma 3. There exists a J ⊂ [0, s] such that the polynomial t∈J f t (ũ,ṽ)z t has a critical point on the torus if and only if at least one of the following two conditions hold:
1. There is some t ∈ [0, s] such that the polynomial f t (ũ, 1) has a repeated root. 2. There is some pair t 1 = t 2 ∈ [0, s] such that the two polynomials f t 1 (ũ, 1) and f t 2 (ũ, 1) share a common root.
Proof. Let g(ũ) = f t (ũ, 1) for each t. Since each f t is homogeneous, the given polynomial has a critical point on the torus if and only if t∈J g t (ũ)z t has a critical point on the torus, i.e. there is a solution to the set of equations with all variables non-zero. Suppose there is such a solution, for some J ⊂ [0, s]. If J = {t} has size 1, then the above equations imply that g t (ũ) has a repeated root, fulfilling condition (1). If # J ≥ 2, they imply that this subset of the polynomials have a common root, fulfilling condition (2). Conversely: if condition (1) holds, set J = {t}. Now suppose condition (2) holds, but not condition (1). Then we have two polynomials g t 1 (ũ) and g t 2 (ũ) with only simple roots, having a common rootũ 0 . Set J = {t 1 , t 2 } and note that the equation has a solution with bothz t 1 andz t 2 non-zero, since both of the coefficients are non-zero.
In summary, we have the following proposition.

Proposition 5.
where each f t is a homogeneous polynomial of degree N t inũ andṽ such that -no f t has roots atũ = 0 orṽ = 0, -no f t has repeated roots, and -no two of the f t share a root.

The torus acts by rescalingũ andṽ, and each f t .
Now consider the special case when we choose the finest possible partition Γ fin , so that each N t = 1. In this case we can replace each linear function f t with its root ζ t ∈ C * u , so we have (using the abbreviation F fin := F Γ fin ) where the ζ t are all distinct and non-zero.
At the opposite extreme, suppose we choose the coarsest possible partition Γ crs . This has only one piece, so s = 0 and N 0 = k + 1. In this case, we can replace the single f 0 with its set of roots {ζ 0 , . . . , ζ k } ⊂ C * u . Writing F crs := F Γ crs , we then have where again the ζ t are all distinct and non-zero. So F crs is a quotient of F fin by the action of the symmetric group. Finally, suppose that Γ is some intermediate partition.
We can identify each f t with its set of roots, and so get a set of distinct non-zero roots (ζ 0 , . . . , ζ k ). However, this set of roots is partitioned by Γ , and we allow relabelings that preserve the partition. In other words, we have where S Γ is the Young subgroup S Γ = S N 0 × . . . × S N s ⊂ S k+1 that fixes the partition Γ .

Large-radius limits.
We now identify some of the large-radius limits in the spaces F Γ . Pick a 1-parameter subgroup of T ∨ corresponding to a character θ ∈ (Z k+1 ) ∨ with a lift ϑ ∈ (Z 2(k+1) ) ∨ lying in the standard chamber (7). This acts on the space F fin by so the corresponding 'region at infinity' in F fin is the locus where The other large-radius limits in F fin are of the same form, but with the order of the roots permuted by some σ ∈ S k+1 . Next we look at F crs , where we have a single polynomial f 0 . A 1-parameter subgroup θ in the standard chamber is induced from a standard θ as explained in Sect. 3.2.2, and it acts on the polynomial f 0 by rescaling the coefficient ofũ k+1−δṽδz 0 with weight ϑ(α 0 (δ)) = ϑ 0 + ϑ 1 + . . . + ϑ δ−1 [see (16)]. Therefore it acts on the roots of f 0 by rescaling them with weights ϑ 0 , . . . , ϑ k , and so the standard LR limit in F crs is again the region where log |ζ 0 | log |ζ 1 | . . . log |ζ k | (here the labelling of the roots is arbitrary, so we can choose to label them according to size). So the standard LR limit in F crs is the common image of all the LR limits in F fin , exactly as our heuristic picture suggests. Now leave the standard chamber by crossing the wallθ(τ i ) = ϑ i−1 − ϑ i = 0, i.e. violate the inequality 2θ(α 0 (i)) −θ(α 0 (i + 1)) −θ(α 0 (i − 1)) > 0 while preserving all the other such inequalities. The corresponding LR limit in F crs is the region where These are the LR limits which are 'adjacent' to the standard one, if we go further into the parameter space (i.e. cross further walls in the secondary fan) we reach other limits where more roots become commensurable. Now let Γ be an arbitrary partition, and F Γ the corresponding parameter space. From the discussion above, the standard LR limit in F Γ is the image of the standard LR limit in F fin (and all LR limits obtained from the standard one under the action of S Γ ), as the heuristic picture suggests. When we leave the standard chamber by crossing the wall θ(τ i ) = 0, there are two possibilities: (a) If i − 1 and i are in distinct pieces of Γ , then we move to a LR limit in F Γ which is the image of a LR limit in F fin . It's obtained from the standard limit by transposing i − 1 and i. (b) If i − 1 and i are in the same piece of Γ , then we move to a LR limit in F Γ where the two roots ζ i−1 and ζ i of the polynomial f γ (i) have comparable sizes.
The phase corresponding to this new LR limit was discussed in Sect. 3.3.

Fundamental groups.
In this section we make some simple observations on the fundamental groups of the FI parameter spaces computed in the previous section. These spaces are orbifolds, and the symbol π 1 will always denote the orbifold fundamental group. Consider the FI parameter space F crs associated to the surface X Γ crs . As was noted in [10], it has fundamental group whereB k+1 is the affine braid group associated to the affine Dynkin diagramÃ k , and C k+1 is a cyclic group. We should explain this briefly: by rescaling we can insist that ζ 0 ζ 1 . . . ζ k = 1, and this leaves a residual action of the cyclic group C k+1 . So if G = ζ 0 , . . . , ζ k i ζ i = 1 with all the ζ i distinct, then F crs = [G / S k+1 × C k+1 ]. By taking logs of all the ζ i we get a principle Z k -bundle over G given by and this is the complement of the affine complex hyperplane arrangement associated tõ A k . When we quotient by the affine Coxeter group Z k S k+1 , we get and so π 1 (F crs ) isB k+1 C k+1 , as claimed. We want to take a slightly different point of view on this group. Choose a point in F crs which is the orbit of a tuple (ζ 0 , ζ 1 , . . . , ζ k ) with log |ζ 0 | · · · log |ζ k |.
We can think of such a point as lying 'near the large-radius limit' for the standard phase.
If we stay in this region, we can only see a subgroup of π 1 (F crs ) which is a lattice Z k = Z k+1 /Z coming from rotating the phases of the ζ i . Alternatively, we could leave this large-radius limit, but insist that we stay in (the orbit of) the region where Re(ζ i ) < 0 for all i. The subgroup of π 1 (F crs ) contributed by this region is the ordinary braid group B k+1 . These two subgroups generate π 1 (F crs ), indeed we can view it as a semidirect product where Z k is the normal closure of Z k . From this, it's easy to deduce π 1 (F Γ ) for any other partition Γ . The inclusion of F crs into [ P k / S k+1 ] gives a map from π 1 (F crs ) to S k+1 , and π 1 (F Γ ) is the fibre product of π 1 (F crs ) with the Young subgroup S Γ . So it's generated by a lattice Z k , and the mixed braid group B Γ , which by definition (5) is the fibre product

Mixed Braid Group Actions
For each Γ , we wish to produce an action of π 1 (F Γ ) on the derived category D b (X Γ ). The FI parameter space heuristics give a precise prediction for what this action should be, as we now explain.

Heuristics for the generators.
Pick a partition Γ , and pick a base point in F Γ which is close to the large-radius limit for the standard phase, i.e. it is the orbit of a tuple (ζ 0 , . . . , ζ k ) where log |ζ 0 | · · · log |ζ k |.
Recall from Sect. 4.4 that π 1 (F Γ ) is generated by two subgroups: a lattice Z k arising from rotating the phases of the ζ i , and the mixed braid group B Γ . The action of the lattice on D b (X Γ ) is obvious, we can canonically identify this lattice with the set of toric line bundles on X Γ , and these act on the derived category by the tensor product. Consequently we will ignore the lattice in all of the subsequent discussion, and focus on the mixed braid group B Γ . This means we only consider the region in F Γ which is the orbit of the set ζ 0 , . . . , ζ k Re(ζ i ) < 0, ∀i .
Let's denote this region by F <0 Γ .
If we let Γ vary over all partitions (of size k + 1), then the spaces F <0 Γ form a poset of covering spaces, with F <0 fin at the top and F <0 crs at the bottom. Let's apply some completely elementary algebraic topology to this situation. Pick a base point b ∈ F crs which is close to the standard LR limit. For any Γ , the preimage of b in F <0 Γ is some finite set of points, which we can identify with the set of cosets by matching the identity coset with the point near the standard LR limit in F <0 Γ . Let G Γ be the groupoid of homotopy classes of paths in F <0 Γ that start and end somewhere in this set of points. This is the same thing as the action groupoid for the action of B k+1 on this set of cosets. The isotropy group in G Γ is of course B Γ . If we let Γ vary we get a set of groupoids, and the covering maps induce functors between them which are faithful, and also surjective on the total sets of arrows.
Every point σ S Γ in G Γ lies near a LR limit in F Γ , and there is a corresponding phase X σ Γ of the GIT problem. If we move along a path in the groupoid to another point σ S Γ , the FI parameter space heuristics predict that we get an associated derived equivalence Putting these together, we expect to get a functor Here Cat 1 denotes the category of categories with morphisms being functors up to natural isomorphism. 12 The FI parameter space heuristics can also tell us exactly what T should do to arrows. To explain this, we need to identify some generators for G Γ .
Firstly set Γ = Γ fin . The resulting groupoid G fin is very easy to describe: its arrows are ordinary braid diagrams but with the strands labelled from 0 to k in some order. Pick a point σ ∈ S k+1 in this groupoid, and suppose that i and j are adjacent labels at this point (i.e. i and j are adjacent after applying σ to [0, k]), with i to the left of j. Let t σ i, j be the braid which crosses these two adjacent strands (left-over-right, as in Fig. 3) and leaves all the other strands alone. There is a corresponding path in F fin , starting in the LR limit log |ζ σ (0) | · · · log |ζ i | log |ζ j | · · · log |ζ σ (k) | and ending in the LR limit where only ζ i and ζ j change in value along the path, their norms change monotonically, and we have arg(ζ i ) > arg(ζ j ) at the point where their norms are equal. The set of all these braids (or paths) t σ i, j , for all σ , evidently generates the groupoid G fin . Therefore for any partition Γ , their images under the map G fin → G Γ generate G Γ , since the map is surjective on the total set of arrows. We'll denote the image of t σ i, j by t σ S Γ i, j , since it only depends on the coset σ S Γ . When Γ = Γ crs we just have the standard generators for G crs = B k+1 , indeed the set t σ S Γ i, j are just the preimages of these standard generators. Now fix an arbitrary Γ again, and let t σ S Γ i, j : σ S Γ → σ S Γ be one of these generating arrows, where σ is the composition σ ·(i j). Let's describe the corresponding path in F <0 Γ , and deduce the derived equivalence that it should correspond to. There are two cases to consider: (a) If i and j don't lie in the same part of Γ then this path moves us from one LR limit to a neighbouring LR limit, and the two phases X σ Γ and X σ Γ are related by a flop of a trivial family of rational (−1, −1)-curves, as described in Sect. 3.3. The path t σ S Γ i, j should correspond to the derived equivalence 3.4, which as we saw can be defined either using VGIT and 'windows', or geometrically using the birational roof. (b) If i and j lie in the same part of Γ then σ S Γ and σ S Γ are the same coset, and the path t σ S Γ i, j is actually a loop. We start at the LR limit (23), move into the neighbouring LR limit where |ζ i | ≈ |ζ j |, and return, having looped the discriminant locus ζ i = ζ j .
The phase X σ Γ contains a trivial family of rational (−2)-curves. When we pass to the neighbouring LR limit this family gets 'flopped' and becomes a family of Z 2 -orbifold points. Consequently this loop in F <0 Γ should correspond to the autoequivalence 3.4, which is equal to a family spherical twist around the family of rational curves. If we let G free Γ be the free groupoid generated by the arrows t σ S Γ i, j , then it's tautological that this assignment defines a functor from G free Γ to Cat 1 . In agreement with the FI parameter space heuristics, we will show that in fact we have:

Theorem 3. The assignment T Γ gives a well-defined functor
In the process we will show the following stronger result, for which we don't have a heuristic justification:

Theorem 4. The functor T Γ is faithful.
A priori this second theorem is much more difficult. However for the special case when Γ = Γ crs , and so X Γ is a surface, the faithfulness was proved by Seidel and Thomas [24], and we can deduce the result for general Γ fairly easily.
Restricting T Γ to the isotropy group of the standard phase we deduce: The functor T Γ defines a faithful action of the mixed braid group B Γ on the derived category D b (X Γ ).
The proofs of these two theorems will be presented in the next two sections.

Braid relations on the ambient space.
In this section we'll prove the following special case of Theorem 3: Proposition 6. When Γ = Γ fin , so each phase X σ Γ is the versal deformation space of the resolution of the A k singularity, then T fin := T Γ fin gives a well-defined functor The key case to consider is when k = 2. (When k = 1, there's nothing to prove.) In this case there are six phases X σ , indexed by elements σ of S 3 . We can denote the functors between them by T σ i, j , dropping the trivial group S Γ fin from the notation. Also, we'll write elements of S 3 as orderings of the set {0, 1, 2} rather than as products of cycles, so for example the standard phase will be denoted X 012 .
A prototypical braid relation in G fin is drawn in Fig. 12, and expressed in the following diagram of functors: Proposition 7. The hexagon below commutes.
This is a special case of Proposition 6, but it quickly implies the whole proposition: Proof (Proposition 6). Let k > 2. We can draw a similar hexagon moving between the standard phase X 0123...k on the left, and the phase X 2103...k on the right, and the commutativity of this hexagon is one of the braid relations. If we start with the fan for the standard phase, as described in Sect. 3, then the changes to the fan that take place when we move around the hexagon will only affect the first three cones: the remaining Δ 3 , . . . , Δ k stay unchanged, and so the birational modifications are concentrated inside the open set {a 3 = 0, . . . , a k = 0}. Inside this open set, the geometry we're studying is just a trivial family (over C k−2 b 3 ,...,b k ) of copies of the geometry appearing in the k = 2 case. Therefore Proposition 7 implies that this hexagon also commutes.
We've shown that one particular braid relation holds for each k ≥ 2, so all the others hold by the S k+1 symmetry.
The rest of this section will be devoted to the proof of Proposition 7, our prototype braid relation.

Formal structure of the proof.
To see why the hexagon (24) commutes, we need to go back to the fundamental definition of our functors T σ i, j from Sect. 3.4. Let V ∼ = C 6 and T ∼ = (C * ) 3 be the data of the GIT problem that we're considering, and let T = T /C * be the quotient of T by the trivially-acting diagonal subgroup. Let X denote the Artin stack Each of the six phases X σ of the GIT problem is an open substack in X . Let's identify these open substacks completely explicitly.
Let τ 0 , τ 1 and τ 2 be the three 1-parameter subgroups of T corresponding to the nodes of the quiver, so in the quotient torus T we have τ 0 + τ 1 + τ 2 = 0. These three are the only 1-parameter subgroups which fix more than the origin in V , and their fixed loci are as follows: If we pick a stability condition, then each τ i destabilizes either the attracting or the repelling subspace of the correspondingZ i , and the union of these three subspaces is precisely the unstable locus for that stability condition. For example, in the standard phase X 012 the unstable locus is the union of the three subspaces S 0 = {b 0 = a 2 = 0},S 1 = {b 0 = a 1 = 0},S 2 = {b 1 = a 2 = 0}.
(see also Fig. 13). As another example, if we move to the adjacent phase X 021 then onlȳ S 2 changes: it gets replaced by the subspaceS 2 Now pick a (non-zero) stability condition that lies on the wall between the two phases X 012 and X 021 , so the corresponding unstable locus isS 0 ∪S 1 . The partial quotient where σ :Z 2 → Y 012 1,2 is the inclusion of the fixed locus (recall also that we've calculated that the numerical invariant η is 2). Each of these windows is equivalent, under the restriction functor, to the derived categories of both X 012 and X 021 , and the wall-crossing functor T 012 1,2 is defined by the following commuting triangle: Very similar constructions apply for the other five wall crossings in the hexagon (24). (24), the 1-parameter subgroup controlling the wall-crossing is τ 0 . However, the value of the stability condition θ(τ 0 ) is changing from negative to positive when we cross these walls, not vice versa. This means that when we define the two corresponding windows, W 102 0,2 (0) and W 021 0,2 (0), we must measure weights with respect to the subgroup −τ 0 , not τ 0 . 13 Lemma 4. There is a subcategory V ⊂ D b (X ) such that, for any wall-crossing in the hexagon (24), the restriction functor

Remark 10. For the horizontal arrows in
is an embedding with image W σ i, j (0). 13 The functors T 102 0,2 and T 021 0,2 correspond to left-over-right crossings. If we were to use τ 0 -weights then we'd get the functors corresponding to right-over-left crossings.
We'll discuss the definition of this category V shortly. Before we do, let's show that Proposition 7 follows from it as an immediate formality.

Proof (Proposition 7). For each wall-crossing we have a commuting diagram
in which all arrows are equivalences. So we can complete the hexagon (24) to the following diagram in which every arrow is an equivalence and every triangle commutes.

The category V.
If we consider a GIT problem where the group acting is just C * , then as we've explained in Sect. 3.4.1, the machinery of [4,14] tells us how to produce a section of the restriction functor i.e. a lift of the derived category of the GIT quotient into the equivariant derived category of Y σ i, j . However, this general machinery doesn't just apply when the group is C * , it works for any reductive group. In particular, we can apply it to the GIT problem considered in the previous section, and for any phase X σ it will tell us how to produce a section of the restriction functor We'll now explain how to run this machinery for our example. 14 We shall see that it constructs a subcategory of D b (X ) which (after a little more work) we can show has the right properties to be the category V required by Lemma 4. We begin with the standard phase X 012 . We need to fix an ordering of the three unstable subspaces, and for simplicity we'll choose the obvious one. Then we define so the unstable locus is the disjoint union of the three locally-closed subvarieties S 0 , S 1 and S 2 . If we defineτ i = τ i for i ∈ [1,2], andτ 0 = −τ 0 , then the subvariety S i is precisely the attracting subvariety of Z i under the subgroupτ i . This data defines a KN stratification of the unstable locus, in the sense of [14]. 15 Now we proceed as we did in the rank 1 case (Sect. 3.4.1), but for each of the strata simultaneously. So for each stratum S i , we define the numerical invariant η i =τ i -weight of (det N ∨ S i /V )| Z i and in this example we have η i = 2, for all i, as we've already calculated (Sect. 3.4.2). Make a choice of three integers k 0 , k 1 , k 2 ∈ Z, one for each stratum. We define the corresponding 'window' to be the full subcategory where σ i : Z i → V are the inclusion maps. The theorem is that the restriction functor is an equivalence, for any values of k 0 , k 1 , k 2 . Now let's move to the adjacent phase X 021 , and construct a KN stratification by the same process (again using the obvious ordering on the unstable subspaces). Only the stratum S 2 changes. S 0 and S 1 stay the same, as do the fixed loci Z 0 , Z 1 , Z 2 . Also the destabilizing 1-parameter subgroups are nowτ 0 = −τ 0 ,τ 1 = τ 1 , andτ 2 = −τ 2 . If we pick an integer l i for each stratum then again have a window where the weight-restriction condition is now defined with respect to this new KN stratification. The general machinery tells us that this window is equivalent, under restriction, to D b (X 021 ). However, because the Z i have not changed, it's immediate that (the shift in the parameters here is just due to the slight asymmetry in the definition of a window). Consequently, we get some derived equivalences between X 012 and X 021 , by lifting into one of these windows and then restricting down again. These equivalences are not new, because this is just another way to describe the derived equivalences that we discussed in Sect. 3.4.2. To see this, suppose that we don't restrict all the way down to X 012 , but only to the larger open substack Y 012 1,2 . It's immediate from these definitions that any object in the window W(k 0 , k 1 , k 2 ) restricts to give an object in the window W 012 1,2 (k 2 ), and it follows that the restriction functor is an equivalence. So our equivalence T 012 1,2 , which we defined via the window W 012 1,2 (0), can also be defined via any of the windows W(k 0 , k 1 , 0). From this discussion, it's clear that these windows in D b (X ) are candidates for the category V required by Lemma 4. Unfortunately there is a subtlety which means we cannot apply this machinery immediately. If we move to a more distant phase, more unstable loci will change, and because of the precise definition (25) of the KN strata this means that the Z i will change (their closures, theZ i , remain constant). Consequently, the definitions of the windows for different phases are different, and it is not immediately obvious that there is a single window lifting all of the W σ i, j (0). 16 To get around this, we use an alternative characterization of these windows. Proof. If we evaluate any of these three characters on any of the three subgroups τ 1 , τ 2 or −τ 0 then the result is either 0 or 1, so these three line bundles do lie in W(0, 0, 0) (and they are the only line bundles on X which do). Furthermore, the definition of windows implies that any element of D b (X ) which has a finite resolution by copies of these three line bundles also lies in W(0, 0, 0). This proves that V ⊂ W(0, 0, 0), and hence the restriction functor is fully faithful. We claim that this functor is also essentially surjective. The proposition then follows since the inclusion of V into W(0, 0, 0) must be an equivalence.
Since V is a vector space, any element of D b (X ), and hence any element of D b (X 012 ), has a finite resolution by line bundles from the set {O(a, b, c)}. Also, on X 012 we have three short exact sequences  O(a, b, c) on X 012 in terms of the three line bundles that generate V. Consequently any element of D b (X 012 ) has a finite resolution in terms of these three line bundles, and so (26) is essentially surjective as claimed.
Remark 11. There are some delicate features of this argument that are worth highlighting. The fact that the values of the three parameters k 0 = k 1 = k 2 = 0 are correctly aligned is crucial: for most choices of these integers the window W(k 0 , k 1 , k 2 ) contains no line bundles at all. Also the precise action ofT onṼ is important: for a general example of a torus action on a vector space there won't be any choice of integers on the strata such that the associated window is generated by line bundles. Now we can show that this definition of V suffices to produce all six of our wallcrossing functors.
Proof (Lemma 4). For each phase X σ , we define k σ i = 0 or k σ i = −1 according to whether τ i or −τ i is the destabilizing subgroup in this phase, i.e. according to whether θ(τ i ) is positive or negative. Now let σ and σ = σ · (i j) be two consecutive phases in the hexagon (24). For the phase X σ , pick any ordering on the unstable subspaces, and then define a window W σ (k σ 0 , k σ 1 , k σ 2 ) ⊂ D b (X ) using the corresponding KN stratification. Arguing as above, the restriction functor is an embedding with image W σ i, j (0). On the other hand, the proof of Proposition 8 adapts immediately to show that and so our claim is proved.
Remark 12. As we move around between phases, the definitions of our windows in D b (X ) change, but this result says that the actual windows do not change (for appropriate choices of the parameters). We've proved this using the fact that the relevant windows are generated by line bundles, but this is a very special condition and we believe that this result should actually hold in more generality. If true, this would imply analogous relations between autoequivalences for other GLSM examples. In fact this is the main reason that we've included some discussion of the general machinery of windows on X . If one wants to avoid it then it's reasonably straightforward to prove Lemma 4 directly from our definition of V.

The poset of groupoid actions.
When discussing functors between derived categories of schemes, one doesn't normally work in Cat 1 but rather in the subcategory FM where the morphisms between D b (Y ) and D b (Z ) are (isomorphism classes of) Fourier-Mukai kernels, that is objects of D b (Y × Z ). This subcategory is better-behaved in a number of ways. In our situation, we're actually working in a slightly more specialized subcategory.
Recall that each of our varieties X σ Γ is equipped with a fibration μ : X σ Γ → C s , where (s + 1) is the number of parts of Γ . Define FM C s to be the category whose objects are schemes flat over C s , and whose morphisms are relative Fourier-Mukai kernels, i.e. objects of D b (Y × C s Z ). Now letΓ be a coarsening of Γ , withΓ having (s + 1) parts. Associated to this data is a linear inclusion j : Cs → C s , and each subvariety X σΓ is the fibre product of the corresponding X σ Γ over this subspace.

Proposition 9. There is a functor
Res : acting on morphisms by the derived restriction functor Proof. Indeed we may replace the linear inclusion j : Cs → C s with any morphism of schemes f : T → S, so that we define Res(Y ) := Y T = Y × S T , and use derived pullback f * for the morphisms. Then taking schemes X , Y , and Z , all flat over S, and Fourier-Mukai kernels we verify that Res is indeed a functor: composition of morphisms in FM S is by convolution of kernels, so we require Res(P * Q) ∼ = Res(P) * Res(Q).
We have a diagram and by definition Res(P * Q) := Res( p 13 * ( p * 12 P ⊗ p * 23 Q)) := f * p 13 * ( p * 12 P ⊗ p * 23 Q) ∼ = p 13 * f * ( p * 12 P ⊗ p * 23 Q) ∼ = p 13 * ( f * p * 12 P ⊗ f * p * 23 Q) where the first isomorphism is base change using flatness of p 13 [21, Theorem 3.10.3]. The proof is finished using the commutativity of the following two squares standard flops over C s−1 , and then just restricting to a subspace Cs −1 ⊂ C s−1 , so the equality of the functors is clear. Now suppose that i and j are in the same part of Γ , and so also in the same part of Γ . A similar argument applies, except that now the birational maps are identities and the functors are family spherical twists.
The final case is that i and j are in different parts of Γ , but in the same part ofΓ . By the same argument we can reduce to our simple Zariski neighbourhoods, and then we're considering a trivial family of copies of the geometry considered in Proposition 2, so the argument from there suffices.
Combining the above three propositions with Proposition 6, we can formally deduce the whole of Theorem 3.

Proof (Theorem 3).
As before we let G free Γ be the free groupoid generated by all the arrows t σ S Γ i, j , so G Γ is a the quotient of G free Γ by the braid relations. IfΓ is a coarsening of Γ , then the above three propositions give us a commutative square as follows: If we set Γ = Γ fin , then Proposition 6 says that T Γ factors through G Γ . Therefore TΓ must factor through GΓ , and this holds for all partitionsΓ .
Informally, the above proof just says that since the braid relations hold between the equivalences on the ambient space, they must continue to hold when we restrict these equivalences to subvarieties.
Finally, we use the faithfulness result of Seidel-Thomas to deduce Theorem 4.

Proof (Theorem 4).
Let Γ be any partition, and consider coarsening it to Γ crs . We have a commutative square as follows: The functor T crs is precisely the braid group action on the derived category of the surface Y 0 = X crs considered in [24], and it is proved there that the action is faithful. Since the functor G Γ → B k+1 is also faithful, we must have that T Γ is faithful.