We show how two topologically distinct spaces-the Kahler K3 x T^ 2 and the non-Kahler T^ 2 bundle over K3-can be smoothly connected in heterotic string theory. The transition occurs when the base K3 is deformed to the T^ 4/Z_2 orbifold limit. The orbifold theory can be mapped via duality to M-theory on K3 x K3 where the transition corresponds to an exchange of the two K3's.

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.

We study the intermediate extension of the character sheaves on an adjoint group to the semi-stable locus of its wonderful compactification. We show that the intermediate extension can be described by a direct image construction. As a consequence, we show that the ordinary restriction of a character sheaf on the compactification to a semi-stable stratum is a shift of semisimple perverse sheaf and is closely related to Lusztig's restriction functor (from a character sheaf on a reductive group to a direct sum of character sheaves on a Levi subgroup). We also provide a (conjectural) formula for the boundary values inside the semi-stable locus of an irreducible character of a finite group of Lie type, which gives a partial answer to a question of Springer (2006) [21]. This formula holds for Steinberg character and characters coming from generic character sheaves. In the end, we verify Lusztig's conjecture Lusztig (2004) [16

Let X be a smooth complex projective variety. Using a construction devised by Gathmann, we present a recursive formula for some of the Gromov–Witten invariants of X. We prove that, when X is homogeneous, this formula gives the number of osculating rational curves at a general point of a general hypersurface of X. This generalizes the classical well known pairs of inflection (asymptotic) lines for surfaces in P^3 of Salmon, as well as Darboux’s 27 osculating conics.

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.