Showing 1–50 of 57 results for author: Benini, M

$C^\ast$-categorical prefactorization algebras for superselection sectors and topological order

Authors: Marco Benini, Victor Carmona, Pieter Naaijkens, Alexander Schenkel

Abstract: This paper presents a conceptual and efficient geometric framework to encode the algebraic structures on the category of superselection sectors of an algebraic quantum field theory on the $n$-dimensional lattice $\mathbb{Z}^n$. It is shown that, under certain assumptions which are implied by Haag duality, the monoidal $C^\ast$-categories of localized superselection sectors carry the structure of a… ▽ More This paper presents a conceptual and efficient geometric framework to encode the algebraic structures on the category of superselection sectors of an algebraic quantum field theory on the $n$-dimensional lattice $\mathbb{Z}^n$. It is shown that, under certain assumptions which are implied by Haag duality, the monoidal $C^\ast$-categories of localized superselection sectors carry the structure of a locally constant prefactorization algebra over the category of cone-shaped subsets of $\mathbb{Z}^n$. Employing techniques from higher algebra, one extracts from this datum an underlying locally constant prefactorization algebra defined on open disks in the cylinder $\mathbb{R}^1\times\mathbb{S}^{n-1}$. While the sphere $\mathbb{S}^{n-1}$ arises geometrically as the angular coordinates of cones, the origin of the line $\mathbb{R}^1$ is analytic and rooted in Haag duality. The usual braided (for $n=2$) or symmetric (for $n\geq 3$) monoidal $C^\ast$-categories of superselection sectors are recovered by removing a point of the sphere $\mathbb{R}^1\times(\mathbb{S}^{n-1}\setminus\mathrm{pt}) \cong\mathbb{R}^n$ and using the equivalence between $\mathbb{E}_n$-algebras and locally constant prefactorization algebras defined on open disks in $\mathbb{R}^n$. The non-trivial homotopy groups of spheres induce additional algebraic structures on these $\mathbb{E}_n$-monoidal $C^\ast$-categories, which in the case of $\mathbb{Z}^2$ is given by a braided monoidal self-equivalence arising geometrically as a kind of `holonomy' around the circle $\mathbb{S}^1$. The locally constant prefactorization algebra structures discovered in this work generalize, under some mild geometric conditions, to other discrete spaces and thereby provide a clear link between the geometry of the localization regions and the algebraic structures on the category of superselection sectors. △ Less

Submitted 4 June, 2025; v1 submitted 12 May, 2025; originally announced May 2025.

Comments: v2: 39 pages. Added reference and minor clarifications

MSC Class: 81Txx; 18Nxx

On the equivalence of AQFTs and prefactorization algebras

Authors: Marco Benini, Victor Carmona, Alastair Grant-Stuart, Alexander Schenkel

Abstract: This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are 1.) a structural implementation of the additivity property used in earlier approaches and 2.) a reduction of the global equivalence problem to a family of simp… ▽ More This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are 1.) a structural implementation of the additivity property used in earlier approaches and 2.) a reduction of the global equivalence problem to a family of simpler spacetime-wise problems. When applied to the case where the target category is a symmetric monoidal $1$-category, this yields a generalization of the equivalence theorem from [Commun. Math. Phys. 377, 971 (2019)]. In the case where the target is the symmetric monoidal $\infty$-category of cochain complexes, we obtain a reduction of the global $\infty$-categorical equivalence problem to simpler, but still challenging, spacetime-wise problems. The latter would be solved by showing that certain functors between $1$-categories exhibit $\infty$-localizations, however the available detection criteria are inconclusive in our case. △ Less

Submitted 10 December, 2024; originally announced December 2024.

Comments: 42 pages

MSC Class: 81Txx; 18Nxx; 53C50

Bifurcation for families of Ahlfors island maps

Authors: Matthieu Astorg, Anna Miriam Benini, Nuria Fagella

Abstract: We extend Mañé-Sad-Sullivan and Lyubich's equivalent characterization of stability to the setting of Ahlfors island maps, which include notably all meromorphic maps. As a consequence we also obtain the density of $J$-stability for finite type maps in the sense of Epstein. We extend Mañé-Sad-Sullivan and Lyubich's equivalent characterization of stability to the setting of Ahlfors island maps, which include notably all meromorphic maps. As a consequence we also obtain the density of $J$-stability for finite type maps in the sense of Epstein. △ Less

Submitted 13 February, 2025; v1 submitted 5 October, 2024; originally announced October 2024.

MSC Class: 37F46; 30D05; 37F10; 30D30; 37F44

The Denjoy-Wolff Theorem in simply connected domains

Authors: Anna Miriam Benini, Filippo Bracci

Abstract: We characterize the simply connected domains $Ω\subsetneq\mathbb{C}$ that exhibit the Denjoy-Wolff Property, meaning that every holomorphic self-map of $Ω$ without fixed points has a Denjoy-Wolff point. We demonstrate that this property holds if and only if every automorphism of $Ω$ without fixed points in $Ω$ has a Denjoy-Wolff point. Furthermore, we establish that the Denjoy-Wolff Property is eq… ▽ More We characterize the simply connected domains $Ω\subsetneq\mathbb{C}$ that exhibit the Denjoy-Wolff Property, meaning that every holomorphic self-map of $Ω$ without fixed points has a Denjoy-Wolff point. We demonstrate that this property holds if and only if every automorphism of $Ω$ without fixed points in $Ω$ has a Denjoy-Wolff point. Furthermore, we establish that the Denjoy-Wolff Property is equivalent to the existence of what we term an ``$H$-limit'' at each boundary point for a Riemann map associated with the domain. The $H$-limit condition is stronger than the existence of non-tangential limits but weaker than unrestricted limits. As an additional result of our work, we prove that there exist bounded simply connected domains where the Denjoy-Wolff Property holds but which are not visible in the sense of Bharali and Zimmer. Since visibility is a sufficient condition for the Denjoy-Wolff Property, this proves that in general it is not necessary. △ Less

Submitted 18 September, 2024; originally announced September 2024.

Comments: 23 pages, 2 figures

Derived algebraic geometry of 2d lattice Yang-Mills theory

Authors: Marco Benini, Tomás Fernández, Alexander Schenkel

Abstract: A derived algebraic geometric study of classical $\mathrm{GL}_n$-Yang-Mills theory on the $2$-dimensional square lattice $\mathbb{Z}^2$ is presented. The derived critical locus of the Wilson action is described and its local data supported in rectangular subsets $V =[a,b]\times [c,d]\subseteq \mathbb{Z}^2$ with both sides of length $\geq 2$ is extracted. A locally constant dg-category-valued prefa… ▽ More A derived algebraic geometric study of classical $\mathrm{GL}_n$-Yang-Mills theory on the $2$-dimensional square lattice $\mathbb{Z}^2$ is presented. The derived critical locus of the Wilson action is described and its local data supported in rectangular subsets $V =[a,b]\times [c,d]\subseteq \mathbb{Z}^2$ with both sides of length $\geq 2$ is extracted. A locally constant dg-category-valued prefactorization algebra on $\mathbb{Z}^2$ is constructed from the dg-categories of perfect complexes on the derived stacks of local data. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: 25 pages

MSC Class: 14A30; 70S15; 81T25

Shrinking targets and recurrent behaviour for forward compositions of inner functions

Authors: Anna Miriam Benini, Vasiliki Evdoridou, Núria Fagella, Philip J. Rippon, Gwyneth M. Stallard

Abstract: We prove sharp results about recurrent behaviour of orbits of forward compositions of inner functions, inspired by fundamental results about iterates of inner functions, and give examples to illustrate behaviours that cannot occur in the simpler case of iteration. A result of Fernández, Melián and Pestana gives a precise version of the classical Poincaré recurrence theorem for iterates of the bo… ▽ More We prove sharp results about recurrent behaviour of orbits of forward compositions of inner functions, inspired by fundamental results about iterates of inner functions, and give examples to illustrate behaviours that cannot occur in the simpler case of iteration. A result of Fernández, Melián and Pestana gives a precise version of the classical Poincaré recurrence theorem for iterates of the boundary extension of an inner function that fixes~0. We generalise this to forward composition sequences $F_n=f_n\circ \dots\circ f_1,$ $n\in \mathbb{N},$ where $f_n$ are inner functions that fix~0, giving conditions on the contraction of $(F_n)$ so that the radial boundary extension $F_n$ hits any shrinking target of arcs $(I_n)$ of a given size. Next, Aaronson, and also Doering and Mañé, gave a remarkable dichotomy for iterates of any inner function, showing that the behaviour of the boundary extension is of two entirely different types, depending on the size of the sequence $(|f^n(0)|)$. In earlier work, we showed that one part of this dichotomy holds in the non-autonomous setting of forward compositions. It turns out that this dichotomy is closely related to the result of Fernández, Melián and Pestana, and here we show that a version of the second part of the dichotomy holds in the non-autonomous setting provided we impose a condition on the contraction of $(F_n)$ in relation to the size of the sequence $(|F_n(0)|)$. The techniques we use include a strong version of the second Borel--Cantelli lemma and strong mixing results of Pommerenke for contracting sequences of inner functions. We give examples to show that the contraction conditions that we need to impose in the non-autonomous setting are best possible. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: 21 pages

MSC Class: 37D05; 37A25; 30D05; 37F10; 28D05; 37F99

Haag-Kastler stacks

Authors: Marco Benini, Alastair Grant-Stuart, Alexander Schenkel

Abstract: This paper provides an alternative implementation of the principle of general local covariance for algebraic quantum field theories (AQFTs) which is more flexible and powerful than the original one by Brunetti, Fredenhagen and Verch. This is realized by considering the $2$-functor $\mathsf{HK} : \mathbf{Loc}^\mathrm{op} \to \mathbf{CAT}$ which assigns to each Lorentzian manifold $M$ the category… ▽ More This paper provides an alternative implementation of the principle of general local covariance for algebraic quantum field theories (AQFTs) which is more flexible and powerful than the original one by Brunetti, Fredenhagen and Verch. This is realized by considering the $2$-functor $\mathsf{HK} : \mathbf{Loc}^\mathrm{op} \to \mathbf{CAT}$ which assigns to each Lorentzian manifold $M$ the category $\mathsf{HK}(M)$ of Haag-Kastler-style AQFTs over $M$ and to each embedding $f:M\to N$ a pullback functor $f^\ast = \mathsf{HK}(f) : \mathsf{HK}(N) \to \mathsf{HK}(M)$ restricting theories from $N$ to $M$. Locally covariant AQFTs are recovered as the points of the $2$-functor $\mathsf{HK}$. The main advantages of this new perspective are: 1.) It leads to technical simplifications, in particular with regard to the time-slice axiom, since global problems on $\mathbf{Loc}$ become families of simpler local problems on individual Lorentzian manifolds. 2.) Some aspects of the Haag-Kastler framework which previously got lost in locally covariant AQFT, such as a relative compactness condition on the open subsets in a Lorentzian manifold $M$, are reintroduced. 3.) It provides a successful and radically new perspective on descent conditions in AQFT, i.e. local-to-global conditions which allow one to recover a global AQFT on a Lorentzian manifold $M$ from its local data in an open cover $\{U_i \subseteq M\}$. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 65 pages

MSC Class: 81Txx; 53C50; 18F20; 18N10

Gluing algebraic quantum field theories on manifolds

Authors: Angelos Anastopoulos, Marco Benini

Abstract: It has been observed that, given an algebraic quantum field theory (AQFT) on a manifold $M$ and an open cover $\{M_α\}$ of $M$, it is typically not possible to recover the global algebra of observables on $M$ by simply gluing the underlying local algebras subordinate to $\{M_α\}$. Instead of gluing local algebras, we introduce a gluing construction for AQFTs subordinate to $\{M_α\}$ and we show th… ▽ More It has been observed that, given an algebraic quantum field theory (AQFT) on a manifold $M$ and an open cover $\{M_α\}$ of $M$, it is typically not possible to recover the global algebra of observables on $M$ by simply gluing the underlying local algebras subordinate to $\{M_α\}$. Instead of gluing local algebras, we introduce a gluing construction for AQFTs subordinate to $\{M_α\}$ and we show that for simple examples of AQFTs, constructed out of geometric data, gluing the local AQFTs subordinate to $\{M_α\}$ recovers the global AQFT on $M$. △ Less

Submitted 11 December, 2024; v1 submitted 15 April, 2024; originally announced April 2024.

Comments: 28 pages - Accepted for publication in Annales Henri Poincaré

Journal ref: Ann. Henri Poincaré (2025)

Escaping Fatou components with disjoint hyperbolic limit sets

Authors: Veronica Beltrami, Anna Miriam Benini, Alberto Saracco

Abstract: We construct automorphisms of $\mathbb{C}^2$ with a cycle of escaping Fatou components, on which there are exactly two limit functions, both of rank 1. On each such Fatou component, the limit sets for these limit functions are two disjoint hyperbolic subsets of the line at infinity. We construct automorphisms of $\mathbb{C}^2$ with a cycle of escaping Fatou components, on which there are exactly two limit functions, both of rank 1. On each such Fatou component, the limit sets for these limit functions are two disjoint hyperbolic subsets of the line at infinity. △ Less

Submitted 10 August, 2023; originally announced August 2023.

MSC Class: 37F80

Operads, homotopy theory and higher categories in algebraic quantum field theory

Authors: Marco Benini, Alexander Schenkel

Abstract: This chapter provides a non-technical overview and motivation for the recent interactions between algebraic quantum field theory (AQFT) and rather abstract mathematical disciplines such as operads, model categories and higher categories. This chapter provides a non-technical overview and motivation for the recent interactions between algebraic quantum field theory (AQFT) and rather abstract mathematical disciplines such as operads, model categories and higher categories. △ Less

Submitted 5 May, 2023; originally announced May 2023.

Comments: 18 pages. Invited contribution to the Encyclopedia of Mathematical Physics 2nd edition

MSC Class: 81Txx; 18Mxx; 18Nxx

Quantization of Lorentzian free BV theories: factorization algebra vs algebraic quantum field theory

Authors: Marco Benini, Giorgio Musante, Alexander Schenkel

Abstract: We construct and compare two alternative quantizations, as a time-orderable prefactorization algebra and as an algebraic quantum field theory valued in cochain complexes, of a natural collection of free BV theories on the category of $m$-dimensional globally hyperbolic Lorentzian manifolds. Our comparison is realized as an explicit isomorphism of time-orderable prefactorization algebras. The key i… ▽ More We construct and compare two alternative quantizations, as a time-orderable prefactorization algebra and as an algebraic quantum field theory valued in cochain complexes, of a natural collection of free BV theories on the category of $m$-dimensional globally hyperbolic Lorentzian manifolds. Our comparison is realized as an explicit isomorphism of time-orderable prefactorization algebras. The key ingredients of our approach are the retarded and advanced Green's homotopies associated with free BV theories, which generalize retarded and advanced Green's operators to cochain complexes of linear differential operators. △ Less

Submitted 8 February, 2024; v1 submitted 5 December, 2022; originally announced December 2022.

Comments: 31 pages - Accepted for publication in Letters in Mathematical Physics

MSC Class: 81T70; 81T20; 58J45

Journal ref: Lett Math Phys 114, 36 (2024)

Strictification theorems for the homotopy time-slice axiom

Authors: Marco Benini, Victor Carmona, Alexander Schenkel

Abstract: It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag-Kastler-type AQFTs on a fixed globally hyperbolic Lorentzian manifold (with or without time-like boundary), locally covariant conformal AQFTs in two spacetime dimensions, locally covariant AQFTs in one spacet… ▽ More It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag-Kastler-type AQFTs on a fixed globally hyperbolic Lorentzian manifold (with or without time-like boundary), locally covariant conformal AQFTs in two spacetime dimensions, locally covariant AQFTs in one spacetime dimension, and the relative Cauchy evolution. The strictification theorems established in this paper prove that, under suitable hypotheses that hold true for the examples listed above, there exists a Quillen equivalence between the model category of AQFTs satisfying the homotopy time-slice axiom and the model category of AQFTs satisfying the usual strict time-slice axiom. △ Less

Submitted 13 February, 2023; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: v2: 22 pages. Final version accepted for publication in Letters in Mathematical Physics

MSC Class: 81T05; 81T70; 18N40; 18N55

Journal ref: Lett. Math. Phys. 113, 20 (2023)

Green hyperbolic complexes on Lorentzian manifolds

Authors: Marco Benini, Giorgio Musante, Alexander Schenkel

Abstract: We develop a homological generalization of Green hyperbolic operators, called Green hyperbolic complexes, which cover many examples of derived critical loci for gauge-theoretic quadratic action functionals in Lorentzian signature. We define Green hyperbolic complexes through a generalization of retarded and advanced Green's operators, called retarded and advanced Green's homotopies, which are show… ▽ More We develop a homological generalization of Green hyperbolic operators, called Green hyperbolic complexes, which cover many examples of derived critical loci for gauge-theoretic quadratic action functionals in Lorentzian signature. We define Green hyperbolic complexes through a generalization of retarded and advanced Green's operators, called retarded and advanced Green's homotopies, which are shown to be unique up to a contractible space of choices. We prove homological generalizations of the most relevant features of Green hyperbolic operators, namely that (1) the retarded-minus-advanced cochain map is a quasi-isomorphism, (2) a differential pairing (generalizing the usual fiber-wise metric) on a Green hyperbolic complex leads to covariant and fixed-time Poisson structures and (3) the retarded-minus-advanced cochain map is compatible with these Poisson structures up to homotopy. △ Less

Submitted 24 July, 2023; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: 41 pages - Accepted for publication in Communications in Mathematical Physics

MSC Class: 81T70; 81T20; 18G35; 58J45

Boundary dynamics for holomorphic sequences, non-autonomous dynamical systems and wandering domains

Authors: Anna Miriam Benini, Vasiliki Evdoridou, Núria Fagella, Philip J. Rippon, Gwyneth M. Stallard

Abstract: There are many classical results, related to the Denjoy--Wolff Theorem, concerning the relationship between orbits of interior points and orbits of boundary points under iterates of holomorphic self-maps of the unit disc. Here, for the first time, we address such questions in the very general setting of sequences $(F_n)$ of holomorphic maps between simply connected domains. We show that, while som… ▽ More There are many classical results, related to the Denjoy--Wolff Theorem, concerning the relationship between orbits of interior points and orbits of boundary points under iterates of holomorphic self-maps of the unit disc. Here, for the first time, we address such questions in the very general setting of sequences $(F_n)$ of holomorphic maps between simply connected domains. We show that, while some classical results can be generalised, with an interesting dependence on the geometry of the domains, a much richer variety of behaviours is possible. Some of our results are new even in the classical setting. Our methods apply in particular to non-autonomous dynamical systems, when $(F_n)$ are forward compositions of holomorphic maps, and to the study of wandering domains in holomorphic dynamics. The proofs use techniques from geometric function theory, measure theory and ergodic theory, and the construction of examples involves a `weak independence' version of the second Borel--Cantelli lemma and the concept from ergodic theory of `shrinking targets'. △ Less

