Showing 1–50 of 86 results for author: Saemann, C

Adjusting Higher Chern-Simons Theory

Authors: Gianni Gagliardo, Dominik Rist, Christian Saemann, Martin Wolf

Abstract: A fundamental problem in formulating higher Chern-Simons theories is the construction of a consistent higher gauge theory that circumvents the fake-flatness constraint. Here, we propose a solution to this problem using adjusted higher connections. In particular, we shall demonstrate that there is an obstruction to constructing such action functionals since, generically, adjusted higher gauge algeb… ▽ More A fundamental problem in formulating higher Chern-Simons theories is the construction of a consistent higher gauge theory that circumvents the fake-flatness constraint. Here, we propose a solution to this problem using adjusted higher connections. In particular, we shall demonstrate that there is an obstruction to constructing such action functionals since, generically, adjusted higher gauge algebras do not admit an inner product. To overcome this obstruction, we introduce half-adjusted higher Chern-Simons theories. These theories have both well-defined underlying kinematic data as well as the expected properties of a higher generalisation of Chern-Simons theory. We develop the general construction of these theories in arbitrary dimensions and provide explicit details for the four-dimensional case. We also present the complete differential cohomological framework for principal 2-bundles with half-adjusted connections. Finally, we discuss an alternative approach introducing additional trivial symmetries. △ Less

Submitted 2 July, 2025; originally announced July 2025.

Comments: 48 pages, comments welcome

Report number: DMUS-MP-25/02

Gromov's reconstruction theorem and measured Gromov-Hausdorff convergence in Lorentzian geometry

Authors: Mathias Braun, Clemens Sämann

Abstract: We establish Gromov's celebrated reconstruction theorem in Lorentzian geometry. Alongside this result, we introduce and study a natural concept of isomorphy of normalized bounded Lorentzian metric measure spaces. We outline applications to the spacetime reconstruction problem from causal set theory. Lastly, we propose three notions of convergence of (isomorphism classes of) normalized bounded Lore… ▽ More We establish Gromov's celebrated reconstruction theorem in Lorentzian geometry. Alongside this result, we introduce and study a natural concept of isomorphy of normalized bounded Lorentzian metric measure spaces. We outline applications to the spacetime reconstruction problem from causal set theory. Lastly, we propose three notions of convergence of (isomorphism classes of) normalized bounded Lorentzian metric measure spaces, for which we prove several fundamental properties. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Comments: 35 pages. Comments welcome

MSC Class: Primary 49Q22; 51K10; 53C23; Secondary 28A75; 53C50; 53C80; 83C99

Generalized cones admitting a curvature-dimension condition

Authors: Matteo Calisti, Christian Ketterer, Clemens Sämann

Abstract: We study (generalized) cones over metric spaces, both in Riemannian and Lorentzian signature. In particular, we establish synthetic lower Ricci curvature bounds à la Lott-Villani-Sturm and Ohta in the metric measure case, and à la Cavalletti-Mondino in Lorentzian signature. Here, a generalized cone is a warped product of a one-dimensional base space, which will be positive or negative definite, ov… ▽ More We study (generalized) cones over metric spaces, both in Riemannian and Lorentzian signature. In particular, we establish synthetic lower Ricci curvature bounds à la Lott-Villani-Sturm and Ohta in the metric measure case, and à la Cavalletti-Mondino in Lorentzian signature. Here, a generalized cone is a warped product of a one-dimensional base space, which will be positive or negative definite, over a fiber that is a metric space. We prove that Riemannian or Lorentzian generalized cones over $\mathsf{CD}$-spaces satisfy the (timelike) measure contraction property $\mathsf{(T)MCP}$ - a weaker version of a (timelike) curvature-dimension condition $\mathsf{(T)CD}$. Conversely, if the generalized cone is a $\mathsf{(T)CD}$-space, then the fiber is a $\mathsf{CD}$-space with the appropriate bounds on Ricci curvature and dimension. In proving these results we develop a novel and powerful two-dimensional localization technique, which we expect to be interesting in its own right and useful in other circumstances. We conclude by giving several applications including synthetic singularity and splitting theorems for generalized cones. The final application is that we propose a new definition for lower curvature bounds for metric and metric measure spaces via lower curvature bounds for generalized cones over the given space. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Comments: 54 pages

MSC Class: 28A75; 51K10; 53C23; 53C50; 53B30; 53C80; 83C99

Principal 3-Bundles with Adjusted Connections

Authors: Gianni Gagliardo, Christian Saemann, Roberto Tellez-Dominguez

Abstract: We explore the notion of adjusted connection for principal 3-bundles. We first derive the explicit form of an adjustment datum for 3-term $L_\infty$-algebras, which allows us to give a local description of such adjusted connections and their infinitesimal symmetries. We then introduce the notion of an adjusted 2-crossed module of Lie groups and provide the explicit global description of principal… ▽ More We explore the notion of adjusted connection for principal 3-bundles. We first derive the explicit form of an adjustment datum for 3-term $L_\infty$-algebras, which allows us to give a local description of such adjusted connections and their infinitesimal symmetries. We then introduce the notion of an adjusted 2-crossed module of Lie groups and provide the explicit global description of principal 3-bundles with adjusted connections in terms of differential cocycles. These connections appear in a number of context within high-energy physics, and we list local examples arising in gauged supergravity and a global example arising in various contexts in string/M-theory. Our primary motivation, however, stems from U-duality, and we define a notion of categorified torus that forms an adjusted 2-crossed module, which we hope to be useful in lifting T-duality to M-theory. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 43 pages, comments welcome

Lorentzian Gromov-Hausdorff convergence and pre-compactness

Authors: Andrea Mondino, Clemens Sämann

Abstract: The goal of the paper is to introduce a convergence à la Gromov-Hausdorff for Lorentzian spaces, building on $ε$-nets consisting of causal diamonds and relying only on the time separation function. This yields a geometric notion of convergence, which can be applied to synthetic Lorentzian spaces (Lorentzian pre-length spaces) or smooth spacetimes. Among the main results, we prove a Lorentzian coun… ▽ More The goal of the paper is to introduce a convergence à la Gromov-Hausdorff for Lorentzian spaces, building on $ε$-nets consisting of causal diamonds and relying only on the time separation function. This yields a geometric notion of convergence, which can be applied to synthetic Lorentzian spaces (Lorentzian pre-length spaces) or smooth spacetimes. Among the main results, we prove a Lorentzian counterpart of the celebrated Gromov's pre-compactness theorem for metric spaces, where controlled covers by balls are replaced by controlled covers by diamonds. This yields a geometric pre-compactness result for classes of globally hyperbolic spacetimes, satisfying a uniform doubling property on Cauchy hypersurfaces and a suitable control on the causality. The final part of the paper establishes several applications: we show that Chruściel-Grant approximations are an instance of the Lorentzian Gromov-Hausdorff convergence here introduced, we prove that timelike sectional curvature bounds are stable under such a convergence, we introduce timelike blow-up tangents and discuss connections with the main conjecture of causal set theory. △ Less

Submitted 25 April, 2025; v1 submitted 14 April, 2025; originally announced April 2025.

Comments: 62 pages; v2: minor typographical corrections

