Showing 1–17 of 17 results for author: Leung, N C

Quantization commutes with reduction for coisotropic A-branes

Authors: Naichung Conan Leung, Ying Xie, Yutung Yau

Abstract: On a Hamiltonian $G$-manifold $X$, we define the notion of $G$-invariance of coisotropic A-branes $\mathcal{B}$. Under neat assumptions, we give a Marsden-Weinstein-Meyer type construction of a coisotropic A-brane $\mathcal{B}_{\operatorname{red}}$ on $X // G$ from $\mathcal{B}$, recovering the usual construction when $\mathcal{B}$ is Lagrangian. For a canonical coisotropic A-brane… ▽ More On a Hamiltonian $G$-manifold $X$, we define the notion of $G$-invariance of coisotropic A-branes $\mathcal{B}$. Under neat assumptions, we give a Marsden-Weinstein-Meyer type construction of a coisotropic A-brane $\mathcal{B}_{\operatorname{red}}$ on $X // G$ from $\mathcal{B}$, recovering the usual construction when $\mathcal{B}$ is Lagrangian. For a canonical coisotropic A-brane $\mathcal{B}_{\operatorname{cc}}$ on a holomorphic Hamiltonian $G_\mathbb{C}$-manifold $X$, there is a fibration of $(\mathcal{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ähler with a Hamiltonian $G$-action, Guillemin-Sternberg `quantization commutes with reduction' theorem can be interpreted as $\operatorname{Hom}_{X // G}(\mathcal{B}_{\operatorname{red}}, (\mathcal{B}_{\operatorname{cc}})_{\operatorname{red}}) \cong \operatorname{Hom}_X(\mathcal{B}, \mathcal{B}_{\operatorname{cc}})^G$ with $\mathcal{B} = M$. △ Less

Submitted 7 June, 2025; originally announced June 2025.

Comments: 22 pages

3d Mirror Symmetry is Mirror Symmetry

Authors: Ki Fung Chan, Naichung Conan Leung

Abstract: 3d mirror symmetry is a mysterious duality for certian pairs of hyperkähler manifolds, or more generally complex symplectic manifolds/stacks. In this paper, we will describe its relationships with 2d mirror symmetry. This could be regarded as a 3d analog of the paper "Mirror Symmetry is T-Duality" by Strominger, Yau and Zaslow which described 2d mirror symmetry via 1d dualities. 3d mirror symmetry is a mysterious duality for certian pairs of hyperkähler manifolds, or more generally complex symplectic manifolds/stacks. In this paper, we will describe its relationships with 2d mirror symmetry. This could be regarded as a 3d analog of the paper "Mirror Symmetry is T-Duality" by Strominger, Yau and Zaslow which described 2d mirror symmetry via 1d dualities. △ Less

Submitted 4 October, 2024; originally announced October 2024.

Limit of geometric quantizations on Kähler manifolds with T-symmetry

Authors: Naichung Conan Leung, Dan Wang

Abstract: A compact Kähler manifold $\left( M,ω,J\right) $ with $T$-symmetry admits a natural mixed polarization $\mathcal{P}_{\mathrm{mix}}$ whose real directions come from the $T$-action. In \cite{LW1}, we constructed a one-parameter family of Kähler structures $\left( ω,J_{t}\right) $'s with the same underlying Kä hler form $ω$ and $J_{0}=J$, such that (i) there is a $T$-equivariant biholomorphism betwee… ▽ More A compact Kähler manifold $\left( M,ω,J\right) $ with $T$-symmetry admits a natural mixed polarization $\mathcal{P}_{\mathrm{mix}}$ whose real directions come from the $T$-action. In \cite{LW1}, we constructed a one-parameter family of Kähler structures $\left( ω,J_{t}\right) $'s with the same underlying Kä hler form $ω$ and $J_{0}=J$, such that (i) there is a $T$-equivariant biholomorphism between $\left( M,J_{0}\right) $ and $\left( M,J_{t}\right) $ and (ii) Kähler polarizations $\mathcal{P} _{t}$'s corresponding to $J_{t}$'s converge to $\mathcal{P}_{\mathrm{mix}}$ as $t$ goes to infinity. In this paper, we study the quantum analog of above results. Assume $L$ is a pre-quantum line bundle on $\left( M,ω\right) $. Let $\mathcal{H}_{t}$ and $ \mathcal{H}_{\mathrm{mix}}$ be quantum spaces defined using polarizations $\mathcal{P}_{t}$ and $\mathcal{P}_{\mathrm{mix}}$ respectively. In particular, $\mathcal{H}_{t}=H_{\bar{\partial}_{t}}^{0}\left( M,L\right) $. They are both representations of $T$. We show that (i) there is a $T$-equivariant isomorphism between $\mathcal{H}_{0}$ and $\mathcal{H}_{\mathrm{mix}}$ and (ii) for regular $T$-weight $λ$, corresponding $λ$-weight spaces $ \mathcal{H}_{t,λ}$'s converge to $\mathcal{H}_{\mathrm{mix},λ}$ as $t$ goes to infinity. △ Less

