In this paper we study the BMS symmetry of the celestial OPE of two positive helicity gravitons in Einstein theory in four dimensions. The celestial OPE is obtained by Mellin transforming the scattering amplitude in the (holomorphic) collinear limit. The collinear limit at leading order gives the singular term of the celestial OPE. We compute the first subleading correction to the OPE by analysing the four graviton scattering amplitude directly in Mellin space. The subleading term can be written as a linear combination of BMS descendants with the OPE coefficients determined by BMS algebra and the coefficient of the leading term in the OPE. This can be done by defining a suitable BMS primary state. We find that among the descendants, which appear at the first subleading order, there is one which is created by holomorphic supertranslation with simple pole on the celestial sphere.
Starting from gravity in asymptotically flat spacetime, the BMS momentum fluxes are constructed. These are non-local expressions of the solution space living on the celestial Riemann surface. They transform in the coadjoint representation of the extended BMS group and correspond to Virasoro primaries under the action of bulk superrotations. The relation between the BMS momentum fluxes and celestial CFT operators is then established: the supermomentum flux is related to the supertranslation operator and the super angular momentum flux is linked to the stress-energy tensor of the celestial CFT. …
In this note we show how the 1-loop exact correction to the subleading soft graviton theorem arising from IR divergences of scattering amplitudes matches onto the quadratic corrections to the soft charges computed from the BMS flux algebra. In the process, we examine how the BMS flux construction extends the celestial diamond framework to non-linear order and non-trivial vacua, and provides the natural symmetry generators for Celestial CFT.
The coadjoint representation of the BMS group in four dimensions is constructed in a formulation that covers both the sphere and the punctured plane. The structure constants are worked out for different choices of bases. The conserved current algebra of non-radiative asymptotically flat spacetimes is explicitly interpreted in these terms.
We elaborate on the proposal of flat holography in which four-dimensional physics is encoded in two-dimensional celestial conformal field theory (CCFT). The symmetry underlying CCFT is the extended BMS symmetry of (asymptotically) flat spacetime. We use soft and collinear theorems of Einstein-Yang-Mills theory to derive the OPEs of BMS field operators generating superrotations and supertranslations. The energy-momentum tensor, given by a shadow transform of a soft graviton operator, implements superrotations in the Virasoro subalgebra of $\mathfrak{bms_4}$. Supertranslations can be obtained fr…
The Lie algebra generated by supertranslation and superrotation vector fields at null infinity, known as the extended BMS (eBMS) algebra is expected to be a symmetry algebra of the quantum gravity S matrix. However, the algebra of commutators of the quantized eBMS charges has been a thorny issue in the literature. On the one hand, recent developments in celestial holography point towards a symmetry algebra which is a closed Lie algebra with no central extension or anomaly, and on the other hand, work of Distler, Flauger and Horn has shown that when these charges are quantized at null infinity,…
We study two-dimensional celestial conformal field theory describing four-dimensional ${\cal N}=1$ supergravity/Yang-Mills systems and show that the underlying symmetry is a supersymmetric generalization of BMS symmetry. We construct fermionic conformal primary wave functions and show how they are related via supersymmetry to their bosonic partners. We use soft and collinear theorems of supersymmetric Einstein-Yang-Mills theory to derive the OPEs of the operators associated to massless particles. The bosonic and fermionic soft theorems are shown to form a sequence under supersymmetric Ward ide…
Generalized BMS (gBMS) is the Lie group of the asymptotic symmetries at null infinity, and is proposed to be a symmetry of the quantum S-matrix. Despite much progress in understanding the symplectic structure at null infinity consistent with the gBMS symmetries, the construction of a radiative phase space where all the physical soft modes and their conjugate partners are identified remains elusive. We construct just such a radiative phase space for linearized gravity by a systematic constraint analysis. In addition, we highlight the difficulties that arise in extending this analysis to the non…
The four-dimensional $S$-matrix is reconsidered as a correlator on the celestial sphere at null infinity. Asymptotic particle states can be characterized by the point at which they enter or exit the celestial sphere as well as their $SL(2,\mathbb C)$ Lorentz quantum numbers: namely their conformal scaling dimension and spin $h\pm \bar h$ instead of the energy and momentum. This characterization precludes the notion of a soft particle whose energy is taken to zero. We propose it should be replaced by the notion of a conformally soft particle with $h=0$ or $\bar h=0$. For photons we explicitly c…
The constrained Hamiltonian analysis of geometric actions is worked out before applying the construction to the extended Bondi-Metzner-Sachs group in four dimensions. For any Hamiltonian associated with an extended BMS$_4$ generator, this action provides a field theory in two plus one spacetime dimensions whose Poisson bracket algebra of Noether charges realizes the extended BMS$_4$ Lie algebra. The Poisson structure of the model includes the classical version of the operator product expansions that have appeared in the context of celestial holography. Furthermore, the model reproduces the evo…
We use the isomorphism between the BMS${}_3$ and the $W(2,2)$ algebras to reconsider some generic aspects of CFTs with the BMS${}_3$ algebra defined as a chiral symmetry. For unitarity theories, it is known that the extended symmetry generator acts trivially, and the resulting theory is equivalent to a CFT with a Virasoro symmetry only. For nonunitary CFTs, we define an operator depending on a nilpotent variable, and we organize the Verma module through the action of this new operator. Finally, we find the conditions imposed by the modified Ward identity.
We express the nonlocal BMS charges of a free massless Klein-Gordon scalar field in 2+1 in terms of the Green functions of the polyharmonic operators. Using the properties of these Green functions, we are able to discuss the asymptotic behaviour of the fields that ensures the existence of the charges, and prove that one obtains a realization of the 2+1 BMS algebra in canonical phase space. We also discuss the transformations in configuration space, and show that in this case the algebra closes only up to skew-symmetric combinations of the equations of motion. The formulation of the charges, in…
The operator product expansion (OPE) on the celestial sphere of conformal primary gluons and gravitons is studied. Asymptotic symmetries imply recursion relations between products of operators whose conformal weights differ by half-integers. It is shown, for tree-level Einstein-Yang-Mills theory, that these recursion relations are so constraining that they completely fix the leading celestial OPE coefficients in terms of the Euler beta function. The poles in the beta functions are associated with conformally soft currents.
We study scattering amplitudes in the shadow conformal primary basis, which satisfies the same defining properties as the original conformal primary basis and has many advantages over it. The shadow celestial amplitudes exhibit locality manifestly on the celestial sphere, and behave like correlation functions in conformal field theory under the operator product expansion (OPE) limit. We study the OPE limits for three-point shadow celestial amplitude, and general $2\to n-2$ shadow celestial amplitudes from a large class of Feynman diagrams. In particular, we compute the conformal block expansio…
We compute one-loop corrections to the OPE of gluons in the celestial conformal field theory corresponding to Yang-Mills coupled to arbitrary matter. We exploit universal hard/soft factorization to derive an IR finite OPE for the hard gluon operators. This OPE involves logarithms and operators that resemble logarithmic partners of primary operators. We derive an exact all-loop OPE in a limit of the Higgs-regulated planar $\mathcal{N}=4$ super Yang-Mills theory.
We compute the operator product expansions of gluons and gravitons in celestial CFT from the worldsheet OPE of vertex operators of four-dimensional ambitwistor string theories. Remarkably, the worldsheet OPE localizes on the short-distance singularity between vertex operator insertions which in turn coincides with the OPE limit of operator insertions on the celestial sphere. The worldsheet CFT dynamically produces known celestial OPE coefficients -- as well as infinite towers of SL$(2,\mathbb{R})$ descendant contributions to the celestial OPE -- without any truncations or approximations. We ob…
Celestial holography provides a promising avenue to studying bulk scattering in flat spacetime from the perspective of boundary celestial conformal field theory (CCFT). A key ingredient in connecting the two sides is the celestial amplitude, which is given by the Mellin transform of momentum space scattering amplitude in energy. As such, celestial amplitudes can be identified with the correlation functions in celestial conformal field theory. In this paper, we introduce the further notion of celestial Mellin amplitude, which is given by the Mellin transform of celestial amplitude in coordinate…
Using the ambitwistor string, we complete the list of celestial OPE coefficients for supersymmetric theories. This uses the ambitwistor string worldsheet CFT to dynamically generate the OPE coefficients for maximally supersymmetric gauge theory, gravity and Einstein-Yang-Mills theories, including all helicity and orientation configurations. This extends previous purely bosonic results to include supersymmetry and provides explicit formulas which are, to the best of our knowledge, not in the literature. We also examine how the supersymmetric infinite dimensional soft algebras behave compared to…
Starting from the defining two-point and three-point functions of Celestial CFTs, Euclidean integral blocks are constructed for the OPE of scalar primaries. In their integral form they can alternatively be fixed using Poincaré symmetry acting on both massless and massive states. Subsequently, an analytic continuation is done to define the Lorentzian version of the correlation functions and the OPE blocks as valued on the $(1,1)$ cylinder, the universal cover of the recently studied celestial torus. The continuation is essentially the same that is used in the derivation of the KLT relations for…
The operator product expansion of massless celestial primary operators of arbitrary spin is investigated. Poincaré symmetry is found to imply a set of recursion relations on the operator product expansion coefficients of the leading singular terms at tree-level in a holomorphic limit. The symmetry constraints are solved by an Euler beta function with arguments that depend simply on the right-moving conformal weights of the operators in the product. These symmetry-derived coefficients are shown not only to match precisely those arising from momentum-space tree-level collinear limits, but also t…
In this paper we evaluate the modified celestial amplitude for gravitons and gluons, as defined in arXiv:1801.10171[hep-th]. We find that the modified (tree) amplitude is finite for gravitons in Einstein gravity. The modified amplitude behaves like correlation function of operators inserted at various points of null-infinity in the Minkowski space-time. Therefore, unlike the standard celestial amplitudes, these are three dimensional objects. We also show that this amplitude admits conformal soft factorization recently studied in the literature.
In celestial holography, four-dimensional scattering amplitudes are considered as two-dimensional conformal correlators of a putative two-dimensional celestial conformal field theory (CCFT). The simplest way of converting momentum space amplitudes into CCFT correlators is by taking their Mellin transforms with respect to light-cone energies. For massless particles, like gluons, however, such a construction leads to three-point and four-point correlators that vanish everywhere except for a measure zero hypersurface of celestial coordinates. This is due to the four-dimensional momentum conservat…
There has been recent interest in the question of whether QCD collinear singularities can be viewed as the OPE of a two-dimensional CFT. We analyze a version of this question for the self-dual limit of pure gauge theory (incorporating states of both helicities). We show that the known one-loop collinear singulaties do not form an associative chiral algebra. The failure of associativity can be traced to a novel gauge anomaly on twistor space. We find that associativity can be restored for certain gauge groups if we introduce an unusual axion, which cancels the twistor space anomaly by a Green-S…
The Cachazo-Strominger subleading soft graviton theorem for a positive helicity soft graviton is equivalent to the Ward identities for $\overline{SL(2,\mathbb C)}$ currents. This naturally gives rise to a $\overline{SL(2,\mathbb C)}$ current algebra living on the celestial sphere. The generators of the $\overline{SL(2,\mathbb C)}$ current algebra and the supertranslations, coming from a positive helicity leading soft graviton, form a closed algebra. We find that the OPE of two graviton primaries in the Celestial CFT, extracted from MHV amplitudes, is completely determined in terms of this alge…
The leading soft photon theorem implies that four-dimensional scattering amplitudes are controlled by a two-dimensional (2D) $U(1)$ Kac-Moody symmetry that acts on the celestial sphere at null infinity ($\mathcal{I}$). This celestial $U(1)$ current is realized by components of the electromagnetic vector potential on the boundaries of $\mathcal{I}$. Here, we develop a parallel story for Low's subleading soft photon theorem. It gives rise to a second celestial current, which is realized by vector potential components that are subleading in the large radius expansion about the boundaries of $\mat…
By using the $K$-free complex bosons and the $K$-free complex fermions, we construct the ${\cal N}=2$ supersymmetric $W_{\infty}^{K,K}$ algebra which is the matrix generalization of previous ${\cal N}=2$ supersymmetric $W_{\infty}$ algebra. By twisting this ${\cal N}=2$ supersymmetric $W_{\infty}^{K,K}$ algebra, we obtain the ${\cal N}=1$ supersymmetric $W_{\infty}^{K}$ algebra which is the matrix generalization of known ${\cal N}=1$ supersymmetric topological $W_{\infty}$ algebra. From this two-dimensional symmetry algebra, we propose the operator product expansion (OPE) between the soft grav…
The $w_{1+\infty}$ symmetry algebra appears in the Einstein--Yang--Mills theory, proposed recently by Strominger. In this paper, we derive the supersymmetric $w_{1+\infty}$ symmetry by using the known results on the operator product expansions (OPEs) between the graviton, gravitino, gluon, and gluino in the supersymmetric version of the above theory. We calculate the four additional commutator relations between the soft currents explicitly. In addition, we analyze the works of Odake et al. and Pope et al. and introduce the additional symmetry current that corresponds to the celestial gluino op…
We show that the Mellin transform of an $n$-point tree level MHV gluon scattering amplitude, also known as the celestial amplitude in pure Yang-Mills theory, satisfies a system of $(n-2)$ linear first order partial differential equations corresponding to $(n-2)$ positive helicity gluons. Although these equations closely resemble Knizhnik-Zamolodchikov equations for $SU(N)$ current algebra there is also an additional "correction" term coming from the subleading soft gluon current algebra. These equations can be used to compute the leading term in the gluon-gluon OPE on the celestial sphere. Sim…
