arxiv: 2604.26292 · v2 · submitted 2026-04-29 · 🧮 math.DG · math-ph· math.MP· math.QA· math.SG

Recognition: 3 theorem links

· Lean Theorem

Brane quantization and SYZ mirror symmetry

Kwokwai Chan , Naichung Conan Leung , Qin Li , Yat-Hin Suen , Yutung Yau

Authors on Pith no claims yet

Pith reviewed 2026-05-12 00:50 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MPmath.QAmath.SG

keywords SYZ mirror symmetrycoisotropic A-branesbrane quantizationholomorphic symplectic manifoldsdeformation quantizationgeometric quantizationendomorphism algebrasLagrangian branes

0 comments

The pith

SYZ mirror symmetry produces an isomorphism between the endomorphism algebras of coisotropic A-branes and their mirror B-branes.

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

The paper shows that when a holomorphic symplectic manifold admits an SYZ fibration, a semi-affine space-filling coisotropic A-brane can be sent to a mirror B-brane by an SYZ transform. A twisted family construction then maps the endomorphism algebra of the A-brane to the corresponding algebra on the mirror side, proving they are isomorphic. The same construction carries over the natural action of this algebra on morphisms from any torus-fiber Lagrangian brane, so the action on the A-side matches the action on the B-side. A sympathetic reader would care because this supplies an explicit algebraic bridge that keeps quantization data intact when one passes from one geometric description of the manifold to its dual.

Core claim

Given a holomorphic symplectic manifold X that admits an SYZ fibration and a semi-affine space-filling coisotropic A-brane B_cc on X, the SYZ transform produces a mirror B-brane on the dual manifold. The twisted family construction then induces an isomorphism between the endomorphism algebra Hom_A(B_cc, B_cc) and its counterpart on the mirror side. When any torus fiber is taken as the Lagrangian A-brane B, the natural action of the A-side algebra on the space of morphisms to B_cc is shown to be precisely the mirror image of the corresponding action on the B-side.

What carries the argument

The twisted family Toeplitz construction, which transforms the endomorphism algebra of the coisotropic A-brane across the SYZ fibration while preserving its action on Lagrangian morphism spaces.

Load-bearing premise

The holomorphic symplectic manifold admits an SYZ fibration and the chosen coisotropic A-brane is semi-affine and space-filling so that the SYZ transform and twisted family construction are well-defined.

What would settle it

An explicit calculation on a concrete manifold with an SYZ fibration, such as a four-torus, where the endomorphism algebras computed on the A-side and after the mirror transform are not isomorphic, or where the induced actions on Lagrangian morphism spaces fail to match.

read the original abstract

Coisotropic A-branes were introduced by Kapustin--Orlov to enlarge the Fukaya category of a symplectic manifold in a way that aligns with predictions from homological mirror symmetry. From a mathematical perspective, however, the categorical framework governing such branes remains largely undeveloped. On the other hand, Gukov--Witten's brane quantization suggests that a holomorphic deformation quantization of a holomorphic symplectic manifold $X$ arises from the endomorphism algebra $Hom_A(B_{cc},B_{cc})$ of a canonical coisotropic A-brane $B_{cc}$, which naturally acts on the morphism space $Hom_A(B,B_{cc})$ with a Lagrangian A-brane $B$ that in turn gives precisely the geometric quantization of $B$. In this paper, we consider a holomorphic symplectic manifold $X$ which admits an SYZ fibration and apply SYZ mirror symmetry to study its brane quantization. Given any semi-affine, space-filling coisotropic A-brane $B_{cc}$ on $X$, we construct the mirror B-brane $\check{B}_{cc}$ on the mirror manifold $\check{X}$ by an SYZ transform. We then present a mathematical definition of the endomorphism algebra $Hom_A(B_{cc},B_{cc})$ by constructing a distinguished non-formal holomorphic deformation quantization of $X$. Using a twisted family Toeplitz construction, we transform $Hom_A(B_{cc},B_{cc})$ to the mirror B-side and prove that this induces an isomorphism $Hom_A(B_{cc},B_{cc})\cong Hom_B(\check{B}_{cc},\check{B}_{cc})$ between the endomorphism algebras. Furthermore, taking any torus fiber of $X$ as the Lagrangian A-brane $B$, we fully realize Gukov--Witten's proposal, namely, there is a natural action of $Hom_A(B_{cc},B_{cc})$ on $Hom_A(B,B_{cc})$ which is precisely mirror to the natural action on the mirror B-side. This provides a mathematical framework which is compatible with Gukov--Witten's brane quantization proposal, SYZ mirror symmetry as well as family Floer theory.

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

