arXiv subjects

Branislav Jurco

Publications and source records attributed to Branislav Jurco.

At least 19 recordsLinked to original sources

arXiv2025

Ambitwistor Yang-Mills Theory Revisited

Inspired by the Movshev-Mason-Skinner Cauchy-Riemann (CR) ambitwistor approach, we provide a rigorous yet elementary construction of a twisted CR holomorphic Chern-Simons action on CR ambitwistor space for maximally supersymmetric Yang-Mills theory on four-dimensional Euclidean space. The key ingredient in our discussion is the homotopy algebraic perspective on perturbative quantum field theory. Using this technology, we show that both theories are semi-classically equivalent, that is, we construct a quasi-isomorphism between the cyclic $L_\infty$-algebras governing both field theories. This confirms a conjecture from the literature. Furthermore, we also show that the Yang-Mills action is obtained by integrating out an infinite tower of auxiliary fields in the Chern-Simons action, that is, the two theories are related by homotopy transfer. Given its simplicity, this Chern-Simons action should form a fruitful starting point for analysing perturbative properties of Yang-Mills theory.

hep-th↗

arXiv2024

Double Copy from Tensor Products of Metric BV${}^{\color{gray} \blacksquare}$-algebras

Field theories with kinematic Lie algebras, such as field theories featuring colour-kinematics duality, possess an underlying algebraic structure known as BV${}^{\color{gray} \blacksquare}$-algebra. If, additionally, matter fields are present, this structure is supplemented by a module for the BV${}^{\color{gray} \blacksquare}$-algebra. We explain this perspective, expanding on our previous work and providing many additional mathematical details. We also show how the tensor product of two metric BV${}^{\color{gray} \blacksquare}$-algebras yields the action of a new syngamy field theory, a construction which comprises the familiar double copy construction. As examples, we discuss various scalar field theories, Chern-Simons theory, self-dual Yang-Mills theory, and the pure spinor formulations of both M2-brane models and supersymmetric Yang-Mills theory. The latter leads to a new cubic pure spinor action for ten-dimensional supergravity. We also give a homotopy-algebraic perspective on colour-flavour-stripping, obtain a new restricted tensor product over a wide class of bialgebras, and we show that any field theory (even one without colour-kinematics duality) comes with a kinematic $L_\infty$-algebra.

hep-th↗

arXiv2024

Higher Gauge Theory

This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of higher gauge theories, i.e. connections on higher principal bundles. We also summarise the most important applications and dynamical principles that have appeared in the literature, and we close with comments on related areas.

hep-th↗

arXiv2023

Tree-Level Color-Kinematics Duality from Pure Spinor Actions

We prove that the tree-level scattering amplitudes for (super) Yang-Mills theory in arbitrary dimensions and for M2-brane models exhibit color-kinematics (CK) duality. Our proof for Yang-Mills theory substantially simplifies existing ones in that it relies on the action alone and does not involve any computation; the proof for M2-brane models establishes this result for the first time. Explicitly, we combine the facts that Chern-Simons-type theories naturally come with a kinematic Lie algebra and that both Yang-Mills theory and M2-brane models are of Chern-Simons form when formulated in pure spinor space, extending previous work on Yang-Mills currents arXiv:2108.11708. Our formulation also provides explicit kinematic Lie algebras for the theories under consideration in the form of diffeomorphisms on pure spinor space. The pure spinor formulation of CK-duality is based on ordinary, cubic vertices, but we explain how ordinary CK-duality relates to notions of quartic-vertex 3-Lie algebra CK-duality for M2-brane models previously discussed in the literature.

hep-th↗

arXiv2023

Double-Copying Self-Dual Yang-Mills Theory to Self-Dual Gravity on Twistor Space

We construct a simple Lorentz-invariant action for maximally supersymmetric self-dual Yang-Mills theory that manifests colour-kinematics duality. We also show that this action double copies to a known action for maximally supersymmetric self-dual gravity. Both actions live on twistor space and illustrate nicely the homotopy algebraic perspective on the double copy presented in arXiv:2307.02563. This example is particularly interesting as the involved Hopf algebra controlling the momentum dependence is non-commutative and suggests a generalisation to gauged maximally supersymmetric self-dual gravity.

hep-th↗

arXiv2023

Kinematic Lie Algebras From Twistor Spaces