Submitted 27 June, 2023; v1 submitted 11 March, 2022; originally announced March 2022.

Comments: Minor changes and new title

MSC Class: 30D05; 37F10

Quantization of derived cotangent stacks and gauge theory on directed graphs

Authors: Marco Benini, Jonathan P. Pridham, Alexander Schenkel

Abstract: We study the quantization of the canonical unshifted Poisson structure on the derived cotangent stack $T^\ast[X/G]$ of a quotient stack, where $X$ is a smooth affine scheme with an action of a (reductive) smooth affine group scheme $G$. This is achieved through an {é}tale resolution of $T^\ast[X/G]$ by stacky CDGAs that allows for an explicit description of the canonical Poisson structure on… ▽ More We study the quantization of the canonical unshifted Poisson structure on the derived cotangent stack $T^\ast[X/G]$ of a quotient stack, where $X$ is a smooth affine scheme with an action of a (reductive) smooth affine group scheme $G$. This is achieved through an {é}tale resolution of $T^\ast[X/G]$ by stacky CDGAs that allows for an explicit description of the canonical Poisson structure on $T^\ast[X/G]$ and of the dg-category of modules quantizing it. These techniques are applied to construct a dg-category-valued prefactorization algebra that quantizes a gauge theory on directed graphs. △ Less

