The Deligne-Simpson problem via 2-Calabi-Yau categories

Lucien Hennecart

arxiv: 2604.06991 · v2 · submitted 2026-04-08 · 🧮 math.AG · math.RT

The Deligne-Simpson problem via 2-Calabi-Yau categories

Lucien Hennecart This is my paper

Pith reviewed 2026-05-10 17:41 UTC · model grok-4.3

classification 🧮 math.AG math.RT

keywords Deligne-Simpson problemCrawley-Boevey condition2-Calabi-Yau categorieslocal systemsmonodromymoduli spacesalgebraic geometry

0 comments

The pith

The necessity of Crawley-Boevey's condition for the Deligne-Simpson problem follows from the local geometry of 2-Calabi-Yau categories.

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

This paper supplies a concise argument showing that Crawley-Boevey's condition must hold in order for the Deligne-Simpson problem to admit solutions. The problem asks whether local systems exist on a punctured surface whose monodromy around each puncture lies in a prescribed conjugacy class. The proof combines Davison's local neighbourhood theorem for 2-Calabi-Yau categories with the already-known sufficient condition, deducing non-existence whenever the numerical condition fails. A sympathetic reader cares because the result pairs with the sufficient direction to give a complete if-and-only-if criterion for existence. The argument therefore links a classical question about local systems to the geometry of certain moduli spaces arising from categorical data.

Core claim

The paper claims that Davison's local neighbourhood theorem for 2-Calabi-Yau categories applies to the moduli space of local systems with fixed conjugacy classes and thereby yields a short proof that Crawley-Boevey's condition is necessary; combined with the known sufficient condition, this settles the existence question for such local systems.

What carries the argument

Davison's local neighbourhood theorem for 2-Calabi-Yau categories, which describes the local structure of the relevant moduli space and is applied here to deduce that solutions cannot exist when Crawley-Boevey's condition is violated.

Load-bearing premise

Davison's local neighbourhood theorem applies directly to the moduli space arising from the Deligne-Simpson problem with the given conjugacy classes.

What would settle it

An explicit example of a punctured surface together with conjugacy classes that violate Crawley-Boevey's condition yet still admit a local system with exactly those monodromy classes would disprove the necessity claim.

read the original abstract

We provide a short proof of the necessity of Crawley-Boevey's condition in his solution to the Deligne-Simpson problem. The proof relies on the local neighbourhood theorem for $2$-Calabi-Yau categories due to Davison together with Crawley-Boevey's sufficient condition for the existence of local systems with prescribed conjugacy classes of monodromy around the punctures.

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

Short proof of necessity in the Deligne-Simpson problem by fitting it into a 2-CY category and invoking Davison's local neighbourhood theorem.

read the letter

This paper provides a short proof of the necessity of Crawley-Boevey's condition in his solution to the Deligne-Simpson problem. The argument combines Davison's local neighbourhood theorem for 2-Calabi-Yau categories with the known sufficient condition for existence of local systems with prescribed conjugacy classes. What is new is the necessity direction, which the abstract says was not previously available in this short form. The paper does well by finding a way to fit the Deligne-Simpson setup into the framework of 2-Calabi-Yau categories so that the neighbourhood theorem can be applied directly to obtain the required local information. This keeps things brief and relies on solid prior work from Davison and Crawley-Boevey without introducing new technical machinery. The main soft spot is whether the local neighbourhood theorem applies in exactly this setting. The Deligne-Simpson problem involves moduli spaces of local systems with fixed conjugacy classes around punctures, and it is not immediately clear from the abstract how this is packaged into a 2-Calabi-Yau category that meets all the hypotheses of Davison's result, such as the potential or the neighbourhood structure. A reader would want to see the explicit construction or verification that no extra assumptions are needed. Since the full text is not available here, this remains the key point to check. This kind of note is useful for specialists in algebraic geometry and representation theory who follow the Deligne-Simpson problem and categorical approaches to moduli spaces. A reader already familiar with the cited theorems would appreciate the reduction and could use it as a reference for the complete characterization. I would recommend sending it to peer review. The idea is straightforward and the reliance on external results is transparent, so a referee can focus on the applicability question and confirm if the proof is as short and direct as claimed. If the details hold up, it completes the picture nicely without overclaiming.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to provide a short proof of the necessity of Crawley-Boevey's condition in his solution to the Deligne-Simpson problem. The proof relies on the local neighbourhood theorem for 2-Calabi-Yau categories due to Davison together with Crawley-Boevey's sufficient condition for the existence of local systems with prescribed conjugacy classes of monodromy around the punctures.

