Showing 1–50 of 144 results for author: Szabó, R

Courant Algebroid Relations, T-Dualities and Generalised Ricci Flow

Authors: Thomas C. De Fraja, Vincenzo Emilio Marotta, Richard J. Szabo

Abstract: The notion of Courant algebroid relation is used to introduce a definition of relation between divergence operators on Courant algebroids. By introducing invariant divergence operators, a notion of generalised T-duality between divergences is presented through an existence and uniqueness result for related divergence operators on T-dual pairs of exact Courant algebroids, which naturally incorporat… ▽ More The notion of Courant algebroid relation is used to introduce a definition of relation between divergence operators on Courant algebroids. By introducing invariant divergence operators, a notion of generalised T-duality between divergences is presented through an existence and uniqueness result for related divergence operators on T-dual pairs of exact Courant algebroids, which naturally incorporates the dilaton shift. When combined with the notion of generalised isometry, this establishes circumstances under which generalised Ricci tensors are related, proving that T-duality is compatible with generalised string background equations. This enables an analysis of the compatibility between T-duality and generalised Ricci flow, showing that the T-dual of a solution of generalised Ricci flow is also a solution of generalised Ricci flow. Our constructions are illustrated through many explicit examples. △ Less

Submitted 20 February, 2025; v1 submitted 4 February, 2025; originally announced February 2025.

Comments: 49 pages; v2: typos fixed, reference added

Settling the no-$(k+1)$-in-line problem when $k$ is not small

Authors: Benedek Kovács, Zoltán Lóránt Nagy, Dávid R. Szabó

Abstract: What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform… ▽ More What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform random bipartite graphs and concentration inequalities. △ Less

Submitted 31 January, 2025; originally announced February 2025.

Comments: 13 pages, 2 figures

Peierls bounds from random Toom contours

Authors: Jan M. Swart, Réka Szabó, Cristina Toninelli

Abstract: For deterministic monotone cellular automata on the $d$-dimensional integer lattice, Toom (1980) has given necessary and sufficient conditions for the all-one fixed point to be stable against small random perturbations. We are interested in the open problem of extending Toom's result to monotone cellular automata with intrinsic randomness, where the unperturbed evolution is random with i.i.d. upda… ▽ More For deterministic monotone cellular automata on the $d$-dimensional integer lattice, Toom (1980) has given necessary and sufficient conditions for the all-one fixed point to be stable against small random perturbations. We are interested in the open problem of extending Toom's result to monotone cellular automata with intrinsic randomness, where the unperturbed evolution is random with i.i.d. update rules attached to the space-time points. For some applications it is also desirable to consider a more general graph structure, so we assume that the underlying lattice is an arbitrary countable group. Toom's proof of stability is based on a Peierls argument. In previous work, we demonstrated that this Peierls argument can also be used to prove stability for cellular automata with intrinsic randomness, but in this case estimating the Peierls sum becomes much harder than in the deterministic case. In the present paper, we develop a method based on random contours to estimate the Peierls sum and apply it to prove new stability results for monotone cellular automata with intrisic randomness. We also demonstrate the limitations of the method by constructing an example where the Peierls sum is infinite for arbitrary small perturbations even though stability is believed to hold. △ Less

Submitted 16 January, 2025; originally announced January 2025.

Comments: 49 pages, 4 figures

MSC Class: Primary: 60K35; Secondary: 37B15; 82C26

Percolation on the stationary distributions of the voter model with stirring

Authors: Jhon Astoquillca, Réka Szabó, Daniel Valesin

Abstract: The voter model with stirring is a variant of the classical voter model with two possible opinions (0 and 1) that allows voters to interchange opinions at rate $\mathsf{v} \ge 0$. In [Astoquillca,24], it was proved that for this model on $\mathbb Z^d$ for $d \ge 3$ and any $\mathsf{v}$, the set of extremal stationary measures is given by a family $\{ μ_{α,\mathsf{v}}: α\in [0,1] \}$, where $α$ is… ▽ More The voter model with stirring is a variant of the classical voter model with two possible opinions (0 and 1) that allows voters to interchange opinions at rate $\mathsf{v} \ge 0$. In [Astoquillca,24], it was proved that for this model on $\mathbb Z^d$ for $d \ge 3$ and any $\mathsf{v}$, the set of extremal stationary measures is given by a family $\{ μ_{α,\mathsf{v}}: α\in [0,1] \}$, where $α$ is the density of voters with opinion 1. Sampling a configuration $ξ$ from $μ_{α, \mathsf v}$, we study $ξ$ as a site percolation model on $\mathbb Z^d$ where the set of occupied sites is the set of voters with opinion 1 in $ξ$. Letting $α_c(\mathsf v)$ be the supremum of all the values of $α$ for which percolation does not occur $μ_{α, \mathsf v}$-a.s., we prove that $α_c(\mathsf{v})$ converges to $p_c$, the critical density for classical Bernoulli site percolation, as $\mathsf{v}$ tends to infinity. As a consequence, for $\mathsf v$ large enough, the probability of the existence of an infinite percolation cluster of 1's exhibits a phase transition in $α$. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: 24 pages, 1 figure

MSC Class: 60K35 and 82C22 and 82B43

Blocking Planes by Lines in $\operatorname{PG}(n,q)$

Authors: Benedek Kovács, Zoltán Lóránt Nagy, Dávid R. Szabó

Abstract: In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces $\operatorname{PG}(n,q)$ such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of $(s,t)$-blocking sets in $\operatorname{PG}(n,q)$, where we set $s=2$ and $t=1$. In $\operatorname{PG}(n,q)$, an $(s,t)$-blocking set refe… ▽ More In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces $\operatorname{PG}(n,q)$ such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of $(s,t)$-blocking sets in $\operatorname{PG}(n,q)$, where we set $s=2$ and $t=1$. In $\operatorname{PG}(n,q)$, an $(s,t)$-blocking set refers to a set of $t$-spaces such that each $s$-space is incident with at least one chosen $t$-space. This is a notoriously difficult problem, as it is equivalent to determining the size of certain $q$-Turán designs and $q$-covering designs. We present an improvement on the upper bounds of Etzion and of Metsch via a refined scheme for a recursive construction, which in fact enables improvement in the general case as well. △ Less

Submitted 5 April, 2025; v1 submitted 10 October, 2024; originally announced October 2024.

Comments: 23 pages. Changes: 2 figures were inserted, the key lemma (3.5) was generalised, and further minor improvements were added for better overall clarity

MSC Class: 51E21

Braided Scalar Quantum Electrodynamics

Authors: Marija Dimitrijević Ćirić, Biljana Nikolić, Voja Radovanović, Richard J. Szabo, Guillaume Trojani

Abstract: We formulate scalar electrodynamics in the braided $L_\infty$-algebra formalism and study its perturbative expansion in the algebraic framework of Batalin-Vilkovisky quantization. We confirm that UV/IR mixing is absent at one-loop order in this noncommutative field theory, and that the non-anomalous Ward-Takahashi identities for the braided gauge symmetry are satisfied. We formulate scalar electrodynamics in the braided $L_\infty$-algebra formalism and study its perturbative expansion in the algebraic framework of Batalin-Vilkovisky quantization. We confirm that UV/IR mixing is absent at one-loop order in this noncommutative field theory, and that the non-anomalous Ward-Takahashi identities for the braided gauge symmetry are satisfied. △ Less

Submitted 8 September, 2024; v1 submitted 26 August, 2024; originally announced August 2024.

Comments: 48 pages; v2: minor changes

Braided scalar quantum field theory

Authors: Djordje Bogdanović, Marija Dimitrijević Ćirić, Voja Radovanović, Richard J. Szabo, Guillaume Trojani

Abstract: We formulate scalar field theories in a curved braided $L_\infty$-algebra formalism and analyse their correlation functions using Batalin-Vilkovisky quantization. We perform detailed calculations in cubic braided scalar field theory up to two-loop order and three-point multiplicity. The divergent tadpole contributions are eliminated by a suitable choice of central curvature for the $L_\infty$-stru… ▽ More We formulate scalar field theories in a curved braided $L_\infty$-algebra formalism and analyse their correlation functions using Batalin-Vilkovisky quantization. We perform detailed calculations in cubic braided scalar field theory up to two-loop order and three-point multiplicity. The divergent tadpole contributions are eliminated by a suitable choice of central curvature for the $L_\infty$-structure, and we confirm the absence of UV/IR mixing. The calculations of higher loop and higher multiplicity correlators in homological perturbation theory are facilitated by the introduction of a novel diagrammatic calculus. We derive an algebraic version of the Schwinger-Dyson equations based on the homological perturbation lemma, and use them to prove the braided Wick theorem. △ Less

Submitted 18 September, 2024; v1 submitted 4 June, 2024; originally announced June 2024.

Comments: 41 pages; v2: typos corrected; v3: minor changes and typos fixed; v4: Final version to be published in Fortschritte der Physik

