pith. sign in

arxiv: 2510.15396 · v4 · submitted 2025-10-17 · 🧮 math.AG · math.RT· math.SG

Braid Group Action on D^b(mathfrak{M}_(η))

Trishan Mondal This is my paper

Pith reviewed 2026-05-18 06:53 UTC · model grok-4.3

classification 🧮 math.AG math.RTmath.SG
keywords braid grouphypertoric varietiesderived categorywall-crossing equivalencehyperplane arrangementDeligne groupoidcoherent sheaves
0
0 comments X

The pith

Wall-crossing equivalences along paths in the complement of a hyperplane arrangement induce a braid group action on the derived category of a hypertoric variety.

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

The paper shows how wall-crossing equivalences tied to paths in the complexified complement of a hyperplane arrangement assemble into a functor from the Deligne groupoid to the group of triangulated equivalences. This functor produces a canonical action of the fundamental group of that complement, which is the braid group, on the bounded derived category of coherent sheaves on the associated hypertoric variety. A sympathetic reader would care because the construction supplies an explicit geometric source for braid-group symmetries of coherent sheaves rather than an abstract algebraic one. If the construction holds, loops around the hyperplanes translate directly into autoequivalences that obey the braid relations inside the derived category.

Core claim

Using wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement, these equivalences under certain conditions yield a functor from the Deligne groupoid to the category of triangulated equivalences. This gives rise to a canonical representation of the fundamental group, which recovers the braid group, acting on D^b(mathfrak{M}_η).

What carries the argument

Wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement, which form a functor from the Deligne groupoid to the triangulated equivalences of the derived category.

If this is right

  • The braid group acts by triangulated equivalences on D^b of the hypertoric variety.
  • The action is obtained by composing wall-crossing functors along closed paths that avoid the hyperplanes.
  • The fundamental group of the complement maps canonically into the group of autoequivalences.
  • The same mechanism applies to any hypertoric variety arising from a hyperplane arrangement.

Where Pith is reading between the lines

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

  • The action might preserve or interact with stability conditions or t-structures on the derived category.
  • Explicit low-dimensional examples could be used to check whether the induced maps on K-theory or Hochschild homology match known braid representations.
  • Analogous constructions could be attempted for other moduli spaces whose walls are governed by hyperplane arrangements.

Load-bearing premise

The wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement yield a functor from the Deligne groupoid to the category of triangulated equivalences under certain conditions.

What would settle it

A concrete loop in the complement whose sequence of wall-crossing equivalences fails to satisfy the braid relations when composed inside the autoequivalence group of D^b(mathfrak{M}_η) would show the claim is false.

read the original abstract

We construct an action of the braid group on the bounded derived category of coherent sheaves on hypertoric varieties arising from hyperplane arrangements. Using wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement, we show that these equivalences under certain conditions yield a functor from the Deligne groupoid to the category of triangulated equivalences. This gives rise to a canonical representation of the fundamental group, which recovers the braid group, acting on \(D^b(\mathfrak{M}_{\eta})\). This is a summary of Brad Hannigan-Daley's PhD thesis.

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 constructs an action of the braid group on the bounded derived category of coherent sheaves on hypertoric varieties arising from hyperplane arrangements. Using wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement, it claims that under certain conditions these equivalences yield a functor from the Deligne groupoid to the category of triangulated equivalences. This induces a canonical representation of the fundamental group (recovering the braid group) acting on D^b(M_η). The work is presented as a summary of the author's PhD thesis and draws on existing wall-crossing results for hypertoric varieties.

Significance. If the claimed functoriality holds with explicit conditions and verified compatibility, the result would furnish a geometric braid group action on derived categories of hypertoric varieties, linking wall-crossing techniques to categorical representations of braid groups. This could connect to broader questions in mirror symmetry and derived equivalences for hyperplane arrangements. The manuscript receives credit for building directly on prior literature for the individual wall-crossing equivalences rather than re-deriving them.