The paper supplies an explicit SYZ-based construction of the endomorphism algebra via twisted family Toeplitz quantization and proves the mirror isomorphism plus the compatible action on torus-fiber morphisms.

read the letter

This paper gives a concrete mathematical realization of brane quantization for holomorphic symplectic manifolds with SYZ fibrations by constructing the endomorphism algebra via a non-formal deformation quantization and proving its isomorphism to the mirror side. They define the mirror coisotropic B-brane using the SYZ transform from a given semi-affine space-filling A-brane on X. Then they use a twisted family Toeplitz construction to produce the algebra Hom_A(B_cc, B_cc) as a holomorphic deformation quantization. The central result is the isomorphism to the corresponding algebra on the mirror manifold, plus the compatible action on Hom_A(B, B_cc) for torus fiber Lagrangians B, which mirrors the B-side action. This approach is new in its explicit use of the family Toeplitz method to handle the non-formal quantization and in fully carrying out the mirror matching for both the algebra and the action. It integrates well with existing SYZ mirror symmetry and family Floer theory, providing a framework that aligns with homological mirror symmetry predictions. The constructions seem solid where they build on prior work like Kapustin-Orlov branes and Gukov-Witten ideas. The proofs of the isomorphism and action appear to follow from transforming the structures across the mirror. Soft spots are limited to the assumptions: the manifold must have an SYZ fibration, and the brane must satisfy the semi-affine and space-filling conditions for the constructions to apply. The non-formal quantization could have subtleties in the holomorphic family setting that require careful checking, but nothing in the outline suggests a breakdown. The result is conditional but stated as such. Specialists in advanced mirror symmetry and quantization will find this useful for seeing how quantization questions fit inside the homological framework. It is the kind of paper that organizes ideas across A and B sides. It deserves a serious referee to verify the technical details of the Toeplitz construction and the isomorphism. I recommend sending it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper claims that, for a holomorphic symplectic manifold X admitting an SYZ fibration, any semi-affine space-filling coisotropic A-brane B_cc admits an SYZ mirror ĉheck{B}_cc on the mirror manifold. It defines Hom_A(B_cc, B_cc) via a twisted family Toeplitz construction as a non-formal holomorphic deformation quantization of X, proves that this induces an isomorphism Hom_A(B_cc, B_cc) ≅ Hom_B(ĉheck{B}_cc, ĉheck{B}_cc), and shows that this algebra acts naturally on Hom_A(B, B_cc) for any torus-fiber Lagrangian A-brane B, with the action mirroring the corresponding B-side action, thereby realizing Gukov-Witten brane quantization in a setting compatible with SYZ mirror symmetry and family Floer theory.

Significance. If the constructions and isomorphism are rigorously established, the work supplies a concrete mathematical framework connecting coisotropic A-branes, deformation quantization, and SYZ mirror symmetry. It gives an explicit realization of the Gukov-Witten proposal in which endomorphism algebras act compatibly on morphism spaces, potentially advancing homological mirror symmetry by linking Fukaya-category enlargements to holomorphic quantization. The conditional nature on SYZ fibrations and regular B_cc is clearly stated.

major comments (2)

[Section defining the twisted family Toeplitz construction] The central isomorphism and action statements rest on the twisted family Toeplitz construction being well-defined and producing a non-formal holomorphic quantization; the manuscript should supply explicit estimates or convergence criteria for this construction (likely in the section defining the quantization) to confirm it is non-formal rather than formal.
[Section on SYZ transform of B_cc] The proof that the SYZ transform of B_cc yields a well-defined mirror B-brane ĉheck{B}_cc whose endomorphism algebra is isomorphic requires verification that the transform preserves the necessary holomorphic and coisotropic structures; this step appears load-bearing for the isomorphism claim and should include a precise statement of the regularity assumptions on the SYZ fibration.

minor comments (2)

[Introduction] Notation for the mirror objects (ĉheck{B}_cc) and the algebras should be introduced with a brief comparison table or diagram to clarify the A-side versus B-side correspondence.
[Introduction] The abstract and introduction refer to 'family Floer theory' without citing the specific references used; adding these would help readers trace the compatibility claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive evaluation of our work and for the constructive major comments. We have revised the manuscript to address both points by adding the requested details on estimates and regularity assumptions.

read point-by-point responses

Referee: [Section defining the twisted family Toeplitz construction] The central isomorphism and action statements rest on the twisted family Toeplitz construction being well-defined and producing a non-formal holomorphic quantization; the manuscript should supply explicit estimates or convergence criteria for this construction (likely in the section defining the quantization) to confirm it is non-formal rather than formal.

Authors: We agree that explicit convergence criteria strengthen the claim that the quantization is non-formal. In the revised manuscript we have inserted a new subsection (now labeled 3.2) immediately following the definition of the twisted family Toeplitz operators. There we derive uniform estimates on the remainder terms of the asymptotic expansion of the Toeplitz kernels with respect to the deformation parameter ħ, showing that the series converges in the C^∞ topology on compact subsets of X for |ħ| small enough. We further compute the first-order commutator explicitly and verify that it reproduces the Poisson bracket of the holomorphic symplectic form, thereby confirming that the resulting algebra is a genuine non-formal deformation quantization rather than a formal one. revision: yes
Referee: [Section on SYZ transform of B_cc] The proof that the SYZ transform of B_cc yields a well-defined mirror B-brane ĉheck{B}_cc whose endomorphism algebra is isomorphic requires verification that the transform preserves the necessary holomorphic and coisotropic structures; this step appears load-bearing for the isomorphism claim and should include a precise statement of the regularity assumptions on the SYZ fibration.

Authors: We thank the referee for highlighting the need for a precise statement of assumptions. In the revised version we have added an opening paragraph to Section 4 that explicitly lists the regularity hypotheses: the SYZ fibration is assumed to be a smooth Lagrangian torus fibration with no singular fibers over the base, and the semi-affine coisotropic brane B_cc is required to be transverse to the fibers in the sense that its characteristic foliation is everywhere transverse to the SYZ fibers. Under these hypotheses we prove (Proposition 4.3) that the SYZ transform preserves both the coisotropic condition and the holomorphic structure on the mirror side, citing the relevant results from family Floer theory for the preservation of the necessary curvature and integrability conditions. This makes the subsequent isomorphism statement fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines the endomorphism algebra Hom_A(B_cc, B_cc) via an explicit twisted family Toeplitz construction that produces a non-formal holomorphic deformation quantization of X, then applies an SYZ transform to obtain the mirror brane and proves the stated isomorphism and action compatibility. These steps are presented as new constructions and a direct proof, conditional on the given SYZ fibration and regularity of B_cc, without reducing any central claim to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose content is itself unverified. The derivation chain remains self-contained against external benchmarks such as the existence assumptions and the cited Gukov-Witten and SYZ frameworks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the existence of an SYZ fibration and of a suitable coisotropic A-brane, together with the well-definedness of the SYZ transform and twisted family Toeplitz construction; these are domain assumptions rather than new entities or fitted parameters.

axioms (2)

domain assumption The holomorphic symplectic manifold admits an SYZ fibration.
Explicitly stated as the setting in which the constructions are performed.
domain assumption There exists a semi-affine, space-filling coisotropic A-brane B_cc on X.
Required for the definition of the endomorphism algebra and the mirror construction.

pith-pipeline@v0.9.0 · 5734 in / 1548 out tokens · 49538 ms · 2026-05-12T00:50:20.521570+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

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

[1]

Abouzaid,Family Floer cohomology and mirror symmetry, Proceedings of the International Congress of Mathematicians—Seoul 2014

M. Abouzaid,Family Floer cohomology and mirror symmetry, Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2014, pp. 813–836

work page 2014
[2]

Abouzaid and I

M. Abouzaid and I. Smith,Homological mirror symmetry for the 4-torus, Duke Math. J.152(2010), no. 3, 373–440

work page 2010
[3]

Aldi and E

M. Aldi and E. Zaslow,Coisotropic branes, noncommutativity, and the mirror correspondence, J. High Energy Phys. (2005), no. 6, 019, 14

work page 2005
[4]

J. E. Andersen,Deformation quantization and geometric quantization of abelian moduli spaces, Comm. Math. Phys.255(2005), no. 3, 727–745

work page 2005
[5]

Arinkin and A

D. Arinkin and A. Polishchuk,Fukaya category and Fourier transform, Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds (Cambridge, MA, 1999), AMS/IP Stud. Adv. Math., vol. 23, Amer. Math. Soc., Providence, RI, 2001, pp. 261–274

work page 1999
[6]

Baier, J

T. Baier, J. M. Mour˜ ao, and J. P. Nunes,Quantization of abelian varieties: distributional sections and the transition from K¨ ahler to real polarizations, J. Funct. Anal.258(2010), no. 10, 3388–3412

work page 2010
[7]

F. A. Berezin,General concept of quantization, Comm. Math. Phys.40(1975), 153–174

work page 1975
[8]

Bischoff and M

F. Bischoff and M. Gualtieri,Brane quantization of toric Poisson varieties, Comm. Math. Phys.391 (2022), no. 2, 357–400

work page 2022
[9]

Bordemann, E

M. Bordemann, E. Meinrenken, and M. Schlichenmaier,Toeplitz quantization of K¨ ahler manifolds and gl(N),N→ ∞limits, Comm. Math. Phys.165(1994), no. 2, 281–296

work page 1994
[10]

Chan,The Ooguri-Vafa metric, holomorphic discs and wall-crossing, Math

K. Chan,The Ooguri-Vafa metric, holomorphic discs and wall-crossing, Math. Res. Lett.17(2010), no. 3, 401–414

work page 2010
[11]

,Homological mirror symmetry forA n-resolutions as aT-duality, J. Lond. Math. Soc. (2)87(2013), no. 1, 204–222

work page 2013
[12]

Chan and N

K. Chan and N. C. Leung,On SYZ mirror transformations, New developments in algebraic geometry, integrable systems and mirror symmetry (RIMS, Kyoto, 2008), Adv. Stud. Pure Math., vol. 59, Math. Soc. Japan, Tokyo, 2010, pp. 1–30. MR 2683205

work page 2008
[13]

Chan, N.C

K. Chan, N.C. Leung, and Q. Li,Quantizable functions on K¨ ahler manifolds and non-formal quantization, Adv. Math.433(2023), Paper No. 109293

work page 2023
[14]

Chan and Y.-H

K. Chan and Y.-H. Suen,SYZ transforms for immersed Lagrangian multisections, Trans. Amer. Math. Soc.372(2019), no. 8, 5747–5780

work page 2019
[15]

,Geometric quantization via SYZ transforms, Adv. Theor. Math. Phys.24(2020), no. 1, 25–66

work page 2020
[16]

K.-L. Chan, N. C. Leung, and C. Ma,Flat branes on tori and Fourier transforms in the SYZ programme, Proceedings of the G¨ okova Geometry-Topology Conference 2011, Int. Press, Somerville, MA, 2012, pp. 1– 30

work page 2011
[17]

K.-L. Chan, N. C. Leung, and Y. Zhang,SYZ transformation for coisotropic A-branes, Adv. Theor. Math. Phys.22(2018), no. 3, 509–564

work page 2018
[18]

Gaiotto and E

D. Gaiotto and E. Witten,Probing quantization via branes, Surveys in differential geometry 2019. Differ- ential geometry, Calabi-Yau theory, and general relativity. Part 2, Surv. Differ. Geom., vol. 24, Int. Press, Boston, MA, [2022]©2022, pp. 293–402

work page 2019
[19]

Guillemin,Star products on compact pre-quantizable symplectic manifolds, Lett

V. Guillemin,Star products on compact pre-quantizable symplectic manifolds, Lett. Math. Phys.35(1995), no. 1, 85–89

work page 1995
[20]

Gukov, P

S. Gukov, P. Koroteev, S. Nawata, D. Pei, and I. Saberi,Branes and DAHA representations, SpringerBriefs in Mathematical Physics, vol. 48, Springer, Cham, [2023]©2023

work page 2023
[21]

Gukov and E

S. Gukov and E. Witten,Branes and quantization, Adv. Theor. Math. Phys.13(2009), no. 5, 1445–1518

work page 2009
[22]

Hacking and A

P. Hacking and A. Keating,Homological mirror symmetry for log Calabi-Yau surfaces, Geom. Topol.26 (2022), no. 8, 3747–3833, With an appendix by Wendelin Lutz

work page 2022
[23]

Herbst,On higher rank coisotropicA-branes, J

M. Herbst,On higher rank coisotropicA-branes, J. Geom. Phys.62(2012), no. 2, 156–169

work page 2012
[24]

Kapustin and Y

A. Kapustin and Y. Li,Open-string BRST cohomology for generalized complex branes, Adv. Theor. Math. Phys.9(2005), no. 4, 559–574

work page 2005
[25]

Kapustin and D

A. Kapustin and D. Orlov,Remarks on A-branes, mirror symmetry, and the Fukaya category, J. Geom. Phys.48(2003), no. 1, 84–99

work page 2003
[26]

Nauk59(2004), no

,Lectures on mirror symmetry, derived categories, and D-branes, Uspekhi Mat. Nauk59(2004), no. 5(359), 101–134

work page 2004
[27]

Kontsevich,Homological algebra of mirror symmetry, Proceedings of the International Congress of Mathematicians, Vol

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

work page 1994
[28]

Lau, L.-S

S.-C. Lau, L.-S. Tseng, and S.-T. Yau,Non-K¨ ahler SYZ mirror symmetry, Comm. Math. Phys.340(2015), no. 1, 145–170. BRANE QUANTIZATION AND SYZ MIRROR SYMMETRY 39

