pith. sign in

arxiv: 2312.01329 · v2 · pith:BH57LCUMnew · submitted 2023-12-03 · 🧮 math.SG · math.AG· math.DG

SYZ mirror of Hirzebruch surface mathbb{F}_k and Morse homotopy

Hayato Nakanishi This is my paper

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

classification 🧮 math.SG math.AGmath.DG
keywords homological mirror symmetrySYZ constructionHirzebruch surfaceMorse homotopyFukaya categoryderived category
0
0 comments X

The pith

Homological mirror symmetry holds for every Hirzebruch surface F_k via its SYZ mirror and Morse homotopy.

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

The paper extends prior proofs of homological mirror symmetry from the Hirzebruch surface F_1 to the full family F_k. It applies the Strominger-Yau-Zaslow construction to produce the mirror and uses Morse homotopy to establish the equivalence of the Fukaya category with the derived category of coherent sheaves. A reader would care because the result indicates that the same framework works uniformly across this infinite family of surfaces.

Core claim

We show that homological mirror symmetry in the SYZ sense holds for the Hirzebruch surface F_k by extending the Morse homotopy argument previously used for F_1, with no change in the category equivalence.

What carries the argument

Morse homotopy on the SYZ mirror pair of F_k, which produces the A-infinity equivalence between the two sides of the mirror.

If this is right

  • The category equivalence persists for every integer k without requiring separate constructions.
  • The same Morse homotopy techniques apply uniformly to all toric Fano surfaces in this deformation class.
  • No additional correction terms or wall-crossing phenomena appear when k increases.

Where Pith is reading between the lines

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

  • The uniform treatment suggests the method could be tested on nearby non-toric surfaces obtained by small deformations.
  • One could compute the explicit Morse homotopy for small k greater than 1 and compare the resulting A-infinity algebras directly.

Load-bearing premise

The Morse homotopy data and category equivalence already developed for F_1 extend directly to general F_k without new obstructions.

What would settle it

An explicit mismatch, for any fixed k greater than 1, between the Morse homotopy groups computed on the symplectic side and the corresponding Ext groups on the complex side would falsify the claimed equivalence.

Figures

Figures reproduced from arXiv: 2312.01329 by Hayato Nakanishi.

Figure 1
Figure 1. Figure 1: The torus fibration and the dual torus fibration 2.2. Lagrangian sections of M and Holomorphic line bundles over Mˇ . Let s : B → M be a section of M → B. Locally, we may regard s as a section of T B ≃ T ∗B. Then, s is locally described by a collection of functions as y i = s i (x). Now, under our assumption T B ≃ T ∗B, we can check whether the graph of a section s : B → M is Lagrangian or not in T ∗B. The… view at source ↗
Figure 2
Figure 2. Figure 2: The moment polytope of Fk. Now, we set Mˇ := U0 ∩ U1 ∩ U2 ∩ U3, B := IntP, and we treat Mˇ as a torus fibration µ|Mˇ : Mˇ → B. 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 ωˇ = 4C2 k 2 (1 + t)s kdx1 ∧ dy1 − ksk tdx1 ∧ dy2 − ksk tdx2 ∧ dy1 + (1 + s k )tdx2 ∧ dy2 (1 + s k + t) 2 + 4C1 sdx1… view at source ↗
Figure 3
Figure 3. Figure 3: The moment polytope of Fk. The full strongly exceptional collections Ec behave slightly differently when c > 0 or c = 0. We first consider the case of c > 0. We will discuss the case of c = 0 later. We first discuss that when there exists a nonempty intersection of L(a, b) with L(0, 0) in the covering space M¯ → P. For a, b ≥ 0, since 0 ≤ s, t ≤ ∞, we have 0 ≤ i2 = b t 1 + s k + t ≤ b, 0 ≤ i1 + ki2 = a s 1… view at source ↗
Figure 4
Figure 4. Figure 4: The gradient vector field of f(−7,3);(0,0) [PITH_FULL_IMAGE:figures/full_fig_p017_4.png] view at source ↗
read the original abstract

We study homological mirror symmetry for Hirzebruch surface $\mathbb{F}_k$ as a complex manifold by using the Strominger-Yau-Zaslow construction of mirror pair and Morse homotopy. For the toric Fano surfaces, Futaki-Kajiura and the author proved homological mirror symmetry by using Morse homotopy in arXiv:2008.13462, arXiv:2012.06801, and arXiv:2303.07851. In this paper, we extend Futaki-Kajiura's result of Hirzebruch surface $\mathbb{F}_1$ to $\mathbb{F}_k$. We discuss Morse homotopy and show homological mirror symmetry in the sense above holds true.

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.

Referee Report

2 major / 2 minor

Summary. The paper claims to extend homological mirror symmetry results previously established for the Hirzebruch surface F_1 and other toric Fano surfaces to the general Hirzebruch surface F_k (k ≥ 0) via the SYZ construction of the mirror and an associated Morse homotopy. It asserts that the derived category of coherent sheaves on F_k is equivalent to the Fukaya category defined by the Morse homotopy A_∞-structure on the mirror side, with the extension holding without new obstructions.

Significance. If the central claim holds, the result would extend SYZ/Morse-homotopy HMS beyond Fano varieties to a family of ruled surfaces where the anticanonical class ceases to be ample for k > 1. This could clarify the robustness of disk-counting and superpotential constructions when positivity fails. The work builds directly on three prior papers by the same group (arXiv:2008.13462, arXiv:2012.06801, arXiv:2303.07851) but supplies no independent external benchmark or machine-checked component.