MSC Class: 28A75; 51K10; 53C23; 53C50; 53B30; 53C80; 83C99

An elliptic proof of the splitting theorems from Lorentzian geometry

Authors: Mathias Braun, Nicola Gigli, Robert J. McCann, Argam Ohanyan, Clemens Sämann

Abstract: We provide a new proof of the splitting theorems from Lorentzian geometry, in which simplicity is gained by sacrificing linearity of the d'Alembertian to recover ellipticity. We exploit a negative homogeneity (non-uniformly) elliptic $p$-d'Alembert operator for this purpose. This allows us to bring the Eschenburg, Galloway, and Newman Lorentzian splitting theorems into a framework closer to the Ch… ▽ More We provide a new proof of the splitting theorems from Lorentzian geometry, in which simplicity is gained by sacrificing linearity of the d'Alembertian to recover ellipticity. We exploit a negative homogeneity (non-uniformly) elliptic $p$-d'Alembert operator for this purpose. This allows us to bring the Eschenburg, Galloway, and Newman Lorentzian splitting theorems into a framework closer to the Cheeger-Gromoll splitting theorem from Riemannian geometry. △ Less

Submitted 16 October, 2024; originally announced October 2024.

Comments: 34 pages

MSC Class: 83C75; 35J92 35Q75; 49Q22; 51K10; 53C21 53C50 58J05

Ambitwistor Yang-Mills Theory Revisited

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Christian Saemann, Martin Wolf

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

Submitted 28 April, 2025; v1 submitted 29 August, 2024; originally announced August 2024.

Comments: v3: 43 pages, typos fixed and clarifications added, version published in Annales Henri Poincare

Report number: DMUS-MP-24/06

Journal ref: Annales Henri Poincare (2025)

A nonlinear d'Alembert comparison theorem and causal differential calculus on metric measure spacetimes

Authors: Tobias Beran, Mathias Braun, Matteo Calisti, Nicola Gigli, Robert J. McCann, Argam Ohanyan, Felix Rott, Clemens Sämann

Abstract: We introduce a variational first-order Sobolev calculus on metric measure spacetimes. The key object is the maximal weak subslope of an arbitrary causal function, which plays the role of the (Lorentzian) modulus of its differential. It is shown to satisfy certain chain and Leibniz rules, certify a locality property, and be compatible with its smooth analog. In this setup, we propose a quadraticity… ▽ More We introduce a variational first-order Sobolev calculus on metric measure spacetimes. The key object is the maximal weak subslope of an arbitrary causal function, which plays the role of the (Lorentzian) modulus of its differential. It is shown to satisfy certain chain and Leibniz rules, certify a locality property, and be compatible with its smooth analog. In this setup, we propose a quadraticity condition termed infinitesimal Minkowskianity, which singles out genuinely Lorentzian structures among Lorentz-Finsler spacetimes. Moreover, we establish a comparison theorem for a nonlinear yet elliptic $p$-d'Alembertian in a weak form under the timelike measure contraction property. As a particular case, this extends Eschenburg's classical estimate past the timelike cut locus. △ Less

Submitted 20 March, 2025; v1 submitted 28 August, 2024; originally announced August 2024.

Comments: 112 pages. Revised exposition, some proofs corrected, modified format. Comments welcome

MSC Class: 51K10; 83C75 (Primary); 35J92; 35Q75; 49Q22; 53C21; 53C50 (Secondary)

Topological Classification of Symmetry Breaking and Vacuum Degeneracy

Authors: Simon-Raphael Fischer, Mehran Jalali Farahani, Hyungrok Kim, Christian Saemann

Abstract: We argue that a general system of scalar fields and gauge fields manifesting vacuum degeneracy induces a principal groupoid bundle over spacetime and that the pattern of spontaneous symmetry breaking and the Higgs mechanism are encoded by the singular foliation canonically induced on the moduli space of scalar vacuum expectation values by the Lie groupoid structure. Recent mathematical results in… ▽ More We argue that a general system of scalar fields and gauge fields manifesting vacuum degeneracy induces a principal groupoid bundle over spacetime and that the pattern of spontaneous symmetry breaking and the Higgs mechanism are encoded by the singular foliation canonically induced on the moduli space of scalar vacuum expectation values by the Lie groupoid structure. Recent mathematical results in the classification of singular foliations then provide a qualitative classification of the possible patterns of vacuum degeneracy. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: 7 pages, 5 figures, 1 table

MSC Class: 53C12 (Primary) 70S15; 81T13; 57R30 (Secondary)

Adjusted Connections I: Differential Cocycles for Principal Groupoid Bundles with Connection

Authors: Simon-Raphael Fischer, Mehran Jalali Farahani, Hyungrok Kim, Christian Saemann

Abstract: We develop a new perspective on principal bundles with connection as morphisms from the tangent bundle of the underlying manifold to a classifying dg-Lie groupoid. This groupoid can be identified with a lift of the inner homomorphisms groupoid arising in Ševera's differentiation procedure of Lie quasi-groupoids. Our new perspective readily extends to principal groupoid bundles, but requires an adj… ▽ More We develop a new perspective on principal bundles with connection as morphisms from the tangent bundle of the underlying manifold to a classifying dg-Lie groupoid. This groupoid can be identified with a lift of the inner homomorphisms groupoid arising in Ševera's differentiation procedure of Lie quasi-groupoids. Our new perspective readily extends to principal groupoid bundles, but requires an adjustment, an additional datum familiar from higher gauge theory. We show that for Lie groupoids, the additional adjustment data amounts to a Cartan connection. The resulting adjusted connections naturally provide a global formulation of the kinematical data of curved Yang-Mills-Higgs theories as described by Kotov-Strobl (arXiv:1510.07654) and Fischer (arXiv:2104.02175). △ Less

Submitted 10 June, 2025; v1 submitted 24 June, 2024; originally announced June 2024.

Comments: v3: 1+77 pages, full identification of adjustments with Cartan connections, presentation improved, typos fixed, references and integrated curvature equation added

A brief introduction to non-regular spacetime geometry

Authors: Clemens Sämann

Abstract: We give a brief non-technical introduction to non-regular spacetime geometry. In particular, we discuss how curvature, and hence gravity, can be defined without a smooth (differential geometric) calculus. We give a brief non-technical introduction to non-regular spacetime geometry. In particular, we discuss how curvature, and hence gravity, can be defined without a smooth (differential geometric) calculus. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 19 pages, 3 Figures; invited article for International Mathematical News, the journal of the Austrian Mathematical Society

MSC Class: 51K10; 53C23; 53C50; 53B30; 53C80; 83C99

Higher Gauge Theory

Authors: Leron Borsten, Mehran Jalali Farahani, Branislav Jurco, Hyungrok Kim, Jiri Narozny, Dominik Rist, Christian Saemann, Martin Wolf

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

Submitted 10 January, 2024; originally announced January 2024.

Comments: 36 pages text, 17 pages references

Report number: EMPG-24-01, DMUS-MP-24/01

Cut-and-paste for impulsive gravitational waves with $Λ$: The mathematical analysis

Authors: Clemens Sämann, Benedict Schinnerl, Roland Steinbauer, Robert Švarc

