2025-11-21T14:52:14.902980

Mirror symmetry and Fukaya categories of singular hypersurfaces

Jeffs
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.
academic

рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдФрд░ рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрдареЛрдВ рдХреА Fukaya рд╢реНрд░реЗрдгрд┐рдпрд╛рдБ

рдореВрд▓ рдЬрд╛рдирдХрд╛рд░реА

  • рдкрддреНрд░ 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 рд╢реНрд░реЗрдгреА рдХреА рд╕рд┐рджреНрдзрд╛рдВрдд-рдЖрдзрд╛рд░рд┐рдд рдкрд░рд┐рднрд╛рд╖рд╛ рдХреА рдХрдореА рд╣реЛрддреА рд╣реИред

рдорд╣рддреНрд╡

  1. рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдкреИрдВрдЯ рдЬреЛрдбрд╝реА рдХреА рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛: рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЙрджрд╛рд╣рд░рдгреЛрдВ рдореЗрдВ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдкреИрдВрдЯ рдЬреЛрдбрд╝реА ╬аn = {xтВБ + тЛп + xтВЩтВКтВБ + 1 = 0} тКЖ (тДВ*)^(n+1) рд╢рд╛рдорд┐рд▓ рд╣реИ, рдЬрд┐рд╕рдХрд╛ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд░реВрдк рд╕реЗ рдирд┐рд░реНрдорд┐рдд рджрд░реНрдкрдг рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрда {zтВБтЛпzтВЩтВКтВБ = 0} тКЖ тДВ^(n+1) рджреНрд╡рд╛рд░рд╛ рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
  2. рджреНрд╡рд┐рджрд┐рд╢реАрдп рдЖрд╡рд╢реНрдпрдХрддрд╛: рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреА рдореБрдЦреНрдп рдЖрд╡рд╢реНрдпрдХрддрд╛рдУрдВ рдореЗрдВ рд╕реЗ рдПрдХ рдпрд╣ рд╣реИ рдХрд┐ рджрд░реНрдкрдг рдХрд╛ рджрд░реНрдкрдг рдореВрд▓ K├дhler рдмрд╣реБрд╡рд┐рдз рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рдЕрд░реНрдерд╛рдд HMS рджреЛрдиреЛрдВ рджрд┐рд╢рд╛рдУрдВ рдореЗрдВ рд▓рд╛рдЧреВ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдПред
  3. рдЪрд┐рдкрдХрд╛рдиреЗ рддрдХрдиреАрдХ рдХреА рдиреАрдВрд╡: рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдХреА рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдореЗрдВ рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреЛ рд╕рдордЭрдирд╛ HMS рдХреЛ рд╕рд┐рджреНрдз рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЪрд┐рдкрдХрд╛рдиреЗ рддрдХрдиреАрдХ рдкрд░ рдирд┐рд░реНрднрд░ рд╡рд┐рдзрд┐рдпреЛрдВ рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИред

рдореМрдЬреВрджрд╛ рд╡рд┐рдзрд┐ рдХреА рд╕реАрдорд╛рдПрдВ

рд╣рд╛рд▓рд╛рдВрдХрд┐ рдЪрд┐рдХрдиреА K├дhler рдмрд╣реБрд╡рд┐рдз рдХреА рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреЛ рд╕рдордЭрдиреЗ рдореЗрдВ рд╡рд┐рд╢рд╛рд▓ рдкреНрд░рдЧрддрд┐ рд╣реБрдИ рд╣реИ, рд▓реЗрдХрд┐рди рдХрдХреНрд╖реАрдп рд╕реНрдерд┐рддрд┐ рдХреЛ рдЫреЛрдбрд╝рдХрд░, рдПрдХрд╡рдЪрди рдХрд┐рд╕реНрдореЛрдВ рдХреЗ A-рдореЙрдбрд▓ рдХреА рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдкрд░ рдмрд╣реБрдд рдХрдо рдЕрдиреБрд╕рдВрдзрд╛рди рд╣реИред

