Search

We present some tools for computations in the Fukaya category of a symplectic Landau-Ginzburg model. Specifically, we prove that several computations for these fibrations split into base and fiber computations., Comment: 16 pages, 4 figures, minor revisions

We describe the formulation of Fukaya categories of symplectic manifolds with $B$-fields. In addition, we give a formula for how the $A_\infty$ structure maps change as we deform an object by a Lagrangian isotopy., Comment: 19 pages, 3 figures

We show that Walcher's disk potential for the quintic threefold can be represented as a central charge of a specific Gauged Linear Sigma Model which we call the extended quintic GLSM. This representation provides an open/closed correspondence for the quintic threefold since the central charge is a generating function of closed genus-zero GLSM invariants. We also explain how open Landau-Ginzburg/Calabi-Yau correspondence and open mirror symmetry for the quintic are compatible with wall-crossing and mirror symmetry of the extended GLSM, respectively., Comment: 38 pages

We compute I-functions and central charges for abelian GLSMs using virtual matrix factorizations of Favero and Kim. In the Calabi-Yau case we provide analytic continuation for the central charges by explicit integral formulas. The integrals in question are called hemisphere partition functions and we call the integral representation Higgs-Coulomb correspondence. We then use it to prove GIT stability wall-crossing for central charges.

We continue the mathematical development of the open/closed correspondence proposed by Mayr and Lerche-Mayr. Given an open geometry on a toric Calabi-Yau 3-orbifold $\mathcal{X}$ relative to a framed Aganagic-Vafa outer brane $(\mathcal{L},f)$, we construct a toric Calabi-Yau 4-orbifold $\widetilde{\mathcal{X}}$ and identify its genus-zero Gromov-Witten invariants with the disk invariants of $(\mathcal{X},\mathcal{L},f)$, generalizing prior work of the authors in the smooth case. We then upgrade the correspondence to the level of generating functions, and prove that the disk function of $(\mathcal{X},\mathcal{L},f)$ can be recovered from the equivariant $J$-function of $\widetilde{\mathcal{X}}$. We further establish a B-model correspondence that retrieves the B-model disk function of $(\mathcal{X},\mathcal{L},f)$ from the equivariant $I$-function of $\widetilde{\mathcal{X}}$, and show that the correspondences are compatible with mirror symmetry in both the open and closed sectors., Comment: 62 pages, 7 figures

We study K-theoretic GLSM invariants with one-dimensional gauge group and introduce elliptic central charges that depend on an elliptic cohomology class called an elliptic brane and a choice of level structure. These central charges have an integral representation related to an interpolation problem for the elliptic brane and satisfy natural q-difference equations. Integral representaions lead to the wall crossing statement for the central charges in two different phases of the GLSM. We explain how the orbifold structure leads to differences between wall crossing of the usual (K-theoretic) and elliptic central charges.

We establish a correspondence between the disk invariants of a smooth toric Calabi-Yau 3-fold $X$ with boundary condition specified by a framed Aganagic-Vafa outer brane $(L, f)$ and the genus-zero closed Gromov-Witten invariants of a smooth toric Calabi-Yau 4-fold $\widetilde{X}$, proving the open/closed correspondence proposed by Mayr and developed by Lerche-Mayr. Our correspondence is the composition of two intermediate steps: $\circ$ First, a correspondence between the disk invariants of $(X,L,f)$ and the genus-zero maximally-tangent relative Gromov-Witten invariants of a relative Calabi-Yau 3-fold $(Y,D)$, where $Y$ is a toric partial compactification of $X$ by adding a smooth toric divisor $D$. This correspondence can be obtained as a consequence of the topological vertex (Li-Liu-Liu-Zhou) and Fang-Liu where the all-genus open Gromov-Witten invariants of $(X,L,f)$ are identified with the formal relative Gromov-Witten invariants of the formal completion of $(Y,D)$ along the toric 1-skeleton. Here, we present a proof without resorting to formal geometry. $\circ$ Second, a correspondence in genus zero between the maximally-tangent relative Gromov-Witten invariants of $(Y,D)$ and the closed Gromov-Witten invariants of the toric Calabi-Yau 4-fold $\widetilde{X} = \mathcal{O}_Y(-D)$. This can be viewed as an instantiation of the log-local principle of van Garrel-Graber-Ruddat in the non-compact setting., Comment: 32 pages, 4 figures

