Pith. sign in

REVIEW 3 major objections 6 minor 38 references

Hochschild Cohomology of the Symmetric Square of an Annulus with Stops

T0 review · 3 major / 6 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The partially wrapped Fukaya category of the symmetric square of an annulus with stops has finite-dimensional Hochschild cohomology, with an explicit four-row dimension table; when both boundary components carry at least two stops, the asso

desk verdict First non-formal symmetric-square Fukaya category computation beyond the disk; credible but propped up by an unshown dimension check in Prop 3.1. read the letter →

arxiv 2607.25944 v1 pith:OWLVPUGH submitted 2026-07-28 math.RT math.RAmath.SG

Xingyuan Lu , Zhengfang Wang This is my paper · ORCID
classification math.RTmath.RAmath.SG MSC 16E4016E4516G2018G7053D37
keywords FukayacategorysymmetricproductHochschildcohomologygentlealgebrareductionsystemA∞-algebraquiverwithrelationsformality
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper computes the Hochschild cohomology of the partially wrapped Fukaya category of the second symmetric product of an annulus with stops, finding it finite-dimensional and giving an explicit table of its dimensions in all cases. To do so, it encodes the relevant dg endomorphism algebra as a quiver with relations (a 'symmetric square dg algebra'), and proves a formality dichotomy: if one boundary component has a single stop the dg algebra is formal, whereas if both boundaries carry at least two stops it admits a minimal A∞-model whose only higher operation is a ternary product m3. The computation passes through a reduction-system projective resolution for the cohomology algebra and a spectral sequence whose first nontrivial differential is the Gerstenhaber bracket [m3,−]. The resulting table of Hochschild cohomology dimensions, together with the explicit deformations attached to the degree-two classes, gives a concrete picture of how symmetric products of a surface with stops can produce non-rigid, non-formal Fukaya categories.

What carries the argument

The load-bearing mechanism is a pair of quiver presentations: the dg quiver eQ_{n1,n2} for the endomorphism algebra and its cohomology quiver Q_{n1,n2}. The cohomology algebra A_{n1,n2} is shown to satisfy the diamond condition for an explicit reduction system, yielding a three-step bimodule resolution whose Hom-complex computes Hochschild cohomology. In the non-formal cases, the minimal A∞-model is (A_{n1,n2}, m2, m3) with a single ternary operation, and the spectral sequence of the internal-degree filtration has first nontrivial differential given by the Gerstenhaber bracket [m3,−].

What would settle it

Compute the Reeb-chord morphism-space dimensions for the smallest non-formal case, n1=2,n2=2, and compare them with the proposed quiver-with-relations; a mismatch shows the quiver model is not the geometric endomorphism algebra. Alternatively, compute HH of the explicitly presented dg algebra for that case via the full bar complex and compare with Theorem 4.12; any deviation, or any unresolvable ambiguity in the reduction system besides the ones listed in Proposition 4.1, would falsify the result.

Watch

Extended reading notes

Core claim

The central discovery is that the symmetric square dg algebra eA_{n1,n2} is described by an explicit quiver with relations, and its Hochschild cohomology is finite-dimensional with dimensions given by the table in Theorem 4.12. The proof shows that for n1=1 the dg algebra is formal, so Hochschild cohomology reduces to that of the graded cohomology algebra; for n1≥2, the minimal A∞-model has m3 nonzero and all higher products zero, and the operator [m3,−] kills exactly the class that would otherwise make the cohomology of the dg algebra differ from that of its cohomology algebra. The paper also identifies the degree-two cocycles that survive and writes down explicit deformations of the dg alg

Load-bearing premise

The claimed isomorphism between the geometric dg endomorphism algebra and the quiver-with-relations model rests on an unexhibited check of Hom-space dimensions; if the dimensions differ, the quiver model describes a different algebra and all subsequent cohomology tables fail.

Editorial extensions

