-
Off-Shell Quantum Mechanics as Factorization Algebras on Intervals
Authors:
Christoph Chiaffrino,
Noah Hassan,
Olaf Hohm
Abstract:
We present, for the harmonic oscillator and the spin-$\frac{1}{2}$ system, an alternative formulation of quantum mechanics that is `off-shell': it is based on classical off-shell configurations and thus similar to the path integral. The core elements are Batalin-Vilkovisky (BV) algebras and factorization algebras, following a program by Costello and Gwilliam. The BV algebras are the spaces of quan…
▽ More
We present, for the harmonic oscillator and the spin-$\frac{1}{2}$ system, an alternative formulation of quantum mechanics that is `off-shell': it is based on classical off-shell configurations and thus similar to the path integral. The core elements are Batalin-Vilkovisky (BV) algebras and factorization algebras, following a program by Costello and Gwilliam. The BV algebras are the spaces of quantum observables ${\rm Obs}^q(I)$ given by the symmetric algebra of polynomials in compactly supported functions on some interval $I\subset\mathbb{R}$, which can be viewed as functionals on the dynamical variables. Generalizing associative algebras, factorization algebras include in their data a topological space, which here is $\mathbb{R}$, and an assignment of a vector space to each open set, which here is the assignment of ${\rm Obs}^q(I)$ to each open interval $I$. The central structure maps are bilinear ${\rm Obs}^q(I_1)\otimes {\rm Obs}^q(I_2)\rightarrow {\rm Obs}^q(J)$ for disjoint intervals $I_1$ and $I_2$ contained in an interval $J$, which here is the wedge product of the symmetric algebra. We prove, as the central result of this paper, that this factorization algebra is quasi-isomorphic to the factorization algebra of `on-shell' quantum mechanics. In this we extend previous work by including half-open and closed intervals, and by generalizing to the spin-$\frac{1}{2}$ system.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Vertex operators for the kinematic algebra of Yang-Mills theory
Authors:
Roberto Bonezzi,
Christoph Chiaffrino,
Olaf Hohm
Abstract:
The kinematic algebra of Yang-Mills theory can be understood in the framework of homotopy algebras: the $L_{\infty}$ algebra of Yang-Mills theory is the tensor product of the color Lie algebra and a kinematic space that carries a $C_{\infty}$ algebra. There are also hidden structures that generalize Batalin-Vilkovisky algebras, which explain color-kinematics duality and the double copy but are onl…
▽ More
The kinematic algebra of Yang-Mills theory can be understood in the framework of homotopy algebras: the $L_{\infty}$ algebra of Yang-Mills theory is the tensor product of the color Lie algebra and a kinematic space that carries a $C_{\infty}$ algebra. There are also hidden structures that generalize Batalin-Vilkovisky algebras, which explain color-kinematics duality and the double copy but are only partially understood. We show that there is a representation of the $C_{\infty}$ algebra, in terms of vertex operators, on the Hilbert space of a first-quantized worldline theory. To this end we introduce $A_{\infty}$ morphisms, which define the vertex operators and which inject the $C_{\infty}$ algebra into the strictly associative algebra of operators on the Hilbert space. We also take first steps to represent the hidden structures on the same space.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Tree-level Scattering Amplitudes via Homotopy Transfer
Authors:
Roberto Bonezzi,
Christoph Chiaffrino,
Felipe Diaz-Jaramillo,
Olaf Hohm
Abstract:
We formalize the computation of tree-level scattering amplitudes in terms of the homotopy transfer of homotopy algebras, illustrating it with scalar $φ^3$ and Yang-Mills theory. The data of a (gauge) field theory with an action is encoded in a cyclic homotopy Lie or $L_{\infty}$ algebra defined on a chain complex including a space of fields. This $L_{\infty}$ structure can be transported, by means…
▽ More
We formalize the computation of tree-level scattering amplitudes in terms of the homotopy transfer of homotopy algebras, illustrating it with scalar $φ^3$ and Yang-Mills theory. The data of a (gauge) field theory with an action is encoded in a cyclic homotopy Lie or $L_{\infty}$ algebra defined on a chain complex including a space of fields. This $L_{\infty}$ structure can be transported, by means of homotopy transfer, to a smaller space that, in the massless case, consists of harmonic fields. The required homotopy maps are well-defined since we work with the space of finite sums of plane-wave solutions. The resulting $L_{\infty}$ brackets encode the tree-level scattering amplitudes and satisfy generalized Jacobi identities that imply the Ward identities. We further present a method to compute color-ordered scattering amplitudes for Yang-Mills theory, using that its $L_{\infty}$ algebra is the tensor product of the color Lie algebra with a homotopy commutative associative or $C_{\infty}$ algebra. The color-ordered scattering amplitudes are then obtained by homotopy transfer of $C_{\infty}$ algebras.
△ Less
Submitted 9 January, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Weakly Constrained Double Field Theory as the Double Copy of Yang-Mills Theory
Authors:
Roberto Bonezzi,
Christoph Chiaffrino,
Felipe Diaz-Jaramillo,
Olaf Hohm
Abstract:
Weakly constrained double field theory, in the sense of Hull and Zwiebach, captures the subsector of string theory on toroidal backgrounds that includes gravity, $B$-field and dilaton together with all of their massive Kaluza-Klein and winding modes, which are encoded in doubled coordinates subject to the `weak constraint'. Due to the complications of the weak constraint, this theory was only know…
▽ More
Weakly constrained double field theory, in the sense of Hull and Zwiebach, captures the subsector of string theory on toroidal backgrounds that includes gravity, $B$-field and dilaton together with all of their massive Kaluza-Klein and winding modes, which are encoded in doubled coordinates subject to the `weak constraint'. Due to the complications of the weak constraint, this theory was only known to cubic order. Here we construct the quartic interactions for the case that all dimensions are toroidal and doubled. Starting from the kinematic $C_{\infty}$ algebra ${\cal K}$ of pure Yang-Mills theory and its hidden Lie-type algebra, we construct the $L_{\infty}$ algebra of weakly constrained double field theory on a subspace of the `double copied' tensor product space ${\cal K}\otimes\bar{\cal K}$, by doing homotopy transfer to the weakly constrained subspace and performing a non-local shift that is well-defined on the torus. We test the resulting three-brackets, and establish their uniqueness up to cohomologically trivial terms, by verifying the Jacobi identities up to homotopy for the gauge sector.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Holography as Homotopy
Authors:
Christoph Chiaffrino,
Talha Ersoy,
Olaf Hohm
Abstract:
We give an interpretation of holography in the form of the AdS/CFT correspondence in terms of homotopy algebras. A field theory such as a bulk gravity theory can be viewed as a homotopy Lie or $L_{\infty}$ algebra. We extend this dictionary to theories defined on manifolds with a boundary, including the conformal boundary of AdS, taking into account the cyclic structure needed to define an action…
▽ More
We give an interpretation of holography in the form of the AdS/CFT correspondence in terms of homotopy algebras. A field theory such as a bulk gravity theory can be viewed as a homotopy Lie or $L_{\infty}$ algebra. We extend this dictionary to theories defined on manifolds with a boundary, including the conformal boundary of AdS, taking into account the cyclic structure needed to define an action with the correct boundary terms. Projecting fields to their boundary values then defines a homotopy retract, which in turn implies that the cyclic $L_{\infty}$ algebra of the bulk theory is equivalent, up to homotopy, to a cyclic $L_{\infty}$ algebra on the boundary. The resulting action is the `on-shell action' conventionally computed via Witten diagrams that, according to AdS/CFT, yields the generating functional for the correlation functions of the dual CFT. These results are established with the help of new techniques regarding the homotopy transfer of cyclic $L_{\infty}$ algebras.
△ Less
Submitted 7 September, 2023; v1 submitted 16 July, 2023;
originally announced July 2023.
-
Gravity = Yang-Mills
Authors:
Roberto Bonezzi,
Christoph Chiaffrino,
Felipe Diaz-Jaramillo,
Olaf Hohm
Abstract:
This essay's title is justified by discussing a class of Yang-Mills-type theories of which standard Yang-Mills theories are special cases but which is broad enough to include gravity as a double field theory. We use the framework of homotopy algebras, where conventional Yang-Mills theory is the tensor product ${\cal K}\otimes \frak{g}$ of a `kinematic' algebra ${\cal K}$ with a color Lie algebra…
▽ More
This essay's title is justified by discussing a class of Yang-Mills-type theories of which standard Yang-Mills theories are special cases but which is broad enough to include gravity as a double field theory. We use the framework of homotopy algebras, where conventional Yang-Mills theory is the tensor product ${\cal K}\otimes \frak{g}$ of a `kinematic' algebra ${\cal K}$ with a color Lie algebra $\frak{g}$. The larger class of Yang-Mills-type theories are given by the tensor product of ${\cal K}$ with more general Lie-type algebras of which ${\cal K}$ itself is an example, up to anomalies that can be cancelled for the tensor product with a second copy $\bar{\cal K}$. Gravity is then given by ${\cal K}\otimes \bar{\cal K}$.
△ Less
Submitted 7 September, 2023; v1 submitted 26 June, 2023;
originally announced June 2023.
-
Weakly constrained double field theory: the quartic theory
Authors:
Roberto Bonezzi,
Christoph Chiaffrino,
Felipe Diaz-Jaramillo,
Olaf Hohm
Abstract:
Double field theory was originally introduced as the subsector of closed string field theory on a toroidal background given by the massless fields together with all their massive Kaluza-Klein and winding modes. These massive modes are encoded in the dependence of the massless fields on doubled toroidal coordinates, subject to the so-called 'weak constraint'. This theory was constructed by Hull and…
▽ More
Double field theory was originally introduced as the subsector of closed string field theory on a toroidal background given by the massless fields together with all their massive Kaluza-Klein and winding modes. These massive modes are encoded in the dependence of the massless fields on doubled toroidal coordinates, subject to the so-called 'weak constraint'. This theory was constructed by Hull and Zwiebach in 2009 to cubic order in fields, but due to the weak constraint it is a highly non-trivial problem to extend this to quartic and higher order. In this letter we announce and outline the construction of weakly constrained double field theory to quartic order, in which all coordinates are toroidal and doubled. To this end we use the framework of homotopy algebras and obtain double field theory as a double copy of the kinematic homotopy algebra of Yang-Mills theory.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Gauge invariant double copy of Yang-Mills theory: the quartic theory
Authors:
Roberto Bonezzi,
Christoph Chiaffrino,
Felipe Diaz-Jaramillo,
Olaf Hohm
Abstract:
We give an explicit gauge invariant, off-shell and local double copy construction of gravity from Yang-Mills theory to quartic order. To this end we use the framework of homotopy algebras, and we identify a rich new algebraic structure associated to color-stripped Yang-Mills theory. This algebra, which is a generalization of a Batalin-Vilkovisky algebra, is the underlying structure necessary for d…
▽ More
We give an explicit gauge invariant, off-shell and local double copy construction of gravity from Yang-Mills theory to quartic order. To this end we use the framework of homotopy algebras, and we identify a rich new algebraic structure associated to color-stripped Yang-Mills theory. This algebra, which is a generalization of a Batalin-Vilkovisky algebra, is the underlying structure necessary for double copy. We give a self-contained introduction into these algebras by illustrating them for Chern-Simons theory in three dimensions. We then construct N = 0 supergravity in the form of double field theory in terms of the algebraic Yang-Mills building blocks to quartic order in interactions. As applications of the same universal formula, we re-derive the 4-graviton scattering amplitude and compute a chiral form of the Courant algebroid gauge structure of double field theory.
△ Less
Submitted 2 July, 2023; v1 submitted 8 December, 2022;
originally announced December 2022.
-
Homological Quantum Mechanics
Authors:
Christoph Chiaffrino,
Olaf Hohm,
Allison F. Pinto
Abstract:
We provide a formulation of quantum mechanics based on the cohomology of the Batalin-Vilkovisky (BV) algebra. Focusing on quantum-mechanical systems without gauge symmetry we introduce a homotopy retract from the chain complex of the harmonic oscillator to finite-dimensional phase space. This induces a homotopy transfer from the BV algebra to the algebra of functions on phase space. Quantum expect…
▽ More
We provide a formulation of quantum mechanics based on the cohomology of the Batalin-Vilkovisky (BV) algebra. Focusing on quantum-mechanical systems without gauge symmetry we introduce a homotopy retract from the chain complex of the harmonic oscillator to finite-dimensional phase space. This induces a homotopy transfer from the BV algebra to the algebra of functions on phase space. Quantum expectation values for a given operator or functional are computed by the function whose pullback gives a functional in the same cohomology class. This statement is proved in perturbation theory by relating the perturbation lemma to Wick's theorem. We test this method by computing two-point functions for the harmonic oscillator for position eigenstates and coherent states. Finally, we derive the Unruh effect, illustrating that these methods are applicable to quantum field theory.
△ Less
Submitted 10 February, 2024; v1 submitted 21 December, 2021;
originally announced December 2021.
-
QFT with Stubs
Authors:
Christoph Chiaffrino,
Ivo Sachs
Abstract:
The BV-Laplacian $Δ$ in quantum field theory is singular, by construction, but can be regularized by deforming the classical BV-action. Taking inspiration from string theory we describe a non-local deformation of the latter by adding stubs to the interaction vertices while keeping classical BV-invariance manifest. This is achieved using a version of homotopy transfer resulting in a non-polynomial…
▽ More
The BV-Laplacian $Δ$ in quantum field theory is singular, by construction, but can be regularized by deforming the classical BV-action. Taking inspiration from string theory we describe a non-local deformation of the latter by adding stubs to the interaction vertices while keeping classical BV-invariance manifest. This is achieved using a version of homotopy transfer resulting in a non-polynomial action for which the quantum master equation is now well defined and will be satisfied by adding additional vertices at loop level. The latter can be defined with the help of standard regularization schemes and is independent of the definition of $Δ$. In particular, the determination of anomalies reduces to the standard text-book calculation. Finally, we describe how the deformed (quantum) action can be obtained as a canonical transformation. As an example, we illustrate this procedure for quantum electrodynamics.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Gauge Invariant Perturbation Theory via Homotopy Transfer
Authors:
Christoph Chiaffrino,
Olaf Hohm,
Allison F. Pinto
Abstract:
We show that the perturbative expansion of general gauge theories can be expressed in terms of gauge invariant variables to all orders in perturbations. In this we generalize techniques developed in gauge invariant cosmological perturbation theory, using Bardeen variables, by interpreting the passing over to gauge invariant fields as a homotopy transfer of the strongly homotopy Lie algebras encodi…
▽ More
We show that the perturbative expansion of general gauge theories can be expressed in terms of gauge invariant variables to all orders in perturbations. In this we generalize techniques developed in gauge invariant cosmological perturbation theory, using Bardeen variables, by interpreting the passing over to gauge invariant fields as a homotopy transfer of the strongly homotopy Lie algebras encoding the gauge theory. This is illustrated for Yang-Mills theory, gravity on flat and cosmological backgrounds and for the massless sector of closed string theory. The perturbation lemma yields an algorithmic procedure to determine the higher corrections of the gauge invariant variables and the action in terms of these.
△ Less
Submitted 20 May, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Classical Open String Amplitudes and Boundary String Field Theory
Authors:
Christoph Chiaffrino,
Ivo Sachs
Abstract:
Abstract: We show that boundary string field theory realizes the minimal model of open string field theory. More precisely, we observe that the expansion of the (co)homological vector field, $Q$ of boundary string field theory in the cohomology of its linear part reproduces the S-matrices of perturbative string theory. In mathematical terms, boundary string field theory realizes the minimal model…
▽ More
Abstract: We show that boundary string field theory realizes the minimal model of open string field theory. More precisely, we observe that the expansion of the (co)homological vector field, $Q$ of boundary string field theory in the cohomology of its linear part reproduces the S-matrices of perturbative string theory. In mathematical terms, boundary string field theory realizes the minimal model map of the cohomological perturbation lemma.
△ Less
Submitted 9 June, 2019; v1 submitted 18 May, 2018;
originally announced May 2018.