We study how to use a suitably ample locally free sheaf over a proper Deligne-Mumford stack to furnish an embedding of the stack into a geometric invariant theory (GIT) quotient stack constructed from a finite-dimensional linear representation of the general linear group.

This is a brief introduction to the Bershadsky-Cecotti-Ooguri-Vafa (BCOV) holomorphic anomaly equations and Walcher's extended holomorphic anomaly equations., Comment: 13 pages, based on the author's talks at the Conference on Crossing the Walls in Enumerative Geometry in Snowbird, Utah on May 21--June 1, 2018, and at the 6th Workshop on Combinatorics of Moduli Spaces, Cluster Algebras, and Topological Recursion in Moscow on June 4--9, 2018

We outline various developments of affine and general Landau Ginzburg models in physics. We then describe the A-twisting and coupling to gravity in terms of Algebraic Geometry. We describe constructions of various path integral measures (virtual fundamental class) using the algebro-geometric technique of cosection localization, culminating in the theory of ``Mixed Spin P (MSP) fields" developed by the authors., Comment: This article is a survey of the Mixed Spin P(MSP) field theory for quintic threefold. The focus is on physics motivation and beginning geometry setup of the moduli

A smooth GKM stack is a smooth Deligne-Mumford stack equipped with an action of an algebraic torus $T$, with only finitely many zero-dimensional and one-dimensional orbits. (i) We define the stacky GKM graph of a smooth GKM stack, under the mild assumption that any one-dimensional $T$-orbit closure contains at least one $T$ fixed point. The stacky GKM graph is a decorated graph which contains enough information to reconstruct the $T$-equivariant formal neighborhood of the 1-skeleton (union of zero-dimensional and one-dimensional $T$-orbits) as a formal smooth DM stack equipped with a $T$-action. (ii) We axiomize the definition of a stacky GKM graph and introduce abstract stacky GKM graphs which are more general than stacky GKM graphs of honest smooth GKM stacks. From an abstract GKM graph we construct a formal smooth GKM stack. (iii) We define equivariant orbifold Gromov-Witten invariants of smooth GKM stacks, as well as formal equivariant orbifold Gromov-Witten invariants of formal smooth GKM stacks. These invariants can be computed by virtual localization and depend only the stacky GKM graph or the abstract stacky GKM graph. Formal equivariant orbifold Gromov-Witten invariants of the stacky GKM graph of a smooth GKM stack $\mathcal{X}$ are refinements of equivariant orbifold Gromov-Witten invariants of $\mathcal{X}$., Comment: 38 pages; generalization of arXiv:1407.1370; Section 6 extends Section 9 of arXiv:1107.4712

We study the web of dualities relating various enumerative invariants, notably Gromov-Witten invariants and invariants that arise in topological gauge theory. In particular, we study Donaldson-Thomas gauge theory and its reductions to D=4 and D=2 which are relevant to the local theory of surfaces in Calabi-Yau threefolds., Comment: 38 pages, To Appear in Adv. Theor. Math. Phys. (2017)

The Remodeling Conjecture proposed by Bouchard-Klemm-Mari\~{n}o-Pasquetti (BKMP) relates the A-model open and closed topological string amplitudes (open and closed Gromov-Witten invariants) of a symplectic toric Calabi-Yau 3-fold to Eynard-Orantin invariants of its mirror curve. The Remodeling Conjecture can be viewed as a version of all genus open-closed mirror symmetry. The SYZ conjecture explains mirror symmetry as $T$-duality. After a brief review on SYZ mirror symmetry and mirrors of symplectic toric Calabi-Yau 3-orbifolds, we give a non-technical exposition of our results on the Remodeling Conjecture for symplectic toric Calabi-Yau 3-orbifolds. In the end, we apply SYZ mirror symmetry to obtain the descendent version of the all genus mirror symmetry for toric Calabi-Yau 3-orbifolds., Comment: 18 pages. Exposition of arXiv:1604.07123

