Infinity Operads And Monoidal Categories With Group Equivariance

Infinity Operads And Monoidal Categories With Group Equivariance
Author: Donald Yau
Publisher: World Scientific
Total Pages: 486
Release: 2021-12-02
Genre: Mathematics
ISBN: 9811250944

This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad.In Part 4 we define general monoidal categories equipped with an action operad equivariant structure and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras.

Infinity Operads And Monoidal Categories With Group Equivariance

Infinity Operads And Monoidal Categories With Group Equivariance
Author: Donald Yau
Publisher:
Total Pages: 486
Release: 2021
Genre: Categories (Mathematics)
ISBN: 9789811250934

"This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad. In Part 4 we define general monoidal categories equipped with an action operad equivariant structure and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras"--

Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory

Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory
Author: Donald Yau
Publisher: American Mathematical Society
Total Pages: 555
Release: 2024-10-08
Genre: Mathematics
ISBN: 1470478099

Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. The three books published by the AMS in the Mathematical Surveys and Monographs series under the general title Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory (Volume I: Symmetric Bimonoidal Categories and Monoidal Bicategories?this book, Volume II: Braided Bimonoidal Categories with Applications, and Volume III: From Categories to Structured Ring Spectra) provide a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user-friendly resource for beginners and experts alike. Part 1 of this book proves in detail Laplaza's two coherence theorems and May's strictification theorem of symmetric bimonoidal categories, as well as their bimonoidal analogues. This part includes detailed corrections to several inaccurate statements and proofs found in the literature. Part 2 proves Baez's Conjecture on the existence of a bi-initial object in a 2-category of symmetric bimonoidal categories. The next main theorem states that a matrix construction, involving the matrix product and the matrix tensor product, sends a symmetric bimonoidal category with invertible distributivity morphisms to a symmetric monoidal bicategory, with no strict structure morphisms in general.

Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory

Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory
Author: Niles Johnson
Publisher: American Mathematical Society
Total Pages: 633
Release: 2024-10-23
Genre: Mathematics
ISBN: 1470478110

Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. The three books published by the AMS in the Mathematical Surveys and Monographs series under the title Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory (Volume I: Symmetric Bimonoidal Categories and Monoidal Bicategories, Volume II: Braided Bimonoidal Categories with Applications, and Volume III: From Categories to Structured Ring Spectra?this book) provide a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user-friendly resource for beginners and experts alike. Part 1 of this book is a detailed study of enriched monoidal categories, pointed diagram categories, and enriched multicategories. Using this machinery, Part 2 discusses the rich interconnection between the higher ring-like categories, homotopy theory, and algebraic $K$-theory. Starting with a chapter on homotopy theory background, the first half of Part 2 constructs the Segal $K$-theory functor and the Elmendorf-Mandell $K$-theory multifunctor from permutative categories to symmetric spectra. For the latter, the detailed treatment here includes identification and correction of some subtle errors concerning its extended domain. The second half applies the $K$-theory multifunctor to small ring, bipermutative, braided ring, and $E_n$-monoidal categories to obtain, respectively, strict ring, $E_{infty}$-, $E_2$-, and $E_n$-symmetric spectra.

Grothendieck Construction of Bipermutative-Indexed Categories

Grothendieck Construction of Bipermutative-Indexed Categories
Author: Donald Yau
Publisher: CRC Press
Total Pages: 361
Release: 2023-12-06
Genre: Mathematics
ISBN: 1003807461

This monograph is the first and only book-length reference for this material. Contents of Chapter 2, Chapter 3, Part 2, and Part 3 is new, not having appeared in any of the research literature. The book will appeal to mathematicians interested in topology. Book shelved as a reference title.

String-Net Construction of RCFT Correlators

String-Net Construction of RCFT Correlators
Author: Jürgen Fuchs
Publisher: Springer Nature
Total Pages: 129
Release: 2023-01-01
Genre: Science
ISBN: 3031146824

