Source author record

Kevin Costello

Kevin Costello appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2023arXiv

Celestial holography meets twisted holography: 4d amplitudes from chiral correlators

We propose a new program for computing a certain integrand of scattering amplitudes of four-dimensional gauge theories which we call the \textit{form factor integrand}, starting from 6d holomorphic theories on twistor space. We show that the form factor integrands can be expressed as sums of products of 1.) correlators of a 2d chiral algebra, related to the algebra of asymptotic symmetries uncovered recently in the celestial holography program, and 2.) OPE coefficients of a 4d non-unitary CFT. We prove that conformal blocks of the chiral algebras are in one-to-one correspondence with local operators in 4d. We use this bijection to recover the Parke-Taylor formula, the CSW formula, and certain one-loop scattering amplitudes. Along the way, we explain and derive various aspects of celestial holography, incorporating techniques from the twisted holography program such as Koszul duality. This perspective allows us to easily and efficiently recover the infinite-dimensional chiral algebras of asymptotic symmetries recently extracted from scattering amplitudes of massless gluons and gravitons in the celestial basis. We also compute some simple one-loop corrections to the chiral algebras and derive the three-dimensional bulk theories for which these 2d algebras furnish an algebra of boundary local operators.

preprint2022arXiv

On the associativity of one-loop corrections to the celestial OPE

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-Schwarz mechanism. Alternatively, associativity can be restored for some gauge groups with carefully chosen matter.

preprint2020arXiv

Anomaly cancellation in the topological string

We describe the coupling of holomorphic Chern-Simons theory at large N with Kodaira-Spencer gravity. We explain a new anomaly cancellation mechanism at all loops in perturbation theory for open-closed topological B-model. At one loop this anomaly cancellation is analogous to the Green-Schwarz mechanism. As an application, we introduce a type I version of Kodaira-Spencer theory in complex dimensions 3 and 5. In complex dimension 5, we show that it can only be coupled consistently at the quantum level to holomorphic Chern-Simons theory with gauge group SO(32). This is analogous to the Green-Schwarz mechanism for the physical type I string. This coupled system is conjectured to be a supersymmetric localization of type I string theory. In complex dimension 3, the required gauge group is SO(8).

preprint2020arXiv

Boundary Chiral Algebras and Holomorphic Twists

We study the holomorphic twist of 3d ${\cal N}=2$ gauge theories in the presence of boundaries, and the algebraic structure of bulk and boundary local operators. In the holomorphic twist, both bulk and boundary local operators form chiral algebras (\emph{a.k.a.} vertex operator algebras). The bulk algebra is commutative, endowed with a shifted Poisson bracket and a "higher" stress tensor; while the boundary algebra is a module for the bulk, may not be commutative, and may or may not have a stress tensor. We explicitly construct bulk and boundary algebras for free theories and Landau-Ginzburg models. We construct boundary algebras for gauge theories with matter and/or Chern-Simons couplings, leaving a full description of bulk algebras to future work. We briefly discuss the presence of higher A-infinity like structures.

preprint2020arXiv

Categorical Enumerative Invariants, I: String vertices

We define combinatorial counterparts to the geometric string vertices of Sen-Zwiebach and Costello-Zwiebach, which are certain closed subsets of the moduli spaces of curves. Our combinatorial vertices contain the same information as the geometric ones, are effectively computable, and act on the Hochschild chains of a cyclic $A_\infty$-algebra. This is the first in a series of two papers where we define enumerative invariants associated to a pair consisting of a cyclic $A_\infty$-algebra and a splitting of the Hodge filtration on its cyclic homology. These invariants conjecturally generalize the Gromov-Witten and Fan-Jarvis-Ruan-Witten invariants from symplectic geometry, and the Bershadsky-Cecotti-Ooguri-Vafa invariants from holomorphic geometry.

preprint2020arXiv

The Chern-Simons Origin of Superstring Integrability

We derive the AdS${}_5\times$S${}^5$ Green-Schwarz superstring from four-dimensional Beltrami-Chern-Simons theory reduced on a manifold with singular boundary conditions. In this construction, the Lax connection and spectral parameter of the integrable superstring have a simple geometric origin in four dimensions as gauge connection and reduction coordinate. Kappa symmetry arises as a certain class of singular gauge transformations, while the worldsheet metric comes from complex-structure-changing Beltrami differentials. Our approach offers the possibility of investigating integrable holography using traditional field theory methods.

preprint2016arXiv

M-theory in the Omega-background and 5-dimensional non-commutative gauge theory