Significance. If the application of Davison's theorem is valid and the reduction holds without additional assumptions, the result would be a concise confirmation of necessity in the Deligne-Simpson problem, leveraging modern 2-Calabi-Yau techniques to complement the existing sufficient condition. This could streamline the understanding of existence criteria for local systems with fixed monodromy conjugacy classes.

major comments (1)

[Abstract] Abstract: the necessity proof requires that Davison's local neighbourhood theorem applies directly to the 2-Calabi-Yau category (or moduli space) constructed from the Deligne-Simpson data with prescribed conjugacy classes. The abstract provides no indication of how this data is packaged into a 2-CY category or whether the theorem's hypotheses on the potential and neighbourhood structure are satisfied, which is load-bearing for deriving the necessity of Crawley-Boevey's condition from the local information.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary and comments. We address the major comment point by point below.

read point-by-point responses

Referee: [Abstract] Abstract: the necessity proof requires that Davison's local neighbourhood theorem applies directly to the 2-Calabi-Yau category (or moduli space) constructed from the Deligne-Simpson data with prescribed conjugacy classes. The abstract provides no indication of how this data is packaged into a 2-CY category or whether the theorem's hypotheses on the potential and neighbourhood structure are satisfied, which is load-bearing for deriving the necessity of Crawley-Boevey's condition from the local information.

Authors: We agree that the provided abstract is concise and does not explicitly describe the packaging of the Deligne-Simpson data into a 2-CY category or verify the hypotheses of Davison's theorem. The manuscript itself is a short note whose body (not reproduced in the query) is intended to supply these details by constructing the relevant 2-CY category from the representation variety with fixed conjugacy classes and invoking the cited sufficient condition to ensure the local neighbourhood hypotheses hold. To improve clarity, we will revise the abstract to include a brief indication of this construction and the applicability of the theorem. revision: yes

Circularity Check

0 steps flagged

No circularity; external theorems combined without self-reference

full rationale

The paper's abstract states it provides a short proof of necessity by relying on Davison's local neighbourhood theorem for 2-Calabi-Yau categories together with Crawley-Boevey's sufficient condition. These are external results from different authors with no self-citation, no internal fitting of parameters, and no definitions or equations that reduce the claim to its own inputs by construction. The derivation chain is self-contained against the cited benchmarks and exhibits no patterns of self-definitional loops, fitted inputs renamed as predictions, or ansatzes smuggled via self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the applicability of two external theorems; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Local neighbourhood theorem for 2-Calabi-Yau categories due to Davison
Invoked to establish the necessity part of the characterization.
domain assumption Crawley-Boevey's sufficient condition for existence of local systems with prescribed conjugacy classes
Combined with the new necessity proof to obtain an if-and-only-if statement.

pith-pipeline@v0.9.0 · 5318 in / 1314 out tokens · 40988 ms · 2026-05-10T17:41:09.824940+00:00 · methodology

discussion (0)

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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We provide a short proof of the necessity of Crawley-Boevey's condition in his solution to the Deligne-Simpson problem. The proof relies on the local neighbourhood theorem for 2-Calabi-Yau categories due to Davison together with Crawley-Boevey's sufficient condition for the existence of local systems with prescribed conjugacy classes of monodromy around the punctures.

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.