18
Stack Exchange
votes

What is the Hochschild cohomology of the Fukaya-Seidel category?

Posted on 9/13/2015
UQ ID:211
Science
MathOverflow
Original

Let be a compact symplectic manifold and let be its Fukaya category. The Hochschild cohomology of this category should be given by , at least at the level of vector spaces (the product structure should be the quantum cohomology on : see for example Hochschild (co)homology of Fukaya categories and (quantum) (co)homology ). As should be a Calabi-Yau category (see for example Are Fukaya categories Calabi-Yau categories? ), the Hochschild homology coincides with the Hochschild cohomology up to a shift of the grading.

Let me deform the preceding setting: let me assume that is a Kähler manifold and that is an holomorphic function on (in particular is noncompact if one wants non-constant). One should be able to define the Fukaya-Seidel category (I probably need to assume that has only isolated non-degenerate critical points given the current technology). The Hochschild homology of this category should be given by:

,

where we take the cohomology relative to the fiber of a point with . But now is no longer Calabi-Yau and so the Hochschild cohomology is no longer simply related to the Hochschild homology. So my question is:

What is (or should be) the Hochschild cohomology of the Fukaya-Seidel category ?

If is the mirror of a smooth projective Fano variety then

and one knows by the Hochschild-Kostant-Rosenberg theorem that

and

.

In particular, Hochschild homology and cohomology are indeed very different in general.

This question is motivated by the general principle saying that the deformations of a category are governed by . In particular, a subquestion could be: what are the deformations of the Fukaya-Seidel category?, and this should be equivalent to understand what is.

Disclaimer: when I write that something "should be" true, it is what I think is the general expectation but as I am not an expert in symplectic geometry, I don't know the technical state of the art of the rigorous proofs. As my question is itself of the "should be" form, I hope it is fine.

Keywords & Tags
sg.symplectic-geometry
mirror-symmetry
hochschild-cohomology
fukaya-category
Model Answers (9)
Submitted answers from various AI models
Unsolved
No reviews yet

K2-Think

Pending UQ Validation
Needs Human Verification
MBZUAI-IFM
Qwen2.5-32B
Sep 18, 2025, 01:50 PM

The Hochschild cohomology of the Fukaya-Seidel category ( FS((Y, \omega), W) ), where ( (Y, \omega) ) is a non-compact Kähler manifold and ( W: Y \to \mathbb{C} ) is a holomorphic function with isolated non-degenerate critical points, is deeply connected to mirror symmetry.

Under the mirror symmetry conjecture, if ( (Y, W) ) is the mirror of a smooth projective Fano variety ( X ), then...

0 model reviews
0 human reviews
No reviews yet

GPT-5

UQ Validated
Needs Human Verification
OpenAI
Sep 2, 2025, 06:56 AM

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 ...
0 model reviews
0 human reviews
No reviews yet

o3 Pro

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Below is what is known at present about the “closed string” algebra which controls deformations of the Fukaya–Seidel category of a Landau–Ginzburg model.

  1. Set–up

    Let
    (Y, ω, λ) exact symplectic (= Liouville) manifold,
    W : Y → ℂ proper, J–holomorphic, with only Morse (or Morse–Bott) critical points,

and assume that outside a compact set Re W is a rad...

0 model reviews
0 human reviews
No reviews yet

Gemini 2.5 Pro

UQ Validated
Failed Human Verification
Google
Aug 1, 2025, 12:00 AM

This is an excellent and insightful question that gets to the heart of modern homological mirror symmetry. You've correctly identified the key players and the main difficulty: the Fukaya-Seidel category is generally not Calabi-Yau, so its Hochschild homology and cohomology are distinct and interesting objects.

The short answer, based on the principles of homological mirror symmetry and ...

0 model reviews
0 human reviews
No reviews yet

o3

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Let
 W : (Y,ω) ⟶ ℂ

be a (tame, exact) Lefschetz fibration; write
 Y_{-\infty}=W^{-1}(z),  Re z≪0.
Put a Liouville structure on Y which is conical outside a compact set and coincides with –d(Re W)◦J near Y_{-\infty}.
With this choice the Fukaya–Seidel A∞–category (constructed e.g. by Seidel) may be viewed, in the sense of Ganatra–Pardon–Shende, as a wrapped Fukaya category of the **stop...

0 model reviews
0 human reviews
No reviews yet

DeepSeek R1

Failed UQ Validation
Needs Human Verification
DeepSeek
deepseek-ai/DeepSeek-R1
Aug 1, 2025, 12:00 AM
<think> Okay, the user is asking about the Hochschild cohomology of the Fukaya-Seidel category. This is a pretty advanced topic in symplectic geometry and mirror symmetry. Let me start by recalling what I know. The Fukaya-Seidel category, denoted FS((Y,ω),W), is associated with a Kähler manifold Y and a holomorphic function W with isolated critical points. The user mentions that in the compact cas...
0 model reviews
0 human reviews
No reviews yet

o4 mini

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Here is what one “expects’’ (and in many cases can now prove) for the Hochschild cohomology of the directed Fukaya–Seidel category. We will denote by FS = FS((Y,ω),W) the A∞–category of vanishing thimbles of the Lefschetz fibration W : Y→ℂ, and by W(Y) its wrapped Fukaya category. The key input is the (now proved, in the Weinstein case) isomorphism between symplectic cohomology and Hochschild co...

0 model reviews
0 human reviews
No reviews yet

Claude 3.7 Sonnet

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

Hochschild Cohomology of the Fukaya-Seidel Category

The Hochschild cohomology of the Fukaya-Seidel category is an important but subtle object in mirror symmetry. I'll attempt to provide a comprehensive answer based on current understanding in the field.

Expected Formula

For a Landau-Ginzburg model with isolated critical points, the Hochschild cohomology of the Fukaya-Seidel ...

0 model reviews
0 human reviews
No reviews yet

Claude Opus 4

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

This is an excellent question about the Hochschild cohomology of Fukaya-Seidel categories. Let me provide what is known and expected.

The General Picture

For a Fukaya-Seidel category associated to a Landau-Ginzburg model, the Hochschild cohomology should be computed by a version of the open-closed map that relates it to certain cohomology groups of the ambient...

0 model reviews
0 human reviews
Submit Your Model's Answer
Your submission will be validated by our LLM validator and then by human experts

You need to be logged in to submit an answer