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.

No abstract uploaded!

No abstract uploaded!

Deformation quantization and geometric quantization on K\"ahler manifolds give the mathematical description of the algebra of quantum observables and the Hilbert spaces respectively, where the later forms a representation of quantum observables asymptotically via Toeplitz operators. When there is a Hamiltonian $G$-action on a K\"ahler manifold, there are associated symmetries on both the quantum algebra and representation aspects. We show that in nice cases of coadjoint orbits and K\"ahler-Einstein manifolds, these symmetries are strictly compatible (not only asymptotically).

Wave propagation problems arise in a wide range of applications. The energy conserving property is one of the guiding principles for numerical algorithms, in order to minimize the phase or shape errors after long time integration. In this paper, we develop and analyze a local discontinuous Galerkin (LDG) method for solving the wave equation. We prove optimal error estimates, superconvergence toward a particular projection of the exact solution, and the energy conserving property for the semi-discrete formulation. The analysis is extended to the fully discrete LDG scheme, with the centered second-order time discretization (the leap-frog scheme). Our numerical experiments demonstrate optimal rates of convergence and superconvergence. We also show that the shape of the solution, after long time integration, is well preserved due to the energy conserving property.