рдореВрд▓ рдпреЛрдЧрджрд╛рди

  1. Auroux рдкрд░рд┐рднрд╛рд╖рд╛ рдХрд╛ рд╕рддреНрдпрд╛рдкрди: рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ Auroux рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрда Fukaya рд╢реНрд░реЗрдгреА рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рд╕рд╣реА рдкрд░рд┐рднрд╛рд╖рд╛ рд╣реИред
  2. рд╡реНрдпреБрддреНрдкрдиреНрди Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп: Orlov рд╡реНрдпреБрддреНрдкрдиреНрди Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп рдХрд╛ A-рдкрдХреНрд╖ рд╕рд╛рджреГрд╢реНрдп рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ (рдкреНрд░рдореЗрдп 1)ред
  3. рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рд╕рдорддреБрд▓реНрдпрддрд╛: рдмрдбрд╝реА рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛ рд╕реАрдорд╛ рдХреЗ рддрд╣рдд рдХрдИ рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рд╕рдорддреБрд▓реНрдпрддрд╛рдПрдВ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ (рдкреНрд░рдореЗрдп 2 рдФрд░ 3)ред
  4. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪреЗ рдХрд╛ рд╡рд┐рд╕реНрддрд╛рд░: рдкрд░рд┐рднрд╛рд╖рд╛ рдХреЛ рдПрдХрд╡рдЪрди рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджреЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдЕрдиреБрдорд╛рди рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд░рддрд╛ рд╣реИред

рд╡рд┐рдзрд┐ рд╡рд┐рд╡рд░рдг

Auroux рдкрд░рд┐рднрд╛рд╖рд╛

рдПрдХрд▓ рдПрдХрд╡рдЪрди рддрдВрддреБ рд╡рд╛рд▓реЗ рдПрдХрд╡рдЪрди рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рддрдВрддреБ 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)

рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░ рдмрд┐рдВрджреБ

  1. Cap рдФрд░ Cup рдлрдВрдХреНрдЯрд░: рдЬреНрдпрд╛рдорд┐рддреАрдп рд░реВрдк рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд cap рдлрдВрдХреНрдЯрд░ тИй рдФрд░ cup рдлрдВрдХреНрдЯрд░ тИк рдХрд╛ рдкрд░рд┐рдЪрдп рджреЗрддрд╛ рд╣реИ, Seidel рдкреНрд░рд╛рдХреГрддрд┐рдХ рд░реВрдкрд╛рдВрддрд░рдг рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИред
  2. AAK рд╕рдорддреБрд▓реНрдпрддрд╛ рдХрд╛ рдЙрдиреНрдирдпрди: Abouzaid-Auroux-Katzarkov рд╕рдорддреБрд▓реНрдпрддрд╛ рдХреЗ рдЙрдиреНрдирдд рд░реВрдк рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ (рдкреНрд░рдореЗрдп 4)ред
  3. рд╕реНрдЯреЙрдк рд╣рдЯрд╛рдиреЗ рдХреА рддрдХрдиреАрдХ: 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 рд╢реНрд░реЗрдгреА рдФрд░ рдПрдХрд▓ рдЫрд┐рджреНрд░рд┐рдд рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдХреА рд╕реБрд╕рдВрдЧрдд рд╢реАрдл рд╡реНрдпреБрддреНрдкрдиреНрди рд╢реНрд░реЗрдгреА рдХреЗ рдмреАрдЪ рджрд░реНрдкрдг рд╕рдорддреБрд▓реНрдпрддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИред

рдореВрд▓реНрдпрд╛рдВрдХрди рдорд╛рдирджрдВрдб

  • рд╢реНрд░реЗрдгреА рд╕рдорддреБрд▓реНрдпрддрд╛ рдХреА рдХрдареЛрд░рддрд╛
  • рдЬреНрдЮрд╛рдд рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдЧрддрд┐
  • рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрдЬреНрдЮрд╛рди рдХрд╛ рдЕрдиреБрдкрд╛рд▓рди

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рдкрд░рд┐рдгрд╛рдо

рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо рд╕рддреНрдпрд╛рдкрди

  1. рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдкреИрдВрдЯ рдЬреЛрдбрд╝реА рд╕реНрдерд┐рддрд┐: Landau-Ginzburg рдореЙрдбрд▓ (тДВтБ┐тБ║┬╣, WтВЩ = zтВБтЛпzтВЩтВКтВБ) рдХреЗ рд▓рд┐рдП, рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ: Dс╡ЦW(WтВЩтБ╗┬╣(0)) тЙГ Dс╡ЦW(тДВтБ┐тБ║┬▓, zтВБтЛпzтВЩтВКтВВ) тЙГ Dс╡З Coh(╬атВЩ)
  2. рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдХрд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг: n рдЫрд┐рджреНрд░реЛрдВ рдФрд░ m рдиреЛрдбреНрд╕ рд╡рд╛рд▓реЗ рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдФрд░ m рдЫрд┐рджреНрд░реЛрдВ рдФрд░ n рдиреЛрдбреНрд╕ рд╡рд╛рд▓реЗ рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рдХреЗ рдмреАрдЪ рджрд░реНрдкрдг рд╡реНрдпреБрддреНрдкрдиреНрди рд╕рдорддреБрд▓реНрдпрддрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИред

рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕рддреНрдпрд╛рдкрди