major comments (2)
  1. [Abstract, §1] Abstract and §1: the assertion that the Morse homotopy framework and SYZ data developed for F_1 extend without modification to general F_k is load-bearing for the central claim, yet the text supplies no derivation steps, no explicit adaptation of the A_∞-structure, and no discussion of possible changes in holomorphic disk counts or superpotential terms arising from the anticanonical class no longer being ample when k > 1.
  2. [Introduction] The manuscript does not address whether the category equivalence D^b(Coh(F_k)) ≃ Fuk(Morse homotopy side) requires additional correction terms for k > 1; this is the precise point at which the extension from the Fano case could fail.
minor comments (2)
  1. Notation for the Morse homotopy A_∞-operations and the precise definition of the mirror superpotential should be recalled or referenced explicitly rather than assumed from the cited prior works.
  2. The paper would benefit from a short table or diagram comparing the SYZ fibration and disk counts for F_1 versus F_2 (or higher k) to make the extension concrete.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Abstract, §1] Abstract and §1: the assertion that the Morse homotopy framework and SYZ data developed for F_1 extend without modification to general F_k is load-bearing for the central claim, yet the text supplies no derivation steps, no explicit adaptation of the A_∞-structure, and no discussion of possible changes in holomorphic disk counts or superpotential terms arising from the anticanonical class no longer being ample when k > 1.

    Authors: We agree that the current text would benefit from additional explicit steps. In the revised manuscript we will add a dedicated subsection deriving the SYZ mirror for general F_k from the toric fan data, showing how the underlying Lagrangian torus fibration and the Morse homotopy A_∞-structure are obtained by the same combinatorial procedure used for F_1. We will also include a short argument that the Maslov-index-2 disk counts contributing to the superpotential remain unchanged for k>1, because these disks are bounded by the toric divisors whose classes are determined by the fan and do not depend on ampleness of the anticanonical class. revision: yes

  2. Referee: [Introduction] The manuscript does not address whether the category equivalence D^b(Coh(F_k)) ≃ Fuk(Morse homotopy side) requires additional correction terms for k > 1; this is the precise point at which the extension from the Fano case could fail.

    Authors: The equivalence is obtained by verifying that the A_∞-operations defined by the Morse homotopy on the mirror side match the composition rules on the coherent-sheaf side without extra correction terms. This verification relies only on the gradient-flow trees associated to the fixed SYZ fibration, which is combinatorially identical for all k. We will revise the introduction to state this explicitly and to note that the non-ampleness for k>1 does not alter the relevant holomorphic-curve data used in the Morse-homotopy construction. revision: yes

Circularity Check

1 steps flagged

Moderate self-citation dependence for Morse homotopy framework extension to non-Fano F_k

specific steps
  1. self citation load bearing [Abstract]
    "For the toric Fano surfaces, Futaki-Kajiura and the author proved homological mirror symmetry by using Morse homotopy in arXiv:2008.13462, arXiv:2012.06801, and arXiv:2303.07851. In this paper, we extend Futaki-Kajiura's result of Hirzebruch surface F_1 to F_k. We discuss Morse homotopy and show homological mirror symmetry in the sense above holds true."

    The assertion that HMS holds for F_k reduces to the validity of the Morse homotopy A_∞-structure and category equivalence already established in the three self-cited papers; the present work imports the framework and claims direct extendability without exhibiting an independent derivation or falsifiable check outside those citations.

full rationale

The paper's central claim of HMS for general F_k rests on extending the Morse homotopy and SYZ constructions from three prior works by overlapping authors (Futaki-Kajiura-Nakanishi). The abstract asserts the extension holds without new obstructions, but provides no independent external benchmark, machine-checked verification, or parameter-free derivation outside those self-citations. This creates moderate load-bearing dependence while the specific extension to k>1 still adds content. No self-definitional equations or fitted predictions are exhibited in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new postulated entities.

pith-pipeline@v0.9.0 · 5648 in / 1080 out tokens · 35356 ms · 2026-05-25T08:59:47.393135+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    Abouzaid

    M. Abouzaid. Morse homology, tropical geometry, and homological mirror symmetry for toric vari- eties. Selecta Mathematica. 15 (2009), 189-270

    work page 2009

  2. [2]

    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

  3. [3]

    Bondal and M.M

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

    work page 1991

  4. [4]

    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

  5. [5]

    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

  6. [6]

    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

  7. [7]

    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

  8. [8]

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

    work page 1993

  9. [9]

    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

  10. [10]

    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

  11. [11]

    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

  12. [12]

    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

  13. [13]

    Kontsevich and Y

    M. Kontsevich and Y. Soibelman. Homological mirror symmetry and torus fibrations. Symplectic geometry and mirror symmetry (Seoul, 2000), pages 203–263. Wo rld Sci. Publishing, River Edge, NJ, 2001. SYZ MIRROR OF HIRZEBRUCH SURF ACE Fk AND MORSE HOMOTOPY 19

    work page 2000

  14. [14]

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

    work page 2005

  15. [15]

    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

  16. [16]

    Homological mirror symmetry of toric Fano surfaces via Morse homotopy

    H. Nakanishi. Homological mirror symmetry of toric Fano surfaces via Mors e homotopy. preprint arXiv:2303.07851, 2023

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  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, 1-33 Yayoicho, Inage, Chiba, 26 3-8522 Japan. Email address : hayato nakanishi@chiba-u.jp

    work page 2006