BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Marco Benini

Marco Benini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
hep-thmath-phmath.MPgr-qcmath.CTmath.DGmath.ATLogic in Computer Sciencemath.LO

Catalog footprint

What is connected

19works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2022arXiv

Homotopical analysis of 4d Chern-Simons theory and integrable field theories

This paper provides a detailed study of $4$-dimensional Chern-Simons theory on $\mathbb{R}^2 \times \mathbb{C}P^1$ for an arbitrary meromorphic $1$-form $ω$ on $\mathbb{C}P^1$. Using techniques from homotopy theory, the behaviour under finite gauge transformations of a suitably regularised version of the action proposed by Costello and Yamazaki is investigated. Its gauge invariance is related to boundary conditions on the surface defects located at the poles of $ω$ that are determined by isotropic Lie subalgebras of a certain defect Lie algebra. The groupoid of fields satisfying such a boundary condition is proved to be equivalent to a groupoid that implements the boundary condition through a homotopy pullback, leading to the appearance of edge modes. The latter perspective is used to clarify how integrable field theories arise from $4$-dimensional Chern-Simons theory.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Operads for algebraic quantum field theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Cheeger-Simons differential characters with compact support and Pontryagin duality

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Linear Yang-Mills theory as a homotopy AQFT

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).

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Hadamard states for quantum Abelian duality

Abelian duality is realized naturally by combining differential cohomology and locally covariant quantum field theory. This leads to a C$^*$-algebra of observables, which encompasses the simultaneous discretization of both magnetic and electric fluxes. We discuss the assignment of physically well-behaved states to such algebra and the properties of the associated GNS triple. We show that the algebra of observables factorizes as a suitable tensor product of three C$^*$-algebras: the first factor encodes dynamical information, while the other two capture topological data corresponding to electric and magnetic fluxes. On the former factor we exhibit a state whose two-point correlation function has the same singular structure of a Hadamard state. Specifying suitable counterparts also on the topological factors we obtain a state for the full theory, providing ultimately a unitary implementation of Abelian duality.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Homotopy colimits and global observables in Abelian gauge theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Locality in Abelian gauge theories over globally hyperbolic spacetimes

The thesis investigates the locality axiom of general local covariance for Abelian gauge theories. Two models, Maxwell $k$-forms (higher analogues of the electromagnetic vector potential) and the $U(1)$ Yang-Mills model are analyzed over globally hyperbolic spacetimes. Our attention is mainly focused on the locality axiom of general local covariance, which states that a causal embedding between spacetimes should induce an inclusion at the level of observables. Both at the classical and at the quantum level, it turns out that the models we consider violate locality depending on certain global features of the background spacetime. For Maxwell $k$-forms, we prove that there is no coherent way to recover the locality axiom. For the $U(1)$ Yang-Mills model we adopt two different approaches: in the first one locality can be recovered coherently, but the class of observables we consider fails in detecting those field configurations which correspond to the Aharonov-Bohm effect; conversely, in our second approach observables are defined in the spirit of Wilson loops (hence capturing also Aharonov-Bohm configurations), but a no-go theorem shows that locality cannot be recovered in a coherent way.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Models of free quantum field theories on curved backgrounds

Free quantum field theories on curved backgrounds are discussed via three explicit examples: the real scalar field, the Dirac field and the Proca field. The first step consists of outlining the main properties of globally hyperbolic spacetimes, that is the class of manifolds on which the classical dynamics of all physically relevant free fields can be written in terms of a Cauchy problem. The set of all smooth solutions of the latter encompasses the dynamically allowed configurations which are used to identify via a suitable pairing a collection of classical observables. As a last step we use such collection to construct a $*$-algebra which encodes the information on the dynamics and on the canonical commutation or anti-commutation relations depending whether the underlying field is a Fermion or a Boson.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A simplified definition of logically distributive categories

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Cartesian closed categories are distributive

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Optimal space of linear classical observables for Maxwell $k$-forms via spacelike and timelike compact de Rham cohomologies

Being motivated by open questions in gauge field theories, we consider non-standard de Rham cohomology groups for timelike compact and spacelike compact support systems. These cohomology groups are shown to be isomorphic respectively to the usual de Rham cohomology of a spacelike Cauchy surface and its counterpart with compact support. Furthermore, an analog of the usual Poincaré duality for de Rham cohomology is shown to hold for the case with non-standard supports as well. We apply these results to find optimal spaces of linear observables for analogs of arbitrary degree $k$ of both the vector potential and the Faraday tensor. The term optimal has to be intended in the following sense: The spaces of linear observables we consider distinguish between different configurations; in addition to that, there are no redundant observables. This last point in particular heavily relies on the analog of Poincaré duality for the new cohomology groups.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Radiative observables for linearized gravity on asymptotically flat spacetimes and their boundary induced states

