REVIEW 4 major objections 5 minor 19 references
The Gerstenhaber bracket and cycles in the module category of a monomial quadratic algebra
T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that the Gerstenhaber bracket on Hochschild cohomology of a monomial quadratic algebra is encoded by the composition of admissible cycles in its module category.
desk verdict Main theorem as stated is missing the hypothesis q=αs and is false; the core idea is good and fixable, so it deserves a referee but needs revision. 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 a dictionary between two combinatorial objects. On the cochain side, basic cochains $\chi^p_u$ are the basis elements of the Bardzell cochain complex, each determined by a $\Gamma$-path $u$ and a parallel path $p$; a $\Gamma$-bypass is a pair of $\Gamma$-paths $(u,v)$ with a switching position $s$ such that replacing the $s$-th arrow of $u$ by the whole path $v$ again yields a $\Gamma$-path, written $u\circ_s v$. On the module side, every reduced basic cochain of degree at least two determines an admissible cycle $C(u,p)$, a cycle of string modules $M(\alpha_i)$ with one exceptional module $M(\alpha_1^{-1}p\alpha_n^{-1})$ in the middle. The paper defines the $s$-th composition of two admissible cycles in the three cases $s=1$, $1<s<n$, and $s=n$, and proves it mirrors the cochain circle product.
What would settle it
Run the paper's five-vertex example: compute the Hochschild bracket class $[f^3,f^2]$ from the Bardzell cochain formula and independently compose the two admissible cycles displayed in (2.3.3); the theorem requires the cycle composition to equal $C(\alpha_1\alpha_2\alpha_3\alpha_4,\gamma)$ and the bracket class to equal $f^4$. A mismatch between the diagram-level cycle and the cochain-level class would falsify the link.
Extended reading notes
Core claim
The central claim is the theorem in Section 2.5: for two reduced basic cochains $\chi^p_u$ of degree $n\geq 2$ and $\chi^q_v$ of degree $m\geq 2$, whenever $(u,v)$ is an $(s,s+1)$ $\Gamma$-bypass, the $s$-th composition $C(u,p)\circ_s C(v,q)$ of the admissible cycles is defined and equals $C(u\circ_s v, p)$. Because the cochain-level circle product satisfies $\chi^p_u\circ_s\chi^q_v = \chi^p_{u\circ_s v}$ precisely under the same bypass condition, this identity shows that the operations generating the Gerstenhaber bracket are carried by a genuine composition law on cycles in the module category of $A$.
Load-bearing premise
The load-bearing premise is the transfer formula in Section 1.3 that defines the circle product on Bardzell cochains by substituting $g$'s value into $f$; if that formula misstates how the bracket moves from the reduced bar resolution to Bardzell's cochain complex, then the cycle-composition theorem describes a different operation from the actual Gerstenhaber bracket.
Editorial extensions
If this is right
- A nonzero $\chi^p_u\circ_s\chi^q_v$ exists only when $(u,v)$ is an $(s,s+1)$ $\Gamma$-bypass, and then it is exactly $\chi^p_{u\circ_s v}$.
- The Gerstenhaber bracket of two cohomology classes represented by reduced basic cochains can be computed by composing their admissible cycles, without running the full Hochschild complex.
- For monomial quadratic algebras, a nonzero bracket in degrees at least two implies the module category contains an admissible cycle, so the bracket records representation-theoretic information about $\mathrm{mod}\text{-}A$.
- The correspondence is cochain-level: it applies to any reduced basic cochain of degree at least two, cocycle or not, so the circle-product structure on the Bardzell complex is controlled by the same cycle compositions.
Reading between the lines
- If the theorem is right, Gerstenhaber brackets for this class of algebras could be read off the Auslander-Reiten quiver (the graph of indecomposable modules and irreducible maps) alone; a concrete test is to compute a bracket in a representation-infinite monomial quadratic algebra and compare it with the corresponding cycle composition.
- The dictionary likely extends beyond Hochschild cohomology: the paper's closing remark links reduced basic cochains to clockwork cycles, so the same cycle-composition operation may organize the full Bardzell cochain complex, not just its cohomology.
- A natural next step is to complete the dictionary for non-reduced cochains by removing common prefixes and suffixes; the paper notes this can reduce the degree below two, so degree-one cochains would need a separate treatment.
- Since Bardzell's resolution exists for all monomial algebras, an analogous cycle-composition description may be feasible for non-quadratic monomial algebras if the comparison morphisms can be made explicit.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a combinatorial description of the Gerstenhaber bracket in the Hochschild cohomology of monomial quadratic algebras. The authors work with the Bardzell minimal resolution and with basic cochains chi^p_u associated to a Gamma-path u and an output path p. For reduced basic cochains of degree at least 2, they associate an admissible cycle C(u,p) in the module category mod-A. The main theorem (Section 2.5) states that if chi^p_u and chi^q_v are reduced basic cochains and (u,v) is an (s,s+1)-Gamma-bypass, then the s-th composition of the cycles C(u,p) and C(v,q) is defined and equals C(u composed with v at s, p).
Significance. If correct, the paper would give a concrete representation-theoretic interpretation of the Gerstenhaber bracket for a substantial class of algebras, going beyond the abstract description of Schwede and the computational results for string algebras. The definitions are explicit, and the running example is instructive. The authors are also careful to note that the cycles in question are in mod-A, not necessarily in the Auslander-Reiten quiver, and they relate their construction to clockwork cycles. However, as detailed below, the main theorem and the proposition on which it rests omit a necessary hypothesis, and the transfer formula in Section 1.3 contains an index inconsistency. These issues affect the central claim and require correction.
major comments (4)
- [Section 1.3 (transfer formula)] The displayed transfer formula for f circle_i g(w) is dimensionally inconsistent. For f in (Gamma^n, A), g in (Gamma^m, A) and w in Gamma^{n+m-1}, the argument alpha_1 ... alpha_{i-1} g(alpha_i ... alpha_{i+m-1}) alpha_{i+m} ... alpha_{n+m-1} has length n-1 plus the length of g(alpha_i ... alpha_{i+m-1}), so it lies in Gamma^n only if g(...) is a single arrow. The formula as written therefore cannot hold for general basic cochains, and the derivation of the composition rule in Section 2.4 relies on this transfer statement.
- [Section 2.4, Proposition] The proposition is false as stated. It asserts that chi^p_u circle_s chi^q_v equals chi^p_{u circle_s v} whenever (u,v) is an (s,s+1)-Gamma-bypass, independently of q. But the computation preceding it forces the inserted path q to be exactly the s-th arrow of u; otherwise the substituted path cannot equal u, and the circle product vanishes. The statement must include the hypothesis q = alpha_s.
- [Section 2.5, Theorem] The main theorem is false as stated. The definition of C circle_s C' in Section 2.5 explicitly requires condition (b) q = alpha_s. The Gamma-bypass hypothesis on (u,v) ensures only condition (a), that beta_1 ... beta_m is parallel to alpha_s; it does not ensure q = alpha_s. The proof says 'by assumption, q is the s-th arrow of the path u', but that assumption is not present in the theorem. Thus, for a reduced basic cochain chi^q_v with q different from alpha_s, the cycle C(v,q) is well-defined and (u,v) is an (s,s+1)-Gamma-bypass, yet C(u,p) circle_s C(v,q) is not defined, so the theorem's conclusion fails. The theorem can be repaired by adding q = alpha_s to the hypotheses, but as written it is incorrect.
- [Section 2.5, proof] Even after adding the missing hypothesis, the one-sentence proof is insufficient: the definition of C circle_s C' has three separate cases (s=1, 1<s<n, s=n) with different diagrams and different two-step constructions of the distinguished middle module. The equality C(u,p) circle_s C(v,q) = C(u circle_s v, p) needs to be verified case by case.
minor comments (5)
- [Title and Abstract] The title contains 'CA TEGORY' and the abstract contains 'Hochshild'; both should be corrected to 'CATEGORY' and 'Hochschild'.
- [Section 1.3] In the display for the transfer formula, 'Gamma^{n+n-1}' should be 'Gamma^{n+m-1}'.
- [Section 2.3] The text says 'Asulander-Reiten translation'; this should be 'Auslander-Reiten translation'.
- [Section 2.5, Example] The example writes 'C(a1βα4, γ)' where the subscript should be 'α1βα4' (the Greek letter is missing).
- [Section 2.4, display (2.4.1)] The diagram labels such as 'βm−1β2' are ambiguous; the intended path structure would be clearer with explicit arrows and vertices.
Circularity Check
No circularity: the main theorem is a computation from definitions; the proof's missing hypothesis is a correctness issue, not a circular reduction.
full rationale
The paper's central claim equates the transferred Gerstenhaber circle product on basic Bardzell cochains with a composition of admissible cycles in the module category. The transfer formula in §1.3 is cited from [3] and [13], and the main theorem in §2.5 is a derivation from that formula together with the definition of admissible cycles. No parameter is fitted, no input is renamed as a prediction, and the admissible-cycle composition is explicitly constructed so that the desired equality holds; that an operation is defined to match a target identity does not make the derivation circular, since the substantive content lies in the transferred cochain computation of §2.4. The only notable defect is that the proof says 'by assumption, q is the s-th arrow of the path u', whereas the theorem statement does not include that hypothesis; this is a mathematical gap or a false statement as written, not a circularity, because it does not reduce the conclusion to its own input by definition or by self-citation. The self-citation [3] is technical infrastructure for comparison morphisms, and [13] independently treats quadratic string algebras; the target result is not a restatement of either reference. Hence the circularity score is low.
Assumptions & free parameters
assumptions (6)
- standard math For a monomial algebra A = kQ/I, the Bardzell complex M with Gamma^n = {alpha_1...alpha_n | alpha_i alpha_{i+1} in I} is a minimal projective resolution of A as an A-bimodule.
- standard math For every n and vertices x,y, the set Gamma^n_{x,y} is a basis of Ext^n_A(S_x, S_y).
- domain assumption The maps mu and omega between the Bardzell resolution and the reduced bar resolution are quasi-isomorphisms, so the Gerstenhaber bracket can be transferred to the Bardzell complex.
- standard math Every string w defines an indecomposable string module M(w), and the inclusion and surjection conditions for substring modules hold as stated.
- domain assumption The Lie bracket defined on Hom_Ee(r tensor n, A) with the pi g substitution agrees with Gerstenhaber's original bracket.
- domain assumption For a reduced basic cochain chi^p_u with u = alpha_1...alpha_n of length n at least 2, the walk alpha_1^{-1} p alpha_n^{-1} is a string, so M(alpha_1^{-1} p alpha_n^{-1}) exists and has the direct-summand properties used in the admissible cycle.
Cite this review
Pith. "Pith review of The Gerstenhaber bracket and cycles in the module category of a monomial quadratic algebra." pith.science (2026). https://pith.science/paper/BQOBSF4B
@misc{pith2026190808851,
author = {Pith},
title = {Pith review of: The Gerstenhaber bracket and cycles in the module category of a monomial quadratic algebra},
year = {2026},
howpublished = {\url{https://pith.science/paper/BQOBSF4B}},
note = {Machine review of arXiv:1908.08851}
}
abstract
We establish a link between the Gerstenhaber bracket in the Hochshild cohomology and the behaviour of cycles in the module category of a monomial quadratic algebra $A$.
Reference graph
Works this paper leans on
-
[1]
Assem, I., Simson, D., and Skowro ´nski, A. Elements of the representation theory of associative algeb ras 1 : Techniques of representation theory , vol. 65 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, 2006. Techniques of represen tation theory
work page 2006
-
[2]
Bardzell, M. J. The alternating syzygy behavior of monomial algebras. J. Algebra 188 , 1 (1997), 69–89
work page 1997
-
[3]
Bustamante, J. C. The cohomology structure of string algebras. J. Pure Appl. Algebra 204 , 3 (2006), 616–626
work page 2006
-
[4]
Cohomology of incidence algebras and simplicial complexes
Cibils, C. Cohomology of incidence algebras and simplicial complexes . J. Pure Appl. Algebra 56 , 3 (1989), 221–232
work page 1989
-
[5]
de la Pe ˜na, J. A. Representation-finite algebras whose Auslander-Reiten qu iver is planar. J. London Math. Soc. (2) 32 , 1 (1985), 62–74
work page 1985
-
[6]
The cohomology structure of an associative ring
Gerstenhaber, M. The cohomology structure of an associative ring. Ann. of Math. (2) 78 (1963), 267–288
work page 1963
-
[7]
Gerstenhaber, M., and Schack, S. D. Relative Hochschild cohomology, rigid algebras, and the Bo ckstein. J. Pure Appl. Algebra 43 , 1 (1986), 53–74
work page 1986
-
[8]
Green, E. L., and Zacharia, D. The cohomology ring of a monomial algebra. Manuscripta Math. 85 , 1 (1994), 11–23
work page 1994
Show all 19 references
-
[9]
Hochschild cohomology of finite-dimensional algebras , vol
Happel, D. Hochschild cohomology of finite-dimensional algebras , vol. 1404 of Lecture Notes in Math. Springer, Berlin, 1989, pp. 108–126
1989
-
[10]
A∞ -coderivations and the Gerstenhaber bracket on Hochschild cohomology
Negron, C., Volkov, Y., and Witherspoon, S. A∞ -coderivations and the Gerstenhaber bracket on Hochschild cohomology. 1805.03167 [math.RT]
-
[11]
An alternate approach to the Lie bracket on Hochschild cohom ology
Negron, C., and Witherspoon, S. An alternate approach to the Lie bracket on Hochschild cohom ology. Homology Homotopy Appl. 18 , 1 (2016), 265–285. GERSTENHABER BRACKET AND CYCLES. 15
2016
-
[12]
J., and Rom ´an, L
Redondo, M. J., and Rom ´an, L. Comparison morphisms between two projective resolutions o f monomial algebras. Rev. Un. Mat. Argentina 59 , 1 (2018), 1–31
2018
-
[13]
J., and Rom ´an, L
Redondo, M. J., and Rom ´an, L. Gerstenhaber algebra structure on the Hochschild cohomolo gy of quadratic string algebras. Algebr. Represent. Theory 21 , 1 (2018), 61–86
2018
-
[14]
The Lie module structure on the Hochschild cohomology group s of monomial algebras with radical square zero
S´anchez-Flores, S. The Lie module structure on the Hochschild cohomology group s of monomial algebras with radical square zero. J. Algebra 320 , 12 (2008), 4249–4269
2008
-
[15]
The Lie structure on the Hochschild cohomology of a modular g roup algebra
S´anchez-Flores, S. The Lie structure on the Hochschild cohomology of a modular g roup algebra. J. Pure Appl. Algebra 216, 3 (2012), 718–733
2012
-
[16]
An exact sequence interpretation of the Lie bracket in Hochs child cohomology
Schwede, S. An exact sequence interpretation of the Lie bracket in Hochs child cohomology. J. Reine Angew. Math. 498 (1998), 153–172
1998
-
[17]
Simply connected algebras and Hochschild cohomologies [ MR 1206961 (94e:16016)]
Skowro´nski, A. Simply connected algebras and Hochschild cohomologies [ MR 1206961 (94e:16016)]. In Rep- resentations of algebras (Ottawa, ON, 1992) , vol. 14 of CMS Conf. Proc. Amer. Math. Soc., Providence, RI, 1993, pp. 431–447
1992
-
[18]
A little bit of extra functoriality for Ext and the computati on of the Gerstenhaber bracket
Su´arez- ´Alvarez, M. A little bit of extra functoriality for Ext and the computati on of the Gerstenhaber bracket. J. Pure Appl. Algebra 221 , 8 (2017), 1981–1998
2017
-
[19]
Gerstenhaber Bracket on the Hochschild Cohomology via An Ar bitrary Resolution
Volkov, Y. Gerstenhaber Bracket on the Hochschild Cohomology via An Ar bitrary Resolution. Proc. Edinb. Math. Soc. (2) 62 , 3 (2019), 817–836. (J.C. Bustamante) Mathematics Department. Champlain College. 2580 College S t, Sherbrooke, Qu ´bec J1M 2K3 E-mail address : jcbustaman...
2019
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.