If this is right

  • The Hochschild cohomology of the partially wrapped Fukaya category of Sym²(annulus with stops) is finite-dimensional and can be read off from quiver data.
  • For n1 ≥ 2, the category is not determined by its cohomology algebra alone: the A∞-structure carries a nontrivial m3 that changes the Hochschild cohomology.
  • The surviving degree-two Hochschild classes give explicit deformations of the dg algebra, including one that changes the differential and one that changes the multiplication.
  • The exceptional n1=2 row has extra Hochschild classes, showing that the boundary-stop count affects rigidity in a sharp way.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same reduction-system plus spectral-sequence strategy should extend to Sym^k of the annulus for k≥3; the growth in index suggests additional higher operations beyond m3 may appear, and the pattern of the tables could help guess them.
  • The explicit deformations of Section 4.3 are natural candidates for geometric deformations realized by partial compactifications of the symmetric product; the paper itself points to this as future work.
  • The exceptional n1=2 row hints at a threshold phenomenon tied to the number of stops on the outer boundary; testing whether perturbing stop positions on the same boundary preserves the table would probe the stability of the computation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper studies the partially wrapped Fukaya category of the second symmetric product of an annulus with stops of type eA_{n_1,n_2}. It proposes a quiver-with-relations description of the dg endomorphism algebra eA_{n_1,n_2} of a generating set (Proposition 3.1), proves a formality dichotomy: eA_{1,n_2} is formal, while for n_1 ≥ 2 there is a minimal A_∞-model with a single nontrivial ternary operation m_3 (Theorem 3.7, Corollary 3.8). It then computes the Hochschild cohomology of the cohomology algebra A_{n_1,n_2} by means of a reduction system (Theorem 4.9), refines it to a bigraded statement (Theorem 4.10), and passes to HH^*(eA_{n_1,n_2}) via the internal-degree spectral sequence induced by m_3 (Theorem 4.12). It closes with explicit degree-two dg deformations. The central claim is that the bigraded table in Theorem 4.12 is the Hochschild cohomology of the partially wrapped Fukaya category.

Significance. If the central isomorphism and the reduction-system verification are supplied, the results are a significant step: explicit Hochschild cohomology for a symmetric-product Fukaya category beyond the disk case, a concrete non-formality certificate via a nontrivial m_3, and a spectral-sequence framework. The paper is commendably concrete: explicit arrows, relations, cocycle representatives, and tables are given, and the claims are falsifiable. The reliance on [BW20, Heuristic 3.13] and on unshown dimension counts, however, makes the current version a computational claim in need of verification rather than a completed proof.

major comments (3)
  1. [Section 3, Proposition 3.1] The isomorphism between the geometric dg endomorphism algebra and k eQ_{n_1,n_2}/eI_{n_1,n_2} is the foundation of the paper, but injectivity is not established. After proving surjectivity of φ, the proof states that "one checks" the quiver has the same Hom-space dimensions by constructing a reduction system satisfying the diamond condition; neither the dimension table for the quiver nor the reduction system is supplied. Table 1 itself is asserted after "a case-by-case analysis" with no supporting computation. Since all subsequent Hochschild cohomology computations for eA (Theorems 3.7 and 4.12) are performed for this quiver algebra, an error here would invalidate the main results. This is an internal gap explicitly flagged by the text's own "One checks".
  2. [Section 4.1, Proposition 4.1] The reduction system for A_{n_1,n_2} is asserted to satisfy the Diamond condition via [BW20, Heuristic 3.13]. The proof lists the 1-ambiguities and verifies their resolvability, but the claim that there are no higher ambiguities is justified only by a short overlap observation, and reduction-uniqueness for all paths — the other requirement of Definition 2.3 — is not demonstrated. Moreover, [BW20, Heuristic 3.13] is a heuristic, not a stated theorem. The resulting projective resolution stops at P_3 and provides the cochain bases in Lemmas 4.5, 4.6, and 4.8; without a complete Diamond-condition verification, the cohomological degrees 0–3 and the differentials ∂_1, ∂_2 are not rigorously grounded. This is load-bearing for all Hochschild computations of A.
  3. [Section 4.2, proof of Theorem 4.12] The spectral sequence computation hinges on the bracket formulas d_1(θ_1) = (-1)^m ω, d_1(θ_2) = -(-1)^m ω, and on the assertion that all other E_1-classes have zero bracket with m_3. These are stated as "a direct computation" with no details. In a computational paper whose central output is the table in Theorem 4.12, the reader needs at least the bidegrees of all E_1 generators and the full d_1 action, or a reference to where the computation is recorded. As written, the survival of the classes on the E_2 page — and hence the final dimensions — is not independently verifiable.