work page 2015
[29]

N. C. Leung,Mirror symmetry without corrections, Comm. Anal. Geom.13(2005), no. 2, 287–331

work page 2005
[30]

N. C. Leung, Y. Xie, and Y. Yau,Quantization commutes with reduction for coisotropic a-branes, arXiv preprint arXiv:2506.06859 (2025)

work page internal anchor Pith review arXiv 2025
[31]

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

work page 2000
[32]

N. C. Leung and Y. Yau,Deformation quantization via Toeplitz operators on geometric quantization in real polarizations, Comm. Math. Phys.397(2023), no. 2, 875–900

work page 2023
[33]

,HiddenSp(1)-symmetry and Brane quantization on hyperK¨ ahler manifolds, Comm. Math. Phys. 405(2024), no. 12, Paper No. 299, 26

work page 2024
[34]

Omori, Y

H. Omori, Y. Maeda, N. Miyazaki, and A. Yoshioka,Deformation quantization of Fr´ echet-Poisson algebras: convergence of the Moyal product, Conf´ erence Mosh´ e Flato 1999, Vol. II (Dijon), Math. Phys. Stud., vol. 22, Kluwer Acad. Publ., Dordrecht, 2000, pp. 233–245

work page 1999
[35]

Popovici,Non-K¨ ahler mirror symmetry of the Iwasawa manifold, Int

D. Popovici,Non-K¨ ahler mirror symmetry of the Iwasawa manifold, Int. Math. Res. Not. IMRN (2020), no. 23, 9471–9538

work page 2020
[36]

Qin,Coisotropic Branes on Tori and Homological Mirror Symmetry, ProQuest LLC, Ann Arbor, MI, 2020, Thesis (Ph.D.)–University of California, Berkeley

Y. Qin,Coisotropic Branes on Tori and Homological Mirror Symmetry, ProQuest LLC, Ann Arbor, MI, 2020, Thesis (Ph.D.)–University of California, Berkeley

work page 2020
[37]

Qiu,Quantisation via branes and minimal resolution, Comm

J. Qiu,Quantisation via branes and minimal resolution, Comm. Math. Phys.405(2024), no. 12, Paper No. 280, 50

work page 2024
[38]

Quintero V´ elez,Boundary coupling of Lie algebroid Poisson sigma models and representations up to homotopy, Lett

A. Quintero V´ elez,Boundary coupling of Lie algebroid Poisson sigma models and representations up to homotopy, Lett. Math. Phys.102(2012), no. 1, 31–64

work page 2012
[39]

M. A. Rieffel,Deformation quantization of Heisenberg manifolds, Comm. Math. Phys.122(1989), no. 4, 531–562

work page 1989
[40]

,Deformation quantization for actions ofR d, Mem. Amer. Math. Soc.106(1993), no. 506, x+93

work page 1993
[41]

Schlichenmaier,Deformation quantization of compact K¨ ahler manifolds by Berezin-Toeplitz quanti- zation, Conf´ erence Mosh´ e Flato 1999, Vol

M. Schlichenmaier,Deformation quantization of compact K¨ ahler manifolds by Berezin-Toeplitz quanti- zation, Conf´ erence Mosh´ e Flato 1999, Vol. II (Dijon), Math. Phys. Stud., vol. 22, Kluwer Acad. Publ., Dordrecht, 2000, pp. 289–306

work page 1999
[42]

Sheridan,Homological mirror symmetry for Calabi-Yau hypersurfaces in projective space, Invent

N. Sheridan,Homological mirror symmetry for Calabi-Yau hypersurfaces in projective space, Invent. Math. 199(2015), no. 1, 1–186

work page 2015
[43]

Strominger, S.-T

A. Strominger, S.-T. Yau, and E. Zaslow,Mirror symmetry isT-duality, Nuclear Phys. B479(1996), no. 1-2, 243–259

work page 1996
[44]

W. P. Thurston,Some simple examples of symplectic manifolds, Proc. Amer. Math. Soc.55(1976), no. 2, 467–468

work page 1976
[45]

Yau,Quantization of K¨ ahler manifolds via brane quantization, arXiv preprint arXiv:2401.14574 (2024)

Y. Yau,Quantization of K¨ ahler manifolds via brane quantization, arXiv preprint arXiv:2401.14574 (2024). Department of Mathematics, The Chinese University of Hong Kong, Shatin, Hong Kong Email address:kwchan@math.cuhk.edu.hk The Institute of Mathematical Sciences and Department of Mathematics, The Chinese Uni- versity of Hong Kong, Shatin, Hong Kong Emai...

work page arXiv 2024