Submitted 30 September, 2024; v1 submitted 15 July, 2023; originally announced July 2023.

Comments: Minor changes based on referee's suggestions. To appear in Proc. Lond. Math. Soc

Hidden Sp(1)-Symmetry and Brane Quantization on HyperKähler manifolds

Authors: NaiChung Conan Leung, YuTung Yau

Abstract: For a fixed prequantum line bundle $L$ over a hyperKähler manifold $X$, we find a natural $\operatorname{Sp}(1)$-action on $Ω^*(X, L)$ intertwining a twistor family of $\operatorname{Spin}^{\operatorname{c}}$-Dirac Laplacians on the spaces of $L$-valued $(0, *)$-forms on $X$, noting that $L$ is holomorphic for only one complex structure in the twistor family. This establishes a geometric quantizat… ▽ More For a fixed prequantum line bundle $L$ over a hyperKähler manifold $X$, we find a natural $\operatorname{Sp}(1)$-action on $Ω^*(X, L)$ intertwining a twistor family of $\operatorname{Spin}^{\operatorname{c}}$-Dirac Laplacians on the spaces of $L$-valued $(0, *)$-forms on $X$, noting that $L$ is holomorphic for only one complex structure in the twistor family. This establishes a geometric quantization of $X$ via Gukov-Witten brane quantization and leads to a proposal of a mathematical definition of $\operatorname{Hom}(\overline{\mathcal{B}}_{\operatorname{cc}}, \mathcal{B}_{\operatorname{cc}})$ for the canonical coisotropic A-brane $\mathcal{B}_{\operatorname{cc}}$ on $X$ and its conjugate brane $\overline{\mathcal{B}}_{\operatorname{cc}}$. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Comments: 19 pages

Geometric quantizations of mixed polarizations on Kähler manifolds with T-symmetry

Authors: Naichung Conan Leung, Dan Wang