The $Ω$-background is defined for supergravity, and a very general class of such backgrounds is constructed for 11-dimensional supergravity. 11-dimensional supergravity in a certain $Ω$-background is shown to be equivalent to a 5-dimensional non-commutative gauge theory of Chern-Simons type. M2 and M5 branes are expressed as 1 and 2-dimensional extended objects in the 5-dimensional gauge theory. This 5-dimensional gauge theory is shown to admit a consistent quantization with two coupling constants, despite being formally non-renormalizable. A check of a twisted version of AdS/CFT is performed relating this 5-dimensional non-commutative gauge theory to the theory on N M5 branes, wrapping an $A_{k-1}$ singularity and placed in an $Ω$-background. The operators on the M5 branes, in the $Ω$-background, are described by a certain chiral algebra which in the large N limit becomes a $W_{k+\infty}$ algebra. This chiral algebra is recovered from the 5-dimensional gauge theory. This argument also provides a holographic explanation of the result of Maulik-Okounkov and Schiffmann-Vasserot that the $W_{k+\infty}$ algebra acts on the equivariant cohomology of the moduli of instantons on an $A_{k-1}$ singularity.

preprint2016arXiv

Twisted supergravity and its quantization

Twisted supergravity is supergravity in a background where the bosonic ghost field takes a non-zero value. This is the supergravity counterpart of the familiar concept of twisting supersymmetric field theories. In this paper, we give conjectural descriptions of type IIA and IIB supergravity in $10$ dimensions. Our conjectural descriptions are in terms of the closed-string field theories associated to certain topological string theories, and we conjecture that these topological string theories are twists of the physical string theories. For type IIB, the results of arXiv:1505.6703 show that our candidate twisted supergravity theory admits a unique quantization in perturbation theory. This is despite the fact that the theories, like the original physical theories, are non-renormalizable. Although we do not prove our conjectures, we amass considerable evidence. We find that our candidates for the twisted supergravity theories contain the residual supersymmetry one would expect. We also prove (using heavily a result of Baulieu arXiv:1009.3893) the open string version of our conjecture: the theory living on a brane in the topological string theory is a twist of the maximally supersymmetric gauge theory living on the brane in the physical string theory.

preprint2015arXiv

Quantization of open-closed BCOV theory, I

This is the first in a series of papers which analyze the problem of quantizing the theory coupling Kodaira-Spencer gravity (or BCOV theory) on Calabi-Yau manifolds using the formalism for perturbative QFT developed by the first author. In this paper, we focus on flat space $\mathbb{C}^d$ for $d$ odd. We prove that there exists a unique quantization of the theory coupling BCOV theory and holomorphic Chern-Simons theory with gauge group the supergroup $GL(N \mid N)$. We deduce a canonically defined quantization of BCOV theory on its own. We also discuss some conjectural links between BCOV theory in various dimensions and twists of physical theories: in complex dimension $3$ we conjecture a relationship to twists of $(1,0)$ supersymmetric theories and in complex dimension $5$ to a twist of type IIB supergravity.

preprint2014arXiv

Information Gathering in Ad-Hoc Radio Networks with Tree Topology

We study the problem of information gathering in ad-hoc radio networks without collision detection, focussing on the case when the network forms a tree, with edges directed towards the root. Initially, each node has a piece of information that we refer to as a rumor. Our goal is to design protocols that deliver all rumors to the root of the tree as quickly as possible. The protocol must complete this task within its allotted time even though the actual tree topology is unknown when the computation starts. In the deterministic case, assuming that the nodes are labeled with small integers, we give an O(n)-time protocol that uses unbounded messages, and an O(n log n)-time protocol using bounded messages, where any message can include only one rumor. We also consider fire-and-forward protocols, in which a node can only transmit its own rumor or the rumor received in the previous step. We give a deterministic fire-and- forward protocol with running time O(n^1.5), and we show that it is asymptotically optimal. We then study randomized algorithms where the nodes are not labelled. In this model, we give an O(n log n)-time protocol and we prove that this bound is asymptotically optimal.

preprint2012arXiv

Matching with Commitments

We consider the following stochastic optimization problem first introduced by Chen et al. in \cite{chen}. We are given a vertex set of a random graph where each possible edge is present with probability p_e. We do not know which edges are actually present unless we scan/probe an edge. However whenever we probe an edge and find it to be present, we are constrained to picking the edge and both its end points are deleted from the graph. We wish to find the maximum matching in this model. We compare our results against the optimal omniscient algorithm that knows the edges of the graph and present a 0.573 factor algorithm using a novel sampling technique. We also prove that no algorithm can attain a factor better than 0.898 in this model.