Peng Zhou

stream of notes

User Tools

Site Tools


blog:2023-03-30

This is an old revision of the document!


2023-03-30

  • Fukaya category of a singular space

Fukaya category of a singular space

Suppose you have a singular affine space Y0Y_0, as the unique fiber of some fibration W:YCW: Y \to \C, where the singularity is not so bad. There are two ways to define the Fukaya category of the singular space. We can either do Fuk(Y0)=Fuk(Y1)/vanishing cycle Fuk(Y_0) = Fuk(Y_1) / \text{vanishing cycle} Or we can do Fuk(Y0)=Fuk(Y×Cη,ηW) Fuk(Y_0) = Fuk(Y \times \C_\eta, \eta W)

Example Consider Y0={xy=0}Y_0 = \{xy=0\}, we know its mirror is C\{1}\C^* \RM \{1\}. One way to realize this is quotient $\Coh(\C^*) / \langle O_1 \rangle$, another way is to do Fuk(Cx,y,η3,ηxy)Fuk(\C^3_{x,y,\eta}, \eta xy).

The last approach might be a bit democratic.

Consider another example Consider Y0={x2+y2+z21=0}Y_0 = \{x^2+y^2+z^2 - 1 = 0\} (well it is not singular), still we can check Fuk(Y0)=Fuk(C4,η(x2+y2+z21)) Fuk(Y_0) = Fuk( \C^4, \eta( x^2+y^2+z^2 - 1) )

Now, Y0TS2Y_0 \cong T^*S^2, we know its Fukaya category, which is Loc(S2)Loc(S^2), somehow is C[x]\C[x]-mod, where x=1|x|=-1 (who know they can be of negative degree??). To test if my theory is correct, we compute the LG-model, we first compute what is Fuk((C)4,η(x2+y2+z21))Coh((C/Z2)3×C)Fuk( (\C^*)^4, \eta( x^2+y^2+z^2 - 1) ) \cong Coh((\C / \Z_2)^3 \times \C) Then, you partially compactify on the A-side, and turn on superpotentialon the B-side.

WB=z12+z22+z32+z1z2z3z4W_B = z_1^2 + z_2^2 + z_3^2 + z_1 z_2 z_3 z_4

If we considering WA=η(x+y+z1)W_A = \eta(x+y+z-1), so m1,,m4m_1, \cdots, m_4. They are basis of the MAM_A. we need to have n1,n2,n3,n4n_1, n_2, n_3, n_4 for compactification, so that we get

blog/2023-03-30.1680161965.txt.gz · Last modified: 2023/06/25 15:53 (external edit)