pith. sign in

arxiv: 2512.19140 · v2 · submitted 2025-12-22 · 🧮 math.AG

Quiver braid group action for a 3-fold crepant resolution

Will Donovan , Luyu Zheng This is my paper

Pith reviewed 2026-05-16 20:49 UTC · model grok-4.3

classification 🧮 math.AG
keywords crepant resolutionderived categoryquiver braid groupcyclic quotient singularityHirzebruch surfacesfaithful action3-foldintersection curves
0
0 comments X

The pith

The derived category of the crepant resolution X of the 1/7(1,2,4) singularity carries a faithful action of the braid group of a 3-cycle quiver.

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

The paper studies the derived category D(X) of a crepant resolution X of the three-dimensional cyclic quotient singularity 1/7(1,2,4). This resolution has three exceptional Hirzebruch surfaces that intersect pairwise along curves. The authors construct a 3-cycle quiver from this intersection data and prove that its associated braid group acts faithfully on D(X). A sympathetic reader would care because such actions organize autoequivalences of the category in a manner controlled by the geometry. If the claim holds, the intersection pattern directly produces a group of symmetries on D(X) without kernel.

Core claim

The 3-fold cyclic quotient singularity denoted 1/7(1,2,4) admits a crepant resolution X with three exceptional Hirzebruch surfaces intersecting pairwise along curves. The derived category D(X) carries a faithful action of a quiver braid group, where the relevant quiver is a 3-cycle encoding the intersection data.

What carries the argument

The 3-cycle quiver with vertices corresponding to the three exceptional Hirzebruch surfaces and arrows recording their pairwise curve intersections, whose braid group generates functors acting on D(X).

If this is right

  • The generators of the braid group induce autoequivalences of D(X) satisfying the braid relations.
  • The action has no kernel, so distinct elements of the braid group produce distinct autoequivalences.
  • The action relates objects in D(X) according to the geometry of the surface intersections.
  • The construction yields a concrete group of symmetries on the derived category determined by the intersection curves.

Where Pith is reading between the lines

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

  • The same encoding of intersections as a 3-cycle might produce faithful braid actions for other crepant resolutions with cyclic intersection graphs.
  • The faithfulness implies that the geometric intersections generate a large symmetry group not reducible to relations coming from lower-dimensional data.
  • Restricting the action to the Grothendieck group could produce a representation of the braid group on the numerical K-theory of X.
  • This example may serve as a test case for whether similar quiver actions appear in non-commutative resolutions or deformations of the singularity.

Load-bearing premise

The pairwise intersections of the three exceptional Hirzebruch surfaces can be encoded by a 3-cycle quiver such that the standard braid relations lift to a faithful action on D(X).

What would settle it

Explicit computation of the functor corresponding to a generator of the braid group squared or to a non-trivial braid word, followed by checking whether the resulting Fourier-Mukai transform equals the identity on a specific object such as the structure sheaf of one exceptional surface.

Figures

Figures reproduced from arXiv: 2512.19140 by Luyu Zheng, Will Donovan.

