The Laumon's resolution of Drinfeld's compactification is small

Abstract

Let $C$ be a smooth projective curve of genus 0. Let $\FF$ be the variety of complete flags in an $n$-dimensional vector space $V$. Given an $(n-1)$-tuple $α$ of positive integers one can consider the space $\MMα$ of algebraic maps of degree $α$ from $C$ to $\FF$. This space has drawn much attention recently in connection with Quantum Cohomology. The space $\MMα$ is smooth but not compact. The problem of compactification of $\MMα$ proved very important. One compactification $\MMLα$ (the space of {\em quasiflags}), was constructed in \cite{L}. However, historically the first and most economical compactification $\MMDα$ (the space of {\em quasimaps}) was constructed by Drinfeld (early 80-s, unpublished). The latter compactification is singular, while the former one is smooth. Drinfeld has conjectured that the natural map $π:\MMLα\to\MMDα$ is a small resolution of singularities. In the present note we prove this conjecture. As a byproduct, we compute the stalks of $IC$ sheaf on $\MMDα$ and, moreover, the Hodge structure in these stalks. Namely, the Hodge structure is a pure Tate one, and the generating function for the $IC$ stalks is just the Lusztig's $q$-analogue of Kostant's partition function (see \cite{Lu}).

Correction of misprints, alternative definition of Drinfeld's compactification included AMSLaTeX v 1.1