Orlov рдХреЗ B-рдкрдХреНрд╖ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рд╕рд╛рде рддреБрд▓рдирд╛ рдХрд░рдХреЗ, A-рдкрдХреНрд╖ Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдХреА рд╕рд╣реАреНрддрд╛ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ, рд╡рд┐рдзрд┐ рдХреА рдкреНрд░рднрд╛рд╡рд╢реАрд▓рддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИред

рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп

рдореБрдЦреНрдп рдЕрдиреБрд╕рдВрдзрд╛рди рджрд┐рд╢рд╛рдПрдВ

  1. Fukaya рд╢реНрд░реЗрдгреА рд╕рд┐рджреНрдзрд╛рдВрдд: Seidel, Abouzaid рдЖрджрд┐ рдХрд╛ рдХрд╛рд░реНрдп
  2. рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛: Kontsevich рдХрд╛ рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдЕрдиреБрдорд╛рди
  3. Landau-Ginzburg рдореЙрдбрд▓: Orlov рдХреА Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп
  4. рдПрдХрд╡рдЪрдирддрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд: рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдЕрдиреБрдкреНрд░рдпреЛрдЧ

рдЗрд╕ рдкрддреНрд░ рдХрд╛ рдирд╡рд╛рдЪрд╛рд░

рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп рдХреА рддреБрд▓рдирд╛ рдореЗрдВ, рдпрд╣ рдкрддреНрд░ рдкрд╣рд▓реА рдмрд╛рд░ рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрда Fukaya рд╢реНрд░реЗрдгреА рдХреА рдХрдареЛрд░ рдкрд░рд┐рднрд╛рд╖рд╛ рджреЗрддрд╛ рд╣реИ рдФрд░ рдЪрд┐рдХрдиреА рд╕реНрдерд┐рддрд┐ рдХреЗ рд╕рд╛рде рдЗрд╕рдХреА рд╕рдВрдЧрддрд┐ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИред

рдирд┐рд╖реНрдХрд░реНрд╖ рдФрд░ рдЪрд░реНрдЪрд╛

рдореБрдЦреНрдп рдирд┐рд╖реНрдХрд░реНрд╖

  1. Auroux рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрда Fukaya рд╢реНрд░реЗрдгреА рдХреА рд╕рд╣реА рдкрд░рд┐рднрд╛рд╖рд╛ рджреЗрддреА рд╣реИ
  2. рд╡реНрдпреБрддреНрдкрдиреНрди Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ A-рдкрдХреНрд╖ рдкрд░ рдорд╛рдиреНрдп рд╣реИ
  3. рдмрдбрд╝реА рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛ рд╕реАрдорд╛ рдХреА рд╕рд╣рд╕рдВрдЧрдд рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рд╕рддреНрдпрд╛рдкрд┐рдд рд╣реЛрддреА рд╣реИ

рд╕реАрдорд╛рдПрдВ

  1. рдЬреНрдпрд╛рдорд┐рддреАрдп рдзрд╛рд░рдгрд╛рдПрдВ рд╕рдВрднрд╡рддрдГ рдЕрддреНрдпрдзрд┐рдХ рдордЬрдмреВрдд рд╣реИрдВ, рд╣рд╛рд▓рд╛рдВрдХрд┐ рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреЗ рд▓рд┐рдП рдкрд░реНрдпрд╛рдкреНрдд рд╣реИрдВ
  2. рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдорд╛рдиреНрдп рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП idempotent рдкреВрд░реНрдгрддрд╛ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ
  3. рдПрдХрд╡рдЪрди рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджреЛрдВ рдХреЗ рд▓рд┐рдП рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдЕрднреА рднреА рдЕрдиреБрдорд╛рди рд╣реИ

рднрд╡рд┐рд╖реНрдп рдХреА рджрд┐рд╢рд╛рдПрдВ

  1. рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдПрдХрд╡рдЪрди рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджреЛрдВ рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд░рдирд╛
  2. рдЖрдВрддрд░рд┐рдХ рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐рдпрд╛рдВ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдирд╛, рдЪрд┐рдХрдиреАрдХрд░рдг рдкрд░ рдирд┐рд░реНрднрд░рддрд╛ рд╕реЗ рдмрдЪрдирд╛
  3. log рд╕рдВрд░рдЪрдирд╛ рдФрд░ рд╡рд┐рд╕реНрдлреЛрдЯ рдмрд╣реБрд╡рд┐рдз рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз

рдЧрд╣рди рдореВрд▓реНрдпрд╛рдВрдХрди