Submitted 16 July, 2024; v1 submitted 25 January, 2022; originally announced January 2022.

Comments: v3: 38 pages. Final version accepted for publication in Advances in Theoretical and Mathematical Physics

MSC Class: 14A30; 14D23; 53D55; 81Txx

Journal ref: Advances in Theoretical and Mathematical Physics, Vol. 27, No. 5 (2023), pp. 1275-1332

A skeletal model for 2d conformal AQFTs

Authors: Marco Benini, Luca Giorgetti, Alexander Schenkel

Abstract: A simple model for the localization of the category $\mathbf{CLoc}_2$ of oriented and time-oriented globally hyperbolic conformal Lorentzian $2$-manifolds at all Cauchy morphisms is constructed. This provides an equivalent description of $2$-dimensional conformal algebraic quantum field theories (AQFTs) satisfying the time-slice axiom in terms of only two algebras, one for the $2$-dimensional Mink… ▽ More A simple model for the localization of the category $\mathbf{CLoc}_2$ of oriented and time-oriented globally hyperbolic conformal Lorentzian $2$-manifolds at all Cauchy morphisms is constructed. This provides an equivalent description of $2$-dimensional conformal algebraic quantum field theories (AQFTs) satisfying the time-slice axiom in terms of only two algebras, one for the $2$-dimensional Minkowski spacetime and one for the flat cylinder, together with a suitable action of two copies of the orientation preserving embeddings of oriented $1$-manifolds. The latter result is used to construct adjunctions between the categories of $2$-dimensional and chiral conformal AQFTs whose right adjoints formalize and generalize Rehren's chiral observables. △ Less

Submitted 30 June, 2022; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: 27 pages, final version accepted for publication in Communications in Mathematical Physics

MSC Class: 81Txx; 53C50

Journal ref: Commun. Math. Phys. 395, 269-298 (2022)

Bifurcation loci of families of finite type meromorphic maps

Authors: Matthieu Astorg, Anna Miriam Benini, Núria Fagella

Abstract: We show that $J-$ stability is open and dense in natural families of meromorphic maps of one complex variable with a finite number of singular values, and even more generally, to finite type maps. This extends the results of Mañé-Sad-Sullivan for rational maps of the Riemann sphere and those of Eremenko and Lyubich for entire maps of finite type of the complex plane, and essentially closes the pro… ▽ More We show that $J-$ stability is open and dense in natural families of meromorphic maps of one complex variable with a finite number of singular values, and even more generally, to finite type maps. This extends the results of Mañé-Sad-Sullivan for rational maps of the Riemann sphere and those of Eremenko and Lyubich for entire maps of finite type of the complex plane, and essentially closes the problem of density of structural stability for holomorphic dynamical systems in one complex variable with finitely many singular values. This result is obtained as a consequence of a detailed study of a new type of bifurcation that arises with the presence of both poles and essential singularities (namely periodic orbits exiting the domain of definition of the map along a parameter curve), and in particular its relation with the bifurcations in the dynamics of singular values. The presence of these new bifurcation parameters require essentially different methods to those used in previous work for rational or entire maps. △ Less

