We consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by localizing the Fukaya category of a nearby fiber at Seidel's natural transformation, and show that this possesses several desirable properties. Firstly, we prove an A-side analog of Orlov's derived Kn├Г┬╢rrer periodicity theorem by showing that Auroux's category is derived equivalent to the Fukaya-Seidel category of a higher-dimensional Landau-Ginzburg model. Secondly, we describe how this definition implies homological mirror symmetry for some large complex structure limit degenerations of abelian varieties.
- рдкрддреНрд░ ID: 2012.09764
- рд╢реАрд░реНрд╖рдХ: Mirror symmetry and Fukaya categories of singular hypersurfaces
- рд▓реЗрдЦрдХ: Maxim Jeffs
- рд╡рд░реНрдЧреАрдХрд░рдг: math.SG (рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐), math.AG (рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐)
- рдкреНрд░рдХрд╛рд╢рди рд╕рдордп: 3 рдЬрдирд╡рд░реА 2025 (arXiv рд╕рдВрд╕реНрдХрд░рдг)
- рдкрддреНрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2012.09764
рдпрд╣ рдкрддреНрд░ Auroux рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрдареЛрдВ рдХреА Fukaya рд╢реНрд░реЗрдгреА рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕реЗ Seidel рдкреНрд░рд╛рдХреГрддрд┐рдХ рд░реВрдкрд╛рдВрддрд░рдг рдкрд░ рд╕реНрдерд╛рдиреАрдпрдХрд░рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдирд┐рдХрдЯ рддрдВрддреБрдУрдВ рдХреА Fukaya рд╢реНрд░реЗрдгреА рд╕реЗ рдирд┐рд░реНрдорд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рд▓реЗрдЦрдХ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдпрд╣ рдкрд░рд┐рднрд╛рд╖рд╛ рдХрдИ рдЖрджрд░реНрд╢ рдЧреБрдг рд░рдЦрддреА рд╣реИ: рдкрд╣рд▓реЗ, Orlov рд╡реНрдпреБрддреНрдкрдиреНрди Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп рдХрд╛ A-рдкрдХреНрд╖ рд╕рд╛рджреГрд╢реНрдп рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐ Auroux рд╢реНрд░реЗрдгреА рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Landau-Ginzburg рдореЙрдбрд▓ рдХреА Fukaya-Seidel рд╢реНрд░реЗрдгреА рдХреЗ рд╕рд╛рде рд╡реНрдпреБрддреНрдкрдиреНрди рд╕рдорддреБрд▓реНрдп рд╣реИ; рджреВрд╕рд░рд╛, рдпрд╣ рд╡рд░реНрдгрди рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдпрд╣ рдкрд░рд┐рднрд╛рд╖рд╛ рдХреБрдЫ рдПрдмреЗрд▓рд┐рдпрди рдХрд┐рд╕реНрдореЛрдВ рдХреЗ рдмрдбрд╝реЗ рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛ рд╕реАрдорд╛ рдЕрдкрдШрдЯрди рдХреЗ рд▓рд┐рдП рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреЛ рдХреИрд╕реЗ рдирд┐рд╣рд┐рдд рдХрд░рддреА рд╣реИред
рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ (HMS) рдореМрд▓рд┐рдХ рд╕реНрддрд░ рдкрд░ рдЕрдиреБрдорд╛рди рд▓рдЧрд╛рддреА рд╣реИ рдХрд┐ K├дhler рдмрд╣реБрд╡рд┐рдз Y рдХреА Fukaya рд╢реНрд░реЗрдгреА рдФрд░ рдЗрд╕рдХреЗ 'рджрд░реНрдкрдг' K├дhler рдмрд╣реБрд╡рд┐рдз Y╠М рдХреА рд╕реБрд╕рдВрдЧрдд рд╢реАрдл рд╢реНрд░реЗрдгреА рдХреЗ рдмреАрдЪ рд╕рдВрдмрдВрдз рд╣реИред рд╣рд╛рд▓рд╛рдВрдХрд┐, рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреЗ рдХрдИ рдкреНрд░рд╛рдХреГрддрд┐рдХ рдЙрджрд╛рд╣рд░рдгреЛрдВ рдореЗрдВ (рдЬреИрд╕реЗ рдЬрдм Y рдЧреИрд░-рд╕рдШрди рд╣реЛ), рдЖрдВрддрд░рд┐рдХ рджрд░реНрдкрдг Y╠М рдЖрдорддреМрд░ рдкрд░ рдПрдХрд╡рдЪрди рдХрд┐рд╕реНрдо рд╣реЛрддреА рд╣реИ, рдФрд░ рдПрдХрд╡рдЪрди рд╕реНрдерд┐рддрд┐ рдореЗрдВ Fukaya рд╢реНрд░реЗрдгреА рдХреА рд╕рд┐рджреНрдзрд╛рдВрдд-рдЖрдзрд╛рд░рд┐рдд рдкрд░рд┐рднрд╛рд╖рд╛ рдХреА рдХрдореА рд╣реЛрддреА рд╣реИред
- рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдкреИрдВрдЯ рдЬреЛрдбрд╝реА рдХреА рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛: рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЙрджрд╛рд╣рд░рдгреЛрдВ рдореЗрдВ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдкреИрдВрдЯ рдЬреЛрдбрд╝реА ╬аn = {xтВБ + тЛп + xтВЩтВКтВБ + 1 = 0} тКЖ (тДВ*)^(n+1) рд╢рд╛рдорд┐рд▓ рд╣реИ, рдЬрд┐рд╕рдХрд╛ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд░реВрдк рд╕реЗ рдирд┐рд░реНрдорд┐рдд рджрд░реНрдкрдг рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрда {zтВБтЛпzтВЩтВКтВБ = 0} тКЖ тДВ^(n+1) рджреНрд╡рд╛рд░рд╛ рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
- рджреНрд╡рд┐рджрд┐рд╢реАрдп рдЖрд╡рд╢реНрдпрдХрддрд╛: рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреА рдореБрдЦреНрдп рдЖрд╡рд╢реНрдпрдХрддрд╛рдУрдВ рдореЗрдВ рд╕реЗ рдПрдХ рдпрд╣ рд╣реИ рдХрд┐ рджрд░реНрдкрдг рдХрд╛ рджрд░реНрдкрдг рдореВрд▓ K├дhler рдмрд╣реБрд╡рд┐рдз рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рдЕрд░реНрдерд╛рдд HMS рджреЛрдиреЛрдВ рджрд┐рд╢рд╛рдУрдВ рдореЗрдВ рд▓рд╛рдЧреВ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдПред
- рдЪрд┐рдкрдХрд╛рдиреЗ рддрдХрдиреАрдХ рдХреА рдиреАрдВрд╡: рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдХреА рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдореЗрдВ рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреЛ рд╕рдордЭрдирд╛ HMS рдХреЛ рд╕рд┐рджреНрдз рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЪрд┐рдкрдХрд╛рдиреЗ рддрдХрдиреАрдХ рдкрд░ рдирд┐рд░реНрднрд░ рд╡рд┐рдзрд┐рдпреЛрдВ рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИред
рд╣рд╛рд▓рд╛рдВрдХрд┐ рдЪрд┐рдХрдиреА K├дhler рдмрд╣реБрд╡рд┐рдз рдХреА рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреЛ рд╕рдордЭрдиреЗ рдореЗрдВ рд╡рд┐рд╢рд╛рд▓ рдкреНрд░рдЧрддрд┐ рд╣реБрдИ рд╣реИ, рд▓реЗрдХрд┐рди рдХрдХреНрд╖реАрдп рд╕реНрдерд┐рддрд┐ рдХреЛ рдЫреЛрдбрд╝рдХрд░, рдПрдХрд╡рдЪрди рдХрд┐рд╕реНрдореЛрдВ рдХреЗ A-рдореЙрдбрд▓ рдХреА рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдкрд░ рдмрд╣реБрдд рдХрдо рдЕрдиреБрд╕рдВрдзрд╛рди рд╣реИред
- Auroux рдкрд░рд┐рднрд╛рд╖рд╛ рдХрд╛ рд╕рддреНрдпрд╛рдкрди: рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ Auroux рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрда Fukaya рд╢реНрд░реЗрдгреА рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рд╕рд╣реА рдкрд░рд┐рднрд╛рд╖рд╛ рд╣реИред
- рд╡реНрдпреБрддреНрдкрдиреНрди Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп: Orlov рд╡реНрдпреБрддреНрдкрдиреНрди Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп рдХрд╛ A-рдкрдХреНрд╖ рд╕рд╛рджреГрд╢реНрдп рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ (рдкреНрд░рдореЗрдп 1)ред
- рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рд╕рдорддреБрд▓реНрдпрддрд╛: рдмрдбрд╝реА рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛ рд╕реАрдорд╛ рдХреЗ рддрд╣рдд рдХрдИ рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рд╕рдорддреБрд▓реНрдпрддрд╛рдПрдВ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ (рдкреНрд░рдореЗрдп 2 рдФрд░ 3)ред
- рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪреЗ рдХрд╛ рд╡рд┐рд╕реНрддрд╛рд░: рдкрд░рд┐рднрд╛рд╖рд╛ рдХреЛ рдПрдХрд╡рдЪрди рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджреЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдЕрдиреБрдорд╛рди рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд░рддрд╛ рд╣реИред
рдПрдХрд▓ рдПрдХрд╡рдЪрди рддрдВрддреБ рд╡рд╛рд▓реЗ рдПрдХрд╡рдЪрди рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рддрдВрддреБ f : X тЖТ тДВ рдХреЗ рд▓рд┐рдП, Seidel рдиреЗ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд░реВрдкрд╛рдВрддрд░рдг s : ╬╝ тЖТ id рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛, рдЬрд╣рд╛рдБ ╬╝ рд╕рд╛рдорд╛рдиреНрдп рддрдВрддреБ рдХреА wrapped Fukaya рд╢реНрд░реЗрдгреА W(fтБ╗┬╣(t)) рдкрд░ рдХрд╛рд░реНрдп рдХрд░рдиреЗ рд╡рд╛рд▓реА рджрдХреНрд╖рд┐рдгрд╛рд╡рд░реНрдд рдореЛрдиреЛрдбреНрд░реЛрдореА рдлрдВрдХреНрдЯрд░ рд╣реИред
рдкрд░рд┐рднрд╛рд╖рд╛ 1 (Auroux): рдПрдХрд╡рдЪрди рддрдВрддреБ fтБ╗┬╣(0) рдХреА wrapped Fukaya рд╢реНрд░реЗрдгреА рдХреЛ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд░реВрдкрд╛рдВрддрд░рдг s : ╬╝ тЖТ id рдкрд░ рдирд┐рдХрдЯ рддрдВрддреБ fтБ╗┬╣(t) рдХреА wrapped Fukaya рд╢реНрд░реЗрдгреА рдХреЗ рд╕реНрдерд╛рдиреАрдпрдХрд░рдг рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ:
DW(fтБ╗┬╣(0)) = DW(fтБ╗┬╣(t))sтБ╗┬╣
рдкреНрд░рдореЗрдп 1 (рд╡реНрдпреБрддреНрдкрдиреНрди Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛): рдорд╛рди рд▓реАрдЬрд┐рдП X рдПрдХ рдЪрд┐рдХрдиреА affine рдХрд┐рд╕реНрдо рд╣реИ, рдЬрд┐рд╕рдореЗрдВ X тЖТ тДВс┤║ рдореЗрдВ рдПрдореНрдмреЗрдбрд┐рдВрдЧ рд╕реЗ рдкреНрд░реЗрд░рд┐рдд Stein рд╕рдВрд░рдЪрдирд╛ рд╣реИ, f : X тЖТ тДВ тДВс┤║ рдкрд░ рдмрд╣реБрдкрдж рдлрд▓рди рдХрд╛ рдкреНрд░рддрд┐рдмрдВрдз рд╣реИред рдпрджрд┐ f рдХрд╛ рдПрдХрд▓ рдорд╣рддреНрд╡рдкреВрд░реНрдг рддрдВрддреБ fтБ╗┬╣(0) рд╣реИ, рддреЛ рдкрд░реНрдпрд╛рдкреНрдд рд░реВрдк рд╕реЗ рдЫреЛрдЯреЗ t тЙа 0 рдХреЗ рд▓рд┐рдП AтИЮ-рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдХрд╛ рдЕрд░реНрдз-рд╕рдорддреБрд▓реНрдпрддрд╛ рдореМрдЬреВрдж рд╣реИ:
Dс╡ЦW(fтБ╗┬╣(t))sтБ╗┬╣ тЖТ Dс╡ЦW(X ├Ч тДВ, zf)
- Cap рдФрд░ Cup рдлрдВрдХреНрдЯрд░: рдЬреНрдпрд╛рдорд┐рддреАрдп рд░реВрдк рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд cap рдлрдВрдХреНрдЯрд░ тИй рдФрд░ cup рдлрдВрдХреНрдЯрд░ тИк рдХрд╛ рдкрд░рд┐рдЪрдп рджреЗрддрд╛ рд╣реИ, Seidel рдкреНрд░рд╛рдХреГрддрд┐рдХ рд░реВрдкрд╛рдВрддрд░рдг рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИред
- AAK рд╕рдорддреБрд▓реНрдпрддрд╛ рдХрд╛ рдЙрдиреНрдирдпрди: Abouzaid-Auroux-Katzarkov рд╕рдорддреБрд▓реНрдпрддрд╛ рдХреЗ рдЙрдиреНрдирдд рд░реВрдк рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ (рдкреНрд░рдореЗрдп 4)ред
- рд╕реНрдЯреЙрдк рд╣рдЯрд╛рдиреЗ рдХреА рддрдХрдиреАрдХ: t рдкрд░рд┐рд╡рд░реНрддрди рдХреЗ рд╕рдордп рд╕рд╛рдорд╛рдиреНрдп рддрдВрддреБ рдХреА Liouville рдЬреНрдпрд╛рдорд┐рддрд┐ рдХрд╛ рд╕рд╛рд╡рдзрд╛рдиреАрдкреВрд░реНрд╡рдХ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХрд░рдХреЗ, (X ├Ч тДВ, z(f - t)) рд╕реЗ (X ├Ч тДВ, zf) рддрдХ рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХреЛ рд╕реНрдЯреЙрдк рд╣рдЯрд╛рдиреЗ рдХреЗ рд░реВрдк рдореЗрдВ рдкреБрдирдГ рддреИрдпрд╛рд░ рдХрд░рддрд╛ рд╣реИред
рдЙрджрд╛рд╣рд░рдг 1: рдорд╛рдирдХ Lefschetz рддрдВрддреБ
X = тДВ┬▓ рдФрд░ f = xy рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ, рдиреЛрдбрд▓ рджреНрд╡рд┐рдШрд╛рдд рд╡рдХреНрд░ W({xy = 0}) рдХреА Fukaya рд╢реНрд░реЗрдгреА рдХреА рд╕реАрдзреА рдЧрдгрдирд╛ рдХрд░реЗрдВред рд▓реЗрдореНрдорд╛ 3 рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдХреЗрд╡рд▓ W({xy = t}) рдХреЛ тИй рдХреА рдЫрд╡рд┐ рд╕реЗ рднрд╛рдЧ рджреЗрдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред
рдЙрджрд╛рд╣рд░рдг 2: рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рд╕реНрдерд┐рддрд┐
рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдХреЗ Tate рдкрд░рд┐рд╡рд╛рд░ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ, рдЬрд╣рд╛рдБ fтБ╗┬╣(0) рдПрдХрд▓ рдиреЛрдб рд╡рд╛рд▓рд╛ рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рд╣реИред рдЬреНрдЮрд╛рдд рджрд░реНрдкрдг рд╕рдорддреБрд▓реНрдпрддрд╛ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рдиреЛрдбрд▓ рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдХреА wrapped Fukaya рд╢реНрд░реЗрдгреА рдФрд░ рдПрдХрд▓ рдЫрд┐рджреНрд░рд┐рдд рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдХреА рд╕реБрд╕рдВрдЧрдд рд╢реАрдл рд╡реНрдпреБрддреНрдкрдиреНрди рд╢реНрд░реЗрдгреА рдХреЗ рдмреАрдЪ рджрд░реНрдкрдг рд╕рдорддреБрд▓реНрдпрддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИред
- рд╢реНрд░реЗрдгреА рд╕рдорддреБрд▓реНрдпрддрд╛ рдХреА рдХрдареЛрд░рддрд╛
- рдЬреНрдЮрд╛рдд рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдЧрддрд┐
- рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрдЬреНрдЮрд╛рди рдХрд╛ рдЕрдиреБрдкрд╛рд▓рди
- рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдкреИрдВрдЯ рдЬреЛрдбрд╝реА рд╕реНрдерд┐рддрд┐: Landau-Ginzburg рдореЙрдбрд▓ (тДВтБ┐тБ║┬╣, WтВЩ = zтВБтЛпzтВЩтВКтВБ) рдХреЗ рд▓рд┐рдП, рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ:
Dс╡ЦW(WтВЩтБ╗┬╣(0)) тЙГ Dс╡ЦW(тДВтБ┐тБ║┬▓, zтВБтЛпzтВЩтВКтВВ) тЙГ Dс╡З Coh(╬атВЩ)
- рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдХрд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг: n рдЫрд┐рджреНрд░реЛрдВ рдФрд░ m рдиреЛрдбреНрд╕ рд╡рд╛рд▓реЗ рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдФрд░ m рдЫрд┐рджреНрд░реЛрдВ рдФрд░ n рдиреЛрдбреНрд╕ рд╡рд╛рд▓реЗ рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдХреЗ рдмреАрдЪ рджрд░реНрдкрдг рд╡реНрдпреБрддреНрдкрдиреНрди рд╕рдорддреБрд▓реНрдпрддрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИред
Orlov рдХреЗ B-рдкрдХреНрд╖ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рд╕рд╛рде рддреБрд▓рдирд╛ рдХрд░рдХреЗ, A-рдкрдХреНрд╖ Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдХреА рд╕рд╣реАреНрддрд╛ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ, рд╡рд┐рдзрд┐ рдХреА рдкреНрд░рднрд╛рд╡рд╢реАрд▓рддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИред
- Fukaya рд╢реНрд░реЗрдгреА рд╕рд┐рджреНрдзрд╛рдВрдд: Seidel, Abouzaid рдЖрджрд┐ рдХрд╛ рдХрд╛рд░реНрдп
- рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛: Kontsevich рдХрд╛ рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдЕрдиреБрдорд╛рди
- Landau-Ginzburg рдореЙрдбрд▓: Orlov рдХреА Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп
- рдПрдХрд╡рдЪрдирддрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд: рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдЕрдиреБрдкреНрд░рдпреЛрдЧ
рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп рдХреА рддреБрд▓рдирд╛ рдореЗрдВ, рдпрд╣ рдкрддреНрд░ рдкрд╣рд▓реА рдмрд╛рд░ рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрда Fukaya рд╢реНрд░реЗрдгреА рдХреА рдХрдареЛрд░ рдкрд░рд┐рднрд╛рд╖рд╛ рджреЗрддрд╛ рд╣реИ рдФрд░ рдЪрд┐рдХрдиреА рд╕реНрдерд┐рддрд┐ рдХреЗ рд╕рд╛рде рдЗрд╕рдХреА рд╕рдВрдЧрддрд┐ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИред
- Auroux рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрда Fukaya рд╢реНрд░реЗрдгреА рдХреА рд╕рд╣реА рдкрд░рд┐рднрд╛рд╖рд╛ рджреЗрддреА рд╣реИ
- рд╡реНрдпреБрддреНрдкрдиреНрди Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ A-рдкрдХреНрд╖ рдкрд░ рдорд╛рдиреНрдп рд╣реИ
- рдмрдбрд╝реА рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛ рд╕реАрдорд╛ рдХреА рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рд╕рддреНрдпрд╛рдкрд┐рдд рд╣реЛрддреА рд╣реИ
- рдЬреНрдпрд╛рдорд┐рддреАрдп рдзрд╛рд░рдгрд╛рдПрдВ рд╕рдВрднрд╡рддрдГ рдЕрддреНрдпрдзрд┐рдХ рдордЬрдмреВрдд рд╣реИрдВ, рд╣рд╛рд▓рд╛рдВрдХрд┐ рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреЗ рд▓рд┐рдП рдкрд░реНрдпрд╛рдкреНрдд рд╣реИрдВ
- рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдорд╛рдиреНрдп рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП idempotent рдкреВрд░реНрдгрддрд╛ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ
- рдПрдХрд╡рдЪрди рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджреЛрдВ рдХреЗ рд▓рд┐рдП рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдЕрднреА рднреА рдЕрдиреБрдорд╛рди рд╣реИ
- рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдПрдХрд╡рдЪрди рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджреЛрдВ рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд░рдирд╛
- рдЖрдВрддрд░рд┐рдХ рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐рдпрд╛рдВ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдирд╛, рдЪрд┐рдХрдиреАрдХрд░рдг рдкрд░ рдирд┐рд░реНрднрд░рддрд╛ рд╕реЗ рдмрдЪрдирд╛
- log рд╕рдВрд░рдЪрдирд╛ рдФрд░ рд╡рд┐рд╕реНрдлреЛрдЯ рдмрд╣реБрд╡рд┐рдз рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз
- рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдХрдареЛрд░рддрд╛: рдПрдХрд╡рдЪрди рд╕реНрдерд┐рддрд┐ рдореЗрдВ Fukaya рд╢реНрд░реЗрдгреА рдХреА рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкрд░рд┐рднрд╛рд╖рд╛ рджреЗрддрд╛ рд╣реИ
- рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрдЬреНрдЮрд╛рди: рдкрд░рд┐рднрд╛рд╖рд╛ рд╕реНрдкрд╖реНрдЯ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡реНрдпрд╛рдЦреНрдпрд╛ рдФрд░ рдкреНрд░реЗрд░рдгрд╛ рд░рдЦрддреА рд╣реИ
- рд╡реНрдпрд╛рдкрдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ: рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдирдИ рджрд┐рд╢рд╛рдПрдВ рдЦреЛрд▓рддрд╛ рд╣реИ
- рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░: рдПрдХрд╡рдЪрдирддрд╛ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдирдИ рддрдХрдиреАрдХреЗрдВ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рддрд╛ рд╣реИ
- рддрдХрдиреАрдХреА рдЬрдЯрд┐рд▓рддрд╛: рдкреНрд░рдорд╛рдг рдореЗрдВ рдмрдбрд╝реА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рддрдХрдиреАрдХреА рд╡рд┐рд╡рд░рдг рд╢рд╛рдорд┐рд▓ рд╣реИрдВ, рдЬреЛ рдкрдардиреАрдпрддрд╛ рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ
- рдзрд╛рд░рдгрд╛ рд╢рд░реНрддреЗрдВ: рдХреБрдЫ рдЬреНрдпрд╛рдорд┐рддреАрдп рдзрд╛рд░рдгрд╛рдПрдВ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рд╕рд╛рдорд╛рдиреНрдпрддрд╛ рдХреЛ рд╕реАрдорд┐рдд рдХрд░ рд╕рдХрддреА рд╣реИрдВ
- рдЧрдгрдирд╛ рдЬрдЯрд┐рд▓рддрд╛: рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЧрдгрдирд╛ рдЕрднреА рднреА рдЪреБрдиреМрддреАрдкреВрд░реНрдг рд╣реИ
рдпрд╣ рдХрд╛рд░реНрдп рдПрдХрд╡рдЪрди рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЖрдзрд╛рд░ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ, рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдФрд░ Fukaya рд╢реНрд░реЗрдгреА рд╕рд┐рджреНрдзрд╛рдВрдд рдкрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдкреНрд░рднрд╛рд╡ рдбрд╛рд▓рдиреЗ рдХреА рдЕрдкреЗрдХреНрд╖рд╛ рдХреА рдЬрд╛рддреА рд╣реИред
- рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрдареЛрдВ рдХреА рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐ рдЕрдиреБрд╕рдВрдзрд╛рди
- рдмрдбрд╝реА рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛ рд╕реАрдорд╛ рдХреА рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛
- Landau-Ginzburg рдореЙрдбрд▓ рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг
рдкрддреНрд░ рдЗрд╕ рдХреНрд╖реЗрддреНрд░ рдХреЗ рдореВрд▓ рд╕рд╛рд╣рд┐рддреНрдп рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:
- Fukaya рд╢реНрд░реЗрдгреА рдкрд░ Seidel рдХрд╛ рдореМрд▓рд┐рдХ рдХрд╛рд░реНрдп
- Orlov рдХреА Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп
- рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдкрд░ Abouzaid-Auroux рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
- toric рдЕрдкрдШрдЯрди рдкрд░ Gross-Siebert рдХрд╛ рдХрд╛рд░реНрдп
рд╕рдордЧреНрд░ рдореВрд▓реНрдпрд╛рдВрдХрди: рдпрд╣ рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐ рдФрд░ рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди рд╡рд╛рд▓рд╛ рдПрдХ рдЙрдЪреНрдЪ рдЧреБрдгрд╡рддреНрддрд╛ рд╡рд╛рд▓рд╛ рдкрддреНрд░ рд╣реИ, рдЬреЛ рдПрдХрд╡рдЪрди рд╕реНрдерд┐рддрд┐ рдореЗрдВ Fukaya рд╢реНрд░реЗрдгреА рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдареЛрд╕ рдЧрдгрд┐рддреАрдп рдЖрдзрд╛рд░ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред