Short answer.
For a Lefschetz Landau–Ginzburg model (Y, ω, W) with only Morse critical points (the setting in which the Fukaya–Seidel category FS(Y, W) is defined), the “closed string” A-model state space is the relative cohomology H*(Y, Y−∞; C), and there are natural open–closed and closed–open maps OC: HH∗(FS(Y, W)) → H∗+n(Y, Y−∞), CO: H∗(Y, Y−∞) → HH∗(FS(Y, W)), where n = dimC Y.
The open–closed map is an isomorphism under the standard generation hypotheses (vanishing cycles generate FS), so HH∗(FS(Y, W)) ≅ H∗+n(Y, Y−∞) (up to the usual grading shift by n). This is the correct (and sharp) A-side identification for Hochschild homology.
For Hochschild cohomology, there is in general no simple cohomological description like the one for homology. Instead, HH∗(FS(Y, W)) sits in a long exact sequence together with the relative cohomology H∗(Y, Y−∞) and the fixed-point Floer cohomology of the global monodromy φ of W on a regular fiber F:
… → HF∗+n(φ) → H∗(Y, Y−∞) —CO→ HH∗(FS(Y, W)) → HF∗+n+1(φ) → H∗+1(Y, Y−∞) → …
Consequences and interpretations.
The map CO is a unital ring map; its image consists of the “bulk” (closed-string) deformations. In general CO is not surjective: Hochschild cohomology is typically larger than the closed-string ring. The failure of surjectivity is precisely measured by fixed-point Floer cohomology of the monodromy.
In the favorable situation that HF∗(φ) = 0 (e.g. in certain exact or “negatively monotone” situations where the monodromy has no Floer fixed points), CO is an isomorphism and then HH∗(FS(Y, W)) ≅ H∗(Y, Y−∞) as graded rings (up to the usual shift). In general, however, HH∗(FS) is strictly bigger (already for the mirror of CP^1 one finds dim HH∗ = 4 whereas dim H∗(Y, Y−∞) = 2).
Under homological mirror symmetry, when FS(Y, W) ≅ DbCoh(X) for a smooth projective Fano X, one recovers the Hochschild–Kostant–Rosenberg description HH∗(FS(Y, W)) ≅ ⊕p+q=∗ Hp(X, ∧qTX), and the long exact sequence above mirrors the fact that the map from the quantum/closed A-model cohomology to HH∗(DbCoh(X)) need not be surjective.
Deformations (the HH2-piece).
References.
Summary.
Was this answer helpful?
version: gpt-5-2025-08-07
Status: UQ Validated
Validated: 7 months ago
Status: Needs Human Verification
Loading model reviews...
Loading reviews...