Submitted 19 September, 2023; v1 submitted 6 July, 2021; originally announced July 2021.

MSC Class: 37F46; 30D05; 37F10; 30D30; 37F44

Classical BV formalism for group actions

Authors: Marco Benini, Pavel Safronov, Alexander Schenkel

Abstract: We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV fo… ▽ More We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV formalism in finite dimensions from Lie algebra to group actions. △ Less

Submitted 22 September, 2021; v1 submitted 30 April, 2021; originally announced April 2021.

Comments: v3: Final version accepted for publication in Communications in Contemporary Mathematics

MSC Class: 81Txx; 14A30; 18N40

Journal ref: Commun. Contemp. Math. 25(1), 2150094 (2023)

A vehicle routing problem for biological sample transportation in healthcare: mathematical formulations and a metaheuristic approach

Authors: Mario Benini, Paolo Detti, Garazi Zabalo Manrique de Lara

Abstract: In this paper, a real-world transportation problem is addressed, concerning the collection and the transportation of biological sample tubes from sampling points to a main hospital. Blood and other biological samples are collected in different centers during morning hours. Then, the samples are transported to the main hospital, for their analysis, by a fleet of vehicles located in geographically d… ▽ More In this paper, a real-world transportation problem is addressed, concerning the collection and the transportation of biological sample tubes from sampling points to a main hospital. Blood and other biological samples are collected in different centers during morning hours. Then, the samples are transported to the main hospital, for their analysis, by a fleet of vehicles located in geographically distributed depots. Each sample has a limited lifetime and must arrive to the main hospital within that time. If a sample cannot arrive to the hospital within the lifetime, either is discarded or must be processed in dedicated facilities called Spoke Centers.Two Mixed Integer Linear Programming formulations and an Adaptive Large Neighborhood Search (ALNS) metaheuristic algorithm have been developed for the problem. Computational experiments on different sets of instances based on real-life data provided by the Local Healthcare Authority of Bologna, Italy, are presented. A comparison on small instances with the optimal solutions obtained by the formulations shows the effectiveness of the proposed ALNS algorithm. On real-life instances, different batching policies of the samples are evaluated. The results show that the ALNS algorithm is able to find solutions in which all the samples are delivered on time, while in the real case about the 40% [5] of the samples is delivered late. △ Less

Submitted 12 March, 2021; originally announced April 2021.

Dynamics of transcendental Hénon maps III: Infinite entropy

Authors: Leandro Arosio, Anna Miriam Benini, John Erik Fornæss, Han Peters

Abstract: Very little is currently known about the dynamics of non-polynomial entire maps in several complex variables. The family of transcendental Hénon maps offers the potential of combining ideas from transcendental dynamics in one variable, and the dynamics of polynomial Hénon maps in two. Here we show that these maps all have infinite topological and measure theoretic entropy. The proof also implies t… ▽ More Very little is currently known about the dynamics of non-polynomial entire maps in several complex variables. The family of transcendental Hénon maps offers the potential of combining ideas from transcendental dynamics in one variable, and the dynamics of polynomial Hénon maps in two. Here we show that these maps all have infinite topological and measure theoretic entropy. The proof also implies the existence of infinitely many periodic orbits of any order greater than two. △ Less

Submitted 10 February, 2021; originally announced February 2021.

MSC Class: 37F80

Invariant escaping Fatou components with two rank 1 limit functions for automorphisms of $\mathbb{C}^2$

Authors: Anna Miriam Benini, Alberto Saracco, Michela Zedda

Abstract: We construct automorphisms of $\mathbb{C}^2$, and more precisely transcendental Hénon maps, with an invariant escaping Fatou component which has exactly two distinct limit functions, both of (generic) rank 1. We also prove a general growth lemma for the norm of points in orbits belonging to invariant escaping Fatou components for automorphisms of the form $F(z,w)=(g(z,w),z)$ with… ▽ More We construct automorphisms of $\mathbb{C}^2$, and more precisely transcendental Hénon maps, with an invariant escaping Fatou component which has exactly two distinct limit functions, both of (generic) rank 1. We also prove a general growth lemma for the norm of points in orbits belonging to invariant escaping Fatou components for automorphisms of the form $F(z,w)=(g(z,w),z)$ with $g(z,w):\mathbb{C}^2\rightarrow\mathbb{C}$ holomorphic. △ Less

Submitted 5 November, 2020; originally announced November 2020.

Comments: 16 pages

MSC Class: 37F80; 32H50; 37F10

Smooth 1-dimensional algebraic quantum field theories

Authors: Marco Benini, Marco Perin, Alexander Schenkel

Abstract: This paper proposes a refinement of the usual concept of algebraic quantum field theories (AQFTs) to theories that are smooth in the sense that they assign to every smooth family of spacetimes a smooth family of observable algebras. Using stacks of categories, this proposal is realized concretely for the simplest case of 1-dimensional spacetimes, leading to a stack of smooth 1-dimensional AQFTs. C… ▽ More This paper proposes a refinement of the usual concept of algebraic quantum field theories (AQFTs) to theories that are smooth in the sense that they assign to every smooth family of spacetimes a smooth family of observable algebras. Using stacks of categories, this proposal is realized concretely for the simplest case of 1-dimensional spacetimes, leading to a stack of smooth 1-dimensional AQFTs. Concrete examples of smooth AQFTs, of smooth families of smooth AQFTs and of equivariant smooth AQFTs are constructed. The main open problems that arise in upgrading this approach to higher dimensions and gauge theories are identified and discussed. △ Less

Submitted 26 October, 2021; v1 submitted 26 October, 2020; originally announced October 2020.

Comments: 34 pages - Accepted for publication in Annales Henri Poincaré

MSC Class: 81Txx; 18F20; 18N10

Categorification of algebraic quantum field theories

Authors: Marco Benini, Marco Perin, Alexander Schenkel, Lukas Woike

Abstract: This paper develops a concept of 2-categorical algebraic quantum field theories (2AQFTs) that assign locally presentable linear categories to spacetimes. It is proven that ordinary AQFTs embed as a coreflective full 2-subcategory into the 2-category of 2AQFTs. Examples of 2AQFTs that do not come from ordinary AQFTs via this embedding are constructed by a local gauging construction for finite group… ▽ More This paper develops a concept of 2-categorical algebraic quantum field theories (2AQFTs) that assign locally presentable linear categories to spacetimes. It is proven that ordinary AQFTs embed as a coreflective full 2-subcategory into the 2-category of 2AQFTs. Examples of 2AQFTs that do not come from ordinary AQFTs via this embedding are constructed by a local gauging construction for finite groups, which admits a physical interpretation in terms of orbifold theories. A categorification of Fredenhagen's universal algebra is developed and also computed for simple examples of 2AQFTs. △ Less

Submitted 12 March, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 40 pages - Accepted for publication in Letters in Mathematical Physics

Report number: ZMP-HH/20-8, Hamburger Beitraege zur Mathematik Nr. 830 MSC Class: 2020: 81Txx; 18M60; 18N10; 18N25

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

Classifying simply connected wandering domains

Authors: Anna Miriam Benini, Vasiliki Evdoridou, Núria Fagella, Philip J. Rippon, Gwyneth M. Stallard

