## AUTOEQUIVALENCES FOR 3-FOLD FLOPS: AN OVERVIEW

## MICHAEL WEMYSS

Abstract. This is an overview article, based on my 2018 Kinosaki lecture, that surveys and announces work on 3-fold flopping contractions, their affine combinatorics, stability conditions, tilting bundles and autoequivalences. Some first applications are given.

The setting of the lecture are 3-fold flopping contractions X → Spec R , where X has at worst Gorenstein terminal singularities. Many of the statements globalise to projective varieties.

## 1. Combinatorics

Dynkin combinatorics, finite and affine, are well known. It turns out that the combinatorics of flops does not quite fit into this classical picture: to describe the birational geometry needs new structures and phenomena.

- 1.1. Single Vertex Example. This section constructs the 2-sphere S 2 , minus 6 points. This is, of course, not the most difficult mathematical object to produce. The point here is that the construction goes via Dynkin diagrams. Just the following two facts are required.
- (1) ADE Dynkin diagrams are the following graphs, where the vertices have been labelled with the data of the rank of the highest root; geometrically, this is the fundamental cycle in Kleinian singularities.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-e770c8bb-8db2-47c2-80f5-f8f9ebdb3ac4.jpg)

| A n n ≥ 1   | · · · 1 1 1 1   |
|-------------|-----------------|
| D n n ≥ 4   | · · · 1 2 1 2 2 |
| E 6         | 1 2 3 2 1       |
| E 7         | 2 3 4 3 2 1     |
| E 8         | 2 4 6 5 4 3 2   |

The author was supported by EPSRC grants EP/R009325/1 and EP/R034826/1.

2

- (2) ADE Dynkin diagrams carry a canonical involution ι , sometimes called the Dynkin involution . In Type A n it acts as a reflection in the centre point of the chain (which may or may not be a vertex):

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-00c48c15-6e39-484c-b576-452261af6429.jpg)

When n ≥ 4 and n is odd, the involution ι acts on D n by permuting the left hand branches, and fixing all other vertices:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-7a3563db-f3f3-4b44-84c1-2205fcabc296.jpg)

In type E 6 the involution ι acts as a reflection:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-9d39ce0a-75ab-4627-a653-54ba1ac49e86.jpg)

In all other cases, ι is the identity.

I claim, given any ADE Dynkin digram, and any choice of vertex, that it is possible to construct a sphere, minus a certain number of points. The dependence between the number of points and the initial choice of vertex is explained later, in Remarks 1.2 and 1.3.

Example 1.1. I demonstrate how to construct S 2 \{ 6pts } , from the initial data of the E 6 Dynkin diagram, and choice of middle vertex, labelled 3.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-4560af21-a352-4032-824d-1ff6214c605b.jpg)

Step 1. First add the extended vertex, which is labelled 1, and also shaded, to obtain

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-f6ba994f-32a5-4d35-8db5-f23b9a8a3e2d.jpg)

Step 2. Iterate Dynkin involutions. Choose one of the shaded vertices, say the one labelled 1. We then temporarily delete this vertex, and apply the Dynkin involution to the remaining E 6 arrangement

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-54c3ef43-0fe2-4525-8de7-5d1d3be470a3.jpg)

The E 6 involution fixes the shaded vertex, and so nothing happens. Since this 'move' involved choosing the shaded vertex labelled 1, we record this as

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-3028d8eb-6525-4a9a-8f37-a6b9575bc77b.jpg)

Next, choose the other shaded vertex, the one labelled 3. We then temporarily delete this vertex, and apply the Dynkin involution to the remaining

vertices, which form a disjoint union of Type A arrangements

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-477af852-af6e-48c5-8d29-302294d2f7f7.jpg)

This moves the shaded vertex down. As this 'move' involved choosing the shaded vertex labelled 3, we record this move by extending the previous picture to right:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-f5cff555-1245-4ced-9148-b86e4ac79ab2.jpg)

Next, choose the other vertex, the one now labelled 2. Temporarily deleting it, applying the Dynkin involution, then nothing happens. We again extend the picture to the right. Continuing in this way, we arrive at:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-3595ba6c-c145-46f6-bf55-747025b3cdba.jpg)

and observe that this repeats again and again.

Step 3. Complexify this hyperplane arrangement, to obtain

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-64adb5dd-4a70-453a-8c88-556f39fcbd4e.jpg)

Step 4. The 'class group' Z acts on the complexification. This is purely combinatorial: the class group likes the number one, and its generator acts by moving any wall labelled 1 to the next wall labelled one. That is to say, Z acts via translation

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-2bff5222-bc69-4630-b648-b7276b9a07ed.jpg)

where for clarity we have shaded the fundamental region of the action.

Step 5.

Consider the quotient (

C

\{

pts

}

)

/

Z

