اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدCompatible structures on unary binary nonsymmetric operads with quadratic and cubic relations
188
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Various compatibility conditions among replicated copies of operations in a given algebraic structure have appeared in broad contexts in recent years. Taking an uniform approach, this paper gives an operadic study of compatibility conditions for nonsymmetric operads with unary and binary operations, and homogeneous quadratic and cubic relations. This generalizes the previous studies for binary quadratic operads. We consider three compatibility conditions, namely the linear compatibility, matching compatibility and total compatibility, with increasingly strict restraints among the replicated copies. The linear compatibility is in Koszul dual to the total compatibility, while the matching compatibility is self dual. Further, each compatibility can be expressed in terms of either one or both of the two Manin square products.
قيم البحث
اقرأ أيضاً
The paper concerns the Gelfand-Kirillov dimension and the generating series of nonsymmetric operads. An analogue of Bergmans gap theorem is proved, namely, no finitely generated locally finite nonsymmetric operad has Gelfand-Kirillov dimension strict
ly between $1$ and $2$. For every $rin {0}cup {1}cup [2,infty)$ or $r=infty$, we construct a single-element generated nonsymmetric operad with Gelfand-Kirillov dimension $r$. We also provide counterexamples to two expectations of Khoroshkin and Piontkovski about the generating series of operads.
Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic topology, opera
ds intervene now as important objects in computer science and in combinatorics. The theory of operads, together with the algebraic setting and the tools accompanying it, promises advances in these two areas. On the one hand, operads provide a useful abstraction of formal expressions, and also, provide connections with the theory of rewrite systems. On the other hand, a lot of operads involving combinatorial objects highlight some of their properties and allow to discover new ones. This book presents the theory of nonsymmetric operads under a combinatorial point of view. It portrays the main elements of this theory and the links it maintains with several areas of computer science and combinatorics. A lot of examples of operads appearing in combinatorics are studied and some constructions relating operads with known algebraic structures are presented. The modern treatment of operads consisting in considering the space of formal power series associated with an operad is developed. Enrichments of nonsymmetric operads as colored, cyclic, and symmetric operads are reviewed. This text is addressed to any computer scientist or combinatorist who looks a complete and a modern description of the theory of nonsymmetric operads. Evenly, this book is intended to an audience of algebraists who are looking for an original point of view fitting in the context of combinatorics.
The notion of 2--monoidal category used here was introduced by B.~Vallette in 2007 for applications in the operadic context. The starting point for this article was a remark by Yu. Manin that in the category of quadratic algebras (that is, quantum li
near spaces) one can also define 2--monoidal structure(s) with rather unusual properties. Here we give a detailed exposition of these constructions, together with their generalisations to the case of quadratic operads. Their parallel exposition was motivated by the following remark. Several important operads/cooperads such as genus zero quantum cohomology operad, the operad classifying Gerstenhaber algebras, and more generally, (co)operads of homology/cohomology of some topological operads, start with collections of quadratic algebras/coalgebras rather than simply linear spaces. Suggested here enrichments of the categories to which components of these operads belong, as well of the operadic structures themselves, might lead to the better understanding of these fundamental objects. New version includes minor editorial changes and new references.
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. Many illustrations and examples are included. Assuming only basic category theory, this monograph is intended for graduate students and researchers. In addition to being a coherent reference for the topics covered, this book is also suitable for a graduate student seminar and a reading course.
We describe a category of undirected graphs which comes equipped with a faithful functor into the category of (colored) modular operads. The associated singular functor from modular operads to presheaves is fully faithful, and its essential image can
be classified by a Segal condition. This theorem can be used to recover a related statement, due to Andre Joyal and Joachim Kock, concerning a larger category of undirected graphs whose functor to modular operads is not just faithful but also full.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