Abstract: Impulsive gravitational waves are theoretical models of short but violent bursts of gravitational radiation. They are commonly described by two distinct spacetime metrics, one of local Lipschitz regularity, the other one even distributional. These two metrics are thought to be `physically equivalent' since they can be formally related by a `discontinuous coordinate transformation'. In this paper w… ▽ More Impulsive gravitational waves are theoretical models of short but violent bursts of gravitational radiation. They are commonly described by two distinct spacetime metrics, one of local Lipschitz regularity, the other one even distributional. These two metrics are thought to be `physically equivalent' since they can be formally related by a `discontinuous coordinate transformation'. In this paper we provide a mathematical analysis of this issue for the entire class of nonexpanding impulsive gravitational waves propagating in a background spacetime of constant curvature. We devise a natural geometric regularisation procedure to show that the notorious change of variables arises as the distributional limit of a family of smooth coordinate transformations. In other words, we establish that both spacetimes arise as distributional limits of a smooth sandwich wave taken in different coordinate systems which are diffeomorphically related. △ Less

Submitted 24 April, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: 26 pages

MSC Class: 83C15; 83C35; 46F30; 46F10; 83C10; 34A36

Journal ref: Lett. Math. Phys. Volume 114, article number 58 (2024)

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

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

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

Submitted 27 November, 2023; v1 submitted 19 July, 2023; originally announced July 2023.

Comments: 1+19 pages, extended presentation, published version

Report number: EMPG-23-15, DMUS-MP-23/13

Journal ref: JHEP 11 (2023) 172

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

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

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

Submitted 18 November, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: v3: 98 pages, references added, typos fixed, version published in Fortschritte der Physik

Report number: EMPG-23-14, DMUS-MP-23/11

Journal ref: Fortschr. Phys. 73 (2025) 2300270

Field Theory Equivalences as Spans of $L_\infty$-algebras

Authors: Mehran Jalali Farahani, Christian Saemann, Martin Wolf

Abstract: Semi-classically equivalent field theories are related by a quasi-isomorphism between their underlying $L_\infty$-algebras, but such a quasi-isomorphism is not necessarily a homotopy transfer. We demonstrate that all quasi-isomorphisms can be lifted to spans of $L_\infty$-algebras in which the quasi-isomorphic $L_\infty$-algebras are obtained from a correspondence $L_\infty$-algebra by a homotopy… ▽ More Semi-classically equivalent field theories are related by a quasi-isomorphism between their underlying $L_\infty$-algebras, but such a quasi-isomorphism is not necessarily a homotopy transfer. We demonstrate that all quasi-isomorphisms can be lifted to spans of $L_\infty$-algebras in which the quasi-isomorphic $L_\infty$-algebras are obtained from a correspondence $L_\infty$-algebra by a homotopy transfer. Our construction is very useful: homotopy transfer is computationally tractable, and physically, it amounts to integrating out fields in a Feynman diagram expansion. Spans of $L_\infty$-algebras allow for a clean definition of quasi-isomorphisms of cyclic $L_\infty$-algebras. Furthermore, they appear naturally in many contexts within physics. As examples, we first consider scalar field theory with interaction vertices blown up in different ways. We then show that (non-Abelian) T-duality can be seen as a span of $L_\infty$-algebras, and we provide full details in the case of the principal chiral model. We also present the relevant span of $L_\infty$-algebras for the Penrose-Ward transform in the context of self-dual Yang-Mills theory and Bogomolny monopoles. △ Less

Submitted 2 July, 2024; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: 49 pages

Report number: EMPG-23-08, DMUS-MP-23/10

Journal ref: J. Phys. A. 57 (2024) 285208

T-duality as Correspondences of Categorified Principal Bundles with Adjusted Connections

Authors: Hyungrok Kim, Christian Saemann

Abstract: We provide a pedagogical introduction to the theory of principal 2-bundles with adjusted connections and show how they enter the description of geometric and non-geometric T-dualities as proposed in arXiv:2204.01783. This description combines the torus fibrations as well as the gerbe containing the Kalb-Ramond $B$-field into a single geometric object, a particular case of a non-abelian gerbe. The… ▽ More We provide a pedagogical introduction to the theory of principal 2-bundles with adjusted connections and show how they enter the description of geometric and non-geometric T-dualities as proposed in arXiv:2204.01783. This description combines the torus fibrations as well as the gerbe containing the Kalb-Ramond $B$-field into a single geometric object, a particular case of a non-abelian gerbe. The $B$-field and the metric are encoded in the connection of this categorified principal bundle, and a T-duality is described as a particular span or correspondence of such bundles. The formalism is manifestly covariant under the full T-duality group, and it readily reproduces key examples from the literature. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Comments: 22 pages

Report number: EMPG-23-05

Tree-Level Color-Kinematics Duality from Pure Spinor Actions

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

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

Submitted 18 December, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 10 pages, expanded presentation, typos fixed, published version

Report number: DMUS-MP-23/05, EMPT-23-04

Journal ref: Phys. Rev. D 108 (2023) 126012

Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds

Authors: Tobias Beran, Clemens Sämann

Abstract: Within the synthetic-geometric framework of Lorentzian (pre-)length spaces developed in Kunzinger and Sämann (Ann. Glob. Anal. Geom. 54(3):399--447, 2018) we introduce a notion of a hyperbolic angle, an angle between timelike curves and related concepts like timelike tangent cone and exponential map. This provides valuable technical tools for the further development of the theory and paves the way… ▽ More Within the synthetic-geometric framework of Lorentzian (pre-)length spaces developed in Kunzinger and Sämann (Ann. Glob. Anal. Geom. 54(3):399--447, 2018) we introduce a notion of a hyperbolic angle, an angle between timelike curves and related concepts like timelike tangent cone and exponential map. This provides valuable technical tools for the further development of the theory and paves the way for the main result of the article, which is the characterization of timelike curvature bounds (defined via triangle comparison) with an angle monotonicity condition. Further, we improve on a geodesic non-branching result for spaces with timelike curvature bounded below. △ Less

Submitted 13 December, 2022; v1 submitted 19 April, 2022; originally announced April 2022.

Comments: 71 pages, 15 figures; v3: minor changes suggested by the referee

MSC Class: 28A75; 51K10; 53C23; 53C50; 53B30; 53C80; 83C99

Journal ref: JLMS 107, Issue 5, 1823-1880 (2023)

Non-Geometric T-Duality as Higher Groupoid Bundles with Connections

Authors: Hyungrok Kim, Christian Saemann

Abstract: We describe T-duality between general geometric and non-geometric backgrounds as higher groupoid bundles with connections. Our description extends the previous observation by Nikolaus and Waldorf that the topological aspects of geometric and half-geometric T-dualities can be described in terms of higher geometry. We extend their construction in two ways. First, we endow the higher geometries with… ▽ More We describe T-duality between general geometric and non-geometric backgrounds as higher groupoid bundles with connections. Our description extends the previous observation by Nikolaus and Waldorf that the topological aspects of geometric and half-geometric T-dualities can be described in terms of higher geometry. We extend their construction in two ways. First, we endow the higher geometries with adjusted connections, which allow us to discuss explicit formulas for the metric and the Kalb-Ramond field of a T-background. Second, we extend the principal 2-bundles to augmented 2-groupoid bundles, which accommodate the scalar fields arising in T-duality along several directions as well as $Q$- and $R$-fluxes. Our description is manifestly covariant under the full T-duality group $\mathsf{GO}(n,n;\mathbb{Z})$, and it has interesting physical and mathematical implications. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 61 pages

Report number: EMPG-22-05

Explicit Non-Abelian Gerbes with Connections

Authors: Dominik Rist, Christian Saemann, Martin Wolf

Abstract: We define the notion of adjustment for strict Lie 2-groups and provide the complete cocycle description for non-Abelian gerbes with connections whose structure 2-group is an adjusted 2-group. Most importantly, we depart from the common fake-flat connections and employ adjusted connections. This is an important generalisation that is needed for physical applications especially in the context of sup… ▽ More We define the notion of adjustment for strict Lie 2-groups and provide the complete cocycle description for non-Abelian gerbes with connections whose structure 2-group is an adjusted 2-group. Most importantly, we depart from the common fake-flat connections and employ adjusted connections. This is an important generalisation that is needed for physical applications especially in the context of supergravity. We give a number of explicit examples; in particular, we lift the spin structure on $S^4$, corresponding to an instanton-anti-instanton pair, to a string structure, a 2-group bundle with connection. We also outline how categorified forms of Bogomolny monopoles known as self-dual strings can be obtained via a Penrose-Ward transform of string bundles over twistor space. △ Less

Submitted 5 February, 2024; v1 submitted 28 February, 2022; originally announced March 2022.

Comments: v3: 77 pages, presentation substantially changed, many results added

Report number: EMPG-22-02, DMUS-MP-22/01

A Lorentzian analog for Hausdorff dimension and measure

Authors: Robert J. McCann, Clemens Sämann

Abstract: We define a one-parameter family of canonical volume measures on Lorentzian (pre-)length spaces. In the Lorentzian setting, this allows us to define a geometric dimension - akin to the Hausdorff dimension for metric spaces - that distinguishes between e.g. spacelike and null subspaces of Minkowski spacetime. The volume measure corresponding to its geometric dimension gives a natural reference meas… ▽ More We define a one-parameter family of canonical volume measures on Lorentzian (pre-)length spaces. In the Lorentzian setting, this allows us to define a geometric dimension - akin to the Hausdorff dimension for metric spaces - that distinguishes between e.g. spacelike and null subspaces of Minkowski spacetime. The volume measure corresponding to its geometric dimension gives a natural reference measure on a synthetic or limiting spacetime, and allows us to define what it means for such a spacetime to be collapsed (in analogy with metric measure geometry and the theory of Riemannian Ricci limit spaces). As a crucial tool we introduce a doubling condition for causal diamonds and a notion of causal doubling measures. Moreover, applications to continuous spacetimes and connections to synthetic timelike curvature bounds are given. △ Less

Submitted 1 November, 2021; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: 45 pages, 4 figures; v2: minor improvements

MSC Class: 28A75; 51K10; 53C23; 53C50; 53B30; 53C80; 83C99

Journal ref: Pure Appl. Analysis 4 (2022) 367-400

$EL_\infty$-algebras, Generalized Geometry, and Tensor Hierarchies

Authors: Leron Borsten, Hyungrok Kim, Christian Saemann

Abstract: We define a generalized form of $L_\infty$-algebras called $EL_\infty$-algebras. As we show, these provide the natural algebraic framework for generalized geometry and the symmetries of double field theory as well as the gauge algebras arising in the tensor hierarchies of gauged supergravity. Our perspective shows that the kinematical data of the tensor hierarchy is an adjusted higher gauge theory… ▽ More We define a generalized form of $L_\infty$-algebras called $EL_\infty$-algebras. As we show, these provide the natural algebraic framework for generalized geometry and the symmetries of double field theory as well as the gauge algebras arising in the tensor hierarchies of gauged supergravity. Our perspective shows that the kinematical data of the tensor hierarchy is an adjusted higher gauge theory, which is important for developing finite gauge transformations as well as non-local descriptions. Mathematically, $EL_\infty$-algebras provide small resolutions of the operad $\mathcal{L}ie$, and they shed some light on Loday's problem of integrating Leibniz algebras. △ Less

Submitted 31 May, 2021; originally announced June 2021.

Comments: 65 pages

Report number: EMPG-21-07

Double Copy from Homotopy Algebras

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

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

Submitted 8 September, 2021; v1 submitted 22 February, 2021; originally announced February 2021.

Comments: v2: 168 pages, presentation improved, typos fixed, published version

Report number: DMUS-MP-21/04, EMPG-21-03

Journal ref: Fortschr. Phys. 69 (2021) 2100075

Towards an M5-Brane Model III: Self-Duality from Additional Trivial Fields

Authors: Dominik Rist, Christian Saemann, Miro van der Worp

Abstract: We present a six-dimensional $\mathcal{N}=(1,0)$ supersymmetric higher gauge theory in which self-duality is consistently implemented by physically trivial additional fields. The action contains both $\mathcal{N}=(1,0)$ tensor and vector multiplets and is non-trivially interacting. The tensor multiplet part is loosely related to a recently proposed action by Sen that leads to on-shell self-duality… ▽ More We present a six-dimensional $\mathcal{N}=(1,0)$ supersymmetric higher gauge theory in which self-duality is consistently implemented by physically trivial additional fields. The action contains both $\mathcal{N}=(1,0)$ tensor and vector multiplets and is non-trivially interacting. The tensor multiplet part is loosely related to a recently proposed action by Sen that leads to on-shell self-duality in an elegant way. As we also show, Sen's action finds a very natural and direct interpretation from a homotopy algebraic perspective. △ Less

Submitted 8 June, 2021; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 29 pages, typos fixed, clarifications added, published version

Report number: EMPG-20-25

Journal ref: JHEP 2106 (2021) 036

Symmetry Factors of Feynman Diagrams and the Homological Perturbation Lemma

Authors: Christian Saemann, Emmanouil Sfinarolakis

Abstract: We discuss the symmetry factors of Feynman diagrams of scalar field theories with polynomial potential. After giving a concise general formula for them, we present an elementary and direct proof that when computing scattering amplitudes using the homological perturbation lemma, each contributing Feynman diagram is indeed included with the correct symmetry factor. We discuss the symmetry factors of Feynman diagrams of scalar field theories with polynomial potential. After giving a concise general formula for them, we present an elementary and direct proof that when computing scattering amplitudes using the homological perturbation lemma, each contributing Feynman diagram is indeed included with the correct symmetry factor. △ Less

Submitted 26 September, 2020; originally announced September 2020.

Comments: 20 pages

Report number: EMPG-20-18

Journal ref: JHEP 12 (2020) 088

Lorentz meets Lipschitz

Authors: Christian Lange, Alexander Lytchak, Clemens Sämann

Abstract: We show that maximal causal curves for a Lipschitz continuous Lorentzian metric admit a $\mathcal{C}^{1,1}$-parametrization and that they solve the geodesic equation in the sense of Filippov in this parametrization. Our proof shows that maximal causal curves are either everywhere lightlike or everywhere timelike. Furthermore, the proof demonstrates that maximal causal curves for an $α$-Hölder cont… ▽ More We show that maximal causal curves for a Lipschitz continuous Lorentzian metric admit a $\mathcal{C}^{1,1}$-parametrization and that they solve the geodesic equation in the sense of Filippov in this parametrization. Our proof shows that maximal causal curves are either everywhere lightlike or everywhere timelike. Furthermore, the proof demonstrates that maximal causal curves for an $α$-Hölder continuous Lorentzian metric admit a $\mathcal{C}^{1,\fracα{4}}$-parametrization. △ Less

Submitted 28 September, 2020; v1 submitted 18 September, 2020; originally announced September 2020.

Comments: 25 pages; v2: minor improvements of the presentation

MSC Class: 53B30; 34A36; 83C99

Journal ref: Adv. Theor. Math. Phys. 25 (2021), no. 8, 2141-2170

Perturbative Quantum Field Theory and Homotopy Algebras

Authors: Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

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

Submitted 21 August, 2020; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: v2: 25 pages, contribution to the proceedings of the Corfu Summer Institute 2019 "School and Workshops on Elementary Particle Physics and Gravity", typos fixed, published version

Report number: DMUS-MP-20/01, EMPG-20-06

Journal ref: PoS (CORFU2019) 199

Loop Amplitudes and Quantum Homotopy Algebras

Authors: Branislav Jurco, Tommaso Macrelli, Christian Saemann, Martin Wolf

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

Submitted 6 July, 2020; v1 submitted 13 December, 2019; originally announced December 2019.

Comments: 17 pages, slightly extended presentation, published version

Report number: EMPG-19-26, DMUS-MP-19/11

Journal ref: JHEP 07 (2020) 003

Adjusted Parallel Transport for Higher Gauge Theories

Authors: Hyungrok Kim, Christian Saemann

Abstract: Many physical theories, including notably string theory, require non-abelian higher gauge fields defining higher holonomy. Previous approaches to such higher connections on categorified principal bundles require these to be fake flat. This condition, however, renders them locally gauge equivalent to connections on abelian gerbes. For particular higher gauge groups, for example 2-group models of th… ▽ More Many physical theories, including notably string theory, require non-abelian higher gauge fields defining higher holonomy. Previous approaches to such higher connections on categorified principal bundles require these to be fake flat. This condition, however, renders them locally gauge equivalent to connections on abelian gerbes. For particular higher gauge groups, for example 2-group models of the string group, this limitation can be overcome by generalizing the notion of higher connection. Starting from this observation, we define a corresponding generalized higher holonomy functor which is free from the fake flatness condition, leading to a truly non-abelian parallel transport. △ Less

Submitted 26 October, 2020; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: v2: 56 pages, presentation improved, minor error corrected, published version

Report number: EMPG-19-24

Journal ref: J. Phys. A 52 (2020) 445206

Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems

Authors: Stephanie B. Alexander, Melanie Graf, Michael Kunzinger, Clemens Sämann

Abstract: We study generalizations of Lorentzian warped products with one-dimensional base of the form $I\times_f X$, where $I$ is an interval, $X$ is a length space and $f$ is a positive continuous function. These generalized cones furnish an important class of Lorentzian length spaces in the sense of [Kunzinger, Sämann; Ann. Glob. Anal. Geom. 54(3):399--447, 2018], displaying optimal causality properties… ▽ More We study generalizations of Lorentzian warped products with one-dimensional base of the form $I\times_f X$, where $I$ is an interval, $X$ is a length space and $f$ is a positive continuous function. These generalized cones furnish an important class of Lorentzian length spaces in the sense of [Kunzinger, Sämann; Ann. Glob. Anal. Geom. 54(3):399--447, 2018], displaying optimal causality properties that allow for explicit descriptions of all underlying notions. In addition, synthetic sectional curvature bounds of generalized cones are directly related to metric curvature bounds of the fiber $X$. The interest in such spaces comes both from metric geometry and from General Relativity, where warped products underlie important cosmological models (FLRW spacetimes). Moreover, we prove singularity theorems for these spaces, showing that non-positive lower timelike curvature bounds imply the existence of incomplete timelike geodesics. △ Less

Submitted 15 June, 2021; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: 55 pages; minor changes suggested by the referees; to appear in Comm. Anal. Geom

MSC Class: 51K10; 53C23; 53C50; 53B30; 53C80

Journal ref: Comm. Anal. Geom., Volume 31, Number 6, 1469-1528, 2023

Towards an M5-Brane Model II: Metric String Structures

Authors: Christian Saemann, Lennart Schmidt

Abstract: In this paper, we develop the mathematical formulation of metric string structures. These play a crucial role in the formulation of certain six-dimensional superconformal field theories and we believe that they also underlie potential future formulations of the (2,0)-theory. We show that the connections on non-abelian gerbes usually introduced in the literature are problematic in that they are loc… ▽ More In this paper, we develop the mathematical formulation of metric string structures. These play a crucial role in the formulation of certain six-dimensional superconformal field theories and we believe that they also underlie potential future formulations of the (2,0)-theory. We show that the connections on non-abelian gerbes usually introduced in the literature are problematic in that they are locally gauge equivalent to connections on abelian gerbes. Connections on string structures form an exception and we introduce the general concept of an adjusted Weil algebra leading to potentially interacting connections on higher principal bundles. Considering a special case, we derive the metric extension of string structures and the corresponding adjusted Weil algebra. The latter lead to connections that were previously constructed by hand in the context of gauged supergravities. We also explain how the Leibniz algebras induced by an embedding tensor in gauged supergravities fit into our picture. △ Less

Submitted 10 August, 2020; v1 submitted 21 August, 2019; originally announced August 2019.

Comments: v2: 70 pages, presentation improved, typos fixed, published version

Report number: EMPG-19-20

Journal ref: Fortschr. Phys. 68 (2020) 2000051

Scattering Amplitude Recursion Relations in BV Quantisable Theories

Authors: Tommaso Macrelli, Christian Saemann, Martin Wolf

Abstract: Tree-level scattering amplitudes in Yang-Mills theory satisfy a recursion relation due to Berends and Giele which yields e.g. the famous Parke-Taylor formula for MHV amplitudes. We show that the origin of this recursion relation becomes clear in the BV formalism, which encodes a field theory in an $L_\infty$-algebra. The recursion relation is obtained in the transition to a smallest representative… ▽ More Tree-level scattering amplitudes in Yang-Mills theory satisfy a recursion relation due to Berends and Giele which yields e.g. the famous Parke-Taylor formula for MHV amplitudes. We show that the origin of this recursion relation becomes clear in the BV formalism, which encodes a field theory in an $L_\infty$-algebra. The recursion relation is obtained in the transition to a smallest representative in the quasi-isomorphism class of that $L_\infty$-algebra, known as a minimal model. In fact, the quasi-isomorphism contains all the information about the scattering theory. As we explain, the computation of such a minimal model is readily performed in any BV quantisable theory, which, in turn, produces recursion relations for its tree-level scattering amplitudes. △ Less

Submitted 21 October, 2020; v1 submitted 13 March, 2019; originally announced March 2019.

Comments: v3: 33 pages, corrections to section 3.1, improvements of presentation, typos fixed

Report number: DMUS-MP-19/04, EMPG-19-09

Journal ref: Phys. Rev. D 100, 045017 (2019)

The future is not always open

Authors: James D. E. Grant, Michael Kunzinger, Clemens Sämann, Roland Steinbauer

Abstract: We demonstrate the breakdown of several fundamentals of Lorentzian causality theory in low regularity. Most notably, chronological futures (defined naturally using locally Lipschitz curves) may be non-open, and may differ from the corresponding sets defined via piecewise $C^1$-curves. By refining the notion of a causal bubble from [CG:12],we characterize spacetimes for which such phenomena can occ… ▽ More We demonstrate the breakdown of several fundamentals of Lorentzian causality theory in low regularity. Most notably, chronological futures (defined naturally using locally Lipschitz curves) may be non-open, and may differ from the corresponding sets defined via piecewise $C^1$-curves. By refining the notion of a causal bubble from [CG:12],we characterize spacetimes for which such phenomena can occur, and also relate these to the possibility of deforming causal curves of positive length into timelike curves (push-up). The phenomena described here are, in particular, relevant for recent synthetic approaches to low regularity Lorentzian geometry where, in the absence of a differentiable structure, causality has to be based on locally Lipschitz curves. △ Less

Submitted 9 September, 2019; v1 submitted 23 January, 2019; originally announced January 2019.

Comments: Minor amendments. Final version. 17 pages, 4 figures

MSC Class: 53C50; 83C75

Journal ref: Letters in Math. Phys. 110 (2020), no. 1, 83-103

Extended Riemannian Geometry III: Global Double Field Theory with Nilmanifolds

Authors: Andreas Deser, Christian Saemann

Abstract: We describe the global geometry, symmetries and tensors for Double Field Theory over pairs of nilmanifolds with fluxes or gerbes. This is achieved by a rather straightforward application of a formalism we developed previously. This formalism constructs the analogue of a Courant algebroid over the correspondence space of a T-duality, using the language of graded manifolds, derived brackets and we u… ▽ More We describe the global geometry, symmetries and tensors for Double Field Theory over pairs of nilmanifolds with fluxes or gerbes. This is achieved by a rather straightforward application of a formalism we developed previously. This formalism constructs the analogue of a Courant algebroid over the correspondence space of a T-duality, using the language of graded manifolds, derived brackets and we use the description of nilmanifolds in terms of periodicity conditions rather than local patches. The strong section condition arises purely algebraically, and we show that for a particularly symmetric solution of this condition, we recover the Courant algebroids of both nilmanifolds with fluxes. We also discuss the finite, global symmetries of general local Double Field Theory and explain how this specializes to the case of T-duality between nilmanifolds. △ Less

Submitted 18 June, 2019; v1 submitted 30 November, 2018; originally announced December 2018.

Comments: 36 pages, typos fixed, references added, presentation improved and discussion added, published version

Report number: EMPG-18-24

Journal ref: JHEP 05 (2019) 209

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

Authors: Branislav Jurco, Lorenzo Raspollini, Christian Saemann, Martin Wolf

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

Submitted 10 June, 2021; v1 submitted 26 September, 2018; originally announced September 2018.

Comments: v4: 131 pages, minor improvements, typos fixed, references added

Report number: EMPG-18-19, DMUS-MP-18/05

Journal ref: Fortschr. Phys. 67 (2019) 1900025

Inextendibility of spacetimes and Lorentzian length spaces

Authors: James D. E. Grant, Michael Kunzinger, Clemens Sämann

Abstract: We study the low-regularity (in-)extendibility of spacetimes within the synthetic-geometric framework of Lorentzian length spaces developed in [KS:17]. To this end, we introduce appropriate notions of geodesics and timelike geodesic completeness and prove a general inextendibility result. Our results shed new light on recent analytic work in this direction and, for the first time, relate low-regul… ▽ More We study the low-regularity (in-)extendibility of spacetimes within the synthetic-geometric framework of Lorentzian length spaces developed in [KS:17]. To this end, we introduce appropriate notions of geodesics and timelike geodesic completeness and prove a general inextendibility result. Our results shed new light on recent analytic work in this direction and, for the first time, relate low-regularity inextendibility to (synthetic) curvature blow-up. △ Less

Submitted 6 November, 2019; v1 submitted 27 April, 2018; originally announced April 2018.

Comments: 21 pages, 1 figure, made assumptions in 5.4 and 5.6 more explicit (strong causality and local TL geodesic connectedness of extension)

MSC Class: 53C23; 53C50; 53B30; 53C80; 83C75

Journal ref: Ann. Global Anal. Geom. 55, no. 1, 133-147 (2019)

Derived Brackets and Symmetries in Generalized Geometry and Double Field Theory

Authors: Andreas Deser, Christian Saemann

Abstract: Derived brackets as introduced and studied by Kosmann-Schwarzbach and Voronov are a powerful tool for describing and understanding infinitesimal symmetry actions relevant in physics. Roytenberg and Weinstein showed that this continues to hold for the categorified symmetries arising in Hitchin's generalized geometry. After reviewing some well-established examples, we prove that derived brackets als… ▽ More Derived brackets as introduced and studied by Kosmann-Schwarzbach and Voronov are a powerful tool for describing and understanding infinitesimal symmetry actions relevant in physics. Roytenberg and Weinstein showed that this continues to hold for the categorified symmetries arising in Hitchin's generalized geometry. After reviewing some well-established examples, we prove that derived brackets also underlie the symmetries of Double Field Theory and heterotic Double Field Theory. This leads to a common framework for large classes of symmetries, which suggests that derived bracket constructions can function as a guiding principle in the description of infinitesimal actions of symmetries in physics. As a new result, we present sufficient conditions on a bracket to give rise to a Lie 2-algebra of symmetries via antisymmetrized derived brackets. △ Less

Submitted 5 March, 2018; originally announced March 2018.

Comments: 14 pages, contribution to Corfu Summer Institute 2017 "School and Workshops on Elementary Particle Physics and Gravity"

Towards an M5-Brane Model I: A 6d Superconformal Field Theory

Authors: Christian Saemann, Lennart Schmidt

Abstract: We present an action for a six-dimensional superconformal field theory containing a non-abelian tensor multiplet. All of the ingredients of this action have been available in the literature. We bring these pieces together by choosing the string Lie 2-algebra as a gauge structure, which we motivated in previous work. The kinematical data contains a connection on a categorified principal bundle, whi… ▽ More We present an action for a six-dimensional superconformal field theory containing a non-abelian tensor multiplet. All of the ingredients of this action have been available in the literature. We bring these pieces together by choosing the string Lie 2-algebra as a gauge structure, which we motivated in previous work. The kinematical data contains a connection on a categorified principal bundle, which is the appropriate mathematical description of the parallel transport of self-dual strings. Our action can be written down for each of the simply laced Dynkin diagrams, and each case reduces to a four-dimensional supersymmetric Yang--Mills theory with corresponding gauge Lie algebra. Our action also reduces nicely to an M2-brane model which is a deformation of the ABJM model. While this action is certainly not the desired M5-brane model, we regard it as a key stepping stone towards a potential construction of the (2,0)-theory. △ Less

Submitted 5 April, 2018; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: 1+39 pages, v3: minor improvements, published version

Report number: EMPG-17-23

Journal ref: J. Math. Phys. 59 (2018) 043502

Lorentzian length spaces

Authors: Michael Kunzinger, Clemens Sämann

Abstract: We introduce an analogue of the theory of length spaces into the setting of Lorentzian geometry and causality theory. The rôle of the metric is taken over by the time separation function, in terms of which all basic notions are formulated. In this way we recover many fundamental results in greater generality, while at the same time clarifying the minimal requirements for and the interdependence of… ▽ More We introduce an analogue of the theory of length spaces into the setting of Lorentzian geometry and causality theory. The rôle of the metric is taken over by the time separation function, in terms of which all basic notions are formulated. In this way we recover many fundamental results in greater generality, while at the same time clarifying the minimal requirements for and the interdependence of the basic building blocks of the theory. A main focus of this work is the introduction of synthetic curvature bounds, akin to the theory of Alexandrov and CAT$(k)$-spaces, based on triangle comparison. Applications include Lorentzian manifolds with metrics of low regularity, closed cone structures, and certain approaches to quantum gravity. △ Less

Submitted 6 November, 2019; v1 submitted 24 November, 2017; originally announced November 2017.

Comments: 68 pages, 7 figures, small corrections. In particular, added assumption on local TL geodesic connectedness in 4.15 - 4.19

MSC Class: 53C23; 53C50; 53B30; 53C80

Journal ref: Ann. Global Anal. Geom. 54, no. 3, 399-447 (2018)

Extended Riemannian Geometry II: Local Heterotic Double Field Theory

Authors: Andreas Deser, Marc Andre Heller, Christian Saemann

Abstract: We continue our exploration of local Double Field Theory (DFT) in terms of symplectic graded manifolds carrying compatible derivations and study the case of heterotic DFT. We start by developing in detail the differential graded manifold that captures heterotic Generalized Geometry which leads to new observations on the generalized metric and its twists. We then give a symplectic pre-NQ-manifold t… ▽ More We continue our exploration of local Double Field Theory (DFT) in terms of symplectic graded manifolds carrying compatible derivations and study the case of heterotic DFT. We start by developing in detail the differential graded manifold that captures heterotic Generalized Geometry which leads to new observations on the generalized metric and its twists. We then give a symplectic pre-NQ-manifold that captures the symmetries and the geometry of local heterotic DFT. We derive a weakened form of the section condition, which arises algebraically from consistency of the symmetry Lie 2-algebra and its action on extended tensors. We also give appropriate notions of twists-which are required for global formulations-and of the torsion and Riemann tensors. Finally, we show how the observed $α'$-corrections are interpreted naturally in our framework. △ Less

Submitted 23 April, 2018; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: v2: 30 pages, few more details added, typos fixed, published version

Report number: EMPG-17-18

Journal ref: JHEP 04 (2018) 106

On geodesics in low regularity

Authors: Clemens Sämann, Roland Steinbauer

Abstract: We consider geodesics in both Riemannian and Lorentzian manifolds with metrics of low regularity. We discuss existence of extremal curves for continuous metrics and present several old and new examples that highlight their subtle interrelation with solutions of the geodesic equations. Then we turn to the initial value problem for geodesics for locally Lipschitz continuous metrics and generalize re… ▽ More We consider geodesics in both Riemannian and Lorentzian manifolds with metrics of low regularity. We discuss existence of extremal curves for continuous metrics and present several old and new examples that highlight their subtle interrelation with solutions of the geodesic equations. Then we turn to the initial value problem for geodesics for locally Lipschitz continuous metrics and generalize recent results on existence, regularity and uniqueness of solutions in the sense of Filippov. △ Less

Submitted 15 January, 2018; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: 14 pages, 5 figures; v2: minor changes

MSC Class: 53B30; 53C22; 34A36; 83C99

Journal ref: Journal of Physics: Conference Series 968 012010 (2018)

The Non-Abelian Self-Dual String and the (2,0)-Theory

Authors: Christian Saemann, Lennart Schmidt

Abstract: We argue that the relevant higher gauge group for the non-abelian generalization of the self-dual string equation is the string 2-group. We then derive the corresponding equations of motion and discuss their properties. The underlying geometric picture is a string structure, i.e. a categorified principal bundle with connection whose structure 2-group is the string 2-group. We readily write down th… ▽ More We argue that the relevant higher gauge group for the non-abelian generalization of the self-dual string equation is the string 2-group. We then derive the corresponding equations of motion and discuss their properties. The underlying geometric picture is a string structure, i.e. a categorified principal bundle with connection whose structure 2-group is the string 2-group. We readily write down the explicit elementary solution to our equations, which is the categorified analogue of the 't Hooft-Polyakov monopole. Our solution passes all the relevant consistency checks; in particular, it is globally defined on $\mathbb{R}^4$ and approaches the abelian self-dual string of charge one at infinity. We note that our equations also arise as the BPS equations in a recently proposed six-dimensional superconformal field theory and we show that with our choice of higher gauge structure, the action of this theory can be reduced to four-dimensional supersymmetric Yang-Mills theory. △ Less

Submitted 9 April, 2020; v1 submitted 5 May, 2017; originally announced May 2017.

Comments: v3: 1+42 pages, presentation improved, typos fixed, published version

Report number: EMPG-17-05

Journal ref: Lett. Math. Phys. 110 (2020) 1001-1042

Geodesics in nonexpanding impulsive gravitational waves with $Λ$, II

Authors: Clemens Sämann, Roland Steinbauer

Abstract: We investigate all geodesics in the entire class of nonexpanding impulsive gravitational waves propagating in an (anti-)de Sitter universe using the distributional metric. We extend the regularization approach of part I, [SSLP16] to a full nonlinear distributional analysis within the geometric theory of generalized functions. We prove global existence and uniqueness of geodesics that cross the imp… ▽ More We investigate all geodesics in the entire class of nonexpanding impulsive gravitational waves propagating in an (anti-)de Sitter universe using the distributional metric. We extend the regularization approach of part I, [SSLP16] to a full nonlinear distributional analysis within the geometric theory of generalized functions. We prove global existence and uniqueness of geodesics that cross the impulsive wave and hence geodesic completeness in full generality for this class of low regularity spacetimes. This, in particular, prepares the ground for a mathematically rigorous account on the 'physical equivalence' of the continuous with the distributional `from' of the metric. △ Less