minor comments (6)
  1. [Example 4.4] "by [?]" is a dangling citation; supply the precise reference (e.g., [CSSS26]) for the Hochschild cohomology of the gentle algebra A_{1,2}.
  2. [Theorems 1.2 and 4.10] These theorems should include the caveat stated in Theorem 4.12 that if two displayed degrees coincide for a special value of m, the corresponding dimensions should be added; otherwise the table is ambiguous when m = 0.
  3. [Abstract and body] The dg algebra is denoted \widetilde{\mathcal{A}}_{n_1,n_2} in the abstract but eA_{n_1,n_2} in the body; unify notation throughout.
  4. [Proposition 3.1(3)] The sentence "the differential is uniquely determined by the Leibniz rule and its action on the diagonal arrows" is not part of the isomorphism statement; consider moving it to a remark.
  5. [Lemma 4.5] The "block diagonal structure" assertion for ∂_1 would be easier to verify if the decomposition of the domain B_1∪B_2∪B_3 and the target Span(T_1∪T_2∪T_3) ⊕ Span(T_4∪T_5) were stated explicitly; the current '∗' notation is not fully defined.
  6. [Theorem 4.12 proof] The statement that d_2 has no nonzero target because E_3,∗_2 = 0 is terse: since the complex is concentrated in Hochschild degrees 0–3, d_2 maps E^{i,j}_2 to E^{i+3,j-2}_2, so the only possible target is in degree 3; this is worth spelling out.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is an explicit algebraic computation; self-citations are used as tools but are not load-bearing.

full rationale

The paper's central claims are concrete Hochschild cohomology computations carried out inside an explicitly presented quiver algebra. The dg algebra eA_{n1,n2} and its cohomology algebra A_{n1,n2} are described by explicit generators and relations obtained from Auroux's geometric generating set and strand diagrams; the subsequent Hochschild computations proceed through an explicit reduction system, a small projective bimodule resolution, bases of cochain spaces, and a spectral sequence. No parameter is fitted to the target Hochschild groups, and no prediction is identified with its own input. The non-formality result is established by an explicit Massey product computation, not by assuming the desired formality dichotomy. The main caveats are genuine proof gaps rather than circularity: Proposition 3.1 asserts, without exhibiting the computation, that the quiver with relations has the same Hom-space dimensions as the geometric dg algebra ('One checks that the quiver with relations ... has the same dimensions ... by constructing a reduction system satisfying the diamond condition'), and Proposition 4.1 invokes '[BW20, Heuristic 3.13]' before verifying ambiguities by hand. However, these are omissions of verification, not reductions of the conclusion to an input: no equation used in the conclusion is shown to be identical by construction to an equation assumed at the start. The self-citations to [BW20] and [JSW25] do supply algorithms and derived-equivalence statements, but the paper's actual computations rely on the explicit quiver relations and the direct ambiguity checks given in the text, so the central claim does not collapse into the self-citation chain.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claims rely on standard tools (Auroux's generating set, strand diagrams, reduction systems, Kadeishvili, spectral sequences) and on the authors' prior work [BW20] for the reduction-system algorithm. No new particles or fitted constants are introduced. The calculation depends on the assertion that the proposed quiver presentation has the correct dimensions and that the reduction system satisfies the diamond condition — assertions that are plausible but not fully demonstrated.

assumptions (5)
  • domain assumption Auroux's generating set for the partially wrapped Fukaya category of the symmetric product and the strand-diagram description of morphisms (Section 2.1).
    The entire quiver model is built from Auroux's theorem and the strand-diagram composition rules of LOT18, which are taken as established background.
  • domain assumption Derived equivalence between the gentle algebra G_{n1,n2} in standard form and the endomorphism algebra of any full formal arc system (Section 3, citing JSW25 Prop 4.3).
    Used to justify the standard quiver presentation of the underlying undecorated algebra, though the paper later gives a separate direct comparison.
  • standard math Reduction-system / diamond-condition theory for computing Hochschild cohomology via the small projective resolution (Section 2.2).
    This is a standard tool from Bergman, CS15, BW20; the paper uses it as a black box.
  • standard math Kadeishvili's minimal model theorem and the spectral sequence associated with the internal degree filtration (Section 4.2).
    These are standard results in A∞-algebra and homological algebra, cited to Kad80, Kel01, Pet20, Wei94.
  • ad hoc to paper The reduction system R in Proposition 4.1 satisfies the Diamond condition.
    The paper asserts this via [BW20, Heuristic 3.13] and sketches resolvability, but the claim is load-bearing for the HH computation and is not fully proved in the text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hochschild Cohomology of the Symmetric Square of an Annulus with Stops." pith.science (2026). https://pith.science/paper/OWLVPUGH