Abstract: While the dynamics of transcendental entire functions in periodic Fatou components and in multiply connected wandering domains are well understood, the dynamics in simply connected wandering domains have so far eluded classification. We give a detailed classification of the dynamics in such wandering domains in terms of the hyperbolic distances between iterates and also in terms of the behaviour o… ▽ More While the dynamics of transcendental entire functions in periodic Fatou components and in multiply connected wandering domains are well understood, the dynamics in simply connected wandering domains have so far eluded classification. We give a detailed classification of the dynamics in such wandering domains in terms of the hyperbolic distances between iterates and also in terms of the behaviour of orbits in relation to the boundaries of the wandering domains. In establishing these classifications, we obtain new results of wider interest concerning non-autonomous forward dynamical systems of holomorphic self maps of the unit disk. We also develop a new general technique for constructing examples of bounded, simply connected wandering domains with prescribed internal dynamics, and a criterion to ensure that the resulting boundaries are Jordan curves. Using this technique, based on approximation theory, we show that all of the nine possible types of simply connected wandering domain resulting from our classifications are indeed realizable. △ Less

Submitted 10 October, 2019; originally announced October 2019.

Comments: 47 pages, 7 figures

MSC Class: 37F10

A bound on the number of rationally invisible repelling orbits

Authors: Anna Miriam Benini, Núria Fagella

Abstract: We consider entire transcendental maps with bounded set of singular values such that periodic rays exist and land. For such maps, we prove a refined version of the Fatou-Shishikura inequality which takes into account rationally invisible periodic orbits, that is, repelling cycles which are not landing points of any periodic ray. More precisely, if there are $q<\infty$ singular orbits, then the sum… ▽ More We consider entire transcendental maps with bounded set of singular values such that periodic rays exist and land. For such maps, we prove a refined version of the Fatou-Shishikura inequality which takes into account rationally invisible periodic orbits, that is, repelling cycles which are not landing points of any periodic ray. More precisely, if there are $q<\infty$ singular orbits, then the sum of the number of attracting, parabolic, Siegel, Cremer or rationally invisible orbits is bounded above by $q$. In particular, there are at most $q$ rationally invisible repelling periodic orbits. The techniques presented here also apply to the more general setting in which the function is allowed to have infinitely many singular values. △ Less

Submitted 29 July, 2019; originally announced July 2019.

MSC Class: 37F10; 30D05

Linear Yang-Mills theory as a homotopy AQFT

Authors: Marco Benini, Simen Bruinsma, Alexander Schenkel

Abstract: It is observed that the shifted Poisson structure (antibracket) on the solution complex of Klein-Gordon and linear Yang-Mills theory on globally hyperbolic Lorentzian manifolds admits retarded/advanced trivializations (analogs of retarded/advanced Green's operators). Quantization of the associated unshifted Poisson structure determines a unique (up to equivalence) homotopy algebraic quantum field… ▽ More It is observed that the shifted Poisson structure (antibracket) on the solution complex of Klein-Gordon and linear Yang-Mills theory on globally hyperbolic Lorentzian manifolds admits retarded/advanced trivializations (analogs of retarded/advanced Green's operators). Quantization of the associated unshifted Poisson structure determines a unique (up to equivalence) homotopy algebraic quantum field theory (AQFT), i.e. a functor that assigns differential graded $\ast$-algebras of observables and fulfills homotopical analogs of the AQFT axioms. For Klein-Gordon theory the construction is equivalent to the standard one, while for linear Yang-Mills it is richer and reproduces the BRST/BV field content (gauge fields, ghosts and antifields). △ Less

Submitted 3 December, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: 31 pages - v2: Final version to appear in Communications in Mathematical Physics

Report number: ZMP-HH/19-10, Hamburger Beitraege zur Mathematik Nr. 789

Journal ref: Commun. Math. Phys. 378, 185-218 (2020)

Dynamics of transcendental Hénon maps-II

Authors: Leandro Arosio, Anna Miriam Benini, John Erik Fornæss, Han Peters

Abstract: Transcendental Hénon maps are the natural extensions of the well investigated complex polynomial Hénon maps to the much larger class of holomorphic automorphisms. We prove here that transcendental Hénon maps always have non-trivial dynamical behavior, namely that they always admit both periodic and escaping orbits, and that their Julia sets are non-empty and perfect. Transcendental Hénon maps are the natural extensions of the well investigated complex polynomial Hénon maps to the much larger class of holomorphic automorphisms. We prove here that transcendental Hénon maps always have non-trivial dynamical behavior, namely that they always admit both periodic and escaping orbits, and that their Julia sets are non-empty and perfect. △ Less

Submitted 27 May, 2019; originally announced May 2019.

Model-independent comparison between factorization algebras and algebraic quantum field theory on Lorentzian manifolds

Authors: Marco Benini, Marco Perin, Alexander Schenkel

Abstract: This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both directions are developed under certain natural hypotheses, including suitable variants of the local constancy and descent axioms. The main result is an equivalence theo… ▽ More This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both directions are developed under certain natural hypotheses, including suitable variants of the local constancy and descent axioms. The main result is an equivalence theorem between (Cauchy constant and additive) algebraic quantum field theories and (Cauchy constant, additive and time-orderable) prefactorization algebras. △ Less

Submitted 3 September, 2019; v1 submitted 8 March, 2019; originally announced March 2019.

Comments: 24 pages, 3 figures - Final version to appear in Communications in Mathematical Physics

Report number: ZMP-HH/19-6, Hamburger Beitraege zur Mathematik Nr. 781 MSC Class: 81Txx; 53C50

Journal ref: Commun. Math. Phys. 377, 971-997 (2020)

Higher Structures in Algebraic Quantum Field Theory

Authors: Marco Benini, Alexander Schenkel

Abstract: A brief overview of the recent developments of operadic and higher categorical techniques in algebraic quantum field theory is given. The relevance of such mathematical structures for the description of gauge theories is discussed. A brief overview of the recent developments of operadic and higher categorical techniques in algebraic quantum field theory is given. The relevance of such mathematical structures for the description of gauge theories is discussed. △ Less

Submitted 7 March, 2019; originally announced March 2019.

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

Report number: ZMP-HH/18-27, Hamburger Beitraege zur Mathematik Nr. 782

Journal ref: Fortschr. Phys. 67, 1910015 (2019)

Entropy of Transcendental entire functions

Authors: Anna Miriam Benini, John Erik Fornæss, Han Peters

Abstract: We prove that all entire transcendental entire functions have infinite topological entropy. We prove that all entire transcendental entire functions have infinite topological entropy. △ Less

Submitted 8 April, 2019; v1 submitted 20 August, 2018; originally announced August 2018.

Comments: 13 pages

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 338-348

Infinite entropy for transcendental entire functions with an omitted value

Authors: Anna Miriam Benini, John Erik Fornæss, Han Peters

Abstract: We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper. We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper. △ Less

Submitted 6 August, 2018; originally announced August 2018.

Comments: 4 pages

MSC Class: 30D99; 32H50

Homotopy theory of algebraic quantum field theories

Authors: Marco Benini, Alexander Schenkel, Lukas Woike

Abstract: Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical model structure and explain the important conceptual and also practical consequences of this result. As a concrete application we provide a derived version of F… ▽ More Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical model structure and explain the important conceptual and also practical consequences of this result. As a concrete application we provide a derived version of Fredenhagen's universal algebra construction, which is relevant e.g. for the BRST/BV formalism. We further develop a homotopy theoretical generalization of algebraic quantum field theory with a particular focus on the homotopy-coherent Einstein causality axiom. We provide examples of such homotopy-coherent theories via (1) smooth normalized cochain algebras on $\infty$-stacks, and (2) fiber-wise groupoid cohomology of a category fibered in groupoids with coefficients in a strict quantum field theory. △ Less

Submitted 16 January, 2019; v1 submitted 22 May, 2018; originally announced May 2018.

Comments: v2: 38 pages - Added appendix on examples for local-to-global constructions. Final version published in Letters in Mathematical Physics

Report number: ZMP-HH/18-11, Hamburger Beitraege zur Mathematik Nr. 738 MSC Class: 81Txx; 18D50; 18G55; 55U35

