Showing 1–40 of 40 results for author: Costello, K

Self-Dual Gauge Theory from the Top Down

Authors: Roland Bittleston, Kevin Costello, Keyou Zeng

Abstract: We introduce a family of dualities between certain non-supersymmetric self-dual gauge theories on a large class of $4d$ self-dual asymptotically flat backgrounds, and the large $N$ limit of an independently defined $2d$ chiral defect CFT. Our construction goes via twisted holography for the type I topological string on a Calabi-Yau five-fold which fibres over twistor space. In particular, we show… ▽ More We introduce a family of dualities between certain non-supersymmetric self-dual gauge theories on a large class of $4d$ self-dual asymptotically flat backgrounds, and the large $N$ limit of an independently defined $2d$ chiral defect CFT. Our construction goes via twisted holography for the type I topological string on a Calabi-Yau five-fold which fibres over twistor space. In particular, we show that single-trace operators of the $2d$ defect CFT are in bijection with states of the celestial chiral algebra. We match the operator products of these states with the collinear splitting amplitudes of the self-dual gauge theory up to one-loop. Assigning vacuum expectations to central operators in the boundary theory computes bulk amplitudes on self-dual backgrounds. We are able to extract form factors from these amplitudes, which we use to give a simple closed formula for certain $n$-point two-loop all $+$ amplitudes in $\mathrm{SU}(K) \times \mathrm{SU}(R)$ gauge theory coupled to bifundamental massless fermions. △ Less

Submitted 22 January, 2025; v1 submitted 3 December, 2024; originally announced December 2024.

Comments: 121 pages + 18 page appendix, 22 figures; v2: computational error pointed out by Anthony Morales corrected

Quantizing local holomorphic field theories on twistor space

Authors: Kevin J. Costello

Abstract: This paper studies a class of four-dimensional quantum field theories which arise by quantizing local holomorphic field theories on twistor space. These theories have some remarkable properties: in particular, all correlation functions are rational functions. The two main examples are the $WZW_4$ model of Donaldson and Losev, Moore, Nekrasov and Shatashvili, and self-dual Yang-Mills theory. In eac… ▽ More This paper studies a class of four-dimensional quantum field theories which arise by quantizing local holomorphic field theories on twistor space. These theories have some remarkable properties: in particular, all correlation functions are rational functions. The two main examples are the $WZW_4$ model of Donaldson and Losev, Moore, Nekrasov and Shatashvili, and self-dual Yang-Mills theory. In each case, anomalies on twistor space must be cancelled by a Green-Schwarz mechanism, which introduces additional fields. For $WZW_4$, this only works for $G = SO(8)$ and the additional field is gravitational. For self-dual Yang-Mills, this works for $SU(2)$, $SU(3)$, $SO(8)$ and the exceptional groups, and the additional field is an axion. △ Less

Submitted 16 November, 2021; originally announced November 2021.

Twisted heterotic/type I duality

Authors: Kevin Costello, Brian R. Williams

Abstract: We formulate a twisted version of the conjectured duality between heterotic and type I string theories. Our formulation relates the chiral part of the heterotic string with a type I topological B-model on a Calabi-Yau five-fold. We provide a non-trivial check of this duality by showing that certain infinite-dimensional Lie algebras of global gauge transformations built from each theory are isomorp… ▽ More We formulate a twisted version of the conjectured duality between heterotic and type I string theories. Our formulation relates the chiral part of the heterotic string with a type I topological B-model on a Calabi-Yau five-fold. We provide a non-trivial check of this duality by showing that certain infinite-dimensional Lie algebras of global gauge transformations built from each theory are isomorphic. Matching the structure constants of the Lie algebras involves a detailed analysis of one-loop corrections on the type I side. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Avoiding Monochromatic Solutions to 3-term Equations

Authors: Kevin P. Costello, Gabriel Elvin

Abstract: Given an equation, the integers $[n] = \{1, 2, \dots, n\}$ as inputs, and the colors red and blue, how can we color $[n]$ in order to minimize the number of monochromatic solutions to the equation, and what is the minimum? The answer is only known for a handful of equations, but much progress has been made on improving upper and lower bounds on minima for various equations. A well-studied characte… ▽ More Given an equation, the integers $[n] = \{1, 2, \dots, n\}$ as inputs, and the colors red and blue, how can we color $[n]$ in order to minimize the number of monochromatic solutions to the equation, and what is the minimum? The answer is only known for a handful of equations, but much progress has been made on improving upper and lower bounds on minima for various equations. A well-studied characteristic an equation, which has its roots in graph Ramsey theory, is to determine if the minimum number of monochromatic solutions can be achieved (asymptotically) by uniformly random colorings. Such equations are called common. We prove that no 3-term equations are common and provide a lower bound for a specific class of 3-term equations. △ Less

Submitted 8 April, 2022; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: Streamlined construction of solutions beating random, added argument giving quadratic lower bound for certain equations

MSC Class: 05D10

Q-operators are 't Hooft lines

