REVIEW 3 major objections 6 minor 24 references
Orthosymplectic modules of cohomological Hall algebras
T0 review · 3 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper establishes that for orthosymplectic moduli stacks, parabolic induction gives a critical-cohomology module for the cohomological Hall algebra whose action and vertex coaction are compatible up to a braiding.
desk verdict Substantial new framework and explicit shuffle formulas, but the central twisted Yetter-Drinfeld theorem is explicitly deferred to an unpublished localization paper and a special-case computation. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the orthosymplectic short exact sequence stack $SES^\tau_3$, the fixed locus of the involution acting on three-step short exact sequences, together with two localised Euler classes $S=\mathrm{ep}(N_s)$ and $T=\mathrm{ep}(N^\tau_{s,3})$ attached to normal complexes. These Euler classes satisfy the Cherednik reflection hexagon relations, and multiplying the naive direct-sum coproduct and parabolic-induction action by them, in a Borcherds twist, produces the coaction and the twisted Yetter-Drinfeld compatibility. Around this core, the paper builds a localised-to-vertex functor $\Phi$ from factorisation coalgebras on moduli configuration spaces to vertex coalgebras, and an equivalence between $G$-vertex algebras and factorisation algebras over the $G$-Ran space, so the compatibility can be checked on configuration spaces and then imported into vertex-algebra language.
What would settle it
In the Jordan quiver with zero potential and framing weights $u_1,\dots,u_r$, compute both sides of identity (48) at dimension vectors $d=d_1=1$ using the shuffle action (85) and the left coaction (70), and compare the rational functions in the variables $x,u,t_1,t_2$; the difference must be exactly the braiding ratio $\beta_{34}\beta_{23}\kappa_4\beta_{34}$. A second check, independent of the shuffle computation, is whether the deferred equality of localised cohomology classes in Section 5.4 holds when $W=0$ and $M$ is the non-smooth surface stack.
Extended reading notes
Core claim
The central claim is Theorem B (Theorem 5.4.3): for any stack $M$ with involution $\tau$ satisfying the axioms StkCoHAM and StkVA, the critical cohomology $H(M^\tau,\varphi^\tau)$ is a twisted Yetter-Drinfeld vertex module over the vertex bialgebra $H(M,\varphi)$, where $\varphi$ is the vanishing-cycle sheaf of an invariant function. Concretely, there is a CoHA action $m_{\mathrm{GL-OSp}}: H(M,\varphi)\otimes H(M^\tau,\varphi^\tau)\to H(M^\tau,\varphi^\tau)$ and a compatible localised and vertex coaction $\Delta_{\mathrm{GL-OSp}}$, and they satisfy $\Delta_{\mathrm{GL-OSp}}\circ m_{\mathrm{GL-OSp}}=(m_3\otimes m)\circ \beta_{34}\beta_{23}\kappa_4\beta_{34}\circ(\Delta_3\otimes\Delta_{\mathrm{GL-OSp}})$. In words: applying the action and then the coaction is the same as applying the coaction first, then the action, up to the linear and orthosymplectic braidings. The paper proves this at the level of configuration-space factorization coalgebras, transfers it to vertex algebras by the localised-to-vertex functor, and gives a direct shuffle-algebra verification in the quiver case (Theorem 7.9.2). Examples include quivers with potential (Corollary H), preprojective algebras (Corollary J), and dimension-zero sheaves on surfaces (Theorems F and G).
Load-bearing premise
Theorem 5.4.3 accepts as a premise an unpublished Atiyah-Bott torus localisation statement for virtual Euler classes of Artin stacks, cited as [La3]; if that statement is missing or inapplicable to the fourfold product $M\times M\times M\times M\times M^\tau$, the equality of localised classes that produces the twisted Yetter-Drinfeld identity is not established.
Editorial extensions
If this is right
- For any quiver with an orientation-reversing involution and an invariant potential, the critical cohomology of the self-dual representations is a $\tau$-twisted vertex Yetter-Drinfeld module for the quiver CoHA with that potential (Corollary H).
- For the preprojective algebra of a quiver, the CoHA acts on Borel-Moore homology of framed orthosymplectic representations, and the action is intertwined with an orthosymplectic shuffle module; the compatible coaction makes the module twisted Yetter-Drinfeld (Corollary J).
- For a smooth proper surface, the zero-dimensional CoHA, identified with the positive modes $W^+(S)$ of a deformed $W$-algebra, acts on the Borel-Moore homology of semistable orthosymplectic perverse coherent sheaves, making it a $\tau$-twisted localised Yetter-Drinfeld module (Theorems F and G).
- The semistable orthosymplectic perverse coherent sheaf stack $MOSp$ gives a compactification of the stack of classical-type orthogonal or symplectic bundles on a surface, with closed points matching the Uhlenbeck compactification (Section 6).
- The localised-to-vertex functor $\Phi$ and the $G$-Ran equivalence mean all of the above vertex statements can be re-derived from rational-function data on configuration spaces, so the twisted Yetter-Drinfeld identity is a single localised cohomology-class equality (Theorems 3.4.3 and 4.6.3).
Reading between the lines
- If Theorem B is correct, the same braided compatibility should be read as the normal-ordering relation between positive and negative modes of the Drinfeld double of the orthosymplectic CoHA quotient; the paper points toward this route for constructing dual-folded affine quantum groups, but the construction itself is left to future work.
- Because the proof reduces everything to a rational-function identity in Chern roots, the shuffle formulas in Section 7 give a concrete and cheap testing ground: verifications at small dimension vectors can serve as a standalone check of the geometric theorem.
- For the $S=\mathbb{A}^2$ framed case, the conjectural Kirwan map to intersection homology of the Uhlenbeck compactification would convert the twisted Yetter-Drinfeld identity into the positive/negative mode commutation relations expected from AGT in classical type; the paper states this as a conjecture, not a theorem.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a general framework, for stacks with an involution satisfying axioms StkCoHAM and StkVA, in which the critical cohomology of the fixed locus H^*(M^\tau,\phi^\tau) is simultaneously a module and a vertex comodule for the cohomological Hall algebra of H^*(M,\phi), and satisfies a twisted Yetter-Drinfeld compatibility condition. The main structural results are Theorem A (module and vertex comodule structures), Theorem B (Theorem 5.4.3, the twisted Yetter-Drinfeld compatibility), Theorem C (factorisation coalgebra structure over configuration spaces), and Theorem D (localised-to-vertex functor). These are applied to quivers with potential, preprojective algebras, and dimension-zero sheaves on a smooth proper surface, with explicit shuffle-algebra formulas and a conjectural relation to AGT in classical types and twisted Yangians.
Significance. If Theorem B is established, the paper would give a uniform and strikingly general mechanism for producing compatible CoHA actions and Joyce-Liu vertex coactions on orthosymplectic fixed loci, covering several important examples at once. The axiomatic formulation and the identification of fixed points with orthosymplectic objects are valuable, and the shuffle formulas in Section 7 provide concrete and checkable statements. The paper contains no fitted parameters, and the target structures are not used as input, so it is not circular in the usual sense. Its main weakness is that several load-bearing steps are delegated to unpublished or to-appear work and to a computation that is only carried out in a special case.
major comments (3)
- [Section 5.4, Theorem 5.4.3, Eq. (43)] The central compatibility claim is not fully proven in the manuscript. The proof reduces the twisted Yetter-Drinfeld condition to an equality of localised cohomology classes on M^4 x M^tau, and the two key steps are deferred: Atiyah-Bott torus localisation for Artin stacks is cited to the unpublished manuscript [La3], and the final computation is left to be done "by hand ... as in the shuffle case of section 7.9". Section 7.9 verifies the compatibility only in the shuffle-algebra setting for quiver examples, and it explicitly assumes that there are no type II orbits and defers the type D case. Thus the statement for arbitrary stacks satisfying StkCoHAM and StkVA is not established as written. Theorem B, and with it the advertised twisted Yetter-Drinfeld statements for the surface and framed preprojective examples, is conditional on [La3] and on a computation that is not included in the main text.
- [Section 5.3, Theorem 5.3.2 and Corollary 5.3.4] The localised coproduct and orthosymplectic comodule maps use the Euler classes epN_sq and epN^tau_{s,3}, and the proof asserts that the corresponding S and T satisfy the Cherednik hexagon relations. This assertion depends on Corollaries 2.3.7 and 2.3.8 and on Proposition 2.3.10, but the splitting N_s^tau_3 = N_s|_{M^tau x M} oplus K_s in Proposition 2.3.10 is justified only by a short argument. Since the Euler-class factors and the braided cocommutativity of the vertex comodule structure rely on this splitting, this step should be expanded or the precise statement imported from [La2] should be stated in the text.
- [Section 6.3, Theorem 6.3.2] The proof that the extension correspondence gives a module structure on the Borel-Moore homology of semistable orthosymplectic perverse coherent sheaves rests on a one-sentence properness argument: because the stability condition lies on the wall where dimension-zero sheaves have the same phase, isotropic extensions by dimension-zero sheaves cannot destabilise. This is plausible but needs a more detailed verification, especially since the semistable open is defined using isotropic subobjects and the wall-crossing behaviour is delicate. The surface example and Corollary G depend on this claim.
minor comments (6)
- [Section 0.1.1, Theorem B statement] The displayed equation labelled (48) is missing or empty in the text; only the surrounding diagram reference appears. Please restore the equation.
- [Section 5.4, proof of Theorem 5.4.3] The line "It remains to show:," appears truncated, and the final localised class equality marked by ":" is not written out explicitly. Please complete this sentence and display the equality.
- [Section 1.1, Definition of orthosymplectic form] The symbol kappa is used both for the orthosymplectic form in Section 1.1 and for the braiding kappa = (tau x id) in Section 0.1.1. Please disambiguate the notation.
- [Section 7.9.1, shuffle notation] The notation rA_1...A_k|B_1,...,B_k,B_ells is introduced, but the asymmetry between the number of A variables and B variables is not explained before it is used in the computation. Adding a short explanation would make the shuffle proof much easier to follow.
- [References] Several foundational statements are imported from the to-appear references [JKL], [La1], [La2], and [La3]. Please add a sentence or a table indicating which specific results from each reference are used, so that the reader can assess the dependency.
- [Throughout] There are numerous typos and OCR-like artifacts, for example "algberas" in the abstract, "compactification", "othosymplectic", "coputation", and "associavity" in the proof of Proposition 4.2.3. A careful proofreading pass is needed.
Circularity Check
No definitional circularity: the Yetter-Drinfeld compatibility is a new geometric identity, but the general proof leans on a self-authored to-appear localization reference and a deferred computation.
-
self citation load bearing
[Section 5.4, proof of Theorem 5.4.3; cf. Section 5.5 and Section 7.9.]
"where in ‹ we used Atiyah-Bott torus localisation, see [La3] for details ... It remains to show:, which reduces to proving an equality of localised cohomology classes ... The proof now finishes by a computation, which we either do by hand using the Cherednik hexagon relations as in the shuffle case of section 7.9."
The main compatibility identity (43) is the central claim, and at the decisive step the proof delegates the comparison of the two sides of (44) to Atiyah-Bott torus localisation for Artin stacks, citing the authors' own unpublished manuscript [La3]. The remaining equality of localized Euler classes is not computed in the general StkCoHAM/StkVA setting; the text says the proof finishes by a computation and refers to the shuffle case of Section 7.9, which is a special quiver model. Thus, for the asserted level of generality, the theorem is conditionally supported by a self-authored to-appear reference and a special-case computation rather than being derived within the paper.
full rationale
Walking the claimed derivation chain, the action and coaction of Theorem A are constructed from explicit fixed-point correspondences (Proposition 1.5.2, Theorem 1.7.3, Theorem 5.3.2), and Theorem B's twisted Yetter-Drinfeld equation (43) is not part of any definition; it is a new compatibility statement. The quiver and preprojective instances are supported by independent shuffle-algebra computations in Section 7.9 from the explicit formulas (66) and (70), so those examples are not obtained by restating the conclusion. No fitted parameters, no imported uniqueness theorem, and no ansatz disguised as a citation were found. The principal caveat is the proof of the general Theorem 5.4.3: it invokes 'Atiyah-Bott torus localisation, see [La3] for details' for the Artin-stack comparison and leaves the remaining localized-class identity to 'a computation ... as in the shuffle case of section 7.9.' This makes the general theorem conditional on an unpublished self-authored reference and a deferred calculation. That is a verifiability and support gap rather than a circular reduction, so the appropriate circularity score is moderate, not high.
Assumptions & free parameters
assumptions (5)
- domain assumption Assumption StkCoHAM: M admits an associative correspondence SES over M x M with q quasismooth, p proper, an equivariant involution, and an invariant potential W.
- domain assumption Assumption StkVA: M has a commutative monoid structure and a BGL action compatible with the involution, making the direct-sum coaction and Joyce-Liu twists well-defined.
- ad hoc to paper Atiyah-Bott torus localization and virtual Euler classes on the stacks M^4 x M^tau, as stated in [La3, to appear].
- domain assumption The equivalence between factorisation coalgebras over configuration spaces and localised coalgebras, and the localised-to-vertex functor, established in [JKL, La2, Da], extend to orthosymplectic configurations.
- domain assumption The localised Euler classes epNsq and epNtau_s3q satisfy the Cherednik hexagon relations used for the Borcherds twist.
Cite this review
Pith. "Pith review of Orthosymplectic modules of cohomological Hall algebras." pith.science (2026). https://pith.science/paper/BU7WAW4V
@misc{pith2026250106643,
author = {Pith},
title = {Pith review of: Orthosymplectic modules of cohomological Hall algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/BU7WAW4V}},
note = {Machine review of arXiv:2501.06643}
}
read the original abstract
We study modules and comodules for cohomological Hall algebras equipped with their vertex coproducts arising as objects with classical type stabilizer groups. Specifically we consider how classical type parabolic induction gives rise to actions of CoHAs of quivers with potential, of preprojective algberas, and of dimension zero sheaves on a smooth proper surface. In all cases the CoHA action is compatible with a localised (and vertex) coaction making the module a twisted Yetter-Drinfeld module over the CoHA with its localised braided bialgebra structure. In the case of dimension zero sheaves on a surface the action is related to an approach to the AGT conjecture in classical type using moduli stacks of orthosymplectic perverse coherent sheaves, a compactification of the stack of classical type bundles on a surface.
Reference graph
Works this paper leans on
-
[1]
[Che] Cherednik, I.V., Factorizing particles on a half line and root systems , Theor
Cambridge: Cambridge University Press (2017). [Che] Cherednik, I.V., Factorizing particles on a half line and root systems , Theor. Math. Phys., 61 (1984), p
work page 2017
-
[7]
Enumerative invariants in self-dual categories. I. Motivic invariants. arXiv preprint arXiv:2302.00038. [Bu2] Bu, C.,
-
[8]
Enumerative invariants in self-dual cat egories. II. Homological invariants. arXiv preprint arXiv:2309.00056. ORTHOSYMPLECTIC MODULES OF COHOMOLOGICAL HALL ALGEBRAS 11 5 [But] Butson, D.W.,
-
[13]
arXiv preprint arXiv:2301.03545
Duality in monoidal categories. arXiv preprint arXiv:2301.03545. 116 SAMUEL DEHORITY AND ALEXEI LATYNTSEV [HMMS] Hausel, T., Mellit, A., Minets, A. and Schiffmann, O., 2 022.P “ W via H2. arXiv preprint arXiv:2209.05429. [ JKL] Jindal, S., Kaubrys, S. and Latyntsev, A. Joyce vertex algebras with potential and Drinfeld coproduc ts on Yangians, to appear. [...
-
[14]
Cohomological Hall algebras and vertex algebras
Cohomological Hall algebras and v ertex algebras. arXiv preprint arXiv:2110.14356. [La2] Latyntsev, A.,
-
[15]
Factorisation quantum groups. ar Xiv preprint arXiv:2312.07274. [La3] Latyntsev, A., Virtual Euler classes for Artin stacks , to appear. [Le] Letzter, G.,
-
[18]
Hall algebras and quantum symmetric pairs I: foundations
Hall algebras and quantum symm etric pairs I: foundations. arXiv preprint arXiv:1901.11446. [Ma] Majid, S.,
work page Pith review arXiv 1901
-
[19]
arXiv preprint arXiv:2311.13415
Coherent sheaves on surfaces, CO- HAs and deformedW1`8-algebras. arXiv preprint arXiv:2311.13415. ORTHOSYMPLECTIC MODULES OF COHOMOLOGICAL HALL ALGEBRAS 11 7 [Na1] Nakajima, H.,
Show all 24 references
-
[23]
arXiv preprint arXiv:2006.10890
Diagrams, fibrations, and the decomposition of colimits. arXiv preprint arXiv:2006.10890. [Ro] Romagny, M.,
2006 arXiv
-
[24]
International Mathe- matics Research Notices, 6, p
Uhlenbeck compactification as a Bridgeland moduli space. International Mathe- matics Research Notices, 6, p. 4952–4997. [TV] T oën, B. and Vaquié, M., 2007.Moduli of objects in dg-categories. In Annales scientifiques de l’Ecole normale supérieure (Vol. 40, No. 3, pp. 387-444)....
2007
-
[2002]
In Collo- quium Mathematicum (Vol
Generalized quivers associated to reductive groups. In Collo- quium Mathematicum (Vol. 94, pp. 151-173). Instytut Matematyczny Polskiej Akademii Nauk. [ES] Etingof, P. and Schiffmann, O.Lectures on quantum groups. Boston, MA: International Press (1998; Zbl 1105.17300) [FBZ] Fr...
1998
-
[2007]
arXiv preprint arXiv:0708.3708
Super-bicharacter construction of quantum vertex algebras. arXiv preprint arXiv:0708.3708. [BDa] Botta, T.M. and Davison, B.,
-
[2013]
arXiv preprint arXiv:1311.7172
The critical CoHA of a self dual quive r with potential. arXiv preprint arXiv:1311.7172. [DPS] Diaconescu, D.E., Porta, M. and Sala, F., 2022.Cohomological Hall algebras and their representations via torsion pairs. arXiv preprint arXiv:2207.08926. [DW] Derksen, H. and Weyman, J.,
2022 arXiv
-
[2014]
arXiv preprint arXiv:1406.2381
Instanton moduli spaces and W -algebras. arXiv preprint arXiv:1406.2381. [BLS] Barvels, A., Lentner, S. and Schweigert, C.,
-
[2015]
arXiv preprint arXiv:1503.03676
T owards a mathematical definition of Coulomb branches of 3-dimensional N “ 4 gauge theories, I. arXiv preprint arXiv:1503.03676. [Na2] Nakajima, H.,
-
[2016]
Preprint, available at http://www.math.harvard.edu/~lurie
Higher algebra (2017). Preprint, available at http://www.math.harvard.edu/~lurie. [LS] Choi, Y., Lu, D.C. and Sun, Z.,
2017
-
[2017]
Selecta Mathematica, 23(1), pp.293-362
Factorization homology of stratified spaces. Selecta Mathematica, 23(1), pp.293-362. [AHLH] Alper, Jarod, Halpern-Leistner, D. , and Heinloth, J. Existence of moduli spaces for algebraic stacks. Inventiones mathematicae 234.3 (2023): 949-1038. [AKLPR] Aranha, D., Khan, A.A., L...
2023
-
[2018]
[Ne] Negut, A.,
Instantons on ALE spaces for classical groups.arXiv preprint arXiv:1801.06286. [Ne] Negut, A.,
-
[2019]
Journal of High Energy Physics, 2019(5), pp.1-53
Gauge theory and b oundary integrability. Journal of High Energy Physics, 2019(5), pp.1-53. [Bu1] Bu, C.,
2019
-
[2020]
Journal of High Energy Physics, 2020(6), pp.1-35
On even spin W8. Journal of High Energy Physics, 2020(6), pp.1-35. [PS] Porta, M. and Sala, F.,
2020
-
[2021]
arXiv preprint arXiv:2111.14606
An extension of the Kazhdan-Lusztig equivalence. arXiv preprint arXiv:2111.14606. [CG] Costello, K. and Gwilliam, O., Factorization algebras in quantum field theory. Volume
-
[2022]
arXiv preprint arXiv:2207.01652
Virtual locali- sation revisited. arXiv preprint arXiv:2207.01652. [An] Anguelova, I.I.,
-
[2023]
arXiv preprint arXiv:2312.14008
Okounkov’s conjecture via BPS Lie algebras. arXiv preprint arXiv:2312.14008. [BDr] Beilinson, A. and Drinfeld, V.G.,
-
[2024]
Jour- nal of High Energy Physics, 2024(1), pp.1-55
Self-duality undergauging a non-invertible symmetry. Jour- nal of High Energy Physics, 2024(1), pp.1-55. [LV] Lambrechts, P. and Volić, I.,
2024
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.