Journal ref: Lett. Math. Phys. 109, 1487-1532 (2019)

Involutive categories, colored $\ast$-operads and quantum field theory

Authors: Marco Benini, Alexander Schenkel, Lukas Woike

Abstract: Involutive category theory provides a flexible framework to describe involutive structures on algebraic objects, such as anti-linear involutions on complex vector spaces. Motivated by the prominent role of involutions in quantum (field) theory, we develop the involutive analogs of colored operads and their algebras, named colored $\ast$-operads and $\ast$-algebras. Central to the definition of col… ▽ More Involutive category theory provides a flexible framework to describe involutive structures on algebraic objects, such as anti-linear involutions on complex vector spaces. Motivated by the prominent role of involutions in quantum (field) theory, we develop the involutive analogs of colored operads and their algebras, named colored $\ast$-operads and $\ast$-algebras. Central to the definition of colored $\ast$-operads is the involutive monoidal category of symmetric sequences, which we obtain from a general product-exponential $2$-adjunction whose right adjoint forms involutive functor categories. For $\ast$-algebras over $\ast$-operads we obtain involutive analogs of the usual change of color and operad adjunctions. As an application, we turn the colored operads for algebraic quantum field theory into colored $\ast$-operads. The simplest instance is the associative $\ast$-operad, whose $\ast$-algebras are unital and associative $\ast$-algebras. △ Less

Submitted 11 February, 2019; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: v2: 36 pages, final version published in Theory and Applications of Categories

Report number: ZMP-HH/18-6, Hamburger Beitraege zur Mathematik Nr. 725 MSC Class: 18Dxx; 81Txx

Journal ref: Theory and Applications of Categories, Vol. 34, 2019, No. 2, pp. 13-57

Singular values and non-repelling cycles for entire transcendental maps

Authors: Anna Miriam Benini, Núria Fagella

Abstract: Let $f$ be a map with bounded set of singular values for which periodic dynamic rays exist and land. We prove that each non-repelling cycle is associated to a singular orbit which cannot accumulate on any other non-repelling cycle. When $f$ has finitely many singular values this implies a refinement of the Fatou-Shishikura inequality. Our approach is combinatorial in the spirit of the approach use… ▽ More Let $f$ be a map with bounded set of singular values for which periodic dynamic rays exist and land. We prove that each non-repelling cycle is associated to a singular orbit which cannot accumulate on any other non-repelling cycle. When $f$ has finitely many singular values this implies a refinement of the Fatou-Shishikura inequality. Our approach is combinatorial in the spirit of the approach used by [Ki00], [BCL+16] for polynomials. △ Less

Submitted 1 December, 2017; originally announced December 2017.

Comments: 13 pages, 1 figure

MSC Class: 30D05; 37F10; 30D30

A landing theorem for entire functions with bounded post-singular sets

Authors: Anna Miriam Benini, Lasse Rempe

Abstract: The Douady-Hubbard landing theorem for periodic external rays is one of the cornerstones of the study of polynomial dynamics. It states that, for a complex polynomial with bounded postcritical set, every periodic external ray lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic point is the landing point of at least one periodic external ray. We prove an… ▽ More The Douady-Hubbard landing theorem for periodic external rays is one of the cornerstones of the study of polynomial dynamics. It states that, for a complex polynomial with bounded postcritical set, every periodic external ray lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic point is the landing point of at least one periodic external ray. We prove an analogue of this theorem for an entire function with bounded postsingular set. If the function has finite order of growth, then it is known that the escaping set contains certain curves called "periodic hairs"; we show that every periodic hair lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic periodic point is the landing point of at least one periodic hair. For a postsingularly bounded entire function of infinite order, such hairs may not exist. Therefore we introduce certain dynamically natural connected sets, called "filaments". We show that every periodic filament lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic periodic point is the landing point of at least one periodic filament. More generally, we prove that every point of a hyperbolic set is the landing point of a filament. △ Less

Submitted 3 April, 2023; v1 submitted 29 November, 2017; originally announced November 2017.

Comments: 59 pages, 3 figures. Updated from the version in Geom. Funct. Analysis with the term "filament," with an explanation of the change of terminology. A small number of corrections has also been made from the pre-publication manuscript

MSC Class: 37F20 (primary); 30D05; 37F10; 37F12 (secondary)

Journal ref: Geometric and Functional Analysis 30 (2020), 1465--1530

A survey on MLC, Rigidity and related topics

Authors: Anna Miriam Benini

Abstract: The famous MLC Conjecture states that the Mandelbrot set is locally connected, and it is considered by many to be the central conjecture in one-dimensional complex dynamics. Among others, it implies density of hyperbolicity in the quadratic family $\{z^2+c\}_{c\in\mathbb{C}}$. We describe recent advances on MLC and the relations between MLC, the Density of Hyperbolicity Conjecture, the Rigidity Co… ▽ More The famous MLC Conjecture states that the Mandelbrot set is locally connected, and it is considered by many to be the central conjecture in one-dimensional complex dynamics. Among others, it implies density of hyperbolicity in the quadratic family $\{z^2+c\}_{c\in\mathbb{C}}$. We describe recent advances on MLC and the relations between MLC, the Density of Hyperbolicity Conjecture, the Rigidity Conjecture, the No Invariant Line Fields Conjecture, and the Triviality of Fibers Conjecture. We treat families of unicritical polynomials and rational maps as well as the exponential family and families of transcendental maps with finitely many singular values. △ Less

Submitted 5 January, 2018; v1 submitted 28 September, 2017; originally announced September 2017.

MSC Class: 37F25; 37F10; 37F20; 37F45

Operads for algebraic quantum field theory

Authors: Marco Benini, Alexander Schenkel, Lukas Woike

Abstract: We construct a colored operad whose category of algebras is the category of algebraic quantum field theories. This is achieved by a construction that depends on the choice of a category, whose objects provide the operad colors, equipped with an additional structure that we call an orthogonality relation. This allows us to describe different types of quantum field theories, including theories on a… ▽ More We construct a colored operad whose category of algebras is the category of algebraic quantum field theories. This is achieved by a construction that depends on the choice of a category, whose objects provide the operad colors, equipped with an additional structure that we call an orthogonality relation. This allows us to describe different types of quantum field theories, including theories on a fixed Lorentzian manifold, locally covariant theories and also chiral conformal and Euclidean theories. Moreover, because the colored operad depends functorially on the orthogonal category, we obtain adjunctions between categories of different types of quantum field theories. These include novel and interesting constructions, such as time-slicification and local-to-global extensions of quantum field theories. We compare the latter to Fredenhagen's universal algebra. △ Less

Submitted 17 February, 2020; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: v1: 64 pages - v2: 31 pages, presentation improved and shortened - v3: Final version to appear in Communications in Contemporary Mathematics

Report number: ZMP-HH/17-26, Hamburger Beitraege zur Mathematik Nr. 682 MSC Class: 81Txx; 18D50

Journal ref: Communications in Contemporary Mathematics 23(2), 2050007 (2021)

Dynamics of transcendental Hénon maps

Authors: Leandro Arosio, Anna Miriam Benini, John Erik Fornaess, Han Peters

Abstract: The dynamics of transcendental functions in the complex plane has received a significant amount of attention. In particular much is known about the description of Fatou components. Besides the types of periodic Fatou components that can occur for polynomials, there also exist so-called Baker domains, periodic components where all orbits converge to infinity, as well as wandering domains. In tryi… ▽ More The dynamics of transcendental functions in the complex plane has received a significant amount of attention. In particular much is known about the description of Fatou components. Besides the types of periodic Fatou components that can occur for polynomials, there also exist so-called Baker domains, periodic components where all orbits converge to infinity, as well as wandering domains. In trying to find analogues of these one dimensional results, it is not clear which higher dimensional transcendental maps to consider. In this paper we find inspiration from the extensive work on the dynamics of complex Hénon maps. We introduce the family of transcendental Hénon maps, and study their dynamics, emphasizing the description of Fatou components. We prove that the classification of the recurrent invariant Fatou components is similar to that of polynomial Hénon maps, and we give examples of Baker domains and wandering domains. △ Less

