REVIEW 2 major objections 5 minor 19 references
Comparison of Cohomological and K-theoretical Hall algebra
T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read A Todd-twisted Chern character maps the K-theoretic Hall algebra into the critical cohomological Hall algebra for symmetric quivers with potential.
desk verdict A clean Todd-class proof of the known W=0 comparison and a promising potential-case extension that currently hinges on an unproven algebraic-K0 GRR assertion. 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 central object is the square-root Todd class $Td^{{1/2}}$_{M_{γ,0}/G_γ}, defined via the unique square root of a power series with constant term 1. The argument carries through a Grothendieck-Riemann-Roch comparison for vanishing-cycle cohomology (Theorem 4.5), which moves Todd classes across the pushforwards i_* and π_*; the twisted product ∘ is a Zhang twist built from the semigroup homomorphism τ ↦ c^γ_τ that factors the Todd-class ratios into separate factors depending on γ_1 and γ_2.
What would settle it
Compute the comparison map v explicitly for the Jordan quiver with one vertex and one loop and a generic potential, where both Hall algebras are known (the KHA is related to the spherical Hall algebra and the CoHA to the cohomological Hall algebra of the one-loop quiver). If the twisted multiplication does not match the known Yangian/quantum-affine comparison, or if v fails to preserve the product for a dimension vector (2,2), the theorem would be contradicted.
Extended reading notes
Core claim
For a symmetric quiver Q with a potential W such that 0 is the only critical value of tr W, Theorem 4.8 asserts that the map v: R_W → (hat H_W, ∘), f ↦ $Td^{{1/2}}$_{M_{γ,0}/G_γ} ch(f), is a morphism of algebras. Here R_W is the K-theoretic Hall algebra, hat H_W is the completed critical cohomological Hall algebra, and ∘ is the twisted multiplication whose twisting cocycle is given by the pullback ι^* $c^{{γ_1}}$_{γ_2} = ι^* ($b^{{γ_1}}$_{γ_2}/$d^{{γ_1}}$_{γ_2})^{1/2} of square-root Todd-class ratios. The morphism is injective, so the K-theoretic Hall algebra is realized as a subalgebra of a twist of the critical CoHA.
Load-bearing premise
The proof relies on Theorem 4.5, a Grothendieck-Riemann-Roch statement for vanishing-cycle cohomology, holding in algebraic K-theory exactly as it does in topological K-theory, an adaptation that Remark 4.6 asserts without presenting the details.
Editorial extensions
If this is right
- The K-theoretic Hall algebra of a symmetric quiver with potential is a subalgebra of a completed, twisted critical cohomological Hall algebra.
- Finite-length modules over the K-theoretic Hall algebra correspond to finite-length modules over the twisted critical cohomological Hall algebra, extending the identification obtained for zero potential.
- The comparison morphism is compatible with the G-equivariant and T-equivariant descriptions, so the shuffle-product presentations of both Hall algebras are matched by the Todd-twisted Chern character.
- The construction provides a uniform mechanism, square roots of Todd classes, that explains why the earlier zero-potential comparison required a nontrivial twist.
Reading between the lines
- If Theorem 4.5 holds in algebraic K-theory, a similar comparison should hold for any symmetric quiver with a generic potential (with multiple critical values) by working fiberwise, though the paper only states the single-critical-value case.
- The square-root Todd class formalism suggests a direct bridge to quantum group comparisons: the twist factors c^γ_τ should match the Drinfeld-type twist that relates Yangians and quantum affine algebras, potentially making the comparison canonical rather than ad hoc.
- A concrete test would be to compute both sides for the triple quiver with potential, where the KHA is a positive half of a Yangian and the CoHA is a half of a quantum affine algebra, and verify that v recovers the known exponentiation-of-roots map.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper compares the K-theoretical Hall algebra and the cohomological Hall algebra for a symmetric quiver, and extends the comparison to quivers with potential. For W=0, the authors construct a conceptual comparison map v(f)=Td^{1/2} ch(f) into a completed cohomological Hall algebra equipped with a Zhang twist determined by square roots of Todd classes, explaining the ad hoc modification of [LŠVdB24]. For a quiver with potential whose only critical value is 0, they define the analogous map v_sg: R_W -> (\hat H_W, ◦) and state in Theorem 4.8 that it is an algebra morphism. The proof of the potential case relies on a vanishing-cycle Grothendieck-Riemann-Roch statement (Theorem 4.5) quoted from [PT23] and on compatibility of a cohomology-module action with the maps in the Hall-algebra correspondence.
Significance. If the missing details can be supplied, this is a valuable contribution: it replaces the earlier ad hoc Chern-character twist by a square-root Todd-class construction, extends the comparison to quivers with potential, and yields an identification of finite-length modules over KHA and CoHA. The nonpotential comparison in Section 3 is coherent and the main claim is checked against independently defined Hall algebras; there are no fitted parameters or self-referential normalizations. The potential case follows the same structural pattern but currently rests on two under-proved inputs, so the result is plausible rather than fully established as written.
major comments (2)
- [§4, Theorem 4.5 and Remark 4.6] The potential comparison rests entirely on a Grothendieck-Riemann-Roch statement for algebraic K0 of matrix-factorization/singularity categories with vanishing-cycle coefficients. Theorem 4.5 is quoted from [PT23, Thm 6.8], where the proof is carried out in topological K-theory, and Remark 4.6 asserts 'the same proof works for algebraic K0' without presenting the adaptation. This is load-bearing: the proof of Theorem 4.8 moves square-root Todd classes across the maps p^*, i_*, and π_* precisely by means of Theorem 4.5 (see Lemma 4.7 and the identities (3.1)–(3.4)). The authors should supply the algebraic-K0 argument, in particular the role of the localization sequence D^bPerf(Z0) ↪ D^b(Z0) ↠ D_sg(Z0), the boundary map K_1(D_sg) → K_0(Perf), and any use of Bott periodicity or of the monodromy-invariant splitting of [PT23, (6.1)/(7.2)]. If the topological proof relies on structures with no algebraic-K0 analogue, the identity ch(i_* p^*(f_1,f_2)) = Td^{-1} m(ch(f_1),ch(f_2)) used in the potential comparison is not justified.
- [§4, proof of Theorem 4.8] The verification that the module action of H^*_{Tγ}(Mγ,Q) on vanishing-cycle cohomology is compatible with the maps \tilde p^* and \tilde i_* is too terse. For \tilde p^* it is asserted in one sentence, and for \tilde i_* it is sketched via a diagram and [Dav17, Cor. 2.15]; the T-equivariant analogue of Lemma 3.1 for the potential case is not written out. Since the projection-formula structure of Lemma 3.1 is what makes the twisted multiplication well-defined and associative, this compatibility is a load-bearing part of Theorem 4.8. Please spell out the T-equivariant potential correspondences (including what \tilde i_* means when the source has torus T_{γ1,γ2} and the target has torus T_γ) and prove the two commutation statements in detail.
minor comments (5)
- [Theorem 4.5(1)] In the statement of Theorem 4.5(1), the labels W_X and W_Y are interchanged: with h: X -> Y and W_X = W_Y ∘ h, the K0 and cohomology groups on the left should be for (X, W_X) and those on the right for (Y, W_Y).
- [Theorem 4.5(2)] In Theorem 4.5(2), Td_h is said to lie in bH(X0), but Lemma 4.7 and the pushforward formula Td_h h_* require an element on X (or at least an element whose pullback to X0 equals Td_{h|X0}); please clarify.
- [Lemma 3.2] The statement of Lemma 3.2 has a typo: the Chern character maps \tilde R to b\tilde H, not to \tilde R. Also, the proof writes ch(f) = exp(f(x_1,...,x_n)) for a general K-theory class f; this identity holds only for monomial classes. The desired S_n-equivariance follows directly from naturality of the Chern character and should be stated in that way.
- [Section 4.3] The comparison map is introduced under the name v_sg and then called v in Theorem 4.8; please use one notation.
- [Section 2.2] The sentence 'Note that π is the identity in this case' is unclear for the torus quotients; please define \tilde p, \tilde i, and the corresponding π precisely.
Circularity Check
No circularity: the comparison morphism is built from an independently defined Chern character and Todd twist, and its homomorphism property is verified by an external GrothemmdashRiemann–Roch theorem; the main risk is an omitted algebraic-K0 adaptation, not circularity.
full rationale
The paper's central map v(f) = Td^{1/2}_{M_{\gamma,0}/G_\gamma} ch(f) is not fitted to the target multiplication; rather, the twisted product ∘ is defined after the fact so that the map becomes a homomorphism, and the proof verifies this by moving Todd classes through pullbacks and pushforwards using Grothendieck–Riemann–Roch. This is a standard construction of a comparison morphism, not a circular reduction. The potential case in Theorem 4.8 rests on Theorem 4.5, quoted from [PT23], and Remark 4.6 asserts without proof that the topological-K-theory proof carries over to algebraic K0. That is a genuine omitted-support concern, but it is a correctness risk about an external theorem, not a circularity in the sense of a prediction equivalent to its inputs. The citation to [LŠVdB24] is developmental and not load-bearing: the W = 0 comparison is rederived here through square-root Todd classes rather than assumed. No fitted parameter is renamed as a prediction, no ansatz is smuggled in via self-citation, and no uniqueness theorem is imported from the authors' own prior work. The displayed swap of W_X and W_Y in Theorem 4.5(1) is a typo to be corrected, but it does not affect the circularity analysis. Overall, the derivation chain is self-contained relative to standard external GRR results, so the appropriate score is 0.
Assumptions & free parameters
assumptions (6)
- standard math Grothendieck-Riemann-Roch for equivariant K-theory and equivariant cohomology of quotient stacks, including Todd class corrections for proper pushforwards.
- domain assumption The vanishing-cycle Grothendieck-Riemann-Roch theorem of [PT23], adapted from topological K-theory to algebraic K0.
- standard math The matrix-factorization equivalence MF(X/G,W) ~ Dsg(X0/G) for reductive G and invariant W.
- domain assumption The H^*_{T_γ}(M_γ) module action on H^*_{T_γ}(M_γ, φ_W) is compatible with the pullback and pushforward maps used in the multiplication.
- domain assumption The regular function tr W has 0 as its only critical value on M_γ/G_γ.
- domain assumption Q is symmetric.
Cite this review
Pith. "Pith review of Comparison of Cohomological and K-theoretical Hall algebra." pith.science (2026). https://pith.science/paper/ZYIV576I
@misc{pith2026250708417,
author = {Pith},
title = {Pith review of: Comparison of Cohomological and K-theoretical Hall algebra},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZYIV576I}},
note = {Machine review of arXiv:2507.08417}
}
read the original abstract
We give a more conceptual construction of a comparison algebra morphism from the K-theoretical Hall algebra to a twist of the cohomological Hall algebra associated to a symmetric quiver, and extend the result to quivers with potential.
Reference graph
Works this paper leans on
-
[1]
Okounkov's conjecture via bps lie algebras
Tommaso Maria Botta and Ben Davison. Okounkov's conjecture via bps lie algebras. December 2023
work page 2023
-
[2]
On C how rings of quiver moduli
Pieter Belmans and Hans Franzen. On C how rings of quiver moduli. Int. Math. Res. Not. IMRN , (13):10255--10272, 2024
work page 2024
-
[3]
A category of kernels for equivariant factorizations and its implications for hodge theory
Matthew Ballard, David Favero, and Ludmil Katzarkov. A category of kernels for equivariant factorizations and its implications for hodge theory. Publications math \'e matiques de l'IH \'E S , 120(1):1--111, 2014
work page 2014
-
[4]
Andrei C a ld a raru. The M ukai pairing. ii. the H ochschild- K ostant- R osenberg isomorphism. Adv. Math. , 194(1):34--66, 2005
work page 2005
-
[5]
The critical C o HA of a quiver with potential
Ben Davison. The critical C o HA of a quiver with potential. Q. J. Math. , 68(2):635--703, 2017
work page 2017
-
[6]
V. G. DRINFEL'D. Hopf algebras and the quantum yang-baxter equation, 1990
work page 1990
-
[7]
Yangians and quantum loop algebras
Sachin Gautam and Valerio Toledano Laredo. Yangians and quantum loop algebras. Selecta Mathematica , 19(2):271--336, 2013
work page 2013
-
[8]
Derived kn \"o rrer periodicity and orlov’s theorem for gauged landau--ginzburg models
Yuki Hirano. Derived kn \"o rrer periodicity and orlov’s theorem for gauged landau--ginzburg models. Compositio Mathematica , 153(5):973--1007, 2017
work page 2017
Show all 19 references
-
[9]
R iemann- R och for equivariant K -theory
Amalendu Krishna. R iemann- R och for equivariant K -theory. Adv. Math. , 262:126--192, 2014
2014
-
[10]
Cohomological H all algebra, exponential H odge structures and motivic D onaldson- T homas invariants
Maxim Kontsevich and Yan Soibelman. Cohomological H all algebra, exponential H odge structures and motivic D onaldson- T homas invariants. Commun. Number Theory Phys. , 5(2):231--352, 2011
2011
-
[11]
On cohomological and k-theoretical hall algebras of symmetric quivers
Valery Lunts, S pela S penko, and Michel Van den Bergh. On cohomological and k-theoretical hall algebras of symmetric quivers. J. Algebra , 639:440--463, 2024
2024
-
[12]
Dmitri O. Orlov. Triangulated categories of singularities and D -branes in Landau - Ginzburg models. In Algebraic geometry. Methods, relations, and applications. Collected papers. Dedicated to the memory of Andrei Nikolaevich Tyurin. , pages 227--248. Moscow: Maik Nauka/Interp...
2004
-
[13]
K-theoretic H all A lgebras for Q uivers with P otential
Tudor Padurariu. K-theoretic H all A lgebras for Q uivers with P otential . ProQuest LLC, Ann Arbor, MI, 2020. Thesis (Ph.D.)--Massachusetts Institute of Technology
2020
-
[14]
Topological K -theory of quasi- BPS categories of symmetric quivers with potential
Tudor P a durariu and Yukinobu Toda. Topological K -theory of quasi- BPS categories of symmetric quivers with potential. Preprint, arXiv :2309.08432 [math. AG ] (2023), 2023
2023
-
[15]
Cohomological hall algebras of quivers and yangians
Olivier Schiffmann and Eric Vasserot. Cohomological hall algebras of quivers and yangians. arXiv e-prints , page arXiv:2312.15803, December 2023
2023 arXiv
-
[16]
The C how ring of a classifying space
Burt Totaro. The C how ring of a classifying space. Algebraic K -theory , pages 249--281, 1997
1997
-
[17]
Varagnolo and E
M. Varagnolo and E. Vasserot. K-theoretic hall algebras, quantum groups and super quantum groups. Selecta Math. (N.S.) , 28(1):Paper No. 7, 56 pp., 2022
2022
-
[18]
The cohomological hall algebra of a preprojective algebra
Yaping Yang and Gufang Zhao. The cohomological hall algebra of a preprojective algebra. Proceedings of the London Mathematical Society , 116(5):1029--1074, 2018
2018
-
[19]
James J. Zhang. Twisted graded algebras and equivalences of graded categories. Proc. London Math. Soc. (3) , 72(2):281--311, 1996
1996
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.