Source author record

Naichung Conan Leung

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.SG math.DG math.CO math-ph math.MP math.GT hep-th math.AP math.AT math.CV math.KT math.QA

Catalog footprint

Research overview

33works

13topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

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

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.

preprint2022arXiv

Elliptic Hypertoric Varieties

We introduce elliptic hypertoric varieties, which is an elliptic analogue of hypertoric varieties and multiplicative hypertoric varieties. We also prove an elliptic version of Hikita conjecture, which relates elliptic (resp. additive and mulitplicative) hypertoric varieties to the equivariant elliptic cohomology (resp. ordinary cohomology and K-theory) of their 3d mirror hypertoric varieties.

preprint2022arXiv

Kapranov's $L_\infty$ structures, Fedosov's star products, and one-loop exact BV quantizations on Kähler manifolds

We study quantization schemes on a Kähler manifold and relate several interesting structures. We first construct Fedosov's star products on a Kähler manifold $X$ as quantizations of Kapranov's $L_\infty$ -algebra structure. Then we investigate the Batalin-Vilkovisky (BV) quantizations associated to these star products. A remarkable feature is that they are all one-loop exact, meaning that the Feynman weights associated to graphs with two or more loops all vanish. This leads to a succinct cochain level formula in de Rham cohomology for the algebraic index.

preprint2022arXiv

Quantum $K$ -theory of $G/P$ and $K$ -homology of affine Grassmannian

This paper is the $K$ -theoretic analogue of a recent new proof, given by the first named author, of Peterson-Lam-Shimozono's theorem via Savelyev's generalization of Seidel representations. The outcome is a new proof of Lam-Li-Mihalcea-Shimozono's conjecture, including its extension to the parabolic case, which was first verified by Kato.

preprint2021arXiv

Sharp Hardy inequalities via Riemannian submanifolds

This paper is devoted to Hardy inequalities concerning distance functions from submanifolds of arbitrary codimensions in the Riemannian setting. On a Riemannian manifold with non-negative curvature, we establish several sharp weighted Hardy inequalities in the cases when the submanifold is compact as well as non-compact. In particular, these inequalities remain valid even if the ambient manifold is compact, in which case we find an optimal space of smooth functions to study Hardy inequalities. Further examples are also provided. Our results complement in several aspects those obtained recently in the Euclidean and Riemannian settings.

preprint2020arXiv

A Note on Disk Counting in Toric Orbifolds

We compute orbi-disk invariants of compact Gorenstein semi-Fano toric orbifolds by extending the method used for toric Calabi-Yau orbifolds. As a consequence the orbi-disc potential is analytic over complex numbers.

preprint2020arXiv

Cyclic group actions on Fukaya categories and mirror symmetry

Let $(X,ω)$ be a compact symplectic manifold whose first Chern class $c_1(X)$ is divisible by a positive integer $n$ . We construct a $\mathbb{Z}_{2n}$ -action on its Fukaya category $Fuk(X)$ and a $\mathbb{Z}_n$ -action on the local models of its moduli of Lagrangian branes. We show that this action is compatible with the gluing functions for different local models.

preprint2020arXiv

Fukaya's conjecture on Witten's twisted $A_\infty$ -structures

Wedge product on deRham complex of a Riemannian manifold $M$ can be pulled back to $H^*(M)$ via explicit homotopy, constructed using Green's operator, to give higher product structures. We prove Fukaya's conjecture which suggests that Witten deformation of these higher product structures have semiclassical limits as operators defined by counting gradient flow trees with respect to Morse functions, which generalizes the remarkable Witten deformation of deRham differential from a statement concerning homology to one concerning real homotopy type of $M$ . Various applications of this conjecture to mirror symmetry are also suggested by Fukaya.

preprint2015arXiv