.

This just means we identify the rightmost and leftmost edges of the fundamental region in the above

picture, and obtain

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-ce213b13-11eb-4938-9a8f-9b412a4ff9bf.jpg)

Topologically, this is just the two-sphere, minus 6 points:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-6a308224-7a45-4880-9625-225afc1be769.jpg)

The above construction is somewhat counter-intuitive. I know of no other way of immediately obtaining the number four (the number of holes on the equator) from the choice of the vertex 3 in the E 6 Dynkin diagram. A birational-geometric interpretation of the holes on the equator, and their labels, will be given later.

Remark 1.2. Say we perform the same calculation as in Example 1.1 using instead the initial input of:

- (1) The E 7 Dynkin diagram.
- (2) A shaded vertex labelled 3.

It turns out that we get exactly the same answer as before, namely S 2 \{ 6pts } . Even more remarkably, the same labels 1 3 2 3 again appear on the equator. , , , Indeed, the calculation is now:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-ed5f6733-317d-4411-bf21-76c136ffd899.jpg)

Ditto for E 8 . Both choices of vertex labelled by 3 give, as before, S 2 \{ 6pts } with the labels 1 , 3 2 3 on the equator. , ,

Upshot: the labelled topological output is a property of the number three , and does not rely on the ambient Dynkin diagram.

Remark 1.3. The above Remark also holds generally. Pick a vertex in any ADE Dynkin diagram, which is necessarily labelled glyph[lscript] for some 1 ≤ glyph[lscript] ≤ 6. Again the outcome of the calculation in Example 1.1 for this choice turns out to only depend on glyph[lscript] , and not on the ambient ADE Dynkin diagram.

The following table summarises, for choice of vertex labelled glyph[lscript] , the number of holes N that appear on the equator, so that the topological space constructed is S 2 \{ N +2 . It also summarises the labels of those holes on } the equator.

|   glyph[lscript] |   N | Labels on Equator       |
|------------------|-----|-------------------------|
|                1 |   1 | 1                       |
|                2 |   2 | 1,2                     |
|                3 |   4 | 1,3,2,3                 |
|                4 |   6 | 1,4,3,2,3,4             |
|                5 |  10 | 1,5,4,3,5,2,5,3,4,5     |
|                6 |  12 | 1,6,5,4,3,5,2,5,3,4,5,6 |

The jump in the number N between glyph[lscript] = 4 and glyph[lscript] = 5 is unexpected, as is the emergence of the number 5 in the middle of the labels (for glyph[lscript] = 5 6) in what , is otherwise a simple pattern.

- 1.2. Two Vertex Example. Given the choice of a single node in an ADE Dynkin diagram, the previous section first constructed an infinite hyperplane arrangement in R 1 , then complexified, then took the quotient by a naturally defined Z -action.

This generalises. For example, given the choice of two nodes in any ADE Dynkin diagram, using a similar construction it is possible to first produce an infinite hyperplane arrangement in R 2 , complexify, then quotient by a naturally defined Z 2 -action. For brevity, we describe here a single example, as full details appear in [IW].

Example 1.4. Consider E 8 , with choice of the following two shaded nodes:

which is 3.8 but with some extra vertical hyperplanes.

It is made from 12, 6 and 4-gons.

Example

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-2789572d-e63d-4d2e-ac29-9a6dbbde0d63.jpg)

3.12

.

For

,

A similar calculation, albeit slightly more combinatorially complicated than before, results in the following infinite real hyperplane arrangement.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-dd9b9d45-2917-46aa-8f81-e2db2e17aa89.jpg)

There is an obvious Z 2 -action.

## 2. Relationship to Flops

For simplicity in this section, consider only the case where X → Spec R flops a single curve, namely the fibre with reduced scheme structure is which is 3.10 with extra vertical hyperplanes.

It is made from 12, 8, 6 and 4-gons.

$$C \coloneqq f ^ { - 1 } ( \mathfrak { m } ) ^ { \text{red} } \cong \mathbb { P } ^ { 1 }.$$

The combinatorics in Section 1 determine stability conditions on certain subcategories of D (coh b X ). Details will appear in [HW]. Here, we instead focus on the new autoequivalences that arise, and the resulting action of π 1 ( S 2 \{ N +2 ) on D (coh } b X ). Full details of this will appear in [DW].

- 2.1. General Elephants. As is well-known, considering the pullback via a generic hyperplane section g ∈ R gives a commutative diagram

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00435v1-figure-dddd2444-2360-49ce-bf4b-ba081a5f0f4d.jpg)

where R/g has only ADE surface singularities, and ϕ : Y → Spec( R/g ) is a partial crepant resolution. As such, Y is dominated by the minimal resolution.