Tetrahedron Instantons on Orbifolds

Authors: Richard J. Szabo, Michelangelo Tirelli

Abstract: Given a homomorphism $τ$ from a suitable finite group $\mathsfΓ$ to $\mathsf{SU}(4)$ with image $\mathsfΓ^τ$, we construct a cohomological gauge theory on a noncommutative resolution of the quotient singularity $\mathbb{C}^4/\mathsfΓ^τ$ whose BRST fixed points are $\mathsfΓ$-invariant tetrahedron instantons on a generally non-effective orbifold. The partition function computes the expectation valu… ▽ More Given a homomorphism $τ$ from a suitable finite group $\mathsfΓ$ to $\mathsf{SU}(4)$ with image $\mathsfΓ^τ$, we construct a cohomological gauge theory on a noncommutative resolution of the quotient singularity $\mathbb{C}^4/\mathsfΓ^τ$ whose BRST fixed points are $\mathsfΓ$-invariant tetrahedron instantons on a generally non-effective orbifold. The partition function computes the expectation values of complex codimension one defect operators in rank $r$ cohomological Donaldson-Thomas theory on a flat gerbe over the quotient stack $[\mathbb{C}^4/\,\mathsfΓ^τ]$. We describe the generalized ADHM parametrization of the tetrahedron instanton moduli space, and evaluate the orbifold partition functions through virtual torus localization. If $\mathsfΓ$ is an abelian group the partition function is expressed as a combinatorial series over arrays of $\mathsfΓ$-coloured plane partitions, while if $\mathsfΓ$ is non-abelian the partition function localizes onto a sum over torus-invariant connected components of the moduli space labelled by lower-dimensional partitions. When $\mathsfΓ=\mathbb{Z}_n$ is a finite abelian subgroup of $\mathsf{SL}(2,\mathbb{C})$, we exhibit the reduction of Donaldson-Thomas theory on the toric Calabi-Yau four-orbifold $\mathbb{C}^2/\,\mathsfΓ\times\mathbb{C}^2$ to the cohomological field theory of tetrahedron instantons, from which we express the partition function as a closed infinite product formula. We also use the crepant resolution correpondence to derive a closed formula for the partition function on any polyhedral singularity. △ Less

Submitted 14 January, 2025; v1 submitted 23 May, 2024; originally announced May 2024.

Comments: 80 pages; v2: minor changes and corrections; v3: new discussion section added; Final version to be published in Letters in Mathematical Physics

Higher form symmetries and orbifolds of two-dimensional Yang-Mills theory

Authors: Leonardo Santilli, Richard J. Szabo

Abstract: We undertake a detailed study of the gaugings of two-dimensional Yang-Mills theory by its intrinsic charge conjugation 0-form and centre 1-form global symmetries, elucidating their higher algebraic and geometric structures, as well as the meaning of dual lower form symmetries. Our derivations of orbifold gauge theories make use of a combination of standard continuum path integral methods, networks… ▽ More We undertake a detailed study of the gaugings of two-dimensional Yang-Mills theory by its intrinsic charge conjugation 0-form and centre 1-form global symmetries, elucidating their higher algebraic and geometric structures, as well as the meaning of dual lower form symmetries. Our derivations of orbifold gauge theories make use of a combination of standard continuum path integral methods, networks of topological defects, and techniques from higher gauge theory. We provide a unified description of higher and lower form gauge fields for a $p$-form symmetry in the geometric setting of $p$-gerbes, and derive reverse orbifolds by the dual $(-1)$-form symmetries. We identify those orbifolds in which charge conjugation symmetry is spontaneously broken, and relate the breaking to mixed anomalies involving $(-1)$-form symmetries. We extend these considerations to gaugings by the non-invertible 1-form symmetries of two-dimensional Yang-Mills theory by introducing a notion of generalized $θ$-angle. △ Less

Submitted 25 March, 2024; v1 submitted 5 March, 2024; originally announced March 2024.

Comments: 55 pages, 3 figures, 1 table; v2: minor changes and additions, references added

An algebraic formulation of nonassociative quantum mechanics

Authors: Peter Schupp, Richard J. Szabo

Abstract: We develop a version of quantum mechanics that can handle nonassociative algebras of observables and which reduces to standard quantum theory in the traditional associative setting. Our algebraic approach is naturally probabilistic and is based on using the universal enveloping algebra of a general nonassociative algebra to introduce a generalized notion of associative composition product. We form… ▽ More We develop a version of quantum mechanics that can handle nonassociative algebras of observables and which reduces to standard quantum theory in the traditional associative setting. Our algebraic approach is naturally probabilistic and is based on using the universal enveloping algebra of a general nonassociative algebra to introduce a generalized notion of associative composition product. We formulate properties of states together with notions of trace, and use them to develop GNS constructions. We describe Heisenberg and Schrödinger pictures of completely positive dynamics, and we illustrate our formalism on the explicit examples of finite-dimensional matrix Jordan algebras as well as the octonion algebra. △ Less

Submitted 9 May, 2024; v1 submitted 6 November, 2023; originally announced November 2023.

Comments: 35 pages; v2: minor corrections; v3: minor changes, Conclusions section added; Final version to appear in Journal of Physics A

T-Dualities and Courant Algebroid Relations

Authors: Thomas C. De Fraja, Vincenzo Emilio Marotta, Richard J. Szabo

Abstract: We develop a new approach to T-duality based on Courant algebroid relations which subsumes the usual T-duality as well as its various generalisations. Starting from a relational description for the reduction of exact Courant algebroids over foliated manifolds, we introduce a weakened notion of generalised isometries that captures the generalised geometry counterpart of Riemannian submersions when… ▽ More We develop a new approach to T-duality based on Courant algebroid relations which subsumes the usual T-duality as well as its various generalisations. Starting from a relational description for the reduction of exact Courant algebroids over foliated manifolds, we introduce a weakened notion of generalised isometries that captures the generalised geometry counterpart of Riemannian submersions when applied to transverse generalised metrics. This is used to construct T-dual backgrounds as generalised metrics on reduced Courant algebroids which are related by a generalised isometry. We prove an existence and uniqueness result for generalised isometric exact Courant algebroids coming from reductions. We demonstrate that our construction reproduces standard T-duality relations based on correspondence spaces. We also describe how it applies to generalised T-duality transformations of almost para-Hermitian manifolds. △ Less

Submitted 29 November, 2024; v1 submitted 29 August, 2023; originally announced August 2023.

Comments: 66 pages; v2: clarifications and reference added; v3: definition of geometric T-duality improved, reference added; v4: various improvements, corrections and clarifications, v5: typos fixed; Final version to be published in Communications in Mathematical Physics

Report number: EMPG-23-12

Symplectic Groupoids and Poisson Electrodynamics

Authors: Vladislav G. Kupriyanov, Alexey A. Sharapov, Richard J. Szabo

Abstract: We develop a geometric approach to Poisson electrodynamics, that is, the semi-classical limit of noncommutative $U(1)$ gauge theory. Our framework is based on an integrating symplectic groupoid for the underlying Poisson brackets, which we interpret as the classical phase space of a point particle on noncommutative spacetime. In this picture gauge fields arise as bisections of the symplectic group… ▽ More We develop a geometric approach to Poisson electrodynamics, that is, the semi-classical limit of noncommutative $U(1)$ gauge theory. Our framework is based on an integrating symplectic groupoid for the underlying Poisson brackets, which we interpret as the classical phase space of a point particle on noncommutative spacetime. In this picture gauge fields arise as bisections of the symplectic groupoid while gauge transformations are parameterized by Lagrangian bisections. We provide a geometric construction of a gauge invariant action functional which minimally couples a dynamical charged particle to a background electromagnetic field. Our constructions are elucidated by several explicit examples, demonstrating the appearances of curved and even compact momentum spaces, the interplay between gauge transformations and spacetime diffeomorphisms, as well as emergent gravity phenomena. △ Less

Submitted 17 February, 2024; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: 32 pages, 2 figures, 1 table; v2: further conclusions and references added; Final version to be published in JHEP

Report number: EMPG-23-11

Homotopy double copy of noncommutative gauge theories

Authors: Richard J. Szabo, Guillaume Trojani

Abstract: We discuss the double copy formulation of Moyal-Weyl type noncommutative gauge theories from the homotopy algebraic perspective of factorisations of $L_\infty$-algebras. We define new noncommutative scalar field theories with rigid colour symmetries taking the role of the zeroth copy, where the deformed colour algebra plays the role of a kinematic algebra; some of these theories have a trivial cla… ▽ More We discuss the double copy formulation of Moyal-Weyl type noncommutative gauge theories from the homotopy algebraic perspective of factorisations of $L_\infty$-algebras. We define new noncommutative scalar field theories with rigid colour symmetries taking the role of the zeroth copy, where the deformed colour algebra plays the role of a kinematic algebra; some of these theories have a trivial classical limit but exhibit colour-kinematics duality, from which we construct the double copy theory explicitly. We show that noncommutative gauge theories exhibit a twisted form of colour-kinematics duality, which we use to show that their double copies match with the commutative case. We illustrate this explicitly for Chern-Simons theory, and also for Yang-Mills theory where we obtain a modified Kawai-Lewellen-Tye relation whose momentum kernel is linked to a binoncommutative biadjoint scalar theory. We reinterpret rank one noncommutative gauge theories as double copy theories, and discuss how our findings tie in with recent discussions of Moyal-Weyl deformations of self-dual Yang-Mills theory and gravity. △ Less