Authors: Kevin Costello, Davide Gaiotto, Junya Yagi

Abstract: We study 't Hooft lines in four-dimensional holomorphic-topological Chern-Simons theory. We relate them to Q-operators in the theory of integrable systems. We give a physical interpretation of the fundamental TQ and QQ relations satisfied by Q-operators and conventional transfer matrices. We study 't Hooft lines in four-dimensional holomorphic-topological Chern-Simons theory. We relate them to Q-operators in the theory of integrable systems. We give a physical interpretation of the fundamental TQ and QQ relations satisfied by Q-operators and conventional transfer matrices. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 79 pages, 6 figures

Categorical Enumerative Invariants, I: String vertices

Authors: Andrei Caldararu, Kevin Costello, Junwu Tu

Abstract: 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… ▽ More 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. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Comments: 35 pages

MSC Class: 57K20; 53D45; 14N35

Boundary Chiral Algebras and Holomorphic Twists

Authors: Kevin Costello, Tudor Dimofte, Davide Gaiotto

Abstract: 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 th… ▽ More 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. △ Less

Submitted 30 April, 2020; originally announced May 2020.

Comments: 96 pages

Hyperbolic String Vertices

Authors: Kevin Costello, Barton Zwiebach

Abstract: The string vertices of closed string field theory are subsets of the moduli spaces of punctured Riemann surfaces that satisfy a geometric version of the Batalin-Vilkovisky master equation. We present a homological proof of existence of string vertices and their uniqueness up to canonical transformations. Using hyperbolic metrics on surfaces with geodesic boundaries we give an exact construction of… ▽ More The string vertices of closed string field theory are subsets of the moduli spaces of punctured Riemann surfaces that satisfy a geometric version of the Batalin-Vilkovisky master equation. We present a homological proof of existence of string vertices and their uniqueness up to canonical transformations. Using hyperbolic metrics on surfaces with geodesic boundaries we give an exact construction of string vertices as sets of surfaces with systole greater than or equal to $L$ with $L\leq 2\, \hbox{arcsinh}\, 1$. Intrinsic hyperbolic collars prevent the appearance of short geodesics upon sewing. The surfaces generated by Feynman diagrams are naturally endowed with Thurston metrics: hyperbolic on the vertices and flat on the propagators. For the classical theory the length $L$ is arbitrary and, as $L\to \infty$ hyperbolic vertices become the minimal-area vertices of closed string theory. △ Less

Submitted 30 August, 2019; originally announced September 2019.

Comments: 26 pages, 7 figures

Report number: MIT-CTP-5139

An Omega(n^2) Lower Bound for Random Universal Sets for Planar Graphs

Authors: Alexander Choi, Marek Chrobak, Kevin Costello

Abstract: A set $U\subseteq \reals^2$ is $n$-universal if all $n$-vertex planar graphs have a planar straight-line embedding into $U$. We prove that if $Q \subseteq \reals^2$ consists of points chosen randomly and uniformly from the unit square then $Q$ must have cardinality $Ω(n^2)$ in order to be $n$-universal with high probability. This shows that the probabilistic method, at least in its basic form, can… ▽ More A set $U\subseteq \reals^2$ is $n$-universal if all $n$-vertex planar graphs have a planar straight-line embedding into $U$. We prove that if $Q \subseteq \reals^2$ consists of points chosen randomly and uniformly from the unit square then $Q$ must have cardinality $Ω(n^2)$ in order to be $n$-universal with high probability. This shows that the probabilistic method, at least in its basic form, cannot be used to establish an $o(n^2)$ upper bound on universal sets. △ Less

Submitted 11 September, 2019; v1 submitted 19 August, 2019; originally announced August 2019.

Anomaly cancellation in the topological string

Authors: Kevin Costello, Si Li

Abstract: 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 dimensi… ▽ More 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). △ Less

Submitted 5 January, 2020; v1 submitted 22 May, 2019; originally announced May 2019.

Comments: 43 pages, 2 figures. Comments are welcome

Twisted Holography

Authors: Kevin Costello, Davide Gaiotto

Abstract: We derive and test a novel holographic duality in the B-model topological string theory. The duality relates the B-model on certain Calabi-Yau three-folds to two-dimensional chiral algebras defined as gauged $βγ\,$ systems. The duality conjecturally captures a topological sector of more familiar $\mathrm{AdS}_5 / \mathrm{CFT}_4$ holographic dualities. We derive and test a novel holographic duality in the B-model topological string theory. The duality relates the B-model on certain Calabi-Yau three-folds to two-dimensional chiral algebras defined as gauged $βγ\,$ systems. The duality conjecturally captures a topological sector of more familiar $\mathrm{AdS}_5 / \mathrm{CFT}_4$ holographic dualities. △ Less

Submitted 8 January, 2021; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: Updated reference

Higgs and Coulomb branches from vertex operator algebras

Authors: Kevin Costello, Thomas Creutzig, Davide Gaiotto

