Pith. sign in

REVIEW 3 major objections 5 minor 70 references

Kontsevich–Soibelman operations on periodic cyclic homology are generated by p-fold equivariant cap products.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 08:32 UTC pith:HIPXKSRM

load-bearing objection A substantial operadic reformulation with a plausible classification whose written proof has a real gap: the [e1] generators are never shown to descend to periodic cyclic homology or to be cap products. the 3 major comments →

arxiv 2601.16437 v2 pith:HIPXKSRM submitted 2026-01-23 math.QA math.ATmath.SG

The Getzler-Gauss-Manin connection and Kontsevich-Soibelman operations on the periodic cyclic homology

Zihong Chen This is my paper
classification math.QA math.ATmath.SG MSC 16E4055P4853D4055S12
keywords periodic cyclic homologyKontsevich–Soibelman operationscacti operadequivariant cap productGetzler–Gauss-Manin connectionpositive characteristicFukaya categoryquantum Steenrod operations
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper sets out to describe every 'natural' endomorphism of the periodic cyclic homology of a differential graded algebra—those induced by the chain-level action of the two-colored Kontsevich–Soibelman operad. The headline claim is a dichotomy: over rings containing the rationals, no such operation is nonzero; over rings containing the field with p elements, the entire algebra of operations is generated by p-fold equivariant cap products with Hochschild cochains. A second, independent theorem says every such operation commutes with the Getzler–Gauss-Manin connection, so the operations are covariantly constant in families of algebras. The technical engine is a reformulation of the operad using cacti with spines and cyclic cacti, together with an equivariant quasi-equivalence to configurations of little disks on a disk and on a cylinder. If correct, this gives a closed-form classification of the operadic symmetries of periodic cyclic homology and places the p-fold cap product—already linked to quantum Steenrod operations—at the center of the story.

Core claim

The paper claims a complete classification of Kontsevich–Soibelman operations on periodic cyclic homology. Over Q ⊂ R, none exist; over F_p ⊂ R, all are generated by p-fold equivariant cap products [ϕ]^{C_p} ⋒^{C_p} −. The generator [e0] is exactly that cap product, and [e1] is its commutator with the residual circle operator, so everything reduces to cap products. Covariant constancy is proved independently: any operation lifts to the first-order neighborhood of the diagonal, giving compatibility with the Grothendieck-connection form of the Gauss-Manin connection.

What carries the argument

The central object is the two-colored Kontsevich–Soibelman operad, replaced by a 'cacti with spines' model: cacti are unions of embedded circles with marked points and spines, and cyclic cacti add an output basepoint on the base lobe. The paper proves an equivariant quasi-equivalence from this two-colored cacti operad to the configuration-space operad of little disks on a disk and on a cylinder, tracking Σ_k and S^1×S^1 actions; the circle actions are modeled combinatorially using the cyclic category and its finite p-cyclic subcategory. This equivalence lets equivariant homology of KS(k,1) be computed by localization and classical configuration-space homology, producing generators [e0],[e1];

Load-bearing premise

The classification rests on the equivariant quasi-equivalence between the two-colored cacti operad and the configuration-space operad (Theorem 4.29); one rotation-of-basepoints compatibility is deferred to another paper and an inverse homeomorphism in Lemma 6.16 is left to the reader, so the existence of this equivariant equivalence is the load-bearing premise.

What would settle it

Take a dg algebra over F_p with explicitly computed periodic cyclic homology and search for an endomorphism in the image of Ξ that cannot be written as a polynomial in operators [ϕ]^{C_p} ⋒^{C_p} −; or, at the topological level, check whether the inverse homeomorphism asserted in Lemma 6.16 can actually be made S^1×S^1-equivariant—if not, the generation theorem may lack a proof in its current form.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Over Q ⊂ R, no nonzero Kontsevich–Soibelman operation exists on periodic cyclic homology.
  • Over F_p ⊂ R, every Kontsevich–Soibelman operation is a composition and linear combination of p-fold equivariant cap products [ϕ]^{C_p} ⋒^{C_p} −.
  • All such operations are covariantly constant: each commutes with the Getzler–Gauss-Manin connection, in both the S^1 and C_p versions.
  • For a closed monotone symplectic manifold, p-torsion in integral cohomology forces failure of Abouzaid's generation criterion for the Fukaya category over F_p.
  • A Lagrangian-realizable middle cohomology class α over F_p must satisfy α ∪ im(β) = 0; concrete Fano examples show this constraint is not implied by classical submanifold realizability or by pairing with the symplectic form.