Submitted 1 August, 2023; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: 78 pages, 1 figure; v2: new concluding section added; Contribution to the Special Issue of Symmetry on "Quantum Geometry and Symmetries of String Theory"

Report number: EMPG-23-10

BV quantization of braided scalar field theory

Authors: Djordje Bogdanović, Marija Dimitrijević Ćirić, Voja Radovanović, Richard J. Szabo

Abstract: We address the problem of UV/IR mixing in noncommutative quantum field theories from the perspective of braided $L_\infty$-structures and the Batalin-Vilkovisky formalism. We describe the example of braided noncommutative scalar field theory and its quantization using braided homological perturbation theory. The formalism is illustrated through one-loop calculations of the two-point functions for… ▽ More We address the problem of UV/IR mixing in noncommutative quantum field theories from the perspective of braided $L_\infty$-structures and the Batalin-Vilkovisky formalism. We describe the example of braided noncommutative scalar field theory and its quantization using braided homological perturbation theory. The formalism is illustrated through one-loop calculations of the two-point functions for $φ^4$-theory in four dimensions and $φ^3$-theory in six dimensions. In both cases we find that there are no non-planar diagrams and no UV/IR mixing. △ Less

Submitted 27 April, 2023; originally announced April 2023.

Comments: 22 pages, 4 figures; Contribution to the Proceedings of the Workshop on "Noncommutative and generalized geometry in string theory, gauge theory and related physical models", Corfu Summer Institute on Elementary Particle Physics and Gravity, 28 August-1 October 2022, Corfu, Greece. arXiv admin note: text overlap with arXiv:2302.10713

Report number: EMPG-23-07

Godbillon-Vey Invariants of Non-Lorentzian Spacetimes and Aristotelian Hydrodynamics

Authors: Vincenzo Emilio Marotta, Richard J. Szabo

Abstract: We study the geometry of foliated non-Lorentzian spacetimes in terms of the Godbillon-Vey class of the foliation. We relate the intrinsic torsion of a foliated Aristotelian manifold to its Godbillon-Vey class, and interpret it as a measure of the local spin of the spatial leaves in the time direction. With this characterisation, the Godbillon-Vey class is an obstruction to integrability of the… ▽ More We study the geometry of foliated non-Lorentzian spacetimes in terms of the Godbillon-Vey class of the foliation. We relate the intrinsic torsion of a foliated Aristotelian manifold to its Godbillon-Vey class, and interpret it as a measure of the local spin of the spatial leaves in the time direction. With this characterisation, the Godbillon-Vey class is an obstruction to integrability of the $\mathsf{G}$-structure defining the Aristotelian spacetime. We use these notions to formulate a new geometric approach to hydrodynamics of fluid flows by endowing them with Aristotelian structures. We establish conditions under which the Godbillon-Vey class represents an obstruction to steady flow of the fluid and prove new conservation laws. △ Less

Submitted 30 August, 2023; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: 41 pages; v2: minor corrections, exposition improved, references added; Final version to be published in Journal of Physics A

Report number: EMPG-23-03

Constructing Highly Symmetric Compact Manifolds and Algebraic Varieties

Authors: Dávid R. Szabó

Abstract: For every algebraically closed field and natural number $r$, we construct an algebraic variety (over the field) whose birational automorphism group contains every finite nilpotent group of class at most $2$ whose rank is at most $r$ and whose order is coprime to the characteristic of the field. This construction is sharp in characteristic $0$, i.e. up to bounded extension, the set of groups from t… ▽ More For every algebraically closed field and natural number $r$, we construct an algebraic variety (over the field) whose birational automorphism group contains every finite nilpotent group of class at most $2$ whose rank is at most $r$ and whose order is coprime to the characteristic of the field. This construction is sharp in characteristic $0$, i.e. up to bounded extension, the set of groups from the statement cannot be replaced by a larger one. Using similar main steps, for every $r$, we construct several compact manifolds whose diffeomorphism groups contain every finite nilpotent group of class at most $2$ whose rank is at most $r$. This result answers a question of Mundet i Riera affirmatively and is conjecturally sharp up to bounded extension. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: 30 pages

MSC Class: 57S17 (Primary) 57S25; 19L64; 14E07; 14K25; 20D15 (Secondary)

Braided Quantum Electrodynamics

Authors: Marija Dimitrijević Ćirić, Nikola Konjik, Voja Radovanović, Richard J. Szabo

Abstract: The homotopy algebraic formalism of braided noncommutative field theory is used to define the explicit example of braided electrodynamics, that is, $\mathsf{U}(1)$ gauge theory minimally coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and obtain the braided equations of motion, action functional and conserved matter current. The modifications of the ele… ▽ More The homotopy algebraic formalism of braided noncommutative field theory is used to define the explicit example of braided electrodynamics, that is, $\mathsf{U}(1)$ gauge theory minimally coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and obtain the braided equations of motion, action functional and conserved matter current. The modifications of the electric charge conservation law due to the braided noncommutative deformation are described. We develop a braided generalization of Wick's theorem, and use it to compute correlation functions of the braided quantum field theory using homological perturbation theory. Our putative calculations indicate that the braided theory does not contain the non-planar Feynman diagrams of conventional noncommutative quantum field theory, and that correlators do not exhibit UV/IR mixing. △ Less

Submitted 4 July, 2023; v1 submitted 21 February, 2023; originally announced February 2023.

Comments: 48 pages, 6 figures; v2: typos fixed, sign rules corrected, references added; v3: major change of conclusions - the corrected calculation of the vertex in braided QED renders all two-point correlators free from UV/IR mixing

Report number: EMPG-23-02

Instanton Counting and Donaldson-Thomas Theory on Toric Calabi-Yau Four-Orbifolds

Authors: Richard J. Szabo, Michelangelo Tirelli

Abstract: We study rank $r$ cohomological Donaldson-Thomas theory on a toric Calabi-Yau orbifold of $\mathbb{C}^4$ by a finite abelian subgroup $\mathsfΓ$ of $\mathsf{SU}(4)$, from the perspective of instanton counting in cohomological gauge theory on a noncommutative crepant resolution of the quotient singularity. We describe the moduli space of noncommutative instantons on $\mathbb{C}^4/\mathsfΓ$ and its… ▽ More We study rank $r$ cohomological Donaldson-Thomas theory on a toric Calabi-Yau orbifold of $\mathbb{C}^4$ by a finite abelian subgroup $\mathsfΓ$ of $\mathsf{SU}(4)$, from the perspective of instanton counting in cohomological gauge theory on a noncommutative crepant resolution of the quotient singularity. We describe the moduli space of noncommutative instantons on $\mathbb{C}^4/\mathsfΓ$ and its generalized ADHM parametrization. Using toric localization, we compute the orbifold instanton partition function as a combinatorial series over $r$-vectors of $\mathsfΓ$-coloured solid partitions. When the $\mathsfΓ$-action fixes an affine line in $\mathbb{C}^4$, we exhibit the dimensional reduction to rank $r$ Donaldson-Thomas theory on the toric Kahler three-orbifold $\mathbb{C}^3/\mathsfΓ$. Based on this reduction and explicit calculations, we conjecture closed infinite product formulas, in terms of generalized MacMahon functions, for the instanton partition functions on the orbifolds $\mathbb{C}^2/\mathbb{Z}_n\times\mathbb{C}^2$ and $\mathbb{C}^3/(\mathbb{Z}_2\times\mathbb{Z}_2)\times\mathbb{C}$, finding perfect agreement with new mathematical results of Cao, Kool and Monavari. △ Less

Submitted 11 August, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 66 pages; v2: typos fixed, comments added; v3: exposition improved, appendix on generalised ADHM construction added; Final version to appear in Advances in Theoretical and Mathematical Physics

Report number: EMPG-23-01

Finite Class 2 Nilpotent and Heisenberg Groups

Authors: Dávid R. Szabó

Abstract: We present a structural description of finite nilpotent groups of class at most $2$ using a specified number of subdirect and central products of $2$-generated such groups. As a corollary, we show that all of these groups are isomorphic to a subgroup of a Heisenberg group satisfying certain properties. The motivation for these results is of topological nature as they can be used to give lower boun… ▽ More We present a structural description of finite nilpotent groups of class at most $2$ using a specified number of subdirect and central products of $2$-generated such groups. As a corollary, we show that all of these groups are isomorphic to a subgroup of a Heisenberg group satisfying certain properties. The motivation for these results is of topological nature as they can be used to give lower bounds to the nilpotently Jordan property of the birational automorphism group of varieties and the homeomorphism group of compact manifolds. △ Less