Abstract: We formulate a conjectural relation between the category of line defects in topologically twisted 3d ${\cal N} = 4$ supersymmetric quantum field theories and categories of modules for Vertex Operator Algebras of boundary local operators for the theories. We test the conjecture in several examples and provide some partial proofs for standard classes of gauge theories. We formulate a conjectural relation between the category of line defects in topologically twisted 3d ${\cal N} = 4$ supersymmetric quantum field theories and categories of modules for Vertex Operator Algebras of boundary local operators for the theories. We test the conjecture in several examples and provide some partial proofs for standard classes of gauge theories. △ Less

Submitted 9 November, 2018; originally announced November 2018.

Comments: 57 pages, 8 figures

Vertex Operator Algebras and 3d N=4 gauge theories

Authors: Kevin Costello, Davide Gaiotto

Abstract: We introduce two mirror constructions of Vertex Operator Algebras associated to special boundary conditions in 3d N=4 gauge theories. We conjecture various relations between these boundary VOA's and properties of the (topologically twisted) bulk theories. We discuss applications to the Symplectic Duality and Geometric Langlands programs. We introduce two mirror constructions of Vertex Operator Algebras associated to special boundary conditions in 3d N=4 gauge theories. We conjecture various relations between these boundary VOA's and properties of the (topologically twisted) bulk theories. We discuss applications to the Symplectic Duality and Geometric Langlands programs. △ Less

Submitted 17 April, 2018; originally announced April 2018.

Comments: 40 pages, no figures

Gauge Theory and Integrability, II

Authors: Kevin Costello, Edward Witten, Masahito Yamazaki

Abstract: Starting with a four-dimensional gauge theory approach to rational, elliptic, and trigonometric solutions of the Yang-Baxter equation, we determine the corresponding quantum group deformations to all orders in $\hbar$ by deducing their RTT presentations. The arguments we give are a mix of familiar ones with reasoning that is more transparent from the four-dimensional gauge theory point of view. Th… ▽ More Starting with a four-dimensional gauge theory approach to rational, elliptic, and trigonometric solutions of the Yang-Baxter equation, we determine the corresponding quantum group deformations to all orders in $\hbar$ by deducing their RTT presentations. The arguments we give are a mix of familiar ones with reasoning that is more transparent from the four-dimensional gauge theory point of view. The arguments apply most directly for $\mathfrak{gl}_N$ and can be extended to all simple Lie algebras other than $\mathfrak{e}_8$ by taking into account the self-duality of some representations, the framing anomaly for Wilson operators, and the existence of quantum vertices at which several Wilson operators can end. △ Less

Submitted 5 February, 2018; originally announced February 2018.

Comments: 51 pp

Report number: IPMU18-0025

Journal ref: ICCM Not. 6, 120-146 (2018)

Gauge Theory and Integrability, I

Authors: Kevin Costello, Edward Witten, Masahito Yamazaki

Abstract: Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in many details, and present the arguments in a concrete and down-to-earth way. Many interesting effects, including the leading nontrivial contributions to the $R$-m… ▽ More Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in many details, and present the arguments in a concrete and down-to-earth way. Many interesting effects, including the leading nontrivial contributions to the $R$-matrix, the operator product expansion of line operators, the framing anomaly, and the quantum deformation that leads from $\mathfrak{g}[[z]]$ to the Yangian, are computed explicitly via Feynman diagrams. We explain how rational, trigonometric, and elliptic solutions of the Yang-Baxter equation arise in this framework, along with a generalization that is known as the dynamical Yang-Baxter equation. △ Less

Submitted 4 February, 2018; v1 submitted 28 September, 2017; originally announced September 2017.

Comments: 141 pp

Report number: IPMU17-0136

Journal ref: ICCM Not. 6, 46-119 (2018)

Topological Chern-Simons/Matter Theories

Authors: Mina Aganagic, Kevin Costello, Jacob McNamara, Cumrun Vafa

Abstract: We propose a new partially topological theory in three dimensions which couples Chern-Simons theory to matter. The 3-manifolds needed for this construction admit transverse holomorphic foliation (THF). The theory depends only on the choice of such a structure, but not on a choice of metric and in this sense, it is topological. We argue that this theory arises in topological A-model string theory o… ▽ More We propose a new partially topological theory in three dimensions which couples Chern-Simons theory to matter. The 3-manifolds needed for this construction admit transverse holomorphic foliation (THF). The theory depends only on the choice of such a structure, but not on a choice of metric and in this sense, it is topological. We argue that this theory arises in topological A-model string theory on Lagrangian 3-branes in the presence of additional parallel coisotropic 5-branes. The theory obtained in this way is equivalent to an N=2 supersymmetric Chern-Simons matter theory on the same 3-manifold, which also only depends on the THF structure. The theory is a realization of a topological theory of class H, which allows splitting of a temporal direction from spatial directions. We briefly discuss potential condensed matter applications. △ Less

Submitted 25 August, 2017; v1 submitted 29 June, 2017; originally announced June 2017.

Comments: 50 pages, 1 figure. v2: references added

Holography and Koszul duality: the example of the $M2$ brane

