Multi-valued Morse homotopy for the SYZ mirror of the complex projective plane
Pith reviewed 2026-05-25 02:52 UTC · model grok-4.3
The pith
A category of multi-valued Morse homotopy on the SYZ mirror of CP^2 is A_infinity-equivalent to holomorphic vector bundles on CP^2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We propose a definition of the category Mo^mult(P) of multi-valued Morse homotopy on P consisting of multi-valued functions associated to Lagrangian multi-sections. We then show that a full subcategory Mo^mult_E(P) of Mo^mult(P) is A_infinity-equivalent to a full subcategory DG^vect_E(CP^2) of the category DG^vect(CP^2) consisting of holomorphic vector bundles over CP^2. As an application, we study the mirror description for global sections of the holomorphic tangent bundle over CP^2.
What carries the argument
The category Mo^mult(P) of multi-valued Morse homotopy, whose objects are multi-valued functions associated to Lagrangian multi-sections and which carries an A_infinity structure that produces the stated equivalence.
If this is right
- The equivalence maps certain Lagrangian multi-sections on the mirror to holomorphic vector bundles on CP^2.
- Global sections of the holomorphic tangent bundle on CP^2 receive an explicit description in terms of multi-valued Morse data.
- The A_infinity operations defined on the multi-valued functions correspond to the composition laws in the category of holomorphic vector bundles.
- Homological information about vector bundles on CP^2 can be read off from counts of holomorphic disks or gradient trajectories on the mirror side.
Where Pith is reading between the lines
- The same multi-valued construction might apply to other toric Fano manifolds whose SYZ fibrations are known explicitly.
- The framework could be tested by computing both sides for rank-one bundles and checking agreement on low-degree cohomology groups.
- If the equivalence holds, it supplies a route to algebraic invariants of CP^2 via combinatorial data on the symplectic mirror without passing through coherent sheaves directly.
Load-bearing premise
The proposed definition of the category of multi-valued functions associated to Lagrangian multi-sections admits a well-defined A_infinity structure that makes the equivalence to holomorphic vector bundles possible.
What would settle it
An explicit computation of the A_infinity products for one low-rank Lagrangian multi-section whose image under the equivalence should be a specific vector bundle on CP^2, showing that the products fail to match the corresponding Ext groups or morphisms.
Figures
read the original abstract
We propose a definition of the category $\mathit{Mo}^{\mathrm{mult}}(P)$ of multi-valued Morse homotopy on $P$ consisting of multi-valued functions associated to Lagrangian multi-sections. We then show that a full subcategory $\mathit{Mo}^{\mathrm{mult}}_{\mathcal{E}}(P)$ of $\mathit{Mo}^{\mathrm{mult}}(P)$ is $A_\infty$-equivalent to a full subcategory $\mathit{DG}_{\mathcal{E}}^{\mathrm{vect}}(\mathbb{C}P^2)$ of the category $\mathit{DG}^{\mathrm{vect}}(\mathbb{C}P^2)$ consisting of holomorphic vector bundles over the complex projective plane $\mathbb{C}P^2$. As an application, we study the mirror description for global sections of the holomorphic tangent bundle over $\mathbb{C}P^2$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a definition of the category Mo^mult(P) consisting of multi-valued functions associated to Lagrangian multi-sections, equipped with an A_∞ structure. It claims that the full subcategory Mo^mult_E(P) is A_∞-equivalent to the full subcategory DG^vect_E(CP^2) of holomorphic vector bundles on CP^2, and applies the result to give a mirror description of global sections of the holomorphic tangent bundle on CP^2.
Significance. If the A_∞ structure on multi-valued Morse homotopy is rigorously defined and the equivalence holds, the result would supply a concrete bridge between SYZ mirror symmetry constructions and the derived category of coherent sheaves on CP^2, potentially allowing explicit computations of mirror maps for vector bundles. The application to the tangent bundle is a natural test case.
major comments (2)
- [Definition of Mo^mult(P) and its A_∞ structure] The definition of the A_∞ operations μ_n on the objects of Mo^mult(P) (multi-valued functions tied to Lagrangian multi-sections) is not supplied with explicit formulas or sign conventions. Without these, it is impossible to verify closure under the A_∞ relations or compatibility with the multi-valuedness; this is load-bearing for the claimed equivalence Mo^mult_E(P) ≃ DG^vect_E(CP^2).
- [Proof of the equivalence] The proof of the A_∞-equivalence is stated in the abstract but the manuscript supplies no chain maps, homotopy equivalences, or verification that the functors preserve the higher operations. A concrete check on generators (e.g., the structure sheaf or tangent bundle) is required to substantiate the claim.
minor comments (1)
- [Introduction] Notation for the multi-valued functions and the subscript E in both categories should be defined at first use rather than left implicit.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below and will revise the paper to incorporate the requested clarifications and expansions.
read point-by-point responses
-
Referee: [Definition of Mo^mult(P) and its A_∞ structure] The definition of the A_∞ operations μ_n on the objects of Mo^mult(P) (multi-valued functions tied to Lagrangian multi-sections) is not supplied with explicit formulas or sign conventions. Without these, it is impossible to verify closure under the A_∞ relations or compatibility with the multi-valuedness; this is load-bearing for the claimed equivalence Mo^mult_E(P) ≃ DG^vect_E(CP^2).
Authors: We acknowledge that while the general form of the A_∞ operations is indicated in the manuscript, the explicit formulas for μ_n together with complete sign conventions are not written out in sufficient detail. In the revised version we will add these formulas in a new subsection of Section 3, including the precise sign conventions obtained by adapting the standard Morse-homotopy signs to the multi-valued setting. This will make verification of the A_∞ relations and compatibility with multi-valuedness straightforward. revision: yes
-
Referee: [Proof of the equivalence] The proof of the A_∞-equivalence is stated in the abstract but the manuscript supplies no chain maps, homotopy equivalences, or verification that the functors preserve the higher operations. A concrete check on generators (e.g., the structure sheaf or tangent bundle) is required to substantiate the claim.
Authors: We agree that the current proof sketch in Section 4 does not supply the explicit chain maps, homotopy data, or generator-level verification. We will expand the proof to construct the A_∞ functor explicitly, exhibit the required homotopy equivalences, and perform a direct check on the structure sheaf and on the tangent bundle (the latter being the main application). These additions will be placed in a dedicated subsection. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The abstract proposes a definition of the category Mo^mult(P) from multi-valued functions on Lagrangian multi-sections and claims an A_infty-equivalence for a full subcategory to DG^vect_E(CP^2). No equations, fitted parameters, or self-citations are exhibited that reduce the claimed equivalence or the well-definedness of the A_infty operations to a tautology by construction. The verification that the proposed objects carry operations satisfying the A_infty relations is an independent step, not a renaming or self-definition of the input data. This matches the default expectation of a non-circular paper.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The SYZ mirror of CP^2 exists as a space P equipped with Lagrangian multi-sections.
- ad hoc to paper An A_infty structure can be placed on the category of multi-valued Morse homotopy.
invented entities (1)
-
multi-valued functions associated to Lagrangian multi-sections
no independent evidence
Reference graph
Works this paper leans on
-
[1]
M. Akaho and D. Joyce. Immersed Lagrangian Floer theory, Journal of Differential Geometry, 86(3), (2010), 381--500. comment
work page 2010
-
[2]
M. Audin and M. Damian. Morse theory and Floer homology, Springer, London, 2014 comment
work page 2014
-
[3]
A. I. Bondal and M. M. Kapranov. Enhanced triangulated categories, Math. USSR-Sb. , 1991, 70:93-107
work page 1991
-
[4]
K. Chan. Holomorphic line bundles on projective toric manifolds from Lagrangian sections of their mirrors by SYZ transformations, International Mathematics Research Notices , 2009.24 (2009), 4686-4708
work page 2009
-
[5]
K. Chan and Y.-H. Suen. SYZ transforms for immersed Lagrangian multisections, Transactions of the American Mathematical Society , 372.8 (2019): 5747-5780
work page 2019
-
[6]
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
-
[7]
S. Di Rocco, K. Jabbusch and G. G. Smith. Toric vector bundles and parliaments of polytopes, Transactions of the American Mathematical Society , 370.11 (2018): 7715-7741
work page 2018
-
[8]
K. Fukaya. Morse homotopy, A^ -category, and Floer homologies, Proceedings of GARC Workshop on Geometry and Topology '93 (Seoul, 1993) , volume 18 of Lecture Notes Ser., pages 1–102. Seoul Nat. Univ., Seoul, 1993
work page 1993
-
[9]
K. Fukaya. Multivalued M orse theory, asymptotic analysis and mirror symmetry, Graphs and patterns in mathematics and theoretical physics, Proc. Sympos. Pure Math., Vol. 73, Amer. Math. Soc., Providence, RI, 2005, pp. 205--278
work page 2005
-
[10]
K. Fukaya and Y.-G. Oh. Zero-loop open strings in the cotangent bundle and morse homotopy, Asian J. Math. , 1:96--180, 1997
work page 1997
-
[11]
M. Futaki and H. Kajiura, Homological mirror symmetry of C P^n and their products via Morse homotopy, Journal of Mathematical Physics , 62:3, 032307, 2021
work page 2021
-
[12]
M. Futaki and H. Kajiura, Homological mirror symmetry of _1 via Morse homotopy, Advances in Theoretical and Mathematical Physics , 26(8), 2611-2637, 2022
work page 2022
-
[13]
D. Gaiotto, G. W. Moore, and A. Neitzke. Spectral networks, Annales Henri Poincaré , Vol. 14. No. 7. Basel: Springer Basel, 2013
work page 2013
-
[14]
M. Gross and B. Siebert. Theta functions and mirror symmetry, Surveys in differential geometry 2016. Advances in geometry and mathematical physics , 95--138, Surv. Differ. Geom., 21, Int. Press, Somerville, MA
work page 2016
-
[15]
H. Kajiura. On A_ -enhancements for triangulated categories, J. Pure Appl. Algebra , 217(2013), no. 8, 1476--1503
work page 2013
-
[16]
H. Kajiura. On some deformations of Fukaya categories. Symplectic, Poisson, and Noncommutative Geometry, volume 62, page 93. Cambridge University Press, 2014
work page 2014
-
[17]
urich, 1994), 120--139, Birkh\
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
-
[18]
M. Kontsevich and Y. Soibelman. Homological mirror symmetry and torus fibrations, Symplectic geometry and mirror symmetry (Seoul, 2000) , pages 203--263. World Sci. Publishing, River Edge, NJ, 2001
work page 2000
-
[19]
N.C. Leung, S.-T. Yau, and E. Zaslow. From special L agrangian to hermitian- Y ang- M ills via F ourier- M ukai transform, Adv.\ Theor.\ Math.\ Phys.\ 4 (2000), no.\ 6, 1319--1341
work page 2000
- [20]
- [21]
- [22]
-
[23]
A. Nishida. Homological mirror symmetry for weighted projective spaces and Morse homotopy, Journal of Geometry and Physics , 216, 105584, 2025
work page 2025
-
[24]
Y.-G. Oh and Y.-H. Suen. Lagrangian multi-sections and their toric equivariant mirror, Advances in Mathematics 441 (2024): 109545
work page 2024
-
[25]
S. Payne. Toric vector bundles, branched covers of fans, and the resolution property, Journal of Algebraic Geometry 18.1 (2009): 1-36
work page 2009
-
[26]
P. Seidel. Fukaya categories and Picard-Lefschetz theory, Vol. 10. European Mathematical Society, 2008
work page 2008
-
[27]
A. Strominger, S.-T. Yau, and E. Zaslow. Mirror symmetry is T -duality, Nucl. Phys. B , (1996), 479:243--259
work page 1996
-
[28]
Y.-H. Suen. Reconstruction of T_ P ^ 2 via tropical Lagrangian multi-section, New York Journal of Mathematics 27 (2021): 1096–1114
work page 2021
-
[29]
Y.-H. Suen. Tropical Lagrangian multisections and toric vector bundles, Pacific Journal of Mathematics 325.2 (2023): 299-330
work page 2023
-
[30]
Y.-H. Suen. Toric vector bundles, non-abelianization, and spectral networks, International Mathematics Research Notices 2024.24 (2024): 14576-14599
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.