This book studies using string-net models to accomplish a direct, purely two-dimensional, approach to correlators of two-dimensional rational conformal field theories. The authors obtain concise geometric expressions for the objects describing bulk and boundary fields in terms of idempotents in the cylinder category of the underlying modular fusion category, comprising more general classes of fields than is standard in the literature. Combining these idempotents with Frobenius graphs on the world sheet yields string nets that form a consistent system of correlators, i.e. a system of invariants under appropriate mapping class groups that are compatible with factorization. The authors extract operator products of field objects from specific correlators; the resulting operator products are natural algebraic expressions that make sense beyond semisimplicity. They also derive an Eckmann-Hilton relation internal to a braided category, thereby demonstrating the utility of string nets for understanding algebra in braided tensor categories. Finally, they introduce the notion of a universal correlator. This systematizes the treatment of situations in which different world sheets have the same correlator and allows for the definition of a more comprehensive mapping class group.

Involutive Category Theory

Involutive Category Theory
Author: Donald Yau
Publisher: Springer Nature
Total Pages: 250
Release: 2020-11-30
Genre: Mathematics
ISBN: 3030612031

This monograph introduces involutive categories and involutive operads, featuring applications to the GNS construction and algebraic quantum field theory. The author adopts an accessible approach for readers seeking an overview of involutive category theory, from the basics to cutting-edge applications. Additionally, the author’s own recent advances in the area are featured, never having appeared previously in the literature. The opening chapters offer an introduction to basic category theory, ideal for readers new to the area. Chapters three through five feature previously unpublished results on coherence and strictification of involutive categories and involutive monoidal categories, showcasing the author’s state-of-the-art research. Chapters on coherence of involutive symmetric monoidal categories, and categorical GNS construction follow. The last chapter covers involutive operads and lays important coherence foundations for applications to algebraic quantum field theory. With detailed explanations and exercises throughout, Involutive Category Theory is suitable for graduate seminars and independent study. Mathematicians and mathematical physicists who use involutive objects will also find this a valuable reference.

Homotopy of Operads and Grothendieck-Teichmuller Groups

Homotopy of Operads and Grothendieck-Teichmuller Groups
Author: Benoit Fresse
Publisher: American Mathematical Soc.
Total Pages: 581
Release: 2017-04-21
Genre: Mathematics
ISBN: 1470434814

The Grothendieck–Teichmüller group was defined by Drinfeld in quantum group theory with insights coming from the Grothendieck program in Galois theory. The ultimate goal of this book is to explain that this group has a topological interpretation as a group of homotopy automorphisms associated to the operad of little 2-discs, which is an object used to model commutative homotopy structures in topology. This volume gives a comprehensive survey on the algebraic aspects of this subject. The book explains the definition of an operad in a general context, reviews the definition of the little discs operads, and explains the definition of the Grothendieck–Teichmüller group from the viewpoint of the theory of operads. In the course of this study, the relationship between the little discs operads and the definition of universal operations associated to braided monoidal category structures is explained. Also provided is a comprehensive and self-contained survey of the applications of Hopf algebras to the definition of a rationalization process, the Malcev completion, for groups and groupoids. Most definitions are carefully reviewed in the book; it requires minimal prerequisites to be accessible to a broad readership of graduate students and researchers interested in the applications of operads.

Equivariant Orthogonal Spectra and S-modules

Equivariant Orthogonal Spectra and S-modules
Author: M. A. Mandell
Publisher: American Mathematical Soc.
Total Pages: 132
Release: 2002-08-19
Genre: Mathematics
ISBN: 9780821864777

The last few years have seen a revolution in our understanding of the foundations of stable homotopy theory. Many symmetric monoidal model categories of spectra whose homotopy categories are equivalent to the stable homotopy category are now known, whereas no such categories were known before 1993. The most well-known examples are the category of $S$-modules and the category of symmetric spectra. We focus on the category of orthogonal spectra, which enjoys some of the best features of $S$-modules and symmetric spectra and which is particularly well-suited to equivariant generalization. We first complete the nonequivariant theory by comparing orthogonal spectra to $S$-modules. We then develop the equivariant theory. For a compact Lie group $G$, we construct a symmetric monoidal model category of orthogonal $G$-spectra whose homotopy category is equivalent to the classical stable homotopy category of $G$-spectra. We also complete the theory of $S_G$-modules and compare the categories of orthogonal $G$-spectra and $S_G$-modules. A key feature is the analysis of change of universe, change of group, fixed point, and orbit functors in these two highly structured categories for the study of equivariant stable homotopy theory.

From Categories to Homotopy Theory

From Categories to Homotopy Theory
Author: Birgit Richter
Publisher: Cambridge University Press
Total Pages: 402
Release: 2020-04-16
Genre: Mathematics
ISBN: 1108847625

Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.