  We define a notion of formal quantum field theory and associate a formal
quantum field theory to K-theoretical intersection theories on Hilbert schemes
of points on algebraic surfaces. This enables us to find an effective way to
compute K-theoretical intersection theories on Hilbert schemes via a connection
to Macdonald polynomials and vertex operators.
