In this paper, we generalize the categorifical construction of a quantum group and its canonical basis by Lusztig (\cite{Lusztig,Lusztig2}) to the generic form of whole Ringel-Hall algebra. We clarify the explicit relation between the Green formula in \cite{Green} and the restriction functor in \cite{Lusztig2}. By a geometric way to prove Green formula, we show that the Hopf structure of a Ringel-Hall algebra can be categorified under Lusztig's framework.

We study the modularity of the genus zero open Gromov-Witten potentials and its generating matrix factorizations for elliptic orbifolds. These objects constructed by Lagrangian Floer theory are a priori well-defined only around the large volume limit. It follows from modularity that they can be analytically continued over the global Kähler moduli space.

We prove that generalized conifolds and orbifolded conifolds are mirror symmetric under the SYZ program with quantum corrections. Our work mathematically confirms the gaugetheoretic assertion of Aganagic–Karch–Lust–Miemiec, and also provides a supportive evidence to Morrison’s conjecture that geometric transitions are reversed under mirror symmetry.

Fixing a weakly unobstructed Lagrangian torus in a symplectic manifold X, we define a holomorphic function W known as the Floer potential. We construct a canonical A∞-functor from the Fukaya category of X to the category of matrix factorizations of W. It provides a unified way to construct matrix factorizations from Lagrangian Floer theory. The technique is applied to toric Fano manifolds to transform Lagrangian branes to matrix factorizations. Using the method, we also obtain an explicit expression of the matrix factorization mirror to the real locus of the complex projective space.

For a toric Calabi-Yau (CY) orbifold X whose underlying toric variety is semi-projective, we construct and study a non-toric Lagrangian torus fibration on X, which we call the Gross fibration. We apply the Strominger-Yau-Zaslow (SYZ) recipe to the Gross fibration of X to construct its mirror with the instanton corrections coming from genus 0 open orbifold Gromov-Witten (GW) invariants, which are virtual counts of holomorphic orbi-disks in X bounded by fibers of the Gross fibration. We explicitly evaluate all these invariants by first proving an open/closed equality and then employing the toric mirror theorem for suitable toric (parital) compactifications of X. Our calculations are then applied to (1) prove a conjecture of Gross-Siebert on a relation between genus 0 open orbifold GW invariants and mirror maps of X – this is called the open mirror theorem, which leads to an enumerative meaning of mirror maps, and (2) demonstrate how open (orbifold) GW invariants for toric CY orbifolds change under toric crepant resolutions – an open analogue of Ruan’s crepant resolution conjecture.