We initiate a novel formalism for computing correlation functions of trace operators in the planar N=4 SYM theory. The central object in our formalism is the spin vertex, which is the weak coupling analogy of the string vertex in string field theory.
We construct the spin vertex explicitly for all sectors at the leading order using a set of bosonic and fermionic oscillators. We prove that the vertex has trivial monodromy, or put in other words, it is a Yangian invariant. Since the monodromy of the vertex is the product of the monodromies of the three states, the Yangian invariance of the vertex implies an infinite exact symmetry for the three-point function. We conjecture that this infinite symmetry can be lifted to any loop order.
Let X and Y be K-equivalent toric Deligne-Mumford stacks related by a single toric wall-crossing. We prove the Crepant Transformation Conjecture in this case, fully-equivariantly and in genus zero. That is, we show that the equivariant quantum connec
tions for X and Y become gauge-equivalent after analytic continuation in quantum parameters. Furthermore we identify the gauge transformation involved, which can be thought of as a linear symplectomorphism between the Givental spaces for X and Y, with a Fourier-Mukai transformation between the K-groups of X and Y, via an equivariant version of the Gamma-integral structure on quantum cohomology. We prove similar results for toric complete intersections. We impose only very weak geometric hypotheses on X and Y: they can be non-compact, for example, and need not be weak Fano or have Gorenstein coarse moduli space. Our main tools are the Mirror Theorems for toric Deligne-Mumford stacks and toric complete intersections, and the Mellin-Barnes method for analytic continuation of hypergeometric functions.
We classify the 3-point functions of local gauge-invariant single-trace operators in the scalar sector of planar N=4 supersymmetric Yang-Mills involving at least one su(3) operator. In the case of two su(3) and one su(2) operators, the tree-level 3-p
oint function can be expressed in terms of scalar products of su(3) Bethe vectors. Moreover, if the second level Bethe roots of one of the su(3) operators is trivial (set to infinity), this 3-point function can be written in a determinant form. Using the determinant representation, we evaluate the structure constant in the semi-classical limit, when the number of roots goes to infinity.
