-
On coefficients of operator product expansions for quantum field theories with ordinary, holomorphic, and topological spacetime dimensions
Authors:
Luigi Alfonsi,
Hyungrok Kim
Abstract:
In many quantum field theories (such as higher-dimensional holomorphic field theories or raviolo theories), operator product expansions of local operators can have as coefficients not only ordinary functions but also 'derived' functions with nonzero ghost number, which are certain elements of sheaf cohomology. We analyse the 'derived' functions that should appear in operator product expansions for…
▽ More
In many quantum field theories (such as higher-dimensional holomorphic field theories or raviolo theories), operator product expansions of local operators can have as coefficients not only ordinary functions but also 'derived' functions with nonzero ghost number, which are certain elements of sheaf cohomology. We analyse the 'derived' functions that should appear in operator product expansions for a quantum field theory with an arbitrary number of topological, holomorphic and/or ordinary spacetime dimensions and identify necessary and sufficient conditions for such 'derived' functions to appear. In particular, theories with one topological spacetime dimension and multiple ordinary spacetime dimensions provide a smooth analogue of the (holomorphic) raviolo.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Full S-matrices and Witten diagrams with (relative) L-infinity algebras
Authors:
Luigi Alfonsi,
Leron Borsten,
Hyungrok Kim,
Martin Wolf,
Charles Alastair Stephen Young
Abstract:
The $L_\infty$-algebra approach to scattering amplitudes elegantly describes the nontrivial part of the $S$-matrix but fails to take into account the trivial part. We argue that the trivial contribution to the $S$-matrix should be accounted for by another, complementary $L_\infty$-algebra, such that a perturbative field theory is described by a cyclic relative $L_\infty$-algebra. We further demons…
▽ More
The $L_\infty$-algebra approach to scattering amplitudes elegantly describes the nontrivial part of the $S$-matrix but fails to take into account the trivial part. We argue that the trivial contribution to the $S$-matrix should be accounted for by another, complementary $L_\infty$-algebra, such that a perturbative field theory is described by a cyclic relative $L_\infty$-algebra. We further demonstrate that this construction reproduces Witten diagrams that arise in AdS/CFT including, in particular, the trivial Witten diagrams corresponding to CFT two-point functions. We also discuss Chern-Simons theory and Yang-Mills theory on manifolds with boundaries using this approach.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
Higher geometry in physics
Authors:
Luigi Alfonsi
Abstract:
This survey article is an invited contribution to the Encyclopedia of Mathematical Physics, 2nd edition. We provide an accessible overview on relevant applications of higher and derived geometry to theoretical physics, including higher gauge theory, higher geometric quantization and Batalin-Vilkovisky formalism.
This survey article is an invited contribution to the Encyclopedia of Mathematical Physics, 2nd edition. We provide an accessible overview on relevant applications of higher and derived geometry to theoretical physics, including higher gauge theory, higher geometric quantization and Batalin-Vilkovisky formalism.
△ Less
Submitted 21 December, 2023; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Towards non-perturbative BV-theory via derived differential geometry
Authors:
Luigi Alfonsi,
Charles A. S. Young
Abstract:
We propose a global geometric framework which allows one to encode a natural non-perturbative generalisation of usual Batalin-Vilkovisky (BV-)theory. Namely, we construct a concrete model of derived differential geometry, whose geometric objects are formal derived smooth stacks, i.e. stacks on formal derived smooth manifolds, together with a notion of differential geometry on them. This provides a…
▽ More
We propose a global geometric framework which allows one to encode a natural non-perturbative generalisation of usual Batalin-Vilkovisky (BV-)theory. Namely, we construct a concrete model of derived differential geometry, whose geometric objects are formal derived smooth stacks, i.e. stacks on formal derived smooth manifolds, together with a notion of differential geometry on them. This provides a working language to study generalised geometric spaces that are smooth, infinite-dimensional, higher and derived at the same time. Such a formalism is obtained by combining Schreiber's differential cohesion with the machinery of Töen-Vezzosi's homotopical algebraic geometry applied to the theory of derived manifolds of Spivak and Carchedi-Steffens. We investigate two classes of examples of non-perturbative classical BV-theories in the context of derived differential cohesion: scalar field theory and Yang-Mills theory.
△ Less
Submitted 25 October, 2023; v1 submitted 27 July, 2023;
originally announced July 2023.
-
Extended Field Theories as higher Kaluza-Klein theories
Authors:
Luigi Alfonsi
Abstract:
Extended Field Theories include Double Field Theory (DFT) and Exceptional Field Theory, which are respectively the T- and U-duality covariant formulations of the supergravity limit of String Theory and M-theory. Extended Field Theories do not live on spacetime, but on an extended spacetime, locally modelled on the space underlying the fundamental representation of the duality group. Despite its im…
▽ More
Extended Field Theories include Double Field Theory (DFT) and Exceptional Field Theory, which are respectively the T- and U-duality covariant formulations of the supergravity limit of String Theory and M-theory. Extended Field Theories do not live on spacetime, but on an extended spacetime, locally modelled on the space underlying the fundamental representation of the duality group. Despite its importance in M-theory, however, the global understanding of Extended Field Theories is still an open problem. In this thesis we propose a global geometric formulation of Extended Field Theory. Recall that ordinary Kaluza-Klein theory unifies a metric with a gauge field on a principal bundle. We propose a generalisation of the Kaluza-Klein principle which unifies a metric and a higher gauge field on a principal infinity-bundle. This is achieved by introducing an atlas for the principal infinity-bundle, whose local charts can be naturally identified with the ones of Extended Field Theory. Thus, DFT is interpreted as a higher Kaluza-Klein theory set on the total space of a bundle gerbe underlying Kalb-Ramond field. As first application, we define the higher Kaluza-Klein monopole by naturally generalising the ordinary Gross-Perry monopole. Then we show that this monopole is exactly the NS5-brane of String Theory. Secondly, we show that our higher geometric formulation gives automatically rise to global abelian T-duality and global Poisson-Lie T-duality. In particular, we globally recover the abelian T-fold and we define the notion of Poisson-Lie T-fold. Crucially, we will investigate the global geometric formulation of tensor hierarchies and gauged supergravity. In particular, we will provide a global formulation of generalised Scherk-Schwarz reductions and we will discuss their global non-geometric properties. Finally, we explore the T-duality covariant geometric quantisation of DFT.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
Global Double Field Theory is Higher Kaluza-Klein Theory
Authors:
Luigi Alfonsi
Abstract:
Kaluza-Klein Theory states that a metric on the total space of a principal bundle $P\rightarrow M$, if it is invariant under the principal action of $P$, naturally reduces to a metric together with a gauge field on the base manifold $M$. We propose a generalization of this Kaluza-Klein principle to higher principal bundles and higher gauge fields. For the particular case of the abelian gerbe of Ka…
▽ More
Kaluza-Klein Theory states that a metric on the total space of a principal bundle $P\rightarrow M$, if it is invariant under the principal action of $P$, naturally reduces to a metric together with a gauge field on the base manifold $M$. We propose a generalization of this Kaluza-Klein principle to higher principal bundles and higher gauge fields. For the particular case of the abelian gerbe of Kalb-Ramond field, this Higher Kaluza-Klein geometry provides a natural global formulation for Double Field Theory (DFT). In this framework the doubled space is the total space of a higher principal bundle and the invariance under its higher principal action is exactly a global formulation of the familiar strong constraint. The patching problem of DFT is naturally solved by gluing the doubled space with a higher group of symmetries in a higher category. Locally we recover the familiar picture of an ordinary para-Hermitian manifold equipped with Born geometry. Infinitesimally we recover the familiar picture of a higher Courant algebroid twisted by a gerbe (also known as Extended Riemannian Geometry). As first application we show that on a torus-compactified spacetime the Higher Kaluza-Klein reduction gives automatically rise to abelian T-duality, while on a general principal bundle it gives rise to non-abelian T-duality. As final application we define a natural notion of Higher Kaluza-Klein monopole by directly generalizing the ordinary Gross-Perry one. Then we show that under Higher Kaluza-Klein reduction, this monopole is exactly the NS5-brane on a $10d$ spacetime. If, instead, we smear it along a compactified direction we recover the usual DFT monopole on a $9d$ spacetime.
△ Less
Submitted 12 April, 2020; v1 submitted 15 December, 2019;
originally announced December 2019.
