Exact results for duality-covariant integrated correlators in $\mathcal{N}=4$ SYM with general classical gauge groups
Daniele Dorigoni, Michael Green, Congkao Wen
Abstract
We present exact expressions for certain integrated correlators of four superconformal primary operators in the stress tensor multiplet of \mathcal{N}=4 <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mstyle mathvariant="script"> <mml:mi>š©</mml:mi> </mml:mstyle> <mml:mo>=</mml:mo> <mml:mn>4</mml:mn> </mml:mrow> </mml:math> supersymmetric YangāMills (SYM) theory with classical gauge group, G_N <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>N</mml:mi> </mml:msub> </mml:math> = SO(2N) <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mo>=</mml:mo> <mml:mi>S</mml:mi> <mml:mi>O</mml:mi> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mn>2</mml:mn> <mml:mi>N</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> </mml:mrow> </mml:math> , SO(2N+1) <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mi>S</mml:mi> <mml:mi>O</mml:mi> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mn>2</mml:mn> <mml:mi>N</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy="false" form="postfix">)</mml:mo> </mml:mrow> </mml:math> , USp(2N) <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mi>U</mml:mi> <mml:mi>S</mml:mi> <mml:mi>p</mml:mi> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mn>2</mml:mn> <mml:mi>N</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> </mml:mrow> </mml:math> . These integrated correlators are expressed as two-dimensional lattice sums by considering derivatives of the localised partition functions, generalising the expression obtained for SU(N) <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mi>S</mml:mi> <mml:mi>U</mml:mi> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mi>N</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> </mml:mrow> </mml:math> {gauge group} in our previous works. These expressions are manifestly covariant under Goddard-Nuyts-Olive duality. The integrated correlators can also be formally written as infinite sums of non-holomorphic Eisenstein series with integer indices and rational coefficients. Furthermore, the action of the hyperbolic Laplace operator with respect to the complex coupling \tau=\theta/(2\pi) + 4\pi i /g^2_{_{YM}} <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mi>Ļ</mml:mi> <mml:mo>=</mml:mo> <mml:mi>Īø</mml:mi> <mml:mi>/</mml:mi> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mn>2</mml:mn> <mml:mi>Ļ</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> <mml:mo>+</mml:mo> <mml:mn>4</mml:mn> <mml:mi>Ļ</mml:mi> <mml:mi>i</mml:mi> <mml:mi>/</mml:mi> <mml:msubsup> <mml:mi>g</mml:mi> <mml:msub> <mml:mi/> <mml:mrow> <mml:mi>Y</mml:mi> <mml:mi>M</mml:mi> </mml:mrow> </mml:msub> <mml:mn>2</mml:mn> </mml:msubsup> </mml:mrow> </mml:math> on any integrated correlator for gauge group G_N <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>N</mml:mi> </mml:msub> </mml:math> relates it to a linear combination of correlators with gauge groups G_{N+1} <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:math> , G_N <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>N</mml:mi> </mml:msub> </mml:math> and G_{N-1} <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo>ā</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:math> . These ``Laplace-difference equationsāā determine the expressions of integrated correlators for all classical gauge groups for any value of <jats:alternat