Categorical Lusztig cycles and weave schobers
Pith reviewed 2026-05-22 01:53 UTC · model grok-4.3
The pith
Categorical Lusztig cycles form simple-minded and silting collections in the global sections of sheaves attached to Demazure weaves.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By associating a perverse sheaf of triangulated categories to each Demazure weave, the categorical Lusztig cycles and their duals, built using the diagrammatics of weaves, form simple-minded and silting collections in the category of global sections of such a sheaf of categories. These collections undergo tilts under weave mutations. The paper also develops categorical weighted braid words as canonical rigid filtered dg modules over derived preprojective algebras and the categorical incarnation of the tropical Lusztig rules as a gluing mechanism for such filtered objects.
What carries the argument
The perverse sheaf of triangulated categories associated to a Demazure weave, which provides the ambient setting in which the categorical Lusztig cycles form simple-minded and silting collections.
If this is right
- The collections undergo tilts under weave mutations.
- Categorical weighted braid words arise as rigid filtered dg modules over derived preprojective algebras.
- The tropical Lusztig rules receive a categorical incarnation through gluing of filtered objects.
- A novel construction of simple-minded and silting collections from full exceptional collections is supplied via highest weight structures.
- The diagrammatic changes of weaves correspond to controlled homological operations on the collections.
Where Pith is reading between the lines
- The construction could supply new categorical invariants for braid varieties by tracking the cycles across different weaves.
- Explicit low-rank computations might test whether the tilting matches known equivalences in cluster categories.
- The approach may link to other combinatorial models in representation theory by replacing weaves with different diagrams.
- Global sections of these sheaves might yield new examples of Calabi-Yau categories with controlled silting theory.
Load-bearing premise
A perverse sheaf of triangulated categories can be associated to each Demazure weave in a way that makes the global sections well-defined and allows the Lusztig cycles to satisfy the simple-minded and silting properties under weave changes.
What would settle it
A concrete Demazure weave for which the constructed categorical Lusztig cycles fail to form a silting collection in the global sections or fail to undergo the predicted tilt after a weave mutation.
Figures
read the original abstract
We establish the foundations of categorical weave calculus, developing the diagrammatic calculus of weaves and braid varieties within the study of Calabi-Yau triangulated categories and cluster tilting theory. This is achieved by associating a perverse sheaf of triangulated categories to each Demazure weave. A central contribution is the construction and study of the categorical Lusztig cycles and their duals, which we show form simple-minded and silting collections in the category of global sections of such a sheaf of categories. These categorical collections are built using the diagrammatics of weaves and we study their behavior under changes of weaves. For instance, we show that they undergo tilts under weave mutations. En route, we develop the study of categorical weighted braid words, as canonical rigid filtered dg modules over derived preprojective algebras, and the categorical incarnation of the tropical Lusztig rules, as a gluing mechanism for such filtered objects. Appendix A contains homological results, providing a novel construction of simple-minded and silting collections from full exceptional collections, and characterizing when these arise from a highest weight structure on an abelian category.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes foundations for categorical weave calculus by associating a perverse sheaf of triangulated categories to each Demazure weave. It constructs categorical Lusztig cycles and their duals, proving they form simple-minded and silting collections in the global sections of this sheaf. The work examines their behavior under weave changes, including tilts under mutations, and develops categorical weighted braid words as rigid filtered dg-modules over derived preprojective algebras together with a categorical version of tropical Lusztig rules as a gluing mechanism. Appendix A supplies general homological results on constructing simple-minded and silting collections from full exceptional collections and characterizing those arising from highest-weight structures on abelian categories.
Significance. If the constructions and verifications hold, the paper would supply a new diagrammatic and sheaf-theoretic framework connecting weave combinatorics and braid varieties to Calabi-Yau triangulated categories and cluster-tilting theory. The categorical Lusztig cycles would furnish concrete silting collections whose mutation behavior is controlled by weave operations, while the appendix offers a general homological tool that may apply beyond the present setting. The use of perverse sheaves and filtered dg-modules provides a systematic way to encode tropical rules categorically.
major comments (3)
- [§3] §3: The association of a perverse sheaf of triangulated categories to a Demazure weave is presented via categorical weighted braid words and gluing along tropical Lusztig rules, but the manuscript does not supply an explicit check that the resulting sheaf is constructible with respect to the weave stratification and that its global sections form a triangulated category in which the Lusztig cycles are well-defined objects.
- [§5.2] §5.2: The claim that the categorical Lusztig cycles and duals undergo tilts under weave mutations and remain silting relies on the interaction between the perverse sheaf structure and the mutation functors; the verification that Hom-vanishing and generation properties are preserved under these changes is only sketched and requires a detailed computation for at least one non-trivial mutation.
- [Appendix A, Theorem A.3] Appendix A, Theorem A.3: The general construction of silting collections from full exceptional collections is applied to the global sections, yet the manuscript does not verify that the highest-weight structure on the abelian heart is compatible with the weave stratification or that the resulting silting collection coincides with the categorical Lusztig cycles.
minor comments (2)
- [§2] The notation for filtered dg-modules over derived preprojective algebras in §2 could be accompanied by a small table of examples for low-rank weaves to clarify the rigid filtered structure.
- [§4] Several diagrams in §4 illustrating weave mutations would benefit from explicit labels indicating which strands correspond to the categorical Lusztig cycles before and after the mutation.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address each major point below with clarifications and indicate revisions that will be incorporated to strengthen the explicitness of the arguments.
read point-by-point responses
-
Referee: [§3] §3: The association of a perverse sheaf of triangulated categories to a Demazure weave is presented via categorical weighted braid words and gluing along tropical Lusztig rules, but the manuscript does not supply an explicit check that the resulting sheaf is constructible with respect to the weave stratification and that its global sections form a triangulated category in which the Lusztig cycles are well-defined objects.
Authors: We agree that an explicit verification would improve clarity. The construction via categorical weighted braid words and gluing along tropical Lusztig rules is intended to ensure constructibility with respect to the weave stratification by design of the gluing data. In the revised version we will add a dedicated paragraph in §3 that verifies constructibility directly and confirms that the global sections form a triangulated category (as the global sections of a sheaf of triangulated categories) in which the categorical Lusztig cycles are well-defined objects. revision: yes
-
Referee: [§5.2] §5.2: The claim that the categorical Lusztig cycles and duals undergo tilts under weave mutations and remain silting relies on the interaction between the perverse sheaf structure and the mutation functors; the verification that Hom-vanishing and generation properties are preserved under these changes is only sketched and requires a detailed computation for at least one non-trivial mutation.
Authors: We acknowledge that the verification in §5.2 is schematic. We will expand this section to include a detailed computation for one concrete non-trivial mutation (e.g., the mutation corresponding to a single crossing change in a Demazure weave). The computation will explicitly track the action of the mutation functors on the perverse sheaf, verify preservation of Hom-vanishing between cycles and duals, and confirm that the silting property is retained. revision: yes
-
Referee: [Appendix A, Theorem A.3] Appendix A, Theorem A.3: The general construction of silting collections from full exceptional collections is applied to the global sections, yet the manuscript does not verify that the highest-weight structure on the abelian heart is compatible with the weave stratification or that the resulting silting collection coincides with the categorical Lusztig cycles.
Authors: We agree that the compatibility and coincidence statements require explicit confirmation in the specific setting. In the revised appendix we will add a short verification subsection showing that the highest-weight structure on the abelian heart is compatible with the weave stratification and that the silting collection produced by Theorem A.3 coincides with the categorical Lusztig cycles constructed in the main body. revision: yes
Circularity Check
No circularity: constructions of perverse sheaves and Lusztig cycles are independent of target properties
full rationale
The paper defines an association of a perverse sheaf of triangulated categories to each Demazure weave using categorical weighted braid words and tropical Lusztig rules for gluing. Categorical Lusztig cycles are then built directly from the weave diagrammatics and their behavior under mutations is studied. The claim that these form simple-minded and silting collections is supported by an explicit general construction in Appendix A that produces such collections from full exceptional collections on an abelian category with highest weight structure. This appendix result is stated and proved independently of the specific weave or cycle data. No equation or definition reduces the target silting property to a fitted input, self-referential definition, or load-bearing self-citation; the derivation chain consists of explicit constructions and homological verifications that remain self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of triangulated categories, Calabi-Yau structures, and cluster tilting theory hold.
- domain assumption A perverse sheaf of triangulated categories can be canonically associated to each Demazure weave.
invented entities (2)
-
Categorical Lusztig cycles
no independent evidence
-
Perverse sheaf of triangulated categories
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We associate a perverse schober Fw to each Demazure weave... categorical Lusztig cycles form a simple-minded collection... undergo tilts under weave mutations... categorical weighted braid words as rigid filtered dg modules over derived preprojective algebras
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Appendix A: novel construction of simple-minded and silting collections from full exceptional collections... relation with highest weight theory
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
-
[1]
Decompositions of augmentation varieties via weaves and rulings
[ACSH+25] Johan Asplund, Orsola Capovilla-Searle, James Hughes, Caitlin Leverson, Wenyuan Li, and Angela Wu. Decompositions of augmentation varieties via weaves and rulings. arXiv:2508.20226,
-
[2]
Gale duality and Koszul duality.Adv
[BLPW10] Tom Braden, Anthony Licata, Nicholas Proudfoot, and Ben Webster. Gale duality and Koszul duality.Adv. Math., 225(4):2002–2049,
work page 2002
-
[3]
[BY14] ThomasBrüstleandDongYang. Orderedexchangegraphs. In Advancesinrepresentation theoryofalgebras.Selectedpapers ofthe15thinternationalconferenceonrepresentations of algebras and workshop (ICRA XV), Bielefeld, Germany, August 8–17,2012, pages 135–193. Zürich: European Mathematical Society (EMS),
work page 2012
-
[4]
A categorification of combinatorial Auslander-Reiten quivers
[Can25] Ricardo Canesin. A categorification of combinatorial Auslander-Reiten quivers. arXiv:2505.06147,
work page internal anchor Pith review arXiv
-
[5]
Complexes of stable∞-categories
[CDW23] Merlin Christ, Tobias Dyckerhoff, and Tashi Walde. Complexes of stable∞-categories. arXiv:2301.02606,
-
[6]
Perverse schobers, stability conditions and quadratic differentials I.arXiv:2303.18249,
[CHQ23] Merlin Christ, Fabian Haiden, and Yu Qiu. Perverse schobers, stability conditions and quadratic differentials I.arXiv:2303.18249,
-
[7]
[Chr21] Merlin Christ. Geometric models for derived categories of Ginzburg algebras of n- angulated surfaces via local-to-global principles.arXiv:2107.10091,
-
[8]
Cluster theory of topological Fukaya categories
[Chr22a] Merlin Christ. Cluster theory of topological Fukaya categories. arXiv:2209.06595,
-
[9]
Spherical monadic adjunctions of stable infinity categories
[Chr22c] Merlin Christ. Spherical monadic adjunctions of stable infinity categories. Int. Math. Res. Not. IMRN, 2023(15):13153–13213,
work page 2023
-
[10]
Clustertheoryoftopologicalfukayacategories.PartII:HigherTeichmüller theory
[Chr25a] MerlinChrist. Clustertheoryoftopologicalfukayacategories.PartII:HigherTeichmüller theory. arXiv:2510.05925,
-
[11]
Induction in perverse schobers and cluster tilting theory.arXiv:2509.01689,
[Chr25b] Merlin Christ. Induction in perverse schobers and cluster tilting theory.arXiv:2509.01689,
-
[12]
Conjugate fillings and legendrian weaves
[CL22] Roger Casals and Wenyuan Li. Conjugate fillings and legendrian weaves. arXiv:2210.02039,
-
[13]
[CW24] Roger Casals and Daping Weng
[CLSBW23] Roger Casals, Ian Le, Melissa Sherman-Bennett, and Daping Weng. Demazure weaves for reduced plabic graphs (with a proof that muller-speyer twist is donaldson-thomas). arXiv:2308.06184,
-
[14]
Spectral Networks and Betti Lagrangians
[CN25] Roger Casals and Yoon Jae Nho. Spectral Networks and Betti Lagrangians. arXiv:2504.08144,
-
[15]
Spherical adjunctions of stable∞-categories and the relative S-construction
[DKSS21] Tobias Dyckerhoff, Mikhail Kapranov, Vadim Schechtman, and Yan Soibelman. Spherical adjunctions of stable∞-categories and the relative S-construction. arXiv:2106.02873,
-
[16]
Legendrian doubles, twist spuns, and clusters
[HR25] James Hughes and Agniva Roy. Legendrian doubles, twist spuns, and clusters. arXiv:2505.17901,
-
[17]
Spherical objects in dimension two and three
[HW22] Wahei Hara and Michael Wemyss. Spherical objects in dimensions two and three. arXiv:2205.11552,
-
[18]
Graded decorated marked surfaces: Calabi-Yau- X categories of gentle algebras.arXiv:2006.00009,
117 [IQZ20] Akishi Ikeda, Yu Qiu, and Yu Zhou. Graded decorated marked surfaces: Calabi-Yau- X categories of gentle algebras.arXiv:2006.00009,
-
[19]
2-Auslander algebras associated with reduced words in Coxeter groups.Int
[IR11] Osamu Iyama and Idun Reiten. 2-Auslander algebras associated with reduced words in Coxeter groups.Int. Math. Res. Not., 2011(8):1782–1803,
work page 2011
-
[20]
A Higgs category for the cluster variety of triples of flags
[KL25] Bernhard Keller and Miantau Liu. A Higgs category for the cluster variety of triples of flags. arXiv:2509.04863,
work page internal anchor Pith review arXiv
-
[21]
Cluster hearts and cluster tilting objects
[KN] Bernhard Keller and Pedro Nicolás. Cluster hearts and cluster tilting objects. [KN13] Bernhard Keller and Pedro Nicolás. Weight structures and simple dg modules for positive dg algebras. Int. Math. Res. Not., 2013(5):1028–1078,
work page 2013
-
[22]
[KS14] Mikhail Kapranov and Vadim Schechtman. Perverse Schobers. arXiv:1411.2772,
work page internal anchor Pith review Pith/arXiv arXiv
-
[23]
Perverse sheaves and graphs on surfaces
[KS16] Mikhail Kapranov and Vadim Schechtmann. Perverse sheaves and graphs on surfaces. arXiv:1601.01789,
work page internal anchor Pith review Pith/arXiv arXiv
-
[24]
Topological exodromy with coefficients
[PT22] Mauro Porta and Jean-Baptiste Teyssier. Topological exodromy with coefficients. arXiv:2211.05004,
-
[25]
[PYK23] Pierre-Guy Plamondon, T. Yurikusa, and Bernhard Keller. Tame algebras have dense g-vector fans.Int. Math. Res. Not., 2023(4):2701–2747,
work page 2023
-
[26]
Boston, MA: International Press,
Papers from the conference held in Cambridge, MA, USA, 1997, pages 161–172. Boston, MA: International Press,
work page 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.