arxiv: 2604.09610 · v1 · submitted 2026-03-12 · 🧮 math.AG

Recognition: no theorem link

Some faithful algebraic braid twist group actions for 3-fold crepant resolutions

Luyu Zheng

Authors on Pith no claims yet

Pith reviewed 2026-05-15 12:37 UTC · model grok-4.3

classification 🧮 math.AG

keywords derived categoriescrepant resolutionsspherical objectsbraid group actionsquotient singularitiestwist functorsalgebraic actions

0 comments

The pith

Derived categories of two specific 3-fold crepant resolutions admit faithful algebraic braid twist group actions of types D and E.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a (Q,W)-configuration of spherical objects inside the bounded derived category of coherent sheaves on the crepant resolution X(1,3,a) of the quotient singularity C^3/G. For the case a=9 this configuration induces a faithful action of the algebraic braid twist group of type D. For a=13 the same construction yields a faithful action of type E. These explicit examples demonstrate how the weights in the group action determine the appearance of particular Dynkin types inside the derived category.

Core claim

For the crepant resolution X(1,3,9) the derived category D(X(1,3,9)) admits a faithful algebraic braid twist group action of type D induced by the associated (Q,W)-configuration of spherical objects. For the crepant resolution X(1,3,13) the derived category D(X(1,3,13)) admits a faithful algebraic braid twist group action of type E induced by the associated (Q,W)-configuration of spherical objects.

What carries the argument

The (Q,W)-configuration of spherical objects in D(X(1,3,a)), which induces the twist functors whose relations realize the braid group action.

If this is right

The two examples show that the weights (1,3,a) in the diagonal cyclic group action can be chosen so that the resulting derived category carries braid actions whose type matches classical Dynkin diagrams.
The construction supplies concrete geometric realizations of algebraic braid twist groups inside derived categories of threefolds.
These cases provide supporting instances for the broader conjecture that (Q,W)-configurations arising from crepant resolutions can realize all finite-type braid actions.
The faithfulness statements imply that the spherical objects generate a faithful representation of the braid group on the triangulated category.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If similar configurations exist for other values of a, the method would produce geometric models for additional braid group types or even affine types.
The link between the numerical weights and the resulting Dynkin type suggests a dictionary that might classify which resolutions yield which braid actions by examining the continued-fraction expansion of a.
One could test the construction on higher-dimensional analogs or on non-cyclic groups to see whether the same pattern persists.

Load-bearing premise

That the constructed (Q,W)-configuration of spherical objects exists inside the derived category and that the induced twist action is faithful for the chosen values a=9 and a=13.

What would settle it

An explicit computation of the action of the generators on a basis of the Grothendieck group that violates one of the braid relations for type D when a=9, or for type E when a=13, would falsify the faithfulness claim.

Figures

Figures reproduced from arXiv: 2604.09610 by Luyu Zheng.

**Figure 1.1.** Figure 1.1: (Q1, W1) associated with X(1, 3, 9). 1 8 2 6 7 3 4 5 a1 b1 c2 c1 f1 b3 f2 a2 b2 c3 a3 [PITH_FULL_IMAGE:figures/full_fig_p003_1_1.png] view at source ↗

**Figure 2.1.** Figure 2.1: (Q, W = P3 1 (−akbkck) + b3b2b1) [PITH_FULL_IMAGE:figures/full_fig_p008_2_1.png] view at source ↗

**Figure 2.2.** Figure 2.2: D6-configuration Proof. Using Lemma 2.9 and 2.10, we have an A5-subconfiguration {F1 := E5, F3 := E4, F4 := E3, F5 := T2(E3), F6 := E1} since there is a cycle 2 → 3 → 4 → 2 in W. It suffices to show that the dim Hom• (F2, F3) = 1 and dim Hom• (F2, Fk) = 0 for k ̸= 2, 3. By [DZ, Lemma 2.3(1)], there is an integer ri such that TiEi+1 ∼= T −1 i+1Ei [ri ] with indices taken modulo 6, for 1 ≤ i ≤ 6. Then usin… view at source ↗

**Figure 3.1.** Figure 3.1: The relation among D1, D2 and D3 Lemma 3.9. Assume • Ck3 ∼= P 1 for k = 1, 2; • Hom• (E3, E2) = C[−2] and Hom• (E3, E1) = C[−1]; • TE1 E2 ∼= i12∗M, where M is a line bundle on D12. Then there is a line bundle K := OC3 (D3 + D′ 3 ) ⊗ j ∗ 3M on C3 such that (1) HomX(i3∗OD3 ⊗ E3, TE1 E2) ∼= i12∗j3∗K[−1]; (2) K|C13 ∼= j ∗ 31M ⊗ OC13 (D′ 1 ); (3) K|C23 ∼= j ∗ 32M ⊗ OC23 (D′ 2 − 2). Proof. Using Corollary 3.2,… view at source ↗

**Figure 4.1.** Figure 4.1: The fan of Fe Using [CLS, Proposition 6.3.8], the intersection numbers are given as follows: • V (v2) = C0 with C 2 0 = −e in Fe. • For l = 1, 3, V (vl) is a fiber of Fe, satisfying V (vl) 2 = 0 and V (vl) · C0 = 1. • V (v4) 2 = e, V (v4) · C0 = 0, and V (v4) · V (vl) = 1 for l = 1, 3. Similarly, the fan of Fe(1), the blow-up of Fe at one point, is obtained by adding the ray v5 = v3 + v4 of the fan of Fe… view at source ↗

**Figure 4.2.** Figure 4.2: The fan of Fe(1) Fe(2) v3(1, 0) v2(0, 1) v4(0, −1) v1(−1, e) v5(1, −1) v6(−1, e − 1) [PITH_FULL_IMAGE:figures/full_fig_p018_4_2.png] view at source ↗

