pith. sign in

arxiv: 2506.06859 · v2 · pith:PJBEXAV5new · submitted 2025-06-07 · 🧮 math.SG · math-ph· math.DG· math.MP

Quantization commutes with reduction for coisotropic A-branes

Pith reviewed 2026-05-19 10:22 UTC · model grok-4.3

classification 🧮 math.SG math-phmath.DGmath.MP
keywords coisotropic A-branesHamiltonian G-manifoldsMarsden-Weinstein reductionquantization commutes with reductionGuillemin-Sternberg theoremsymplectic quotientsA-brane intersectionscotangent bundles
0
0 comments X

The pith

Coisotropic A-branes on Hamiltonian G-manifolds reduce to coisotropic A-branes on the symplectic quotient via a Marsden-Weinstein-Meyer construction that recovers the Lagrangian case and commutes with intersections.

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

The paper defines G-invariance for coisotropic A-branes on a Hamiltonian G-manifold X and constructs a reduced coisotropic A-brane B_red on the quotient X//G. This recovers the standard reduction when the brane is Lagrangian. It further proves that intersections between A-branes commute with this reduction process. In the case X equals the cotangent bundle of a compact Kähler manifold M equipped with a Hamiltonian G-action, the framework recasts the Guillemin-Sternberg quantization-commutes-with-reduction theorem as an isomorphism between Hom spaces of reduced branes on the quotient and G-invariant Hom spaces on the original manifold, taking B to be the zero section M.

Core claim

On a Hamiltonian G-manifold X we define G-invariance of a coisotropic A-brane B. Under neat assumptions we construct a Marsden-Weinstein-Meyer type reduction that produces a coisotropic A-brane B_red on the quotient X//G, recovering the usual Lagrangian construction. We show that intersections of A-branes commute with reduction. For a canonical coisotropic A-brane B_cc on a holomorphic Hamiltonian G_C-manifold there is a fibration of (B_cc)_red over X//G_C. When X = T^*M for compact Kähler M with Hamiltonian G-action, the Guillemin-Sternberg theorem is equivalent to the isomorphism Hom_{X//G}(B_red, (B_cc)_red) ≅ Hom_X(B, B_cc)^G with B = M.

What carries the argument

The Marsden-Weinstein-Meyer type construction that produces the reduced coisotropic A-brane B_red from a G-invariant coisotropic A-brane B on X.

If this is right

  • The reduced object B_red is itself a coisotropic A-brane on the symplectic quotient.
  • Intersections of A-branes on X correspond to intersections of their reductions on X//G.
  • The canonical coisotropic A-brane reduces to an object that fibers over the complex quotient X//G_C.
  • Guillemin-Sternberg quantization commutes with reduction when re-expressed in the language of Hom spaces between the reduced branes.

Where Pith is reading between the lines

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

  • The same reduction may apply to other classes of branes or to derived categories of coherent sheaves on the quotient.
  • Explicit low-dimensional examples such as torus actions on cotangent bundles of Kähler manifolds could be computed to test the Hom-space isomorphism directly.
  • The fibration structure on the reduced canonical brane suggests a possible correspondence with holomorphic structures on the complex quotient.

Load-bearing premise

The reduction construction and all subsequent claims hold only under unspecified 'neat assumptions' on the coisotropic A-brane and the group action.

What would settle it

An explicit Hamiltonian G-manifold X, G-invariant coisotropic A-brane B, and pair of A-branes whose intersection after reduction differs from the reduction of their intersection, or a case of X = T^*M where the dimension of the reduced Hom space fails to equal the dimension of the G-invariant Hom space.

read the original abstract

On a Hamiltonian $G$-manifold $X$, we define the notion of $G$-invariance of coisotropic A-branes $B$. Under neat assumptions, we give a Marsden-Weinstein-Meyer type construction of a coisotropic A-brane $B_{\operatorname{red}}$ on $X // G$ from $B$, recovering the usual construction when $B$ is Lagrangian. For a canonical coisotropic A-brane $B_{\operatorname{cc}}$ on a holomorphic Hamiltonian $G_\mathbb{C}$-manifold $X$, there is a fibration of $(B_{\operatorname{cc}})_{\operatorname{red}}$ over $X // G_\mathbb{C}$. We also show that `intersections of A-branes commute with reduction'. When $X = T^*M$ for $M$ being compact K\"ahler with a Hamiltonian $G$-action, Guillemin-Sternberg `quantization commutes with reduction' theorem can be interpreted as $\operatorname{Hom}_{X // G}(B_{\operatorname{red}}, (B_{\operatorname{cc}})_{\operatorname{red}}) \cong \operatorname{Hom}_X(B, B_{\operatorname{cc}})^G$ with $B = M$.

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 manuscript defines the notion of G-invariance for coisotropic A-branes on a Hamiltonian G-manifold X. Under neat assumptions, it gives a Marsden-Weinstein-Meyer type construction of a reduced coisotropic A-brane B_red on the symplectic quotient X//G, recovering the standard Lagrangian reduction. It further shows that intersections of A-branes commute with reduction and interprets the Guillemin-Sternberg quantization commutes with reduction theorem as the isomorphism Hom_{X//G}(B_red, (B_cc)_red) ≅ Hom_X(B, B_cc)^G when X = T^*M for M compact Kähler with Hamiltonian G-action and B = M.

Significance. If the construction holds, the result extends symplectic reduction and quantization commutes with reduction from Lagrangian submanifolds to coisotropic A-branes, providing a geometric interpretation in the language of A-branes and Hom spaces. The explicit recovery of the Lagrangian case and the categorical reformulation of a classical theorem are strengths that would make the work a useful reference in symplectic geometry and mirror symmetry.

major comments (2)
  1. [Abstract] Abstract and the statement of the main construction: the reduction of a coisotropic A-brane to B_red is stated only under 'neat assumptions' that are invoked but never enumerated or justified (e.g., properness of the moment map on the support of B, transversality of the G-action to the characteristic foliation, or a coisotropic analogue of the clean-intersection condition). Because the claims that B_red remains a coisotropic A-brane, that intersections commute with reduction, and that the Hom isomorphism holds all depend on these conditions, their absence prevents verification of the scope of the results.
  2. [Main construction] The section containing the proof of the Marsden-Weinstein-Meyer type construction: without an explicit verification that the reduced object satisfies the coisotropic and A-brane axioms (or an error estimate when the neat assumptions are relaxed), it is impossible to confirm that the construction is well-defined beyond the Lagrangian case already known from Guillemin-Sternberg.
minor comments (2)
  1. The fibration of (B_cc)_red over X//G_C is asserted but the fibers and the holomorphic structure are not described in sufficient detail for a reader to reconstruct the object.
  2. Notation for the canonical coisotropic A-brane B_cc and the reduced objects should be introduced with a short table or diagram to avoid confusion when multiple reductions are discussed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We appreciate the positive evaluation of the significance of the work in extending reduction and quantization commutes with reduction to coisotropic A-branes. We address each major comment below and will revise the manuscript to incorporate the suggested clarifications.

read point-by-point responses
  1. Referee: [Abstract] Abstract and the statement of the main construction: the reduction of a coisotropic A-brane to B_red is stated only under 'neat assumptions' that are invoked but never enumerated or justified (e.g., properness of the moment map on the support of B, transversality of the G-action to the characteristic foliation, or a coisotropic analogue of the clean-intersection condition). Because the claims that B_red remains a coisotropic A-brane, that intersections commute with reduction, and that the Hom isomorphism holds all depend on these conditions, their absence prevents verification of the scope of the results.

    Authors: We agree that the neat assumptions should be explicitly enumerated and justified to make the scope of the results verifiable. In the revised manuscript we will update the abstract to list them (properness of the moment map on the support of B, transversality of the G-action to the characteristic foliation, and the clean-intersection condition in the coisotropic setting). We will also insert a short preliminary subsection that defines these conditions, recalls their role in ensuring the quotient is a smooth symplectic manifold, and explains why they guarantee that B_red remains coisotropic and satisfies the A-brane axioms. This change will directly address the referee's concern. revision: yes

  2. Referee: [Main construction] The section containing the proof of the Marsden-Weinstein-Meyer type construction: without an explicit verification that the reduced object satisfies the coisotropic and A-brane axioms (or an error estimate when the neat assumptions are relaxed), it is impossible to confirm that the construction is well-defined beyond the Lagrangian case already known from Guillemin-Sternberg.

    Authors: We acknowledge that a more explicit, step-by-step verification would improve readability and make the generalization from the Lagrangian case clearer. In the revised version we will expand the main construction section with a dedicated verification paragraph that (i) computes the reduced symplectic form on the support of B_red and confirms its kernel coincides with the reduced characteristic distribution, and (ii) checks compatibility of the reduced almost-complex structure with the A-brane condition. The Lagrangian case will be recovered as the special instance in which the characteristic foliation is trivial. We note that providing quantitative error estimates for relaxed assumptions would require substantial additional analysis outside the present scope; we will instead add a brief remark indicating this as a possible direction for future work. revision: yes

Circularity Check

0 steps flagged

No circularity: construction and interpretation rest on external standard results

full rationale

The paper defines G-invariance for coisotropic A-branes and constructs the reduced brane B_red via a Marsden-Weinstein-Meyer style procedure under unspecified neat assumptions, explicitly recovering the known Lagrangian case. The intersection-commutation statement and the reinterpretation of the Guillemin-Sternberg theorem as a G-invariant Hom isomorphism are presented as consequences of this construction rather than tautological redefinitions. No parameter is fitted and then relabeled as a prediction, no self-citation supplies a load-bearing uniqueness theorem, and no ansatz is smuggled through prior work by the same authors. The derivation therefore remains self-contained against the cited external symplectic reduction and quantization theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, the paper relies on standard background from symplectic geometry, Hamiltonian actions, and A-brane theory without introducing new free parameters or invented entities; axioms are domain assumptions from prior literature.

axioms (2)
  • domain assumption Standard properties of Hamiltonian G-actions and Marsden-Weinstein-Meyer reduction on symplectic manifolds
    Invoked for the reduction construction on X // G
  • domain assumption Existence and properties of coisotropic A-branes in the context of holomorphic Hamiltonian G_C-manifolds
    Used to define the canonical coisotropic A-brane B_cc and its fibration after reduction

pith-pipeline@v0.9.0 · 5761 in / 1701 out tokens · 30148 ms · 2026-05-19T10:22:31.600948+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.

Forward citations

Cited by 2 Pith papers

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

  1. Brane quantization and SYZ mirror symmetry

    math.DG 2026-04 unverdicted novelty 8.0

    Authors define a holomorphic deformation quantization of a holomorphic symplectic manifold via a coisotropic A-brane, prove its endomorphism algebra is isomorphic to the mirror B-brane algebra under SYZ symmetry, and ...

  2. Brane quantization and SYZ mirror symmetry

    math.DG 2026-04 unverdicted novelty 6.0

    For holomorphic symplectic manifolds admitting SYZ fibrations, the endomorphism algebra of a canonical coisotropic A-brane is isomorphic via SYZ transform to the endomorphism algebra of its mirror B-brane, with the ac...

Reference graph

Works this paper leans on

