pith. sign in

arxiv: 2601.06888 · v2 · submitted 2026-01-11 · 🧮 math.RA

The second Hochschild cohomology and deformations of Brauer graph algebras

Yuming Liu , Zhengfang Wang , Bohan Xing This is my paper

Pith reviewed 2026-05-16 15:33 UTC · model grok-4.3

classification 🧮 math.RA
keywords Brauer graph algebrasHochschild cohomologyalgebra deformationssurface modelsbipartite graphstrivial gradingcocycles
0
0 comments X

The pith

Bipartite Brauer graph algebras with trivial grading have an explicit second Hochschild cohomology that interprets deformations geometrically through surface models.

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

The paper establishes an explicit description of the second Hochschild cohomology groups for bipartite Brauer graph algebras equipped with the trivial grading. It then shows that deformations coming from certain standard cocycles admit direct geometric realizations inside the surface models attached to these algebras. This connection matters because the second Hochschild cohomology parametrizes infinitesimal deformations of the algebra, and the surface model supplies a combinatorial picture of how those deformations alter the underlying graph and relations. A reader interested in representation theory or algebraic deformation theory gains a concrete way to visualize and classify changes to these algebras without computing abstract cocycles from scratch.

Core claim

We give an explicit description about the second Hochschild cohomology groups of bipartite Brauer graph algebras with trivial grading. Based on this, we provide geometric interpretations of deformations associated to some standard cocycles in terms of the surface models of Brauer graph algebras.

What carries the argument

The surface models of Brauer graph algebras, which translate cocycles in the second Hochschild cohomology into concrete changes of edges, faces, and relations on the surface.

If this is right

  • Deformations of the algebra correspond to modifications of the surface model that preserve the bipartite structure.
  • Standard cocycles generate a basis whose geometric effects can be read off directly from the surface.
  • The trivial grading condition ensures that the cohomology calculation remains combinatorial and avoids higher-degree complications.
  • Any deformation classified by these cocycles yields a new algebra whose quiver and relations are visible on the deformed surface.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The geometric picture may extend to counting deformation parameters for families of Brauer graph algebras indexed by surfaces of fixed genus.
  • One could test whether the same surface-model correspondence holds after base change to fields of positive characteristic.
  • The explicit cohomology might supply a combinatorial criterion for rigidity of these algebras under deformation.

Load-bearing premise

The algebras must be bipartite and equipped with the trivial grading, and the surface models must remain compatible with the cocycle deformations.

What would settle it

Compute the dimension of the second Hochschild cohomology for a specific small bipartite Brauer graph algebra and check whether it equals the number of independent geometric deformations visible in its surface model; mismatch would falsify the claimed explicit description and interpretations.

Figures

Figures reproduced from arXiv: 2601.06888 by Bohan Xing, Yuming Liu, Zhengfang Wang.

