To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure firstname.lastname@example.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
The cup product in the cohomology of algebras over quadratic operads has been studied in the general setting of Koszul duality for operads. We study the cup product on the cohomology of n-ary totally associative algebras with an operation of even (homological) degree. This cup product endows the cohomology with the structure of an n-ary partially associative algebra with an operation of even or odd degree depending on the parity of n. In the cases n=3 and n=4, we provide an explicit definition of this cup product and prove its basic properties.
We study exact sequences of finite tensor categories of the form Rep G → 𝒞 → 𝒟, where G is a finite group. We show that, under suitable assumptions, there exists a group Γ and mutual actions by permutations ⊳ : Γ × G → G and ⊲ : Γ × G→ Γ that make (G, Γ) into matched pair of groups endowed with a natural crossed action on 𝒟 such that 𝒞 is equivalent to a certain associated crossed extension 𝒟(G,Γ) of 𝒟. Dually, we show that an exact sequence of finite tensor categories VecG → 𝒞 → 𝒟 induces an Aut(G)-grading on 𝒞 whose neutral homogeneous component is a (Z(G), Γ)-crossed extension of a tensor subcategory of 𝒟. As an application we prove that such extensions 𝒞 of 𝒟 are weakly group-theoretical fusion categories if and only if 𝒟 is a weakly group-theoretical fusion category. In particular, we conclude that every semisolvable semisimple Hopf algebra is weakly group-theoretical.
We study Tate motives with integral coefficients through the lens of tensor triangular geometry. For some base fields, including
, we arrive at a complete description of the tensor triangular spectrum and a classification of the thick tensor ideals.
The tube category of a modular tensor category is a variant of the tube algebra, first introduced by Ocneanu. As a category, it can be decomposed in two different, but related, senses. Firstly, via the Yoneda embedding, the Hom spaces decompose into summands factoring through irreducible functors, in a manner analogous to decomposing an algebra as a sum of matrix algebras. We describe these summands. Secondly, under the Yoneda embedding, each object decomposes into irreducibles, which correspond to primitive idempotents in the category itself. We identify these idempotents. We make extensive use of diagram calculus in the description and proof of these decompositions.
The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We describe these polynomial operations in two different ways: one way uses invariant elements under the action of the symmetric group and the other coinvariant elements. Our results are then applied to the case of level algebras, which are (non-associative) commutative algebras satisfying the exchange law.
We provide explicit and unified formulas for the cocycles of all degrees on the normalized bar resolutions of finite abelian groups. This is achieved by constructing a chain map from the normalized bar resolution to a Koszul-like resolution for any given finite abelian group. With a help of the obtained cocycle formulas, we determine all the braided linear Gr-categories and compute the Dijkgraaf–Witten Invariants of the n-torus for all n.
We introduce the oriented Brauer–Clifford and degenerate affine oriented Brauer–Clifford supercategories. These are diagrammatically defined monoidal supercategories that provide combinatorial models for certain natural monoidal supercategories of supermodules and endosuperfunctors, respectively, for the Lie superalgebras of type Q. Our main results are basis theorems for these diagram supercategories. We also discuss connections and applications to the representation theory of the Lie superalgebra of type Q.
the pioneer of interchange laws in universal algebra
We establish a combinatorial model for the Boardman–Vogt tensor product of several absolutely free operads, that is, free symmetric operads that are also free as 𝕊-modules. Our results imply that such a tensor product is always a free 𝕊-module, in contrast with the results of Kock and Bremner–Madariaga on hidden commutativity for the Boardman–Vogt tensor square of the operad of non-unital associative algebras.
In this paper, we complete the ADE-like classification of simple transitive 2-representations of Soergel bimodules in finite dihedral type, under the assumption of gradeability. In particular, we use bipartite graphs and zigzag algebras of ADE type to give an explicit construction of a graded (non-strict) version of all these 2-representations.
Moreover, we give simple combinatorial criteria for when two such 2-representations are equivalent and for when their Grothendieck groups give rise to isomorphic representations.
Finally, our construction also gives a large class of simple transitive 2-representations in infinite dihedral type for general bipartite graphs.
In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category (
) endowed with a symmetric 2-trace, i.e., an
satisfying some natural trace-like conditions, one can attach a cyclic (resp. cocyclic) module, and therefore speak of the (co)cyclic homology of the (co)algebra “with coefficients in
”. Furthermore, we observe that if
-bimodule category and
is a stable central pair, i.e.,
satisfy certain conditions, then
acquires a symmetric 2-trace. The dual notions of symmetric 2-contratraces and stable central contrapairs are derived as well. As an application we can recover all Hopf cyclic type (co)homology theories.
The main result of this paper establishes a bijection between the set of equivalence classes of simple transitive
-representations with a fixed apex
of a fiat
and the set of equivalence classes of faithful simple transitive
-representations of the fiat
associated with a diagonal
. As an application, we classify simple transitive
-representations of various categories of Soergel bimodules, in particular, completing the classification in types
Fibonacci anyons are attractive for use in topological quantum computation because any unitary transformation of their state space can be approximated arbitrarily accurately by braiding. However, there is no known braid that entangles two qubits without leaving the space spanned by the two qubits. In other words, there is no known ‘leakage-free’ entangling gate made by braiding. In this paper, we provide a remedy to this problem by supplementing braiding with measurement operations in order to produce an exact controlled rotation gate on two qubits.
We relate the brace construction introduced by Calaque and Willwacher to an additivity functor. That is, we construct a functor from brace algebras associated to an operad
to associative algebras in the category of homotopy
-algebras. As an example, we identify the category of
-algebras with the category of associative algebras in
-algebras. We also show that under this identification there is an equivalence of two definitions of derived coisotropic structures in the literature.
This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and
-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of
-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.
We prove two results on the tube algebras of rigid C*-tensor categories. The first is that the tube algebra of the representation category of a compact quantum group G is a full corner of the Drinfeld double of G. As an application, we obtain some information on the structure of the tube algebras of the Temperley–Lieb categories 𝒯ℒ(d) for d > 2. The second result is that the tube algebras of weakly Morita equivalent C*-tensor categories are strongly Morita equivalent. The corresponding linking algebra is described as the tube algebra of the 2-category defining the Morita context.
We prove a conjecture of Rouquier relating the decomposition numbers in category
for a cyclotomic rational Cherednik algebra to Uglov’s canonical basis of a higher level Fock space. Independent proofs of this conjecture have also recently been given by Rouquier, Shan, Varagnolo and Vasserot and by Losev, using different methods. Our approach is to develop two diagrammatic models for this category
; while inspired by geometry, these are purely diagrammatic algebras, which we believe are of some intrinsic interest. In particular, we can quite explicitly describe the representations of the Hecke algebra that are hit by projectives under the
-functor from the Cherednik category
in this case, with an explicit basis. This algebra has a number of beautiful structures including categorifications of many aspects of Fock space. It can be understood quite explicitly using a homogeneous cellular basis which generalizes such a basis given by Hu and Mathas for cyclotomic KLR algebras. Thus, we can transfer results proven in this diagrammatic formalism to category
for a cyclotomic rational Cherednik algebra, including the connection of decomposition numbers to canonical bases mentioned above, and an action of the affine braid group by derived equivalences between different blocks.
We formulate and study Howe–Moore type properties in the setting of quantum groups and in the setting of rigid
-tensor categories. We say that a rigid
has the Howe–Moore property if every completely positive multiplier on
has a limit at infinity. We prove that the representation categories of
-deformations of connected compact simple Lie groups with trivial center satisfy the Howe–Moore property. As an immediate consequence, we deduce the Howe–Moore property for Temperley–Lieb–Jones standard invariants with principal graph
. These results form a special case of a more general result on the convergence of completely bounded multipliers on the aforementioned categories. This more general result also holds for the representation categories of the free orthogonal quantum groups and for the Kazhdan–Wenzl categories. Additionally, in the specific case of the quantum groups
, we are able, using a result of the first-named author, to give an explicit characterization of the central states on the quantum coordinate algebra of
, which coincide with the completely positive multipliers on the representation category of