We discuss the quantization of linearized gravity on globally hyperbolic, asymptotically flat, vacuum spacetimes and the construction of distinguished states which are both of Hadamard form and invariant under the action of all bulk isometries. The procedure, we follow, consists of looking for a realization of the observables of the theory as a sub-algebra of an auxiliary, non-dynamical algebra constructed on future null infinity $\Im^+$. The applicability of this scheme is tantamount to proving that a solution of the equations of motion for linearized gravity can be extended smoothly to $\Im^+$. This has been claimed to be possible provided that a suitable gauge fixing condition, first written by Geroch and Xanthopoulos, is imposed. We review its definition critically showing that there exists a previously unnoticed obstruction in its implementation leading us to introducing the concept of radiative observables. These constitute an algebra for which a Hadamard state induced from null infinity and invariant under the action of all spacetime isometries exists and it is explicitly constructed.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantized Abelian principal connections on Lorentzian manifolds

We construct a covariant functor from a category of Abelian principal bundles over globally hyperbolic spacetimes to a category of *-algebras that describes quantized principal connections. We work within an appropriate differential geometric setting by using the bundle of connections and we study the full gauge group, namely the group of vertical principal bundle automorphisms. Properties of our functor are investigated in detail and, similar to earlier works, it is found that due to topological obstructions the locality property of locally covariant quantum field theory is violated. Furthermore, we prove that, for Abelian structure groups containing a nontrivial compact factor, the gauge invariant Borchers-Uhlmann algebra of the vector dual of the bundle of connections is not separating on gauge equivalence classes of principal connections. We introduce a topological generalization of the concept of locally covariant quantum fields. As examples, we construct for the category of principal U(1)-bundles two natural transformations from singular homology functors to the quantum field theory functor that can be interpreted as the Chern class and the electric charge. In this case we also prove that the electric charges can be consistently set to zero, which yields another quantum field theory functor that satisfies all axioms of locally covariant quantum field theory.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantum field theory on affine bundles

We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory, which allows us to prove that these models satisfy the principle of general local covariance. Our analysis is a preparatory step towards a full-fledged quantization scheme for the Maxwell field, which emphasises the affine bundle structure of the bundle of principal U(1)-connections. As a by-product, our construction provides a new class of exactly tractable locally covariant quantum field theories, which are a mild generalization of the linear ones. We also show the existence of a functorial assignment of linear quantum field theories to affine ones. The identification of suitable algebra homomorphisms enables us to induce whole families of physical states (satisfying the microlocal spectrum condition) for affine quantum field theories by pulling back quasi-free Hadamard states of the underlying linear theories.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantum Field Theory on Curved Backgrounds -- A Primer

Goal of this review is to introduce the algebraic approach to quantum field theory on curved backgrounds. Based on a set of axioms, first written down by Haag and Kastler, this method consists of a two-step procedure. In the first one, a suitable algebra of observables is assigned to a physical system, which is meant to encode all algebraic relations among observables, such as commutation relations, while, in the second step, one must select an algebraic state in order to recover the standard Hilbert space interpretation of a quantum system. As quantum field theories possess infinitely many degrees of freedom, many unitarily inequivalent Hilbert space representations exist and the power of such approach is the ability to treat them all in a coherent manner. We will discuss in detail the algebraic approach for free fields in order to give to the reader all necessary information to deal with the recent literature, which focuses on the applications to specific problems, mostly in cosmology.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Relative Cauchy Evolution for Spin 1 Fields

In this thesis the generally covariant locality principle for bosonic free fields has been thoroughly analyzed devoting particular attention to the case of spin 1 fields on curved spacetimes (Proca and Maxwell fields). This has been obtained in two steps: In the first place the preliminary study of the corresponding field equations led to the construction of a symplectic space of solutions describing the classical theories of the considered fields. Secondly the locally covariant quantum theory of the field under consideration has been obtained through the assignment of the Weyl algebra associated to the symplectic space describing the classical theory. The last part of the thesis has been devoted to the proof of the relative Cauchy evolution for both the Proca field and the Maxwell field.

0 citations0 reviewsNo code linkedOpen access