Skip to main content

Questions tagged [fukaya-category]

For questions about Fukaya categories (as introduced by Fukaya in 1993) and their structure; consider also related tags such as [floer-homology] or [lagrangian-submanifolds].

Filter by
Sorted by
Tagged with
5 votes
1 answer
292 views

Natural equivalence of Dehn and spherical twist of Fukaya category

We consider the setup of Seidel's book. Let $(M,\omega)$ be an exact symplectic manifold with $2c_1=0$. Seidel defines the Fukaya category $\text{Fuk}(M)$ of $M$. A Lagrangian sphere $L\subset M$, ...
56 votes
1 answer
2k views

What is the current status of derived differential geometry?

I hope you will excuse this naive and general question. I've read from many places (e.g. Dominic Joyce's website, John Pardon's thesis, etc.) that the/a "right" foundations for many ...
3 votes
0 answers
308 views

Algebraic Fukaya categories and mirror symmetry

Dominic Joyce and collaborators have outlined a programme to construct algebraic Fukaya categories on an algebraic symplectic manifold (“Fukaya categories” of complex Lagrangians in complex symplectic ...
6 votes
0 answers
208 views

Does this pseudo-holomorphic triangle contribute to the product $\mu_2$ in Lagrangian Floer cohomology?

I'm computing the product map $$\mu_2 : CF(L_0,V)\otimes CF(V,L_1)\to CF(L_0,L_1)$$ in Seidel's exact triangle for this specific case: This is a genus 2 surface, and I color-coded the three (...
1 vote
0 answers
184 views

Structure maps of $\mathcal{A}_\infty$-bimodules

For Fukaya categories there are functors naturally induced by symplectomorphisms. Twisted versions of symplectic homology (fixed point Floer homology), open-closed maps and bimodules can be defined. ...
2 votes
1 answer
122 views

Bridgeland stability to Fukaya stability on elliptic curve; geometric proof of no slope decreasing homs

For a bridgeland stability condition $(P,Z)$ on $\mathcal{C}$ and $a > b$ we know that $Hom^0(A,B)=0$ for $A,B \in P(a), P(b)$ respectively. I would like to see the geometric incarnation of this ...
1 vote
0 answers
119 views

Seidel's calculation of the Floer cohomology of a cotangent fibre and its Dehn twist

I am reading Seidel's paper on exact Lagrangian submanifolds in $T^*S^n$ and the graded Kronecker quiver, and in Lemma 2 (2) he claims the following fact: if $F_0$ is a cotangent fibre and $F_1$ is $\...
3 votes
1 answer
307 views

Are all exact Lagrangian spheres, vanishing cycles?

Let $\pi: E \to D$ be an exact Lefschetz fibration with corners (fibers with boundary)over the disk. Fix a point $\theta \in \partial D$ and consider the fiber $F_\theta = \pi^{-1}(\theta)$ over that ...
1 vote
0 answers
241 views

Definition of Floer complex in Floer's "Morse theory for Lagrangian intersections"

I am moving the first steps into Lagrangian Floer theory and I am trying to understand the construction, as in the original paper, for the field $\mathbb{Z}_2$ (no orientations) and $\pi_2(P,L) = 0$. ...
34 votes
6 answers
5k views

Has anything precise been written about the Fukaya category and Lagrangian skeletons?

At some point in this past year, some Fukaya people I know got very excited about the Fukaya categories of symplectic manifolds with "Lagrangian skeletons." As I understand it, a Lagrangian ...
10 votes
2 answers
1k views

Fukaya categories of hyperkahler reductions: general request for information

I'd really like to hear any references or information people have about the Fukaya categories of hyperkahler reductions of vector spaces (for more informations on the varieties, see Nick Proudfoot's ...
2 votes
0 answers
163 views

Compactness of Moduli spaces in Lagrangian Floer Cohomology

I have been reading Denis Aurox lecture notes on Fukaya Categories https://arxiv.org/pdf/1301.7056.pdf , and in page $9$ he starts to discuss the compactness properties of the moduli spaces and how we ...
13 votes
3 answers
2k views

Geometric Langlands: From D-mod to Fukaya

This post is rather wordy and speculative, but I promise there is a concrete question embedded within. For experts, I'll open with a question: Question: Given a compact Riemann surface $X$, why ...
3 votes
0 answers
102 views

Continuation map interpolating two quadratic Hamiltonians with respect to different contact boundaries

Let $(M,\lambda)$ be a Liouville manifold. Consider two different contact boundaries $\partial_{\infty}^1M$ and $\partial_{\infty}^2M$ with respect to the same Liouville flow $Z$. Each of them ...
3 votes
0 answers
119 views

Organizing mirror pairs

At a maximally vague and naive level, mirror symmetry asks the following question: given a complex manifold $(X, I)$, is there a symplectic manifold $(M, \omega)$ and an equivalence between the ...
2 votes
0 answers
109 views

Augmentations of wrapped Floer cochains

Let $M$ be a closed, simply-connected spin manifold and let $F_b \subset T^*M$ be the cotangent fiber over a point $b \in M$. Let $CW^*(L,L)$ be the $A_{\infty}$-algebra of wrapped Floer cochains over ...
4 votes
2 answers
945 views

Generating Fukaya category vs split-generating Fukaya category

I just started learning about Fukaya categories and got slightly confused by the following question. It looks like the statement that a collection of objects generate Fukaya category is stronger than ...
4 votes
0 answers
228 views

Comparing different approaches to HMS for elliptic curves

I am trying to understand homological mirror symmetry for elliptic curves from the article of Zaslow-Polishchuk and from Section 6 of the article of Abouzaid and Smith on homological mirror symmetry ...
8 votes
3 answers
1k views

Meaning of A-infinity relations

I am learning A-infinity category with Fukaya category in mind, and would like to understand the meaning of A-infinity relations. In particular, as $N=1$, it means $dd=0$. As $N=2$, it means that $d$ ...
17 votes
2 answers
1k views

What is Known about the $K$-Theory of Fukaya Categories?

Some Background: In Kontsevich and Soibelman's theory of motivic DT-invariants, one is interested in something like the ``number'' of objects in a 3-Calabi-Yau category $\mathcal{C}$ having a fixed ...
4 votes
1 answer
337 views

Mirror symmetry for singular Lagrangian torus fibrations

Let $X$ be a closed symplectic manifold equipped with a smooth Lagrangian torus fibration $\pi:X \rightarrow Q$. Assume that $\pi$ admits a Lagrangian section. By work of Kontsevich-Soibelman, one can ...
9 votes
0 answers
629 views

Orlov equivalence between Fukaya categories

In his famous paper https://arxiv.org/abs/math/0503632, Orlov proves the following theorem (for simplicity, let's just focus on the Calabi-Yau case) Theorem(Orlov): Suppose that $W: \mathbb{A}^d \...
13 votes
1 answer
2k views

Wrapped Fukaya categories of Stein manifolds

By the work of Abouzaid, we know that the wrapped Fukaya category of $T^\ast Q$ with $Q$ a closed smooth manifold is generated by a cotangent fiber. Basically, this is an application of Abouzaid's ...
3 votes
0 answers
67 views

Reference Request: Central Curvature "Fix"

Context: In Lagrangian-Floer theory, the (an) $\mathbf{A}_\infty$-algebra of a Lagrangian is curved. However, the curvature is central. One consequence of this is that you can get an uncurved $\mathbf{...
10 votes
1 answer
650 views

The Fukaya category of a simple singularity (reference request)

I have heard that for an ADE singularity $f$, $ D^b\mathrm{Fuk}(f) \simeq D^b(\mathrm{Rep}\ Q)$ where $Q$ is the corresponding Dynkin quiver. (As one would hope, if $\mathrm{Fuk}$ is some kind of ...
6 votes
0 answers
184 views

Mirror of the autoequivalences of the derived category of del Pezzo surface?

One version of the homological mirror symmetry conjecture states that for every Fano variety $X$ there exists a Landau--Ginzburg model $W$ such that the category of B-branes on $X$ (i.e. the bounded ...
4 votes
1 answer
334 views

How to understand geometrically, the count of pseudoholomorphic discs by (multi)section perturbation of the kuranish structure on the moduli space?

When defining the $A_\infty$ algebra of a Lagrangian (as done in the book by FOOO) it is done by "counting" (integrating over the moduli space or over the fiber of evaluation map) pseudoholomorphic ...
18 votes
1 answer
1k views

Categorification of Floer homology

Floer homology associates a vector space $HF^\ast(L_1,L_2)$ to any pair of Lagrangian submanifolds $L_1,L_2$ inside a symplectic manifold $X$. By a categorification of Floer homology, I mean a ...
6 votes
0 answers
323 views

Is there any work on "super Fukaya categories"?

There is a well-established notion of "supermanifold", and in the world of supergeometry it makes sense to talk about symplectic structures. Actually, there are various kinds of symplectic structures:...
18 votes
0 answers
1k views

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

Let $(Y, \omega)$ be a compact symplectic manifold and let $Fuk(X,\omega)$ be its Fukaya category. The Hochschild cohomology of this category should be given by $HH^\bullet(Fuk(Y,\omega))=H^\bullet(Y, ...
3 votes
0 answers
256 views

Fully faithful embedding of the exact Fukaya category

Let $\mathscr{F}(X)$ be the exact Fukaya category of an exact symplectic manifold $(X^{2n},\omega)$, i.e. the objects in $\mathscr{F}(X)$ are all closed exact Lagrangian submanifolds with Maslov index ...
16 votes
2 answers
2k views

Deformation quantization and quantum cohomology (or Fukaya category) -- are they related?

Good afternoon. Let $M$ be, say, a compact symplectic manifold. Both deformation quantization (as in Kontsevich) and quantum cohomology yield "deformations" (in the appropriate respective senses) of "...
17 votes
2 answers
3k views

Comparison between Hamiltonian Floer cohomology and Lagrangian Floer cohomology of the diagonal

Let X be a compact symplectic manifold with a form $\omega$. And $X \times X$ is equipped with the symplectic form $(\omega,-\omega)$. The diagonal $\Delta:X \mapsto X \times X$ is a Lagrangian ...
15 votes
5 answers
2k views

How should I think about B-fields?

So, physicists like to attach a mysterious extra cohomology class in H^2(X;C^*) to a Kahler (or hyperkahler) manifold called a "B-field." The only concrete thing I've seen this B-field do is change ...
13 votes
2 answers
3k views

How to relate equivariant symplectic cohomology, Contact Homology, Cyclic Homology and String Topology?

I am trying to understand how all the players in the title relate, but with all the grading shifts,and difficult isomorphisms involved in the subject I am having a hard time being sure that I have the ...
9 votes
2 answers
2k views

Hochschild homology of Fukaya category in mirror symmetry

Hi Can one explain to me what is the Hochschild homology of Fukaya category? I mean the definition. You can use the notations of FOOO (Fukaya-Oh-Ono-Ohta) if it helps you to explain easier. I know ...
5 votes
2 answers
1k views

Generator of a Fukaya category with certain properties

There is an algebraic theory that I'm thinking of trying to develop and I wanted to know if it had any real world prevalence --- I'd like to know an example of a generator L of a Fukaya category on a ...
20 votes
1 answer
4k views

Hochschild (co)homology of Fukaya categories and (quantum) (co)homology

There is a conjecture of Kontsevich which states that Hochschild (co)homology of the Fukaya category of a compact symplectic manifold $X$ is the (co)homology of the manifold. (See page 18 of ...
11 votes
1 answer
2k views

"Fourier-Mukai" functors for Fukaya categories?

I just skimmed a bit of this fresh-off-the-press paper on homological mirror symmetry for general type varieties. One thing that intrigued me was statement (ii) of Conjecture 3.3. It suggests that, ...
9 votes
2 answers
2k views

Are Fukaya categories Calabi-Yau categories?

Let X be a compact symplectic manifold. There is an idea, I think probably originally due to Kontsevich, that we should be able to get Gromov-Witten invariants of X out of the Fukaya category of X. ...
25 votes
4 answers
7k views

Is the Fukaya category "defined"?

Sometimes people say that the Fukaya category is "not yet defined" in general. What is meant by such a statement? (If it simplifies things, let's just stick with Fukaya categories of compact ...