major comments (2)
  1. [Abstract / main construction] Abstract and main construction: the central claim requires that wall-crossing equivalences for paths assemble into a functor from the Deligne groupoid (objects = chambers, morphisms = homotopy classes of paths) to the groupoid of triangulated equivalences. The text states this occurs 'under certain conditions' but provides no explicit list of conditions, no verification that homotopic paths induce naturally isomorphic functors, and no check that compositions satisfy the braid relations (e.g., σ_i σ_{i+1} σ_i ≃ σ_{i+1} σ_i σ_{i+1}) while preserving the triangulated structure. This step is load-bearing for the representation of the fundamental group.
  2. [Main construction] The manuscript does not supply a proof or reference to a specific lemma establishing that the path-to-equivalence assignment is independent of the choice of representative within each homotopy class in the complement of the arrangement. Without this, the induced map on fundamental groups cannot be shown to be well-defined.
minor comments (2)
  1. Notation: the hypertoric variety is denoted both as M_η and fraktur M_η; consistent use of one symbol throughout would improve readability.
  2. [Abstract] The abstract refers to 'the category of triangulated equivalences' without specifying whether this is the groupoid of equivalences or the category of functors; a brief clarification would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The manuscript is a concise summary of the PhD thesis, so some technical details are referenced rather than fully reproduced. We agree that the main construction would benefit from greater explicitness and will revise accordingly.

read point-by-point responses

  1. Referee: Abstract and main construction: the central claim requires that wall-crossing equivalences for paths assemble into a functor from the Deligne groupoid (objects = chambers, morphisms = homotopy classes of paths) to the groupoid of triangulated equivalences. The text states this occurs 'under certain conditions' but provides no explicit list of conditions, no verification that homotopic paths induce naturally isomorphic functors, and no check that compositions satisfy the braid relations (e.g., σ_i σ_{i+1} σ_i ≃ σ_{i+1} σ_i σ_{i+1}) while preserving the triangulated structure. This step is load-bearing for the representation of the fundamental group.

    Authors: We agree that an explicit list of conditions improves clarity. In the revision we will add a short subsection listing the standing assumptions (smooth hypertoric variety, generic paths in the complement avoiding higher-codimension strata, and the wall-crossing functors taken from the cited literature). The fact that homotopic paths induce naturally isomorphic functors follows from the continuous dependence of the stability parameter on the path; two homotopic paths cross the same walls in the same order up to relations already accounted for in the Deligne groupoid. We will insert a reference to the construction of these natural isomorphisms in Section 4.3 of the thesis. The braid relations are preserved because the assignment is a groupoid homomorphism by definition: path composition corresponds to composition of equivalences, each of which is triangulated. A brief verification paragraph for the generators and the relation σ_i σ_{i+1} σ_i ≃ σ_{i+1} σ_i σ_{i+1} will be added. revision: partial

  2. Referee: The manuscript does not supply a proof or reference to a specific lemma establishing that the path-to-equivalence assignment is independent of the choice of representative within each homotopy class in the complement of the arrangement. Without this, the induced map on fundamental groups cannot be shown to be well-defined.

    Authors: We accept the criticism. The required independence is proved in the thesis by showing that homotopic paths differ by a sequence of moves that produce isomorphic functors via the octahedral axiom in the derived category. In the revised manuscript we will cite the precise statement (Lemma 4.1.5 of the thesis) and include a one-paragraph sketch explaining why the equivalence class of the functor depends only on the homotopy class of the path. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction relies on external wall-crossing equivalences

full rationale

The paper constructs the braid group action on D^b(M_η) by composing wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement. These equivalences are drawn from prior literature on hypertoric varieties rather than being defined in terms of the braid group or the target representation. The abstract states that under certain conditions these yield a functor from the Deligne groupoid to triangulated equivalences, giving a representation of the fundamental group that recovers the braid group. No self-definitional reduction, fitted input renamed as prediction, or load-bearing self-citation chain is present; the central claim is a derived result from external equivalences and path compositions, not an input by construction. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard facts about triangulated categories and the existence of wall-crossing equivalences for hypertoric varieties; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Wall-crossing equivalences exist and are triangulated equivalences for the relevant hyperplane arrangements.
    Invoked to produce the functor from the Deligne groupoid (abstract).
  • standard math The fundamental group of the complement recovers the braid group under the given identification.
    Used to conclude that the representation is a braid group action.