Authors: Kevin Costello

Abstract: Si Li and author suggested in that, in some cases, the AdS/CFT correspondence can be formulated in terms of the algebraic operation of Koszul duality. In this paper this suggestion is checked explicitly for $M2$ branes in an $Ω$-background. The algebra of supersymmetric operators on a stack of $K$ $M2$ branes is shown to be Koszul dual, in large $K$, to the algebra of supersymmetric operators of… ▽ More Si Li and author suggested in that, in some cases, the AdS/CFT correspondence can be formulated in terms of the algebraic operation of Koszul duality. In this paper this suggestion is checked explicitly for $M2$ branes in an $Ω$-background. The algebra of supersymmetric operators on a stack of $K$ $M2$ branes is shown to be Koszul dual, in large $K$, to the algebra of supersymmetric operators of $11$-dimensional supergravity in an $Ω$-background (using the formulation of supergravity in an $Ω$-background presented in arXiv:1610.04144). The twisted form of supergravity that is used here can be quantized to all orders in perturbation theory. We find that the Koszul duality result holds to all orders in perturbation theory, in both the gravitational theory and the theory on the $M2$. (However, there is a certain non-linear identification of the coupling constants on each side which I was unable to determine explicitly). It is also shown that the algebra of operators on $K$ $M2$ branes, as $K \to \infty$, is a quantum double-loop algebra (a two-variable analog of the Yangian). This algebra is also the Koszul dual of the algebra of operators on the gravitational theory. An explicit presentation for this algebra is presented, and it is shown that this algebra is the unique quantization of its classical limit. Some conjectural applications to enumerative geometry of Calabi-Yau threefolds are also presented. △ Less

Submitted 6 May, 2017; originally announced May 2017.

Twisted supergravity and its quantization

Authors: Kevin Costello, Si Li

Abstract: 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… ▽ More 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. △ Less

Submitted 1 June, 2016; originally announced June 2016.

Comments: 72 pages

Quantization of open-closed BCOV theory, I

Authors: Kevin Costello, Si Li

Abstract: 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 holomorph… ▽ More 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. △ Less

Submitted 25 May, 2015; originally announced May 2015.

Comments: 105 pages

Lectures on mathematical aspects of (twisted) supersymmetric gauge theories

Authors: Kevin Costello, Claudia Scheimbauer

Abstract: Supersymmetric gauge theories have played a central role in applications of quantum field theory to mathematics. Topologically twisted supersymmetric gauge theories often admit a rigorous mathematical description: for example, the Donaldson invariants of a 4-manifold can be interpreted as the correlation functions of a topologically twisted N=2 gauge theory. The aim of these lectures is to describ… ▽ More Supersymmetric gauge theories have played a central role in applications of quantum field theory to mathematics. Topologically twisted supersymmetric gauge theories often admit a rigorous mathematical description: for example, the Donaldson invariants of a 4-manifold can be interpreted as the correlation functions of a topologically twisted N=2 gauge theory. The aim of these lectures is to describe a mathematical formulation of partially-twisted supersymmetric gauge theories (in perturbation theory). These partially twisted theories are intermediate in complexity between the physical theory and the topologically twisted theories. Moreover, we will sketch how the operators of such a theory form a two complex dimensional analog of a vertex algebra. Finally, we will consider a deformation of the N=1 theory and discuss its relation to the Yangian, as explained in arXiv:1308.0370 and arXiv:1303.2632. △ Less

Submitted 12 January, 2014; originally announced January 2014.

Comments: Notes from a lecture series by the first author at the Les Houches Winter School on Mathematical Physics in 2012. To appear in the proceedings of this conference. Related to papers arXiv:1308.0370, arXiv:1303.2632, and arXiv:1111.4234

Integrable lattice models from four-dimensional field theories

Authors: Kevin J. Costello

Abstract: This note gives a general construction of an integrable lattice model (and a solution of the Yang-Baxter equation with spectral parameter) from a four-dimensional field theory which is a mixture of topological and holomorphic. Spin-chain models arise in this way from a twisted, deformed version of N=1 gauge theory. This note gives a general construction of an integrable lattice model (and a solution of the Yang-Baxter equation with spectral parameter) from a four-dimensional field theory which is a mixture of topological and holomorphic. Spin-chain models arise in this way from a twisted, deformed version of N=1 gauge theory. △ Less

Submitted 1 August, 2013; originally announced August 2013.

Comments: Based on the longer paper arXiv:1303.2632 and on my talk at String-Math 2013. 9 figures

Supersymmetric gauge theory and the Yangian

Authors: Kevin Costello

