Homological mirror symmetry of toric Fano surfaces via Morse homotopy

Hayato Nakanishi

arxiv: 2303.07851 · v3 · pith:4QTIFE4Cnew · submitted 2023-03-14 · 🧮 math.DG · math.AG· math.SG

Homological mirror symmetry of toric Fano surfaces via Morse homotopy

Hayato Nakanishi This is my paper

Pith reviewed 2026-05-25 08:48 UTC · model grok-4.3

classification 🧮 math.DG math.AGmath.SG

keywords homological mirror symmetrytoric Fano surfacesSYZ constructionMorse homotopymoment polytopeFukaya category

0 comments

The pith

Homological mirror symmetry for toric Fano surfaces holds when Morse homotopy on the moment polytope replaces the Fukaya category in the SYZ construction.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies the Strominger-Yau-Zaslow construction to toric Fano surfaces viewed as complex manifolds. It proposes that homological mirror symmetry can be discussed by considering the Morse homotopy of the moment polytope rather than the Fukaya category. A sympathetic reader would care because this offers a potentially simpler way to verify mirror symmetry in these cases by working directly with the polytope structure. This substitution could make computations more accessible for these specific manifolds.

Core claim

By applying the SYZ torus fibration construction to toric Fano surfaces, the homological mirror symmetry is established through the Morse homotopy of the moment polytope serving in place of the Fukaya category.

What carries the argument

Morse homotopy of the moment polytope, which acts as a substitute for the Fukaya category in verifying homological mirror symmetry.

If this is right

Mirror pairs can be constructed explicitly for toric Fano surfaces using their moment polytopes.
Homological mirror symmetry discussions become possible without full Fukaya category machinery for these surfaces.
The SYZ construction yields mirror pairs where one side uses Morse homotopy.
This approach may extend to other toric varieties where moment maps are available.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This could simplify calculations in mirror symmetry by reducing them to polytope geometry.
It might connect to other combinatorial approaches in algebraic geometry.
Testable by checking if the homotopy categories match known mirror pairs for specific surfaces like CP2.

Load-bearing premise

That the Morse homotopy of the moment polytope can adequately substitute for the Fukaya category in capturing the homological mirror symmetry.

What would settle it

A computation showing that the Morse homotopy category does not match the expected derived category of the mirror for a specific toric Fano surface like the projective plane.

Figures

Figures reproduced from arXiv: 2303.07851 by Hayato Nakanishi.

**Figure 2.** Figure 2: The moment polytope of Bl2(CP 2 ). Mˇ := U0 ∩ U1 ∩ U2 ∩ U3 ∩ U4, B := IntP, and we treat Mˇ as a torus fibration µ|Mˇ : Mˇ → B. Hereafter, we fix U := U0, u := u0, v := v0. Then, Mˇ is equipped with an affine structure by u = e x1+iy1 and v = e x2+iy2 , [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗

**Figure 3.** Figure 3: The moment polytope of Bl2(CP 2 ). For all L and L ′ , we compute generators of MoE (P)(L, L′ ). • MoE (P) (L(0, 0, 0), L(0, −1, 1)) and MoE (P) (L(0, 0, 0), L(−1, 0, 1)): The intersection of L(0, 0, 0) and L(0, −1, 1) is expressed as i1 = s 1 + s + t , i2 = − t 1 + t + t 1 + s + t . Then, since (x 1 , x2 ) = ( 2s 1+s + 2s 1+s+t , 2t 1+t + 2t 1+s+t ), we obtain the connected components V(0,−1,1);(0,0) = E… view at source ↗

**Figure 4.** Figure 4: The moment polytope of Bl3(CP 2 ). Now, we set Mˇ := U0 ∩ U1 ∩ U2 ∩ U3 ∩ U4 ∩ U5, B := IntP, and we treat Mˇ as a torus fibration µ|Mˇ : Mˇ → B. Hereafter, we fix U := U0, u := u0, v := v0. Then, Mˇ is equipped with an affine structure by u = e x1+iy1 and v = e x2+iy2 , where y1 and y2 are the fiber coordinates of Mˇ . The K¨ahler form ω is expressed as ω = 4(st(1 + t)dx1 ∧ dy1 − stdx1 ∧ dy2 − stdx2 ∧ dy1 … view at source ↗

**Figure 5.** Figure 5: The moment polytope Bl3(CP 2 ). For all L and L ′ , we compute generators of MoE (P)(L, L′ ). • MoE (P) (L(0, 0, 0, 0), L(−1, 0, 0, 1)): The intersection of L(0, 0, 0, 0) and L(−1, 0, 0, 1) is expressed as i1 = − s 1 + s + st 1 + st + t , i2 = st + t 1 + st + t . Then, since (x 1 , x2 ) = 2s 1+s + 2st 1+st + 2st 1+st+t , 2t 1+t + 2st 1+st + 2(st+t) 1+st+t , we obtain the connected components V(−1,0,0,1… view at source ↗

read the original abstract

Strominger-Yau-Zaslow (SYZ) proposed a way of constructing mirror pairs as pairs of torus fibrations. We apply this SYZ construction to toric Fano surfaces as complex manifolds, and discuss the homological mirror symmetry, where we consider Morse homotopy of the moment polytope instead of the Fukaya category.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Applies SYZ to toric Fano surfaces and swaps in Morse homotopy on the moment polytope for the Fukaya category when discussing HMS, but the abstract gives no detail on whether the swap preserves the needed structure.

read the letter

This paper takes the SYZ torus fibration construction and specializes it to toric Fano surfaces as complex manifolds, then frames homological mirror symmetry by using Morse homotopy of the moment polytope instead of the Fukaya category. The main move is therefore a targeted application plus a proposed combinatorial replacement. Toric Fano surfaces are a standard testing ground, so laying out the SYZ side explicitly here could make the mirror map more concrete in a case where both algebraic and symplectic data are manageable. That part follows directly from the setup and does not appear to overclaim. The Morse homotopy suggestion is the element that could be useful if it works, since it might let people compute things using only the polytope rather than full Lagrangian Floer theory. The abstract presents this substitution cleanly as the way to discuss the correspondence. The soft spot is exactly the substitution step. Replacing the Fukaya category requires showing that the Morse homotopy version still carries objects, morphisms, and A-infinity operations in a way that makes the homological equivalence meaningful. The text states the replacement but supplies no definitions, no comparison of structures, and no verification that the mirror map survives. Without those pieces the central claim cannot be checked. No circularity or invented entities are visible in the description, and the approach rests on the usual SYZ literature rather than new untested assumptions. This is for specialists already working on mirror symmetry for toric varieties who want to see how a Morse-theoretic shortcut might play out. A reader outside that niche or looking for explicit calculations will find little. The work shows clear thinking in picking the setting, so it deserves a serious referee to examine whether the Morse homotopy actually delivers the required categorical data.

Referee Report

1 major / 0 minor

Summary. The manuscript applies the Strominger-Yau-Zaslow (SYZ) torus fibration construction to toric Fano surfaces as complex manifolds and discusses homological mirror symmetry by replacing the Fukaya category with Morse homotopy of the moment polytope.

Significance. If the Morse homotopy construction on the moment polytope can be shown to preserve sufficient structure (objects, morphisms, and operations) to make the mirror correspondence meaningful, the approach could provide a more explicit and computable framework for HMS on toric Fano surfaces than the standard Fukaya-category formulation.

major comments (1)

[Abstract] Abstract: the central claim that Morse homotopy of the moment polytope serves as a substitute for the Fukaya category when discussing homological mirror symmetry is stated directly but is unsupported by any definition of the Morse homotopy, any description of the objects or A∞ operations it induces, or any verification that the substitution preserves the data needed for the mirror equivalence. This substitution is load-bearing for the stated contribution.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on our manuscript. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that Morse homotopy of the moment polytope serves as a substitute for the Fukaya category when discussing homological mirror symmetry is stated directly but is unsupported by any definition of the Morse homotopy, any description of the objects or A∞ operations it induces, or any verification that the substitution preserves the data needed for the mirror equivalence. This substitution is load-bearing for the stated contribution.

Authors: We agree that the abstract asserts the substitution without including definitions or verifications, and that the manuscript as presented does not supply an explicit definition of Morse homotopy on the moment polytope, its objects, morphisms, or A∞ operations, nor a direct check that the necessary data for homological mirror symmetry is preserved. The body of the paper applies the SYZ construction to toric Fano surfaces and invokes Morse homotopy in place of the Fukaya category, but does not develop these structures in detail. In the revised manuscript we will add a dedicated section that defines the Morse homotopy, specifies the objects and A∞ operations, and verifies preservation of the data required for the mirror correspondence. We will also adjust the abstract to reflect these additions. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states an application of the existing SYZ torus fibration construction to toric Fano surfaces and proposes to discuss HMS by direct substitution of Morse homotopy on the moment polytope for the Fukaya category. No derivation chain, equation, or self-citation is exhibited that reduces a claimed prediction or uniqueness result to a fitted input or prior self-referential definition by construction. The substitution is presented as the methodological choice rather than derived from itself, leaving the central claim self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the central discussion rests on the validity of the SYZ proposal and the assumption that Morse homotopy can replace the Fukaya category; no free parameters, invented entities, or additional axioms are mentioned.

axioms (1)

domain assumption The Strominger-Yau-Zaslow construction produces mirror pairs as pairs of torus fibrations.
Invoked at the start of the abstract as the foundation for applying the construction to toric Fano surfaces.

pith-pipeline@v0.9.0 · 5570 in / 1330 out tokens · 34690 ms · 2026-05-25T08:48:16.761064+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

SYZ mirror of Hirzebruch surface $\mathbb{F}_k$ and Morse homotopy
math.SG 2023-12 unverdicted novelty 6.0

Homological mirror symmetry holds for Hirzebruch surface F_k via SYZ and Morse homotopy, extending the F_1 case.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 1 Pith paper

[1]

Auroux, L

D. Auroux, L. Katzarkov and D. Orlov. Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves. Invent. math. 166, (2006), 537-582

work page 2006
[2]

Bondal and M.M

A.I. Bondal and M.M. Kapranov. Enhanced triangulated categories. Math. USSR-Sb., 1991, 70:93- 107

work page 1991
[3]

K. Chan. Holomorphic line bundles on projective toric manifolds fro m Lagrangian sections of their mirrors by SYZ transformations. International Mathematics Research Notices. 2009.24 (2009), 4 686- 4708

work page 2009
[4]

D. Cox, J. Little, and H. Schenck. Toric varieties, volume 124 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2011

work page 2011
[5]

Elagin and V

A. Elagin and V. Lunts. On full exceptional collections of line bundles on del Pezzo surfaces. Moscow Mathematical Journal, 16:4 , 691-709, 2016

work page 2016
[6]

Fukaya and Y.-G

K. Fukaya and Y.-G. Oh. Zero-loop open strings in the cotangent bundle and morse hom otopy. Asian J. Math., 1:96–180, 1997

work page 1997
[7]

W. Fulton. Introduction to toric varieties . Number 131. Princeton University Press, 1993

work page 1993
[8]

Futaki and H

M. Futaki and H. Kajiura, Homological mirror symmetry of CP n and their products via Morse homotopy. Journal of Mathematical Physics, 62:3, 032307, 2021

work page 2021
[9]

Futaki and H

M. Futaki and H. Kajiura, Homological mirror symmetry of F1 via Morse homotopy. preprint arXiv:2012.06801, 2020

work page arXiv 2012
[10]

Hille and M

L. Hille and M. Perling. Exceptional sequences of invertible sheaves on rational su rfaces. Compositio Mathematica, 147(4):1230–1280, 2011

work page 2011
[11]

H. Kajiura. Homological perturbation theory and homological mirror sy mmetry. Higher Structures in Geometry and Physics, pages 201–226. Springer, 2011

work page 2011
[12]

H. Kajiura. On some deformations of Fukaya categories. Symplectic, Poisson, and Noncommutative Geometry, volume 62, page 93. Cambridge University Press, 2014

work page 2014
[13]

Kontsevich

M. Kontsevich. Homological algebra of mirror symmetry. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Z¨ urich, 1994), 120–139, Birkh¨ auser, Basel, 1995

work page 1994
[14]

Kontsevich and Y

M. Kontsevich and Y. Soibelman. Homological mirror symmetry and torus ﬁbrations. Symplectic geometry and mirror symmetry (Seoul, 2000), pages 203–263. Wo rld Sci. Publishing, River Edge, NJ, 2001

work page 2000
[15]

N.C. Leung. Mirror symmetry without corrections. Communications in Analysis and Geometry, 13(2):287–331, 2005

work page 2005
[16]

Leung, S.-T

N.C. Leung, S.-T. Yau, and E. Zaslow. From special Lagrangian to hermitian-Yang-Mills via Fouri er- Mukai transform. Adv. Theor. Math. Phys. 4 (2000), no. 6, 1319–1341

work page 2000
[17]

P. Seidel. Fukaya categories and Picard-Lefschetz theory. Vol. 10. European Mathematical Society, 2008

work page 2008
[18]

Strominger, S.-T

A. Strominger, S.-T. Yau, and E. Zaslow. Mirror symmetry is T-duality. Nucl. Phys. B, 479:243–259, 1996

work page 1996
[19]

K. Ueda. Homological mirror symmetry for toric del Pezzo surfaces. Communications in mathemat- ical physics, 264(1), 71-85. 2006. Department of Mathematics and Informatics, Graduate Schoo l of Science and Engi- neering, Chiba University, Yayoicho 1-33, Inage, Chiba, 26 3-8522 Japan. Email address : hayato nakanishi@chiba-u.jp

work page 2006

[1] [1]

Auroux, L

D. Auroux, L. Katzarkov and D. Orlov. Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves. Invent. math. 166, (2006), 537-582

work page 2006

[2] [2]

Bondal and M.M

A.I. Bondal and M.M. Kapranov. Enhanced triangulated categories. Math. USSR-Sb., 1991, 70:93- 107

work page 1991

[3] [3]

K. Chan. Holomorphic line bundles on projective toric manifolds fro m Lagrangian sections of their mirrors by SYZ transformations. International Mathematics Research Notices. 2009.24 (2009), 4 686- 4708

work page 2009

[4] [4]

D. Cox, J. Little, and H. Schenck. Toric varieties, volume 124 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2011

work page 2011

[5] [5]

Elagin and V

A. Elagin and V. Lunts. On full exceptional collections of line bundles on del Pezzo surfaces. Moscow Mathematical Journal, 16:4 , 691-709, 2016

work page 2016

[6] [6]

Fukaya and Y.-G

K. Fukaya and Y.-G. Oh. Zero-loop open strings in the cotangent bundle and morse hom otopy. Asian J. Math., 1:96–180, 1997

work page 1997

[7] [7]

W. Fulton. Introduction to toric varieties . Number 131. Princeton University Press, 1993

work page 1993

[8] [8]

Futaki and H

M. Futaki and H. Kajiura, Homological mirror symmetry of CP n and their products via Morse homotopy. Journal of Mathematical Physics, 62:3, 032307, 2021

work page 2021

[9] [9]

Futaki and H

M. Futaki and H. Kajiura, Homological mirror symmetry of F1 via Morse homotopy. preprint arXiv:2012.06801, 2020

work page arXiv 2012

[10] [10]

Hille and M

L. Hille and M. Perling. Exceptional sequences of invertible sheaves on rational su rfaces. Compositio Mathematica, 147(4):1230–1280, 2011

work page 2011

[11] [11]

H. Kajiura. Homological perturbation theory and homological mirror sy mmetry. Higher Structures in Geometry and Physics, pages 201–226. Springer, 2011

work page 2011

[12] [12]

H. Kajiura. On some deformations of Fukaya categories. Symplectic, Poisson, and Noncommutative Geometry, volume 62, page 93. Cambridge University Press, 2014

work page 2014

[13] [13]

Kontsevich

M. Kontsevich. Homological algebra of mirror symmetry. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Z¨ urich, 1994), 120–139, Birkh¨ auser, Basel, 1995

work page 1994

[14] [14]

Kontsevich and Y

M. Kontsevich and Y. Soibelman. Homological mirror symmetry and torus ﬁbrations. Symplectic geometry and mirror symmetry (Seoul, 2000), pages 203–263. Wo rld Sci. Publishing, River Edge, NJ, 2001

work page 2000

[15] [15]

N.C. Leung. Mirror symmetry without corrections. Communications in Analysis and Geometry, 13(2):287–331, 2005

work page 2005

[16] [16]

Leung, S.-T

N.C. Leung, S.-T. Yau, and E. Zaslow. From special Lagrangian to hermitian-Yang-Mills via Fouri er- Mukai transform. Adv. Theor. Math. Phys. 4 (2000), no. 6, 1319–1341

work page 2000

[17] [17]

P. Seidel. Fukaya categories and Picard-Lefschetz theory. Vol. 10. European Mathematical Society, 2008

work page 2008

[18] [18]

Strominger, S.-T

A. Strominger, S.-T. Yau, and E. Zaslow. Mirror symmetry is T-duality. Nucl. Phys. B, 479:243–259, 1996

work page 1996

[19] [19]

K. Ueda. Homological mirror symmetry for toric del Pezzo surfaces. Communications in mathemat- ical physics, 264(1), 71-85. 2006. Department of Mathematics and Informatics, Graduate Schoo l of Science and Engi- neering, Chiba University, Yayoicho 1-33, Inage, Chiba, 26 3-8522 Japan. Email address : hayato nakanishi@chiba-u.jp

work page 2006