Submitted 15 December, 2017; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: 21 pages, 1 figure; v2: close to final version

MSC Class: 83C15; 83C35; 46F30; 34A36

Journal ref: Journal of Mathematical Physics 58, 112503 (2017)

Supersymmetric Yang-Mills Theory as Higher Chern-Simons Theory

Authors: Christian Saemann, Martin Wolf

Abstract: We observe that the string field theory actions for the topological sigma models describe higher or categorified Chern-Simons theories. These theories yield dynamical equations for connective structures on higher principal bundles. As a special case, we consider holomorphic higher Chern-Simons theory on the ambitwistor space of four-dimensional space-time. In particular, we propose a higher ambitw… ▽ More We observe that the string field theory actions for the topological sigma models describe higher or categorified Chern-Simons theories. These theories yield dynamical equations for connective structures on higher principal bundles. As a special case, we consider holomorphic higher Chern-Simons theory on the ambitwistor space of four-dimensional space-time. In particular, we propose a higher ambitwistor space action functional for maximally supersymmetric Yang-Mills theory. △ Less

Submitted 26 July, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: v2: 25 pages, conventions improved, typos fixed, published version

Report number: EMPG-17-02, DMUS-MP-17/02

Journal ref: JHEP 07 (2017) 111

Extended Riemannian Geometry I: Local Double Field Theory

