No abstract uploaded!

Witten's gauged linear sigma model [Wi1] is one of the universal frameworks or structures that lie behind stringy dualities. Its A-twisted moduli space at genus 0 case has been used in the Mirror Principle [LLY] that relates Gromov-Witten invariants and mirror symmetry computations. In this paper the A-twisted moduli stack for higher genus curves is defined and systematically studied. It is proved that such a moduli stack is an Artin stack. For genus 0, it has the A-twisted moduli space of [MP] as the coarse moduli space. The detailed proof of the regularity of the collapsing morphism by Jun Li in [LLY: I and II] can be viewed as a natural morphism from the moduli stack of genus 0 stable maps to the A-twisted moduli stack at genus 0.

We propose definitions of quasilocal energy and momentum surface energy of a spacelike 2-surface with positive intrinsic curvature in a spacetime. Our definitions do not depend on the compact spacelike hypersurface it bounds. 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.

In two very detailed, technical, and fundamental works, Jun Li constructed a theory of Gromov-Witten invariants for a singular scheme of the gluing form Y_1\cup_D Y_2 that arises from a degeneration Y_1\cup_D Y_2 and a theory of relative Gromov-Witten invariants for a codimension-1 relative pair Y_1\cup_D Y_2 . As a summit, he derived a degeneration formula that relates a finite summation of the usual Gromov-Witten invariants of a general smooth fiber Y_1\cup_D Y_2 of Y_1\cup_D Y_2 to the Gromov-Witten invariants of the singular fiber Y_1\cup_D Y_2 via gluing the relative pairs Y_1\cup_D Y_2 and Y_1\cup_D Y_2 . The finite sum mentioned above depends on a relative ample line bundle Y_1\cup_D Y_2 on Y_1\cup_D Y_2 . His theory has already applications to string theory and mathematics alike. For other new applications of Jun Li's theory, one needs a refined degeneration formula that depends on a curve class Y_1\cup_D Y_2 in Y_1\cup_D Y_2 or Y_1\cup_D Y_2 , rather than on the line bundle Y_1\cup_D Y_2 . Some monodromy effect has to be taken care of to deal with this. For the simple but useful case of a degeneration Y_1\cup_D Y_2 that arises from blowing up a trivial family Y_1\cup_D Y_2 , we explain how the details of Jun Li's work can be employed to reach such a desired degeneration formula. The related set Y_1\cup_D Y_2 of admissible triples adapted to Y_1\cup_D Y_2 that appears in the formula can be obtained via an analysis on the intersection numbers of relevant cycles and a study of Mori cones that appear in the problem. This set is intrinsically determined by Y_1\cup_D Y_2 and the normal bundle Y_1\cup_D Y_2 of the smooth subscheme Y_1\cup_D Y_2 in Y_1\cup_D Y_2 to be blown up.

In this Part II of D (11), we introduce new objects: super- C^ k -schemes and Azumaya super- C^ k -manifolds with a fundamental module (or, synonymously, matrix super- C^ k -manifolds with a fundamental module), and extend the study in D (11.1)([L-Y3], arXiv: 1406.0929 [math. DG]) to define the notion ofdifferentiable maps from an Azumaya/matrix supermanifold with a fundamental module to a real manifold or supermanifold'. This allows us to introduce the notion offermionic D-branes' in two different styles, one parallels Ramond-Neveu-Schwarz fermionic string and the other Green-Schwarz fermionic string. A more detailed discussion on the Higgs mechanism on dynamical D-branes in our setting, taking maps from the D-brane world-volume to the space-time in question and/or sections of the Chan-Paton bundle on the D-brane world-volume as Higgs fields, is also given for the first time in the D-project. Finally note that mathematically string theory begins with the notion of a differentiable map from a string world-sheet (a C^ k -manifold) to a target space-time (a real manifold). In comparison to this, D (11.1) and the current D (11.2) together bring us to the same starting point for studying D-branes in string theory as dynamical objects.