Searcharxiv⌕ Search

arXiv subjects

Naichung Conan Leung

Publications and source records attributed to Naichung Conan Leung.

At least 55 records · Page 3Linked to original sources
arXiv2019

Pseudotoric structures and special Lagrangian torus fibrations on certain flag varieties

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.

math.SG↗
arXiv2019

Refined scattering diagrams and theta functions from asymptotic analysis of Maurer-Cartan equations

We further develop the asymptotic analytic approach to the study of scattering diagrams. We do so by analyzing the asymptotic behavior of Maurer-Cartan elements of a differential graded Lie algebra constructed from a (not-necessarily tropical) monoid-graded Lie algebra. In this framework, we give alternative differential geometric proofs of the consistent completion of scattering diagrams, originally proved by Kontsevich-Soibelman, Gross-Siebert and Bridgeland. We also give a geometric interpretation of theta functions and their wall-crossing. In the tropical setting, we interpret Maurer-Cartan elements, and therefore consistent scattering diagrams, in terms of the refined counting of tropical disks. We also describe theta functions, in both their tropical and Hall algebraic settings, in terms of flat sections of the Maurer-Cartan-deformed differential. In particular, this allows us to give a combinatorial description of Hall algebra theta functions for acyclic quivers with non-degenerate skew-symmetrized Euler forms.

math.AG↗
arXiv2019

Open Gromov-Witten invariants and mirror maps for semi-Fano toric manifolds

We prove that for a compact toric manifold whose anti-canonical divisor is numerically effective, the Lagrangian Floer superpotential defined by Fukaya-Oh-Ohto-Ono is equal to the superpotential written down by using the toric mirror map under a convergence assumption. This gives a method to compute open Gromov-Witten invariants using mirror symmetry.

math.SG↗
arXiv2019

Scattering diagrams from asymptotic analysis on Maurer-Cartan equations

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.

math.AG↗
arXiv2018

Categorical duality between joins and intersections

Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of homological projective duality (HPD) [K07], as long as the intersections have expected dimensions. This result together with its various applications provide further evidences for the proposal of homological projective geometry of Kuznetsov and Perry [KP18]. When the varieties are inside disjoint linear subspaces, our approach also provides a new proof of the main result "formation of categorical joins commutes with HPD" of [KP18]. We also introduce the concept of an $n$-HPD category, and study its properties and connections with joins and HPDs.

math.AG↗
arXiv2018

$ADE$ bundles over $ADE$ singular surfaces and flag varieties of $ADE$ type

Based on the Brieskorn-Slodowy-Grothendieck diagram, we write the holomorphic structures (or filtrations) of the ADE Lie algebra bundles over the corresponding type ADE flag varieties, over the cotangent bundles of these flag varieties, and over the corresponding type $ADE$ singular surfaces. The main tool is the cohomology of line bundles over flag varieties and their cotangent bundles.

math.AG↗
arXiv2018

Embeddings from noncompact symmetric spaces to their compact duals

Every compact symmetric space $M$ admits a dual noncompact symmetric space $\check{M}$. When $M$ is a generalized Grassmannian, we can view $\check{M}$ as a open submanifold of it consisting of space-like subspaces \cite{HL}. Motivated from this, we study the embeddings from noncompact symmetric spaces to their compact duals, including space-like embedding for generalized Grassmannians, Borel embedding for Hermitian symmetric spaces and the generalized embedding for symmetric R-spaces. We will compare these embeddings and describe their images using cut loci.

math.AG↗
arXiv2018

Twin Lagrangian fibrations in mirror symmetry

A twin Lagrangian fibration, originally introduced by Yau and the first author, is roughly a geometric structure consisting of two Lagrangian fibrations whose fibers intersect with each other cleanly. In this paper, we show the existence of twin Lagrangian fibrations on certain symplectic manifolds whose mirrors are fibered by rigid analytic cycles. Using family Floer theory in the sense of Fukaya and Abouzaid, these twin Lagrangian fibrations are shown to be induced from fibrations by rigid analytic subvarieties on the mirror. As additional evidences, we discuss two simple applications of our constructions.

math.SG↗
arXiv2018

Equivariant deformation quantization and coadjoint orbit method

The purpose of this paper is to apply deformation quantization to the study of the coadjoint orbit method in the case of real reductive groups. We first prove some general results on the existence of equivariant deformation quantization of vector bundles on closed Lagrangian subvarieties, which lie in smooth symplectic varieties with Hamiltonian group actions. Then we apply them to orbit method and construct nontrivial irreducible Harish-Chandra modules for certain coadjoint orbits. Our examples include new geometric construction of representations associated to certain orbits of real exceptional Lie groups.

math.RT↗
arXiv2018

Energy bound for Kapustin-Witten solutions on $S^3\times\mathbb{R}^+$

We consider solutions of Kapustin-Witten equation with Nahm pole boundary on $S^3\times \mathbb{R}^+$. These solutions are usually called Nahm pole solutions. In this paper, we will prove that there exists a constant $C>0$ such that $\|F_A\|_{L^2}\leq C$ for any Nahm pole solution $(A,ϕ)$.

math.DG↗
arXiv2017

BV quantization of the Rozansky-Witten model

We investigate the perturbative aspects of Rozansky-Witten's 3d $σ$-model using Costello's approach to the Batalin-Vilkovisky (BV) formalism. We show that the BV quantization (in Costello's sense) of the model, which produces a perturbative quantum field theory, can be obtained via the configuration space method of regularization due to Kontsevich and Axelrod-Singer. We also study the factorization algebra structure for quantum observables following Costello-Gwilliam. In particular, we show that the cohomology of local quantum observables on a genus $g$ handle body is given by $H^*(X,(\wedge^*T_X)^{\otimes g})$ (where $X$ is the target manifold), and prove that the partition function reproduces the Rozansky-Witten invariants.

math.QA↗
arXiv2017

Categorical Plücker Formula and Homological Projective Duality

Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.

math.AG↗
arXiv2016

Open Gromov-Witten invariants, mirror maps, and Seidel representations for toric manifolds

Let $X$ be a compact toric Kähler manifold with $-K_X$ nef. Let $L\subset X$ be a regular fiber of the moment map of the Hamiltonian torus action on $X$. Fukaya-Oh-Ohta-Ono defined open Gromov-Witten (GW) invariants of $X$ as virtual counts of holomorphic discs with Lagrangian boundary condition $L$. We prove a formula which equates such open GW invariants with closed GW invariants of certain $X$-bundles over $\mathbb{P}^1$ used to construct the Seidel representations for $X$. We apply this formula and degeneration techniques to explicitly calculate all these open GW invariants. This yields a formula for the disc potential of $X$, an enumerative meaning of mirror maps, and a description of the inverse of the ring isomorphism of Fukaya-Oh-Ohta-Ono.

math.SG↗
arXiv2015

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.

math.AG↗
arXiv2015

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.

math.AG↗
arXiv2015

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.

math.AG↗
arXiv2015

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.

math.AG↗