Authors: Andreas Deser, Christian Saemann

Abstract: We present an extended version of Riemannian geometry suitable for the description of current formulations of double field theory (DFT). This framework is based on graded manifolds and it yields extended notions of symmetries, dynamical data and constraints. In special cases, we recover general relativity with and without 1-, 2- and 3-form gauge potentials as well as DFT. We believe that our exten… ▽ More We present an extended version of Riemannian geometry suitable for the description of current formulations of double field theory (DFT). This framework is based on graded manifolds and it yields extended notions of symmetries, dynamical data and constraints. In special cases, we recover general relativity with and without 1-, 2- and 3-form gauge potentials as well as DFT. We believe that our extended Riemannian geometry helps to clarify the role of various constructions in DFT. For example, it leads to a covariant form of the strong section condition. Furthermore, it should provide a useful step towards global and coordinate invariant descriptions of T- and U-duality invariant field theories. △ Less

Submitted 2 July, 2018; v1 submitted 8 November, 2016; originally announced November 2016.

Comments: v2: 50 pages, typos corrected, published version

Report number: ITP-UH-22/16, EMPG-16-18

Journal ref: Ann. Henri Poincare (2018)

Lectures on Higher Structures in M-Theory

Authors: Christian Saemann

Abstract: These are notes for four lectures on higher structures in M-theory as presented at workshops at the Erwin Schroedinger Institute and Tohoku University. The first lecture gives an overview of systems of multiple M5-branes and introduces the relevant mathematical structures underlying a local description of higher gauge theory. In the second lecture, we develop the corresponding global picture. A co… ▽ More These are notes for four lectures on higher structures in M-theory as presented at workshops at the Erwin Schroedinger Institute and Tohoku University. The first lecture gives an overview of systems of multiple M5-branes and introduces the relevant mathematical structures underlying a local description of higher gauge theory. In the second lecture, we develop the corresponding global picture. A construction of non-abelian superconformal gauge theories in six dimensions using twistor spaces is discussed in the third lecture. The last lecture deals with the problem of higher quantization and its relation to loop space. An appendix summarizes the relation between 3-Lie algebras and Lie 2-algebras. △ Less

