-
Hopf monoids in perturbative algebraic quantum field theory
Authors:
William Norledge
Abstract:
We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliub…
▽ More
We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliubov-Shirkov, Steinmann, Ruelle, and Epstein-Glaser-Stora. In this paper, we give a fully explicit account in terms of modern theory developed by Aguiar-Mahajan. We describe the central construction of causal perturbation theory as a homomorphism from the Hopf monoid of set compositions, decorated with local observables, into the Wick algebra of microcausal polynomial observables. The operator-valued distributions called (generalized) time-ordered products and (generalized) retarded products are obtained as images of fundamental elements of this Hopf monoid under the curried homomorphism. The perturbative S-matrix scheme corresponds to the so-called universal series, and the property of causal factorization is naturally expressed in terms of the action of the Hopf monoid on itself by Hopf powers, called the Tits product. Given a system of fully renormalized time-ordered products, the perturbative construction of the corresponding interacting products is via an up biderivation of the Hopf monoid, which recovers Bogoliubov's formula.
△ Less
Submitted 2 January, 2023;
originally announced January 2023.
-
Braid arrangement bimonoids and the toric variety of the permutohedron
Authors:
William Norledge
Abstract:
We show that the toric variety of the permutohedron (=permutohedral space) has the structure of a cocommutative bimonoid in species, with multiplication/comultiplication given by embedding/projecting-onto boundary divisors. In terms of Losev-Manin's description of permutohedral space as a moduli space, multiplication is concatenation of strings of Riemann spheres and comultiplication is forgetting…
▽ More
We show that the toric variety of the permutohedron (=permutohedral space) has the structure of a cocommutative bimonoid in species, with multiplication/comultiplication given by embedding/projecting-onto boundary divisors. In terms of Losev-Manin's description of permutohedral space as a moduli space, multiplication is concatenation of strings of Riemann spheres and comultiplication is forgetting marked points. In this way, the bimonoid structure is an analog of the cyclic operad structure on the moduli space of genus zero marked curves. Covariant/contravariant data on permutohedral space is endowed with the structure of cocommutative/commutative bimonoids by pushing-forward/pulling-back data along the (co)multiplication. Many well-known combinatorial objects index data on permutohedral space. Moreover, combinatorial objects often have the structure of bimonoids, with multiplication/comultiplication given by merging/restricting objects in some way. We prove that the bimonoid structure enjoyed by these indexing combinatorial objects coincides with that induced by the bimonoid structure of permutohedral space. Thus, permutohedral space may be viewed as a fundamental underlying object which geometrically interprets many combinatorial Hopf algebras. Aguiar-Mahajan have shown that classical combinatorial Hopf theory is based on the braid hyperplane arrangement in a crucial way. This paper aims to similarly establish permutohedral space as a central object, providing an even more unified perspective. The main motivation for this work concerns Feynman amplitudes in the Schwinger parametrization, which become integrals over permutohedral space if one blows-up everything in the resolution of singularities. Then the Hopf algebra structure of Feynman graphs, first appearing in the work of Connes-Kreimer, coincides with that induced by the bimonoid structure of permutohedral space.
△ Less
Submitted 28 December, 2022;
originally announced December 2022.
-
Species-theoretic foundations of perturbative quantum field theory
Authors:
William Norledge
Abstract:
We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliub…
▽ More
We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliubov-Shirkov, Steinmann, Ruelle, and Epstein-Glaser-Stora. In this paper, we give a fully explicit account in terms of modern theory developed by Aguiar-Mahajan. We describe the central construction of causal perturbation theory as a homomorphism from the Hopf monoid of set compositions, decorated with local observables, into the Wick algebra of microcausal polynomial observables. The operator-valued distributions called (generalized) time-ordered products and (generalized) retarded products are obtained as images of fundamental elements of this Hopf monoid under the curried homomorphism. The perturbative S-matrix scheme corresponds to the so-called universal series, and the property of causal factorization is naturally expressed in terms of the action of the Hopf monoid on itself by Hopf powers, called the Tits product. Given a system of fully renormalized time-ordered products, the perturbative construction of the corresponding interacting products is via an up biderivation of the Hopf monoid, which recovers Bogoliubov's formula.
△ Less
Submitted 24 October, 2021; v1 submitted 21 September, 2020;
originally announced September 2020.
-
Hopf monoids, permutohedral cones, and generalized retarded functions
Authors:
William Norledge,
Adrian Ocneanu
Abstract:
The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization of this Hopf monoid over the adjoint of the (essentialized) braid hyperplane arrangement, which identifies the monomial basis with signed characteristic functio…
▽ More
The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization of this Hopf monoid over the adjoint of the (essentialized) braid hyperplane arrangement, which identifies the monomial basis with signed characteristic functions of the interiors of permutohedral tangent cones. We show that the indecomposable quotient Lie coalgebra is obtained by restricting functions to chambers of the adjoint arrangement, i.e. by quotienting out the higher codimensions. The resulting functions are characterized by the Steinmann relations of axiomatic quantum field theory, demonstrating an equivalence between the Steinmann relations, tangent cones to (generalized) permutohedra, and having algebraic structure internal to species. Our results give a new interpretation of a construction appearing in the mathematically rigorous formulation of renormalization by Epstein-Glaser, called causal perturbation theory. In particular, we show that operator products of time-ordered products correspond to the H-basis of the cocommutative Hopf monoid of set compositions, and generalized retarded products correspond to a spanning set of its primitive part Lie algebra.
△ Less
Submitted 14 April, 2021; v1 submitted 26 November, 2019;
originally announced November 2019.
-
The adjoint braid arrangement as a combinatorial Lie algebra via the Steinmann relations
Authors:
Zhengwei Liu,
William Norledge,
Adrian Ocneanu
Abstract:
We study a certain discrete differentiation of piecewise-constant functions on the adjoint of the braid hyperplane arrangement, defined by taking finite-differences across hyperplanes. In terms of Aguiar-Mahajan's Lie theory of hyperplane arrangements, we show that this structure is equivalent to the action of Lie elements on faces. We use layered binary trees to encode flags of adjoint arrangemen…
▽ More
We study a certain discrete differentiation of piecewise-constant functions on the adjoint of the braid hyperplane arrangement, defined by taking finite-differences across hyperplanes. In terms of Aguiar-Mahajan's Lie theory of hyperplane arrangements, we show that this structure is equivalent to the action of Lie elements on faces. We use layered binary trees to encode flags of adjoint arrangement faces, allowing for the representation of certain Lie elements by antisymmetrized layered binary forests. This is dual to the well-known use of (delayered) binary trees to represent Lie elements of the braid arrangement. The discrete derivative then induces an action of layered binary forests on piecewise-constant functions, which we call the forest derivative. Our main result states that forest derivatives of functions factorize as external products of functions precisely if one restricts to functions which satisfy the Steinmann relations, which are certain four-term linear relations appearing in the foundations of axiomatic quantum field theory. We also show that the forest derivative satisfies the Lie properties of antisymmetry the Jacobi identity. It follows from these Lie properties, and also crucially factorization, that functions which satisfy the Steinmann relations form a left comodule of the Lie cooperad, with the coaction given by the forest derivative. Dually, this endows the adjoint braid arrangement modulo the Steinmann relations with the structure of a Lie algebra internal to the category of vector species. This work is a first step towards describing new connections between Hopf theory in species and quantum field theory.
△ Less
Submitted 12 January, 2022; v1 submitted 10 January, 2019;
originally announced January 2019.
-
Singer cyclic lattices of type M
Authors:
William Norledge
Abstract:
We construct the type-preserving panel-regular lattices in buildings of type M, for M with entries two, three or infinity, which have cyclic stabilizers of spherical 2-residues. We obtain these lattices as fundamental groups of their associated quotient buildings, which are constructed by amalgamating quotients of generalized digons and triangles by actions of Singer cyclic groups. Each quotient c…
▽ More
We construct the type-preserving panel-regular lattices in buildings of type M, for M with entries two, three or infinity, which have cyclic stabilizers of spherical 2-residues. We obtain these lattices as fundamental groups of their associated quotient buildings, which are constructed by amalgamating quotients of generalized digons and triangles by actions of Singer cyclic groups. Each quotient construction has an associated gluing matrix which encodes how the quotient generalized polygons are amalgamated. We show that these gluing matrices also encode presentations of the panel-regular lattices.
△ Less
Submitted 13 October, 2020; v1 submitted 25 November, 2017;
originally announced November 2017.
-
Quotients of buildings by groups acting freely on chambers
Authors:
William Norledge
Abstract:
We introduce certain directed multigraphs with extra structure, called Weyl graphs, which model quotients of Tits buildings by type-preserving chamber-free group actions. Their advantage over complexes of groups, which are often used for the CAT(0) Davis realization of buildings, is that Weyl graphs exploit the ultimate combinatorial W-metric structure of buildings. Weyl graphs generalize Tits's c…
▽ More
We introduce certain directed multigraphs with extra structure, called Weyl graphs, which model quotients of Tits buildings by type-preserving chamber-free group actions. Their advantage over complexes of groups, which are often used for the CAT(0) Davis realization of buildings, is that Weyl graphs exploit the ultimate combinatorial W-metric structure of buildings. Weyl graphs generalize Tits's chambers systems of type M by allowing 2-residues to be quotients of generalized polygons by flag-free group actions, and Weyl graphs are easily constructed by amalgamating such quotients. We develop covering theory of Weyl graphs, which can be used to construct buildings as universal covers. We describe a method of obtaining a group presentation of the fundamental group of a Weyl graph, which acts chamber-freely on the covering building. The theory developed here is part of a fully general theory which deals with not necessarily chamber-free actions and the stacky version of buildings.
△ Less
Submitted 13 October, 2020; v1 submitted 25 November, 2017;
originally announced November 2017.
-
Stacky Buildings
Authors:
William Norledge
Abstract:
We introduce structures which model quotients of buildings by type-preserving group actions. These structures, which we call W-groupoids for W a Coxeter group, generalize Bruhat decompositions, chambers systems of type M, Tits amalgams, and buildings themselves. We define the fundamental group of a W-groupoid, and characterize buildings as connected simply connected W-groupoids. We give a brief ou…
▽ More
We introduce structures which model quotients of buildings by type-preserving group actions. These structures, which we call W-groupoids for W a Coxeter group, generalize Bruhat decompositions, chambers systems of type M, Tits amalgams, and buildings themselves. We define the fundamental group of a W-groupoid, and characterize buildings as connected simply connected W-groupoids. We give a brief outline of covering theory of W-groupoids, which produces buildings as universal covers equipped with an action of the fundamental group. The local-to-global theorem of Tits concerning spherical 3-resides allows for the construction of W-groupoids by amalgamating quotients of generalized polygons along groupoids. In this way, W-groupoids provide a powerful way to construct (lattices in) exotic, hyperbolic, and wild buildings.
△ Less
Submitted 13 October, 2020; v1 submitted 18 October, 2017;
originally announced October 2017.
-
Maximal torsion-free subgroups of certain lattices of hyperbolic buildings and Davis complexes
Authors:
William Norledge,
Anne Thomas,
Alina Vdovina
Abstract:
We give an explicit construction of a maximal torsion-free finite-index subgroup of a certain type of Coxeter group. The subgroup is constructed as the fundamental group of a finite and non-positively curved polygonal complex. First we consider the special case where the universal cover of this polygonal complex is a hyperbolic building, and we construct finite-index embeddings of the fundamental…
▽ More
We give an explicit construction of a maximal torsion-free finite-index subgroup of a certain type of Coxeter group. The subgroup is constructed as the fundamental group of a finite and non-positively curved polygonal complex. First we consider the special case where the universal cover of this polygonal complex is a hyperbolic building, and we construct finite-index embeddings of the fundamental group into certain cocompact lattices of the building. We show that in this special case the fundamental group is an amalgam of surface groups over free groups. We then consider the general case, and construct a finite-index embedding of the fundamental group into the Coxeter group whose Davis complex is the universal cover of the polygonal complex. All of the groups which we embed have minimal index among torsion-free subgroups, and therefore are maximal among torsion-free subgroups.
△ Less
Submitted 6 July, 2016;
originally announced July 2016.
