Book contents
- Frontmatter
- Dedication
- Contents
- 1 Introduction
- PART I PREFACTORIZATION ALGEBRAS
- PART II FIRST EXAMPLES OF FIELD THEORIES AND THEIR OBSERVABLES
- PART III FACTORIZATION ALGEBRAS
- Appendix A Background
- Appendix B Functional Analysis
- Appendix C Homological Algebra in Differentiable Vector Spaces
- Appendix D The Atiyah-Bott Lemma
- References
- Index
Appendix A - Background
Published online by Cambridge University Press: 19 January 2017
- Frontmatter
- Dedication
- Contents
- 1 Introduction
- PART I PREFACTORIZATION ALGEBRAS
- PART II FIRST EXAMPLES OF FIELD THEORIES AND THEIR OBSERVABLES
- PART III FACTORIZATION ALGEBRAS
- Appendix A Background
- Appendix B Functional Analysis
- Appendix C Homological Algebra in Differentiable Vector Spaces
- Appendix D The Atiyah-Bott Lemma
- References
- Index
Summary
We use techniques from disparate areas of mathematics throughout this book and not all of these techniques are standard knowledge, so here we provide a terse introduction to
• Simplicial sets and simplicial techniques
• Operads, colored operads (or multicategories), and algebras over colored operads
• Differential graded (dg) Lie algebras and their (co)homology
• Sheaves, cosheaves, and their homotopical generalizations
• Elliptic complexes, formal Hodge theory, and parametrices
along with pointers to more thorough treatments. By no means do readers need to be expert in all these areas to use our results or follow our arguments. They just need a working knowledge of this background machinery, and this appendix aims to provide the basic definitions, to state the results relevant for us, and to explain the essential intuition.
We do assume that readers are familiar with basic homological algebra and basic category theory. For homological algebra, there are numerous excellent sources, in books and online, among which we recommend the complementary texts by Weibel (1994) and Gelfand and Manin (2003). For category theory, the standard reference Mac Lane (1998) is adequate for our needs; we also recommend the series Borceux (1994a).
Remark: Our references are not meant to be complete, and we apologize in advance for the omission of many important works.We simply point out sources that we found pedagogically oriented or particularly accessible.
Reminders and Notation
We overview some terminology and notations before embarking on our expositions.
For C a category, we often use to indicate that x is an object of C. We typically write C(x, y) to the denote the set of morphisms between the objects x and y, although occasionally we use HomC(x, y). The opposite category Cop has the same objects but Cop(x, y) = C(y, x).
Given a collection of morphisms S in C, a localization of C with respect to S is a category C[S-1] and a functor q : C → C[S-1] satisfying the following conditions.
- Type
- Chapter
- Information
- Factorization Algebras in Quantum Field Theory , pp. 273 - 309Publisher: Cambridge University PressPrint publication year: 2016