**Figure 5.1.** Figure 5.1: The junior simplex of X(1, 3, 9) Proposition 5.2. The irreducible compact exceptional surfaces in X(1, 3, 9) are as follows: (1) S2k ∼= F2(1), for k = 1, 2, 3; (2) S2k−1 ∼= F3, for k = 1, 2, 3. Proof. By rotational symmetry, we only need to show S4 ∼= F2(1) and S3 ∼= F3. Denote the subfan generated by {ρ2, ρ3, ρ4, ρ5, ρ6, ρ8} as Σ4. The junior simplex △4 is then given by Σ4 ∩ {x+y +z = 1}, as shown in [… view at source ↗

**Figure 5.2.** Figure 5.2: The junior simplex of subfan v6(1, 0) v3(0, 1) v5(0, −1) v8(−1, −2) v2(1, 1) [PITH_FULL_IMAGE:figures/full_fig_p021_5_2.png] view at source ↗

**Figure 5.4.** Figure 5.4: Exceptional surfaces in X(1, 3, 9) and their intersections spherical twist associated with Ek. This yields an algebraic braid twist group action on D(X(1, 3, 9)). Theorem 6.1. The algebraic braid twist group AT(Q, W) associated with the quiver (Q, W) in [PITH_FULL_IMAGE:figures/full_fig_p022_5_4.png] view at source ↗

**Figure 7.1.** Figure 7.1: The junior simplex of X(1, 3, 13) S1 ∼= F3 S8 ∼= F5(1) S2 ∼= F2(1) S6 ∼= F2(2) S7 ∼= F2(1) S3 ∼= F3 S4 ∼= F2(1) S5 ∼= F2 0 -2 -3 1 1 -3 -1 -1 -1 -1 -2 0 -1 -1 -2 0 -2 0 3 -5 -1 -1 -1 -1 0 -2 -1 -1 [PITH_FULL_IMAGE:figures/full_fig_p026_7_1.png] view at source ↗

**Figure 7.2.** Figure 7.2: Exceptional surfaces in X(1, 3, 13) and their intersections Proof. As in the proof of Proposition 5.2, denote the subfan generated by {ρ2, ρ3, ρ4, ρ5, ρ6, ρ8} as Σ4. Then there is a lattice isomorphism ϕ: L(1,3,13) → Z 3 , such that Σ4 and ΣF2(1) × KF2(1) are compatible. Thus, S4 ∼= F2(1) and C4,k ∼= V (vk) for k = 2, 3, 5, 6, 8, where vk is the 1-dimensional cone in ΣF2(1) as shown in [PITH_FULL_IMAGE:… view at source ↗

**Figure 7.3.** Figure 7.3: (Q′ , W′ = P3 1 (−akbkck) + b3b2b1 + a3f1f2) As in the case X(1, 3, 9), we have Proposition 7.3. {Ek}1≤k≤6 is a (Q, W)-configuration in D(X(1, 3, 13)). In addition, Proposition 7.4. We have (1) Hom• (E8, E1) = C[−1]; (2) Hom• (E8, E6) = 0; (3) Hom• (E8, E7) = 0; (4) Hom• (E6, E7) = C[−1]; (5) Hom• (E7, E5) = C[−1]. Proof. (1) and (5) follow from Corollary 3.4, since S7 ∩ S1 = S8 ∩ S5 = ∅. (2) follows fro… view at source ↗

**Figure 7.4.** Figure 7.4: E8-configuration Proof. By Proposition 2.11, {F1 := E5, F2 := T4T5T2(E6), F3 := E4, F4 := E3, F5 := T2(E3), F6 := E1} is a D6-subconfiguration in D(X(1, 3, 13)). Using Proposition 7.6, there is no arrow between 7 and k in Q′ , for k = 1, 2, 3, 4, 8. Thus Hom• (F7, Fl) = 0, for l = 3, 4, 5, 6, 8; and Hom• (F7, F2) = Hom• (E7, T4T5T2(E6)) ∼= Hom• (E7, T5(E6)) = 0, where the isomorphism is because there is … view at source ↗

read the original abstract

Let X(1,3,a) be a crepant resolution of the quotient singularity C^3/G, where G is a diagonal cyclic subgroup of SL(3,\C) acting on C^3 with weights (1,3,a). For each such X(1,3,a), we construct a (Q,W)-configuration of spherical objects in the bounded derived category of coherent sheaves. When a=9, the derived category D(X(1,3,9)) admits a faithful algebraic braid twist group action of type D induced by the associated (Q,W)-configuration. When a=13, the derived category D(X(1,3,13)) admits a faithful algebraic braid twist group action of type E. These two cases illustrate the emergence of type D and type E patterns from specific geometric data, supporting a broader conjectural framework.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Zheng supplies two explicit new examples of faithful type D and E braid actions on derived categories of specific crepant resolutions via direct (Q,W)-configurations.

read the letter

The paper constructs (Q,W)-configurations of spherical objects inside D(X(1,3,a)) for the two values a=9 and a=13. From these it extracts faithful algebraic braid twist actions of type D and type E respectively. The objects are built geometrically from the crepant resolution data of the quotient singularity, and the argument checks the relevant Ext groups to confirm sphericity before verifying the braid relations and faithfulness on a generating set of objects. This is the concrete content: two fresh cases that were not in the earlier literature referenced in the abstract. The explicitness is the main positive. Everything is done by direct computation from the geometry rather than by assuming a general theorem, which gives the claims a clear evidential base for these finite parameters. The constructions avoid obvious circularity because they start from the resolution and compute the needed data. The soft spots are limited but real. The results hold only for these two specific values of a, so they illustrate the conjectural pattern without proving it in general. Faithfulness rests on the action on a generating set, which is standard but means any slip in the Ext calculations would propagate; the stress-test indicates the computations are direct and unchecked assumptions are minimal, yet a referee would still want to see the full tables or code for those groups. No load-bearing gaps appear at the level described. This is for people working on derived categories of resolutions, braid group actions in algebraic geometry, or the McKay correspondence. A reader already thinking about (Q,W)-configurations or spherical twists would get immediate value from the examples. It deserves a serious referee because the claims are specific, the method is reproducible in principle, and the new cases supply testable support for the broader framework rather than just restating conjectures.

Referee Report

2 major / 3 minor

Summary. The paper constructs explicit (Q,W)-configurations of spherical objects in the bounded derived category D(X(1,3,a)) of coherent sheaves on the crepant resolution X(1,3,a) of the quotient singularity C^3/G, where G is the diagonal cyclic subgroup of SL(3,C) with weights (1,3,a). For a=9 it claims that the associated twist functors induce a faithful algebraic braid twist group action of type D; for a=13 the construction yields a faithful type-E action. Both claims rest on direct geometric realization of the objects from the resolution data followed by explicit computation of Ext groups to establish sphericity and the defining braid relations.

Significance. If the constructions and faithfulness verifications are correct, the work supplies concrete, computable examples of type-D and type-E braid actions arising from specific 3-fold crepant resolutions. These examples furnish geometric evidence for the conjectural framework relating (Q,W)-configurations to braid-group actions in derived categories, and the finite-case direct verification approach offers a template that could be tested on further values of a.

major comments (2)

[§4.3] §4.3, the paragraph following Definition 4.2: the claim that the twist functors satisfy all type-D braid relations for a=9 is supported only by a subset of the Ext computations; the manuscript must exhibit the full matrix of Ext groups between the six objects in the configuration to rule out additional relations that would collapse the action.
[§5.1] §5.1, Proposition 5.4: faithfulness of the type-E action for a=13 is deduced from the action on a generating set of four objects, but the text does not verify that this set is closed under the group action or that the induced representation on K-theory is faithful; an explicit check against the known presentation of the type-E braid group is required.

minor comments (3)

[§2] The notation (Q,W) is introduced without a self-contained definition; a short reminder of the quiver-with-potential data and the associated spherical objects would improve readability.
[Figure 3] Figure 3 (the configuration diagram for a=13) has overlapping arrows that obscure the Ext^1 arrows; redrawing with clearer spacing or an accompanying table of dimensions would help.
[Introduction] The introduction cites only two prior works on algebraic braid actions; additional references to the foundational papers on spherical twists (e.g., Seidel–Thomas) and on crepant resolutions of cyclic quotient singularities would place the results in context.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable suggestions. We address each major comment below and will incorporate the requested additions to strengthen the manuscript.

read point-by-point responses

Referee: [§4.3] §4.3, the paragraph following Definition 4.2: the claim that the twist functors satisfy all type-D braid relations for a=9 is supported only by a subset of the Ext computations; the manuscript must exhibit the full matrix of Ext groups between the six objects in the configuration to rule out additional relations that would collapse the action.

Authors: We agree that the full matrix of Ext groups among the six objects is required to rigorously confirm that no extraneous relations collapse the action. In the revised manuscript we will add the complete Ext table (including all pairwise groups) immediately after Definition 4.2. revision: yes
Referee: [§5.1] §5.1, Proposition 5.4: faithfulness of the type-E action for a=13 is deduced from the action on a generating set of four objects, but the text does not verify that this set is closed under the group action or that the induced representation on K-theory is faithful; an explicit check against the known presentation of the type-E braid group is required.

Authors: We accept the need for explicit verification. The revised §5.1 will (i) confirm that the four-object set is closed under the generated action and (ii) compare the induced K-theory representation against the standard presentation of the type-E braid group to establish faithfulness. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central claims rest on explicit geometric constructions of (Q,W)-configurations of spherical objects inside D(X(1,3,a)) for the concrete finite values a=9 and a=13, followed by direct computation of Ext groups to verify sphericity and explicit verification that the induced twist functors satisfy the braid relations and act faithfully on a generating set. No load-bearing step reduces by definition, by fitted-parameter renaming, or by self-citation chain to the target statement itself; the faithfulness result is obtained from the concrete action rather than presupposed. The broader framework is presented as conjectural and is not used to force the specific cases.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the existence of (Q,W)-configurations of spherical objects and on standard properties of derived categories of coherent sheaves on crepant resolutions.

axioms (1)

domain assumption Existence of a (Q,W)-configuration of spherical objects in D(X(1,3,a)) for the given a
Invoked to generate the braid twist action

pith-pipeline@v0.9.0 · 5438 in / 1157 out tokens · 37951 ms · 2026-05-15T12:37:36.442654+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · 3 internal anchors

[1]

Brav and H

C. Brav and H. Thomas, Braid groups and Kleinian singularities, Math. Ann. 351 (2011), 1005--1019

work page 2011
[2]

Bridgeland, Stability conditions and Kleinian singularities, Int

T. Bridgeland, Stability conditions and Kleinian singularities, Int. Math. Res. Not. IMRN 2009, no. 21, 4142--4157

work page 2009
[3]

D. A. Cox, J. B. Little, and H. K. Schenck, Toric Varieties, Graduate Studies in Mathematics, Vol. 124, American Mathematical Society, Providence, RI, 2011

work page 2011
[4]

Craw, An explicit construction of the McKay correspondence for A -Hilb ( C ^3) , J

A. Craw, An explicit construction of the McKay correspondence for A -Hilb ( C ^3) , J. Algebra 285 (2005), no. 2, 682--705

work page 2005
[5]

Craw and M

A. Craw and M. Reid, How to calculate A -Hilb ( C ^3) , Sémin. Congr. 6 (2002), 129--154

work page 2002
[6]

Quiver braid group action for a 3-fold crepant resolution

W. Donovan and L. Zheng, Quiver braid group action for a 3-fold crepant resolution, arXiv:2512.19140 (2025)

work page internal anchor Pith review Pith/arXiv arXiv 2025
[7]

Calabi-Yau algebras

V. Ginzburg, Calabi--Yau algebras, arXiv:math/0612139 (2006)

work page internal anchor Pith review Pith/arXiv arXiv 2006
[8]

Grant and B

J. Grant and B. Marsh, Braid groups and quiver mutation, Pacific J. Math. 290 (2017), no. 1, 77--116

work page 2017
[9]

Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, No

R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York--Heidelberg, 1977

work page 1977
[10]

Huybrechts, Fourier--Mukai Transforms in Algebraic Geometry, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2006

D. Huybrechts, Fourier--Mukai Transforms in Algebraic Geometry, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2006

work page 2006
[11]

Ito and M

Y. Ito and M. Reid, The McKay correspondence for finite subgroups of SL(3, C ) , in Higher-Dimensional Complex Varieties (Trento, 1994), de Gruyter, Berlin, 1996, pp. 221--240

work page 1994
[12]

A. M. Keating, Dehn twists and free subgroups of symplectic mapping class groups, J. Topol. 7 (2014), no. 2, 436--474

work page 2014
[13]

Nakamura, Hilbert schemes of abelian group orbits, J

I. Nakamura, Hilbert schemes of abelian group orbits, J. Algebraic Geom. 10 (2001), no. 4, 757--779

work page 2001
[14]

Nordskova and Y

A. Nordskova and Y. Volkov, Faithful actions of braid groups by twists along ADE-configurations of spherical objects, arXiv:1910.02401 (2019)

work page arXiv 1910
[15]

Qiu, Decorated marked surfaces: spherical twists versus braid twists, Math

Y. Qiu, Decorated marked surfaces: spherical twists versus braid twists, Math. Ann. 365 (2016), no. 1--2, 595--633

work page 2016
[16]

Qiu and J

Y. Qiu and J. Woolf, Contractible stability spaces and faithful braid group actions, Geom. Topol. 22 (2018), 3701--3760

work page 2018
[17]

McKay correspondence

M. Reid, McKay correspondence, arXiv:alg-geom/9702016 (1997)

work page internal anchor Pith review Pith/arXiv arXiv 1997
[18]

Seidel and R

P. Seidel and R. Thomas, Braid group actions on derived categories of coherent sheaves, Duke Math. J. 108 (2001), no. 1, 37--108

work page 2001