Submitted 25 May, 2017; originally announced May 2017.

MSC Class: 32H50; 37F50; 37F10

The stack of Yang-Mills fields on Lorentzian manifolds

Authors: Marco Benini, Alexander Schenkel, Urs Schreiber

Abstract: We provide an abstract definition and an explicit construction of the stack of non-Abelian Yang-Mills fields on globally hyperbolic Lorentzian manifolds. We also formulate a stacky version of the Yang-Mills Cauchy problem and show that its well-posedness is equivalent to a whole family of parametrized PDE problems. Our work is based on the homotopy theoretical approach to stacks proposed in [S. Ho… ▽ More We provide an abstract definition and an explicit construction of the stack of non-Abelian Yang-Mills fields on globally hyperbolic Lorentzian manifolds. We also formulate a stacky version of the Yang-Mills Cauchy problem and show that its well-posedness is equivalent to a whole family of parametrized PDE problems. Our work is based on the homotopy theoretical approach to stacks proposed in [S. Hollander, Israel J. Math. 163, 93-124 (2008)], which we shall extend by further constructions that are relevant for our purposes. In particular, we will clarify the concretification of mapping stacks to classifying stacks such as $\mathrm{B}G_\mathrm{con}$. △ Less

Submitted 23 March, 2018; v1 submitted 5 April, 2017; originally announced April 2017.

Comments: 50 pages, final version published in Communications in Mathematical Physics

MSC Class: 70S15; 18F20; 18G55

Journal ref: Commun. Math. Phys. 359, 765-820 (2018)

Quantum field theories on categories fibered in groupoids

Authors: Marco Benini, Alexander Schenkel

Abstract: We introduce an abstract concept of quantum field theory on categories fibered in groupoids over the category of spacetimes. This provides us with a general and flexible framework to study quantum field theories defined on spacetimes with extra geometric structures such as bundles, connections and spin structures. Using right Kan extensions, we can assign to any such theory an ordinary quantum fie… ▽ More We introduce an abstract concept of quantum field theory on categories fibered in groupoids over the category of spacetimes. This provides us with a general and flexible framework to study quantum field theories defined on spacetimes with extra geometric structures such as bundles, connections and spin structures. Using right Kan extensions, we can assign to any such theory an ordinary quantum field theory defined on the category of spacetimes and we shall clarify under which conditions it satisfies the axioms of locally covariant quantum field theory. The same constructions can be performed in a homotopy theoretic framework by using homotopy right Kan extensions, which allows us to obtain first toy-models of homotopical quantum field theories resembling some aspects of gauge theories. △ Less

Submitted 24 August, 2017; v1 submitted 19 October, 2016; originally announced October 2016.

Comments: v2: 41 pages. Final version published in Communications in Mathematical Physics

MSC Class: 81T05; 18D30; 18G55

Journal ref: Commun. Math. Phys. 356, 19-64 (2017)

Poisson algebras for non-linear field theories in the Cahiers topos

Authors: Marco Benini, Alexander Schenkel

Abstract: We develop an approach to construct Poisson algebras for non-linear scalar field theories that is based on the Cahiers topos model for synthetic differential geometry. In this framework the solution space of the field equation carries a natural smooth structure and, following Zuckerman's ideas, we can endow it with a presymplectic current. We formulate the Hamiltonian vector field equation in this… ▽ More We develop an approach to construct Poisson algebras for non-linear scalar field theories that is based on the Cahiers topos model for synthetic differential geometry. In this framework the solution space of the field equation carries a natural smooth structure and, following Zuckerman's ideas, we can endow it with a presymplectic current. We formulate the Hamiltonian vector field equation in this setting and show that it selects a family of observables which forms a Poisson algebra. Our approach provides a clean splitting between geometric and algebraic aspects of the construction of a Poisson algebra, which are sufficient to guarantee existence, and analytical aspects that are crucial to analyze its properties. △ Less

Submitted 10 October, 2016; v1 submitted 1 February, 2016; originally announced February 2016.

Comments: v2: 24 pages; compatible with version to appear in Annales Henri Poincare

Report number: EMPG-16-03 MSC Class: 70S05; 51K10; 18F20; 17B63

Journal ref: Annales Henri Poincaré, 18(4), 1435-1464 (2017)

Cheeger-Simons differential characters with compact support and Pontryagin duality

Authors: Christian Becker, Marco Benini, Alexander Schenkel, Richard J. Szabo

Abstract: By adapting the Cheeger-Simons approach to differential cohomology, we establish a notion of differential cohomology with compact support. We show that it is functorial with respect to open embeddings and that it fits into a natural diagram of exact sequences which compare it to compactly supported singular cohomology and differential forms with compact support, in full analogy to ordinary differe… ▽ More By adapting the Cheeger-Simons approach to differential cohomology, we establish a notion of differential cohomology with compact support. We show that it is functorial with respect to open embeddings and that it fits into a natural diagram of exact sequences which compare it to compactly supported singular cohomology and differential forms with compact support, in full analogy to ordinary differential cohomology. We prove an excision theorem for differential cohomology using a suitable relative version. Furthermore, we use our model to give an independent proof of Pontryagin duality for differential cohomology recovering a result of [Harvey, Lawson, Zweck - Amer. J. Math. 125 (2003) 791]: On any oriented manifold, ordinary differential cohomology is isomorphic to the smooth Pontryagin dual of compactly supported differential cohomology. For manifolds of finite-type, a similar result is obtained interchanging ordinary with compactly supported differential cohomology. △ Less

Submitted 3 December, 2019; v1 submitted 1 November, 2015; originally announced November 2015.

Comments: 33 pages, no figures - v3: Final version to be published in Communications in Analysis and Geometry

Report number: EMPG-15-16

Journal ref: Communications in Analysis and Geometry 27(7), 1473-1522 (2019)

Abelian duality on globally hyperbolic spacetimes

Authors: Christian Becker, Marco Benini, Alexander Schenkel, Richard J. Szabo

Abstract: We study generalized electric/magnetic duality in Abelian gauge theory by combining techniques from locally covariant quantum field theory and Cheeger-Simons differential cohomology on the category of globally hyperbolic Lorentzian manifolds. Our approach generalizes previous treatments using the Hamiltonian formalism in a manifestly covariant way and without the assumption of compact Cauchy surfa… ▽ More We study generalized electric/magnetic duality in Abelian gauge theory by combining techniques from locally covariant quantum field theory and Cheeger-Simons differential cohomology on the category of globally hyperbolic Lorentzian manifolds. Our approach generalizes previous treatments using the Hamiltonian formalism in a manifestly covariant way and without the assumption of compact Cauchy surfaces. We construct semi-classical configuration spaces and corresponding presymplectic Abelian groups of observables, which are quantized by the CCR-functor to the category of $C^*$-algebras. We demonstrate explicitly how duality is implemented as a natural isomorphism between quantum field theories. We apply this formalism to develop a fully covariant quantum theory of self-dual fields. △ Less

Submitted 15 June, 2016; v1 submitted 1 November, 2015; originally announced November 2015.

Comments: 30 pages, no figures - Final version published in Communications in Mathematical Physics

Report number: EMPG-15-13 MSC Class: 81T13; 81T05; 53C08; 55N20

Journal ref: Commun. Math. Phys. 349, 361 (2017)

Homotopy colimits and global observables in Abelian gauge theory

Authors: Marco Benini, Alexander Schenkel, Richard J. Szabo

Abstract: We study chain complexes of field configurations and observables for Abelian gauge theory on contractible manifolds, and show that they can be extended to non-contractible manifolds by using techniques from homotopy theory. The extension prescription yields functors from a category of manifolds to suitable categories of chain complexes. The extended functors properly describe the global field and… ▽ More We study chain complexes of field configurations and observables for Abelian gauge theory on contractible manifolds, and show that they can be extended to non-contractible manifolds by using techniques from homotopy theory. The extension prescription yields functors from a category of manifolds to suitable categories of chain complexes. The extended functors properly describe the global field and observable content of Abelian gauge theory, while the original gauge field configurations and observables on contractible manifolds are recovered up to a natural weak equivalence. △ Less

Submitted 29 May, 2015; v1 submitted 30 March, 2015; originally announced March 2015.

Comments: 24 pages. v2: 25 pages, Sections 3.2 and 4.2 expanded, one reference added. Published in Letters in Mathematical Physics

Report number: EMPG-15-04 MSC Class: 70S15; 81T13; 55U15; 55N20

Journal ref: Lett. Math. Phys. 105, 1193-1222 (2015)

Permutable entire functions and multiply connected wandering domains

Authors: Anna Miriam Benini, Philip J. Rippon, Gwyneth M. Stallard

Abstract: Let $f$ and $g$ be permutable transcendental entire functions. We use a recent analysis of the dynamical behaviour in multiply connected wandering domains to make progress on the long standing conjecture that the Julia sets of $f$ and $g$ are equal; in particular, we show that $J(f)=J(g)$ provided that neither $f$ nor $g$ has a simply connected wandering domain in the fast escaping set. Let $f$ and $g$ be permutable transcendental entire functions. We use a recent analysis of the dynamical behaviour in multiply connected wandering domains to make progress on the long standing conjecture that the Julia sets of $f$ and $g$ are equal; in particular, we show that $J(f)=J(g)$ provided that neither $f$ nor $g$ has a simply connected wandering domain in the fast escaping set. △ Less

Submitted 27 March, 2015; originally announced March 2015.

Comments: 1 figure

MSC Class: 37F10; 30D05; 30D20

A note on repelling periodic points for meromorphic functions with bounded set of singular values

Authors: Anna Miriam Benini

Abstract: Let $f$ be a meromorphic function with bounded set of singular values and for which infinity is a logarithmic singularity. Then we show that $f$ has infinitely many repelling periodic points for any minimal period $n\geq1$, using a much simpler argument than the corresponding results for arbitrary entire transcendental functions. Let $f$ be a meromorphic function with bounded set of singular values and for which infinity is a logarithmic singularity. Then we show that $f$ has infinitely many repelling periodic points for any minimal period $n\geq1$, using a much simpler argument than the corresponding results for arbitrary entire transcendental functions. △ Less

Submitted 23 October, 2015; v1 submitted 25 November, 2014; originally announced November 2014.

Comments: References and a figure added, improvements in the proof, 8 pages

MSC Class: 37F10; 37F20

Journal ref: Rev. Mat, Iberoam. 32 (2016), no.1, 265-272

A simplified definition of logically distributive categories

Authors: Marco Benini

Abstract: In [Ben13], the notion of logically distributive category has been introduced to provide a sound and complete semantics to multi-sorted first-order logical theories based on intuitionistic logic. In this note, it will be shown that the definition of logically distributive category can be simplified by dropping two requirements, the one saying that product must distribute over sum, and the one sayi… ▽ More In [Ben13], the notion of logically distributive category has been introduced to provide a sound and complete semantics to multi-sorted first-order logical theories based on intuitionistic logic. In this note, it will be shown that the definition of logically distributive category can be simplified by dropping two requirements, the one saying that product must distribute over sum, and the one saying that product must distribute over existential quantification. △ Less

Submitted 4 June, 2014; originally announced June 2014.

MSC Class: 18A30; 18A40; 03F55

Cartesian closed categories are distributive

Authors: Marco Benini

Abstract: A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to the product functor. And, since functors having a right adjoint preserve co-limits, the result follows immediately. But, when we try to explicitly construct th… ▽ More A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to the product functor. And, since functors having a right adjoint preserve co-limits, the result follows immediately. But, when we try to explicitly construct the arrows, things become a bit more involved. In rare cases, it is pretty useful to have the exact arrows that make this isomorphism to hold. The purpose of this note is to develop the explicit proof with all the involved arrows constructed in an explicit way. △ Less

Submitted 12 June, 2014; v1 submitted 4 June, 2014; originally announced June 2014.

MSC Class: 18A30; 18A40

A C*-algebra for quantized principal U(1)-connections on globally hyperbolic Lorentzian manifolds

Authors: Marco Benini, Claudio Dappiaggi, Thomas-Paul Hack, Alexander Schenkel

Abstract: The aim of this work is to complete our program on the quantization of connections on arbitrary principal U(1)-bundles over globally hyperbolic Lorentzian manifolds. In particular, we show that one can assign via a covariant functor to any such bundle an algebra of observables which separates gauge equivalence classes of connections. The C*-algebra we construct generalizes the usual CCR-algebras s… ▽ More The aim of this work is to complete our program on the quantization of connections on arbitrary principal U(1)-bundles over globally hyperbolic Lorentzian manifolds. In particular, we show that one can assign via a covariant functor to any such bundle an algebra of observables which separates gauge equivalence classes of connections. The C*-algebra we construct generalizes the usual CCR-algebras since, contrary to the standard field-theoretic models, it is based on a presymplectic Abelian group instead of a symplectic vector space. We prove a no-go theorem according to which neither this functor, nor any of its quotients, satisfies the strict axioms of general local covariance. As a byproduct, we prove that a morphism violates the locality axiom if and only if a certain induced morphism of cohomology groups is non-injective. We then show that fixing any principal U(1)-bundle, there exists a suitable category of sub-bundles for which a quotient of our functor yields a quantum field theory in the sense of Haag and Kastler. We shall provide a physical interpretation of this feature and we obtain some new insights concerning electric charges in locally covariant quantum field theory. △ Less

Submitted 20 March, 2014; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: v2: 23 pages. Presentation improved and extended. New results (Theorem 4.9 and 5.2) on cohomological characterization of non-injective morphisms added. To appear in Comm. Math. Phys

Report number: BUW-IMACM 13/12 MSC Class: 81T20; 81T05; 81T13; 53Cxx

Journal ref: Commun. Math. Phys. 332, 477 (2014)

Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism

Authors: Marco Benini

Abstract: This reports introduces a novel sound and complete semantics for first order intuitionistic logic, in the framework of category theory and by the computational interpretation of the logic based on the so-called Curry-Howard isomorphism. Aside, a sound and complete semantics for the corresponding lambda-calculus is derived, too. This semantics extends, in a way, the more traditional meanings given… ▽ More This reports introduces a novel sound and complete semantics for first order intuitionistic logic, in the framework of category theory and by the computational interpretation of the logic based on the so-called Curry-Howard isomorphism. Aside, a sound and complete semantics for the corresponding lambda-calculus is derived, too. This semantics extends, in a way, the more traditional meanings given by Heyting categories, the topos-theoretic interpretation, and Kripke models. The feature which justifies the introduction of this novel semantics is the fact that it is 'point-free', i.e., there is no universe whose elements are used to interpret the logical terms. In other words, terms do not denote individuals of some collection but, instead, they denote the 'glue' which keeps together the interpretations of statements, similarly to what happens in formal topology. Since the proposed semantics can be trivially extended to all the first-order logical theories based on the intuitionistic system (and, with some care, to minimal systems as well), the semantics covers also all the predicative theories, even if some peculiar aspects of these theories should be remarked. △ Less

Submitted 29 June, 2013; originally announced July 2013.

Comments: 92 pages

MSC Class: 03F55