Submitted 6 April, 2025; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: 22 pages. Added many examples and various minor improvements. SMUR version submitted to Journal of Group Theory

MSC Class: 20D15 (Primary); 57S17 (Secondary)

Noncommutative Instantons in Diverse Dimensions

Authors: Richard J. Szabo, Michelangelo Tirelli

Abstract: This is a mini-review about generalized instantons of noncommutative gauge theories in dimensions 4, 6 and 8, with emphasis on their realizations in type II string theory, their geometric interpretations, and their applications to the enumerative geometry of non-compact toric varieties. This is a mini-review about generalized instantons of noncommutative gauge theories in dimensions 4, 6 and 8, with emphasis on their realizations in type II string theory, their geometric interpretations, and their applications to the enumerative geometry of non-compact toric varieties. △ Less

Submitted 4 May, 2023; v1 submitted 26 July, 2022; originally announced July 2022.

Comments: 27 pages, 4 figures; v2: typos fixed, minor improvements; v3: references updated; Contribution to the special issue of the European Physical Journal on "Noncommutativity and Physics"

Report number: EMPG-22-15

$L_\infty$-algebra of braided electrodynamics

Authors: Marija Dimitrijević Ćirić, Nikola Konjik, Voja Radovanović, Richard J. Szabo, Miša Toman

Abstract: Using the recently developed formalism of braided noncommutative field theory, we construct an explicit example of braided electrodynamics, that is, a noncommutative $U(1)$ gauge theory coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and apply the formalism to obtain the braided equations of motion, action functional and conserved matter current. The br… ▽ More Using the recently developed formalism of braided noncommutative field theory, we construct an explicit example of braided electrodynamics, that is, a noncommutative $U(1)$ gauge theory coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and apply the formalism to obtain the braided equations of motion, action functional and conserved matter current. The braided deformation leads to a modification of the charge conservation. Finally, the Feynman integral appearing in the one-loop contribution to the vacuum polarization diagram is calculated. There are no non-planar diagrams, but the UV/IR mixing appears nevertheless. We comment on this unexpected result. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Comments: 16 pages; Contribution to the Proceedings of the Workshop on "New Developments in Quantum Gravity and String Theory", Corfu Summer Institute on Elementary Particle Physics and Gravity, 29 August-9 October 2021, Corfu, Greece

Report number: EMPG-22-07

Subcritical bootstrap percolation via Toom contours

Authors: Ivailo Hartarsky, Réka Szabó

Abstract: In this note we provide an alternative proof of the fact that subcritical bootstrap percolation models have a positive critical probability in any dimension. The proof relies on a recent extension of the classical framework of Toom. This approach is not only simpler than the original multi-scale renormalisation proof of the result in two and more dimensions, but also gives significantly better bou… ▽ More In this note we provide an alternative proof of the fact that subcritical bootstrap percolation models have a positive critical probability in any dimension. The proof relies on a recent extension of the classical framework of Toom. This approach is not only simpler than the original multi-scale renormalisation proof of the result in two and more dimensions, but also gives significantly better bounds. As a byproduct, we improve the best known bounds for the stability threshold of Toom's North-East-Center majority rule cellular automaton. △ Less

Submitted 7 October, 2022; v1 submitted 30 March, 2022; originally announced March 2022.

Comments: 16 pages, 3 figures

MSC Class: 60K35 (primary); 60C05; 82C20 (secondary)

Journal ref: Electron. Commun. Probab. 27 (2022)

The $L_{\infty}$-structure of noncommutative gravity

Authors: Richard J. Szabo

Abstract: We summarise recent perspectives on symmetries of noncommutative field theories based on homotopy algebras. We show how these viewpoints naturally lead to a new class of noncommutative field theories which possess braided gauge symmetries, and explain in detail their uses in gravity. We review how these considerations lead to a new theory of noncommutative gravity in four dimensions within the Ein… ▽ More We summarise recent perspectives on symmetries of noncommutative field theories based on homotopy algebras. We show how these viewpoints naturally lead to a new class of noncommutative field theories which possess braided gauge symmetries, and explain in detail their uses in gravity. We review how these considerations lead to a new theory of noncommutative gravity in four dimensions within the Einstein-Cartan-Palatini formalism. △ Less

Submitted 31 March, 2022; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: 22 pages; v2: typos corrected; Contribution to the Proceedings of the Humboldt Kolleg on "Quantum Gravity and Fundamental Interactions", Corfu Summer Institute on Elementary Particle Physics and Gravity, 29 August-9 October 2021, Corfu, Greece

Report number: EMPG-22-06

Peierls bounds from Toom contours

Authors: Jan M. Swart, Réka Szabó, Cristina Toninelli

Abstract: For deterministic monotone cellular automata on the $d$-dimensional integer lattice, Toom has given necessary and sufficient conditions for the all-one fixed point to be stable against small random perturbations. The proof of sufficiency is based on an intricate Peierls argument. We present a simplified version of this Peierls argument. Our main motivation is the open problem of determining stabil… ▽ More For deterministic monotone cellular automata on the $d$-dimensional integer lattice, Toom has given necessary and sufficient conditions for the all-one fixed point to be stable against small random perturbations. The proof of sufficiency is based on an intricate Peierls argument. We present a simplified version of this Peierls argument. Our main motivation is the open problem of determining stability of monotone cellular automata with intrinsic randomness, in which for the unperturbed evolution the local update rules at different space-time points are chosen in an i.i.d. fashion according to some fixed law. We apply Toom's Peierls argument to prove stability of a class of cellular automata with intrinsic randomness and also derive lower bounds on the critical parameter for some deterministic cellular automata. △ Less

Submitted 16 January, 2025; v1 submitted 22 February, 2022; originally announced February 2022.

Comments: 44 pages, 5 figures. Replacement: We revised the presentation of our simplified version of Toom's Peierls argument, extending it to cellular automata defined on any countable set rather than the d-dimensional lattice. We also introduce a new result-a first stability theorem for cellular automata with intrinsic randomness (Theorem 9)-which was not included in the previous version

MSC Class: Primary: 60K35; Secondary: 37B15; 82C26

D-Branes in Para-Hermitian Geometries

Authors: Vincenzo Emilio Marotta, Richard J. Szabo

Abstract: We introduce T-duality invariant versions of D-branes in doubled geometry using a global covariant framework based on para-Hermitian geometry and metric algebroids. We define D-branes as conformal boundary conditions for the open string version of the Born sigma-model, where they are given by maximally isotropic vector bundles which do not generally admit the standard geometric picture in terms of… ▽ More We introduce T-duality invariant versions of D-branes in doubled geometry using a global covariant framework based on para-Hermitian geometry and metric algebroids. We define D-branes as conformal boundary conditions for the open string version of the Born sigma-model, where they are given by maximally isotropic vector bundles which do not generally admit the standard geometric picture in terms of submanifolds. When reduced to the conventional sigma-model description of a physical string background as the leaf space of a foliated para-Hermitian manifold, integrable branes yield D-branes as leaves of foliations which are interpreted as Dirac structures on the physical spacetime. We define a notion of generalised para-complex D-brane, which realises our D-branes as para-complex versions of topological A/B-branes. We illustrate how our formalism recovers standard D-branes in the explicit example of reductions from doubled nilmanifolds. △ Less

Submitted 21 March, 2022; v1 submitted 11 February, 2022; originally announced February 2022.

Comments: 37 pages; v2: minor corrections, references added; v3: minor changes; Final version to appear in the Special Issue of Universe on "Dualities and Geometry"

Report number: EMPG-22-01

Braided Symmetries in Noncommutative Field Theory

Authors: Grigorios Giotopoulos, Richard J. Szabo

Abstract: We give a pedagogical introduction to $L_\infty$-algebras and their uses in organising the symmetries and dynamics of classical field theories, as well as of the conventional noncommutative gauge theories that arise as low-energy effective field theories in string theory. We review recent developments which formulate field theories with braided gauge symmetries as a new means of overcoming several… ▽ More We give a pedagogical introduction to $L_\infty$-algebras and their uses in organising the symmetries and dynamics of classical field theories, as well as of the conventional noncommutative gauge theories that arise as low-energy effective field theories in string theory. We review recent developments which formulate field theories with braided gauge symmetries as a new means of overcoming several obstacles in the standard noncommutative theories, such as the restrictions on gauge algebras and matter fields. These theories can be constructed by using techniques from Drinfel'd twist deformation theory, which we review in some detail, and their symmetries and dynamics are controlled by a new homotopy algebraic structure called a 'braided $L_\infty$-algebra'. We expand and elaborate on several novel theoretical issues surrounding these constructions, and present three new explicit examples: the standard noncommutative scalar field theory (regarded as a braided field theory), a braided version of $BF$ theory in arbitrary dimensions (regarded as a higher gauge theory), and a new braided version of noncommutative Yang-Mills theory for arbitrary gauge algebras. △ Less