By McKay correspondence, the minimal resolution of Spec( R/g ) is controlled by an ADE Dynkin diagram. Since Y is obtained from the minimal resolution by contracting curves, the combinatorics of Y are controlled by a shaded ADE Dynkin diagram, where we shade the vertices corresponding to the curves that are not contracted in order to obtain Y . Thus, the shaded vertices correspond to the curves that are in Y , and so the number of shaded vertices equals the number of curves in Y , and thus in X . By the assumption in this section, this number equals one.

Definition 2.1. The unique shaded vertex has a label glyph[lscript] , in Section 1.1. This is called the length of the curve.

It is a theorem of Katz-Morrison that when X is smooth, only certain shaded arrangements can appear. However, this fails in the singular setting described here. The combinatorial Remark 1.3 saves the day: because of it, length glyph[lscript] curves turn out to have the same stability conditions and autoequivalences, regardless in which Dynkin diagram they appear.

2.2. Helices. Recall first that for a length glyph[lscript] flop, exactly as in [K] there are sheaves

$$\mathcal { O } _ { C }, \mathcal { O } _ { 2 C }, \dots, \mathcal { O } _ { \ell C }$$

on Y , and thus on X . Each a C is a CM scheme of dimension one. The dichotomy in part (2) of the following result will turn out to explain the jump in the combinatorics in Remark 1.3.

Proposition 2.2. For a length glyph[lscript] flop, the following hold.

- (1) ω 2C ∼ = O 2C ( -1) .
- (2) Ext 1 X ( O 2C , O 3C ) = 0 ⇐⇒ glyph[lscript] ≤ 4 . Otherwise Ext 1 X ( O 2C , O 3C ) = C .

Thus, in the case glyph[lscript] = 5 6, there is a unique non-split extension ,

$$0 \to \mathcal { O } _ { 3 C } \to \mathcal { Z } \to \mathcal { O } _ { 2 C } \to 0.$$

Given this, we can now introduce our main new concept, that of a simples helix associated to a length glyph[lscript] flop. Recall that, given glyph[lscript] , there is an associated number N in Remark 1.3, which records the number of holes on the equator.

Definition 2.3. The simples helix { S i } i ∈ Z is defined to be the Z -indexed family of sheaves, where for all i

$$\mathcal { S } _ { i + N } \cong \mathcal { S } _ { i } \otimes \mathcal { O } ( 1 ),$$

and S 0 , . . . , S N -1 is defined to be

$$\begin{cases} \, \mathcal { O } _ { \mathbb { C } } ( - 1 ) \,, \mathcal { O } _ { \ell \mathbb { C } } \,, \dots \,, \mathcal { O } _ { 3 \mathbb { C } } \,, \mathcal { O } _ { 2 \mathbb { C } } \,, \omega _ { 3 \mathbb { C } } ( 1 ) \,, \dots \,, \omega _ { \ell \mathbb { C } } ( 1 ) & \text{if } \ell \leq 4 \\ \, \mathcal { O } _ { \mathbb { C } } ( - 1 ) \,, \mathcal { O } _ { \ell \mathbb { C } } \,, \dots \,, \mathcal { O } _ { 3 \mathbb { C } } \,, \mathcal { Z } \,, \mathcal { O } _ { 2 \mathbb { C } } \,, \mathcal { Z } ^ { \omega } ( 1 ) \,, \omega _ { 3 \mathbb { C } } ( 1 ) \,, \dots \,, \omega _ { \ell \mathbb { C } } ( 1 ) & \text{if } \ell = 5, 6. \end{cases}$$

Here Z ω is the sheaf such that D ( Z ) = ∼ Z ω [1] , where D is duality.

Consider A , the category of perverse sheaves with perversity zero. Suitably interpreted, this has two simples, which are known to be S -1 [1] and S 0 [V]. We can tilt A at the second simple S 0 , and obtain a new heart A 1 . We can then iterate: tilt A 1 at its first simple to obtain A 2 , then tilt A 2 at its second simple to obtain A 3 , etc. This process gives a Z -indexed family of hearts.

Theorem 2.4. For a length glyph[lscript] flop, and for all t ∈ Z , the following hold.

- (1) The simples of A t are S t -1 [1] and S t .
- (2) A t has a progenerator V t -1 ⊕ V t which is a tilting vector bundle.
- (3) Noncommutative deformations of S t are represented by an algebra Λ def t , which is a factor of End X ( V t ) .

For our purposes later, the factor in part (3) is what allows us to control the noncommutative deformations: both from the viewpoint of autoequivalences in the next subsection, and from the viewpoint of curve-counting invariants in Section 2.4.

2.3. Monodromy. We claim that the simples helix in the previous subsection describes the monodromy of an action of π 1 ( S 2 \{ N +2 ) on D (coh } b X ).