Where Pith is reading between the lines

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

  • Because the classification runs through equivariant localization, the same dichotomy—trivial over Q, cap-product-generated over F_p—should persist for A-infinity categories and for curved algebras once strict units are replaced by homotopy units; the paper only indicates this.
  • The commutator formula [e1] = [[e0], B_p] is a C_p-equivariant Cartan-type formula; it suggests a purely algebraic proof of covariant constancy of the p-fold cap product should exist without the configuration-space detour.
  • The identification of [e0] with the p-fold cap product is chain-level and explicit; one testable consequence is that arithmetic properties of quantum Steenrod operations, such as vanishing of θ-terms, should hold for any A whose periodic cyclic homology is generated by units, not just Fukaya categories.
  • If the deferred basepoint-rotation technicality cannot be resolved, the generator classification might still hold after replacing the cacti model by a weakly equivalent one; testing this would clarify whether the equivariant cacti comparison is necessary or merely convenient.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper studies equivariant operations on periodic cyclic homology induced by the chain-level action of the two-colored Kontsevich-Soibelman operad. It introduces a new model for this operad based on two-colored cacti with spines, proves an equivariant quasi-equivalence to the configuration-space operad of disks on a disk/cylinder, and uses Cohen's computation of equivariant homology of configuration spaces to propose a classification of Kontsevich-Soibelman operations. The two main algebraic claims are: (1) over Q there are no nontrivial KS operations on HH^{per}_*, while over F_p the algebra of KS operations is generated by p-fold equivariant cap products; (2) every KS operation commutes with the Getzler-Gauss-Manin connection. The paper also gives applications to quantum Steenrod operations, to torsion in the integral cohomology of symplectic manifolds, and to the Lagrangian realization problem.

Significance. If the main results hold, this is a substantial contribution: it provides a unifying operadic framework for natural operations on periodic cyclic homology, establishes a previously unexpected automatic covariant constancy with respect to the Getzler-Gauss-Manin connection, and gives a structural explanation for the appearance of p-fold cap products. The explicit chain-level bookkeeping of C_p-actions and the construction of cyclic cacti with spines are valuable technical innovations, and the connection to quantum Steenrod operations and the Lagrangian realization problem gives the paper broad reach. However, the classification of KS operations is not fully established by the text as written: the central proof has gaps around the second generator [e1], the freeness hypothesis in Theorem 5.8, and the deferred parts of the equivariant quasi-equivalence. These gaps are repairable in principle, but they are load-bearing for Theorem 1.1.

major comments (3)
  1. [Theorem 1.1; §5.1–5.2 and §6.3] The reduction of Theorem 1.1 to cap products is incomplete. Theorem 5.8 and Corollary 5.9 assert that all C_p-KS operations are generated by Ξ_p([e0])([φ],−) and by [Ξ_p([e0])([φ],−), B_p]. Proposition 6.20 identifies only Ξ_p([e0])([φ],−) with the p-fold equivariant cap product. No result in §6.3 identifies the commutator [Ξ_p([e0])([φ],−), B_p] with a cap product [ψ] ⋒^{C_p} −, nor proves that B_p preserves the summand HH^{per}_*(A) inside HH^{C_p,per}_*(A). Lemma 5.10 and Corollary 5.11 concern [e0] only. Therefore the statement 'generated by endomorphisms of the form [φ] ⋒^{C_p} −' in Theorem 1.1 does not logically follow from the cited results. This is a proof gap in the central classification, not a claim that the theorem is false; it can be repaired either by proving a closure property for the operation [−, B_p] or by directly expressing Ξ_p([e1])([φ],−) as a cap product and provi
  2. [Theorem 5.8 and Theorem 1.1] Theorem 5.8 is stated only under the hypothesis that H^*_{Σ_p}(CC_*(A)^{⊗p}) is a free R-module. Theorem 1.1, which is claimed to follow from Theorem 5.8 and Proposition 6.20, contains no such freeness assumption and is stated for every dg algebra over a ring containing F_p. The proof of Theorem 5.8 uses the Künneth decomposition (5.29) and the freeness assumption in an essential way. The manuscript does not explain why the freeness hypothesis is automatic, or how the conclusion of Theorem 1.1 is obtained without it. This is a load-bearing mismatch between the stated theorem and the result actually proved in Section 5.
  3. [Theorem 4.29; §6.2, Theorem 6.18 and Lemma 6.16] The paper's classification depends on the equivariant quasi-equivalence between the cacti model and the configuration-space model, but that comparison is not fully proved in the text. Theorem 6.18 states an isomorphism of two-colored topological operads, yet the proof defers a 'technical issue involving rotation of basepoints' to Salvatore's paper, and Lemma 6.16 leaves the construction of the inverse homeomorphism to the reader. Since Theorem 5.8 uses the equivariant homology computation of the configuration spaces, the missing equivariant comparison is not a cosmetic matter. Please either supply the missing arguments or state precisely which statements of [Sal1] are being invoked and verify that they carry the required S^1 × S^1 and Σ_n equivariance.
