Quantum Witten localization and abelianization for qde solutions

We prove a quantum version of the localization formula of Witten that relates invariants of a git quotient with the equivariant invariants of the action. Using the formula we prove a quantum version of an abelianization formula of S. Martin relating invariants of geometric invariant theory quotients by a group and its maximal torus, conjectured by Bertram, Ciocan-Fontanine, and Kim. By similar techniques we prove a quantum Lefschetz principle for holomorphic symplectic reductions. As an application, we give a formula for the fundamental solution to the quantum differential equation (qde) for the moduli space of points on the projective line and for the smoothed moduli space of framed sheaves on the projective plane (a Nakajima quiver variety).