### Background


Let $X$ denote a smooth projective curve over $\mathbb{C}$ and let $G$ denote a semi-simple simply connected algebraic group over $\mathbb{C},$ which has associated flag variety $G/B.$


Then we can consider the variety $Maps^d(X, G/B)$ of maps from $X$ to $G/B$ of fixed degree $d$ where $d$ is an $\mathbb{N}$-linear combination of coroots of $G.$ See the top of page 2 of this paper by Alexander Kuznetsov [Kuznetsov](http://arxiv.org/abs/alg-geom/9610019) for the definition of degree. The Plucker embedding of the flag variety into projective space gives an alternative formulation of $Maps^d(X, G/B)$ which can be found in section 1.2 of [Kuznetsov](http://arxiv.org/abs/alg-geom/9610019) or in this survey article of Alexander Braverman [Braverman](http://arxiv.org/abs/math/0603454).


In general, $Maps^d(X, G/B)$ is not compact, but there is a compactification due to Drinfeld, which is referred to as the variety of quasi-maps and denoted $QMaps^d(X, G/B).$ See [Kuznetsov](http://arxiv.org/abs/alg-geom/9610019) or [Braverman](http://arxiv.org/abs/math/0603454).


On the other hand, when $G = SL\_n,$ there is a second compactfication due to Laumon. This is because when $G = SL\_n,$ we have both the Plucker embedding description of the flag variety, but also the description of the flag variety as flags of vector spaces. This latter description gives another formulation of $Maps^d(X, G/B)$ but leads to a compactification known as quasi-flags. Once again, see [Kuznetsov](http://arxiv.org/abs/alg-geom/9610019). When $n>2,$ varieties of quasi-maps and of quasi-flags are different. It turns out that quasi-flags are always smooth, while quasi-maps have singularities.


Broadening our focus somewhat, we could instead consider the representable map of stacks $Bun\_B(X) \to Bun\_G(X),$ and note that the fiber over the trivial $G$-bundle is the union of all the $Maps^d(X, G/B)$ for all possible degrees (note that the degree just tells us which connected component of $Bun\_B$ we live in).


Just as the variety of maps above was not compact, the map $Bun\_B \to Bun\_G$ is not proper. But there exists a relative compactification of $Bun\_B,$ also referred to as the Drinfeld compactification, which I will denote $Bun\_B^D.$ This compactification still maps to $Bun\_G,$ but the map is now proper. The fiber over the trivial bundle of this map coincides with the union of all $QMaps^d(X, G/B).$


As before, when $G = SL\_n,$ there is a second compactification of $Bun\_B$ which I will denote $Bun\_B^L$ whose fiber over the trivial bundle coincides with the union of all the quasi-flags varieties. See this paper by Braverman and Gaitsgory [BG](http://arxiv.org/abs/math/9912097) or this follow-up paper by Braverman, Gaitsgorgy, Finkelberg, and Mirkovic [BGFK](http://arxiv.org/abs/math/0012129) for more details.


### Question


In [Kuznetsov](http://arxiv.org/abs/alg-geom/9610019), Kuznetsov proves that when $X = \mathbb{P}^1$ and $G = SL\_n,$ there is a map from the space of quasi-flags of degree $d$ to the space of quasi-maps of degree $d$ which is a small resolution of singularities.


Later, in [BG](http://arxiv.org/abs/math/9912097), it is asserted that Kuznetsov proved that $Bun\_B^L(X)$ is a small resolution of singularities of $Bun\_B^D(X)$ for any smooth projective curve $X.$


It seems to me that there are two discrepancies here. One has to do with an arbitrary smooth projective curve versus $\mathbb{P}^1.$ The second has to do with moving from the varieties of quasi-maps and quasi-flags to the stacks $Bun\_B^D$ and $Bun\_B^L.$


Does anyone know a reference which explains the bridge between [Kuznetsov](http://arxiv.org/abs/alg-geom/9610019) and the assertions of [BG](http://arxiv.org/abs/math/9912097)? Or perhaps this was just something clear to the experts which never warranted an explanation?



Reference Request for Drinfeld and Laumon Compactifications
I guess that formally this is not written anywhere, but it is indeed easy to deduce the general case from Kuznetsov's result. The point is that both Drinfeld and Laumon compactifications consist of G-bundles with some kind of degenerate B-structure, where
the degeneration occurs at finitely many points of the curve. It is easy to see that the 
fiber of of the map $Bun\_B^L\to Bun\_B^D$ depends only on the behaviour of everything
in the formal neighbourhood of those points (using this observation you can formally reduce
your question to Kuznetsov's result).