Submitted 30 September, 2016; originally announced September 2016.

Comments: 36 pages, comments welcome

Report number: EMPG-16-17

The 2-Hilbert Space of a Prequantum Bundle Gerbe

Authors: Severin Bunk, Christian Saemann, Richard J. Szabo

Abstract: We construct a prequantum 2-Hilbert space for any line bundle gerbe whose Dixmier-Douady class is torsion. Analogously to usual prequantisation, this 2-Hilbert space has the category of sections of the line bundle gerbe as its underlying 2-vector space. These sections are obtained as certain morphism categories in Waldorf's version of the 2-category of line bundle gerbes. We show that these morphi… ▽ More We construct a prequantum 2-Hilbert space for any line bundle gerbe whose Dixmier-Douady class is torsion. Analogously to usual prequantisation, this 2-Hilbert space has the category of sections of the line bundle gerbe as its underlying 2-vector space. These sections are obtained as certain morphism categories in Waldorf's version of the 2-category of line bundle gerbes. We show that these morphism categories carry a monoidal structure under which they are semisimple and abelian. We introduce a dual functor on the sections, which yields a closed structure on the morphisms between bundle gerbes and turns the category of sections into a 2-Hilbert space. We discuss how these 2-Hilbert spaces fit various expectations from higher prequantisation. We then extend the transgression functor to the full 2-category of bundle gerbes and demonstrate its compatibility with the additional structures introduced. We discuss various aspects of Kostant-Souriau prequantisation in this setting, including its dimensional reduction to ordinary prequantisation. △ Less