Abstract: This paper develops a new connection between supersymmetric gauge theories and the Yangian. I show that a twisted, deformed version of the pure N=1 supersymmetric gauge theory is controlled by the Yangian, in the same way that Chern-Simons theory is controlled by the quantum group. This result is used to give an exact calculation, in perturbation theory, of the expectation value of a certain net o… ▽ More This paper develops a new connection between supersymmetric gauge theories and the Yangian. I show that a twisted, deformed version of the pure N=1 supersymmetric gauge theory is controlled by the Yangian, in the same way that Chern-Simons theory is controlled by the quantum group. This result is used to give an exact calculation, in perturbation theory, of the expectation value of a certain net of n+m Wilson operators in the deformed N=1 gauge theory. This expectation value coincides with the partition function of a spin-chain integrable lattice model on an n-by-m doubly-periodic lattice. △ Less

Submitted 3 April, 2013; v1 submitted 11 March, 2013; originally announced March 2013.

Comments: 145 pages

Quantum BCOV theory on Calabi-Yau manifolds and the higher genus B-model

Authors: Kevin J. Costello, Si Li

Abstract: Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed that the B-model of mirror symmetry should be described by a quantum field theory on a Calabi-Yau variety, which they called the Kodaira-Spenser theory (we call it the BCOV theory). This is the first of three papers in which we construct and analyze the quantum BCOV theory. In this paper, we construct the classical field theory on a Calabi-Yau variety… ▽ More Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed that the B-model of mirror symmetry should be described by a quantum field theory on a Calabi-Yau variety, which they called the Kodaira-Spenser theory (we call it the BCOV theory). This is the first of three papers in which we construct and analyze the quantum BCOV theory. In this paper, we construct the classical field theory on a Calabi-Yau variety of arbitrary dimension; define what it means to give a quantization; analyze the relation Givental's symplectic formalism for Gromov-Witten theory; prove uniqueness of the quantization on an elliptic curve; and prove the Virasoro constraints on an elliptic curve. The second paper (arXiv:1112.4063) proves that the partition function of the quantum BCOV theory on the elliptic curve is equivalent to the Gromov-Witten theory of the mirror elliptic curve. The third paper, in progress, constructs the quantum BCOV theory on a general Calabi-Yau. △ Less

Submitted 21 January, 2012; originally announced January 2012.

Comments: 75 pages

A geometric construction of the Witten genus, II

Authors: Kevin J. Costello

Abstract: I give a rigorous construction of a 2-dimensional quantum field theory of maps from an elliptic curve to a compact complex manifold X, and I show that the partition function of this theory is the Witten genus of X. The results proved here were announced (in a slightly different form) in arXiv:1006.5422. I give a rigorous construction of a 2-dimensional quantum field theory of maps from an elliptic curve to a compact complex manifold X, and I show that the partition function of this theory is the Witten genus of X. The results proved here were announced (in a slightly different form) in arXiv:1006.5422. △ Less

Submitted 15 December, 2011; v1 submitted 4 December, 2011; originally announced December 2011.

Comments: 91 pages. Version 2: typos corrected

Notes on supersymmetric and holomorphic field theories in dimensions 2 and 4

Authors: Kevin J. Costello

Abstract: These notes explore some aspects of formal derived geometry related to classical field theory. One goal is to explain how many important classical field theories in physics -- such as supersymmetric gauge theories and supersymmetric sigma-models -- can be described very cleanly using derived geometry. In particular, I describe a mathematically natural construction of Kapustin-Witten's P^1 of twist… ▽ More These notes explore some aspects of formal derived geometry related to classical field theory. One goal is to explain how many important classical field theories in physics -- such as supersymmetric gauge theories and supersymmetric sigma-models -- can be described very cleanly using derived geometry. In particular, I describe a mathematically natural construction of Kapustin-Witten's P^1 of twisted supersymmetric gauge theories. △ Less

Submitted 20 May, 2013; v1 submitted 17 November, 2011; originally announced November 2011.

Comments: Dedicated to Dennis Sullivan on the occassion of his 70th birthday. Version 2: many typos corrected. Version 3: some further corrections and clarifications, no significant changes

A geometric construction of the Witten genus, I

Authors: Kevin J. Costello

Abstract: I describe how the Witten genus of a complex manifold $X$ can be seen from a rigorous analysis of a certain two-dimensional quantum field theory of maps from a surface to $X$. I describe how the Witten genus of a complex manifold $X$ can be seen from a rigorous analysis of a certain two-dimensional quantum field theory of maps from a surface to $X$. △ Less

Submitted 27 August, 2010; v1 submitted 28 June, 2010; originally announced June 2010.

Concentration of random determinants and permanent estimators

Authors: Kevin P. Costello, Van Vu

Abstract: We show that the absolute value of the determinant of a matrix with random independent (but not necessarily iid) entries is strongly concentrated around its mean. As an application, we show that the Godsil-Gutman and Barvinok estimators for the permanent of a strictly positive matrix give sub-exponential approximation ratios with high probability. We show that the absolute value of the determinant of a matrix with random independent (but not necessarily iid) entries is strongly concentrated around its mean. As an application, we show that the Godsil-Gutman and Barvinok estimators for the permanent of a strictly positive matrix give sub-exponential approximation ratios with high probability. △ Less

Submitted 12 May, 2009; originally announced May 2009.

Comments: 17 pages, no figures

MSC Class: 15A52