minor comments (5)
  1. [§2.3 and Proposition 2.5] The ring R((t,θ)) is used before its definition is fixed for p=2; in the introduction θ^2=t for p=2, while in §2.3 the complex is defined with θ^2=0. Please clarify the conventions and the precise form of the completed coefficient ring in Proposition 2.5.
  2. [§4.2, Definition 4.22 and Lemma 4.24] The cyclic/cocyclic structure maps are only described pictorially. Since the paper explicitly claims to keep track of the finite subgroup C_p ⊂ S^1, a combinatorial specification of the Λ and Λ^op structure maps would make the construction easier to verify.
  3. [§5.2, Theorem 5.18] The statement of Theorem 5.18 lists generators Ξ_p([e0]) and Ξ_p([e1]) with [φ]∈H^*_{Σ_p}(CC_*^{⊗p}), but the twisted operations are defined using H^*_{Σ_p}(CC_*^{⊗p}⊗R(p)). The relation between these two inputs, though illustrated in Example 5.19, would benefit from an explicit statement of the map H^*_{Σ_p}(CC_*^{⊗p}⊗R(p)) → H^*_{Σ_p}(CC_*^{⊗p}).
  4. [§7.4, Theorem 7.6 and Footnote 5] The proof of Theorem 7.6 uses the unit [e_L] of an object of the Fukaya category. Footnote 5 acknowledges that the Fukaya category does not have strict units and refers to a homological unit. Since the argument requires [e_L] to be a genuine input for the OC^{S^1} map, a short explanation of which construction is used and why it satisfies the needed properties would be helpful.
  5. [§6.1, Theorem 6.9] The proof of Theorem 6.9 is summarized by reference to [Sal1]; because this theorem is the basis for the W-construction used in §6.2, a more detailed indication of the proof would improve readability.

Circularity Check

0 steps flagged

No significant circularity: the core operadic classification is not definitionally circular, though the proof has a non-circular gap (the [e1] generator is never identified with a cap product) and the symplectic application relies on the author's prior [Che2] comparison.

full rationale

I walked the derivation chain for Theorems 1.1 and 1.2. The equivariant homology computation in Section 5 reduces to Cohen's classical configuration-space results and Salvatore's cacti work; it is not justified by the present paper's own conclusions. The key identification, Proposition 6.20, compares the KS-action class [e0] with the p-fold cap product. The cap product is defined by the explicit chain formula (6.43), independent of the KS operad action, and the equality is obtained by tracing the explicit cocycle e0 through the cacti action (diagram (6.42)); this is not a fitted input renamed as a prediction. Theorem 1.2's 'automatic covariant constancy' is proved from Kaledin's Grothendieck-connection reformulation and the filtration preservation of the KS action, again without importing the classification. Self-citations to [Che1] and [Che2] supply the finite p-cyclic category framework, the cap-product formula, and the quantum-Steenrod comparison Theorem 7.4. These are real prior theorems with stated assumptions and are not the target claims of this paper; they are load-bearing only in the applications, not in the central operadic classification. I also flag explicitly, as a correctness gap rather than a circularity: after Corollary 5.9 the second generator is Ξ_p([e1])([ϕ],−)=[Ξ_p([e0])([ϕ],−), B_p], but §6.3 only computes Ξ_p([e0]); the paper never shows the B_p-commutator is again a cap product or that it preserves the HH_per summand, so Theorem 1.1's 'generated by cap products' statement has a missing step. This gap does not make the derivation circular; it is an omitted argument in the chain from Theorem 5.8/Corollary 5.9 to Theorem 1.1.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