Submitted 10 October, 2017; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: 97 pages; v2: minor changes; Final version to be published in Reviews in Mathematical Physics

Report number: EMPG-16-16

Completeness of general pp-wave spacetimes and their impulsive limit

Authors: Clemens Sämann, Roland Steinbauer, Robert Švarc

Abstract: We investigate geodesic completeness in the full family of pp-wave or Brinkmann spacetimes in their extended as well as in their impulsive form. This class of geometries contains the recently studied gyratonic pp-waves, modelling the exterior field of a spinning beam of null particles, as well as NPWs, which generalise classical pp-waves by allowing for a general wave surface. The problem of geode… ▽ More We investigate geodesic completeness in the full family of pp-wave or Brinkmann spacetimes in their extended as well as in their impulsive form. This class of geometries contains the recently studied gyratonic pp-waves, modelling the exterior field of a spinning beam of null particles, as well as NPWs, which generalise classical pp-waves by allowing for a general wave surface. The problem of geodesic completeness reduces to the question of completeness of trajectories on a Riemannian manifold under an external force field. Building upon respective recent results we derive completeness criteria in terms of the spatial asymptotics of the profile function in the extended case. In the impulsive case we use a fixed point argument to show that irrespective of the behaviour of the profile function all geometries in the class are complete. △ Less