Journal ref: SIAM J. Discrete Math., Vol 23(3) (2009), 1356-1371

Bilinear and Quadratic Variants on the Littlewood-Offord Problem

Authors: Kevin P. Costello

Abstract: If f(x_1, x_2, ..., x_n) is a polynomial dependent on a large number of independent Bernoulli random variables, what can be said about the maximum concentration of f on any single value? For linear polynomials, this reduces to one version of the classical Littlewood-Offord problem: Given nonzero constants a_1 through a_n, what is the maximum number of sums of the form +/- a_1 +/- a_2 +/-... +/-… ▽ More If f(x_1, x_2, ..., x_n) is a polynomial dependent on a large number of independent Bernoulli random variables, what can be said about the maximum concentration of f on any single value? For linear polynomials, this reduces to one version of the classical Littlewood-Offord problem: Given nonzero constants a_1 through a_n, what is the maximum number of sums of the form +/- a_1 +/- a_2 +/-... +/- a_n which take on any single value? Here we consider the case where f is either a bilinear form or a quadratic form. For the bilinear case, we show that the only forms having concentration significantly larger than n^{-1} are those which are in a certain sense very close to being degenerate. For the quadratic case, we show that no form having many nonzero coefficients has concentration significantly larger than n^{-1/2}. In both cases the results are nearly tight. △ Less

Submitted 9 February, 2009; originally announced February 2009.

Comments: 27 pages, no figures

MSC Class: 60C05

Journal ref: Israel Journal of Mathematics, Vol 194 (2013), pg. 359-394

Closed String TCFT for Hermitian Calabi-Yau Elliptic Spaces

Authors: Kevin J. Costello, Thomas Tradler, Mahmoud Zeinalian

Abstract: We describe an explicit action of the prop of the chains on the moduli space of Riemann surfaces on the Hochschild complex of a Calabi-Yau elliptic space. One example of such an elliptic space extends the known string topology operations, for all compact simply-connected manifolds, to a collection indexed by the de Rham currents on the moduli space. Another example pertains to the B-model at all… ▽ More We describe an explicit action of the prop of the chains on the moduli space of Riemann surfaces on the Hochschild complex of a Calabi-Yau elliptic space. One example of such an elliptic space extends the known string topology operations, for all compact simply-connected manifolds, to a collection indexed by the de Rham currents on the moduli space. Another example pertains to the B-model at all genera. △ Less

Submitted 18 July, 2008; originally announced July 2008.

Comments: 35 pages

On the Rank of Random Sparse Matrices

Authors: Kevin P. Costello, Van Vu

Abstract: We investigate the rank of random (symmetric) sparse matrices. Our main finding is that with high probability, any dependency that occurs in such a matrix is formed by a set of few rows that contains an overwhelming number of zeros. This allows us to obtain an exact estimate for the co-rank. We investigate the rank of random (symmetric) sparse matrices. Our main finding is that with high probability, any dependency that occurs in such a matrix is formed by a set of few rows that contains an overwhelming number of zeros. This allows us to obtain an exact estimate for the co-rank. △ Less

Submitted 16 November, 2007; originally announced November 2007.

Comments: 24 pages

MSC Class: 15A52; 60C05

Renormalisation and the Batalin-Vilkovisky formalism

Authors: Kevin J. Costello

Abstract: This paper gives a way to renormalise certain quantum field theories on compact manifolds. Examples include Yang-Mills theory (in dimension 4 only), Chern-Simons theory and holomorphic Chern-Simons theory. The method is within the framework of the Batalin-Vilkovisky formalism. Chern-Simons theory is renormalised in a way respecting all symmetries (up to homotopy). This yields an invariant of smo… ▽ More This paper gives a way to renormalise certain quantum field theories on compact manifolds. Examples include Yang-Mills theory (in dimension 4 only), Chern-Simons theory and holomorphic Chern-Simons theory. The method is within the framework of the Batalin-Vilkovisky formalism. Chern-Simons theory is renormalised in a way respecting all symmetries (up to homotopy). This yields an invariant of smooth manifolds: a certain algebraic structure on the cohomology of the manifold tensored with a Lie algebra, which is a "higher loop" enrichment of the natural Lie-infinity structure. △ Less

Submitted 28 June, 2007; v1 submitted 11 June, 2007; originally announced June 2007.

Comments: 88 pages

The Rank of Random Graphs

Authors: Kevin P. Costello, Van H. Vu

Abstract: We show that almost surely the rank of the adjacency matrix of the Erdös-Rényi random graph $G(n,p)$ equals the number of non-isolated vertices for any $c\ln n/n<p<1/2$, where $c$ is an arbitrary positive constant larger than 1/2. In particular, the giant component (a.s.) has full rank in this range. We show that almost surely the rank of the adjacency matrix of the Erdös-Rényi random graph $G(n,p)$ equals the number of non-isolated vertices for any $c\ln n/n<p<1/2$, where $c$ is an arbitrary positive constant larger than 1/2. In particular, the giant component (a.s.) has full rank in this range. △ Less