@misc{pith2026260725944,
  author       = {Pith},
  title        = {Pith review of: Hochschild Cohomology of the Symmetric Square of an Annulus with Stops},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OWLVPUGH}},
  note         = {Machine review of arXiv:2607.25944}
}
abstract

We compute the Hochschild cohomology of the partially wrapped Fukaya category of the symmetric square of an annulus with stops. Using an explicit generating set in this category, we give a description of its dg endomorphism algebra $\widetilde{\mathcal{A}}_{n_1,n_2}$ via a quiver with relations. We show that when one boundary component has a single stop, the dg algebra is formal; however, when both boundaries contain at least two stops, it is not formal, and its minimal $A_\infty$-model carries a nontrivial operation $m_3$. This allows us to compute its Hochschild cohomology via reduction systems and spectral sequences, and to construct a family of dg deformations associated to the resulting Hochschild cocycles.

Figures

Figures reproduced from arXiv: 2607.25944 by the authors.

Figure 1
Figure 1. L1 L2 L4 L3 L5 L6 S α1 α2 α3 α4 α5 β 1 2 3 4 5 6 7 [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. the orange line corresponds to the boundary segment α2α3α4 (with endpoints 3 and 6), the red line to idL3 , and the green line to idL4 . 1 2 3 4 5 6 7 1 2 3 4 5 6 7 [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 4
Figure 4. Composition of α2α3α4 ⊗ idL3 ⊗ idL4 and α5 ⊗ idL4 ⊗α3α4. From [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗
Figures from the paper (14 more)
Figure 5
Figure 5. Figure 5: Differential of α2α3α4α5⊗idL4 ⊗α3α4, where the last term vanishes since two strands intersect twice. 2.2. Hochschild cohomology of quivers with relations. In this subsection, let us recall a small projective bimodule resolution constructed from a reduction system, whic…
Figure 6
Figure 6. Figure 6: An annulus with stops. Assume that the number of stops on the outer boundary is n1 and on the inner boundary is n2. Without loss of generality, we assume n1 ≤ n2 throughout this paper. Note that (Σ,Λ) is of type Aen1,n2 . Given a full formal arc system on (Σ,Λ), the as…
Figure 7
Figure 7. Figure 7: Quivers of gentle algebras Gn1,n2 . Proposition 3.1. Let (Σ,Λ) be the annulus with stops of type Aen1,n2 with n2 ≥ 2. Then the symmetric square dg algebra Aen1,n2 is isomorphic to the dg path algebra of the quiver Qen1,n2 (depicted in [PITH_FULL_IMAGE:figures/full_fig…
Figure 8
Figure 8. Figure 8: Dg quiver Qen1,n2 of Aen1,n2 , where the horizontal and vertical arrows are x and y, the blue ones are u and red ones are z. Li,j Li,j+1 Li+1,j Li+1,j+1 xi,j yi,j yi,j+1 xi+1,j Commutative square relations of type 1. L1,i L1,i+1 Ln1+1,i Ln1+1,i+1 u1,i x1,i u1,i+1 xn1+1…
Figure 9
Figure 9. Figure 9: Diagrams of commutative square relations. Proof of Proposition 3.1. Note that there is an algebra homomorphism φ: kQen1,n2 → Aen1,n2 uniquely determined by φ(xi,j ) = idLi ⊗αj , φ(yi,j ) = αi ⊗ idLj , φ(u1,i) = β ⊗ idLi , φ(zi,i+1) = αiαi+1 ⊗ idLi+1 . Clearly, φ is sur…
Figure 10
Figure 10. Figure 10: Diagrams of monomial relations. L1,2 L1,3 · · · L1,n1 L1,n1+1 L1,n1+2 · · · L1,n1+n2 L2,3 · · · L2,n1 L2,n1+1 L2,n1+2 · · · L2,n1+n2 . . . . . . . . . . . . Ln1−1,n1 Ln1−1,n1+1 Ln1−1,n1+2 · · · Ln1−1,n1+n2 Ln1,n1+1 Ln1,n1+2 · · · Ln1,n1+n2 Ln1+1,n1+2 · · · Ln1+1,n1+n2…
Figure 11
Figure 11. Figure 11: Quiver Qn1,n2 of the symmetric square algebra An1,n2 , where the horizontal and vertical arrows are x and y, the blue and red ones are u and z. The commutative square relations of types 1, 2, and 3, as well as the monomial relations involving the long blue arrows u1,i…
Figure 12
Figure 12. Figure 12: Cancellation of intermediate terms for commutative squares in T1. – If j ≤ n1, a similar cancellation occurs. By summing over the vertical arrows from k = i+ 2 to j, we obtain: ∂ 1 X j k=i+2 (yi,k ∥ yi,k) ! = −(xi,jyi,j+1 ∥ yi,jxi+1,j ) = −σi,j . This implies that −σi…
Figure 13
Figure 13. Figure 13: Quiver of G1,2. L1,2 L1,3 L2,3 x1,2 u1,3 y1,3 [PITH_FULL_IMAGE:figures/full_fig_p026_13.png]
Figure 15
Figure 15. Figure 15: Quiver of gentle algebra G1,n2 The quiver Q1,n2 of the symmetric square algebra A1,n2 is depicted in [PITH_FULL_IMAGE:figures/full_fig_p026_15.png]
Figure 16
Figure 16. Figure 16: Quiver of A1,n2 . (b) A basis of Hom(kQ1, A1,n2 ) is B = B1 ∪ B2 ∪ B3, where B1 = {(α ∥ α) | α ∈ Q1}, B2 = {(y1,j ∥ u1,j ) | 3 ≤ j ≤ n2 + 1}, B3 = {(u1,j ∥ y1,j ) | 3 ≤ j ≤ n2 + 1}. (c) A basis of Hom(kS2, A1,n2 ) is T = T1 ∪ T2 ∪ T3 ∪ T4 ∪ T5, where T1 = {(xi,jyi,j+1…
Figure 17
Figure 17. Figure 17: Quiver of gentle algebra G2,n2 [PITH_FULL_IMAGE:figures/full_fig_p029_17.png]
Figure 18
Figure 18. Figure 18: Quiver of A2,n2 . By Remark 4.2, the Hochschild cohomology of A2,n2 is computed by the complex concen￾trated in degrees 0, 1, 2, and 3: 0 → Hom(kQ0, A2,n2 ) ∂ 0 −→ Hom(kQ1, A2,n2 ) ∂ 1 −→ Hom(kS2, A2,n2 ) ∂ 2 −→ Hom(kS3, A2,n2 ) → 0. Assuming n2 ≥ 3, we now determine …
Figure 19
Figure 19. Figure 19: Deformation of Ae1,2. L1,2 L1,3 L1,4 L2,3 L2,4 L3,4 x1,2 u1,2 z1,2 x1,3 y1,3 y1,4 u1,4 z2,3 x2,3 y2,4 ddef(u1,4) = y1,4y2,4 [PITH_FULL_IMAGE:figures/full_fig_p041_19.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 1 canonical work pages

  1. [1]

    Amiot, P.-G

    C. Amiot, P.-G. Plamondon and S. Schroll, A complete derived invariant for gentle algebras via winding numbers and Arf invariants, Selecta Math. (N.S.) 29 (2023), no. 2, Paper No. 30, 36 pp. MR4565164

    2023

  2. [2]

    Auroux, Fukaya categories and bordered Heegaard-Floer homology, in Proceedings of the International Congress of Mathematicians

    D. Auroux, Fukaya categories and bordered Heegaard-Floer homology, in Proceedings of the International Congress of Mathematicians. Volume II , R. Bhatia (ed.), 917--941, Hindustan Book Agency, New Delhi, 2010. MR2827825

    2010

  3. [3]

    Auroux, Fukaya categories of symmetric products and bordered Heegaard-Floer homology, J

    D. Auroux, Fukaya categories of symmetric products and bordered Heegaard-Floer homology, J. G\" o kova Geom. Topol. GGT 4 (2010), 1--54. MR2755992

    2010

  4. [4]

    Barmeier, S

    S. Barmeier, S. Schroll and Z. Wang, Deformations of partially wrapped Fukaya categories of surfaces, arXiv preprint arXiv:2512.16354 (2025)

    arXiv 2025

  5. [5]

    Barmeier and Z

    S. Barmeier and Z. Wang, Deformations of path algebras of quivers with relations, to appear in Ast\' e risque, arXiv preprint arXiv:2002.10001 (2020)

    arXiv 2002

  6. [6]

    G. M. Bergman, The diamond lemma for ring theory, Adv. Math. 29 (1978), no. 2, 178--218. MR0506890

    1978

  7. [7]

    X. Bian, S. Schroll, A. Solotar, X.-C. Wang and C. Wen, Hochschild cohomology of graded skew-gentle algebras: Gerstenhaber algebra structure and geometric interpretation, arXiv preprint arXiv:2601.05325 (2026)

    arXiv 2026

  8. [8]

    Biswas, M

    I. Biswas, M. Fern\'andez, V. Mu\ noz and A. Tralle, On formality of Sasakian manifolds, J. Topol. 9 (2016), no. 1, 161--180. MR3465845

    2016

Show all 38 references
  1. [9]

    Chaparro, S

    C. Chaparro, S. Schroll, A. Solotar and M. Su\'arez-\'Alvarez, The Hochschild (co)homology of gentle algebras, J. Algebra 708 (2026), 138--231. doi:10.1016/j.jalgebra.2026.04.058

    2026 doi

  2. [10]

    Chouhy and A

    S. Chouhy and A. L. Solotar, Projective resolutions of associative algebras and ambiguities, J. Algebra 432 (2015), 22--61. MR3334140

    2015

  3. [11]

    Dyckerhoff, G

    T. Dyckerhoff, G. Jasso and Y. Lekili, The symplectic geometry of higher Auslander algebras: symmetric products of disks, Forum Math. Sigma 9 (2021), Paper No. e10, 49 pp. MR4211943

    2021

  4. [12]

    Fukaya, P

    K. Fukaya, P. Seidel and I. Smith, The symplectic geometry of cotangent bundles from a categorical viewpoint, in Homological mirror symmetry , A. Kapustin, M. Kreuzer and K.-G. Schlesinger (eds.), 1--26, Lecture Notes in Phys., 757, Springer, Berlin, 2009. MR2596633

    2009

  5. [13]

    Ganatra, Symplectic Cohomology and Duality for the Wrapped Fukaya Category, ProQuest LLC, Ann Arbor, MI, 2012

    S. Ganatra, Symplectic Cohomology and Duality for the Wrapped Fukaya Category, ProQuest LLC, Ann Arbor, MI, 2012. MR3121862

    2012

  6. [14]

    Gerstenhaber, On the deformation of rings and algebras, Ann

    M. Gerstenhaber, On the deformation of rings and algebras, Ann. of Math. (2) 79 (1964), 59--103. MR0171807

    1964

  7. [15]

    Haiden, L

    F. Haiden, L. Katzarkov and M. Kontsevich, Flat surfaces and stability structures, Publ. Math. Inst. Hautes \'Etudes Sci. 126 (2017), 247--318. MR3735868

    2017

  8. [16]

    Iyama, Auslander correspondence, Adv

    O. Iyama, Auslander correspondence, Adv. Math. 210 (2007), no. 1, 51--82. MR2298820

    2007

  9. [17]

    H. Jin, S. Schroll and Z. Wang, A complete derived invariant and silting theory for graded gentle algebras, arXiv preprint arXiv:2303.17474v2 [math.RT] (2025)

    2025 arXiv

  10. [18]

    Kadeishvili, On the theory of homology of fiber spaces, Uspekhi Mat

    T. Kadeishvili, On the theory of homology of fiber spaces, Uspekhi Mat. Nauk 35 (1980), no. 3(213), 183--188; MR0580645

    1980

  11. [19]

    Kadeishvili,The structure of the A( ) -algebra, and the Hochschild and Harrison cohomologies,Trudy Tbiliss

    T. Kadeishvili,The structure of the A( ) -algebra, and the Hochschild and Harrison cohomologies,Trudy Tbiliss. Mat. Inst. Razmadze Akad. Nauk Gruzin. SSR 91 (1988), 19--27; MR1029003

    1988

  12. [20]

    Keller, Invariance and localization for cyclic homology of DG algebras, J

    B. Keller, Invariance and localization for cyclic homology of DG algebras, J. Pure Appl. Algebra 123 (1998), no. 1-3, 223--273. MR1492902

    1998

  13. [21]

    Keller, Introduction to A -infinity algebras and modules, Homology Homotopy Appl

    B. Keller, Introduction to A -infinity algebras and modules, Homology Homotopy Appl. 3 (2001), no. 1, 1--35; MR1854636

    2001

  14. [22]

    Lekili and T

    Y. Lekili and T. Perutz, Fukaya categories of the torus and Dehn surgery, Proc. Natl. Acad. Sci. USA 108 (2011), no. 20, 8106--8113. MR2806646

    2011

  15. [23]

    Lekili and A

    Y. Lekili and A. Polishchuk, Derived equivalences of gentle algebras via Fukaya categories, Math. Ann. 376 (2020), no. 1-2, 187--225; MR4055159

    2020

  16. [24]

    Lekili and A

    Y. Lekili and A. Polishchuk, Homological mirror symmetry for higher-dimensional pairs of pants, Compos. Math. 156 (2020), no. 7, 1310--1347. MR4120165

    2020

  17. [25]

    Lipshitz, P

    R. Lipshitz, P. S. Ozsv\' a th and D. P. Thurston, Bordered Heegaard Floer homology, Mem. Amer. Math. Soc. 254 (2018), no. 1216, viii+279 pp. MR3827056

    2018

  18. [26]

    W. S. Massey, Some higher order cohomology operations, in Symposium internacional de topolog\'ia algebraica (International symposium on algebraic topology) , pp. 145--154, Universidad Nacional Aut\'onoma de M\'exico and UNESCO, M\'exico, 1958; MR0098366

    1958

  19. [27]

    J. P. May, Matric Massey products, J. Algebra 12 (1969), 533--568; MR0238929

    1969

  20. [28]

    Negron and T

    C. Negron and T. Schedler,The Hochschild cohomology ring of a global quotient orbifold, Adv. Math. 364 (2020), 106978, 49 pp. MR4057490

    2020

  21. [29]

    Petersen, A closer look at Kadeishvili's theorem, High

    D. Petersen, A closer look at Kadeishvili's theorem, High. Struct. 4 (2020), no. 2, 211--221; MR4133168

    2020

  22. [30]

    Schroll, A

    S. Schroll, A. Solotar and C. Wen, Hochschild (co)homology of higher Auslander algebras of type A , preprint

  23. [31]

    Seidel, Graded Lagrangian submanifolds, Bull

    P. Seidel, Graded Lagrangian submanifolds, Bull. Soc. Math. France 128 (2000), no. 1, 103--149. MR1765826

    2000

  24. [32]

    Seidel, Fukaya categories and deformations, in Proc

    P. Seidel, Fukaya categories and deformations, in Proc. International Congress of Mathematicians (Beijing 2002), Vol. II, 351--360, Higher Ed. Press, Beijing, 2002

    2002

  25. [33]

    Seidel, Fukaya categories and Picard-Lefschetz theory, Zurich Lectures in Advanced Mathematics, Eur

    P. Seidel, Fukaya categories and Picard-Lefschetz theory, Zurich Lectures in Advanced Mathematics, Eur. Math. Soc., Z\"urich, 2008. MR2441780

    2008

  26. [34]

    Seidel and R

    P. Seidel and R. P. Thomas, Braid group actions on derived categories of coherent sheaves, Duke Math. J. 108 (2001), no. 1, 37--108; MR1831820

    2001

  27. [35]

    Smith, Hochschild cohomology of the Fukaya category via Floer cohomology with coefficients, SIGMA Symmetry Integrability Geom

    J. Smith, Hochschild cohomology of the Fukaya category via Floer cohomology with coefficients, SIGMA Symmetry Integrability Geom. Methods Appl. 22 (2026), Paper No. 013. MR5030497

    2026

  28. [36]

    Z. A. Sylvan, On partially wrapped Fukaya categories, J. Topol. 12 (2019), no. 2, 372--441. MR3911570

    2019

  29. [37]

    Tralle and J

    A. Tralle and J. F. Oprea, Symplectic manifolds with no K\"ahler structure, Lecture Notes in Mathematics, 1661, Springer, Berlin, 1997; MR1465676

    1997

  30. [38]

    C. A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, 38, Cambridge Univ. Press, Cambridge, 1994; MR1269324

    1994

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.