Submitted 15 March, 2022; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: 79 pages; v2: references added; v3: reference added; Final version to appear in the Special Issue of Journal of Physics A on "Noncommutative Geometry in Physics"

Report number: EMPG-21-14

A geometric recipe for twisted superpotentials

Authors: Lotte Hollands, Philipp Rüter, Richard J. Szabo

Abstract: We give a pedagogical introduction to spectral networks and abelianization, as well as their relevance to $\mathcal{N}=2$ supersymmetric field theories in four dimensions. Motivated by a conjecture of Nekrasov-Rosly-Shatashvili, we detail a geometric recipe for computing the effective twisted superpotential for $\mathcal{N}=2$ field theories of class $\mathcal{S}$ as a generating function of the b… ▽ More We give a pedagogical introduction to spectral networks and abelianization, as well as their relevance to $\mathcal{N}=2$ supersymmetric field theories in four dimensions. Motivated by a conjecture of Nekrasov-Rosly-Shatashvili, we detail a geometric recipe for computing the effective twisted superpotential for $\mathcal{N}=2$ field theories of class $\mathcal{S}$ as a generating function of the brane of opers, with respect to the spectral coordinates found from abelianization. We present two new examples, the simplest Argyres-Douglas theory and the pure $SU(2)$ gauge theory, while we conjecture the $ε$-expansion of the effective twisted superpotential for the $E_6$ Minahan-Nemeschansky theory. △ Less

Submitted 25 October, 2021; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: 102 pages, 42 figures; v2: references added

Report number: EMPG-20-02

Novel wall-crossing behaviour in rank one $\mathcal{N}=2^*$ gauge theory

Authors: Philipp Rüter, Richard J. Szabo

Abstract: We study the BPS spectrum of four-dimensional $\mathcal{N}=2$ supersymmetric Yang-Mills theory with gauge group $SU(2)$ and a massive adjoint hypermultiplet, which has an extremely intricate structure with infinite spectrum in all chambers of its Coulomb moduli space, and is not well understood. We build on previous results by employing the BPS quiver description of the spectrum, and explore the q… ▽ More We study the BPS spectrum of four-dimensional $\mathcal{N}=2$ supersymmetric Yang-Mills theory with gauge group $SU(2)$ and a massive adjoint hypermultiplet, which has an extremely intricate structure with infinite spectrum in all chambers of its Coulomb moduli space, and is not well understood. We build on previous results by employing the BPS quiver description of the spectrum, and explore the qualitative features in detail using numerical techniques. We find novel and unexpected behaviour in the form of wall-crossings involving interactions between BPS particles with negative electric-magnetic pairings, which we interpret in terms of the reverse orderings of the usual wall-crossing formulas for rank one $\mathcal{N}=2$ field theories. This identifies new a priori unrelated states in the spectrum. △ Less

Submitted 29 July, 2021; originally announced July 2021.

Comments: 52 pages, 19 figures, 2 tables

Report number: EMPG-21-11

Batalin-Vilkovisky quantization of fuzzy field theories

Authors: Hans Nguyen, Alexander Schenkel, Richard J. Szabo

Abstract: We apply the modern Batalin-Vilkovisky quantization techniques of Costello and Gwilliam to noncommutative field theories in the finite-dimensional case of fuzzy spaces. We further develop a generalization of this framework to theories that are equivariant under a triangular Hopf algebra symmetry, which in particular leads to quantizations of finite-dimensional analogs of the field theories propose… ▽ More We apply the modern Batalin-Vilkovisky quantization techniques of Costello and Gwilliam to noncommutative field theories in the finite-dimensional case of fuzzy spaces. We further develop a generalization of this framework to theories that are equivariant under a triangular Hopf algebra symmetry, which in particular leads to quantizations of finite-dimensional analogs of the field theories proposed recently through the notion of `braided $L_\infty$-algebras'. The techniques are illustrated by computing perturbative correlation functions for scalar and Chern-Simons theories on the fuzzy $2$-sphere, as well as for braided scalar field theories on the fuzzy $2$-torus. △ Less

Submitted 18 November, 2021; v1 submitted 6 July, 2021; originally announced July 2021.

Comments: v4: Final version accepted for publication in Letters in Mathematical Physics

Report number: EMPG-21-09

Journal ref: Lett. Math. Phys. 111, 149 (2021)

Algebroids, AKSZ Constructions and Doubled Geometry

Authors: Vincenzo Emilio Marotta, Richard J. Szabo

Abstract: We give a self-contained survey of some approaches aimed at a global description of the geometry underlying double field theory. After reviewing the geometry of Courant algebroids and their incarnations in the AKSZ construction, we develop the theory of metric algebroids including their graded geometry. We use metric algebroids to give a global description of doubled geometry, incorporating the se… ▽ More We give a self-contained survey of some approaches aimed at a global description of the geometry underlying double field theory. After reviewing the geometry of Courant algebroids and their incarnations in the AKSZ construction, we develop the theory of metric algebroids including their graded geometry. We use metric algebroids to give a global description of doubled geometry, incorporating the section constraint, as well as an AKSZ-type construction of topological doubled sigma-models. When these notions are combined with ingredients of para-Hermitian geometry, we demonstrate how they reproduce kinematical features of double field theory from a global perspective, including solutions of the section constraint for Riemannian foliated doubled manifolds, as well as a natural notion of generalized T-duality for polarized doubled manifolds. We describe the $L_\infty$-algebras of symmetries of a doubled geometry, and briefly discuss other proposals for global doubled geometry in the literature. △ Less

Submitted 10 November, 2021; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: 56 pages; v2: minor corrections and additions; v3: minor corrections, presentation improved, reference added; Final version to appear in the Special Issue of Complex Manifolds on "Generalized Geometry"

Report number: EMPG-21-05

Journal ref: Complex Manifolds 8 (2021) no.1, 354-402

Generalised oriented site percolation

Authors: Ivailo Hartarsky, Réka Szabó

Abstract: We consider a generalised oriented site percolation model (GOSP) on $\mathbb Z^d$ with arbitrary neighbourhood. The key additional difficulties as compared to standard oriented percolation (OP) are the lack of symmetry and, in two dimensions, of planarity. We establish that, despite these deficiencies, in the supercritical regime GOSP behaves qualitatively like OP. We consider a generalised oriented site percolation model (GOSP) on $\mathbb Z^d$ with arbitrary neighbourhood. The key additional difficulties as compared to standard oriented percolation (OP) are the lack of symmetry and, in two dimensions, of planarity. We establish that, despite these deficiencies, in the supercritical regime GOSP behaves qualitatively like OP. △ Less

Submitted 3 December, 2021; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: 33 pages, 6 figures, improved presentation in section A.1

MSC Class: 60K35; 82B43

Journal ref: Markov Process. Related Fields 28 (2022), no. 2

Braided $L_{\infty}$-Algebras, Braided Field Theory and Noncommutative Gravity

Authors: Marija Dimitrijević Ćirić, Grigorios Giotopoulos, Voja Radovanović, Richard J. Szabo

Abstract: We define a new homotopy algebraic structure, that we call a braided $L_\infty$-algebra, and use it to systematically construct a new class of noncommutative field theories, that we call braided field theories. Braided field theories have gauge symmetries which realize a braided Lie algebra, whose Noether identities are inhomogeneous extensions of the classical identities, and which do not act on… ▽ More We define a new homotopy algebraic structure, that we call a braided $L_\infty$-algebra, and use it to systematically construct a new class of noncommutative field theories, that we call braided field theories. Braided field theories have gauge symmetries which realize a braided Lie algebra, whose Noether identities are inhomogeneous extensions of the classical identities, and which do not act on the solutions of the field equations. We use Drinfel'd twist deformation quantization techniques to generate new noncommutative deformations of classical field theories with braided gauge symmetries, which we compare to the more conventional theories with star-gauge symmetries. We apply our formalism to introduce a braided version of general relativity without matter fields in the Einstein-Cartan-Palatini formalism. In the limit of vanishing deformation parameter, the braided theory of noncommutative gravity reduces to classical gravity without any extensions. △ Less

Submitted 15 November, 2021; v1 submitted 16 March, 2021; originally announced March 2021.

Comments: 68 pages; v2: presentation improved, references added; Final version to be published in Letters in Mathematical Physics

Report number: EMPG-21-04

Multi-range percolation on oriented trees: critical curve and limit behavior

Authors: Bernardo N. B. de Lima, Réka Szabó, Daniel Valesin

Abstract: We consider an inhomogeneous oriented percolation model introduced by de Lima, Rolla and Valesin. In this model, the underlying graph is an oriented rooted tree in which each vertex points to each of its $d$ children with `short' edges, and in addition, each vertex points to each of its $d^k$ descendant at a fixed distance $k$ with `long' edges. A bond percolation process is then considered on thi… ▽ More We consider an inhomogeneous oriented percolation model introduced by de Lima, Rolla and Valesin. In this model, the underlying graph is an oriented rooted tree in which each vertex points to each of its $d$ children with `short' edges, and in addition, each vertex points to each of its $d^k$ descendant at a fixed distance $k$ with `long' edges. A bond percolation process is then considered on this graph, with the prescription that independently, short edges are open with probability $p$ and long edges are open with probability $q$. We study the behavior of the critical curve $q_c(p)$: we find the first two terms in the expansion of $q_c(p)$ as $k \to \infty$, and prove that the critical curve lies strictly above the critical curve of a related branching process, in the relevant parameter region. We also prove limit theorems for the percolation cluster in the supercritical, subcritical and critical regimes. △ Less