Visually, π 1 is generated as a group by a, b 0 , . . . , b N -1 , c , where a is monodromy around the north pole, b , . . . , b 0 N -1 are mondromy around the holes on the equator, and c is monodromy around the south pole. Choosing orientations carefully (see [DW, Theorem 6.5]), the relation

$$c \circ b _ { 0 } \circ \dots \circ b _ { N - 1 } \circ a = 1$$

holds. Our main result does two things: it first constructs new autoequivalences in part (2), then shows that they describe monodromy in part (3).

Theorem 2.5. For a length glyph[lscript] flop, and for all t ∈ Z , the following hold.

- (1) Even although the sheaf S t need not be perfect (as a complex), its universal sheaf E t from noncommutative deformation theory is perfect.
- (2) There is a twist autoequivalence Twist S t of D (coh b X ) which fits into a functorial triangle

$$\text{RHom} _ { X } ( \mathcal { E } _ { t }, - ) \otimes _ { \Lambda _ { t } ^ { \text{def} } } \mathcal { E } _ { t } \to \text{Id} \to \text{Twist} _ { \mathcal { S } _ { t } } \to$$

- (3) For i = 0 , . . . , N -1 , the assignment

↦

↦

↦

$$\begin{smallmatrix} a & \longmapsto & - \otimes \mathcal { O } ( - 1 ) \\ b _ { i } & \longmapsto & \text{Twist} _ { \mathcal { S } _ { i } } \\ c & \longmapsto & \text{F} ^ { - 1 } \circ \left ( - \otimes \mathcal { O } ( - 1 ) \right ) \circ \text{F}, \end{smallmatrix}$$

where F is the flop functor, induces a group homomorphism

$$\pi _ { 1 } ( S ^ { 2 } \langle N + 2 \} ) \to \text{Auto} q D ^ { b } ( \coth X ).$$

The general philosophy of String K¨hler Moduli Spaces is that the action a in part (3) should be faithful.

- 2.4. Applications. For brevity we describe only curve-counting applications. More are given in [DW]. Since curve invariants are only defined in the smooth setting, here we assume that X is smooth. Recall that the contraction algebra is defined to be Λ def 0 , namely the algebra that represents noncommutative deformations of O C ( -1).

Theorem 2.6. Consider a length glyph[lscript] flop X → Spec R , where X is smooth.

- (1) For any 1 ≤ a ≤ glyph[lscript] , the following conditions are equivalent.
- (a) Strictly noncommutative deformations of O a C exist.
- (b) 2 a ≤ glyph[lscript] .
- (c) Higher multiples of a C exist.
- (2) The lower bounds for the Gopakumar-Vafa invariants, and the lower bound for the dimension of the contraction algebra, are as follows.

|   glyph[lscript] | GV lower bound dimA con lower bound   |
|------------------|---------------------------------------|
|                1 | (1) 1                                 |
|                2 | (4 , 1) 8                             |
|                3 | (5 , 3 , 1) 26                        |
|                4 | (6 , 4 , 2 , 1) 56                    |
|                5 | (7 , 6 , 4 , 2 , 1) 124               |
|                6 | (6 , 6 , 4 , 3 , 2 , 1) 200           |

Remark 2.7. When glyph[lscript] = 1 2 6, it is , , known that the lower bound is realised. At this stage, it remains unclear whether the lower bound can be obtained when glyph[lscript] = 3 4 5. , , However, in those cases, examples of flops with GV invariants (6 3 1), (6 , , , 5 2 1) and (8 6 4 2 1) are known to exist. , , , , , ,

## References

- [B] T. Bridgeland, Flops and derived categories . Invent. Math. 147 (2002), no. 3, 613632.
- [DW] W. Donovan and M. Wemyss, Stringy K¨hler moduli, mutation and monodromy a , arXiv:1907.10891 .

[HW] Y. Hirano and M. Wemyss, Stability conditions for 3 -fold flops , arXiv:1907.09742 .

- [IW] O. Iyama and M. Wemyss, Tits cone intersections, contracted preprojective algebras, and affine actions on 3 -fold flops , in preparation.
- [K] S. Katz, Genus zero Gopakumar-Vafa invariants of contractible curves , J. Differential Geom. 79 (2008), no. 2, 185-195.
- [V] M. Van den Bergh, Three-dimensional flops and noncommutative rings , Duke Math. J. 122 (2004), no. 3, 423-455.

Michael Wemyss, The Mathematics and Statistics Building, University of Glasgow, University Place, Glasgow, G12 8QQ, UK.

E-mail address : michael.wemyss@glasgow.ac.uk
M. Wemyss
Autoequivalences for 3-fold flops: an overview
This is an overview article, based on my 2018 Kinosaki lecture, that surveys
and announces work on 3-fold flopping contractions, their affine combinatorics,
stability conditions, tilting bundles and autoequivalences. Some first
applications are given.