Recognition: unknown
Spectral correspondence for cyclic Higgs bundles
Pith reviewed 2026-05-07 14:59 UTC · model grok-4.3
The pith
Cyclic Higgs bundles on a curve correspond one-to-one with sheaves on a noncommutative surface built from the cyclic quiver's path algebra.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We describe the spectral correspondence for cyclic Higgs bundles from the viewpoint of quiver bundles. Under this framework, we establish a one-to-one correspondence between cyclic Higgs bundles on a curve and sheaves on a noncommutative surface whose noncommutative structure originates from the path algebra associated to the cyclic quiver. As applications, this correspondence generalizes the known spectral correspondence for U(p,p)-Higgs bundles and establishes a connection between the spectral data for U(p,q)-Higgs bundles and modules over the sheaf of even Clifford algebras of a conic fibration.
What carries the argument
Quiver bundles on the curve, which translate the spectral data of cyclic Higgs bundles into sheaves on the noncommutative surface constructed from the path algebra of the cyclic quiver.
Load-bearing premise
The curve and cyclic quiver must permit a well-defined noncommutative surface such that the quiver-bundle description faithfully encodes the spectral data without extra unstated conditions on stability or rank.
What would settle it
An explicit cyclic Higgs bundle on a given curve that fails to map uniquely to any sheaf on the associated noncommutative surface, or two distinct bundles that map to the identical sheaf.
read the original abstract
In this paper, we describe the spectral correspondence for cyclic Higgs bundles from the viewpoint of quiver bundles. Under this framework, we establish a one-to-one correspondence between cyclic Higgs bundles on a curve and sheaves on a noncommutative surface whose noncommutative structure originates from the path algebra associated to the cyclic quiver. As applications, this correspondence generalizes the known spectral correspondence for $U(p,p)$-Higgs bundles and establish a connection between the spectral data for $U(p,q)$-Higgs bundles and modules over the sheaf of even Clifford algebras of a conic fibration.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to establish a spectral correspondence for cyclic Higgs bundles on a curve by adopting the viewpoint of quiver bundles. It asserts a one-to-one correspondence between such cyclic Higgs bundles and sheaves on a noncommutative surface whose structure arises from the path algebra of the cyclic quiver. As applications, the correspondence is said to generalize the known spectral correspondence for U(p,p)-Higgs bundles and to relate the spectral data for U(p,q)-Higgs bundles to modules over the sheaf of even Clifford algebras of a conic fibration.
Significance. If the bijection is rigorously established and accounts for stability, the result would supply a quiver-theoretic and noncommutative-geometric framework for spectral data of Higgs bundles. This could facilitate new constructions of moduli spaces and extend classical correspondences to broader classes of bundles, including the U(p,q) case via Clifford algebras. The quiver-bundle approach itself is a potentially reusable technique.
major comments (2)
- [Abstract, §3, §4] Abstract and §3 (quiver bundle viewpoint): the stated one-to-one correspondence between cyclic Higgs bundles and sheaves on the noncommutative surface is asserted without explicit incorporation of stability conditions (e.g., semistability with respect to a polarization). Classical spectral correspondences for Higgs bundles require such conditions to guarantee injectivity and surjectivity; if the constructions in §3 and §4 proceed formally from the path algebra without verifying or imposing analogous stability in the noncommutative setting, the bijection holds only in the absence of stability constraints, weakening the claimed generalization to U(p,q)-Higgs bundles.
- [§4] §4 (construction of the noncommutative surface): the definition of the noncommutative surface via the path algebra of the cyclic quiver is presented formally, but it is unclear whether the resulting sheaf category automatically encodes the cyclic quiver relations and rank conditions on the Higgs bundles without additional hidden assumptions. A concrete verification that every cyclic Higgs bundle maps to a sheaf and conversely, preserving the spectral data, is needed to support the central claim.
minor comments (2)
- [Abstract] The abstract refers to 'cyclic Higgs bundles' and 'U(p,q)-Higgs bundles' without a brief reminder of the precise definitions or the cyclic quiver; adding one sentence would improve accessibility.
- [§2, §3] Notation for the path algebra and the noncommutative surface should be introduced consistently with a single symbol or diagram in §2 or §3 to avoid ambiguity when the correspondence is stated.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and indicate the revisions we will make to improve the clarity and rigor of the presentation.
read point-by-point responses
-
Referee: [Abstract, §3, §4] Abstract and §3 (quiver bundle viewpoint): the stated one-to-one correspondence between cyclic Higgs bundles and sheaves on the noncommutative surface is asserted without explicit incorporation of stability conditions (e.g., semistability with respect to a polarization). Classical spectral correspondences for Higgs bundles require such conditions to guarantee injectivity and surjectivity; if the constructions in §3 and §4 proceed formally from the path algebra without verifying or imposing analogous stability in the noncommutative setting, the bijection holds only in the absence of stability constraints, weakening the claimed generalization to U(p,q)-Higgs bundles.
Authors: We agree that stability conditions are essential for the correspondence to descend to a bijection of moduli spaces, as in the classical setting. Our current statement establishes a bijection between the underlying objects (cyclic Higgs bundles and the corresponding sheaves), with the quiver path algebra providing the noncommutative structure. We will add a dedicated subsection in §4 that defines the appropriate stability condition on the noncommutative side (induced by a polarization compatible with the quiver relations) and proves that it corresponds exactly to semistability of the cyclic Higgs bundle. This will make the generalization to the U(p,q) case fully rigorous at the level of moduli. revision: yes
-
Referee: [§4] §4 (construction of the noncommutative surface): the definition of the noncommutative surface via the path algebra of the cyclic quiver is presented formally, but it is unclear whether the resulting sheaf category automatically encodes the cyclic quiver relations and rank conditions on the Higgs bundles without additional hidden assumptions. A concrete verification that every cyclic Higgs bundle maps to a sheaf and conversely, preserving the spectral data, is needed to support the central claim.
Authors: The path algebra is constructed precisely so that the cyclic quiver relations are imposed by definition, and the rank conditions on the Higgs bundles are encoded in the graded dimensions of the corresponding modules. To remove any ambiguity, we will expand §4 with explicit functorial descriptions of the maps in both directions, together with direct verifications that these functors are inverse equivalences and that the spectral data (characteristic polynomial of the Higgs field) are preserved. This will provide the concrete verification requested. revision: yes
Circularity Check
No circularity: derivation is a direct mathematical construction
full rationale
The paper claims to establish a one-to-one correspondence by rephrasing cyclic Higgs bundles in terms of quiver bundles and then mapping to sheaves on a noncommutative surface built from the path algebra of the cyclic quiver. No equations, definitions, or steps are provided that reduce the claimed bijection to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose content is itself unverified. The construction is presented as proceeding formally from the quiver data and path algebra, generalizing prior spectral correspondences without invoking uniqueness theorems or ansatzes from the authors' own prior work as the sole justification. The result is therefore self-contained against external benchmarks of algebraic geometry and quiver representations.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.