Figure 1
Figure 1. Figure 1: Arrows in the quiver QΓ. (2) The ideal IΓ is generated by the following set of relations: • For any composable arrows α and β such that β ̸= σ(α) (see the left of [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The two types of relations in IΓ. The resulting finite dimensional algebra kQΓ/IΓ will be denoted by BΓ. Indeed, BΓ is special biserial (see for example [30]), in particular, at each vertex in the quiver QΓ there are at most two incoming arrows and at most two outgoing arrows. Let γ = ασ(α)· · · σ i (α) be a non-trivial path in BΓ. We will denote by γ ∗ the path of BΓ which complements γ to a maximal non-z… view at source ↗
Figure 3
Figure 3. Figure 3: An arc system on a disk with two punctures [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Cycles associated with the given edge h¯. Recall that in this case we have (C m(v) α , Cm(w) β ), (C m(w) β β, 0) ∈ RΓ. Here, λ ∈ k and e is the idempotent corresponding to h¯. We define φ˜s = 0 for all the other s ∈ S. (B) Let v ∈ V be a vertex in Γ with a cycle Cαh1 = αh1 αh2 · · · αhl around v. That is, h − j = hj+1, for all 1 ≤ j ≤ l. We have two cases. • Suppose v ∈ V1 and fix 1 ≤ i ≤ m(v) − 1. Fix a … view at source ↗
Figure 5
Figure 5. Figure 5: Arrows and cycles in bipartite Brauer graph Γ where [PITH_FULL_IMAGE:figures/full_fig_p020_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The subgraph of Γ which can induce deformations of type (D). [PITH_FULL_IMAGE:figures/full_fig_p020_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Bipartite ribbon graph for each punctured surface with at least two punctures. [PITH_FULL_IMAGE:figures/full_fig_p026_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Boundaries and genera can provide generators in H [PITH_FULL_IMAGE:figures/full_fig_p029_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The boundary in the bigon which can induce deformations of type (D). [PITH_FULL_IMAGE:figures/full_fig_p030_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Deformations induced by λ ′ in surface model. In fact, these deformations can be generalized in higher multiplications. Let an, · · · , a1 be a se￾quence of morphisms given by a polygon with exactly one boundary whose winding number is equal to −2 in it. Then there exists a deformation given by µ(ban, · · · , a1) = b, for ban ̸= 0; µ(an, · · · , a1b) = (−1)|b| b, for a1b ̸= 0; 30 [PITH_FULL_IMAGE:figures… view at source ↗
Figure 11
Figure 11. Figure 11: The smooth compactification corresponding to the [PITH_FULL_IMAGE:figures/full_fig_p031_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Deformations induced by κ ′ in surface model. Conclusion 4. Deformations of type (D) induced by κ ′ are deformations given by compactifying the boundary component into a ‘singular’ point. In fact, these deformations can be generalized in some higher multiplications. Let an, · · · , a1 be a sequence of morphisms given by a polygon with exactly one boundary whose winding numbers are equal to −2 in it. If we… view at source ↗
Figure 13
Figure 13. Figure 13: Conjecture on deformations induced by κ ′ for each arbitrary morphism sequence. We should note that for some simple examples, the A∞-deformation induced by κ ′ corresponds to replacing a puncture with a marked point on the boundary in the surface model. Example 4.5. (Example 4.4 revisited) Consider the A∞-deformation of BΓ induced by the derivation d ∈ HH2 (BΓ) defined by d(x) = xy (see for example in [26… view at source ↗
read the original abstract

In this paper, we give an explicit description about the second Hochschild cohomology groups of bipartite Brauer graph algebras with trivial grading. Based on this, we provide geometric interpretations of deformations associated to some standard cocycles in terms of the surface models of Brauer graph algebras.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to give an explicit description of the second Hochschild cohomology groups of bipartite Brauer graph algebras equipped with the trivial grading. It then uses this description to provide geometric interpretations of deformations associated to some standard cocycles, expressed in terms of modifications to the surface models of the algebras.

Significance. If the explicit HH^2 description is accurate and the geometric correspondences hold, the work would strengthen the connection between homological invariants and geometric models for a concrete class of algebras, aiding deformation theory and representation-theoretic studies of Brauer graph algebras.

major comments (2)
  1. [§4] §4 (geometric interpretations): the claim that standard cocycles correspond to concrete surface operations (e.g., handle addition or edge-multiplicity changes) is asserted without an explicit verification that the deformed multiplication table reproduces the algebra associated to the modified surface model. This check is load-bearing for the geometric interpretation to hold for the full set of cocycles.
  2. [Theorem 3.1] Theorem 3.1 (explicit HH^2 basis): the dimension formula and basis elements are stated for the trivial grading, but the derivation omits the step-by-step verification that the listed cocycles satisfy the cocycle condition and that no additional relations arise from the bipartiteness assumption.
minor comments (2)
  1. [§2] Notation for the surface models in §2 is introduced without a reference diagram or explicit definition of the trivial grading action on the edges; a small illustrative figure would improve readability.
  2. [Introduction] The abstract and introduction use the phrase 'some standard cocycles' without listing them or cross-referencing the precise cocycles treated in §4.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript to strengthen the presentation.

read point-by-point responses

  1. Referee: [§4] §4 (geometric interpretations): the claim that standard cocycles correspond to concrete surface operations (e.g., handle addition or edge-multiplicity changes) is asserted without an explicit verification that the deformed multiplication table reproduces the algebra associated to the modified surface model. This check is load-bearing for the geometric interpretation to hold for the full set of cocycles.

    Authors: We agree that explicit verification is required to make the geometric correspondences rigorous. In the revised version we will add, for each standard cocycle, a direct computation of the deformed multiplication on the basis of the original algebra and show that the resulting structure constants match those of the Brauer graph algebra associated to the modified surface (including the updated quiver, relations, and grading). These checks will be presented in an expanded subsection of §4. revision: yes

  2. Referee: [Theorem 3.1] Theorem 3.1 (explicit HH^2 basis): the dimension formula and basis elements are stated for the trivial grading, but the derivation omits the step-by-step verification that the listed cocycles satisfy the cocycle condition and that no additional relations arise from the bipartiteness assumption.

    Authors: We accept that the proof of Theorem 3.1 would be clearer with explicit verification steps. We will expand the argument to include: (i) direct substitution of each listed cocycle into the Hochschild coboundary operator to confirm δ²(φ)=0, and (ii) an explicit check that the bipartiteness condition on the underlying graph does not impose further linear dependencies among the cocycles beyond those already used to construct the basis. The revised proof will appear in §3 immediately after the statement of the theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit HH^2 computation rests on standard homological algebra

full rationale

The paper's central result is an explicit description of the second Hochschild cohomology for bipartite Brauer graph algebras under trivial grading, followed by geometric interpretations of deformations. No load-bearing step reduces by definition, by fitting a parameter then renaming it a prediction, or by a self-citation chain that is itself unverified. The derivation chain relies on direct cocycle calculations and surface-model compatibility checks that are presented as independent verifications rather than tautological re-labelings. Self-citations, if present, are not invoked to force uniqueness or smuggle an ansatz; the geometric correspondence is asserted after the cohomology computation and does not presuppose its own conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; all such items would need to be extracted from the full manuscript.

pith-pipeline@v0.9.0 · 5326 in / 1010 out tokens · 16788 ms · 2026-05-16T15:33:20.509509+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Antipov, A

    M. Antipov, A. Zvonareva. On stably biserial algebras and the Auslander–Reiten conjecture for special biserial algebras.Journal of Mathematical Sciences240.4(2019) 375–394. 47

    work page 2019

  2. [2]

    Antipov, A

    M. Antipov, A. Zvonareva. Brauer graph algebras are closed under derived equivalence.Mathema- tische Zeitschrift301(2022) 1963-1981

    work page 2022

  3. [3]

    Deformations of path algebras of quivers with relations

    S. Barmeier, Z. Wang. Deformations of path algebras of quivers with relations. arXiv: 2002.10001v5 [math.QA] (2023)

    work page arXiv 2002

  4. [4]

    Barmeier, S

    S. Barmeier, S. Schroll, Z. Wang. Partially wrapped Fukaya categories of orbifold surfaces. arXiv:2407.16358 [math.SG] (2024)

    work page arXiv 2024

  5. [5]

    Barmeier, S

    S. Barmeier, S. Schroll, Z. Wang. Deformations of partially wrapped Fukaya categories of surfaces. arXiv:2512.16354 [math.SG] (2025)

    work page arXiv 2025

  6. [6]

    G.M. Bergman. The diamond lemma for ring theory.Advances in Mathematics29(1978) 178-218

    work page 1978

  7. [7]

    Bessenrodt, T

    C. Bessenrodt, T. Holm. Weighted locally gentle quiver and Cartan matrices.Journal of Pure and Applied Algebra212(1) (2008) 204-221

    work page 2008

  8. [8]

    Bondy, U.S.R Murty.Graph Theory

    J.A. Bondy, U.S.R Murty.Graph Theory. New York: Springer, 2008

    work page 2008

  9. [9]

    Chouhy, A

    S. Chouhy, A. Solotar. Projective resolutions of associative algebras and ambiguities.Journal of Algebra432(2015) 22-61

    work page 2015

  10. [10]

    Christ, F

    M. Christ, F. Haiden, Y. Qiu. Perverse schobers, stability conditions and quadratic differentials II: relative graded Brauer graph algebras. arXiv:2407.00154 [math.RT] (2024)

    work page arXiv 2024

  11. [11]

    I. Dewan. Graph homology and cohomology. Preprint, available athttps://alistairsavage. ca/pubs/Dewan-Graph_Homology.pdf(2016)

    work page 2016

  12. [12]

    P. Gabriel. Finite representation type is open. In: Proceedings of the International Conference Ot- tawa 1974. Ottawa, Carleton Mathematics Lecture Notes9, 132-155, Carleton University, Ottawa (1974)

    work page 1974

  13. [13]

    Gerstenhaber

    M. Gerstenhaber. On the deformation of rings and algebras.Annals of Mathematics79(1964) 59-103

    work page 1964

  14. [14]

    E.L. Green. Noncommutative Gr¨ obner bases, and projective resolutions.Progress in Mathematics 173(1999) 29-60

    work page 1999

  15. [15]

    Green, L

    E.L. Green, L. Hille, S. Schroll. Algebras and varieties.Algebras and Representation Theory,24(2) (2021) 367-388

    work page 2021

  16. [16]

    Green, S

    E.L. Green, S. Schroll. Brauer configuration algebras: A generalization of Brauer graph algebras. Bulletin des Sciences Math´ ematiques,141(6) (2017) 539-572

    work page 2017

  17. [17]

    Green, S

    E.L. Green, S. Schroll, N. Snashall. Group actions and coverings of Brauer graph algebras.Glasgow Mathematical Journal56(2) (2014) 439-464

    work page 2014

  18. [18]

    Haiden, L

    F. Haiden, L. Katzarkov, M. Kontsevich. Flat surfaces and stability structures.Publications Math´ ematiques de l’IH´ES126(1) (2017) 247-318

    work page 2017

  19. [19]

    T. Holm. Hochschild cohomology of Brauer tree algebras.Communications in Algebra26.11 (1998) 3625–3646

    work page 1998

  20. [20]

    Hungerford.Algebra

    T.W. Hungerford.Algebra. Springer-Verlag (GTM, vol.73), 1974

    work page 1974

  21. [21]

    Ikeda, Y

    A. Ikeda, Y. Qiu.q-Stability conditions viaq-quadratic differentials for Calabi-Yau-Xcategories. arXiv:1812.00010 [math.AG] (2022). 48

    work page arXiv 2022

  22. [22]

    B. Keller. Derived invariance of higher structures on the Hochschild complex. Preprint, available athttp://webusers.imj-prg.fr/ ~bernhard.keller/publ/dih.pdf(2003)

    work page 2003

  23. [23]

    Kontsevich, Y

    M. Kontsevich, Y. Soibelman. Notes onA ∞-algebras,A ∞ categories and non-commutative geom- etry. In:Homological Mirror Symmetry, Lecture Notes in Phys., pp. 153-219, Springer, 2009

    work page 2009

  24. [24]

    Lekili,A

    Y. Lekili,A. Polishchuk. Derived equivalences of gentle algebras via Fukaya categories.Mathema- tische Annalen,376(1) (2020), 187-225

    work page 2020

  25. [25]

    J. Liu, Z. Wang.A ∞-deformations of zigzag algebras via Ginzburg dg algebras.Journal of Algebra, 677(2025) 360-371

    work page 2025

  26. [26]

    Y. Liu, B. Xing. Generalized parallel paths method for computing the first Hochschild cohomology group with applications to Brauer graph algebras.Journal of Algebra and its Applications, advance online publication:https://doi.org/10.1142/S021949882650297X(2025)

    work page doi:10.1142/s021949882650297x(2025 2025

  27. [27]

    M¨ uller, M.J

    M. M¨ uller, M.J. Redondo, F. Rossi Bertone, P. Suarez. Maurer-Cartan equation for gentle alge- bras.Communications in Algebra(2025) 1-24

    work page 2025

  28. [28]

    Opper, A

    S. Opper, A. Zvonareva. Derived equivalence classification of Brauer graph algebras.Advances in Mathematics402(2022)

    work page 2022

  29. [29]

    Schroll, Trivial extensions of gentle algebras and Brauer graph algebras.Journal of Algebra 444(2015), 183-200

    S. Schroll, Trivial extensions of gentle algebras and Brauer graph algebras.Journal of Algebra 444(2015), 183-200

    work page 2015

  30. [30]

    S. Schroll. Brauer graph algebras. In:Homological Methods, Representation Theory, and Cluster Algebras, pp. 177-223, Springer, 2018. 49

    work page 2018