Submitted 16 June, 2006; originally announced June 2006.

Comments: 19 pages, no figures

MSC Class: 15A52

Topological conformal field theories and gauge theories

Authors: Kevin J. Costello

Abstract: This paper gives a construction, using heat kernels, of differential forms on the moduli space of metrised ribbon graphs, or equivalently on the moduli space of Riemann surfaces with boundary. The construction depends on a manifold with a bundle of Frobenius algebras, satisfying various conditions. These forms satisfy gluing conditions which mean they form an open topological conformal field the… ▽ More This paper gives a construction, using heat kernels, of differential forms on the moduli space of metrised ribbon graphs, or equivalently on the moduli space of Riemann surfaces with boundary. The construction depends on a manifold with a bundle of Frobenius algebras, satisfying various conditions. These forms satisfy gluing conditions which mean they form an open topological conformal field theory, i.e. a kind of open string theory. If the integral of these forms converged, it would yield the purely quantum part of the partition function of a Chern-Simons type gauge theory. Yang-Mills theory on a four manifold arises as one of these Chern-Simons type gauge theories. △ Less

Submitted 28 June, 2006; v1 submitted 24 May, 2006; originally announced May 2006.

Comments: A few more typos corrected

Journal ref: Geom. Topol. 11 (2007) 1539-1579

A dual point of view on the ribbon graph decomposition of moduli space

Authors: Kevin J. Costello

Abstract: In this note, I discuss in some detail the dual version of the ribbon graph decomposition of the moduli spaces of Riemann surfaces with boundary and marked points, which I introduced in math.AG/0402015, and used in math.QA/0412149 to construct open-closed topological conformal field theories. This dual version of the ribbon graph decomposition is a compact orbi-cell complex with a natural weak h… ▽ More In this note, I discuss in some detail the dual version of the ribbon graph decomposition of the moduli spaces of Riemann surfaces with boundary and marked points, which I introduced in math.AG/0402015, and used in math.QA/0412149 to construct open-closed topological conformal field theories. This dual version of the ribbon graph decomposition is a compact orbi-cell complex with a natural weak homotopy equivalence to the moduli space. △ Less

Submitted 6 January, 2006; originally announced January 2006.

Comments: 11 pages

The Gromov-Witten potential associated to a TCFT

Authors: Kevin J. Costello

Abstract: This is the sequel to my preprint "TCFTs and Calabi-Yau categories", math.QA/0412149. Here we extend the results of that paper to construct, for certain Calabi-Yau A-infinity categories, something playing the role of the Gromov-Witten potential. This is a state in the Fock space associated to periodic cyclic homology, which is a symplectic vector space. Applying this to a suitable A-infinity ver… ▽ More This is the sequel to my preprint "TCFTs and Calabi-Yau categories", math.QA/0412149. Here we extend the results of that paper to construct, for certain Calabi-Yau A-infinity categories, something playing the role of the Gromov-Witten potential. This is a state in the Fock space associated to periodic cyclic homology, which is a symplectic vector space. Applying this to a suitable A-infinity version of the derived category of sheaves on a Calabi-Yau yields the B model potential, at all genera. The construction doesn't go via the Deligne-Mumford spaces, but instead uses the Batalin-Vilkovisky algebra constructed from the uncompactified moduli spaces of curves by Sen and Zwiebach. The fundamental class of Deligne-Mumford space is replaced here by a certain solution of the quantum master equation, essentially the "string vertices" of Zwiebach. On the field theory side, the BV operator has an interpretation as the quantised differential on the Fock space for periodic cyclic chains. Passing to homology, something satisfying the master equation yields an element of the Fock space. △ Less

Submitted 7 October, 2005; v1 submitted 12 September, 2005; originally announced September 2005.

Comments: 38 pages. Version 2 : typos corrected, first paragraph of section 4 rewritten

Random symmetric matrices are almost surely non-singular

Authors: Kevin Costello, Terence Tao, Van Vu

Abstract: Let $Q_n$ denote a random symmetric $n$ by $n$ matrix, whose upper diagonal entries are i.i.d. Bernoulli random variables (which take values 0 and 1 with probability 1/2). We prove that $Q_n$ is non-singular with probability $1-O(n^{-1/8+δ})$ for any fixed $δ> 0$. The proof uses a quadratic version of Littlewood-Offord type results concerning the concentration functions of random variables and c… ▽ More Let $Q_n$ denote a random symmetric $n$ by $n$ matrix, whose upper diagonal entries are i.i.d. Bernoulli random variables (which take values 0 and 1 with probability 1/2). We prove that $Q_n$ is non-singular with probability $1-O(n^{-1/8+δ})$ for any fixed $δ> 0$. The proof uses a quadratic version of Littlewood-Offord type results concerning the concentration functions of random variables and can be extended for more general models of random matrices. △ Less

Submitted 9 May, 2005; originally announced May 2005.

Comments: 16 pages, no figures, submitted, Duke Math J

MSC Class: 15A52