The Remodeling Conjecture proposed by Bouchard-Klemm-Mari\~{n}o-Pasquetti (BKMP) [arXiv:0709.1453, arXiv:0807.0597] relates the A-model open and closed topological string amplitudes (the all genus open and closed Gromov-Witten invariants) of a semi-projective toric Calabi-Yau 3-manifold/3-orbifold to the Eynard-Orantin invariants of its mirror curve. It is an all genus open-closed mirror symmetry for toric Calabi-Yau 3-manifolds/3-orbifolds. In this paper, we present a proof of the BKMP Remodeling Conjecture for all genus open-closed orbifold Gromov-Witten invariants of an arbitrary semi-projective toric Calabi-Yau 3-orbifold relative to an outer framed Aganagic-Vafa Lagrangian brane. We also prove the conjecture in the closed string sector at all genera., Comment: 85 pages, 4 figures; final version

This is the second part of the project toward an effective algorithm to evaluate all genus Gromov-Witten invariants of quintic Calabi-Yau threefolds. In this paper, the localization formula is derived, and algorithms toward evaluating these Gromov-Witten invariants are derived., Comment: 50 pages; We add to the original version some remarks on the latest progress made by packaging MSP (NMSP) fields

This is a survey on the mixed spin P-fields (MSP fields for short) theory which provides a platform to understand the phase transition between Gromov-Witten theory of quintic CY 3-folds and Landau-Ginzburg theory of the corresponding quintic polynomials. It discusses key ideas that lead to the definition of MSP fields and how moduli of stable maps to the quintic and that of 5-spin curves appear in the moduli of MSP fields. It also explains some properties of the moduli of MSP fields such as the cosection localisation, the properness of the degeneracy locus, and a torus action on the moduli.. Some vanishings arising from the torus action provide polynomial relations among GW-invarants and FJRW-invaraints which give an effective algorithm for the computation of those invariants. Some examples of computations of genus 1 low degree of GW invariants are provided., Comment: 15 pages, 2 figures

This is the first part of the project toward an effective algorithm to evaluate all genus Gromov-Witten invariants of quintic Calabi-Yau threefolds. In this paper, we introduce the notion of Mixed-Spin-P fields, construct their moduli spaces, and construct the virtual cycles of these moduli spaces., Comment: Introduction and references updated. 34 pages

We study the equivariantly perturbed mirror Landau-Ginzburg model of the projective line. We show that the Eynard-Orantin recursion on this model encodes all genus all descendants equivariant Gromov-Witten invariants of the projective line. The non-equivariant limit of this result is the Norbury-Scott conjecture, while by taking large radius limit we recover the Bouchard-Marino conjecture on simple Hurwitz numbers., Comment: 34 pages, 5 figures; references added, typos corrected

An algebraic GKM manifold is a non-singular algebraic variety equipped with an algebraic action of an algebraic torus, with only finitely many torus fixed points and finitely many 1-dimensional orbits. In this expository article, we use virtual localization to express equivariant Gromov-Witten invariants of any algebraic GKM manifold (which is not necessarily compact) in terms of Hodge integrals over moduli stacks of stable curves and the GKM graph of the GKM manifold., Comment: Section 3.1-3.4 (review of Gromov-Witten theory) are similar to Section 3.1-3.4 of arXiv:1107.4712. Section 4 generalizes the toric case in Section 5 of arXiv:1107.4712 to the GKM case

For any finite abelian group G, the equivariant Gromov-Witten invariants of C^r/G can be viewed as a certain kind of abelian Hurwitz-Hodge integrals. In this note, we use Tseng's orbifold quantum Riemann-Roch theorem to express this kind of abelian Hurwitz-Hodge integrals as a sum over Feynman graphs, where the weight of each graph is expressed in terms of descendant integrals over moduli spaces of stable curves and representations of G. This expression will play a crucial role in the proof of the remodeling conjecture (arXiv:0709.1453, arXiv:0807.0597) for affine toric Calabi-Yau 3-orbifolds in arXiv:1310.4818., Comment: 13 pages