Submitted 16 October, 2016; v1 submitted 7 July, 2016; originally announced July 2016.

Comments: 26 pages, 3 figures

MSC Class: 83C15; 83C35; 83C10; 34A36

Journal ref: 2016 Class. Quantum Grav. 33 215006

Higher Groupoid Bundles, Higher Spaces, and Self-Dual Tensor Field Equations

Authors: Branislav Jurco, Christian Saemann, Martin Wolf

Abstract: We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbifolds. We start off with a self-contained review on simplicial sets as models of… ▽ More We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbifolds. We start off with a self-contained review on simplicial sets as models of $(\infty,1)$-categories. We then discuss principal bundles in terms of simplicial maps and their homotopies. We explain in detail a differentiation procedure, suggested by Severa, that maps higher groupoids to $L_\infty$-algebroids. Generalising this procedure, we define connections for higher groupoid bundles. As an application, we obtain six-dimensional superconformal field theories via a Penrose-Ward transform of higher groupoid bundles over a twistor space. This construction reduces the search for non-Abelian self-dual tensor field equations in six dimensions to a search for the appropriate (higher) gauge structure. The treatment aims to be accessible to theoretical physicists. △ Less

Submitted 24 August, 2016; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: v2: 80 pages, typos fixed, published version

Report number: EMPG-16-09, DMUS-MP-16/06

Journal ref: Fortschr. Phys. 64, 674-717 (2016)