SearcharxivSearch

arXiv subjects

Luigi Alfonsi

Publications and source records attributed to Luigi Alfonsi.

14 recordsLinked to original sources

Generalised Symmetries and Swampland-Type Constraints from Charge Quantisation via Rational Homotopy Theory

Sati and Schreiber [arXiv:2402.18473, arXiv:2512.12431] have proposed that charge quantisation in quantum field theory and string theory is governed by a homotopy type $\mathcal A$. We provide a refinement of this postulate, incorporating other currents including matter, connecting it to adjustments in higher gauge theory and providing a prescription for determining $\mathcal A$, and show that, while the homotopy groups of $\mathcal A$ classify the possible brane charges, the homology groups of $\mathcal A$ classify the invertible higher-form symmetries. Furthermore, we show that the charge-quantisation postulate implies a number of non-trivial constraints on quantum field theories similar to those implied by swampland conjectures; in particular, it rules out noncompact gauge groups and one-form field strengths that form a non-nilpotent Lie algebra. Finally, we argue that for theories of quantum gravity the space $\mathcal A$ must be contractible, in accordance with the swampland conjectures on the absence of global generalised symmetries and the completeness of the spectrum of charges, and explain how this explicitly arises in the case of Type I string theory.

hep-th

Integrability from Homotopy Algebras

Homotopy algebraic methods have become increasingly influential in studying field theories. We consider semi-holomorphic Chern-Simons theory and its relation with the principal chiral model. In particular, we establish an explicit quasi-isomorphism between the cyclic $L_\infty$-algebras governing both theories which directly gives the Lax connection. This provides a concrete example for studying integrability of a two-dimensional system through the homotopy algebraic lens.

hep-th

On coefficients of operator product expansions for quantum field theories with ordinary, holomorphic, and topological spacetime dimensions

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.

hep-th

Full S-matrices and Witten diagrams with (relative) L-infinity algebras

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.

hep-th

Raviolo vertex algebras, cochains and conformal blocks

Raviolo vertex algebras were introduced recently by Garner and Williams in arXiv:2308.04414. Working at the level of cochain complexes, in the present paper we construct spaces of conformal blocks, or more precisely their duals, coinvariants, in the raviolo setting. We prove that the raviolo state-field map correctly captures the limiting behaviour of coinvariants as marked points collide.

math.QA

Higher geometry in physics

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.

hep-th

Towards non-perturbative BV-theory via derived differential geometry

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.

hep-th

Higher current algebras, homotopy Manin triples, and a rectilinear adelic complex

The notion of a Manin triple of Lie algebras admits a generalization, to dg Lie algebras, in which various properties are required to hold only up to homotopy. This paper introduces two classes of examples of such homotopy Manin triples. These examples are associated to analogs in complex dimension two of, respectively, the punctured formal 1-disc, and the complex plane with multiple punctures. The dg Lie algebras which appear include certain higher current algebras in the sense of Faonte, Hennion and Kapranov arXiv:1701.01368. We work in a ringed space we call rectilinear space, and one of the tools we introduce is a model of the derived sections of its structure sheaf, whose construction is in the spirit of the adelic complexes for schemes due to Parshin and Beilinson.

math.QA

Towards an extended/higher correspondence -- Generalised geometry, bundle gerbes and global Double Field Theory

In this short paper, we will review the proposal of a correspondence between the doubled geometry of Double Field Theory and the higher geometry of bundle gerbes. Double Field Theory is T-duality covariant formulation of the supergravity limit of String Theory, which generalises Kaluza-Klein theory by unifying metric and Kalb-Ramond field on a doubled-dimensional space. In light of the proposed correspondence, this doubled geometry is interpreted as an atlas description of the higher geometry of bundle gerbes. In this sense, Double Field Theory can be interpreted as a field theory living on the total space of the bundle gerbe, just like Kaluza-Klein theory is set on the total space of a principal bundle. This correspondence provides a higher geometric interpretation for para-Hermitian geometry which opens the door to its generalisation to the other Extended Field Theories. This review is based on, but not limited to, my talk at the workshop Generalized Geometry and Applications at Universität Hamburg on 3rd of March 2020.

hep-th

Extended Field Theories as higher Kaluza-Klein theories

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.

hep-th

Double Field Theory and Geometric Quantisation

We examine various properties of double field theory and the doubled string sigma model in the context of geometric quantisation. In particular we look at T-duality as the symplectic transformation related to an alternative choice of polarisation in the construction of the quantum bundle for the string. Following this perspective we adopt a variety of techniques from geometric quantisation to study the doubled space. One application is the construction of the double coherent state that provides the shortest distance in any duality frame and a stringy deformed Fourier transform.

hep-th

The puzzle of global Double Field Theory: open problems and the case for a Higher Kaluza-Klein perspective

The history of the geometry of Double Field Theory is the history of string theorists' effort to tame higher geometric structures. In this spirit, the first part of this paper will contain a brief overview on the literature of geometry of DFT, focusing on the attempts of a global description. In arXiv:1912.07089 [hep-th] we proposed that the global doubled space is not a manifold, but the total space of a bundle gerbe. This would mean that DFT is a field theory on a bundle gerbe, in analogy with ordinary Kaluza-Klein Theory being a field theory on a principal bundle. In this paper we make the original construction by arXiv:1912.07089 [hep-th] significantly more immediate. This is achieved by introducing an atlas for the bundle gerbe. This atlas is naturally equipped with $2d$-dimensional local charts, where $d$ is the dimension of physical spacetime. We argue that the local charts of this atlas should be identified with the usual coordinate description of DFT. In the last part we will discuss aspects of the global geometry of tensor hierarchies in this bundle gerbe picture. This allows to identify their global non-geometric properties and explain how the picture of non-abelian String-bundles emerges. We interpret the abelian T-fold and the Poisson-Lie T-fold as global tensor hierarchies.

hep-th

Topology and Wilson lines: global aspects of the double copy

The Kerr-Schild double copy relates exact solutions of gauge and gravity theories. In all previous examples, the gravity solution is associated with an abelian-like gauge theory object, which linearises the Yang-Mills equations. This appears to be at odds with the double copy for scattering amplitudes, in which the non-abelian nature of the gauge theory plays a crucial role. Furthermore, it is not yet clear whether or not global properties of classical fields - such as non-trivial topology - can be matched between gauge and gravity theories. In this paper, we clarify these issues by explicitly demonstrating how magnetic monopoles associated with arbitrary gauge groups can be double copied to the same solution (the pure NUT metric) in gravity. We further describe how to match up topological information on both sides of the double copy correspondence, independently of the nature of the gauge group. This information is neatly expressed in terms of Wilson line operators, and we argue through specific examples that they provide a useful bridge between the classical double copy and the BCJ double copy for scattering amplitudes.

hep-th

Global Double Field Theory is Higher Kaluza-Klein Theory

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.

hep-th