Abstract:
Given an algebraic surface $X$, the Hilbert scheme $X^{[n]}$ of $n$-points on $X$ admits a contraction morphism to the $n$-fold symmetric product $X^{(n)}$ with the extremal ray generated by a class $\beta_n$ of a rational curve. We determine the two point extremal GW-invariants of $X^{[n]}$ with respect to the class $d\beta_n$ for a simply-connected projective surface $X$ and the quantum first Chern class operator of the tautological bundle on $X^{[n]}$. The methods used are vertex algebraic description of $H^*(X^{[n]})$, the localization technique applied to $X=\mathbb P^2$, and a generalization of the reduction theorem of Kiem-J. Li to the case of meromorphic 2-forms.

Abstract:
The Gieseker-Uhlenbeck morphism maps the Gieseker moduli space of stable rank-2 sheaves on a smooth projective surface to the Uhlenbeck compactification, and is a generalization of the Hilbert-Chow morphism for Hilbert schemes of points. When the surface is the complex projective plane, we determine all the 1-point genus-0 Gromov-Witten invariants extremal with respect to the Gieseker-Uhlenbeck morphism. The main idea is to understand the virtual fundamental class of the moduli space of stable maps by studying the obstruction sheaf and using a meromorphic 2-form on the Gieseker moduli space.

Abstract:
Let $S$ be the affine plane $\C^2$ together with an appropriate $\mathbb T = \C^*$ action. Let $\hil{m,m+1}$ be the incidence Hilbert scheme. Parallel to \cite{LQ}, we construct an infinite dimensional Lie algebra that acts on the direct sum $$\Wft = \bigoplus_{m=0}^{+\infty}H^{2(m+1)}_{\mathbb T}(S^{[m,m+1]})$$ of the middle-degree equivariant cohomology group of $\hil{m,m+1}$. The algebra is related to the loop algebra of an infinite dimensional Heisenberg algebra. In addition, we study the transformations among three different linear bases of $\Wft$. Our results are applied to the ring structure of the ordinary cohomology of $\hil{m,m+1}$ and to the ring of symmetric functions in infinitely many variables.

Abstract:
We give a method to construct stable vector bundles whose rank divides the degree over curves of genus bigger than one. The method complements the one given by Newstead. Finally, we make some systematic remarks and observations in connection with rationality of moduli spaces of stable vector bundles.

Abstract:
In this paper, we compare the moduli spaces of rank-3 vector bundles stable with respect to different ample divisors over rational ruled surfaces. We also discuss the irreducibility, unirationality, and rationality of these moduli spaces.

Abstract:
In this paper, it is proved that certain stable rank-3 vector bundles can be written as extensions of line bundles and stable rank-2 bundles. As an application, we show the rationality of certain moduli spaces of stable rank-3 bundles over the projective plane P^2.

Abstract:
In this article, we study the variation of the Gieseker and Uhlenbeck compactifications of the moduli spaces of Mumford-Takemoto stable vector bundles of rank 2 by changing polarizations. Some {\it canonical} rational morphisms among the Gieseker compactifications are proved to exist and their fibers are studied. As a consequence of studying the morphisms from the Gieseker compactifications to the Uhlebeck compactifications, we show that there is an everywhere-defined {\it canonical} algebraic map between two adjacent Uhlenbeck compactifications which restricts to the identity on some Zariski open subset.

Abstract:
We compute the Donaldson-Thomas invariants for two types of Calabi-Yau 3-folds. These invariants are associated to the moduli spaces of rank-2 Gieseker semistable sheaves. None of the sheaves are locally free, and their double duals are locally free stable sheaves investigated earlier by Donaldson and Thomas, Li and Qin respectively. We show that these Gieseker moduli spaces are isomorphic to some Quot-schemes. We prove a formula for Behrend's functions when torus actions present with positive dimensional fixed point sets, and use it to obtain the generating series of the relevant Donaldson-Thomas invariants in terms of the McMahon function. Our results might shed some light on the wall-crossing phenomena of Donaldson-Thomas invariants.

Abstract:
We determine the topological Euler number of certain moduli space of 1-dimensional closed subschemes in a smooth projective variety which admits a Zariski-locally trivial fibration with 1-dimensional fibers. The main approach is to use virtual Hodge polynomials and torus actions. The results might shed some light on the corresponding Donaldson-Thomas invariants.