Search arXivSearch

arXiv · 2604.26292

Brane quantization and SYZ mirror symmetry

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kwokwai Chan, Naichung Conan Leung, Qin Li, Yat-Hin Suen, Yutung Yau. 2026-05-09. Brane quantization and SYZ mirror symmetry. https://arxiv.org/abs/2604.26292

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Futaki invariant on Hopf manifolds

The Futaki invariant is a fundamental tool in Kähler geometry representing an obstruction to the existence of Kähler-Einstein metrics. Recently, it was generalized to compact complex manifolds. In this paper, we prove that it vanishes on Hopf manifolds.

math.DG

Remarks on potential functions of noncompact quasi-Einstein manifolds

In this article, we study the set of potential functions on noncompact quasi-Einstein manifolds. We show that the space of all positive potential functions on a three-dimensional noncompact quasi-Einstein manifold has dimension at most two, and that equality holds if and only if the manifold is isometric to a product $B\times\mathbb{R}$, where $B$ is a $λ$-Einstein surface or one of the examples obtained by L. Berard Bergery and described in Besse's book. Moreover, we prove that any asymptotically flat $n$-dimensional quasi-Einstein manifold with $λ=0$ is necessarily Ricci-flat.

math.DG

Adjusted connections on non-abelian bundle gerbes

Higher gauge theory for non-abelian structure 2-groups faces significant challenges when extending beyond the fake-flat sector, which suffers from limited applicability in physical models. A promising resolution involves equipping 2-groups with additional structure, known as adjustments. We present a comprehensive theory of adjusted connections on non-abelian bundle gerbes, classified by Saemann's adjusted version of non-abelian differential cohomology. This theory enables, in particular, a new coordinate-independent formulation of Tellez-Dominguez' lifting theorem, establishing a correspondence between adjusted connections on non-abelian bundle gerbes and connections on abelian bundle 2-gerbes.

math.DG