We analyze theories with color-kinematics duality from an algebraic perspective and find that any such theory has an underlying BV${}^{\color{gray} \blacksquare}$-algebra structure, extending the ideas of arXiv:1912.03110. Conversely, we show that any theory with a BV${}^{\color{gray} \blacksquare}$-algebra features a kinematic Lie algebra that controls interaction vertices, both on- and off-shell. We explain that the archetypal example of a theory with BV${}^{\color{gray} \blacksquare}$-algebra is Chern-Simons theory, for which the resulting kinematic Lie algebra is isomorphic to the Schouten-Nijenhuis algebra on multivector fields. The BV${}^{\color{gray} \blacksquare}$-algebra implies the known color-kinematics duality of Chern-Simons theory. Similarly, we show that holomorphic and Cauchy-Riemann (CR) Chern-Simons theories come with BV${}^{\color{gray} \blacksquare}$-algebras and that, on the appropriate twistor spaces, these theories organize and identify kinematic Lie algebras for self-dual and full Yang-Mills theories, as well as the currents of any field theory with a twistorial description. We show that this result extends to the loop level under certain assumptions.

hep-th↗

arXiv2023

Tree-Level Color-Kinematics Duality Implies Loop-Level Color-Kinematics Duality up to Counterterms

Color-kinematics (CK) duality is a remarkable symmetry of gluon amplitudes that is the key to the double copy which links gauge theory and gravity amplitudes. Here we show that the complete Yang-Mills action itself, including its gauge-fixing and ghost sectors required for quantization, can be recast to manifest CK duality using a series of field redefinitions and gauge choices. Crucially, the resulting loop-level integrands are automatically CK-dual, up to potential Jacobian counterterms required for unitarity. While these counterterms may break CK duality, they exist, are unique and, since the tree-level is unaffected, may be deduced from the action or the integrands. Consequently, CK duality is a symmetry of the action like any other symmetry, and it is anomalous in a controlled and mostly harmless sense. Our results apply to any theory with CK-dual tree-level amplitudes. We also show that two CK duality-manifesting parent actions may be factorized and fused into a consistent quantizable offspring, with the double copy as the prime example. This provides a direct proof of the double copy to all loop orders.

hep-th↗

arXiv2022

Palatini Variation in Generalized Geometry and String Effective Actions

We develop the Palatini formalism within the framework of generalized Riemannian geometry of Courant algebroids. In this context, the Palatini variation of a generalized Einstein-Hilbert-Palatini action - formed using a generalized metric, a Courant algebroid connection (in contrary to the ordinary case, not necessarily a torsionless one) and a volume form - leads naturally to a proper notion of a generalized Levi-Civita connection and low-energy effective actions of string theory.

hep-th↗

arXiv2021

Double Copy from Homotopy Algebras