Submitted 9 March, 2021; originally announced March 2021.

MSC Class: 60K35; 82B43

Symplectic embeddings, homotopy algebras and almost Poisson gauge symmetry

Authors: Vladislav G. Kupriyanov, Richard J. Szabo

Abstract: We formulate general definitions of semi-classical gauge transformations for noncommutative gauge theories in general backgrounds of string theory, and give novel explicit constructions using techniques based on symplectic embeddings of almost Poisson structures. In the absence of fluxes the gauge symmetries close a Poisson gauge algebra and their action is governed by a $P_\infty$-algebra which w… ▽ More We formulate general definitions of semi-classical gauge transformations for noncommutative gauge theories in general backgrounds of string theory, and give novel explicit constructions using techniques based on symplectic embeddings of almost Poisson structures. In the absence of fluxes the gauge symmetries close a Poisson gauge algebra and their action is governed by a $P_\infty$-algebra which we construct explicitly from the symplectic embedding. In curved backgrounds they close a field dependent gauge algebra governed by an $L_\infty$-algebra which is not a $P_\infty$-algebra. Our technique produces new all orders constructions which are significantly simpler compared to previous approaches, and we illustrate its applicability in several examples of interest in noncommutative field theory and gravity. We further show that our symplectic embeddings naturally define a $P_\infty$-structure on the exterior algebra of differential forms on a generic almost Poisson manifold, which generalizes earlier constructions of differential graded Poisson algebras, and suggests a new approach to defining noncommutative gauge theories beyond the gauge sector and the semi-classical limit based on $A_\infty$-algebras. △ Less

Submitted 4 January, 2022; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: 60 pages; v2: introduction expanded, typos corrected; v3: minor changes, references added; Final version published in Journal of Physics A

Report number: EMPG-21-01

Journal ref: J. Phys. A: Math. Theor. 55 (2022) 035201

$T\overline{T}$-deformation of $q$-Yang-Mills theory

Authors: Leonardo Santilli, Richard J. Szabo, Miguel Tierz

Abstract: We derive the $T\overline{T}$-perturbed version of two-dimensional $q$-deformed Yang-Mills theory on an arbitrary Riemann surface by coupling the unperturbed theory in the first order formalism to Jackiw-Teitelboim gravity. We show that the $T\overline{T}$-deformation results in a breakdown of the connection with a Chern-Simons theory on a Seifert manifold, and of the large $N$ factorization into… ▽ More We derive the $T\overline{T}$-perturbed version of two-dimensional $q$-deformed Yang-Mills theory on an arbitrary Riemann surface by coupling the unperturbed theory in the first order formalism to Jackiw-Teitelboim gravity. We show that the $T\overline{T}$-deformation results in a breakdown of the connection with a Chern-Simons theory on a Seifert manifold, and of the large $N$ factorization into chiral and anti-chiral sectors. For the $U(N)$ gauge theory on the sphere, we show that the large $N$ phase transition persists, and that it is of third order and induced by instantons. The effect of the $T\overline{T}$-deformation is to decrease the critical value of the 't Hooft coupling, and also to extend the class of line bundles for which the phase transition occurs. The same results are shown to hold for $(q,t)$-deformed Yang-Mills theory. We also explicitly evaluate the entanglement entropy in the large $N$ limit of Yang-Mills theory, showing that the $T\overline{T}$-deformation decreases the contribution of the Boltzmann entropy. △ Less

Submitted 16 November, 2020; v1 submitted 1 September, 2020; originally announced September 2020.

Comments: 43 pages, 12 figures; v2: typos corrected, references added; v3: minor corrections; Final version published in JHEP

Report number: EMPG-20-15

Journal ref: J. High Energ. Phys. 2020, 86 (2020)

Topological T-Duality for Twisted Tori

Authors: Paolo Aschieri, Richard J. Szabo

Abstract: We apply the $C^*$-algebraic formalism of topological T-duality due to Mathai and Rosenberg to a broad class of topological spaces that include the torus bundles appearing in string theory compactifications with duality twists, such as nilmanifolds, as well as many other examples. We develop a simple procedure in this setting for constructing the T-duals starting from a commutative $C^*$-algebra w… ▽ More We apply the $C^*$-algebraic formalism of topological T-duality due to Mathai and Rosenberg to a broad class of topological spaces that include the torus bundles appearing in string theory compactifications with duality twists, such as nilmanifolds, as well as many other examples. We develop a simple procedure in this setting for constructing the T-duals starting from a commutative $C^*$-algebra with an action of ${\mathbb R}^n$. We treat the general class of almost abelian solvmanifolds in arbitrary dimension in detail, where we provide necessary and sufficient criteria for the existence of classical T-duals in terms of purely group theoretic data, and compute them explicitly as continuous-trace algebras with non-trivial Dixmier-Douady classes. We prove that any such solvmanifold has a topological T-dual given by a $C^*$-algebra bundle of noncommutative tori, which we also compute explicitly. The monodromy of the original torus bundle becomes a Morita equivalence among the fiber algebras, so that these $C^*$-algebras rigorously describe the T-folds from non-geometric string theory. △ Less

Submitted 5 February, 2021; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: Contribution to the SIGMA Special Issue on Noncommutative Manifolds and their Symmetries in honour of Giovanni Landi for his 60th birthday

Report number: EMPG-20-11

Journal ref: SIGMA 17 (2021), 012, 51 pages

Homotopy Lie Algebras of Gravity and their Braided Deformations

Authors: Marija Dimitrijević Ćirić, Grigorios Giotopoulos, Voja Radovanović, Richard J. Szabo

Abstract: We describe the cyclic $L_{\infty}$-algebra formulation of classical general relativity without matter fields in the Einstein-Cartan-Palatini formalism. Using Drinfel'd twist deformation techniques, we define a noncommutative version of the theory with braided gauge symmetries. We introduce a notion of braided $L_{\infty}$-algebra, and use it to encode the symmetries, field content, field equation… ▽ More We describe the cyclic $L_{\infty}$-algebra formulation of classical general relativity without matter fields in the Einstein-Cartan-Palatini formalism. Using Drinfel'd twist deformation techniques, we define a noncommutative version of the theory with braided gauge symmetries. We introduce a notion of braided $L_{\infty}$-algebra, and use it to encode the symmetries, field content, field equations and Noether identities of noncommutative gravity. △ Less

Submitted 1 May, 2020; originally announced May 2020.

Comments: 17 pages; Contribution to the Proceedings of the Workshop "Quantum Geometry, Field Theory and Gravity", Corfu Summer Institute on Elementary Particle Physics and Gravity, 31 August-25 September 2019, Corfu, Greece

Report number: EMPG-20-10

Smooth 2-Group Extensions and Symmetries of Bundle Gerbes

Authors: Severin Bunk, Lukas Müller, Richard J. Szabo

Abstract: We study bundle gerbes on manifolds $M$ that carry an action of a connected Lie group $G$. We show that these data give rise to a smooth 2-group extension of $G$ by the smooth 2-group of hermitean line bundles on $M$. This 2-group extension classifies equivariant structures on the bundle gerbe, and its non-triviality poses an obstruction to the existence of equivariant structures. We present a new… ▽ More We study bundle gerbes on manifolds $M$ that carry an action of a connected Lie group $G$. We show that these data give rise to a smooth 2-group extension of $G$ by the smooth 2-group of hermitean line bundles on $M$. This 2-group extension classifies equivariant structures on the bundle gerbe, and its non-triviality poses an obstruction to the existence of equivariant structures. We present a new global approach to the parallel transport of a bundle gerbe with connection, and use it to give an alternative construction of this smooth 2-group extension in terms of a homotopy-coherent version of the associated bundle construction. We apply our results to give new descriptions of nonassociative magnetic translations in quantum mechanics and the Faddeev-Mickelsson-Shatashvili anomaly in quantum field theory. We also propose a definition of smooth string 2-group models within our geometric framework. Starting from a basic gerbe on a compact simply-connected Lie group $G$, we prove that the smooth 2-group extensions of $G$ arising from our construction provide new models for the string group of $G$. △ Less

