can be made as small as we like.
Lemma 3.5.
Let
$\alpha $
be any closed equivariant form, let
${r}_{i}$
be a critical value of
$\mu {}^{2},$
let
$N$
be a compact manifold with boundary containing a neighborhood of the critical set corresponding to
${r}_{i}$
and no other critical points of
$\mu {}^{2},$
and let
${\lambda}^{\prime}$
be the result of an isotopy of
$\lambda $
such that the points of
$M$
at which
$\lambda :V\phi $
is the zero functional on
$\mathfrak{g}$
remain fixed through the isotopy. Then
$${C}_{i}\left(\alpha \right)={lim}_{t\to \infty}{\int}_{\mathfrak{g}}{\int}_{N}\alpha exp(\omega +i\mu \phi +tD{\lambda}^{\prime}\frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi .$$

Proof:
By Lemma 3.1 the limit above with
$\lambda $
replacing
${\lambda}^{\prime}$
is equal to
${C}_{i}\left(\alpha \right).$
Define
${\lambda}^{\prime \prime}$
to agree with
${\lambda}^{\prime}$
in a neighborhood of the critical set but to agree with
$\lambda $
near the boundary of
$N.$
Then
$$\begin{array}{ccc}& & \frac{1}{K}{\int}_{\mathfrak{g}}{\int}_{N}\alpha exp(\omega +i\mu \cdot \phi \frac{\epsilon}{2}\phi {}^{2})\end{array}$$  
$$\begin{array}{ccc}& & \cdot \left(exp\left(tD\lambda \right)exp\left(tD{\lambda}^{\prime \prime}\right)\right)\mathbf{d}\phi \end{array}$$  
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{\mathfrak{g}}{\int}_{N}D(\alpha exp(\omega +i\mu \cdot \phi \frac{\epsilon}{2}\phi {}^{2})\end{array}$$  
$$\begin{array}{ccc}& & \cdot \left({\int}_{0}^{t}exp\left(sD\lambda \right)\mathbf{d}s\lambda {\int}_{0}^{t}exp\left(sD{\lambda}^{\prime \prime}\right)\mathbf{d}s{\lambda}^{\prime \prime}\right))\mathbf{d}\phi \end{array}$$  
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{\mathfrak{g}}{\int}_{\partial N}\alpha exp(\omega +i\mu \cdot \phi \frac{\epsilon}{2}\phi {}^{2})\end{array}$$  
$$\begin{array}{ccc}& & \cdot \left({\int}_{0}^{t}exp\left(sD\lambda \right)\mathbf{d}s\lambda {\int}_{0}^{t}exp\left(sD{\lambda}^{\prime \prime}\right)\mathbf{d}s{\lambda}^{\prime \prime}\right)\mathbf{d}\phi \end{array}$$  
$$\begin{array}{ccc}& =& 0\end{array}$$  
so that
$\lambda $
and
${\lambda}^{\prime \prime}$
give the same contribution. On the other hand by replacing
$N$
by a smaller neighborhood (again by Lemma 3.1 ), we can assure that
${\lambda}^{\prime}$
and
${\lambda}^{\prime \prime}$
agree on
$N$
and thus give the same contribution. □
Proposition 3.1.
Suppose that
$\alpha $
is a closed equivariant form and
$r$
is a regular value of
$\mu {}^{2}.$
Then the large
$t$
limit of the Basic Integral (9 ) is equal to its contribution
${C}_{0}\left(\alpha \right)$
of the critical set with
$\mu =0$
(as defined in Corollary 3.1 ) plus a contribution bounded by
$exp(c/\epsilon )$
for some
$c.$

Proof:
This follows immediately from Lemma 3.2 . □
4 When Zero is a Regular Value of the Moment Map
The proof of the following result in the case of trivial isotropy group appears in [
GS84b]
, the full statement appears in [
Jef99]
. While the statement and proof are widely known to experts, to the author's knowledge no proof appears in the literature, so for the sake of completeness it is included here.
Proposition 4.1.
If
$0$
is a regular value of
$\mu $
(i.e. if
$d\mu $
is onto for each point of
${\mu}^{1}\left(0\right)$
) recall by Proposition 2.2 the map
$\pi :{\mu}^{1}\left(0\right)\to {M}_{\text{red}}={\mu}^{1}\left(0\right)/G$
is a principal orbifold bundle and
${M}_{\text{red}}$
has an orbifold symplectic structure
${\omega}_{0}.$
Given a connection
$A$
on this bundle, there is an isomorphism of Hamiltonian spaces between a neighborhood of
${\mu}^{1}\left(0\right)$
in
$M$
and the Hamiltonian space
${\mu}^{1}\left(0\right)\times \mathfrak{g},$
with symplectic form and moment map at
$(p,\nu )\in {\mu}^{1}\left(0\right)\times \mathfrak{g}$
given by
$$\begin{array}{c}\stackrel{~}{\omega}={\pi}^{*}{\omega}_{0}+d\langle \nu ,A\rangle \end{array}$$ 
(11)

$$\begin{array}{c}\stackrel{~}{\mu}={\nu}^{\u25c6}.\end{array}$$ 
(12)


Proof:
One readily checks that
$\stackrel{~}{\omega}$
defines a closed form which is nondegenerate at
${\mu}^{1}\left(0\right),$
and therefore in a neighborhood. Also
$\stackrel{~}{\omega}$
is manifestly
$G$
invariant (with the diagonal action of
$G$
on
${\mu}^{1}\left(0\right)\times \mathfrak{g}$
) and satisfies the moment map condition with
$\stackrel{~}{\mu}.$
By Guilleman and Sternberg's local characterization [GS84b] [Thm.41.2], it suffices to give an equivariant symplectic isomorphism between the zeros of the moment map in each case, and then extend it to an equivariant identification of the normal bundles which preserves
$d\mu .$
The equivariant symplectic isomorphism is of course the natural imbedding of
${\stackrel{~}{\mu}}^{1}\left(0\right)={\mu}^{1}\left(0\right)\times \left\{0\right\}$
into
$M.$
Its equivariance is by naturality and it preserves
$\omega $
by inspection. Because
$d\mu $
is onto at every point it gives a trivialization of the normal bundle, identifying it with
${\mu}^{1}\left(0\right)\times \mathfrak{g}.$
This identification clearly is equivariant and takes
$d\stackrel{~}{\mu}$
to
$d\mu .$
□
Theorem 4.1.
Suppose
$\alpha $
is a closed equiviariant form, and
$0$
is a regular value for the moment map. Then the contribution
${C}_{0}\left(\alpha \right)$
to the Basic Integral (9 ) from
${\mu}^{1}\left(0\right)$
is
$${\int}_{\mathfrak{g}}\mathbf{d}\phi {\int}_{{M}_{\text{red}}}Kirwan\left(\alpha \right)exp({\omega}_{0}+\frac{\epsilon}{2}{c}_{2})$$
where
$Kirwan$
is the Kirwan map,
${M}_{\text{red}}$
is the orbifold quotient
${\mu}^{1}\left(0\right)/G$
and
${c}_{2}$
is the second Chern class of the bundle
${\mu}^{1}\left(0\right)\to {M}_{\text{red}}.$
In particular it has polynomial dependence on
$\epsilon .$

Proof:
The contribution to the basic integral of
${\mu}^{1}\left(0\right)$
is
$${lim}_{t\to \infty}\frac{1}{K}{\int}_{N}{\int}_{\mathfrak{g}}\alpha \left(\phi \right)exp(\omega +i\mu \cdot \phi \frac{\epsilon}{2}\phi {}^{2}+tD\lambda )\mathbf{d}\phi $$
where
$N$
is a neighborhood of
${\mu}^{1}\left(0\right)$
containing no other critical points in its closure. By Proposition 4.1 we can take
$N$
isomorphic to a neighborhood of
${\mu}^{1}\left(0\right)$
in
${\mu}^{1}\left(0\right)\times \mathfrak{g}.$
The integral is unchanged if we replace
$\alpha $
by something cohomologous, so using an equivariant homotopy we can replace
$\alpha $
with a form that agrees with
${\iota}^{*}\left(\alpha \right)\times 1$
in a neighborhood of
${\mu}^{1}\left(0\right)$
in
${\mu}^{1}\left(0\right)\times \mathfrak{g}$
(
$\iota $
being the inclusion of
${\mu}^{1}\left(0\right)$
). By making
$N$
sufficiently small this form agrees with
${\iota}^{*}\left(\alpha \right)\times 1$
(which we will abbreviate
${\iota}^{*}\left(\alpha \right)$
) everywhere. Thus
$$={lim}_{t\to \infty}\frac{1}{K}{\int}_{N\subset {\mu}^{1}\left(0\right)\times \mathfrak{g}}{\int}_{\mathfrak{g}}{\iota}^{*}\left(\alpha \right)\left(\phi \right)exp({\pi}^{*}{\omega}_{0}+d\langle \nu ,A\rangle +i\langle \nu ,\phi \rangle \frac{\epsilon}{2}\phi {}^{2}+tD\lambda )\mathbf{d}\phi .$$
By Lemma 3.5 , we may isotope
$\lambda $
provided the zeros of
$\lambda :V\phi $
do not change. Since
$\langle V{\mu}^{\u25c6},\cdot {\rangle}_{M}$
and
$\langle \nu ,A{\rangle}_{G}$
are both positive on the vector
$V{\mu}^{\u25c6},$
interpolating between them linearly does not change the zeros. Thus replacing
$\lambda $
with
$\langle \nu ,A\rangle $
does not change the limit, giving
$$\begin{array}{ccc}& =& {lim}_{t\to \infty}\frac{1}{K}{\int}_{N\subset {\mu}^{1}\left(0\right)\times \mathfrak{g}}{\int}_{\mathfrak{g}}{\iota}^{*}\left(\alpha \right)\left(\phi \right)\end{array}$$  
$$\begin{array}{ccc}& & \cdot exp({\pi}^{*}{\omega}_{0}+d\langle \nu ,A\rangle +td\langle \nu ,A\rangle +i\langle \nu ,\phi \rangle +it\langle \nu ,\phi \rangle \frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi .\end{array}$$  
Notice that
$\nu $
occurs throughout with the factor
$(1+t)$
(because
${\iota}^{*}\left(\alpha \right)$
does not depend
$\nu $
) and thus we can rescale to eliminate
$t$
except for the dependence of the region of integration. In the large
$t$
limit this becomes the integral over all
$\mathfrak{g}$
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{{\mu}^{1}\left(0\right)\times \mathfrak{g}}{\int}_{\mathfrak{g}}{\iota}^{*}\left(\alpha \right(\phi \left)\right)\end{array}$$  
$$\begin{array}{ccc}& & \cdot exp({\pi}^{*}{\omega}_{0}+d\langle \nu ,A\rangle +i\langle \nu ,\phi \rangle \frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi .\end{array}$$  
Completing the square
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{{\mu}^{1}\left(0\right)\times \mathfrak{g}}\left({\int}_{\mathfrak{g}}{\iota}^{*}\left(\alpha \right)(\phi +\frac{i}{\epsilon}\nu )exp(\frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi \right)\end{array}$$  
$$\begin{array}{ccc}& & \cdot exp({\pi}^{*}{\omega}_{0}+d\langle \nu ,A\rangle \frac{1}{2\epsilon}\nu {}^{2})\end{array}$$  
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{{\mu}^{1}\left(0\right)\times \mathfrak{g}}\left({\int}_{\mathfrak{g}}{\iota}^{*}\left(\alpha \right)(\phi +\frac{i}{\epsilon}\nu )exp(\frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi \right)\end{array}$$  
$$\begin{array}{ccc}& & \cdot exp({\pi}^{*}{\omega}_{0}+\langle d\nu ,A\rangle +\langle \nu ,dA\rangle \frac{1}{2\epsilon}\nu {}^{2}).\end{array}$$  
Note the only occurrence of
$d\nu $
is in
$exp(\langle d\nu ,A\rangle ).$
Consider a basis of tangent vector at some point in
${\mu}^{1}\left(0\right)\times \mathfrak{g}$
which consists of an orthonormal basis of
$\mathfrak{g},$
the image of this orthonormal basis under
$V,$
and a basis of
$A$
horizontal vectors in
${\mu}^{1}\left(0\right).$
The top dimensional piece of this multiform is a sum of terms with
$\langle d\nu ,A\rangle $
raised to various powers, but the only terms which are nonzero when applied to this basis are those where
$\langle d\nu ,A\rangle $
is raised to
$dim\left(G\right),$
and on those terms the value is unchanged if
${P}_{A}^{*}$
is applied to all other forms in the product. Thus
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{{\mu}^{1}\left(0\right)\times \mathfrak{g}}\left({\int}_{\mathfrak{g}}{P}_{A}^{*}\circ {\iota}^{*}\left(\alpha \right)(\phi +\frac{i}{\epsilon}\nu )exp(\frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi \right)\end{array}$$  
$$\begin{array}{ccc}& & \cdot exp({\pi}^{*}{\omega}_{0}+\langle \nu ,{P}_{A}^{*}(dA)\rangle \frac{1}{2\epsilon}\nu {}^{2})\langle d\nu ,A{\rangle}^{dim\left(G\right)}\end{array}$$  
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{{\mu}^{1}\left(0\right)\times \mathfrak{g}}\left({\int}_{\mathfrak{g}}{P}_{A}^{*}\circ {\iota}^{*}\left(\alpha \right)(\phi +\frac{i}{\epsilon}\nu )exp(\frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi \right)\end{array}$$  
$$\begin{array}{ccc}& & \cdot exp({\pi}^{*}{\omega}_{0}+\langle \nu ,{F}_{A}\rangle \frac{1}{2\epsilon}\nu {}^{2})\langle d\nu ,A{\rangle}^{dim\left(G\right)}\end{array}$$  
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{{\mu}^{1}\left(0\right)\times \mathfrak{g}}\left({\int}_{\mathfrak{g}}{P}_{A}^{*}\circ {\iota}^{*}\left(\alpha \right)(\phi +\frac{i}{\epsilon}\nu +i{F}_{A})exp(\frac{\epsilon}{2}\phi {}^{2}\frac{1}{2\epsilon}\left\nu {}^{2}\right)\mathbf{d}\phi \right)\end{array}$$  
$$\begin{array}{ccc}& & \cdot exp({\pi}^{*}{\omega}_{0}+\frac{\epsilon}{2}{F}_{A}{}^{2})\langle d\nu ,A{\rangle}^{dim\left(G\right)}\end{array}$$  
$$\begin{array}{ccc}& =& \frac{vol\left(G\right)}{K}{\int}_{{\mu}^{1}\left(0\right)/G}\left({\int}_{\mathfrak{g}}{\int}_{\mathfrak{g}}{P}_{A}^{*}\circ {\iota}^{*}\left(\alpha \right)(\phi +\frac{i}{\epsilon}\nu +i{F}_{A})exp(\frac{\epsilon}{2}\phi {}^{2}\frac{1}{2\epsilon}\left\nu {}^{2}\right)\mathbf{d}\phi \mathbf{d}\nu \right)\end{array}$$  
$$\begin{array}{ccc}& & \cdot exp({\omega}_{0}+\frac{\epsilon}{2}{F}_{A}{}^{2})\end{array}$$  
where we have completed the square on
$\nu $
and integrated the result over the vertical fibers, noting that the integral is constant in these directions and that the measure
$\langle d\nu ,A{\rangle}^{dim\left(G\right)}$
is equal to Haar measure on the vertical fiber times Lebesgue measure
$\mathbf{d}\nu $
on
$\nu .$
Now changing the
$\nu $
and
$\phi $
variables to a single complex variable
$z=\sqrt{\epsilon}\phi +i\nu /\sqrt{\epsilon}$
and noting that the integral of any complex polynomial against a complex Gaussian measure gives its constant term yields
$$\begin{array}{ccc}& =& \frac{vol\left(G\right)}{K}{\int}_{{\mu}^{1}\left(0\right)/G}\left({\int}_{\mathfrak{g}+i\mathfrak{g}}{P}_{A}^{*}\circ {\iota}^{*}\left(\alpha \right)(\frac{1}{\sqrt{\epsilon}}z+i{F}_{A})exp(z{}^{2})\mathbf{d}z\right)exp({\omega}_{0}+\frac{\epsilon}{2}{F}_{A}{}^{2})\end{array}$$  
$$\begin{array}{ccc}& =& \frac{vol\left(G\right)\left(2\pi {)}^{dim\left(G\right)}\right)}{K}{\int}_{{\mu}^{1}\left(0\right)/G}{P}_{A}^{*}\circ {\iota}^{*}\left(\alpha \right)\left(i{F}_{A}\right)exp({\omega}_{0}+\frac{\epsilon}{2}{F}_{A}{}^{2})\end{array}$$  
$$\begin{array}{ccc}& =& \frac{vol\left(G\right)\left(2\pi {)}^{dim\left(G\right)}\right)}{K}{\int}_{{\mu}^{1}\left(0\right)/G}Kirwan\left(\alpha \right)exp({\omega}_{0}+\frac{\epsilon}{2}{F}_{A}{}^{2})\end{array}$$  
□
Corollary 4.1.
If
$\alpha $
is a closed equivariant form,
$r$
is a regular value of
$\mu {}^{2},$
$\mu $
is proper and
$0$
is a regular value of
$\mu $
then the Basic Integral
$BI(\alpha ,r,0)$
can be written uniquely as a sum of a polynomial in
$\epsilon $
plus a term bounded by
$exp(c/\epsilon )$
for some
$c>0,$
the polynomial piece representing the contribution from
${\mu}^{1}\left(0\right)$
as in Theorem 4.1 .

Proof:
We know that
$BI(\alpha ,r,0)$
differs from the large
$t$
limit
${lim}_{t\to \infty}BI(\alpha ,r,t)$
by a quantity bounded by
$exp(c/\epsilon )$
for some
$c>0$
by Lemma 3.3 . On the other hand the large
$t$
limit is a sum of contributions from
$r=0$
and higher critical values by Corollary 3.1 . The former is a polynomial in
$\epsilon $
by Theorem 4.1 , the latter is bounded by
$exp(c/\epsilon )$
for some
$c>0$
by Proposition 3.1 . Since a function can only be written in one way as a polynomial plus a term bounded by
$exp(c/\epsilon ),$
the result follows. □
In general we have no reason to believe that the integral over all of
$M,$
that is the large
$r$
limit of
$BI(\alpha ,r,t)$
exists for a fixed
$t$
or the large
$t$
limit. however, if it exists and converges sufficiently rapidly, the same results as above apply. For example
Proposition 4.2.
Suppose that
$M$
is a Hamiltonian space with proper moment map and
$0$
is a regular value of
$\mu .$
Suppose also the symplectic volume of
${M}_{r}$
as a function of
$r$
is such that
$\partial Vol({M}_{r})/\partial r<exp\left(c\sqrt{r}\right)$
for some
$c>0.$
Suppose also that for some almost complex structure the supremum over all of
${M}_{r}$
of the norm of
$\alpha $
(the norm as an ordinary form at each point times the norm as a symmetric tensor in
${\mathfrak{g}}^{*}$
) is also bounded by
$exp\left(c\sqrt{r}\right).$
Then
$${lim}_{r\to \infty}{\int}_{{M}_{r}}{\int}_{\mathfrak{g}}\alpha exp(\omega +i\mu \phi \frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi $$
exists and is of the form a polynomial in
$\epsilon $
plus a term exponentially damped in
$\epsilon ,$
the polynomial

Proof:
Fix a regular value
${r}_{0}$
of
$\mu {}^{2}.$
$$\begin{array}{ccc}& & \left{lim}_{r\to \infty}BI(\alpha ,r,0)BI(\alpha ,{r}_{0},0)\right\end{array}$$  
$$\begin{array}{ccc}& =& \frac{1}{K}{\int}_{M{M}_{{r}_{0}}}{\int}_{\mathfrak{g}}\alpha \left(\phi \right)exp(\omega +i\mu \phi \frac{\epsilon}{2}\phi {}^{2})\mathbf{d}\phi \end{array}$$  
$$\begin{array}{ccc}& =& \frac{1}{K}\left{\int}_{M{M}_{{r}_{0}}}exp(\omega \frac{1}{2\epsilon}\mu {}^{2}\left){\int}_{\mathfrak{g}}\alpha \right(\phi {+}_{i}{\mu}^{\u25c6}/\epsilon )exp(\frac{\epsilon}{2}\left\phi {}^{2}\right)\mathbf{d}\phi \right\end{array}$$  
$$\begin{array}{ccc}& \le & \frac{1}{K}\left{\int}_{{r}_{0}}^{\infty}exp(\frac{r}{2\epsilon}+c\sqrt{r})\text{POLY}(\sqrt{r},{\epsilon}^{\pm 1/2})\partial Vol\left({M}_{r}\right)/\partial r\mathbf{d}r\right\end{array}$$  
$$\begin{array}{ccc}& \le & \frac{1}{K}\left{\int}_{{r}_{0}}^{\infty}exp(\frac{r}{2\epsilon}+2c\sqrt{r})\text{POLY}(\sqrt{r},{\epsilon}^{\pm 1/2})\mathbf{d}r\right\end{array}$$  
$$\begin{array}{ccc}& \le & exp(\frac{k}{\epsilon})\text{POLY}\left({\epsilon}^{\pm 1/2}\right)\end{array}$$  
for some positive constant
$k.$
Applying this to Corollary 4.1 gives the result.
□
References

M. F. Atiyah and R. Bott. The YangMills equations over Riemann surfaces. Philos. Trans. Roy. Soc. London Ser. A, 308(1505):523–615, 1982.

M. F. Atiyah. Convexity and commuting Hamiltonians. Bull. London Math. Soc., 14(1):1–15, 1982.

Raoul Bott, Susan Tolman, and Jonathan Weitsman. Surjectivity for Hamiltonian loop group spaces. Invent. Math., 155(2):225–251, 2004.

Michel Brion and Michèle Vergne. Residue formulae, vector partition functions and lattice points in rational polytopes. J. Amer. Math. Soc., 10(4):797–833, 1997.

J. J. Duistermaat and G. J. Heckman. Addendum to: “On the variation in the cohomology of the symplectic form of the reduced phase space”. Invent. Math., 72(1):153–158, 1983.

Victor Guillemin and Jaap Kalkman. The JeffreyKirwan localization theorem and residue operations in equivariant cohomology. J. Reine Angew. Math., 470:123–142, 1996.

Victor Guillemin and Shlomo Sternberg. A normal form for the moment map. In Differential geometric methods in mathematical physics (Jerusalem, 1982), volume 6 of Math. Phys. Stud., pages 161–175. Reidel, Dordrecht, 1984.

Victor Guillemin and Shlomo Sternberg. Symplectic techniques in physics. Cambridge University Press, Cambridge, 1984.

Victor Guillemin and Shlomo Sternberg. Supersymmetry and Equivariant de Rham Theory. Springer Verlag, Berlin, 1999.

Lisa C. Jeffrey. Hamiltonian group actions and symplectic reduction. In Symplectic geometry and topology (Park City, UT, 1997), volume 7 of IAS/Park City Math. Ser., pages 295–333. Amer. Math. Soc., Providence, RI, 1999.

L. Jeffrey and F. Kirwan. Localization for nonabelian group actions. Tolopogy, 34(2):291–327, 1995. arXiv:alggeom/9307001.

Lisa C. Jeffrey and Frances C. Kirwan. Intersection theory on moduli spaces of holomorphic bundles of arbitrary rank on a Riemann surface. Ann. of Math. (2), 148(1):109–196, 1998. arXiv:alggeom/9608029.

Lisa C. Jeffrey, YoungHoon Kiem, Frances Kirwan, and Jonathan Woolf. Cohomology pairings on singular quotients in geometric invariant theory. Transform. Groups, 8(3):217–259, 2003.

Jaap Kalkman. Cohomology rings of symplectic quotients. J. Reine Angew. Math., 458:37–52, 1995.

YoungHoon Kiem. Intersection cohomology of quotients of nonsingular varieties. Invent. Math., 155(1):163–202, 2004.

Frances Clare Kirwan. Cohomology of quotients in symplectic and algebraic geometry, volume 31 of Mathematical Notes. Princeton University Press, Princeton, NJ, 1984.

Matvei Libine. Integrals of equivariant forms over noncompact symplectic manifolds. arXiv:math.SG/0411638 v2.

Eugene Lerman, Eckhard Meinrenken, Sue Tolman, and Chris Woodward. Nonabelian convexity by symplectic cuts. Topology, 37(2):245–259, 1998.

Eckhard Meinrenken and Reyer Sjamaar. Singular reduction and quantization. Topology, 38(4):699–762, 1999.

PaulEmile Paradan. The moment map and equivariant cohomology with generalized coefficients. Topology, 39(2):401–444, 2000.

Elisa Prato and Siye Wu. DuistermaatHeckman measures in a noncompact setting. Compositio Math., 94(2):113–128, 1994.

Susan Tolman and Jonathan Weitsman. The cohomology rings of symplectic quotients. Comm. Anal. Geom., 11(4):751–773, 2003.

Michèle Vergne. A note on the JeffreyKirwanWitten localisation formula. Topology, 35:243–266, 1996.

E. Witten. Two dimensional gauge theories revisited. J. Geom. Phys., 9:303–368, 1992. http://xxx.lanl.gov/abs/hepth/9204083.
Department of Math and C. S., Fairfield University, Fairfield, CT 068255195 Email address : sawin@cs.fairfield.edu