Abstract: Let $M$ be a compact Kähler manifold equipped with a pre-quantum line bundle $L$. In [9], using $T$-symmetry, we constructed a polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$, which generalizes real polarizations on toric manifolds. In this paper, we obtain the following results for the quantum space $\mathcal{H}_{\mathrm{mix}}$ associated to $\mathcal{P}_{\mathrm{mix}}$. First,… ▽ More Let $M$ be a compact Kähler manifold equipped with a pre-quantum line bundle $L$. In [9], using $T$-symmetry, we constructed a polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$, which generalizes real polarizations on toric manifolds. In this paper, we obtain the following results for the quantum space $\mathcal{H}_{\mathrm{mix}}$ associated to $\mathcal{P}_{\mathrm{mix}}$. First, $\mathcal{H}_{\mathrm{mix}}$ consists of distributional sections of $L$ with supports inside $μ^{-1}(\mathfrak{t}^{*}_{\mathbb{Z}})$. This gives $\mathcal{H}_{\mathrm{mix}}=\bigoplus_{λ\in \mathfrak{t}^{*}_{\mathbb{Z}} } \mathcal{H}_{\mathrm{mix}, λ}$. Second, the above decomposition of $\mathcal{H}_{\mathrm{mix}}$ coincides with the weight decomposition for the $T$-symmetry. Third, an isomorphism $\mathcal{H}_{\mathrm{mix}, λ} \cong H^{0}( M//_λT, L//_λT)$, for regular $λ$. Namely, geometric quantization commutes with symplectic reduction. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Comments: 24 pages. Comments are welcome!

Geodesic rays in the space of Kähler metrics with $T$-symmetry

Authors: Naichung Conan Leung, Dan Wang

Abstract: Let $(M, ω, J)$ be a Kähler manifold, equipped with an effective Hamiltonian torus action $ρ: T \rightarrow \mathrm{Diff}(M, ω, J)$ by isometries with moment map $μ: M \rightarrow \mathfrak{t}^{*}$. We first construct a singular mixed polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$. Second, we construct a one-parameter family of complex structures $J_{t}$ on $M$ which are compatible with $ω$. Fur… ▽ More Let $(M, ω, J)$ be a Kähler manifold, equipped with an effective Hamiltonian torus action $ρ: T \rightarrow \mathrm{Diff}(M, ω, J)$ by isometries with moment map $μ: M \rightarrow \mathfrak{t}^{*}$. We first construct a singular mixed polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$. Second, we construct a one-parameter family of complex structures $J_{t}$ on $M$ which are compatible with $ω$. Furthermore, the path of corresponding Kähler metrics $g_{t}$ is a complete geodesic ray in the space of Kähler metrics of $M$, when $M$ is compact. Finally, we show that the corresponding family of Kähler polarizations $\mathcal{P}_{t}$ associated to $J_{t}$ converges to $\mathcal{P}_{\mathrm{mix}}$ as $t \rightarrow \infty$. △ Less

Submitted 25 May, 2024; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: 24 pages, comments welcome! v2: Minor changes based on referee's suggestions. To appear in Adv. Math

Berezin-Toeplitz Quantization in Real Polarizations with Toric Singularities

Authors: NaiChung Conan Leung, YuTung Yau

Abstract: On a compact Kähler manifold $X$, Toeplitz operators determine a deformation quantization $(\operatorname{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ with separation of variables [10] with respect to transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$ as $\hbar \to 0^+$ [15]. The analogous statement is proved for compact symplectic manifolds with transversal non-singular real polarizations [13… ▽ More On a compact Kähler manifold $X$, Toeplitz operators determine a deformation quantization $(\operatorname{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ with separation of variables [10] with respect to transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$ as $\hbar \to 0^+$ [15]. The analogous statement is proved for compact symplectic manifolds with transversal non-singular real polarizations [13]. In this paper, we establish the analogous result for transversal singular real polarizations on compact toric symplectic manifolds $X$. Due to toric singularities, half-form correction and localization of our Toeplitz operators are essential. Via norm estimations, we show that these Toeplitz operators determine a star product on $X$ as $\hbar \to 0^+$. △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: 16 pages

Deformation quantization via Toeplitz operators on geometric quantization in real polarizations

Authors: Naichung Conan Leung, Yutung Yau

Abstract: In this paper, we study quantization on a compact integral symplectic manifold $X$ with transversal real polarizations. In the case of complex polarizations, namely $X$ is Kähler equipped with transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$, geometric quantization gives $H^0(X, L^{\otimes k})$'s. They are acted upon by $\mathcal{C}^\infty(X, \mathbb{C})$ via Toeplitz operators as… ▽ More In this paper, we study quantization on a compact integral symplectic manifold $X$ with transversal real polarizations. In the case of complex polarizations, namely $X$ is Kähler equipped with transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$, geometric quantization gives $H^0(X, L^{\otimes k})$'s. They are acted upon by $\mathcal{C}^\infty(X, \mathbb{C})$ via Toeplitz operators as $\hbar = \tfrac{1}{k} \to 0^+$, determining a deformation quantization $(\mathcal{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ of $X$.\par We investigate the real analogue to these, comparing deformation quantization, geometric quantization and Berezin-Toeplitz quantization. The techniques used are different from the complex case as distributional sections supported on Bohr-Sommerfeld fibres are involved.\par By switching the roles of the two real polarizations, we obtain Fourier-type transforms for both deformation quantization and geometric quantization, and they are compatible asymptotically as $\hbar \to 0^+$. We also show that the asymptotic expansion of traces of Toeplitz operators realizes a trace map on deformation quantization. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Comments: 20 pages

Pseudotoric structures and special Lagrangian torus fibrations on certain flag varieties

Authors: Kwokwai Chan, Naichung Conan Leung, Changzheng Li

Abstract: We construct pseudotoric structures (à la Tyurin) on the two-step flag variety $F\ell_{1, n-1; n}$, and explain a general relation between pseudotoric structures and special Lagrangian torus fibrations, the latter of which are important in the study of SYZ mirror symmetry. As an application, we speculate how our constructions can explain the number of terms in the superpotential of Rietsch's Landa… ▽ More We construct pseudotoric structures (à la Tyurin) on the two-step flag variety $F\ell_{1, n-1; n}$, and explain a general relation between pseudotoric structures and special Lagrangian torus fibrations, the latter of which are important in the study of SYZ mirror symmetry. As an application, we speculate how our constructions can explain the number of terms in the superpotential of Rietsch's Landau-Ginzburg mirror. △ Less

Submitted 15 August, 2019; v1 submitted 24 November, 2018; originally announced November 2018.

Comments: 21 pages; v2: minor corrections and references added

Journal ref: J. Geom. Phys. 146 (2019), 103489, 16 pp

Scattering diagrams from asymptotic analysis on Maurer-Cartan equations

Authors: Kwokwai Chan, Naichung Conan Leung, Ziming Nikolas Ma

Abstract: Let $\check{X}_0$ be a semi-flat Calabi-Yau manifold equipped with a Lagrangian torus fibration $\check{p}:\check{X}_0 \rightarrow B_0$. We investigate the asymptotic behavior of Maurer-Cartan solutions of the Kodaira-Spencer deformation theory on $\check{X}_0$ by expanding them into Fourier series along fibres of $\check{p}$ over a contractible open subset $U\subset B_0$, following a program set… ▽ More Let $\check{X}_0$ be a semi-flat Calabi-Yau manifold equipped with a Lagrangian torus fibration $\check{p}:\check{X}_0 \rightarrow B_0$. We investigate the asymptotic behavior of Maurer-Cartan solutions of the Kodaira-Spencer deformation theory on $\check{X}_0$ by expanding them into Fourier series along fibres of $\check{p}$ over a contractible open subset $U\subset B_0$, following a program set forth by Fukaya in 2005. We prove that semi-classical limits (i.e. leading order terms in asymptotic expansions) of the Fourier modes of a specific class of Maurer-Cartan solutions naturally give rise to consistent scattering diagrams, which are tropical combinatorial objects that have played a crucial role in works of Kontsevich-Soibelman and Gross-Siebert on the reconstruction problem in mirror symmetry. △ Less

Submitted 7 January, 2019; v1 submitted 21 July, 2018; originally announced July 2018.

Comments: 54 pages, 17 figures; v2: significantly shortened because the preliminary materials (Sections 2 and 3) have been made much more concise (see the survey article arXiv:1811.09042 for more background) and Section 6, the main result of which basically follows directly from previous sections, has been removed (and will be appear elsewhere); all the main results and their proofs remain unchanged

Journal ref: J. Eur. Math. Soc. (JEMS) 24 (2022), no. 3, 773-849

Remarks on mirror symmetry of Donaldson-Thomas theory for Calabi-Yau 4-folds

Authors: Yalong Cao, Naichung Conan Leung

Abstract: Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds. Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds. △ Less

Submitted 12 June, 2015; originally announced June 2015.

Comments: 9 pages

Journal ref: "Tsinghua Lectures in Mathematics", Adv. Lect. Math. 45, (2018)

Orientability for gauge theories on Calabi-Yau manifolds

Authors: Yalong Cao, Naichung Conan Leung

Abstract: We study orientability issues of moduli spaces from gauge theories on Calabi-Yau manifolds. Our results generalize and strengthen those for Donaldson-Thomas theory on Calabi-Yau manifolds of dimensions 3 and 4. We also prove a corresponding result in the relative situation which is relevant to the gluing problem in DT theory. We study orientability issues of moduli spaces from gauge theories on Calabi-Yau manifolds. Our results generalize and strengthen those for Donaldson-Thomas theory on Calabi-Yau manifolds of dimensions 3 and 4. We also prove a corresponding result in the relative situation which is relevant to the gluing problem in DT theory. △ Less

Submitted 18 June, 2015; v1 submitted 4 February, 2015; originally announced February 2015.

Comments: v2: 14 pages, substantially revised and expanded

Journal ref: Adv. Math. 314 (2017), 48-70

Instantons in G2 manifolds from J-holomorphic curves in coassociative submanifolds

Authors: Naichung Conan Leung, Xiaowei Wang, Ke Zhu

Abstract: In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct… ▽ More In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons. △ Less

Submitted 26 March, 2013; originally announced March 2013.

Comments: 23 pages. To appear in Proceedings of Gokova Geometry-Topology Conference 2012

MSC Class: 53C07 (Primary); 53D40; 81T30 (Secondary)

Thin instantons in G_2-manifolds and Seiberg-Witten invariants

Authors: Naichung Conan Leung, Xiaowei Wang, Ke Zhu

Abstract: For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C. For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C. △ Less

Submitted 26 March, 2013; v1 submitted 11 July, 2011; originally announced July 2011.

Comments: 75 pages. Improved exposition. To appear in J. Diff. Geom. 2013

MSC Class: 53C07 (Primary) 53D40; 81T30 (Secondary)

Intersection theory of coassociative submanifolds in G_(2)-manifolds and Seiberg-Witten invariants

Authors: Naichung Conan Leung, Xiaowei Wang

Abstract: We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. We explain its relationship with the Seiberg-Witten invariants for coassociative submanifolds. We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. We explain its relationship with the Seiberg-Witten invariants for coassociative submanifolds. △ Less

Submitted 29 January, 2004; originally announced January 2004.

Comments: 18 pages

Geometric structures on G2 and Spin(7)-manifolds

Authors: Jae-Hyouk Lee, Naichung Conan Leung

Abstract: This article studies the geometry of moduli spaces of G2-manifolds, associative cycles, coassociative cycles and deformed Donaldson-Thomas bundles. We introduce natural symmetric cubic tensors and differential forms on these moduli spaces. They correspond to Yukawa couplings and correlation functions in M-theory. We expect that the Yukawa coupling characterizes (co-)associative fibrations on t… ▽ More This article studies the geometry of moduli spaces of G2-manifolds, associative cycles, coassociative cycles and deformed Donaldson-Thomas bundles. We introduce natural symmetric cubic tensors and differential forms on these moduli spaces. They correspond to Yukawa couplings and correlation functions in M-theory. We expect that the Yukawa coupling characterizes (co-)associative fibrations on these manifolds. We discuss the Fourier transformation along such fibrations and the analog of the Strominger-Yau-Zaslow mirror conjecture for G2-manifolds. We also discuss similar structures and transformations for Spin(7)-manifolds. △ Less

Submitted 13 December, 2007; v1 submitted 6 February, 2002; originally announced February 2002.

Comments: Revised and updated version

Mirror symmetry without corrections

Authors: Naichung Conan Leung

Abstract: We give geometric explanations and proofs of various mirror symmetry conjectures for $T^{n}$-invariant Calabi-Yau manifolds when instanton corrections are absent. This uses fiberwise Fourier transformation together with base Legendre transformation. We discuss mirror transformations of (i) moduli spaces of complex structures and complexified symplectic structures, $H^{p,q}$'s, Yukawa couplin… ▽ More We give geometric explanations and proofs of various mirror symmetry conjectures for $T^{n}$-invariant Calabi-Yau manifolds when instanton corrections are absent. This uses fiberwise Fourier transformation together with base Legendre transformation. We discuss mirror transformations of (i) moduli spaces of complex structures and complexified symplectic structures, $H^{p,q}$'s, Yukawa couplings; (ii) sl(2)xsl(2)-actions; (iii) holomorphic and symplectic automorphisms and (iv) A- and B-connections, supersymmetric A- and B-cycles, correlation functions. We also study (ii) for $T^{n}$-invariant hyperkahler manifolds. △ Less

Submitted 10 July, 2001; v1 submitted 27 September, 2000; originally announced September 2000.

Comments: Corrected version