pith-pipeline@v0.9.0 · 5621 in / 1408 out tokens · 36625 ms · 2026-05-18T06:53:06.137029+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 unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Using wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement, we show that these equivalences under certain conditions yield a functor from the Deligne groupoid to the category of triangulated equivalences. This gives rise to a canonical representation of the fundamental group, which recovers the braid group, acting on D^b(M_η).

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.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Tom Braden, Anthony Licata, Nicholas Proudfoot, Ben Webster, Gale duality and Koszul du- ality, Advances in Mathematics, Volume 225, Issue 4, 2010, Pages 2002-2049, ISSN 0001-8708, https://doi.org/10.1016/j.aim.2010.04.011

    work page doi:10.1016/j.aim.2010.04.011 2010

  2. [2]

    Braid group actions on derived categories of coherent sheaves,

    R. P. Thomas and R. P. Seidel, “Braid group actions on derived categories of coherent sheaves,” Duke Mathematical Journal, Vol. 108, No. 1 (2001), pp. 37–108. DOI: 10.1215/S0012-7094-01-10806-3

    work page doi:10.1215/s0012-7094-01-10806-3 2001

  3. [3]

    Les immeubles des groupes de tresses g´ en´ eralis´ es

    P. Deligne, “Les immeubles des groupes de tresses g´ en´ eralis´ es”, Invent. Math. 17 (1972), 273–302

    work page 1972

  4. [4]

    Topology of the complement of real hyperplanes inC N

    M. Salvetti, “Topology of the complement of real hyperplanes inC N”, Invent. Math. 88 (1987), 603–618

    work page 1987

  5. [5]

    Toric hyperk¨ ahler varieties

    T. Hausel and B. Sturmfels, “Toric hyperk¨ ahler varieties”, Doc. Math. 7 (2002), 495–534

    work page 2002

  6. [6]

    On two geometric realizations of an affine Hecke algebra

    R. Bezrukavnikov, “On two geometric realizations of an affine Hecke algebra”, Publ. Math. Inst. Hautes ´Etudes Sci. 123 (2016), 1–67

    work page 2016

  7. [7]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan, Geometric Invariant Theory, 3rd ed., Ergebnisse der Mathe- matikund ihrer Grenzgebiete (2), vol. 34, Springer-Verlag, Berlin, 1994

    work page 1994

  8. [8]

    H.Kono, Variation of toric hyperk¨ ahler quotients, Internat.J.Math, 2003

    work page 2003

  9. [9]

    The Geometry of toric hyperk¨ ahler varieties, Toric Topology 460 (2008)

    H.Konno. The Geometry of toric hyperk¨ ahler varieties, Toric Topology 460 (2008)

    work page 2008

  10. [10]

    Brad Hannigan-Daley, Hypertoric varieties and wall crossing, PhD thesis, 2014

    work page 2014

  11. [11]

    Du Val,On isolated singularities of surfaces which do not affect the conditions of adjunction, Proc

    P. Du Val,On isolated singularities of surfaces which do not affect the conditions of adjunction, Proc. Cambridge Philos. Soc.30(1934), 453–465. BRAID GROUP ACTION OND b(Mη) 25

    work page 1934

  12. [12]

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

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

    work page 2006

  13. [13]

    Orlov,Derived categories of coherent sheaves and equivalences between them, Uspekhi Mat

    D. Orlov,Derived categories of coherent sheaves and equivalences between them, Uspekhi Mat. Nauk 52(1997), no. 6, 225–226; English transl. inRussian Math. Surveys52(1997), 1199–1200

    work page 1997

  14. [14]

    Mukai,Duality betweenD(X)andD( bX)with its application to Picard sheaves, Nagoya Math

    S. Mukai,Duality betweenD(X)andD( bX)with its application to Picard sheaves, Nagoya Math. J. 81(1981), 153–175

    work page 1981

  15. [15]

    Namikawa,Flops and Poisson deformations of symplectic varieties, Publ

    Y. Namikawa,Flops and Poisson deformations of symplectic varieties, Publ. Res. Inst. Math. Sci.44 (2008), no. 2, 259–314

    work page 2008

  16. [16]

    Kawamata,Derived categories of toric varieties, Michigan Math

    Y. Kawamata,Derived categories of toric varieties, Michigan Math. J.54(2006), no. 3, 517–535

    work page 2006

  17. [17]

    Bondal and D

    A. Bondal and D. Orlov,Reconstruction of a variety from the derived category and groups of autoe- quivalences, Compos. Math.125(2001), no. 3, 327–344

    work page 2001