Topological conformal field theories and Calabi-Yau categories

Authors: Kevin J. Costello

Abstract: This is the first of two papers which construct a purely algebraic counterpart to the theory of Gromov-Witten invariants (at all genera). These Gromov-Witten type invariants depend on a Calabi-Yau A-infinity category, which plays the role of the target in ordinary Gromov-Witten theory. When we use an appropriate A-infinity version of the derived category of coherent sheaves on a Calabi-Yau varie… ▽ More This is the first of two papers which construct a purely algebraic counterpart to the theory of Gromov-Witten invariants (at all genera). These Gromov-Witten type invariants depend on a Calabi-Yau A-infinity category, which plays the role of the target in ordinary Gromov-Witten theory. When we use an appropriate A-infinity version of the derived category of coherent sheaves on a Calabi-Yau variety, this constructs the B model at all genera. When the Fukaya category of a compact symplectic manifold X is used, it is shown, under certain assumptions, that the usual Gromov-Witten invariants are recovered. The assumptions are that a good theory of open-closed Gromov-Witten invariants exists for X, and that the natural map from the Hochschild homology of the Fukaya category of X to the ordinary homology of X is an isomorphism. △ Less

Submitted 16 January, 2006; v1 submitted 7 December, 2004; originally announced December 2004.

Comments: 50 pages, 13 figures. Cosmetic and organisational changes in this version. Some references have been added, as has discussion of the non-unital case. Results about topology of moduli space now appear in math.GT/0601130. Discussion of Deligne-Mumford spaces and the Gromov-Witten potential is removed from the introduction of this paper; this now appears in math.QA/0509264

The A-infinity operad and the moduli space of curves

Authors: Kevin Costello

Abstract: The modular envelope of a cyclic operad is the smallest modular operad containing it. A modular operad is constructed from moduli spaces of Riemann surfaces with boundary; this modular operad is shown to be the modular envelope of the A-infinity cyclic operad. This gives a new proof of the result of Harer-Mumford-Thurston-Penner-Kontsevich that a cell complex built from ribbon graphs is homotopy… ▽ More The modular envelope of a cyclic operad is the smallest modular operad containing it. A modular operad is constructed from moduli spaces of Riemann surfaces with boundary; this modular operad is shown to be the modular envelope of the A-infinity cyclic operad. This gives a new proof of the result of Harer-Mumford-Thurston-Penner-Kontsevich that a cell complex built from ribbon graphs is homotopy equivalent to the moduli space of curves. △ Less

Submitted 15 September, 2004; v1 submitted 2 February, 2004; originally announced February 2004.

Comments: 14 pages. Version 2: references added, proofs cleaned up

Hilbert schemes, Hecke algebras and the Calogero-Sutherland system

Authors: K. Costello, I. Grojnowski

Abstract: We describe the ring structure of the cohomology of the Hilbert scheme of points for a smooth surface X. When the canonical class K_X = 0, this was done by Lehn and Sorger, extending earlier work when X = C^2. Their approach does not generalize. Instead we recast this problem as a question of finding integrals of motion for a Hamiltonian which describes ``intersection with the boundary''. To d… ▽ More We describe the ring structure of the cohomology of the Hilbert scheme of points for a smooth surface X. When the canonical class K_X = 0, this was done by Lehn and Sorger, extending earlier work when X = C^2. Their approach does not generalize. Instead we recast this problem as a question of finding integrals of motion for a Hamiltonian which describes ``intersection with the boundary''. To do so, we use the identification of the cohomology of the Hilbert schemes with a Fock space modelled on the lattice H(X). With this identification, Lehn computed the operator of intersection with the boundary. It is essentially the Calogero-Sutherland Hamiltonian. We then solve the problem of finding integrals of motion by using the Dunkl-Cherednik operators to find an explicit commuting family of differential operators; these operators represent cup product on the Hilbert scheme. We provide two characterizations of the Hilbert scheme multiplication operators; the first as an algebra of operators that can be inductively built from functions and the CS Hamiltonian, and the second in terms of the centralizer of the CS Hamiltonian inside an appropriate ring of differential operators. △ Less

Submitted 13 October, 2003; originally announced October 2003.

Higher-genus Gromov-Witten invariants as genus 0 invariants of symmetric products

Authors: Kevin Costello

Abstract: I prove a formula expressing the descendent genus g Gromov-Witten invariants of a projective variety X in terms of genus 0 invariants of its symmetric product stack S^{g+1}(X). When X is a point, the latter are structure constants of the symmetric group, and we obtain a new way of calculating the Gromov-Witten invariants of a point. I prove a formula expressing the descendent genus g Gromov-Witten invariants of a projective variety X in terms of genus 0 invariants of its symmetric product stack S^{g+1}(X). When X is a point, the latter are structure constants of the symmetric group, and we obtain a new way of calculating the Gromov-Witten invariants of a point. △ Less

Submitted 17 December, 2003; v1 submitted 31 March, 2003; originally announced March 2003.

Comments: Version 4, references added. 32 pages