Let S be a projective simply connected complex surface and  be a line bundle on S. We study the moduli space of stable compactly supported 2-dimensional sheaves on the total spaces of . The moduli space admits a ℂ∗-action induced by scaling the fibers of . We identify certain components of the fixed locus of the moduli space with the moduli space of torsion free sheaves and the nested Hilbert schemes on S. We define the localized Donaldson-Thomas invariants of  by virtual localization in the case that  twisted by the anti-canonical bundle of S admits a nonzero global section. When pg(S)>0, in combination with Mochizuki's formulas, we are able to express the localized DT invariants in terms of the invariants of the nested Hilbert schemes defined by the authors in [GSY17a], the Seiberg-Witten invariants of S, and the integrals over the products of Hilbert schemes of points on S. When  is the canonical bundle of S, the Vafa-Witten invariants defined recently by Tanaka-Thomas, can be extracted from these localized DT invariants. VW invariants are expected to have modular properties as predicted by S-duality.

We study the higher genus equivariant Gromov-Witten theory of the Hilbert scheme of n points of the plane. Since the equivariant quantum cohomology is semisimple, the higher genus theory is determined by an R-matrix via the Givental-Teleman classification of Cohomological Field Theories (CohFTs). We uniquely specify the required R-matrix by explicit data in degree 0. As a consequence, we lift the basic triangle of equivalences relating the equivariant quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for 3-fold theories of local curves to a triangle of equivalences in all higher genera. The proof uses the previously determined analytic continuation of the fundamental solution of the QDE of the Hilbert scheme. The GW/DT edge of the triangle in higher genus concerns new CohFTs defined by varying the 3-fold local curve in the moduli space of stable curves. The equivariant orbifold Gromov-Witten theory of the symmetric product of the plane is also shown to be equivalent to the theories of the triangle in all genera. The result establishes a complete case of the crepant resolution conjecture.

We develop a local cohomology theory for FI^m-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI^m-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.

We study the set of connected components of certain unions of affine Deligne-Lusztig varieties arising from the study of Shimura varieties. We determine the set of connected components for basic $\s $-conjugacy classes. As an application, we verify the Axioms in\cite {HR} for certain PEL type Shimura varieties. We also show that for any nonbasic $\s $-conjugacy class in a residually split group, the set of connected components is" controlled" by the set of straight elements associated to the $\s $-conjugacy class, together with the obstruction from the corresponding Levi subgroup. Combined with\cite {Zhou}, this allows one to verify in the residually split case, the description of the mod- p isogeny classes on Shimura varieties conjectured by Langland and Rapoport. Along the way, we determine the Picard group of the Witt vector affine Grassmannian of\cite {BS} and\cite {Zhu} which is of independent interest.

No abstract uploaded!