Donaldson-Thomas theory for Calabi-Yau 4-folds

Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ( $DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$ . We also study sheaves counting problems on local Calabi-Yau 4-folds. We relate $DT_{4}$ invariants of $K_{Y}$ to the Donaldson-Thomas invariants of the associated Fano 3-fold $Y$ . When the Calabi-Yau 4-fold is toric, we adapt the virtual localization formula to define the corresponding equivariant $DT_{4}$ invariants. We also discuss the non-commutative version of $DT_{4}$ invariants for quivers with relations. Finally, we compute $DT_{4}$ invariants for certain Calabi-Yau 4-folds when moduli spaces are smooth and find a $DT_{4}/GW$ correspondence for $X$ . Examples of wall-crossing phenomenon in $DT_{4}$ theory are also given.

preprint2015arXiv

Mukai flops and Plücker type formulas for hyper-Kähler manifolds

We study the intersection theory of complex Lagrangian subvarieties inside holomorphic symplectic manifolds. In particular, we study their behaviour under Mukai flops and give a rigorous proof of the Plücker type formula for Legendre dual subvarieties written down by the second author before. Then we apply the formula to study projective dual varieties in projective spaces.

preprint2015arXiv

Orientability for gauge theories on Calabi-Yau manifolds

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.

preprint2015arXiv

Relative Donaldson-Thomas theory for Calabi-Yau 4-folds

Given a complex 4-fold $X$ with an (Calabi-Yau 3-fold) anti-canonical divisor $Y$ , we study relative Donaldson-Thomas invariants for this pair, which are elements in the Donaldson-Thomas cohomologies of $Y$ . We also discuss gluing formulas which relate relative invariants and $DT_{4}$ invariants for Calabi-Yau 4-folds.

preprint2014arXiv

An update of quantum cohomology of homogeneous varieties

We describe recent progress on QH(G/P) with special emphasis of our own work.

preprint2014arXiv

Cox rings of rational surfaces and flag varieties of ADE-types

The Cox rings of del Pezzo surfaces are closely related to the Lie groups E_n. In this paper, we generalize the definition of Cox rings to G- surfaces defined by us earlier, where the Lie groups G=A_n, D_n or E_n. We show that the Cox ring of a G-surface S is almost determined by an irreducible representation V of G, and is generated by degree one elements. The Proj of this ring is a sub-variety of the orbit of the highest weight vector in V, and both are closed sub-varieties of the projective space P(V) defined by quadratic equations.

preprint2013arXiv

ADE bundles over surfaces with ADE singularities

Given a complex projective surface with an ADE singularity and p_{g}=0, we construct ADE bundles over it and its minimal resolution. Furthermore, we descibe their minuscule representation bundles in terms of configurations of (reducible) (-1)-curves.

preprint2013arXiv

Affine ADE bundles over complex surfaces with p_g=0

We study simply-laced simple affine Lie algebra bundles over complex surfaces X. Given any Kodaira curve C in X, we construct such a bundle over X. After deformations, it becomes trivial on every irreducible component of C provided that p_g(X)=0. When X is a blowup of P^2 at nine points, there is a canonical E_8-bundle E over X. We show that the geometry of X can be reflected by the deformability of E.

preprint2013arXiv

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

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.

preprint2013arXiv

Lattice point counting via Einstein metrics

We obtain a growth estimate for the number of lattice points inside any Q-Gorenstein cone. Our proof uses the result of Futaki-Ono-Wang on Sasaki-Einstein metric for the toric Sasakian manifold associated to the cone, a Yau's inequality, and the Kawasaki-Riemann-Roch formula for orbifolds.

preprint2013arXiv

Quantum Pieri rules for tautological subbundles

We give quantum Pieri rules for quantum cohomology of Grassmannians of classical types, expressing the quantum product of Chern classes of the tautological subbundles with general cohomology classes. We derive them by showing the relevant genus zero, three-pointed Gromov-Witten invariants coincide with certain classical intersection numbers.

preprint2013arXiv

Thin instantons in G_2-manifolds and Seiberg-Witten invariants

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.

preprint2012arXiv

Mirror maps equal SYZ maps for toric Calabi-Yau surfaces

We prove that the mirror map is the SYZ map for every toric Calabi-Yau surface. As a consequence one obtains an enumerative meaning of the mirror map. This involves computing genus-zero open Gromov-Witten invariants, which is done by relating them with closed Gromov-Witten invariants via compactification and using an earlier computation by Bryan-Leung.

preprint2011arXiv

Classical aspects of quantum cohomology of generalized flag varieties

We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.

preprint2011arXiv

Gromov-Witten invariants for G/B and Pontryagin product for ΩK

We give an explicit formula for (T-equivariant) 3-pointed genus zero Gromov-Witten invariants for G/B. We derive it by finding an explicit formula for the equivariant Pontryagin product on the homology of the based loop group ΩK.

preprint2010arXiv

A relation for Gromov-Witten invariants of local Calabi-Yau threefolds

We compute certain open Gromov-Witten invariants for toric Calabi-Yau threefolds. The proof relies on a relation for ordinary Gromov-Witten invariants for threefolds under certain birational transformation, and a recent result of Kwokwai Chan.

preprint2010arXiv

Conformal geometry and special holonomy

A theorem of Lawson and Simons states that the only stable minimal submanifolds in complex projective spaces are complex submanifolds. We generalize their result to the cases of quaternionic and octonionic projective spaces. Our approach gives a unified viewpoint towards conformal and projective geometries.

preprint2010arXiv

Functorial relationships between quantum cohomology of complete and partial flag varieties

We give a natural filtration F on quantum cohomology QH(G/B) of G/B, which respects the quantum product structure. Its associated graded algebra is isomorphic to the tensor product of QH(G/P) and a corresponding graded algebra of QH(P/B) after localization. When the quantum parameter goes to zero, this specializes to the filtration on the classical cohomology H(G/B) from the Leray spectral sequence associated to the fibration P/B --> G/B --> G/P.

preprint2010arXiv

Matrix factorizations from SYZ transformations

It is known that Lagrangian torus fibers of the moment map of a toric Fano manifold $X$ , equipped with flat $U(1)$ -connections, are mirror to matrix factorizations of the mirror superpotential $W:\check{X}\rightarrow\bC$. Via SYZ mirror transformations, we describe how this correspondence, when $X$ is $\bP^1$ or $\bP^2$, can be explained in a geometric way.

preprint2009arXiv

Mirror symmetry for toric Fano manifolds via SYZ transformations

We construct and apply Strominger-Yau-Zaslow mirror transformations to understand the geometry of the mirror symmetry between toric Fano manifolds and Landau-Ginzburg models.

preprint2009arXiv

Moduli of bundles over rational surfaces and elliptic curves I: simply laced cases

It is well-known that del Pezzo surfaces of degree $9-n$ one-to-one correspond to flat $E_n$ bundles over an elliptic curve. In this paper, we construct $ADE$ bundles over a broader class of rational surfaces which we call $ADE$ surfaces, and extend the above correspondence to all flat $G$ bundles over an elliptic curve, where $G$ is any simply laced, simple, compact and simply-connected Lie group. In the sequel, we will construct $G$ bundles for non-simply laced Lie group $G$ over these rational surfaces, and extend the above correspondence to non-simply laced cases.

preprint2009arXiv

On SYZ mirror transformations

In this expository paper, we discuss how Fourier-Mukai-type transformations, which we call SYZ mirror transformations, can be applied to provide a geometric understanding of the mirror symmetry phenomena for semi-flat Calabi-Yau manifolds and toric Fano manifolds. We also speculate the possible applications of these transformations to other more general settings.

preprint2005arXiv

Yau-Zaslow formula on K3 surfaces for non-primitive classes

We compute the genus zero family Gromov-Witten invariants for K3 surfaces using the topological recursion formula and the symplectic sum formula for a degeneration of elliptic K3 surfaces. In particular we verify the Yau-Zaslow formula for non-primitive classes of index two.

preprint2003arXiv

Topological Quantum Field Theory for Calabi-Yau threefolds and G_2 manifolds

We introduce a homology theory whose Euler characteristics counts ASD bundles over four dimensional co-associative submanifolds in (almost) G_2 manifolds. As a TQFT, in relative situations, we have the Fukaya-Floer category of Lagrangians intersection in the moduli space of special Lagrangian submanifolds in CY threefolds.

preprint2001arXiv

Lagrangian submanifolds in Hyperkahler manifolds, Legendre transformation

We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperkahler manifolds. We give a Plucker type formula for Lagrangian intersections under this transformation.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Naichung Conan Leung

Research overview

Is this your work?

33 publications

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

Elliptic Hypertoric Varieties

Kapranov's $L_\infty$ structures, Fedosov's star products, and one-loop exact BV quantizations on Kähler manifolds

Quantum $K$ -theory of $G/P$ and $K$ -homology of affine Grassmannian

Sharp Hardy inequalities via Riemannian submanifolds

A Note on Disk Counting in Toric Orbifolds

Cyclic group actions on Fukaya categories and mirror symmetry

Fukaya's conjecture on Witten's twisted $A_\infty$ -structures

Donaldson-Thomas theory for Calabi-Yau 4-folds

Mukai flops and Plücker type formulas for hyper-Kähler manifolds

Orientability for gauge theories on Calabi-Yau manifolds

Relative Donaldson-Thomas theory for Calabi-Yau 4-folds

An update of quantum cohomology of homogeneous varieties

Cox rings of rational surfaces and flag varieties of ADE-types

ADE bundles over surfaces with ADE singularities

Affine ADE bundles over complex surfaces with p_g=0

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

Lattice point counting via Einstein metrics

Quantum Pieri rules for tautological subbundles

Thin instantons in G_2-manifolds and Seiberg-Witten invariants

Mirror maps equal SYZ maps for toric Calabi-Yau surfaces

Classical aspects of quantum cohomology of generalized flag varieties

Gromov-Witten invariants for G/B and Pontryagin product for ΩK

A relation for Gromov-Witten invariants of local Calabi-Yau threefolds

Conformal geometry and special holonomy

Functorial relationships between quantum cohomology of complete and partial flag varieties

Matrix factorizations from SYZ transformations

Mirror symmetry for toric Fano manifolds via SYZ transformations

Moduli of bundles over rational surfaces and elliptic curves I: simply laced cases

On SYZ mirror transformations

Yau-Zaslow formula on K3 surfaces for non-primitive classes

Topological Quantum Field Theory for Calabi-Yau threefolds and G_2 manifolds

Lagrangian submanifolds in Hyperkahler manifolds, Legendre transformation

See the researcher in context

Building this map preview

Naichung Conan Leung

Research overview

Is this your work?

33 publications

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

Elliptic Hypertoric Varieties

Kapranov's L∞L_\inftyL∞​ structures, Fedosov's star products, and one-loop exact BV quantizations on Kähler manifolds

Quantum KKK-theory of G/PG/PG/P and KKK-homology of affine Grassmannian

Sharp Hardy inequalities via Riemannian submanifolds

A Note on Disk Counting in Toric Orbifolds

Cyclic group actions on Fukaya categories and mirror symmetry

Fukaya's conjecture on Witten's twisted A∞A_\inftyA∞​-structures

Donaldson-Thomas theory for Calabi-Yau 4-folds

Mukai flops and Plücker type formulas for hyper-Kähler manifolds

Orientability for gauge theories on Calabi-Yau manifolds

Relative Donaldson-Thomas theory for Calabi-Yau 4-folds

An update of quantum cohomology of homogeneous varieties

Cox rings of rational surfaces and flag varieties of ADE-types

ADE bundles over surfaces with ADE singularities

Affine ADE bundles over complex surfaces with p_g=0

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

Lattice point counting via Einstein metrics

Quantum Pieri rules for tautological subbundles

Thin instantons in G_2-manifolds and Seiberg-Witten invariants

Mirror maps equal SYZ maps for toric Calabi-Yau surfaces

Classical aspects of quantum cohomology of generalized flag varieties

Gromov-Witten invariants for G/B and Pontryagin product for ΩK

A relation for Gromov-Witten invariants of local Calabi-Yau threefolds

Conformal geometry and special holonomy

Functorial relationships between quantum cohomology of complete and partial flag varieties

Matrix factorizations from SYZ transformations

Mirror symmetry for toric Fano manifolds via SYZ transformations

Moduli of bundles over rational surfaces and elliptic curves I: simply laced cases

On SYZ mirror transformations

Yau-Zaslow formula on K3 surfaces for non-primitive classes

Topological Quantum Field Theory for Calabi-Yau threefolds and G_2 manifolds

Lagrangian submanifolds in Hyperkahler manifolds, Legendre transformation

See the researcher in context

Building this map preview

Kapranov's $L_\infty$ structures, Fedosov's star products, and one-loop exact BV quantizations on Kähler manifolds

Quantum $K$ -theory of $G/P$ and $K$ -homology of affine Grassmannian

Fukaya's conjecture on Witten's twisted $A_\infty$ -structures