рд▓рд╛рдн

  1. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдХрдареЛрд░рддрд╛: рдПрдХрд╡рдЪрди рд╕реНрдерд┐рддрд┐ рдореЗрдВ Fukaya рд╢реНрд░реЗрдгреА рдХреА рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкрд░рд┐рднрд╛рд╖рд╛ рджреЗрддрд╛ рд╣реИ
  2. рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрдЬреНрдЮрд╛рди: рдкрд░рд┐рднрд╛рд╖рд╛ рд╕реНрдкрд╖реНрдЯ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡реНрдпрд╛рдЦреНрдпрд╛ рдФрд░ рдкреНрд░реЗрд░рдгрд╛ рд░рдЦрддреА рд╣реИ
  3. рд╡реНрдпрд╛рдкрдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ: рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдирдИ рджрд┐рд╢рд╛рдПрдВ рдЦреЛрд▓рддрд╛ рд╣реИ
  4. рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░: рдПрдХрд╡рдЪрдирддрд╛ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдирдИ рддрдХрдиреАрдХреЗрдВ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рддрд╛ рд╣реИ

рдХрдорд┐рдпрд╛рдВ

  1. рддрдХрдиреАрдХреА рдЬрдЯрд┐рд▓рддрд╛: рдкреНрд░рдорд╛рдг рдореЗрдВ рдмрдбрд╝реА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рддрдХрдиреАрдХреА рд╡рд┐рд╡рд░рдг рд╢рд╛рдорд┐рд▓ рд╣реИрдВ, рдЬреЛ рдкрдардиреАрдпрддрд╛ рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ
  2. рдзрд╛рд░рдгрд╛ рд╢рд░реНрддреЗрдВ: рдХреБрдЫ рдЬреНрдпрд╛рдорд┐рддреАрдп рдзрд╛рд░рдгрд╛рдПрдВ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рд╕рд╛рдорд╛рдиреНрдпрддрд╛ рдХреЛ рд╕реАрдорд┐рдд рдХрд░ рд╕рдХрддреА рд╣реИрдВ
  3. рдЧрдгрдирд╛ рдЬрдЯрд┐рд▓рддрд╛: рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЧрдгрдирд╛ рдЕрднреА рднреА рдЪреБрдиреМрддреАрдкреВрд░реНрдг рд╣реИ

рдкреНрд░рднрд╛рд╡

рдпрд╣ рдХрд╛рд░реНрдп рдПрдХрд╡рдЪрди рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЖрдзрд╛рд░ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ, рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдФрд░ Fukaya рд╢реНрд░реЗрдгреА рд╕рд┐рджреНрдзрд╛рдВрдд рдкрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдкреНрд░рднрд╛рд╡ рдбрд╛рд▓рдиреЗ рдХреА рдЕрдкреЗрдХреНрд╖рд╛ рдХреА рдЬрд╛рддреА рд╣реИред

рд▓рд╛рдЧреВ рдкрд░рд┐рджреГрд╢реНрдп

  • рдПрдХрд╡рдЪрди рдЕрддрд┐рдкреГрд╖реНрдареЛрдВ рдХреА рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐ рдЕрдиреБрд╕рдВрдзрд╛рди
  • рдмрдбрд╝реА рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛ рд╕реАрдорд╛ рдХреА рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛
  • Landau-Ginzburg рдореЙрдбрд▓ рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг

рд╕рдВрджрд░реНрдн

рдкрддреНрд░ рдЗрд╕ рдХреНрд╖реЗрддреНрд░ рдХреЗ рдореВрд▓ рд╕рд╛рд╣рд┐рддреНрдп рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:

  • Fukaya рд╢реНрд░реЗрдгреА рдкрд░ Seidel рдХрд╛ рдореМрд▓рд┐рдХ рдХрд╛рд░реНрдп
  • Orlov рдХреА Kn├╢rrer рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп
  • рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдкрд░ Abouzaid-Auroux рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
  • toric рдЕрдкрдШрдЯрди рдкрд░ Gross-Siebert рдХрд╛ рдХрд╛рд░реНрдп

рд╕рдордЧреНрд░ рдореВрд▓реНрдпрд╛рдВрдХрди: рдпрд╣ рд╕рд┐рдореНрдкрд▓реЗрдХреНрдЯрд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐ рдФрд░ рджрд░реНрдкрдг рд╕рдорд░реВрдкрддрд╛ рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди рд╡рд╛рд▓рд╛ рдПрдХ рдЙрдЪреНрдЪ рдЧреБрдгрд╡рддреНрддрд╛ рд╡рд╛рд▓рд╛ рдкрддреНрд░ рд╣реИ, рдЬреЛ рдПрдХрд╡рдЪрди рд╕реНрдерд┐рддрд┐ рдореЗрдВ Fukaya рд╢реНрд░реЗрдгреА рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдареЛрд╕ рдЧрдгрд┐рддреАрдп рдЖрдзрд╛рд░ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред