Quantization commutes with reduction for coisotropic A-branes
Pith reviewed 2026-05-19 10:22 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [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)
- 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.
- 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
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
-
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
-
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
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
axioms (2)
- domain assumption Standard properties of Hamiltonian G-actions and Marsden-Weinstein-Meyer reduction on symplectic manifolds
- domain assumption Existence and properties of coisotropic A-branes in the context of holomorphic Hamiltonian G_C-manifolds
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Under neat assumptions, we give a Marsden-Weinstein-Meyer type construction of a coisotropic A-brane B_red on X // G from B, recovering the usual construction when B is Lagrangian. ... intersections of A-branes commute with reduction.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 4.2. Suppose that G acts on ν^{-1}(0) freely and 0 is a clean value of ν. Then Ω|ν^{-1}(0) descends to a transverse holomorphic symplectic form Ω_red on C_red := ν^{-1}(0)/G.
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
-
Brane quantization and SYZ mirror symmetry
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 ...
-
Brane quantization and SYZ mirror symmetry
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
-
[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)
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[2]
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
work page 2019
-
[3]
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]
´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
work page 2023
-
[5]
M. Anel and D. Calaque, Shifted symplectic reduction of derived critical loci , Adv. Theor. Math. Phys. 26 (2022), no. 6, 1543–1583
work page 2022
-
[6]
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
work page 2015
-
[7]
F. Bischoff and M. Gualtieri, Brane quantization of toric Poisson varieties , Comm. Math. Phys. 391 (2022), no. 2, 357–400
work page 2022
-
[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
work page 2022
-
[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
work page 2001
-
[10]
H. Bursztyn, G. R. Cavalcanti, and M. Gualtieri, Reduction of Courant algebroids and generalized complex structures, Adv. Math. 211 (2007), no. 2, 726–765
work page 2007
-
[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
work page 2018
-
[12]
S. K. Donaldson, Holomorphic discs and the complex Monge-Amp` ere equation, J. Symplectic Geom. 1 (2002), no. 2, 171–196
work page 2002
-
[13]
I. Dorfman, Dirac structures and integrability of nonlinear evolution equations , Nonlinear Science: Theory and Applications, John Wiley & Sons, Ltd., Chichester, 1993
work page 1993
-
[14]
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
work page 1999
-
[15]
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
work page 2021
-
[16]
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
work page 1993
- [17]
-
[18]
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
work page 2019
-
[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
work page 2012
-
[20]
Gualtieri, Generalized complex geometry, Ann
M. Gualtieri, Generalized complex geometry, Ann. of Math. (2) 174 (2011), no. 1, 75–123
work page 2011
-
[21]
V. Guillemin and S. Sternberg, Geometric quantization and multiplicities of group representations , Invent. Math. 67 (1982), no. 3, 515–538
work page 1982
- [22]
-
[23]
S. Gukov and E. Witten, Branes and quantization , Adv. Theor. Math. Phys. 13 (2009), no. 5, 1445–1518
work page 2009
-
[24]
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
work page 2020
-
[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
work page 2012
-
[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
work page 1987
-
[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
work page 2009
-
[28]
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
-
[29]
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
-
[30]
, Lectures on mirror symmetry, derived categories, and D-branes , Uspekhi Mat. Nauk 59 (2004), no. 5(359), 101–134
work page 2004
-
[31]
A. Kapustin and E. Witten, Electric-magnetic duality and the geometric Langlands program, Commun. Number Theory Phys. 1 (2007), no. 1, 1–236
work page 2007
-
[32]
L. Katzarkov and L. Soriani, Homological mirror symmetry, coisotropic branes and P = W , Eur. J. Math. 4 (2018), no. 3, 1141–1160
work page 2018
- [33]
-
[34]
F. C. Kirwan, Cohomology of quotients in symplectic and algebraic geometry , Mathematical Notes, vol. 31, Princeton University Press, Princeton, NJ, 1984
work page 1984
-
[35]
M. Kontsevich, Homological algebra of mirror symmetry , Proceedings of the international congress of mathe- maticians, Springer, 1995, pp. 120–139
work page 1995
- [36]
-
[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]
-
[39]
E. Lerman and R. Sjamaar, Stratified symplectic spaces and reduction , Ann. of Math. (2) 134 (1991), no. 2, 375–422
work page 1991
- [40]
-
[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
work page 2024
- [42]
-
[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
work page 1985
-
[44]
J. Marsden and A. Weinstein, Reduction of symplectic manifolds with symmetry , Rep. Mathematical Phys. 5 (1974), no. 1, 121–130
work page 1974
-
[45]
J. E. Marsden and T. Ratiu, Reduction of Poisson manifolds , Lett. Math. Phys. 11 (1986), no. 2, 161–169
work page 1986
-
[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
work page 1998
-
[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
work page 1971
- [48]
- [49]
-
[50]
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
- [51]
-
[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
work page 2024
-
[53]
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
work page 2012
-
[54]
M. Sti´ enon and P. Xu,Reduction of generalized complex structures, J. Geom. Phys. 58 (2008), no. 1, 105–121
work page 2008
-
[55]
Teleman, The quantization conjecture revisited, Ann
C. Teleman, The quantization conjecture revisited, Ann. of Math. (2) 152 (2000), no. 1, 1–43
work page 2000
-
[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
work page 2014
-
[57]
Y. Tian and W. Zhang, An analytic proof of the geometric quantization conjecture of Guillemin-Sternberg , Invent. Math. 132 (1998), no. 2, 229–259
work page 1998
-
[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
work page 2007
-
[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
work page 1996
-
[60]
D. Wang, Quantum spaces associated to mixed polarizations and their limiting behavior on toric varieties , arXiv preprint arXiv:2410.17130 (2024)
-
[61]
Y. Yau, Quantization of K¨ ahler manifolds via brane quantization, arXiv preprint arXiv:2401.14574 (2024)
-
[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,...
work page 2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.