The Remodeling Conjecture proposed by Bouchard-Klemm-Marino-Pasquetti [arXiv:0709.1453, arXiv:0807.0597] relates all genus open and closed Gromov-Witten invariants of a semi-projective toric Calabi-Yau 3-manifolds/3-orbifolds to the Eynard-Orantin invariants of the mirror curve of the toric Calabi-Yau 3-fold. In this paper, we present a proof of the Remodeling Conjecture for open-closed orbifold Gromov-Witten invariants of an arbitrary affine toric Calabi-Yau 3-orbifold relative to a framed Aganagic-Vafa Lagrangian brane. This can be viewed as an all genus open-closed mirror symmetry for affine toric Calabi-Yau 3-orbifolds., Comment: 49 pages, 2 figures; final version

We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford (DM) stacks (with possibly non-trivial generic stabilizers and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack with boundaries mapped into a Aganagic-Vafa brane. All genus open-closed Gromov-Witten invariants are defined by torus localization and depend on the choice of a framing which is an integer. We also provide another definition of all genus open-closed Gromov-Witten invariants based on algebraic relative orbifold Gromov-Witten theory; this generalizes the definition in Li-Liu-Liu-Zhou [arXiv:math/0408426] for smooth toric Calabi-Yau 3-folds. When the toric DM stack a toric Calabi-Yau 3-orbifold (i.e. when the generic stabilizer is trivial), we define generating functions of open-closed Gromov-Witten invariants or arbitrary genus $g$ and number $h$ of boundary circles; it takes values in the Chen-Ruan orbifold cohomology of the classifying space of a finite cyclic group of order $m$. We prove an open mirror theorem which relates the generating function of orbifold disk invariants to Abel-Jacobi maps of the mirror curve of the toric Calabi-Yau 3-orbifold. This generalizes a conjecture by Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa [arXiv:hep-th/0105045] (proved in full generality by the first and the second authors in [arXiv:1103.0693]) on the disk potential of a smooth semi-projective toric Calabi-Yau 3-fold., Comment: 44 pages, 7 figures

Moduli spaces of semi-stable real and quaternionic vector bundles of a fixed topological type admit a presentation as Lagrangian quotients, and can be embedded into the symplectic quotient corresponding to the moduli variety of semi-stable holomorphic vector bundles of fixed rank and degree on a smooth complex projective curve. From the algebraic point of view, these Lagrangian quotients are connected sets of real points inside a complex moduli variety endowed with a real structure; when the rank and the degree are coprime, they are in fact the connected components of the fixed-point set of the real structure. This presentation as a quotient enables us to generalize the methods of Atiyah and Bott to a setting with involutions, and compute the mod 2 Poincare polynomials of these moduli spaces in the coprime case. We also compute the mod 2 Poincare series of moduli stacks of all real and quaternionic vector bundles of a fixed topological type. As an application of our computations, we give new examples of maximal real algebraic varieties., Comment: Final version, 72 pages; formulae in the quaternionic, n>0 case corrected; proof of Theorem 1.3 revised; references added

In this expository article, we explain how to use localization to compute Gromov-Witten invariants of smooth toric varieties and orbifold Gromov-Witten invariants of smooth toric Deligne-Mumford stacks., Comment: 65 pages

We present a proof of the mirror conjecture of Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa [arXiv:hep-th/0105045] on disk enumeration in toric Calabi-Yau 3-folds for all smooth semi-projective toric Calabi-Yau 3-folds. We consider both inner and outer branes, at arbitrary framing. In particular, we recover previous results on the conjecture for (i) an inner brane at zero framing in the total space of the canonical line bundle of the projective plane (Graber-Zaslow [arXiv:hep-th/0109075]), (ii) an outer brane at arbitrary framing in the resolved conifold (Zhou [arXiv:1001.0447]), and (iii) an outer brane at zero framing in the total space of the canonical line bundle of the projective plane (Brini [arXiv:1102.0281, Section 5.3])., Comment: 39 pages, 11 figures

In arXiv:math/0311139, as evidence for his conjecture in birational log geometry, Kawamata constructed a family of derived equivalences between toric orbifolds. In arXiv:0911.4711, we showed that the derived category of a toric orbifold is naturally identified with a category of polyhedrally-constructible sheaves on R^n. In this paper we investigate and reprove some of Kawamata's results from this perspective., Comment: 34 pages, 11 figures; dedicated to Loo-Keng Hua on the occasion of his 100th birthday

We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth projective toric variety. Specifically, let $X$ be a proper toric variety of dimension $n$ and let $M_\bR = \mathrm{Lie}(T_\bR^\vee)\cong \bR^n$ be the Lie algebra of the compact dual (real) torus $T_\bR^\vee\cong U(1)^n$. Then there is a corresponding conical Lagrangian $\Lambda \subset T^*M_\bR$ and an equivalence of triangulated dg categories $\Perf_T(X) \cong \Sh_{cc}(M_\bR;\Lambda),$ where $\Perf_T(X)$ is the triangulated dg category of perfect complexes of torus-equivariant coherent sheaves on $X$ and $\Sh_{cc}(M_\bR;\Lambda)$ is the triangulated dg category of complex of sheaves on $M_\bR$ with compactly supported, constructible cohomology whose singular support lies in $\Lambda$. This equivalence is monoidal---it intertwines the tensor product of coherent sheaves on $X$ with the convolution product of constructible sheaves on $M_\bR$., Comment: 20 pages. This is a strengthened version of the first half of arXiv:0811.1228v3, with new results; the second half becomes arXiv:0811.1228v4

The ELSV formula, first proved by Ekedahl, Lando, Shapiro, and Vainshtein, relates Hurwitz numbers to Hodge integrals. Graber and Vakil gave another proof of the ELSV formula by virtual localization on moduli spaces of stable maps to the projective line, and also explained how to simplify their proof using moduli spaces of relative stable maps to the projective line relative to a point. In this expository article, we explain what the ELSV formula is and how to prove it by virtual localization on moduli spaces of relative stable maps, following Graber-Vakil. This note is based on lectures given by the author at Summer School on "Geometry of Teichmuller Spaces and Moduli Spaces of Curves" at Center of Mathematical Sciences, Zhejiang University, July 14--20, 2008., Comment: 25 pages

We extend our previous work arXiv:1007.0053 on coherent-constructible correspondence for toric varieties to include toric Deligne-Mumford (DM) stacks. Following Borisov-Chen-Smith, a toric DM stack $\cX_\bSi$ is described by a "stacky fan" $\bSi=(N,\Si,\beta)$, where $N$ is a finitely generated abelian group and $\Si$ is a simplicial fan in $N_\bR=N\otimes_{\bZ}\bR$. From $\bSi$ we define a conical Lagrangian $\Lambda_\bSi$ inside the cotangent $T^*M_\bR$ of the dual vector space $M_\bR$ of $N_\bR$, such that torus-equivariant, coherent sheaves on $\cX_\bSi$ are equivalent to constructible sheaves on $M_\bR$ with singular support in $\LbS$., Comment: 30 pages, 2 figures

This is an expository article describing recent results of the authors and David Nadler on microlocalization, the Fukaya category, and coherent sheaves on toric varieties. The original papers are arXiv:math/0604379, arXiv:math/0612399 and arXiv:0811.1228v1.

Based on the large N duality relating topological string theory on Calabi-Yau 3-folds and Chern-Simons theory on 3-manifolds, M. Aganagic, A. Klemm, M. Marino and C. Vafa proposed the topological vertex (hep-th/0305132), an algorithm on computing Gromov-Witten invariants in all genera of any non-singular toric Calabi-Yau 3-fold. In this expository article, we describe the mathematical theory of the topological vertex developed by J. Li, K. Liu, J. Zhou, and the author (math/0408426)., Comment: 18 pages, 9 figures; dedicated to Shing-Tung Yau on the occasion of his 59th birthday

Let $X_\Sigma$ be a complete toric variety. The coherent-constructible correspondence $\kappa$ of \cite{FLTZ} equates $\Perf_T(X_\Sigma)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The microlocalization equivalence $\mu$ of \cite{NZ,N} relates these sheaves to a subcategory $Fuk(T^*M_\bR;\LS)$ of the Fukaya category of the cotangent $T^*M_\bR$. When $X_\Si$ is nonsingular, taking the derived category yields an equivariant version of homological mirror symmetry, $DCoh_T(X_\Si)\cong DFuk(T^*M_\bR;\LS)$, which is an equivalence of triangulated tensor categories. The nonequivariant coherent-constructible correspondence $\bar{\kappa}$ of \cite{T} embeds $\Perf(X_\Si)$ into a subcategory $Sh_c(T_\bR^\vee;\bar{\Lambda}_\Si)$ of constructible sheaves on a compact torus $T_\bR^\vee$. When $X_\Si$ is nonsingular, the composition of $\bar{\kappa}$ and microlocalization yields a version of homological mirror symmetry, $DCoh(X_\Sigma)\hookrightarrow DFuk(T^*T_\bR;\bar{\Lambda}_\Si)$, which is a full embedding of triangulated tensor categories. When $X_\Si$ is nonsingular and projective, the composition $\tau=\mu\circ \kappa$ is compatible with T-duality, in the following sense. An equivariant ample line bundle $\cL$ has a hermitian metric invariant under the real torus, whose connection defines a family of flat line bundles over the real torus orbits. This data produces a T-dual Lagrangian brane $\mathbb L$ on the universal cover $T^*M_\bR$ of the dual real torus fibration. We prove $\mathbb L\cong \tau(\cL)$ in $Fuk(T^*M_\bR;\LS).$ Thus, equivariant homological mirror symmetry is determined by T-duality., Comment: 34 pages, 2 figures. The previous version of this paper has now been broken into two parts. The other part is available at arXiv:1007.0053

In arXiv:math/0605587, the first two authors have constructed a gauge-equivariant Morse stratification on the space of connections on a principal U(n)-bundle over a connected, closed, nonorientable surface. This space can be identified with the real locus of the space of connections on the pullback of this bundle over the orientable double cover of this nonorientable surface. In this context, the normal bundles to the Morse strata are real vector bundles. We show that these bundles, and their associated homotopy orbit bundles, are orientable for any n when the nonorientable surface is not homeomorphic to the Klein bottle, and for n<4 when the nonorientable surface is the Klein bottle. We also derive similar orientability results when the structure group is SU(n)., Comment: 49 pages, 3 figures

For an equivariant Morse stratification which contains a unique open stratum, we introduce the notion of equivariant antiperfection, which means the difference of the equivariant Morse series and the equivariant Poincare series achieves the maximal possible value (instead of the minimal possible value 0 in the equivariantly perfect case). We also introduce a weaker condition of local equivariant antiperfection. We prove that the Morse stratification of the Yang-Mills functional on the space of connections on a principal U(n)-bundle over a connected, closed, nonorientable surface is locally equivariantly Q-antiperfect when the rank n=2,3; we propose that it is actually equivariantly Q-antiperfect when n=2,3. Our proposal yields formulas of G-equivariant Poincare series of the representation variety of flat G-connections for the nonorientable surface where G=U(2), SU(2), U(3), SU(3). Our rank 2 formulas agree with formulas proved by T. Baird in arXiv:0806.1975. Baird verified our conjectural rank 3 formulas when the nonorientable surface is the real projective plane or the Klein bottle (arXiv:0901.1604); he proved our conjectural U(3) formula for any closed nonorientable surfaces by establishing equivariant Q-antiperfection in this case (arXiv:0902.4581)., Comment: 24 pages

The Nekrasov conjecture predicts a relation between the partition function for N=2 supersymmetric Yang-Mills theory and the Seiberg-Witten prepotential. For instantons on R^4, the conjecture was proved, independently and using different methods, by Nekrasov-Okounkov, Nakajima-Yoshioka, and Braverman-Etingof. We prove a generalized version of the conjecture for instantons on noncompact toric surfaces., Comment: 38 pages; typos corrected, references added, minor changes (e.g. minor change of convention in Definition 5.13, 5.19, 6.5)

In math.SG/0605587, we studied Yang-Mills functional on the space of connections on a principal G_R-bundle over a closed, connected, nonorientable surface, where G_R is any compact connected Lie group. In this sequel, we generalize the discussion in "The Yang-Mills equations over Riemann surfaces" by Atiyah and Bott, and math.SG/0605587. We obtain explicit descriptions (as representation varieties) of Morse strata of Yang-Mills functional on orientable and nonorientable surfaces for non-unitary classical groups SO(n) and Sp(n). It turns out to be quite different from the unitary case. we use Laumon and Rapoport's method in "The Langlands lemma and the Betti numbers of stacks of G-bundles on a curve" to invert the Atiyah-Bott recursion relation, and write down explicit formulas of rational equivariant Poincar\'{e} series of the semistable stratum of the space of holomorphic structures on a principal $SO(n,\bC)$-bundle or a principal $Sp(n,\bC)$-bundle., Comment: 86 pages

In "The Yang-Mills equations over Riemann surfaces", Atiyah and Bott studied Yang-Mills functional over a Riemann surface from the point of view of Morse theory. We generalize their study to all closed, compact, connected, possibly nonorientable surfaces. We introduce the notion of "super central extension" of the fundamental group of a surface. It is the central extension when the surface is orientable. We establish a precise correspondence between Yang-Mills connections and representations of super central extension. Knowing this exact correspondence, we work mainly at the level of representation varieties which are finite dimensional instead of the level of strata which are infinite dimensional., Comment: 45 pages, 1 figure

We compute the local Gromov-Witten invariants of certain configurations of rational curves in a Calabi-Yau threefold. These configurations are connected subcurves of the `minimal trivalent configuration', which is a particular tree of P^1's with specified formal neighborhood. We show that these local invariants are equal to certain global or ordinary Gromov-Witten invariants of a blowup of P^3 at points, and we compute these ordinary invariants using the geometry of the Cremona transform. We also realize the configurations in question as formal toric schemes and compute their formal Gromov--Witten invariants using the mathematical and physical theories of the topological vertex. In particular, we provide further evidence equating the vertex amplitudes derived from physical and mathematical theories of the topological vertex., Comment: This is the version published by Geometry & Topology on 7 March 2006

Based on the duality between open-string theory on noncompact Calabi-Yau threefolds and Chern-Simons theory on three manifolds, M Marino and C Vafa conjectured a formula of one-partition Hodge integrals in term of invariants of the unknot (hep-th/0108064). Many Hodge integral identities, including the lambda_g conjecture and the ELSV formula, can be obtained by taking limits of the Marino-Vafa formula. Motivated by the Marino-Vafa formula and formula of Gromov-Witten invariants of local toric Calabi-Yau threefolds predicted by physicists, J Zhou conjectured a formula of two-partition Hodge integrals in terms of invariants of the Hopf link (math.AG/0310282) and used it to justify physicists' predictions (math.AG/0310283). In this expository article, we describe proofs and applications of these two formulae of Hodge integrals based on joint works of K Liu, J Zhou and the author (math.AG/0306257, math.AG/0306434, math.AG/0308015, math.AG/0310272). This is an expansion of the author's talk of the same title at the BIRS workshop: "The Interaction of Finite Type and Gromov-Witten Invariants", November 15--20, 2003., Comment: This is the version published by Geometry & Topology Monographs on 22 April 2006

We prove the following stronger verson of the positivity of quasi-local mass stated in gr-qc/0303019: the quasi-local energy (mass) of each connected component of the boundary of a compact spacelike hypersurface which satisfies the local energy condition is strictly positive unless the spacetime is flat along the spacelike hypersurface and the boundary of the spacelike hypersurface is connected., Comment: 23 pages

We have developed a mathematical theory of the topological vertex--a theory that was original proposed by M. Aganagic, A. Klemm, M. Marino, and C. Vafa in hep-th/0305132 on effectively computing Gromov-Witten invariants of smooth toric Calabi-Yau threefolds derived from duality between open string theory of smooth Calabi-Yau threefolds and Chern-Simons theory on three manifolds., Comment: 66 pages, 10 figures; notation simplified, references added

In math.SG/0303255, we discussed the connected components of the space of surface group representations for any compact connected semisimple Lie group and any closed compact (orientable or nonorientable) surface. In this sequel, we generalize the results in math.SG/0303255 in two directions: we consider general compact connected Lie groups, and we consider all compact surfaces, including the ones with boundaries. We also interpret our results in terms of moduli spaces of flat connections over compact surfaces., Comment: 16 pages; cases with markings added

We prove a formula conjectured by the third author expressing certain Hodge integrals in terms of certain Chern-Simons link invariants. Such invariants also arise in the representation theory of Kac-Moody algebras., Comment: 38 pages, 3 figures

In this note we derive some consequences from the Mari\~no-Vafa formula and the cut-and-join equation, these include unified simple proofs of the $\lambda_g$ conjecture and some other Hodge integral identities. We also describe a proof of the ELSV formula relating Hurwitz numbers and Hodge integrals by using the cut-and-join equation, following our proof of the Mari\~no-Vafa formula., Comment: 16 pages. Final version

We prove a remarkable formula for Hodge integrals conjectured by Marino and Vafa based on large N duality, using functorial virtual localization on certain moduli spaces of relative stable morphisms., Comment: 36 pages; typos corrected; a reference added

We outline a proof of a remarkable formula for Hodge integrals conjectured by Marino and Vafa in hep-th/0108064 base on large N duality., Comment: 14 pages

Let G be a connected, compact, semisimple Lie group. It is known that for a compact closed orientable surface $\Sigma$ of genus $l >1$, the order of the group $H^2(\Sigma,\pi_1(G))$ is equal to the number of connected components of the space $Hom(\pi_1(\Sigma),G)/G$ which can also be identified with the moduli space of gauge equivalence classes of flat G-bundles over $\Sigma$. We show that the same statement for a closed compact nonorientable surface which is homeomorphic to the connected sum of k copies of the real projective plane, where $k\neq 1,2,4$, can be easily derived from a result in A. Alekseev, A.Malkin and E. Meinrenken's recent work on Lie group valued moment maps., Comment: 11 pages

Motivated by the important work of Brown adn York on quasilocal energy, we propose definitions of quasilocal energy and momentum surface energy of a spacelike 2-surface with positive intrinsic curvature in a spacetime. We show that the quasilocal energy of the boundary of a compact spacelike hypersurface which satisfies the local energy condition is strictly positive unless the spacetime is flat along the spacelike hypersurface., Comment: 4 pages; final published version

We study the connectedness of the moduli space of gauge equivalence classes of flat G-connections on a compact orientable surface or a compact nonorientable surface for a class of compact connected Lie groups. This class includes all the compact, connected, simply connected Lie groups, and some non-semisimple classical groups including U(n) and Spin^C(n)., Comment: 24 pages

Let $(X,\omega)$ be a symplectic manifold, $J$ be an $\omega$-tame almost complex structure, and $L$ be a Lagrangian submanifold. The stable compactification of the moduli space of parametrized $J$-holomorphic curves in $X$ with boundary in $L$ (with prescribed topological data) is compact and Hausdorff in Gromov's $C^\infty$-topology. We construct a Kuranishi structure with corners in the sense of Fukaya and Ono. This Kuranishi structure is orientable if $L$ is spin. In the special case where the expected dimension of the moduli space is zero, and there is an $S^1$ action on the pair $(X,L)$ which preserves $J$ and acts freely on $L$, we define the Euler number for this $S^1$ equivariant pair and the prescribed topological data. We conjecture that this rational number is the one computed by localization techniques using the given $S^1$ action., Comment: 85 pages, 20 figures; Section 3 and 4 corrected and refined; notation of the rest of the paper changed accordingly