The paper introduces no ad hoc free parameters or fitted constants. It relies on standard and domain-specific theorems from the literature, including Getzler's formulas, Kaledin's reformulation, Hoyois' ∞-categorical cyclic homology, Cohen's configuration space computations, and Salvatore's cacti results. The main novel mathematical object is a two-colored cyclic-cacti operad, but this is a derived construction rather than an invented entity with independent physical evidence.

axioms (7)
  • domain assumption Getzler's Cartan homotopy formulas for the contraction, Lie derivative, and auxiliary operators on Hochschild complexes (Equations 3.4–3.5).
    Invoked in the definition of the Getzler-Gauss-Manin connection (3.9) and in the Kaledin comparison (Proposition 3.2).
  • domain assumption Kaledin's reformulation of the Gauss-Manin connection as a Grothendieck connection, including the contractibility of I^1/I^2 (PVV Lemma 3.1).
    Used in the proof of automatic covariant constancy (Theorem 4.33) and in the definition of the C_p connection.
  • domain assumption Hoyois' theorem that cyclic homology is a Kan extension along Λ→BS^1 and the homotopy exact square (2.32) relating Λ, pΛ, and BC_p.
    Used to prove the comparison between periodic and C_p-equivariant Hochschild complexes (Proposition 2.5).
  • domain assumption Cohen's computation of the homology of E_2/configuration spaces, as summarized in Rossi's Corollary 4.15 and Theorem 5.14.
    Directly underlies Lemma 5.6, Lemma 5.7, and the classification of KS operations in Theorem 5.8.
  • domain assumption Salvatore's theorem that weighted cacti are quasi-equivalent to the Fulton-MacPherson/little disks operad and the W-construction compatibilities (Theorem 6.3, Theorem 6.9, and their equivariant versions).
    Basis for the equivariant quasi-equivalence between the two-colored cacti model and the configuration-space model (Theorem 4.29 / 6.18).
  • domain assumption The monotone Fukaya category and open-closed/closed-open maps, including the cyclic open-closed map intertwining the Getzler-Gauss-Manin connection with the quantum connection (Equation 7.43).
    Foundation for Section 7 applications, following [Abo], [Gan], [Gan2], [Hug], [PS], [GS], [She].
  • domain assumption [Che2, Theorem 7.4] that quantum Steenrod operations are recovered from the C_p-equivariant cap product on the Fukaya category.
    Critical input for Corollary 7.5 and Theorem 7.6; this is the author's prior result, cited but not proved in this paper.

pith-pipeline@v1.3.0-alltime-deepseek · 72255 in / 12301 out tokens · 124559 ms · 2026-08-03T08:32:52.650589+00:00 · methodology

0 comments
read the original abstract

We study equivariant operations on the periodic cyclic homology of dg algebras that arise from the chain level action of the two-colored Kontsevich-Soibelman operad. The first main result is that these operations are covariantly constant with respect to the Getzler-Gauss-Manin connection on the periodic cyclic homology of a family of dg algebras. Then, using classical computations of Cohen \cite{Coh}, we explicitly compute a set of generators for these operations under composition, and show that these generators are closely related to the $p$-fold equivariant cap products previously studied by the author \cite{Che2} in relation to equivariant Gromov-Witten theory with mod $p$ coefficients. The main technical novelty is a re-formulation of the Kontsevich-Soibelman operad in terms of a two-colored version of the cacti operad, and a proof that it is \emph{equivariantly} quasi-equivalent to the two-colored operad of little disks on a disk/cylinder.

Figures

Figures reproduced from arXiv: 2601.16437 by Zihong Chen.