Submitted 16 April, 2021; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 79 pages, 2 figures; v2: minor corrections, comments and references added; Final version to be published in Communications in Mathematical Physics

Report number: Hamburger Beitrage zur Mathematik Nr. 834, ZMP-HH/20-10, EMPG-20-08

Five-dimensional cohomological localization and squashed $q$-deformations of two-dimensional Yang-Mills theory

Authors: Leonardo Santilli, Richard J. Szabo, Miguel Tierz

Abstract: We revisit the duality between five-dimensional supersymmetric gauge theories and deformations of two-dimensional Yang-Mills theory from a new perspective. We give a unified treatment of supersymmetric gauge theories in three and five dimensions using cohomological localization techniques and the Atiyah-Singer index theorem. We survey various known results in a unified framework and provide simpli… ▽ More We revisit the duality between five-dimensional supersymmetric gauge theories and deformations of two-dimensional Yang-Mills theory from a new perspective. We give a unified treatment of supersymmetric gauge theories in three and five dimensions using cohomological localization techniques and the Atiyah-Singer index theorem. We survey various known results in a unified framework and provide simplified derivations of localization formulas, as well as various extensions including the case of irregular Seifert fibrations. We describe the reductions to four-dimensional gauge theories, and give an extensive description of the dual two-dimensional Yang-Mills theory when the three-dimensional part of the geometry is a squashed three-sphere, including its extension to non-zero area, and a detailed analysis of the resulting matrix model. The squashing parameter $b$ yields a further deformation of the usual $q$-deformation of two-dimensional Yang-Mills theory, which for rational values $b^2=p/s$ yields a new correspondence with Chern-Simons theory on lens spaces $L(p,s)$. △ Less

Submitted 2 June, 2020; v1 submitted 20 March, 2020; originally announced March 2020.

Comments: 57 pages; v2: minor corrections and changes; Final version to be published in JHEP

Report number: EMPG-20-07

Journal ref: J. High Energ. Phys. 2020, 36 (2020)

$L_{\infty}$-Algebras of Einstein-Cartan-Palatini Gravity

Authors: Marija Dimitrijević Ćirić, Grigorios Giotopoulos, Voja Radovanović, Richard J. Szabo

Abstract: We give a detailed account of the cyclic $L_\infty$-algebra formulation of general relativity with cosmological constant in the Einstein-Cartan-Palatini formalism on spacetimes of arbitrary dimension and signature, which encompasses all symmetries, field equations and Noether identities of gravity without matter fields. We present a local formulation as well as a global covariant framework, and an… ▽ More We give a detailed account of the cyclic $L_\infty$-algebra formulation of general relativity with cosmological constant in the Einstein-Cartan-Palatini formalism on spacetimes of arbitrary dimension and signature, which encompasses all symmetries, field equations and Noether identities of gravity without matter fields. We present a local formulation as well as a global covariant framework, and an explicit isomorphism between the two $L_\infty$-algebras in the case of parallelizable spacetimes. By duality, we show that our $L_\infty$-algebras describe the complete BV-BRST formulation of Einstein-Cartan-Palatini gravity. We give a general description of how to extend on-shell redundant symmetries in topological gauge theories to off-shell correspondences between symmetries in terms of quasi-isomorphisms of $L_\infty$-algebras. We use this to extend the on-shell equivalence between gravity and Chern-Simons theory in three dimensions to an explicit $L_\infty$-quasi-isomorphism between differential graded Lie algebras which applies off-shell and for degenerate dynamical metrics. In contrast, we show that there is no morphism between the $L_\infty$-algebra underlying gravity and the differential graded Lie algebra governing $BF$ theory in four dimensions. △ Less

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

Comments: 84 pages; v2: minor corrections and changes; v3: exposition improved and references added; Final version to be published in Journal of Mathematical Physics

Report number: EMPG-20-03

Born Sigma-Models for Para-Hermitian Manifolds and Generalized T-Duality

Authors: Vincenzo Emilio Marotta, Richard J. Szabo

Abstract: We give a covariant realization of the doubled sigma-model formulation of duality-symmetric string theory within the general framework of para-Hermitian geometry. We define a notion of generalized metric on a para-Hermitian manifold and discuss its relation to Born geometry. We show that a Born geometry uniquely defines a worldsheet sigma-model with a para-Hermitian target space, and we describe i… ▽ More We give a covariant realization of the doubled sigma-model formulation of duality-symmetric string theory within the general framework of para-Hermitian geometry. We define a notion of generalized metric on a para-Hermitian manifold and discuss its relation to Born geometry. We show that a Born geometry uniquely defines a worldsheet sigma-model with a para-Hermitian target space, and we describe its Lie algebroid gauging as a means of recovering the conventional sigma-model description of a physical string background as the leaf space of a foliated para-Hermitian manifold. Applying the Kotov-Strobl gauging leads to a generalized notion of T-duality when combined with transformations that act on Born geometries. We obtain a geometric interpretation of the self-duality constraint that halves the degrees of freedom in doubled sigma-models, and we give geometric characterizations of non-geometric string backgrounds in this setting. We illustrate our formalism with detailed worldsheet descriptions of closed string phase spaces, of doubled groups where our notion of generalized T-duality includes non-abelian T-duality, and of doubled nilmanifolds. △ Less

Submitted 27 April, 2021; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: 81 pages; v2: minor changes, references added; v3: minor corrections, references updated; Final version to be published in Reviews in Mathematical Physics

Report number: EMPG-19-21

Symmetry defects and orbifolds of two-dimensional Yang-Mills theory

Authors: Lukas Müller, Richard J. Szabo, Lóránt Szegedy

Abstract: We describe discrete symmetries of two-dimensional Yang-Mills theory with gauge group $G$ associated to outer automorphisms of $G$, and their corresponding defects. We show that the gauge theory partition function with defects can be computed as a path integral over the space of twisted $G$-bundles, and calculate it exactly. We argue that its weak-coupling limit computes the symplectic volume of t… ▽ More We describe discrete symmetries of two-dimensional Yang-Mills theory with gauge group $G$ associated to outer automorphisms of $G$, and their corresponding defects. We show that the gauge theory partition function with defects can be computed as a path integral over the space of twisted $G$-bundles, and calculate it exactly. We argue that its weak-coupling limit computes the symplectic volume of the moduli space of flat twisted $G$-bundles on a surface. Using the defect network approach to generalised orbifolds, we gauge the discrete symmetry and construct the corresponding orbifold theory, which is again two-dimensional Yang-Mills theory but with gauge group given by an extension of $G$ by outer automorphisms. With the help of the orbifold completion of the topological defect bicategory of two-dimensional Yang-Mills theory, we describe the reverse orbifold using a Wilson line defect for the discrete gauge symmetry. We present our results using two complementary approaches: in the lattice regularisation of the path integral, and in the functorial approach to area-dependent quantum field theories with defects via regularised Frobenius algebras. △ Less

Submitted 7 October, 2021; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: 51 pages, 1 table, lots of figures; v2: references added; Final version to be published in Letters in Mathematical Physics

Report number: EMPG-19-17 , Hamburger Beitrage zur Mathematik Nr. 795 , ZMP-HH/19-11

Sign choices for orientifolds

Authors: Pedram Hekmati, Michael K. Murray, Richard J. Szabo, Raymond F. Vozzo

Abstract: We analyse the problem of assigning sign choices to O-planes in orientifolds of type II string theory. We show that there exists a sequence of invariant $p$-gerbes with $p\geq-1$, which give rise to sign choices and are related by coboundary maps. We prove that the sign choice homomorphisms stabilise with the dimension of the orientifold and we derive topological constraints on the possible sign c… ▽ More We analyse the problem of assigning sign choices to O-planes in orientifolds of type II string theory. We show that there exists a sequence of invariant $p$-gerbes with $p\geq-1$, which give rise to sign choices and are related by coboundary maps. We prove that the sign choice homomorphisms stabilise with the dimension of the orientifold and we derive topological constraints on the possible sign configurations. Concrete calculations for spherical and toroidal orientifolds are carried out, and in particular we exhibit a four-dimensional orientifold where not every sign choice is geometrically attainable. We elucidate how the $K$-theory groups associated with invariant $p$-gerbes for $p=-1,0,1$ interact with the coboundary maps. This allows us to interpret a notion of $K$-theory due to Gao and Hori as a special case of twisted $KR$-theory, which consequently implies the homotopy invariance and Fredholm module description of their construction. △ Less

Submitted 11 August, 2020; v1 submitted 15 May, 2019; originally announced May 2019.

Comments: 29 pages; v2: minor corrections and comments added; Final version to appear in Communications in Mathematical Physics

Report number: EMPG-19-13

An Introduction to Nonassociative Physics

Authors: Richard J. Szabo

