Frobenius Algebras and 2-D Topological Quantum Field TheoriesThis 2003 book describes a striking connection between topology and algebra, namely that 2D topological quantum field theories are equivalent to commutative Frobenius algebras. The precise formulation of the theorem and its proof is given in terms of monoidal categories, and the main purpose of the book is to develop these concepts from an elementary level, and more generally serve as an introduction to categorical viewpoints in mathematics. Rather than just proving the theorem, it is shown how the result fits into a more general pattern concerning universal monoidal categories for algebraic structures. Throughout, the emphasis is on the interplay between algebra and topology, with graphical interpretation of algebraic operations, and topological structures described algebraically in terms of generators and relations. The book will prove valuable to students or researchers entering this field who will learn a host of modern techniques that will prove useful for future work. |
Contents
IV | 1 |
V | 9 |
VII | 10 |
IX | 12 |
X | 15 |
XI | 18 |
XIII | 22 |
XIV | 28 |
XXXIX | 135 |
XL | 138 |
XLI | 139 |
XLII | 140 |
XLIII | 143 |
XLIV | 146 |
XLV | 148 |
XLVI | 150 |
XV | 30 |
XVI | 34 |
XVII | 35 |
XVIII | 44 |
XIX | 48 |
XX | 54 |
XXI | 56 |
XXIII | 62 |
XXIV | 69 |
XXV | 72 |
XXVI | 73 |
XXVII | 78 |
XXVIII | 79 |
XXX | 86 |
XXXI | 94 |
XXXII | 98 |
XXXIII | 106 |
XXXIV | 108 |
XXXV | 121 |
XXXVI | 123 |
XXXVII | 131 |
XXXVIII | 132 |
Other editions - View all
Frobenius Algebras and 2-D Topological Quantum Field Theories Joachim Kock No preview available - 2003 |
Common terms and phrases
1-manifold 2-dimensional 2Cob A-linear associativity axioms called canonical cartesian product characterised coalgebra cobordism classes commutative Frobenius algebras comonoid compatible composition comultiplication connected components consider copairing corresponding counit cylinder defined definition denote diagrams commute diffeomorphism disjoint union dots dual equation equivalent example Exercise finite dimension finite sets finite-dimensional FinSet free monoidal Frobenius algebra Frobenius form Frobenius relation Frobenius structure given graphical identity arrows identity map in-boundary invertible isomorphism k-algebra Lemma linear map M₁ monoid homomorphism monoidal structure multiplication map natural transformation nCob neutral element nondegenerate nontrivial normal form Note notion out-boundary pairing ẞ permutation precisely proof quantum field theories right A-module ring Show smooth structure strands subcategory surfaces symmetric group symmetric monoidal category symmetric monoidal functor tensor product theorem topological quantum field TQFT twist map unique universal property Vect Vectk vector space Σο
Popular passages
Page 234 - BAEZ and JAMES DOLAN. Higher-dimensional algebra and topological quantum field theory. J. Math. Phys. 36 (1995), 6073-6105 (q-alg/9503002).
Page 234 - On algebraic structures implicit in topological quantum field theories, J. Knot Theory Ramifications 8 (1999), 125-163.
Page 236 - From subfactors to categories and topology I. Frobenius algebras in and Morita equivalence of tensor categories. J. Pure Appl. Alg. 180 (2003), 81-157 (math.CT/01 11204).