arXiv subjects

Simen Bruinsma

Publications and source records attributed to Simen Bruinsma.

6 recordsLinked to original sources

arXiv2023

On Cohomology of Graph Complexes

This is a copy of my bachelor thesis, written under supervision of Sergey Shadrin in 2010. Original abstract: In this thesis we prove that the wheeled Poisson operad is not a wheeled Koszul operad. Chapter 1 introduces operads, the subclass of quadratic operads, and their Koszulness. In chapter 2, all these notions are extended to the case of wheeled operads, and we pose the main question. In chapter 3, some techniques for computing cohomology are introduced, and the first cycle that obstructs the Koszulness of the wheeled Poisson operad is found.

math.KT↗

arXiv2023

Universal first-order Massey product of a prefactorization algebra

This paper studies the universal first-order Massey product of a prefactorization algebra, which encodes higher algebraic operations on the cohomology. Explicit computations of these structures are carried out in the locally constant case, with applications to factorization envelopes on $\mathbb{R}^m$ and a compactification of linear Chern-Simons theory on $\mathbb{R}^2\times \mathbb{S}^1$.

math-ph↗

arXiv2022

Relative Cauchy evolution for linear homotopy AQFTs

This paper develops a concept of relative Cauchy evolution for the class of homotopy algebraic quantum field theories (AQFTs) that are obtained by canonical commutation relation quantization of Poisson chain complexes. The key element of the construction is a rectification theorem proving that the homotopy time-slice axiom, which is a higher categorical relaxation of the time-slice axiom of AQFT, can be strictified for theories in this class. The general concept is illustrated through a detailed study of the relative Cauchy evolution for the homotopy AQFT associated with linear Yang-Mills theory, for which the usual stress-energy tensor is recovered.

math-ph↗

arXiv2019

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

math-ph↗

arXiv2019

Algebraic field theory operads and linear quantization

We generalize the operadic approach to algebraic quantum field theory [arXiv:1709.08657] to a broader class of field theories whose observables on a spacetime are algebras over any single-colored operad. A novel feature of our framework is that it gives rise to adjunctions between different types of field theories. As an interesting example, we study an adjunction whose left adjoint describes the quantization of linear field theories. We also analyze homotopical properties of the linear quantization adjunction for chain complex valued field theories, which leads to a homotopically meaningful quantization prescription for linear gauge theories.

math-ph↗

arXiv2019

Coloring Operads for Algebraic Field Theory

In these proceedings we summarize previous work where we formalize a general concept of algebraic field theories using operads. After giving a gentle reminder of algebraic quantum field theory, operads and their algebras, we construct field theory operads, whose algebras are exactly algebraic field theories. Specifically, they satisfy a suitable version of the Einstein causality axiom. From this construction we get adjunctions between different types of field theories, including adjunctions related to local-to-global extensions and the time-slice axiom, and a quantization functor for linear field theories that is compatible with these structures. We also take first steps towards a derived linear quantization functor.

hep-th↗