62 extracted references · 62 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Topological Chern-Simons/Matter Theories

    M. Aganagic, K. Costello, J. McNamara, and C. Vafa, Topological chern-simons/matter theories, arXiv preprint arXiv:1706.09977 (2017)

  2. [2]

    Aharony, A

    O. Aharony, A. Feldman, and M. Honda, A string dual for partially topological Chern-Simons-matter theories , J. High Energy Phys. (2019), no. 6, 104, 56

  3. [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

  4. [4]

    ´Alvarez, Reduction of symplectic groupoids and quotients of quasi-Poisson manifolds , Transform

    D. ´Alvarez, Reduction of symplectic groupoids and quotients of quasi-Poisson manifolds , Transform. Groups 28 (2023), no. 4, 1357–1374

  5. [5]

    Anel and D

    M. Anel and D. Calaque, Shifted symplectic reduction of derived critical loci , Adv. Theor. Math. Phys. 26 (2022), no. 6, 1543–1583

  6. [6]

    Ben-Bassat, Multiple derived Lagrangian intersections , Stacks and categories in geometry, topology, and algebra, Contemp

    O. Ben-Bassat, Multiple derived Lagrangian intersections , Stacks and categories in geometry, topology, and algebra, Contemp. Math., vol. 643, Amer. Math. Soc., Providence, RI, 2015, pp. 119–126

  7. [7]

    Bischoff and M

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

  8. [8]

    F. A. Bogomolov, R. N. D´ eev, and M. Verbitsky,Sections of Lagrangian fibrations on holomorphically symplectic manifolds and degenerate twistorial deformations , Adv. Math. 405 (2022), Paper No. 108479, 14

  9. [9]

    Braverman, Cohomology of the Mumford quotient , Quantization of singular symplectic quotients, Progr

    M. Braverman, Cohomology of the Mumford quotient , Quantization of singular symplectic quotients, Progr. Math., vol. 198, Birkh¨ auser, Basel, 2001, pp. 47–59. QUANTIZATION COMMUTES WITH REDUCTION FOR COISOTROPIC A-BRANES 21

  10. [10]

    Bursztyn, G

    H. Bursztyn, G. R. Cavalcanti, and M. Gualtieri, Reduction of Courant algebroids and generalized complex structures, Adv. Math. 211 (2007), no. 2, 726–765

  11. [11]

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

  12. [12]

    S. K. Donaldson, Holomorphic discs and the complex Monge-Amp` ere equation, J. Symplectic Geom. 1 (2002), no. 2, 171–196

  13. [13]

    Dorfman, Dirac structures and integrability of nonlinear evolution equations , Nonlinear Science: Theory and Applications, John Wiley & Sons, Ltd., Chichester, 1993

    I. Dorfman, Dirac structures and integrability of nonlinear evolution equations , Nonlinear Science: Theory and Applications, John Wiley & Sons, Ltd., Chichester, 1993

  14. [14]

    Echeverr´ ıa-Enr´ ıquez, M

    A. Echeverr´ ıa-Enr´ ıquez, M. C. Mu˜ noz Lecanda, and N. Rom´ an-Roy,Reduction of presymplectic manifolds with symmetry, Rev. Math. Phys. 11 (1999), no. 10, 1209–1247

  15. [15]

    Etingof, E

    P. Etingof, E. Frenkel, and D. Kazhdan, An analytic version of the Langlands correspondence for complex curves, Integrability, quantization, and geometry II. Quantum theories and algebraic geometry, Proc. Sympos. Pure Math., vol. 103, Amer. Math. Soc., Providence, RI, [2021] ©2021, pp. 137–202

  16. [16]

    Fukaya, Morse homotopy, A∞-category, and Floer homologies, Proceedings of GARC Workshop on Geom- etry and Topology ’93 (Seoul, 1993), Lecture Notes Ser., vol

    K. Fukaya, Morse homotopy, A∞-category, and Floer homologies, Proceedings of GARC Workshop on Geom- etry and Topology ’93 (Seoul, 1993), Lecture Notes Ser., vol. 18, Seoul Nat. Univ., Seoul, 1993, pp. 1–102

  17. [17]

    Fukaya, Y

    K. Fukaya, Y. Oh, H. Ohta, and K. Ono, Lagrangian intersection Floer theory: anomaly and obstruction. Part I, AMS/IP Studies in Advanced Mathematics, vol. 46, American Mathematical Society, Providence, RI; International Press, Somerville, MA, 2009. MR 2553465

  18. [18]

    Gaiotto and E

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

  19. [19]

    Ginzburg, Lectures on Nakajima’s quiver varieties , Geometric methods in representation theory

    V. Ginzburg, Lectures on Nakajima’s quiver varieties , Geometric methods in representation theory. I, S´ emin. Congr., vol. 24, Soc. Math. France, Paris, 2012, pp. 145–219

  20. [20]

    Gualtieri, Generalized complex geometry, Ann

    M. Gualtieri, Generalized complex geometry, Ann. of Math. (2) 174 (2011), no. 1, 75–123

  21. [21]

    Guillemin and S

    V. Guillemin and S. Sternberg, Geometric quantization and multiplicities of group representations , Invent. Math. 67 (1982), no. 3, 515–538

  22. [22]

    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

  23. [23]

    Gukov and E

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

  24. [24]

    Hendricks, R

    K. Hendricks, R. Lipshitz, and S. Sarkar, A simplicial construction of G-equivariant Floer homology , Proc. Lond. Math. Soc. (3) 121 (2020), no. 6, 1798–1866

  25. [25]

    Herbst, On higher rank coisotropic A-branes, J

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

  26. [26]

    N. J. Hitchin, A. Karlhede, U. Lindstr¨ om, and M. Roˇ cek,Hyper-K¨ ahler metrics and supersymmetry, Comm. Math. Phys. 108 (1987), no. 4, 535–589

  27. [27]

    Hu, Hamiltonian symmetries and reduction in generalized geometry , Houston J

    S. Hu, Hamiltonian symmetries and reduction in generalized geometry , Houston J. Math. 35 (2009), no. 3, 787–811

  28. [28]

    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

  29. [29]

    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

  30. [30]

    Nauk 59 (2004), no

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

  31. [31]

    Kapustin and E

    A. Kapustin and E. Witten, Electric-magnetic duality and the geometric Langlands program, Commun. Number Theory Phys. 1 (2007), no. 1, 1–236

  32. [32]

    Katzarkov and L

    L. Katzarkov and L. Soriani, Homological mirror symmetry, coisotropic branes and P = W , Eur. J. Math. 4 (2018), no. 3, 1141–1160

  33. [33]

    Kim, S.-C

    Y. Kim, S.-C. Lau, and X. Zheng, T -equivariant disc potential and SYZ mirror construction , Adv. Math. 430 (2023), Paper No. 109209, 70

  34. [34]

    F. C. Kirwan, Cohomology of quotients in symplectic and algebraic geometry , Mathematical Notes, vol. 31, Princeton University Press, Princeton, NJ, 1984

  35. [35]

    Kontsevich, Homological algebra of mirror symmetry , Proceedings of the international congress of mathe- maticians, Springer, 1995, pp

    M. Kontsevich, Homological algebra of mirror symmetry , Proceedings of the international congress of mathe- maticians, Springer, 1995, pp. 120–139

  36. [36]

    S. Lau, N. C. Leung, and Y. L. Li, Equivariant Lagrangian correspondence and a conjecture of Teleman, arXiv preprint arXiv:2312.13926 (2023)

  37. [37]

    (2023), arXiv:2304.10969 https://arxiv.org/abs/2304.10969

    Y. Lekili and E. Segal, Equivariant Fukaya categories at singular values , arXiv preprint arXiv:2304.10969 (2023)

  38. [38]

    Lerman, R

    E. Lerman, R. Montgomery, and R. Sjamaar, Examples of singular reduction , Symplectic geometry, London Math. Soc. Lecture Note Ser., vol. 192, Cambridge Univ. Press, Cambridge, 1993, pp. 127–155

  39. [39]

    Lerman and R

    E. Lerman and R. Sjamaar, Stratified symplectic spaces and reduction , Ann. of Math. (2) 134 (1991), no. 2, 375–422

  40. [40]

    N. C. Leung and D. Wang, Geometric quantizations of mixed polarizations on K¨ ahler manifolds with t- symmetry, arXiv preprint arXiv:2301.01011 (2023)

  41. [41]

    N. C. Leung and Y. Yau, Hidden Sp(1)-symmetry and Brane quantization on hyperK¨ ahler manifolds, Comm. Math. Phys. 405 (2024), no. 12, Paper No. 299, 26. 22 NAICHUNG CONAN LEUNG, YING XIE AND YUTUNG YAU

  42. [42]

    Lin and S

    Y. Lin and S. Tolman, Symmetries in generalized K¨ ahler geometry, Comm. Math. Phys. 268 (2006), no. 1, 199–222

  43. [43]

    Lisiecki, Holomorphic Lagrangian bundles over flag manifolds , J

    W. Lisiecki, Holomorphic Lagrangian bundles over flag manifolds , J. Reine Angew. Math. 363 (1985), 174–190

  44. [44]

    Marsden and A

    J. Marsden and A. Weinstein, Reduction of symplectic manifolds with symmetry , Rep. Mathematical Phys. 5 (1974), no. 1, 121–130

  45. [45]

    J. E. Marsden and T. Ratiu, Reduction of Poisson manifolds , Lett. Math. Phys. 11 (1986), no. 2, 161–169

  46. [46]

    Meinrenken, Symplectic surgery and the Spinc-Dirac operator, Adv

    E. Meinrenken, Symplectic surgery and the Spinc-Dirac operator, Adv. Math. 134 (1998), no. 2, 240–277

  47. [47]

    K. R. Meyer, Symmetries and integrals in mechanics , Dynamical systems (Proc. Sympos., Univ. Bahia, Sal- vador, 1971), Academic Press, New York-London, 1973, pp. 259–272

  48. [48]

    J. M. Mour˜ ao, J. P. Nunes, A. Pereira, and D. Wang, A new look at unitarity in quantization commutes with reduction for toric manifolds , arXiv preprint arXiv:2412.17157 (2024)

  49. [49]

    Pantev, B

    T. Pantev, B. To¨ en, M. Vaqui´ e, and G. Vezzosi,Shifted symplectic structures, Publ. Math. Inst. Hautes ´Etudes Sci. 117 (2013), 271–328

  50. [50]

    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

  51. [51]

    , Shifted symplectic structure on Poisson Lie algebroid and generalized complex geometry, arXiv preprint arXiv:2407.15598 (2024)

  52. [52]

    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

  53. [53]

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

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

  54. [54]

    Sti´ enon and P

    M. Sti´ enon and P. Xu,Reduction of generalized complex structures, J. Geom. Phys. 58 (2008), no. 1, 105–121

  55. [55]

    Teleman, The quantization conjecture revisited, Ann

    C. Teleman, The quantization conjecture revisited, Ann. of Math. (2) 152 (2000), no. 1, 1–43

  56. [56]

    , Gauge theory and mirror symmetry , Proceedings of the International Congress of Mathematicians— Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2014, pp. 1309–1332

  57. [57]

    Tian and W

    Y. Tian and W. Zhang, An analytic proof of the geometric quantization conjecture of Guillemin-Sternberg , Invent. Math. 132 (1998), no. 2, 229–259

  58. [58]

    Vaisman, Reduction and submanifolds of generalized complex manifolds , Differential Geom

    I. Vaisman, Reduction and submanifolds of generalized complex manifolds , Differential Geom. Appl. 25 (2007), no. 2, 147–166

  59. [59]

    Verbitsky, Hyperholomorphic bundles over a hyper-K¨ ahler manifold, J

    M. Verbitsky, Hyperholomorphic bundles over a hyper-K¨ ahler manifold, J. Algebraic Geom. 5 (1996), no. 4, 633–669

  60. [60]

    Wang, Quantum spaces associated to mixed polarizations and their limiting behavior on toric varieties , arXiv preprint arXiv:2410.17130 (2024)

    D. Wang, Quantum spaces associated to mixed polarizations and their limiting behavior on toric varieties , arXiv preprint arXiv:2410.17130 (2024)

  61. [61]

    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)

  62. [62]

    Zambon, Reduction of branes in generalized complex geometry, J

    M. Zambon, Reduction of branes in generalized complex geometry, J. Symplectic Geom. 6 (2008), no. 4, 353–378. The Institute of Mathematical Sciences and Department of Mathematics, The Chinese University of Hong Kong, Shatin, Hong Kong Email address: leung@ims.cuhk.edu.hk Southern University of Science and Technology, 1088 Xueyuan A venue, Shenzhen 518055,...