The notion of an operad supplies both a conceptual and effective device to handle a variety of algebraic structures in various situations. Operads were introduced 40 years ago in algebraic topology in order to model the structure of iterated loop spaces. Since then, operads have been used fruitfully in many fields of mathematics and physics. This monograph begins with a review of the basis of operad theory. The main purpose is to study structures of modules over operads as a new device to model functors between categories of algebras as effectively as operads model categories of algebras.

This monograph presents a review of the basis of operad theory. It also studies structures of modules over operads as a new device to model functors between categories of algebras as effectively as operads model categories of algebras.

The authors develop further the theory of operads and analytic functors. In particular, they introduce the bicategory of operad bimodules, that has operads as -cells, operad bimodules as -cells and operad bimodule maps as 2-cells, and prove that it is cartesian closed. In order to obtain this result, the authors extend the theory of distributors and the formal theory of monads.

In many areas of mathematics some “higher operations” are arising. These havebecome so important that several research projects refer to such expressions. Higher operationsform new types of algebras. The key to understanding and comparing them, to creating invariants of their action is operad theory. This is a point of view that is 40 years old in algebraic topology, but the new trend is its appearance in several other areas, such as algebraic geometry, mathematical physics, differential geometry, and combinatorics. The present volume is the first comprehensive and systematic approach to algebraic operads. An operad is an algebraic device that serves to study all kinds of algebras (associative, commutative, Lie, Poisson, A-infinity, etc.) from a conceptual point of view. The book presents this topic with an emphasis on Koszul duality theory. After a modern treatment of Koszul duality for associative algebras, the theory is extended to operads. Applications to homotopy algebra are given, for instance the Homotopy Transfer Theorem. Although the necessary notions of algebra are recalled, readers are expected to be familiar with elementary homological algebra. Each chapter ends with a helpful summary and exercises. A full chapter is devoted to examples, and numerous figures are included. After a low-level chapter on Algebra, accessible to (advanced) undergraduate students, the level increases gradually through the book. However, the authors have done their best to make it suitable for graduate students: three appendices review the basic results needed in order to understand the various chapters. Since higher algebra is becoming essential in several research areas like deformation theory, algebraic geometry, representation theory, differential geometry, algebraic combinatorics, and mathematical physics, the book can also be used as a reference work by researchers.

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.

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.

This volume studies the generalized Bessel functions of the first kind by using a number of classical and new findings in complex and classical analysis. It presents interesting geometric properties and functional inequalities for these generalized functions.

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.

The electronic Schrodi ̈ nger equation describes the motion of N electrons under Coulomb interaction forces in a eld of clamped nuclei. Solutions of this equation depend on 3N variables, three spatial dimensions for each electron. Approxim- ing the solutions is thus inordinately challenging, and it is conventionally believed that a reduction to simpli ed models, such as those of the Hartree-Fock method or density functional theory, is the only tenable approach. This book seeks to c- vince the reader that this conventional wisdom need not be ironclad: the regularity of the solutions, which increases with the number of electrons, the decay behavior of their mixed derivatives, and the antisymmetry enforced by the Pauli principle contribute properties that allow these functions to be approximated with an order of complexity which comes arbitrarily close to that for a system of one or two electrons. The present notes arose from lectures that I gave in Berlin during the academic year 2008/09 to introduce beginning graduate students of mathematics into this subject. They are kept on an intermediate level that should be accessible to an audience of this kind as well as to physicists and theoretical chemists with a c- responding mathematical training.

This volume contains the proceedings of the Stanford Symposium on Algebraic Topology: Applications and New Directions, held from July 23-27, 2012, at Stanford University, Stanford, California. The symposium was held in honor of Gunnar Carlsson, Ralph Cohen and Ib Madsen, who celebrated their 60th and 70th birthdays that year. It showcased current research in Algebraic Topology reflecting the celebrants' broad interests and profound influence on the subject. The topics varied broadly from stable equivariant homotopy theory to persistent homology and application in data analysis, covering topological aspects of quantum physics such as string topology and geometric quantization, examining homology stability in algebraic and geometric contexts, including algebraic -theory and the theory of operads.