Abstract: We give a pedagogical introduction to the nonassociative structures arising from recent developments in quantum mechanics with magnetic monopoles, in string theory and M-theory with non-geometric fluxes, and in M-theory with non-geometric Kaluza-Klein monopoles. After a brief overview of the main historical appearences of nonassociativity in quantum mechanics, string theory and M-theory, we provid… ▽ More We give a pedagogical introduction to the nonassociative structures arising from recent developments in quantum mechanics with magnetic monopoles, in string theory and M-theory with non-geometric fluxes, and in M-theory with non-geometric Kaluza-Klein monopoles. After a brief overview of the main historical appearences of nonassociativity in quantum mechanics, string theory and M-theory, we provide a detailed account of the classical and quantum dynamics of electric charges in the backgrounds of various distributions of magnetic charge. We apply Born reciprocity to map this system to the phase space of closed strings propagating in R-flux backgrounds of string theory, and then describe the lift to the phase space of M2-branes in R-flux backgrounds of M-theory. Applying Born reciprocity maps this M-theory configuration to the phase space of M-waves probing a non-geometric Kaluza-Klein monopole background. These four perspective systems are unified by a covariant 3-algebra structure on the M-theory phase space. △ Less

Submitted 31 March, 2019; v1 submitted 13 March, 2019; originally announced March 2019.

Comments: 41 pages, 4 figures; v2: minor corrections; Based on Lectures at the Workshop "Dualities and Generalized Geometries", Corfu Summer Institute on Elementary Particle Physics and Gravity, 31 August-28 September 2018, Corfu, Greece; Final version to be published in Proceedings of Science

Report number: EMPG-19-10

Noncommutative gauge theories on D-branes in non-geometric backgrounds

Authors: Chris Hull, Richard J. Szabo

Abstract: We investigate the noncommutative gauge theories arising on the worldvolumes of D-branes in non-geometric backgrounds obtained by T-duality from twisted tori. We revisit the low-energy effective description of D-branes on three-dimensional T-folds, examining both cases of parabolic and elliptic twists in detail. We give a detailed description of the decoupling limits and explore various physical c… ▽ More We investigate the noncommutative gauge theories arising on the worldvolumes of D-branes in non-geometric backgrounds obtained by T-duality from twisted tori. We revisit the low-energy effective description of D-branes on three-dimensional T-folds, examining both cases of parabolic and elliptic twists in detail. We give a detailed description of the decoupling limits and explore various physical consequences of the open string non-geometry. The T-duality monodromies of the non-geometric backgrounds lead to Morita duality monodromies of the noncommutative Yang-Mills theories induced on the D-branes. While the parabolic twists recover the well-known examples of noncommutative principal torus bundles from topological T-duality, the elliptic twists give new examples of noncommutative fibrations with non-geometric torus fibres. We extend these considerations to D-branes in backgrounds with R-flux, using the doubled geometry formulation, finding that both the non-geometric background and the D-brane gauge theory necessarily have explicit dependence on the dual coordinates, and so have no conventional formulation in spacetime. △ Less

Submitted 26 August, 2019; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: 36 pages, 1 table; v2: minor corrections and improvements; v3: correct revision uploaded; v4: more minor corrections and improvements; Final version to appear in JHEP

Report number: Imperial-TP-2019-CH-02 , EMPG-19-04

Quantization of Magnetic Poisson Structures

Authors: Richard J. Szabo

Abstract: We describe three perspectives on higher quantization, using the example of magnetic Poisson structures which embody recent discussions of nonassociativity in quantum mechanics with magnetic monopoles and string theory with non-geometric fluxes. We survey approaches based on deformation quantization of twisted Poisson structures, symplectic realization of almost symplectic structures, and geometri… ▽ More We describe three perspectives on higher quantization, using the example of magnetic Poisson structures which embody recent discussions of nonassociativity in quantum mechanics with magnetic monopoles and string theory with non-geometric fluxes. We survey approaches based on deformation quantization of twisted Poisson structures, symplectic realization of almost symplectic structures, and geometric quantization using 2-Hilbert spaces of sections of suitable bundle gerbes. We compare and contrast these perspectives, describing their advantages and shortcomings in each case, and mention many open avenues for investigation. △ Less

Submitted 7 March, 2019; originally announced March 2019.

Comments: 13 pages, Contribution to Proceedings of LMS/EPSRC Durham Symposium Higher Structures in M-Theory, August 2018

Report number: EMPG-18-25

The Algebroid Structure of Double Field Theory

Authors: Athanasios Chatzistavrakidis, Larisa Jonke, Fech Scen Khoo, Richard J. Szabo

Abstract: By doubling the target space of a canonical Courant algebroid and subsequently projecting down to a specific subbundle, we identify the data of double field theory (DFT) and hence define its algebroid structure. We specify the properties of the DFT algebroid. We show that one of the Courant algebroid properties plays the role of the strong constraint in the context of DFT. The DFT algebroid is a s… ▽ More By doubling the target space of a canonical Courant algebroid and subsequently projecting down to a specific subbundle, we identify the data of double field theory (DFT) and hence define its algebroid structure. We specify the properties of the DFT algebroid. We show that one of the Courant algebroid properties plays the role of the strong constraint in the context of DFT. The DFT algebroid is a special example when properties of a Courant algebroid are relaxed in a specific and dependent manner. When otherwise, we uncover additional structures. △ Less

Submitted 12 March, 2019; v1 submitted 5 March, 2019; originally announced March 2019.

Comments: 11 pages; proceedings of "Dualities and Generalized Geometries", Corfu Summer Institute 2018. v2: typo corrected, reference added

Report number: EMPG-19-03

Fluxes in Exceptional Field Theory and Threebrane Sigma-Models

Authors: Athanasios Chatzistavrakidis, Larisa Jonke, Dieter Lust, Richard J. Szabo

Abstract: Starting from a higher Courant bracket associated to exceptional generalized geometry, we provide a systematic derivation of all types of fluxes and their Bianchi identities for four-dimensional compactifications of M-theory. We show that these fluxes may be understood as generalized Wess-Zumino terms in certain topological threebrane sigma-models of AKSZ-type, which relates them to the higher str… ▽ More Starting from a higher Courant bracket associated to exceptional generalized geometry, we provide a systematic derivation of all types of fluxes and their Bianchi identities for four-dimensional compactifications of M-theory. We show that these fluxes may be understood as generalized Wess-Zumino terms in certain topological threebrane sigma-models of AKSZ-type, which relates them to the higher structure of a Lie algebroid up to homotopy. This includes geometric compactifications of M-theory with G-flux and on twisted tori, and also its compactifications with non-geometric Q- and R-fluxes in specific representations of the U-duality group SL(5) in exceptional field theory. △ Less

Submitted 25 May, 2019; v1 submitted 23 January, 2019; originally announced January 2019.

Comments: 34 pages; v2: modified fluxes in Section 6, references added; v3: minor corrections, references added; Final version published in JHEP

Report number: LMU-ASC 06/19 , MPP-2019-6 , EMPG-19-01

Special $p$-groups acting on compact manifolds

Authors: Dávid R. Szabó

Abstract: Riera proved at arXiv:1412.6964 that the diffeomorphism group of particular compact manifolds are not Jordan by exhibiting subgroups isomorphic to extra-special $p$-groups of exponent $p$ for primes $p$ satisfying some conditions. Generalising the methods of that paper, we construct a compact connected smooth real manifold for every natural number $r$ whose diffeomorphism group contains not only e… ▽ More Riera proved at arXiv:1412.6964 that the diffeomorphism group of particular compact manifolds are not Jordan by exhibiting subgroups isomorphic to extra-special $p$-groups of exponent $p$ for primes $p$ satisfying some conditions. Generalising the methods of that paper, we construct a compact connected smooth real manifold for every natural number $r$ whose diffeomorphism group contains not only every extra-special $p$-group, but also every special $p$-group of order $p^r$ independently of its exponent for every prime $p$. We obtain a similar statement about finite Heisenberg groups as well as we display a very explicit counterexample to the conjecture of Ghys about Jordan property of diffeomorphism group of compact manifolds. △ Less

Submitted 23 December, 2019; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: 11 pages, minor adjustments in text

MSC Class: 57S17; 54H15; 20D15

't Hooft anomalies of discrete gauge theories and non-abelian group cohomology

Authors: Lukas Müller, Richard J. Szabo

Abstract: We study discrete symmetries of Dijkgraaf-Witten theories and their gauging in the framework of (extended) functorial quantum field theory. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gaug… ▽ More We study discrete symmetries of Dijkgraaf-Witten theories and their gauging in the framework of (extended) functorial quantum field theory. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gauge theory with 't Hooft anomaly as a state on the boundary of a higher-dimensional Dijkgraaf-Witten theory. This allows us to calculate the 2-cocycle twisting the projective representation of physical symmetries via transgression. We present a general discussion of the bulk-boundary correspondence at the level of partition functions and state spaces, which we make explicit for discrete gauge theories. △ Less

Submitted 4 July, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: 46 pages, 1 figure; v2: minor corrections and clarifying comments added, references updated; Final version to appear in Communications in Mathematical Physics

Report number: EMPG-18-23