Figure 15
Figure 15. Figure 15: These should be viewed as the counterparts of the operadic compositions [PITH_FULL_IMAGE:figures/full_fig_p037_15.png] view at source ↗
Figure 23
Figure 23. Figure 23: Equivalences of labeled trees Definition 6.2. The space of labeled trees with n leaves is T rn := a T ∈Tn σB × Y w∈W ∆w / ∼, (6.3) where ∼ is generated by two types of equivalences in [PITH_FULL_IMAGE:figures/full_fig_p054_23.png] view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

70 extracted references · 15 linked inside Pith

  1. [1]

    Abouzaid, A geometric criterion for generating the Fukaya category

    M. Abouzaid, A geometric criterion for generating the Fukaya category. Publ.math.IHES 112, 191–240 (2010)

    2010

  2. [2]

    Albers, On the extrinsic topology of Lagrangian submanifolds

    P. Albers, On the extrinsic topology of Lagrangian submanifolds. International Mathematics Research Notices, Volume 2005, Issue 38, Pages 2341–2371 (2005)

    2005

  3. [3]

    Axelrod, I

    S. Axelrod, I. Singer, Chern-Simons Perturbation Theory II. J. Differential Geom. 39, no. 1, 173-213 (1994)

    1994

  4. [4]

    Auroux, A beginner's introduction to Fukaya categories

    D. Auroux, A beginner's introduction to Fukaya categories. arXiv: 1301.7056

    Pith/arXiv arXiv

  5. [5]

    Bai and J.H

    S. Bai and J.H. Lee, 3D mirror symmetry in positive characteristic. arXiv:2503.23590 (2025)

    Pith/arXiv arXiv 2025

  6. [6]

    Bai and J.H

    S. Bai and J.H. Lee, The p -curvature of quantum connections for Calabi-Yau threefolds. arXiv:2601.01654 (2026)

    arXiv 2026

  7. [7]

    B\" o digheimer, Stable splittings of mapping spaces

    C.F. B\" o digheimer, Stable splittings of mapping spaces. English. Algebraic topology, Proc. Workshop, Seattle/Wash. 1985, Lect. Notes Math. 1286, 174-187 (1987)

    1985

  8. [8]

    Boardman and R

    M. Boardman and R. Vogt, Homotopy invariant algebraic structures on topological spaces. Lect. Notes Math. 347 (1973)

    1973

  9. [9]

    Bai and G

    S. Bai and G. Xu, Integral Hamiltonian Floer theory: foundations. (2026)

    2026

  10. [10]

    Crowley and M

    D. Crowley and M. Grant, Immersed by not embedded homology classes. arXiv: 2412.15359 (2024)

    Pith/arXiv arXiv 2024

  11. [11]

    Çineli and V.L

    E. Çineli and V.L. Ginzburg and B.Z. Gürel, From Pseudo-Rotations to Holomorphic Curves via Quantum Steenrod Squares. International Mathematics Research Notices, Volume 2022, Issue 3, Pages 2274–2297 (2022)

    2022

  12. [12]

    Chen, On operadic open-closed maps in characteristic p

    Z. Chen, On operadic open-closed maps in characteristic p . arXiv: 2402.06183 (2024)

    Pith/arXiv arXiv 2024

  13. [13]

    Chen, Quantum Steenrod operations and Fukaya categories

    Z. Chen, Quantum Steenrod operations and Fukaya categories. arXiv: 2405.05242 (2024)

    Pith/arXiv arXiv 2024

  14. [14]

    Chen, On the exponential type conjecture

    Z. Chen, On the exponential type conjecture. arXiv:2409.03922 (2024)

    Pith/arXiv arXiv 2024

  15. [15]

    Cohen, The homology of C_ n+1 -spaces, n 0

    F. Cohen, The homology of C_ n+1 -spaces, n 0 . In The homology of iterated loop spaces, volume 533 of Lecture Notes in Mathematics, pages 207–351. Springer, 1976

    1976

  16. [16]

    Connes, Cohomologie cyclique et foncteurs Ext^n

    A. Connes, Cohomologie cyclique et foncteurs Ext^n . C.R. Acad. Sci. Paris, t. 296, 953-959 (1983)

    1983

  17. [17]

    Dolgushev, D

    V. Dolgushev, D. Tamarkin, B. Tsygan, Formality of the homotopy calculus algebra of Hochschild (co)chains. arXiv:0807.5117 (2008)

    Pith/arXiv arXiv 2008

  18. [18]

    Entov, L

    M. Entov, L. Polterovich, Rigid subsets of symplectic manifolds. Compositio Mathematica. 145(3):773-826 (2009)

    2009

  19. [19]

    Fulton, R

    W. Fulton, R. MacPherson, A compactification of configuration spaces. Ann. of Math. (2), 139(1):183–225, 1994

    1994

  20. [20]

    Fukaya, Morse homotopy and its quantization

    K. Fukaya, Morse homotopy and its quantization. Geometric topology (Athens, GA, 1993), pages 409–440. Amer. Math. Soc. (1997)

    1993

  21. [21]

    Ganatra, Symplectic cohomology and duality for the wrapped Fukaya category

    S. Ganatra, Symplectic cohomology and duality for the wrapped Fukaya category. arXiv: 1304.7312 (2012)

    Pith/arXiv arXiv 2012

  22. [22]

    Ganatra, Cyclic homology, S^1 -equivariant Floer cohomology, and Calabi-Yau structures

    S. Ganatra, Cyclic homology, S^1 -equivariant Floer cohomology, and Calabi-Yau structures. Geom. Topol. 27:9 3461–3584 (2023)

    2023

  23. [23]

    Gerstenhaber, The cohomology structure of an associative ring

    M. Gerstenhaber, The cohomology structure of an associative ring. Annals of Mathematics, Vol. 78, No. 2 (Sep., 1963), pp. 267-288

    1963

  24. [24]

    Getzler, Cartan homotopy formulas and the Gauss-Manin connection in cyclic homology

    E. Getzler, Cartan homotopy formulas and the Gauss-Manin connection in cyclic homology. In Quantum deformations of algebras and their representations, Israel Math. Conf. Proc. 7 (1993), pp. 65-78

    1993

  25. [25]

    Getzler, J

    E. Getzler, J. D.S. Jones, Operads, homotopy algebra and iterated integrals for double loop spaces. arXiv:hep-th/9403055 (1994)

    Pith/arXiv arXiv 1994

  26. [26]

    Ganatra, D

    S. Ganatra, D. Pomerleano, A Log PSS morphism with applications to Lagrangian embeddings. Journal of Topology, Volume 14, Issue 1, pp. 291-368 (2021)

    2021

  27. [27]

    Ganatra, T

    S. Ganatra, T. Perutz, N.Sheridan, Mirror symmetry: from categories to curve counts. arXiv: 1510.03839 (2015)

    Pith/arXiv arXiv 2015

  28. [28]

    Ganatra, N

    S. Ganatra, N. Sheridan, The cyclic open--closed map and variations of Hodge structures. arXiv:2511.04498 (2025)

    arXiv 2025

  29. [29]

    Hoyois, The homotopy fixed points of the circle action on Hochschild homology

    M. Hoyois, The homotopy fixed points of the circle action on Hochschild homology. arXiv:1506.07123 (2015)

    Pith/arXiv arXiv 2015

  30. [30]

    W. Y. Hsiang, Cohomology Theory of Topological Transformation Groups. Ergebnisse der Mathematik und ihrer Grenzgebiete Band 85 (1975)

    1975

  31. [31]

    K.Hugtenburg, The cyclic open-closed map, u -connections and R -matrices. Sel. Math. New Ser. 30, 29 (2024)

    2024

  32. [32]

    J. D.S. Jones, Cyclic homology and equivariant homology. Invent. math. 87, 403-423 (1987)

    1987

  33. [33]

    Katz, Nilpotent connections and the monodromy theorem: applications of a result of Turrittin

    N. Katz, Nilpotent connections and the monodromy theorem: applications of a result of Turrittin. Publications mathématiques de l’I.H.É.S., tome 39 (1970), p. 175-232

    1970

  34. [34]

    Kaledin, Non-commutative Hodge-to-de Rham Degeneration via the Method of Deligne-Illusie

    D. Kaledin, Non-commutative Hodge-to-de Rham Degeneration via the Method of Deligne-Illusie. Pure and applied math quarterly, Volume 4, no. 3, 785-875, 2008

    2008

  35. [35]

    Kaledin, Cyclic Homology with Coefficients.Algebra, Arithmetic, and Geometry: in Honor of Yu

    D. Kaledin, Cyclic Homology with Coefficients.Algebra, Arithmetic, and Geometry: in Honor of Yu. I. Manin, vol. II, pp. 23–47. Progress in Mathematics, vol 270. Birkhäuser Inc., Boston (2009)

    2009

  36. [36]

    R. M. Kaufmann, On several varieties of cacti and their relations. Algebraic and Geometric Topology, Volume 5 (2005) 237–300

    2005

  37. [37]

    Katzarkov, M

    L. Katzarkov, M. Kontsevich, T. Pantev, Hodge theoretic aspects of mirror symmetry. In From Hodge theory to integrability and TQFT tt*-geometry, volume 78 of Proc. Sympos. Pure Math., pages 87–174. Amer. Math. Soc., 2008

    2008

  38. [38]

    Kontsevich, Y

    M. Kontsevich, Y. Soibelman, Notes on A_ -Algebras, A_ -Categories and Non-Commutative Geometry . In: Homological Mirror Symmetry. Lecture Notes in Physics, vol 757. Springer, Berlin, Heidelberg (2008)

    2008

  39. [39]

    Kontsevich, Y

    M. Kontsevich, Y. Soibelman, Deformations of algebras over operads and Deligne’s conjecture. G. Dito and D. Sternheimer (eds.), Conf\' e rence Mosh\' e Flato 1999, Vol. 1, 255 – 307

    1999

  40. [40]

    J. H. Lee, Quantum Steenrod operations of symplectic resolutions. arXiv:2312.02100 (2023)

    arXiv 2023

  41. [41]

    J. L. Loday, Cyclic homology. A Series of Comprehensive Studies in Mathematics, Springer, 1998

    1998

  42. [42]

    J. P. May, The geometry of iterated loop spaces. Lecture Notes in Mathematics, Vol. 271. Springer-Verlag, Berlin, Heidelberg (1972)

    1972

  43. [43]

    J. E. McClure, J. H. Smith, A solution of Deligne’s Hochschild cohomology conjecture. arXiv: 9910126 (1999)

    1999

  44. [44]

    Nicolaus, P

    T. Nicolaus, P. Scholze, On topological cyclic homology. Acta Math. 221(2): 203-409 (December 2018)

    2018

  45. [45]

    Oh, Floer cohomology of Lagrangian intersections and pseudo-holomorphic disks I

    Y.G. Oh, Floer cohomology of Lagrangian intersections and pseudo-holomorphic disks I. Comm. Pure Appl. Math. 46(7), 949–993 (1993)

    1993

  46. [46]

    J. C. Ottem, J. V. Rennemo, Fano varieties with torsion in the third cohomology group. arXiv:2309.10793 (2023)

    Pith/arXiv arXiv 2023

  47. [47]

    Pastor, On bordism groups of immersions

    G. Pastor, On bordism groups of immersions. Trans. Amer. Math. Soc. 283 (1984), no. 1, 295–301

    1984

  48. [48]

    Pomerleano, P.Seidel, The quantum connection, Fourier-Laplace transform, and families of A _ -categories

    D. Pomerleano, P.Seidel, The quantum connection, Fourier-Laplace transform, and families of A _ -categories . arXiv:2308.13567

    Pith/arXiv arXiv

  49. [49]

    Petrov, D

    A. Petrov, D. Vaintrob, V. Vologodsky, The Gauss–Manin connection on the periodic cyclic homology. Sel. Math. New Ser. 24, 531–561 (2018)

    2018

  50. [50]

    Rossi, Homology operations for gravity algebras

    T. Rossi, Homology operations for gravity algebras. Homology, Homotopy and Applications, vol. 25(1), pp.401–428 (2023)

    2023

  51. [51]

    Rossi, P

    T. Rossi, P. Salvatore, Chain level Koszul duality between the Gravity and Hypercommutative operads. arXiv: 2412.03474 (2024)

    Pith/arXiv arXiv 2024

  52. [52]

    Salvatore, A cell decomposition of the Fulton MacPherson operad

    P. Salvatore, A cell decomposition of the Fulton MacPherson operad. Journal of Topology 15, pp. 443-504 (2022). 2009

    2022

  53. [53]

    Salvatore, The topological cyclic Deligne conjecture

    P. Salvatore, The topological cyclic Deligne conjecture. Algebr. Geom. Topol. 9(1): 237-264 (2009)

    2009

  54. [54]

    Salvatore, The Fulton-MacPherson operad and the W-construction

    P. Salvatore, The Fulton-MacPherson operad and the W-construction. Homology, Homotopy and Applications, vol. 23(2), 2021, pp.1–8

    2021

  55. [55]

    Salvatore, Configuration spaces with summable labels

    P. Salvatore, Configuration spaces with summable labels. Cohomological methods in homotopy theory. Birkhäuser, Basel, 2001. 375-395

    2001

  56. [56]

    Seidel, Fukaya categories and Picard-Lefschetz theory

    P. Seidel, Fukaya categories and Picard-Lefschetz theory. Zurich Lectures in Advanced Mathematics, European Mathematical Society, 2008

    2008

  57. [57]

    Seidel, Formal groups and quantum cohomology

    P. Seidel, Formal groups and quantum cohomology. Geom. Topol. 27 (2023) 2937-3060

    2023

  58. [58]

    Seidel, Graded Lagrangian submanifolds

    P. Seidel, Graded Lagrangian submanifolds. Bulletin de la Soci\' e t\' e Math\' e matique de France, 128(1), 103-149 (2000)

    2000

  59. [59]

    Sheridan, On the Fukaya category of a Fano hypersurface in projective space

    N. Sheridan, On the Fukaya category of a Fano hypersurface in projective space. Publications math\' e matiques de l\' I HES, 2016, 1–153

    2016

  60. [60]

    Shelukhin, On the Hofer-Zehnder conjecture

    E. Shelukhin, On the Hofer-Zehnder conjecture. Annals of Mathematics, 195, no. 3, 775-839 (2022)

    2022

  61. [61]

    Shklyarov, Non-commutative Hodge structures: towards matching categorical and geometric examples

    D. Shklyarov, Non-commutative Hodge structures: towards matching categorical and geometric examples. Transactions of the Amer. Math. Soc, vol. 366, no. 6, 2014, pp. 2923–74

    2014

  62. [62]

    Seidel, N

    P. Seidel, N. Wilkins, Covariant constancy of quantum Steenrod operations. J. Fixed Point Theory Appl. 24, 52 (2022)

    2022

  63. [63]

    D. E. Tamarkin, Another proof of M. Kontsevich formality theorem. arXiv: math/9803025 (1998)

    Pith/arXiv arXiv 1998

  64. [64]

    Thom, Quelques propri\' e t\` e s globales des vari\' e t\' e s différentiables

    R. Thom, Quelques propri\' e t\` e s globales des vari\' e t\' e s différentiables . Commentarii Mathematici Helvetici 28, 17–86 (1954)

    1954

  65. [65]

    Toën, B, Anneaux de définition des dg-algèbres propres et lisses. Bull. Lond. Math. Soc. 40(4), 642– 650 (2007)

    2007

  66. [66]

    Tourtchine, Dyer–Lashof–Cohen operations in Hochschild cohomology

    V. Tourtchine, Dyer–Lashof–Cohen operations in Hochschild cohomology. Algebraic and Geometric Topology 6 (2006) 875–894 875

    2006

  67. [67]

    A. A. Voronov, Notes on universal algebra. Graphs and Patterns in Mathematics and Theoretical Physics (M. Lyubich and L. Takhtajan, eds.), Proc. Sympos. Pure Math., vol. 73. AMS, Providence, RI, 2005, pp. 81–103

    2005

  68. [68]

    A. A. Voronov, Homotopy Gerstenhaber algebras. In Conference Moshe Flato 1999 Vol. II, Math. Phys. Stud. 22 (2000), 307-331

    1999

  69. [69]

    Willwacher, The homotopy brace formality morphism

    T. Willwacher, The homotopy brace formality morphism. Duke Math. J. 165(10): 1815-1964 (2016)

    1964

  70. [70]

    Wilkins, A construction of the quantum Steenrod squares and their algebraic relations

    N. Wilkins, A construction of the quantum Steenrod squares and their algebraic relations. Geom. Topol. 24, 885-–970 (2020)

    2020