We show that the BRST Lagrangian double copy construction of $\mathcal{N}=0$ supergravity as the `square' of Yang-Mills theory finds a natural interpretation in terms of homotopy algebras. We significantly expand on our previous work arguing the validity of the double copy at the loop level, and we give a detailed derivation of the double copied Lagrangian and BRST operator. Our constructions are very general and can be applied to a vast set of examples.

hep-th↗

arXiv2021

$L_\infty$-Algebras of Classical Field Theories and the Batalin-Vilkovisky Formalism

We review in detail the Batalin-Vilkovisky formalism for Lagrangian field theories and its mathematical foundations with an emphasis on higher algebraic structures and classical field theories. In particular, we show how a field theory gives rise to an $L_\infty$-algebra and how quasi-isomorphisms between $L_\infty$-algebras correspond to classical equivalences of field theories. A few experts may be familiar with parts of our discussion, however, the material is presented from the perspective of a very general notion of a gauge theory. We also make a number of new observations and present some new results. Most importantly, we discuss in great detail higher (categorified) Chern-Simons theories and give some useful shortcuts in usually rather involved computations.

hep-th↗

arXiv2021

BRST-Lagrangian Double Copy of Yang-Mills Theory

We show that the double copy of gauge theory amplitudes to $\mathcal{N}=0$ supergravity amplitudes extends from tree level to loop level. We first explain that color-kinematic duality is a condition for the Becchi-Rouet-Stora-Tyutin operator and the action of a field theory with cubic interaction terms to double copy to a consistent gauge theory. We then apply this argument to Yang-Mills theory, where color-kinematic duality is known to be satisfied onshell at tree level. Finally, we show that the latter restriction can only lead to terms that can be absorbed in a sequence of field redefinitions, rendering the double copied action equivalent to $\mathcal{N}=0$ supergravity.

hep-th↗

arXiv2020

Perturbative Quantum Field Theory and Homotopy Algebras

We review the homotopy algebraic perspective on perturbative quantum field theory: classical field theories correspond to homotopy algebras such as $A_\infty$- and $L_\infty$-algebras. Furthermore, their scattering amplitudes are encoded in minimal models of these homotopy algebras at tree level and their quantum relatives at loop level. The translation between Lagrangian field theories and homotopy algebras is provided by the Batalin--Vilkovisky formalism. The minimal models are computed recursively using the homological perturbation lemma, which induces useful recursion relations for the computation of scattering amplitudes. After explaining how the homological perturbation lemma produces the usual Feynman diagram expansion, we use our techniques to verify an identity for the Berends--Giele currents which implies the Kleiss--Kuijf relations.

hep-th↗

arXiv2020

Loop Amplitudes and Quantum Homotopy Algebras

We derive a recursion relation for loop-level scattering amplitudes of Lagrangian field theories that generalises the tree-level Berends-Giele recursion relation in Yang-Mills theory. The origin of this recursion relation is the homological perturbation lemma, which allows us to compute scattering amplitudes from minimal models of quantum homotopy algebras in a recursive way. As an application of our techniques, we give an alternative proof of the relation between non-planar and planar colour-stripped scattering amplitudes.

hep-th↗

arXiv2019

Higher Structures in M-Theory

The key open problem of string theory remains its non-perturbative completion to M-theory. A decisive hint to its inner workings comes from numerous appearances of higher structures in the limits of M-theory that are already understood, such as higher degree flux fields and their dualities, or the higher algebraic structures governing closed string field theory. These are all controlled by the higher homotopy theory of derived categories, generalised cohomology theories, and $L_\infty$-algebras. This is the introductory chapter to the proceedings of the LMS/EPSRC Durham Symposium on Higher Structures in M-Theory. We first review higher structures as well as their motivation in string theory and beyond. Then we list the contributions in this volume, putting them into context.

hep-th↗

arXiv2019

Effective Actions for $σ$-Models of Poisson-Lie Type

(Quasi-)Poisson-Lie T-duality of string effective actions is described in the framework of generalized geometry of Courant algebroids. The approach is based on a generalization of Riemannian geometry in the context of Courant algebroids, including a proper version of a Levi-Civita connection. In our approach, the dilaton field is encoded in a Levi-Civita connection and its form is determined by the Courant algebroid geometry. Explicit examples of background solutions are provided using the approach developed in the paper.

hep-th↗

arXiv2019

$L_\infty$-Algebras, the BV Formalism, and Classical Fields

We summarise some of our recent works on $L_\infty$-algebras and quasi-groups with regard to higher principal bundles and their applications in twistor theory and gauge theory. In particular, after a lightning review of $L_\infty$-algebras, we discuss their Maurer-Cartan theory and explain that any classical field theory admitting an action can be reformulated in this context with the help of the Batalin-Vilkovisky formalism. As examples, we explore higher Chern-Simons theory and Yang-Mills theory. We also explain how these ideas can be combined with those of twistor theory to formulate maximally superconformal gauge theories in four and six dimensions by means of $L_\infty$-quasi-isomorphisms, and we propose a twistor space action.

hep-th↗

arXiv2018

Properads and Homotopy Algebras Related to Surfaces

Starting from a biased definition of a properad, we describe explicitly algebras over the cobar construction of a properad. Equivalent description in terms of solutions of generalized master equations, which can be interpreted as homological differential operators, are explained from the properadic point of view. This is parallel to the Barannikov's theory for modular operads. In addition to well known IBL-homotopy algebras, the examples include their associative analogues, which we call $IBA$-homotopy algebras, and a combination of the above two.

math.AT↗

arXiv2018

Poisson-Lie T-duality of String Effective Actions: A New Approach to the Dilaton Puzzle

For a particular class of backgrounds, equations of motion for string sigma models targeted in mutually dual Poisson-Lie groups are equivalent. This phenomenon is called the Poisson-Lie T-duality. On the level of the corresponding string effective actions, the situation becomes more complicated due to the presence of the dilaton field. A novel approach to this problem using Levi-Civita connections on Courant algebroids is presented. After the introduction of necessary geometrical tools, formulas for the Poisson-Lie T-dual dilaton fields are derived. This provides a version of Poisson-Lie T-duality for string effective actions.

hep-th↗