Figure 1.1
Figure 1.1. Figure 1.1: S1 S2 S3 C12 C23 C13 p [PITH_FULL_IMAGE:figures/full_fig_p002_1_1.png] view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: Quiver (Q, W = cba) 1.1. Existing work. Around 2000, Seidel and R. P. Thomas [ST] constructed a faithful action of the Artin braid group Brn+1 on D(X) from an An-configuration of spherical objects in D(X). We briefly recall this theory in Section 2.1. Subsequently, Brav and [PITH_FULL_IMAGE:figures/full_fig_p002_1_2.png] view at source ↗
Figure 1.3
Figure 1.3. Figure 1.3: Junior simplex of X that T1E2 is orthogonal to E3, implying T3(T1E2) ∼= T1E2. The latter is equivalent to T1T2T3T1 = T2T3T1T2. Finally, setting g ′ 3 = g2g3g −1 2 yields an isomorphism G ∼= Br4, and faithfulness follows from the faithful action of Br4 in [ST]. 1.3. Contents. In Section 2, we review spherical objects in D(X), their associated twists, An-configurations, and braid group actions; we establis… view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: The fan of Fe The intersection numbers are given as follows. Proposition 3.5. We have: • V (v2) = C0 with C 2 0 = −e in Fe. • For l = 1, 3, V (vl) is a fibre of Fe, satisfying V (vl) 2 = 0 and V (vl) · C0 = 1. Proof. This is standard. The last one is because the bundle projection Fe → P 1 is induced by the projection NFe → NP1 onto the first coordinate [CLS, Example 3.3.5 and Theorem 3.3.19]. □ 3.4. The … view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: The fan Σ of X Now consider the subfan Σ1 of Σ with 3-dimensional cones meeting the 1-dimensional cone ρ1, as shown in [PITH_FULL_IMAGE:figures/full_fig_p010_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: The subfan Σ1 τ2(0, −1) τ3(1, 0) τ4(0, 1) τ5(−1, −2) [PITH_FULL_IMAGE:figures/full_fig_p011_4_2.png] view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: The fibre C ′ 12 in S2 [PITH_FULL_IMAGE:figures/full_fig_p013_5_1.png] view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2: Quiver (Q, W = cba) Theorem 5.6. The group G above acts faithfully on D(X) by gk 7→ Tk. Proof. Using Proposition 5.2 and [ST, Proposition 2.13], TkTlTk ∼= TlTkTl . It remains to show T1T2T3T1 ∼= T2T3T1T2 in Aut D(X) or equivalently T −1 2 T1T2 ∼= (T3T1)T2(T3T1) −1 . Similarly to [ST, Proposition 2.13], using that TΦ(E) ∼= ΦTEΦ −1 for any Φ ∈ Aut D(X), it is enough to show T −1 2 E1 ∼= T3T1(E2). By Propos… view at source ↗
read the original abstract

The 3-fold cyclic quotient singularity denoted $\tfrac{1}{7}(1,2,4)$ admits a crepant resolution X with three exceptional Hirzebruch surfaces intersecting pairwise along curves. We show that the derived category D(X) carries a faithful action of a quiver braid group, where the relevant quiver is a 3-cycle encoding the intersection data.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that the derived category D(X) of the crepant resolution X of the cyclic quotient singularity 1/7(1,2,4) admits a faithful action of the braid group associated to a 3-cycle quiver, where the quiver is constructed directly from the pairwise curve intersections of the three exceptional Hirzebruch surfaces.

Significance. If the faithfulness is established, the result supplies a concrete geometric example of a quiver braid group acting faithfully on the derived category of a threefold crepant resolution. This could serve as a test case for relating intersection data to autoequivalences and might inform broader questions about braid group actions in Calabi-Yau categories or resolutions of singularities.

major comments (2)
  1. [Main construction and faithfulness statement] The central claim requires explicit verification that the braid relations lift to the asserted autoequivalences on D(X) and that the resulting representation is faithful. The abstract and construction outline the quiver from intersection data, but without detailed functor definitions or relation checks in the main argument, the faithfulness assertion remains unverified and load-bearing for the theorem.
  2. [Quiver definition and action] The pairwise intersections of the Hirzebruch surfaces are encoded by the 3-cycle quiver, but the manuscript does not provide a computation showing that this encoding produces a faithful action rather than a quotient or a non-injective representation; an explicit check on generators or on a basis of D(X) would be needed to support the claim.
minor comments (2)
  1. Notation for the autoequivalences (e.g., spherical twists or Fourier-Mukai kernels) should be introduced with explicit formulas or references to standard constructions in the literature on derived categories of resolutions.
  2. The manuscript would benefit from a short table or diagram clarifying the correspondence between quiver arrows and the intersection curves of the exceptional surfaces.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for more explicit verification of the faithfulness claim. We will revise the manuscript to address these points directly.

read point-by-point responses

  1. Referee: [Main construction and faithfulness statement] The central claim requires explicit verification that the braid relations lift to the asserted autoequivalences on D(X) and that the resulting representation is faithful. The abstract and construction outline the quiver from intersection data, but without detailed functor definitions or relation checks in the main argument, the faithfulness assertion remains unverified and load-bearing for the theorem.

    Authors: We agree that the current exposition would be strengthened by additional detail. In the revised manuscript we will expand the construction section to give explicit definitions of the autoequivalences corresponding to the generators of the 3-cycle quiver braid group (defined via spherical twists along the exceptional curves) and provide direct, case-by-case verification that the braid relations hold as equalities of functors on D(X). Faithfulness will be established by exhibiting the induced action on K_0(D(X)) ≅ ℤ^4 and showing that the resulting matrix representation of the braid group is injective. revision: yes

  2. Referee: [Quiver definition and action] The pairwise intersections of the Hirzebruch surfaces are encoded by the 3-cycle quiver, but the manuscript does not provide a computation showing that this encoding produces a faithful action rather than a quotient or a non-injective representation; an explicit check on generators or on a basis of D(X) would be needed to support the claim.

    Authors: The 3-cycle quiver is obtained directly from the intersection matrix of the three exceptional Hirzebruch surfaces; this matrix determines the orders of the generators and the braid relations. In the revision we will add an explicit computation on a basis of K_0(D(X)) consisting of the classes of the structure sheaves of the three surfaces and the three intersection curves. We will display the 4×4 matrices for the generators and verify that the only braid element acting as the identity matrix is the trivial element, thereby confirming that the representation is faithful rather than a quotient. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation begins with the explicit geometric data of the crepant resolution X of the 1/7(1,2,4) singularity, consisting of three exceptional Hirzebruch surfaces whose pairwise curve intersections are encoded by a 3-cycle quiver. The quiver braid group action on D(X) is then constructed by defining autoequivalences (spherical twists along the exceptional curves) corresponding to the quiver generators and verifying the braid relations directly on the geometry. No equation or claim reduces by construction to a prior fitted parameter, self-referential definition, or load-bearing self-citation whose content is itself unverified; the faithfulness assertion rests on explicit functor definitions and relation checks independent of the target result. The paper is therefore self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard facts about derived categories of coherent sheaves on smooth threefolds and on the geometric description of the resolution; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard properties of the bounded derived category of coherent sheaves on a smooth projective variety
    Invoked to define D(X) and to make sense of autoequivalences and group actions on it.
  • domain assumption Existence of a crepant resolution X with three exceptional Hirzebruch surfaces intersecting pairwise along curves
    Stated as given for the singularity 1/7(1,2,4).

pith-pipeline@v0.9.0 · 5340 in / 1366 out tokens · 32890 ms · 2026-05-16T20:49:58.655240+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    three exceptional Hirzebruch surfaces intersecting pairwise along curves... quiver is a 3-cycle... G=⟨g1,g2,g3 | g1g2g3g1=g2g3g1g2, gigjgi=gjgigj⟩... spherical twists T_i ... isomorphic to G

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.AG 2026-03 unverdicted novelty 7.0

    For crepant resolutions X(1,3,9) and X(1,3,13) the derived categories admit faithful braid twist group actions of types D and E induced by spherical object configurations.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Addington, New derived symmetries of some hyperk\"ahler varieties, Algebraic Geometry 3 (2016), 223--260

    N. Addington, New derived symmetries of some hyperk\"ahler varieties, Algebraic Geometry 3 (2016), 223--260

    work page 2016

  2. [2]

    Brav and H

    C. Brav and H. Thomas, Braid groups and Kleinian singularities, Mathematische Annalen, 351 (2011) 1005--1017

    work page 2011

  3. [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. [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. [5]

    Craw and M

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

    work page 2002

  6. [6]

    Donovan and M

    W. Donovan and M. Wemyss, Twists and braids for general 3-fold flops, J. Eur. Math. Soc. 21 (2015), no. 6, 1641--1701

    work page 2015

  7. [7]

    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

  8. [8]

    Huybrechts, Fourier-Mukai transforms in algebraic geometry, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Oxford, 2006

    D. Huybrechts, Fourier-Mukai transforms in algebraic geometry, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Oxford, 2006

    work page 2006

  9. [9]

    Hirano and M

    Y. Hirano and M. Wemyss, Faithful actions from hyperplane arrangements, Geom. Topol. 22 (2018) No. 6, 3395--3433

    work page 2018

  10. [10]

    Ito and M

    Y. Ito and M. Reid, The McKay correspondence for finite subgroups of SL(3, C ) , Higher-dimensional complex varieties (Trento, 1994), de Gruyter, Berlin, 1996, 221--240

    work page 1994

  11. [11]

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

    work page 2014

  12. [12]

    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

  13. [13]

    Nordskova and Y

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

    work page arXiv 1910

  14. [14]

    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

  15. [15]

    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

  16. [16]

    McKay correspondence

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

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    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