This book provides a general and powerful definition of homotopy algebraic quantum field theory and homotopy prefactorization algebra using a new coend definition of the Boardman-Vogt construction for a colored operad. All of their homotopy coherent structures are explained in details, along with a comparison between the two approaches at the operad level. With chapters on basic category theory, trees, and operads, this book is self-contained and is accessible to graduate students.

Homotopy Quantum Field Theory (HQFT) is a branch of Topological Quantum Field Theory founded by E. Witten and M. Atiyah. It applies ideas from theoretical physics to study principal bundles over manifolds and, more generally, homotopy classes of maps from manifolds to a fixed target space. This book is the first systematic exposition of Homotopy Quantum Field Theory. It starts with a formal definition of an HQFT and provides examples of HQFTs in all dimensions. The main body of the text is focused on $2$-dimensional and $3$-dimensional HQFTs. A study of these HQFTs leads to new algebraic objects: crossed Frobenius group-algebras, crossed ribbon group-categories, and Hopf group-coalgebras. These notions and their connections with HQFTs are discussed in detail. The text ends with several appendices including an outline of recent developments and a list of open problems. Three appendices by M. Muger and A. Virelizier summarize their work in this area. The book is addressed to mathematicians, theoretical physicists, and graduate students interested in topological aspects of quantum field theory. The exposition is self-contained and well suited for a one-semester graduate course. Prerequisites include only basics of algebra and topology.

These lectures recount an application of stable homotopy theory to a concrete problem in low energy physics: the classification of special phases of matter. While the joint work of the author and Michael Hopkins is a focal point, a general geometric frame of reference on quantum field theory is emphasized. Early lectures describe the geometric axiom systems introduced by Graeme Segal and Michael Atiyah in the late 1980s, as well as subsequent extensions. This material provides an entry point for mathematicians to delve into quantum field theory. Classification theorems in low dimensions are proved to illustrate the framework. The later lectures turn to more specialized topics in field theory, including the relationship between invertible field theories and stable homotopy theory, extended unitarity, anomalies, and relativistic free fermion systems. The accompanying mathematical explanations touch upon (higher) category theory, duals to the sphere spectrum, equivariant spectra, differential cohomology, and Dirac operators. The outcome of computations made using the Adams spectral sequence is presented and compared to results in the condensed matter literature obtained by very different means. The general perspectives and specific applications fuse into a compelling story at the interface of contemporary mathematics and theoretical physics.

Perturbative Algebraic Quantum Field Theory (pAQFT), the subject of this book, is a complete and mathematically rigorous treatment of perturbative quantum field theory (pQFT) that doesn’t require the use of divergent quantities and works on a large class of Lorenzian manifolds. We discuss in detail the examples of scalar fields, gauge theories and the effective quantum gravity. pQFT models describe a wide range of physical phenomena and have remarkable agreement with experimental results. Despite this success, the theory suffers from many conceptual problems. pAQFT is a good candidate to solve many, if not all, of these conceptual problems. Chapters 1-3 provide some background in mathematics and physics. Chapter 4 concerns classical theory of the scalar field, which is subsequently quantized in chapters 5 and 6. Chapter 7 covers gauge theory and chapter 8 discusses effective quantum gravity. The book aims to be accessible to researchers and graduate students, who are interested in the mathematical foundations of pQFT.

This first volume develops factorization algebras with a focus upon examples exhibiting their use in field theory, which will be useful for researchers and graduates.

This ambitious and original book sets out to introduce to mathematicians (even including graduate students ) the mathematical methods of theoretical and experimental quantum field theory, with an emphasis on coordinate-free presentations of the mathematical objects in use. This in turn promotes the interaction between mathematicians and physicists by supplying a common and flexible language for the good of both communities, though mathematicians are the primary target. This reference work provides a coherent and complete mathematical toolbox for classical and quantum field theory, based on categorical and homotopical methods, representing an original contribution to the literature. The first part of the book introduces the mathematical methods needed to work with the physicists' spaces of fields, including parameterized and functional differential geometry, functorial analysis, and the homotopical geometric theory of non-linear partial differential equations, with applications to general gauge theories. The second part presents a large family of examples of classical field theories, both from experimental and theoretical physics, while the third part provides an introduction to quantum field theory, presents various renormalization methods, and discusses the quantization of factorization algebras.

The subject of this book is the theory of operads and colored operads, sometimes called symmetric multicategories. A (colored) operad is an abstract object which encodes operations with multiple inputs and one output and relations between such operations. The theory originated in the early 1970s in homotopy theory and quickly became very important in algebraic topology, algebra, algebraic geometry, and even theoretical physics (string theory). Topics covered include basic graph theory, basic category theory, colored operads, and algebras over colored operads. Free colored operads are discussed in complete detail and in full generality. The intended audience of this book includes students and researchers in mathematics and other sciences where operads and colored operads are used. The prerequisite for this book is minimal. Every major concept is thoroughly motivated. There are many graphical illustrations and about 150 exercises. This book can be used in a graduate course and for independent study.

Conceptual progress in fundamental theoretical physics is linked with the search for the suitable mathematical structures that model the physical systems. Quantum field theory (QFT) has proven to be a rich source of ideas for mathematics for a long time. However, fundamental questions such as ``What is a QFT?'' did not have satisfactory mathematical answers, especially on spaces with arbitrary topology, fundamental for the formulation of perturbative string theory. This book contains a collection of papers highlighting the mathematical foundations of QFT and its relevance to perturbative string theory as well as the deep techniques that have been emerging in the last few years. The papers are organized under three main chapters: Foundations for Quantum Field Theory, Quantization of Field Theories, and Two-Dimensional Quantum Field Theories. An introduction, written by the editors, provides an overview of the main underlying themes that bind together the papers in the volume.

In recent years topology has firmly established itself as an important part of the physicist's mathematical arsenal. It has many applications, first of all in quantum field theory, but increasingly also in other areas of physics. The main focus of this book is on the results of quantum field theory that are obtained by topological methods. Some aspects of the theory of condensed matter are also discussed. Part I is an introduction to quantum field theory: it discusses the basic Lagrangians used in the theory of elementary particles. Part II is devoted to the applications of topology to quantum field theory. Part III covers the necessary mathematical background in summary form. The book is aimed at physicists interested in applications of topology to physics and at mathematicians wishing to familiarize themselves with quantum field theory and the mathematical methods used in this field. It is accessible to graduate students in physics and mathematics.

2-Dimensional Categories is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory.