arxiv:math/ v2 [math.qa] 29 Jan 2001
|
|
- Melinda Stevens
- 5 years ago
- Views:
Transcription
1 DAMTP arxiv:math/ v2 [math.qa] 29 Jan 2001 Cross Product Bialgebras Yuri Bespalov Part II Bernhard Drabant July 1998/March 1999 Abstract This is the central article of a series of three papers on cross product bialgebras. We present a universal theory of bialgebra factorizations (or cross product bialgebras) with cocycles and dual cocycles. We also provide an equivalent (co-)modular co-cyclic formulation. All known examples as for instance bi- or smash doublecross and bicross product bialgebras as well as double biproduct bialgebras and bicrossed or cocycle bicross product bialgebras are now united within a single theory. Furthermore our construction yields various novel types of cross product bialgebras Mathematics Subject Classification: 16W30 16S40 18D10 16B50 81R50 1 Introduction By definition cross product bialgebras are isomorphic to factorizations B B 1 B 2 in a braided category say such that the given isomorphisms can be characterized universally in terms of certain projections and injections from the bialgebra into the particular tensor factors. In this context tensor product bialgebras bi- or bismash product bialgebras [24 30] doublecross product bialgebras bicross product bialgebras and double biproduct bialgebras [18 21] are cross product bialgebras. But also the bicrossed or cocycle bicross product bialgebras [22 20] are cross product bialgebras in our terminology; their universal characterization is given in terms of cleft extensions and coextensions (see [ ] for a comprehensive study of cleft or normal basis Hopf-Galois extensions on the algebra level). The notion of cross product bialgebras therefore as well includes constructions involving cocycles and dual cocycles (or simply cycles ). Well known examples of cross product bialgebras are Drinfel d s quantum double the quantum Poincaré group Radford s 4- parameter Hopf algebra Lusztig s construction of the quantum enveloping algebra the quantumweylgrouptheaffinequantumgroupsu q (ĝ) theconnes-moscovici Hopfalgebra in transverse differential geometry [10] etc. The universal constructions of cross product bialgebras in [ ] additionally admit an equivalent characterization in terms of mutual weak (co-)modular co-cyclic relations of the tensor factors B 1 and B 2. This means that there exist certain weak(co-)multiplications (co-)cycles and(co-)actions which are morphisms with tensor rank (21) or (12) defined on B 1 and B 2 and their two-fold tensor products such that the multiplication m B and the comultiplication B of the bialgebra B can be composed monoidally by these structure morphisms. For example we 1
2 encounter a weak left coaction ν l : B 1 B 2 B 1 which has tensor rank (12) a weak cocycle σ : B 2 B 2 B 1 with rank (21) etc. All these structure morphisms are subject to certain relations with rank (22) (31) and (13) which on the one hand follow from the bialgebra structure of B B 1 B 2 and on the other hand determine the bialgebra structure of B 1 B 2 uniquely. Despite those common properties of the cross product bialgebra constructions in [ ] no theory exists which characterizes all of them as special versions of a single universal construction which in turn is uniquely determined by its (co-)modular co-cyclic structure. A first step towards this objective has been achieved in [5] where we discovered a method to describe cross product bialgebras without co-cycles generalizing and uniting [ ]. The present article considerably extends the results of[5]. The main outcome is a universal and (co-)modular co-cyclic theory of cross product bialgebras with cocycles and cycles which unites all known constructions within a single setting and provides several new families of cross product bialgebras. This is the most comprising framework for cross product bialgebras so far which equivalently takes into account both universal and (co-)modular co-cyclic aspects. Furthermore our construction is designed to work in arbitrary braided categories 1. To derive these results we will proceed in two steps. We begin with the general definition of cross product bialgebras and find a universal characterization for them. We show that so-called cocycle cross product bialgebras possess a certain (co-)modular co-cyclic structure. Then we restrict our consideration to strong cross product bialgebras. They also admit a universal characterization and will turn out to be the central objects in our theory of cross product bialgebras. In a second step we present a (co-)modular co-cyclic construction method by so-called Hopf data 2. A Hopf datum consists of a pair of objects (B 1 B 2 ) and weak (co-)actions (co-)multiplications and co-cycles defined on B 1 and B 2 which obey certain interrelated identities with rank (22) (31) and (13). Then we introduce strong Hopf data for which additional strong relations hold. We show that strong Hopf data induce the structure of a strong cross product bialgebra on the tensor product B 1 B 2. Strong Hopf data and strong cross product bialgebras are different depictions of the same object. Then we combine the universal characterization and the (co-)modular co-cyclic description in terms of strong Hopf data to obtain the theory of strong cross product bialgebras. This is the central result of the article. Eventually we apply our construction and investigate strong cross product bialgebras according to their (co-)modular co-cyclic structure. In particular we recover all known constructions [ ] and find various new types of cross product bialgebras. All of them are special versions of the most general strong cross product bialgebra construction. After introducing preliminary notations and definitions we study cross product algebras 1 Therefore we have been able to apply the results of [5] to categories of Hopf bimodules and Yetter- Drinfel d modules [6]; we characterized two-sided bi- or bismash product bialgebras as certain cross product Hopf bimodule bialgebras. In particular we showed that the double biproduct is a twisted Hopf bimodule tensor product bialgebra. 2 Observe that Hopf data without co-cycles have been introduced in [5] already. There should be no confusion with the more general notation of the same name which will be defined in the present article. In a very similar context the term Hopf datum has been used in [1] for special cases of bicrossed product bialgebras [20]. 2
3 and cross product coalgebras from a universal point of view in Section 2. These results will be used in Section 3 to define cross product bialgebras. From this general definition we extract cocycle cross product bialgebras and strong cross product bialgebras. The structure of cocycle cross product bialgebras gives useful hints for the design of Hopf data. This will be done in Section 4 where we investigate the connection of Hopf data and cocycle cross product bialgebras. A Hopf datum is canonically assigned to every cocycle cross product bialgebra. The converse is not true in general. But Theorem 4.4 states that strong Hopf data yield strong cross product bialgebras. More precisely strong Hopf data and strong cross product bialgebras are equivalent constructions which are in one-toone correspondence. The universal (co-)modular co-cyclic theory of strong cross product bialgebras culminates in the central Theorems 4.4 and 4.5. Finally we present a table of special strong cross product bialgebras which contains all known and several new types of cross product bialgebras embedded in our most general framework. The rather intricate proof of Theorem 4.4 has been postponed to Section 5. In the recent articles [ ] cross product bialgebras have been studied as well. In [9] the universal properties of co-cycle free cross product bialgebras have been considered. The article [11] investigates certain cross product bialgebras without co-cycles in universal and (co-)modular co-cyclic terms. In [26] a special type of our cocycle cross product bialgebras with one cocycle has been studied in the special case where all objects are vector spaces over a field. Preliminaries We are working throughout in (strict) braided monoidal categories [15]. In our article we denote categories by calligraphic letters C D etc. For a braided monoidal category C the tensor product is denoted by C the unit object by 1I C and the braiding by C Ψ. If it is clear from the context we omit the index C at the various symbols. We confine ourselves to braided categories which admit split idempotents [3 17]; for each idempotent Π Π 2 : M M of any object M in C there exists an object M Π and a pair of morphisms (i Π p Π ) such that p Π i Π id MΠ and i Π p Π Π. This is not a severe restriction of the categories since every braided category can be canonically embedded into a braided category which admits split idempotents [3 17]. We use generalized algebraic structures like algebra bialgebra module comodule etc. in such categories. We assume the reader is familiar with these generalizations. A thorough introduction to braided algebraic structures and the graphical calculus coming along with it can be found in [ ]. We denote by m : A A A the multiplication and by η : 1I A the unit of an algebra A in C. : C C C is meant for the comultiplication and ε : C 1I for the counit of a coalgebra C in C µ l : A M M is the left action of an algebra A on a module M and ν l : N C N denotes the left coaction of a coalgebra C on a comodule N. Right actions are denoted by µ r and right coactions by ν r. In the course of our work we often encounter weak versions of (co-)multiplication and (co-)action which do not necessarily obey the relations of true (co-)algebras and (co-)modules. We will nevertheless use the same symbols as for proper (co-)multiplications and (co-)actions it should become clear from the context whether these structure morphisms are weak or not. In our article we make use of graphical calculus for (strict) braided monoidal categories which simplifies intricate categorical equations of morphisms and helps to uncover their 3
4 m η ε µ l µ r ν l ν r Ψ Ψ 1. Figure 1: Graphical presentation of (weak) multiplication m unit η (weak) comultiplication counit ε (weak) left action µ l (weak) right action µ r (weak) left coaction ν l (weak) right coaction ν r braiding Ψ and inverse braiding Ψ 1. intrinsic structure. Morphisms will be composed from up to down i. e. the domains of the morphisms are at the top and the codomaines are at the bottom of the graphics. Tensor products are represented by horizontal concatenation in the corresponding order. We present our own conventions [3 4 5] in Figure 1. If there is no fear of confusion we omit the assignment of a specific object to the ends of the particular strings in the graphics. Below we elucidate the graphical calculus to readers unfamiliar with this technique. The first example is the associativity of the action of an algebra A on a right A-module M. The second is the naturality of the braiding in a braided category. µ r (µ r id A ) µ r (id M m A ) corresponds to Ψ (f g) (g f) Ψ corresponds to f g g. f Note that throughout the article there is (almost) no need to require invertibility of the braiding. Therefore most of the results can be derived if we assume that the underlying category C is pre-braided. We do not discuss these generalizations further and confine to braided categories in what follows. 2 Cross Product Algebras and Coalgebras In the first part of Section 2 we study cross product algebras. They have been considered also in [8]. It turns out that cross product algebras are universal constructions. They generalize crossed product algebras [ ]. Cross product coalgebras will be studied in the second part of Section 2. Since the results for cross product coalgebras can be obtained easily by certain categorical dualization we omit all the proofs in this case and refer to the analogous proofs for cross product algebras. Both structures cross product algebras and cross product coalgebras will be needed later in the definition of cross product bialgebras. Cross Product Algebras Definition 2.1 Let (B 1 m 1 η 1 ) be an algebra and B 2 be an object in C. Suppose there are morphisms η 2 : 1I B 2 ϕ 21 : B 2 B 1 B 1 B 2 and ˆσ : B 2 B 2 B 1 B 2 such that the relation ϕ 21 (m 1 id B2 ) (id B1 ˆσ) (ϕ 21 η 2 ) (2.1) 4
5 holds. Suppose further that B B 1 B 2 is an algebra through m B (m 1 id B2 ) (m 1 ˆσ) (id B1 ϕ 21 id B2 ) η B η 1 η 2 (2.2) then B is called cross product algebra and will be denoted by B 1 ˆσ ϕ 21 B 2. In the subsequent proposition we find equivalent constructive conditions for cross product algebras. Similar results have been obtained in [8]. PROPOSITION 2.2 The following statements are equivalent. 1. B 1 ˆσ ϕ 21 B 2 is a cross product algebra. 2. (B 1 m 1 η 1 ) is an algebra and B 2 is an object in C. There exist morphisms η 2 : 1I B 2 ϕ 21 : B 2 B 1 B 1 B 2 and ˆσ : B 2 B 2 B 1 B 2 for which the subsequent identities hold. ϕ 21 (η 2 id B1 ) id B1 η 2 ϕ 21 (id B2 η 1 ) η 1 id B2 ˆσ (η 2 id B2 ) η 1 id B2 ˆσ (id B2 η 2 ) η 1 id B2 ϕ 21 (id B2 m 1 ) (m 1 id B2 ) (id B1 ϕ 21 ) (ϕ 21 id B1 ) (m 1 id B2 ) (id B1 ˆσ) (ϕ 21 id B2 ) (id B2 ˆσ) (m 1 id B2 ) (id B1 ˆσ) (ˆσ id B2 ) (2.3) (m 1 id B2 ) (id B1 ˆσ) (ϕ 21 id B2 ) (id B2 ϕ 21 ) (m 1 id B2 ) (id B1 ϕ 21 ) (ˆσ id B1 ). Proof. Suppose that B ˆσ 1 ϕ 21 B 2 is a cross product algebra. Since by assumption (B 1 m 1 η 1 ) is itself an algebra one obtains the first and second identity of (2.3) by unitality of m B and m 1. Using these relations yields the fourth identity of (2.3) by application of id B2 η 1 to (2.1). Again using the left unitality of m B one concludes that (m 1 id B2 ) (id B1 ˆσ (η 2 id B2 )) id B1 id B2 from which one immediately derives the third identity of (2.3). Now the associativity m B (m B id B ) m B (id B m B ) yields the fifth identity of (2.3) by application of η 1 id id η 1 id η 2. The sixth relation is obtained by applying η 1 id η 1 id η 1 id. To derive the seventh identity one has to apply η 1 id η 1 id id η 2. Conversely suppose the conditions of the second item of the proposition are fulfilled. Define m B according to (2.2). Then m B (m B id B ) (m (5) 1 id) (id (4) ˆσ) (id (3) ϕ 21 id) (id (2) ˆσ id (2) ) (id ϕ 21 id (3) ) where m (n) 1 : B1 n B 1 is the canonical n-fold multiplication and id (n) is the abbreviation of the identity of an n-fold tensor product of (combined) B 1 s and B 2 s. On the other hand m B (id B m B ) (m (4) 1 id) (id (4) ˆσ) (id (3) ϕ 21 id) (id (2) ϕ 21 ˆσ) (id ϕ 21 ϕ 21 id) (m (5) 1 id) (id (4) ˆσ) (id (3) ˆσ id) (id (2) ϕ 21 id (2) ) (id ϕ 21 ϕ 21 id) (m (5) 1 id) (id (4) ˆσ) (id (3) ϕ 21 id) (id (2) ˆσ id (2) ) (id ϕ 21 id (3) ) 5
6 where the fourth condition of (2.3) has been used twice to obtain the first equation the sixth relation of (2.3) has been applied in the second equation and with the help of the seventh relation of (2.3) we obtained the third equation. Hence associativity of m B has been proven. Using the first four identities of (2.3) one easily proves (2.1) and unitality m B (η B id B ) id B m B (id B η B ). Remark 1 Condition (2.1) in Definition 2.1 can be replaced equivalently by the identity (id B1 ˆσ) (m 1 id B2 ) (id B1 ˆσ) (ϕ 21 (id B2 η 1 ) id B2 ). Remark 2 There is another equivalent definition of cross product algebras which has been kindly reported to us by Gigel Militaru. Observe that the morphism Γ below is our morphism m 020 in (5.22). Then the following statements are equivalent. 1. B 1 ˆσ ϕ 21 B 2 is a cross product algebra. 2. (B 1 m 1 η 1 ) is an algebra and B 2 is an object in C. Thereare morphisms η 2 : 1I B 2 and Γ : B 2 B 1 B 2 B 1 B 2 such that B B 1 B 2 is an algebra through m B (m 1 id B2 ) (id B1 Γ) and η B η 1 η 2. (2.4) 3. (B 1 m 1 η 1 ) is an algebra and B 2 is an object in C. There exist morphisms η 2 : 1I B 2 and Γ : B 2 B 1 B 2 B 1 B 2 such that Γ (η 2 id B1 B 2 ) id B1 B 2 Γ (id B2 η 1 η 2 ) η 1 id B2 (m 1 id B2 ) (id B1 Γ) (Γ id B1 B 2 ) Γ (id B2 (m 1 id B2 ) (id B1 Γ)). (2.5) The one-to-one correspondence is given by Γ (m 1 id B2 ) (id B1 ˆσ) (ϕ 21 id B2 ) and its inverse ϕ 21 Γ (id B2 B 1 η 2 ) and ˆσ Γ (id B2 η 1 id B2 ). We will show that cross product algebras are universal constructions. The first proposition describes equivalent projection and injection conditions for algebras isomorphic to cross product algebras (see also [5] for the cocycle-free case). The second proposition is closely related to the first one and characterizes the universal construction explicitely. PROPOSITION 2.3 Let A be an algebra in C. Then it holds equivalently 1. A is algebra isomorphic to a cross product algebra B 1 ˆσ ϕ 21 B There is an algebra (B 1 m 1 η 1 ) an object B 2 morphisms B 1 i 1 A i 2 B2 and η 2 : 1I B 2 where i 1 is an algebra morphism and i 2 η 2 η A such that m A (i 1 i 2 ) : B 1 B 2 A is an isomorphism in C. 6
7 Proof. If Λ : B 1 ˆσ ϕ 21 B 2 A is an algebra isomorphism then define i 1 : Λ (id B1 η 2 ) and i 2 : Λ (η 1 id B2 ). Using the particular definition of m B1 ˆσ ϕ 21 B 2 in (2.2) and the identities (2.1) it is verified immediately that i 1 is an algebra morphism since Λ is an algebra morphism. Similarly one proves that i 2 η 2 η A and m A (i 1 i 2 ) Λ which is therefore an isomorphism. If on the other hand the conditions of the second statement of Proposition 2.3 is fulfilled then Λ : m A (i 1 i 2 ) is an isomorphism by assumption. Therefore B B 1 B 2 is canonically an algebra through m B : Λ 1 m A (Λ Λ) and η B : Λ 1 η A. We will show that this defines a cross product algebra structure on B by ϕ 21 : Λ 1 m A (i 2 i 1 ) and ˆσ : Λ 1 m A (i 2 i 2 ). Using the explicit expression for Λ inserting several times Λ Λ 1 and using the above definitions as well as the fact that i 1 is algebra morphism one obtains the following identities. m B Λ 1 m (3) A (id Λ Λ 1 id) (i 1 m A (i 2 i 1 ) i 2 ) Λ 1 m (4) A (i 1 (i 1 i 2 ) ϕ 21 i 2 ) Λ 1 m (3) A (i 1 i 1 i 2 ) (m 1 ˆσ) (id ϕ 21 id) (m 1 id) (m 1 ˆσ) (id ϕ 21 id). Similarly one derives Λ (η 1 η 2 ) η A hence η B η 1 η 2. Therefore (Bm B η B ) B ˆσ 1 ϕ 21 B 2. PROPOSITION 2.4 Let B 1 ˆσ ϕ 21 B 2 be a cross product algebra and A be an algebra. Suppose there are morphisms α : B 1 A and β : B 2 A such that 1. α is an algebra morphism. 2. β η 2 η A. 3. m A (α β) ϕ 21 m A (β α). 4. m A (α β) ˆσ m A (β β). Then there exists a unique algebra morphism γ : B 1 ˆσ ϕ 21 B 2 A obeying the identities γ (id B1 η 2 ) α and γ (η 1 id B2 ) β. Proof. Defineγ : m A (α β). Thenby assumption 1and 2of Proposition 2.4 it follows γ (id B1 η 2 ) α γ (η 1 id B2 ) β and γ (η 1 η 2 ) η A. Using consecutively that α is an algebra morphism assumption 4 and assumption 3 of Proposition 2.4 then yields γ m B1 ˆσ ϕ 21 B 2 m (4) A (α α (α β) ˆσ) (id ϕ 21 id) m (4) A (α (α β) ϕ 21 β) m A (m A (α β) m A (α β)) m A (γ γ). Therefore γ is an algebra morphism obeying the conditions of Proposition 2.4. Suppose that there is another γ meeting the same stipulations as γ. Then γ m A (α β) m A (γ (id η 2 ) γ (η 1 id)) γ m B1 ˆσ ϕ 21 B 2 (id η 2 η 1 id) γ. In the last equation unital properties of cross product algebra have been used. This proves uniqueness of γ. Remark 3 The conditions of Proposition 2.4 can be realized on A B 1 ˆσ ϕ 21 B 2 with α id B1 η 2 and β η 1 id B2. Then of course γ id. 7
8 In the following we consider generalized smash product algebras [5] and demonstrate that they are special cases of cross product algebras 3. A (generalized) smash product algebra B 1 φ21 B 2 consists of algebras B 1 and B 2 and a morphism φ 21 : B 2 B 1 B 1 B 2 such that B B 1 B 2 is an algebra through m B (m 1 m 2 ) (id B1 φ 21 id B2 ) and η B η 1 η 2. The next proposition shows that smash product algebras are indeed special cases of cross product algebras under certain natural conditions. PROPOSITION 2.5 Suppose there is a morphism ε 1 : B 1 1I with ε 1 η 1 id 1I. Then B 1 ˆσ ϕ 21 B 2 is a cross product algebra with ˆσ η 1 m 2 for some morphism m 2 : B 2 B 2 B 2. B 1 ϕ21 B 2 is a smash product algebra. Proof. The proposition can be proven easily by (2.3) and triviality of ˆσ. Remark 4 Crossed productalgebras A# σ H [12 23] are special examples of cross product algebras through ϕ 21 : (µ l id H ) ( H id A ) and ˆσ : (σ m H ) (id H Ψ HH id H ) ( H H ) where A is an algebra µ l : H A A is a left H-measure on A and σ : H H A is a (convolution invertible) cocycle. The next proposition yields criteria under which a morphism f : B 1 ˆσ ϕ 21 B 1 A is multiplicative. PROPOSITION 2.6 Let A be an algebra and B B 1 ˆσ ϕ 21 B 2 be a cross product algebra. Then the subsequent statements are equivalent. 1. The morphism f : B A is multiplicative i. e. f m B m A (f f). 2. The identities m A (f f) (id B1 η 2 id B1 id B2 ) f m B (id B1 η 2 id B1 id B2 ) m A (f f) (η 1 id B2 id B1 id B2 ) f m B (η 1 id B2 id B1 id B2 ) are satisfied. 3. The identities m A (f f) (id B1 id B2 id B1 η 2 ) f m B (id B1 id B2 id B1 η 2 ) m A (f f) (id B1 id B2 η 1 id B2 ) f m B (id B1 id B2 η 1 id B2 ) are satisfied. 4. The identities m A (f f) (id B1 η 2 id B1 id B2 ) f m B (id B1 η 2 id B1 id B2 ) m A (f f) (id B1 id B2 η 1 id B2 ) f m B (id B1 id B2 η 1 id B2 ) m A (f f) (η 1 id B2 id B1 η 2 ) f m B (η 1 id B2 id B1 η 2 ) are satisfied. 3 We adopt the naming smash product algebras from [9]. 8
9 Proof. The non-trivial part of the proposition can be verified easily with the help of the identity m B (id η 2 η 1 id) id id the associativity of A and B and the assumptions or respectively. Cross Product Coalgebras Cross product coalgebras are somehow dual constructions to cross product algebras. We will omit proofs since they can be obtained from the corresponding proofs for cross product algebras by an obvious kind of dualization. Definition 2.7 Let (C 2 2 ε 2 ) be a coalgebra and C 1 be an object in C. Suppose there exist morphisms ε 1 : B 1 1I ϕ 12 : C 1 C 2 C 2 C 1 : C 1 C 2 C 1 C 1 such that the relation ϕ 12 (ε 1 ϕ 12 ) ( id C2 ) (id C1 2 ) holds. Then C C 1 C 2 is called cross product coalgebra if it is a coalgebra through C (id B1 ϕ 12 id B2 ) ( 2 ) (id B1 2 ) and ε C ε 1 ε 2. We denote C by C 1 ϕ 12 C 2. PROPOSITION 2.8 The following statements are equivalent. 1. C 1 ϕ 12 C 2 is a cross product coalgebra. 2. (C 2 2 ε 2 ) is a coalgebra and C 1 is an object in C. There are morphisms ε 1 : B 1 1I and ϕ 12 : C 1 C 2 C 2 C 1 such that (id C2 ε 1 ) ϕ 12 ε 1 id C2 (ε 1 id C2 ) ϕ 12 id C2 ε 1 (id C1 ε 1 ) id C1 ε 2 (ε 1 id C1 ) id C1 ε 2 ( 2 id C1 ) ϕ 12 (id C2 ϕ 12 ) (ϕ 12 id C2 ) (id C1 2 ) ( id C1 ) (id C1 ϕ 12 ) ( id C2 ) (id C1 2 ) (id C1 ) ( id C2 ) (id C1 2 ) (ϕ 12 id C1 ) (id C1 ϕ 12 ) ( id C2 ) (id C1 2 ) (id C2 ) (ϕ 12 id C2 ) (id C1 2 ). Like cross product algebras the cross product coalgebras are universal constructions too. PROPOSITION 2.9 Let C be a coalgebra. Then C is coalgebra isomorphic to a cross product coalgebra C 1 ϕ 12 C 2. p 1 p 2 There is a coalgebra (C 2 2 ε 2 ) and an object C 1 in C morphisms C 1 C C2 and ε 1 : C 1 1I where p 2 is a coalgebra morphism and ε 1 p 1 ε C such that (p 1 p 2 ) C : C C 1 C 2 is an isomorphism in C. 9
10 PROPOSITION 2.10 Let C 1 ϕ 12 C 2 be a cross product coalgebra and C be a coalgebra. Suppose that there exist morphisms a and b such that 1. a : C C 1 and ε 1 a ε C. 2. b : C C 2 is a coalgebra morphism. 3. ϕ 12 (a b) C (b a) C. 4. (a b) C (a a) C. Then there exists a unique coalgebra morphism c : C C 1 ϕ 12 C 2 obeying the identities a (id C1 ε 2 ) c and b (ε 1 id C2 ) c. Co-smash product coalgebras are special cases of cross product coalgebras. More precisely a co-smash product coalgebra C C 1 φ 12 C 2 is given by coalgebras C 1 and C 2 and a morphism φ 12 : C 1 C 2 C 2 C 1 such that C C 1 C 2 is a coalgebra through C (id C1 φ 12 id C2 ) ( 1 2 ) and ε C ε C1 ε C2. Then the corresponding result of Proposition 2.5 holds for co-smash product coalgebras. PROPOSITION 2.11 Suppose C 2 is a coalgebra and there is a morphism η 2 : 1I C 2 with ε 2 η 2 id 1I. Then (C 1 C 2 ϕ 12 ) is a cross product coalgebra with 1 ε 2 for some morphism 2 : C 2 C 2 C 2. C 1 ϕ 12 C 2 is a co-smash product coalgebra. Remark 5 (π-symmetry) We would like to point out the following important observation to the reader. Definition 2.1 is not dual to Definition 2.7. Rather both definitions can be obtained from each other by a combination of duality (followed by the usual exchanges of multiplication and comultiplication unit and counit cocycle and cycle etc.) and use of the opposite tensor product (followed by exchange of indices 1 2 and later also by exchange of left/right (coaction) right/left (action) ). This is not an accidential fact but has to do with the subsequent definition of cross product bialgebras where we use precisely these algebra and coalgebra structures. Only then are we able to get all the known cross product bialgebras [ ]. This kind of symmetry between cross product algebra and cross product coalgebra will be called π-symmetry henceforth. In terms of graphical calculus π-symmetry can be interpreted easily as rotation of the graphic by the angle π along an axis normal to the planar graphic followed by the above mentioned exchanges of indices and morphism types. We will often apply this principle to obtain π- symmetric results simply by π-rotation. Hence cross product bialgebras - as defined below - are therefore π-symmetric invariant rather than dual symmetric invariant. Dualization of our definition would lead to another kind of cross product bialgebras. The corresponding results for these dual versions follow from our results straightforwardly by dualization. 10
11 3 Cross Product Bialgebras In Section 3 we investigate cross product bialgebras from a universal point of view. They are simultaneously cross product algebras and cross product coalgebras with compatible bialgebra structure. We find a universal description for the isomorphism classes of cross product bialgebras. Then we will consider special cases called cocycle and strong cross product bialgebras which are universal constructions as well. But in addition the given isomorphism class of a cocycle/strong cross product bialgebra can be characterized by certain interrelated (co-)modular co-cyclic structures on the tensor factors. Strong cross product bialgebras are the pivotal objects for the studies in Section 4. Cross Product Bialgebras General Definition Definition 3.1 A bialgebra B is called cross product bialgebra if its underlying algebra is a cross product algebra B ˆσ 1 ϕ 21 B 2 and its underlying coalgebra is a cross product coalgebra B 1 ϕ 12 B 2 on the same objects. The cross product bialgebra B will be denoted by B 1 ϕ ˆσ 12 ϕ 21 B 2. A cross product bialgebra is called normalized if ε 1 η 1 id 1I (and then equivalently ε 2 η 2 id 1I ). Cross product bialgebras are universal in the following sense. THEOREM 3.2 Let B be a bialgebra in C. Then the subsequent equivalent conditions hold. 1. B is bialgebra isomorphic to a normalized cross product bialgebra B 1 ϕ 12 ˆσ ϕ 21 B There are idempotents Π 1 Π 2 End(B) such that m B (Π 1 Π 1 ) Π 1 m B (Π 1 Π 1 ) Π 1 η B η B (Π 2 Π 2 ) B (Π 2 Π 2 ) B Π 2 ε B Π 2 ε B (3.1) and the sequence B B m B (Π 1 Π 2 ) B (Π 1 Π 2 ) B B B is a splitting of the idempotent Π 1 Π 2 of B B. i 3. There are objects B 1 and B 2 and morphisms B 1 p 1 i 1 B B1 and B 2 p 2 2 B B2 where i 1 is algebra morphism p 2 is coalgebra morphism and p j i j id Bj for j {12} such that m B (i 1 i 2 ) : B 1 B 2 B and (p 1 p 2 ) B : B B 1 B 2 are mutually inverse isomorphisms. Proof : For j {12} we define i j p j to be the morphisms splitting the idempotent Π j as Π j i j p j and p j i j id Bj for some objects B j. Then with the help of Theorem it follows m B (i 1 i 2 ) (p 1 p 2 ) B m B (Π 1 Π 2 ) B id B and (p 1 p 2 ) B m B (i 1 i 2 ) (p 1 p 2 ) (Π 1 Π 2 ) B m B (Π 1 Π 2 ) (i 1 i 2 ) (p 1 i 1 p 2 i 2 ) id B1 B 2. Hence (m B (i 1 i 2 )) 1 (p 1 p 2 ) B. Now we define m 1 : p 1 m B (i 1 i 1 ) η 1 : p 1 η B 2 : (p 2 p 2 ) B i 2 and ε 2 : ε B i 2. Then using (3.1) and the (co-)algebra property of B one verifies easily that (B 1 m 1 η 1 ) is an algebra and (B 2 2 ε 2 ) is a coalgebra. Furthermore i 1 is an algebra morphism because i 1 m 1 Π 1 m B (i 1 i 1 ) m B (i 1 i 1 ) and i 1 η 1 Π 1 η B η B. In a π-symmetric manner one proves that p 2 is a coalgebra morphism. 11
12 3. 2. : Conversely we define Π j : i j p j for j {12}. Since by assumption i 1 is an algebra morphism it follows Π 1 η B Π 1 i 1 η 1 i 1 η 1 η B and using p 1 i 1 id B1 it holds Π 1 m B (Π 1 Π 1 ) i 1 p 1 i 1 m 1 (p 1 p 1 ) m B (Π 1 Π 1 ). In π-symmetrical analogy it will beproven that (Π 2 Π 2 ) B (Π 2 Π 2 ) B Π 2 andε B Π 2 ε B. From Theorem we conclude (Π 1 Π 2 ) B m B (Π 1 Π 2 ) (i 1 i 2 ) id B1 B 2 (p 1 p 2 ) Π 1 Π 2 andid B m B (Π 1 Π 2 ) B m B (Π 1 Π 2 ) (Π 1 Π 2 ) B. Thusm B (Π 1 Π 2 ) and (Π 1 Π 2 ) B split the idempotent (Π 1 Π 2 ) : By assumption (B 1 m 1 η 1 ) is an algebra and i 1 is an algebra morphism i 2 is a morphism in C and m B (i 1 i 2 ) is an isomorphism. Define η 2 : p 2 η B : 1I B 2. Then i 2 η 2 Π 2 η B m B (Π 1 η B Π 2 η B ) m B (i 1 i 2 ) (p 1 p 2 ) B η B η B. Therefore all conditions of Proposition are fulfilled implying that B is algebra isomorphic to a cross product algebra B ˆσ 1 ϕ 21 B 2. From the proof of Proposition 2.3 one reads off that the isomorphism is given by Λ m B (i 1 i 2 ). In a π-symmetric way one shows that B is coalgebra isomorphic to a cross product coalgebra B 1 ϕ 12 B 2 on the same tensor product with isomorphism Λ (p 1 p 2 ) B. Thus by assumption Λ Λ 1. Since B is a bialgebra it follows then from Definition 3.1 that B 1 B 2 is cross product bialgebra B 1 ϕ ˆσ 12 ϕ 21 B 2 and Λ : B 1 ϕ ˆσ 12 ϕ 21 B 2 B is bialgebra isomorphism. Furthermore the identities id 1I ε B η B ε B i 2 η 2 ε 2 p 2 i 2 η 2 ε 2 η 2 show that B 1 ϕ ˆσ 12 ϕ 21 B 2 is normalized : Given a bialgebra isomorphism Λ : B 1 ϕ ˆσ 12 ϕ 21 B 2 B. Then in particular Λ : B ˆσ 1 ϕ 21 B 2 B is an algebra isomorphism and Λ : B 1 ϕ 12 B 2 B is a coalgebra isomorphism. We define i 1 : Λ (id B1 η 2 ) i 2 : Λ (η 1 id B2 ) p 1 : (id B1 ε 2 ) Λ 1 and p 2 : (ε 1 id B2 ) Λ 1. From Propositions 2.3 and 2.9 one derives that i 1 is an algebra morphism p 2 is a coalgebra morphism and Λ m B (i 1 i 2 ) ( ) 1. (p 1 p 2 ) B By assumption B 1 ϕ ˆσ 12 ϕ 21 B 2 is normalized from which follows p 1 i 1 (id B1 ε 2 ) Λ 1 Λ (id B1 η 2 ) id B1 and similarly p 2 i 2 id B2. The next corollary of Theorem 3.2 will be used frequently in the following. COROLLARY 3.3 Under the conditions of Theorem 3.2 it holds Π 2 η B η B ε B Π 1 ε B Π 1 Π 2 η B ε B Π 2 Π 1 η B ε B Π 2 m B Π 2 m B (Π 2 id B ) B Π 1 (id B Π 1 ) B Π 1 Π 1 m B (Π 1 id B ) Π 1 m B (Π 1 Π 1 ) (id B Π 2 ) B Π 2 (Π 2 Π 2 ) B Π 2. (3.2) The structure morphisms ϕ 12 ϕ 21 and ˆσ of the cross product bialgebra B 1 can be expressed through the projections and injections on B as i 1 η 1 η B ε 1 p 1 ε B i 2 η 2 η B ε 2 p 2 ε B ϕ ˆσ 12 ϕ 21 B 2 m 1 p 1 m B (i 1 i 1 ) ϕ 12 (p 2 p 1 ) B m B (i 1 i 2 ) ϕ 21 (p 1 p 2 ) B m B (i 2 i 1 ) 2 (p 2 p 2 ) B i 2 (p 1 p 1 ) B m B (i 1 i 2 ) ˆσ (p 1 p 2 ) B m B (i 2 i 2 ). (3.3) Proof. The identities i 1 η 1 η B and ε 2 p 2 ε B hold since i 1 is an algebra morphism and p 2 is a coalgebra morphism whereas the identities i 2 η 2 η B and ε 1 p 1 ε B as 12
13 well as the equations Π 2 η B η B and ε B Π 1 ε B have been shown in the proof of Theorem 3.2. From the proofs of Propositions 2.3 and 2.9 one can directly read off the structure of the morphisms ϕ 12 ϕ 21 and ˆσ given in (3.3) using Λ m B (i 1 i 2 ) and Λ 1 (p 1 p 2 ) B. Since i 1 is algebra morphism p 2 is coalgebra morphism and p j i j id Bj for j {12} it follows m 1 p 1 m B (i 1 i 1 ) and 2 (p 2 p 2 ) B i 2. Because of (3.1) and Theorem it follows Π 1 Π 2 (id B ε B ) (Π 1 Π 2 ) B m B (Π 1 Π 2 ) (η B id B ) (Π 1 η B ε B Π 2 ) η B ε B. Using Π 2 η B η B and ε B Π 1 ε B from above we obtain in a similar way Π 2 Π 1 η B ε B. Using consecutively Theorem two times (3.1) the identity Π 2 (ε B Π 1 Π 2 ) B again Theorem and the identity ε B Π 1 ε B one obtains the following series of equations. Π 2 m B Π 2 m B (m B (Π 1 Π 2 ) B id B ) Π 2 m (3) B (Π 1 Π 1 Π 2 ) (id B B m B ) (Π 1 Π 2 id B ) ( B id B ) Π 2 m B (Π 1 Π 2 ) (m B (Π 1 Π 1 ) id B ) (id B B m B ) (id B Π 2 id B ) ( B id B ) Π 2 m B (Π 2 id B ) and π-symmetrically B Π 1 (id B Π 1 ) B Π 1. Finally one obtains in a similar manner Π 1 m B (Π 1 id B ) Π 1 m B (Π 1 m B (Π 1 Π 2 ) B ) Π 1 m (3) B (Π 1 Π 1 Π 2 ) (id B B ) Π 1 m B (Π 1 Π 2 ) (m B (Π 1 Π 1 ) Π 2 ) (id B B ) (Π 1 ε B Π 2 ) B m B (Π 1 Π 2 ) (m B (Π 1 Π 1 ) Π 2 ) (id B B ) Π 1 m B (Π 1 Π 1 ) and (id B Π 2 ) B Π 2 (Π 2 Π 2 ) B Π 2 by π-symmetry. Remark 6 The statement of Theorem 3.2 can be refined in the following sense. For a given bialgebra B the tuples (BΛB 1 ϕ ˆσ 12 ϕ 21 B 2 ) and (Bi 1 i 2 p 1 p 2 ) obeying the conditions of Theorem and respectively are in one-to-one correspondence. This correspondence has been constructed in the proof of Theorem 3.2. Theorem 3.2 and the previous remark imply a useful corollary. Given a normalized cross product bialgebra B 1 ϕ ˆσ 12 ϕ 21 B 2. We set i α1 : id B1 η 2 i α2 : η 1 id B2 p α1 : id B1 ε 2 and p α2 : ε 1 id B2. Then we define m ijk : p αi m B1 ϕ ˆσ 12 ϕ 21 B 2 (i αj i αk ) (3.4) ijk : (p αi p αj ) B1 ϕ ˆσ 12 ϕ 21 B 2 i αk for ijk {12}. On the other hand suppose that B is a bialgebra which obeys the conditions of Theorem Then we define for ijk {12}. m Bijk : p i m B (i j i k ) Bijk : (p i p j ) B i k (3.5) 13
14 COROLLARY 3.4 Let B be bialgebra and suppose that the tuples (BΛB 1 ϕ ˆσ 12 ϕ 21 B 2 ) and (Bi 1 i 2 p 1 p 2 ) are related according to Theorem 3.2. Then m ijk m Bijk and ijk Bijk. Proof. If the conditions of Theorem 3.6 hold then by construction (see the proof of the theorem) the injections and projections of B and the morphisms i α1 i α2 p α1 and p α2 are related by i 1 : Λ i α1 i 2 : Λ i α2 p 1 : p α1 Λ 1 and p 2 : p α2 Λ 1 where Λ : B 1 B 2 B is the given bialgebra isomorphism. Thus m ijk m Bijk and ijk Bijk follow directly. Hencewewillusethenotation m ijk and ijk forthecorrespondingmorphismshenceforth. Cocycle Cross Product Bialgebras Up to now a (co-)modular co-cyclic structure of cross product bialgebras and their tensor factors B 1 and B 2 did not emerge. In Definition 3.5 below we will restrict our considerations to cocycle cross product bialgebras for which (co-)modular co-cyclic structures appear in a very natural way. The universal property of cocycle cross product bialgebras will be discussed subsequently. We define strong cross product bialgebras in Definition 3.8. They are the basic objects which eventually constitute the universal (co-)modular co-cyclic theory of cross product bialgebras. In Definition 3.1 the morphisms m 1 η 1 ε 1 2 η 2 ε 2 etc. occur. Definition 3.5 below requires additional morphisms 1 m 2 µ l µ r ν l ν r σ and ρ. This is the stage where we find it convenient to start working with graphical calculus. All m η ε µ and ν will be presented by the graphics displayed in Figure 1 respectively 4. The cocycle and cycle morphisms σ and ρ will be presented henceforth graphically by σ : B 2 B 2 B 1 and ρ : B 2 B 1 B 1. Definition 3.5 A normalized cross product bialgebra B 1 ϕ ˆσ 12 ϕ 21 B 2 is called cocycle cross product bialgebra if there exist additional morphisms such that ϕ 12 ϕ 21 ˆσ and are of the form 1 : B 1 B 1 B 1 m 2 : B 2 B 2 B 2 µ l : B 2 B 1 B 1 µ r : B 2 B 1 B 2 ν l : B 1 B 2 B 1 ν r : B 2 B 2 B 1 σ : B 2 B 2 B 1 ρ : B 2 B 1 B 1 ϕ 12 (m 2 m 1 ) (id B1 Ψ B1 B 2 id B2 ) (ν l ν r ) ϕ 21 (µ l µ r ) (id B2 Ψ B2 B 1 id B1 ) ( 2 1 ) ˆσ (σ m 2 (µ r id B2 )) (id B2 Ψ B2 B 2 id B1 B 2 ) ( 2 (ν r id B2 ) 2 ) (m 1 (id B1 µ l ) m 1 ) (id B1 B 2 Ψ B1 B 1 id B1 ) ((id B1 ν l ) 1 ρ). 4 Note that some of these morphisms might be weak. That is weak (co-)multiplications weak (co-)actions etc. 14
15 Furthermore we require the following (co-)unital identities 1 η 1 η 1 η 2 (id B1 ε 1 ) 1 (ε 1 id B1 ) 1 id B1 ε 2 m 2 ε 2 ε 2 m 2 (id B2 η 2 ) m 2 (η 2 id B2 ) id B2 µ l (η 2 id B1 ) id B1 µ l (id B2 η 1 ) η 1 ε 2 ε 1 µ l ε 2 ε 1 µ r (id B2 η 1 ) id B2 µ r (η 2 id B1 ) η 2 ε 1 ε 2 µ r ε 2 ε 1 (ε 2 id B1 ) ν l id B1 (id B2 ε 1 ) ν l η 2 ε 1 ν l η 1 η 2 η 1 (3.6) (id B2 ε 1 ) ν r id B2 (ε 2 id B1 ) ν r η 1 ε 2 ν r η 2 η 2 η 1 and the projection relations (m 2 id B1 ) (id B2 ν r ) (m 2 id B1 ) (µ r ϕ 12 ) (id B2 (ρ id B2 ) 2 ) (µ l id B1 ) (id B2 1 ) (m 1 (id B1 σ) id B1 ) (ϕ 21 ν l ) (id B2 1 ). (3.7) Cocycle cross product bialgebras will be denoted subsequently by B 1 c ϕ 12 ˆσ ϕ 21 B 2. Remark 7 For a cocycle cross product bialgebra the following (co-)unital identities can be derived easily. 2 η 2 η 2 η 2 ε 1 m 1 ε 1 ε 1 ε 1 σ ε 2 ε 2 ρ η 2 η 1 η 1 σ (η 2 id B2 ) σ (id B2 η 2 ) η 1 ε 2 (id B1 ε 1 ) ρ (ε 1 id B1 ) ρ η 1 ε 2. Remark 8 By definition cocycle cross product bialgebras always come with certain structure morphisms m 1 m etc. There might be two different cocycle cross product bialgebras with the same underlying bialgebra structure. It is understood henceforth that the notation B 1 ϕ ˆσ c 12 ϕ 21 B 2 always refers to the complete structure of cocycle cross product bialgebras. The graphics of the morphisms ϕ 12 ϕ 21 and ˆσ of a cocycle cross product bialgebra ˆσ ϕ 21 B 1 are given by c B 1 ϕ 12 ϕ 12 : ϕ 21 : : ˆσ : (3.8) Then the graphical shapes of the multiplication and the comultiplication look like m c B1 ϕ ˆσ 12 ϕ21 B 1 and B1 ϕ 12 c ˆσ ϕ21 B 1 (3.9) 15
16 It is an easy exercise to prove that Definition 3.5 is compatible with trivial (co-)actions µ l µ r ν l ν r and trivial (co-)cycles σ and ρ respectively in the sense that no additional identities involving (co-)units have to be required for the remaining morphisms which define this special cocycle cross product bialgebra. The following theorem is the central basic statement in Section 3. It describes universality of cocycle cross product bialgebras. THEOREM 3.6 Let B be a bialgebra in C. Then the following statements are equivalent. 1. B is bialgebra isomorphic to a cocycle cross product bialgebra B 1 ϕ 12 c ˆσ ϕ 21 B There are idempotents Π 1 Π 2 End(B) such that the conditions of Theorem and the following projection relations hold. (γ 1 ) : (id Π 1 ) B δ (121) γ 1 (Π 1 Π 2 ) B (γ 2 ) : m B (Π 2 id) m B (Π 1 Π 2 ) γ 2 δ (212) (3.10) (δ j ) : (Π j id) δ (000) (id Π j ) (Π j id) δ (0j0) (id Π j ) for j {12}. In (3.10) we used the abbreviations γ j : (m B m B ) (id Π j id id) (id Ψ BB id) ( B B ) δ (ijk) : (m B id) (Π i Π j Π k ) (id B ). for ijk {012} and we set Π 0 : id A. i 3. There are objects B 1 and B 2 and morphisms B 1 p 1 i 1 B B1 and B 2 p 2 2 B B2 for which the conditions of Theorem and the projection relations (3.10) hold with Π j : i j p j j {12}. Proof. Obviously statement 2. and 3. are equivalent due to Theorem 3.2. Hence suppose statements 2. and 3. hold. Then by Theorem 3.2 there exists a normalized cross product bialgebra B 1 ϕ ˆσ 12 ϕ 21 B 2 which is isomorphic to B via the isomorphism Λ m B (i 1 i 2 ). We define m 2 : p 2 m B (i 2 i 2 ) σ : p 1 m B (i 2 i 2 ) µ l : p 1 m B (i 2 i 1 ) µ r : p 2 m B (i 2 i 1 ) 1 : (p 1 p 1 ) B i 1 ρ : (p 1 p 1 ) B i 2 ν l : (p 2 p 1 ) B i 1 ν r : (p 2 p 1 ) B i 2. (3.11) The morphisms m 1 2 η 1 η 2 ε 1 and ε 2 are given in terms of the projections and injections by the corresponding relations in (3.3) in Corollary 3.3. With the help of these data we define structure morphisms ϕ 12 ϕ 21 ˆ σ and ˆ ρ analogous to (3.8). We will show that the morphisms m B1 B 2 and B1 B 2 defined with these structure morphisms according to (3.9) precisely coincide with m B1 ϕ ˆσ 12 ϕ 21 B 2 and B1 ϕ ˆσ 12 ϕ 21 B 2 respectively if the assumptions of statement 2. (or 3.) are satisfied. Before we prove this we will provide 16
17 several auxiliary identities. From (3.1) and Corollary 3.3 we obtain (Π 2 Π 2 ) B m B (Π 2 id B ) (Π 2 Π 2 ) B Π 2 m B (Π 2 id B ) (Π 2 Π 2 ) B m B Π 1 m (3) B (Π 1 Π 1 Π 1 ) Π 1 m B (id B Π 1 m B ) (Π 1 Π 1 Π 1 ) Π 1 m B (id B Π 1 m B ) (Π 1 Π 1 id B ) Furthermore it holds Π 1 m (3) B (Π 1 Π 1 id B ). (3.12) (3.13) (Π 1 id B ) δ (102) (Π 1 Π 2 ) B m B (Π 1 id B ) (3.14) since the following equations are satisfied. m B (Π 1 Π 2 ) (m B id B ) (Π 1 B ) m B (Π 1 id B ) (m B (Π 1 Π 1 ) Π 2 ) (id B B ) m B (Π 1 m B (Π 1 Π 2 ) B ) m B (Π 1 id B ). Then (3.14) follows from Theorem Observe that Corollary 3.3 implies the additional conditions (3.10) have not been used to derive (3.14). Subsequently we will prove m B1 B 2 m B1 ϕ ˆσ 12 ϕ 21 B 2 graphically. Henceforth we use the notation Π j j for j {12}. m B1 B 2 i 1 i 2 i 1 i i 1 i 2 i 1 i p 1 p 2 p 1 p 2 i 1 i 2 i 1 i 2 i 1 i 2 i 1 i 2 2 p 1 p 2 p 1 p 2 Λ 1 m B (Λ Λ) m B1 ϕ 12 ˆσ ϕ 21 B 2. i 1 i 2 i 1 i p 1 p 2 (p 1 p 2 ) B m (4) B (i 1 i 2 i 1 i 2 ) (3.15) To derive the first identity of (3.15) we used the specific form of the structure morphisms ϕ 12 ϕ 21 ˆ σ and ˆ ρ. Then (3.1) (3.2) and the third identity of (3.10) for j 1 yield 17
18 the second equality of (3.15). With Theorem (3.2) and (3.12) we derive the third equation whereas (3.13) and again use of Theorem yield the fourth identity of (3.15). The fifth equality comes from application of the second projection relation of (3.10) and for the derivation of the sixth identity we used (3.14). Finally the definition of Λ given in the proof of Theorem 3.2 yields the result. In a π-symmetric way the identity B1 B 2 B1 ϕ ˆσ 12 ϕ 21 B 2 will be shown. The (co-)unital identities (3.6) can be verified straightforwardly from the definitions the assumptions and Corollary 3.3. It remains to prove the projection relations (3.7). Observe that Π 1 Λ (id B1 η 2 ε 2 ) Λ 1 Π 2 Λ (η 1 ε 1 id B2 ) Λ 1. (3.16) Taking into account the relation B (Λ Λ) B1 ϕ ˆσ 12 ϕ 21 B 2 Λ 1 and the relation m B Λ m B1 ϕ ˆσ 12 ϕ 21 B 2 (Λ 1 Λ 1 ) one obtains with the help of (3.16) and (3.6) B Π 1 (Λ Λ (id B1 η 2 )) (id B1 ν l ) 1 (id B1 ε 2 ) Λ Π 1 m B Λ (id η 2 ) m 1 (m 1 σ) (id ϕ 21 id) (Λ 1 Λ 1 ). (3.17) Gluing the identities of (3.17) and Π 1 according to the left and right hand side of the third equation of (3.10) (for j 1) using (3.16) again and eventually multiplying both resulting sides with (Λ Λ) (η 1 id id η 2 ) and (id ε 2 id ε 2 ) (Λ 1 Λ 1 ) yields (µ l id B1 ) (id B2 1 ) (m 1 (id B1 σ) id B1 ) (ϕ 21 ν l ) (id B2 1 ) which is the second identity of (3.7). Analogously the first equation of (3.7) can be derived. This proves that B 1 ϕ ˆσ 12 ϕ 21 B 2 is cocycle cross product bialgebra. Conversely suppose that Λ : B 1 ϕ ˆσ c 12 ϕ 21 B 2 B is an isomorphism of bialgebras. To prove statement 2. it suffices to verify relations (3.10). Like in the proof of Theorem 3.2 we define i 1 : Λ (id B1 η 2 ) i 2 : Λ (η 1 id B2 ) p 1 : (id B1 ε 2 ) Λ 1 and p 2 : (ε 1 id B2 ) Λ 1. Then the identities (3.17) will be proven for Π j : i j p j in the way described above. And the previously performed gluing of the identities (3.17) yields (Π 1 id) δ (000) (id Π 1 ) (Λ (id η 2 ) Λ (id η 2 )) (m 1 (m 1 σ) id) (id ϕ 21 ν l ) (Λ 1 1 (id ε 2 ) Λ 1 ) (Π 1 id) δ (010) (id Π 1 ) (Λ (id η 2 ) Λ (id η 2 )) (m 1 (id µ l ) id) (Λ 1 1 (id ε 2 ) Λ 1 ). Therefore by assumption (3.7) the third identity of (3.10) for j 1 follows. Applying π-symmetry the third equation of (3.10) for j 2 will be derived. Then all conditions are satisfied which have been needed to derive the first four identities in (3.15). Hence m c B1 ϕ ˆσ (p 12 ϕ21 B 1 m (3) 2 B p 1 m B ) (id (2) Ψ BB (id Π 2 ) id) (i 1 B m B (i 2 i 1 ) B i 2 ) On the other hand it holds by assumption m c B1 ϕ ˆσ Λ 1 m 12 ϕ21 B B (Λ Λ) 2 (p 1 p 2 ) B m (4) B (i 1 i 2 i 1 i 2 ) (p 1 p 2 ) δ (000) (i 1 m (3) B (i 2 i 1 i 2 )) where we used (3.14) which has been derived under the more general assumption of Theorem
19 Multiplying both expressions of m c B1 ϕ ˆσ with (η 12 ϕ21 B 1 p 2 p 1 p 2 ) and (i 1 i 2 ) 2 and using that i 1 is algebra morphism yields (Π 1 m B Π 1 m B ) (id Ψ BB (id Π 2 ) id) ( B m B (Π 2 Π 1 ) B Π 2 ) (Π 1 Π 1 ) B m (3) B (Π 2 Π 1 Π 2 ) from which the second identity of (3.10) can be derived easily with the help of Theorem Similarly by π-symmetry the first equation of (3.10) will be proven. Remark 9 The projection relations (γ 1 ) and (γ 2 ) in (3.10) can be derived from the identities (β 1 ) : β 1 β 1 (id Π 1 ) and (β 2 ) : β 2 (Π 2 id) β 2 (3.18) where β 1 : (Π 1 m B id) (id Ψ BB ) ( B Π 1 id) and β 2 : (id Π 2 m B ) (Ψ BB id) (id B Π 2 ). However in general the conditions (β 1 ) and (β 2 ) are not equivalent to the conditions (γ 1 ) and (γ 2 ) in Theorem 3.6. PROPOSITION 3.7 Under the equivalent conditions of Theorem 3.6 the following statements hold. 1. µ l ε 2 id B1 is trivial Π 1 m B (id B Π 1 ) Π 1 m B (Π 1 Π 1 ). 2. µ r id B2 ε 1 is trivial Π 2 m B Π 2 m B (Π 2 Π 2 ) p 2 is algebra morphism. 3. ν l η 2 id B1 is trivial B Π 1 (Π 1 Π 1 ) B Π 1 i 1 is coalgebra morphism. 4. ν r id B2 η 1 is trivial (Π 2 id B ) B Π 2 (Π 2 Π 2 ) B Π σ η 1 (ε 2 ε 2 ) is trivial ˆσ η 1 m 2 m B (Π 2 Π 2 ) Π 2 m B (Π 2 Π 2 ) i 2 is algebra morphism. 6. ρ (η 1 η 1 ) ε 2 is trivial 1 ε 2 (Π 1 Π 1 ) B (Π 1 Π 1 ) B Π 1 p 1 is coalgebra morphism. 7. µ l and σ are trivial Π 1 m B Π 1 m B (Π 1 Π 1 ) p 1 is algebra morphism. 8. ν r and ρ are trivial B Π 2 (Π 2 Π 2 ) B Π 2 i 2 is coalgebra morphism. Proof. We prove Proposition and The remaining statements can be derived in a similar manner or follow directly by π-symmetric reasoning. Without loss of generality we may assume Π 1 id B1 η 2 ε 2 and Π 2 η 1 ε 1 id B2. Ad 1.: Suppose that µ l is trivial. This means that (id B1 ε 2 ) ϕ 21 ε 2 id B1. Using (2.2) and the unital identities of (2.3) then yields Π 1 m B (id B Π 1 ) (m B1 η 2 ε 2 ) (id B1 ϕ 21 ε 2 ) (m B1 η 2 ) (id B1 µ l ε 2 ) (m B1 η 2 ) (id B1 ε 2 id B1 ε 2 ). On the other hand from the unital identities of (2.3) immediately follows Π 1 m B (Π 1 Π 1 ) (m B1 η 2 ) (id B1 ε 2 id B1 ε 2 ). Conversely if Π 1 m B (id B Π 1 ) Π 1 m B (Π 1 Π 1 ) holds then analogous calculations as before yield (m B1 η 2 ε 2 ) (id B1 ϕ 21 ε 2 ) 19
20 (m B1 η 2 ) (id B1 ε 2 id B1 ε 2 ). And then the triviality of µ l (id B1 ε 2 ) ϕ 21 ) follows straightforwardly. Ad 5.: Supposethat m B (Π 2 Π 2 ) Π 2 m B (Π 2 Π 2 ). Then m 2 p 2 m B (i 2 i 2 ) is associative for as m 2 (id m 2 ) p 2 m B (i 2 Π 2 m B (i 2 i 2 )) p 2 m B (id B m B ) (i 2 i 2 i 2 ) p 2 m B (m B id B ) (i 2 i 2 i 2 ) m 2 (m 2 id B2 ). Hence B 2 is an algebra. And i 2 m 2 Π 2 m B (i 2 i 2 ) m B (i 2 i 2 ). Therefore i 2 is algebra morphism. Conversely if i 2 is algebra morphism then m B (Π 2 Π 2 ) i 2 m 2 (p 2 p 2 ) i 2 p 2 i 2 m 2 (p 2 p 2 ) Π 2 m B (Π 2 Π 2 ). Let i 2 be algebra morphism. Then from the last identity of (3.3) and the second identity of (3.2) we derive ˆσ (p 1 p 2 ) B m B (i 2 i 2 ) (p 1 p 2 ) B i 2 m 2 η 1 m 2. If on the other hand ˆσ η 1 m 2 then we use (2.2) and (2.3) to obtain m B (i 2 i 2 ) m B (η 1 id B2 η 1 id B2 ) (η 1 id B2 ) m 2 i 2 m 2 which shows that i 2 is algebra morphism. It is an easy exercise to prove that triviality of ˆσ and triviality of σ are equivalent. Remark 10 Under the equivalent conditions of Theorem 3.2 similar results like in Proposition 3.7 can be shown for general cross product bialgebras if m 2 1 µ l µ r ν l and ν r will be defined formally as in (3.11). Strong Cross Product Bialgebras In the following we define strong cross product bialgebras. They will be studied in more detail in Theorems 4.4 and 4.5 in connection with so-called strong Hopf data. It turns out that strong cross product bialgebras are the central objects in our universal (co-)modular co-cyclic theory of cross product bialgebras 5. Definition 3.8 A cocycle cross product bialgebra B 1 product bialgebra if in addition the identities c ϕ 12 ˆσ ϕ 21 B 2 is called strong cross (3.19) are fullfilled. We denote strong cross product bialgebras by 6 B 1 h B2. (3.20) (3.21) 5 strong cross product bialgebras and strong Hopf data provide a unifying universal and (co-)modular co-cyclic theory of cross product bialgebras. But they are probably not the most general setting to meet the same demands. Therefore our notation strong should be specified further. However in order to avoid terminological blow-up we will henceforth use our notation always having in mind that there might be a weaker definition of strong. This is certainly an interesting direction for further study. 6 The deeper meaning of this notation will become clear in Section 4. 20
21 Remark 11 (!) A tedious calculation shows that the projection relations (γ 1 ) (γ 2 ) (δ 1 ) and (δ 2 ) in (3.10) as well as (3.7) are redundant for strong cross product bialgebras. Therefore if we use the morphisms m ijk and ijk from Corollary 3.4 an alternative definition of strong cross product bialgebras can be given as follows. A strong cross product bialgebra is a cross product bialgebra for which the identities (3.19) (3.20) and (3.21) formally hold for the corresponding morphisms m ijk and ijk. We call a strong cross product bialgebra regular if all defining identities have rank (2 2) (13) or (31). We call it pure if (3.19) (3.20) and (3.21) are redundant. Any bialgebra B which is isomorphic to a certain cocycle cross product bialgebra has injections and projections i 1 i 2 p 1 and p 2 which are uniquely determined by the cocycle cross product bialgebra and the given isomorphism (see Theorem 3.6 and Remark 6). In the special case of strong cross product bialgebras the structure morphisms obey the additional identities(3.19) (3.21). Using(3.3) and(3.11) these relations can be translated easily into equations of the idempotents Π 1 and Π 2 of the bialgebra B as follows. (Π 2 id B ) Φ idb (Π 1 Π 1 ) (Π 2 id B ) B Π 1 ε B ((Π 1 Π 1 ) Φ Π2 id B ) (Π 2 Ψ BB ) ( B Π 1 Π 2 ) η B η B Π 1 ε B (Π 1 id B ) δ (220) (id B Π 1 ) η B ε B Π 1 (Π 1 Π 2 m B (id B Π 2 ) id B Π 1 ) (Ψ BB Φ Π2 id B ) (id B (Ψ BB id B id B ) (Π 1 ( B Π 1 id B ) B Π 2 )) ((Π 1 Π 2 m B ) (Ψ BB id B ) (id B B ) Π 1 Π 1 ) (id B (Ψ BB id B ) (id B (Π 1 id B ) B Π 2 )) (3.22) and the corresponding π-symmetric counterparts. We used Φ f : (m B id B ) (f Ψ BB ) ( B id B ) for f : B B and δ (ijk) of Theorem 3.6. Recall Remark 5 and observe that our construction of (strong/cocycle) cross product bialgebras is invariant under π-symmetry. However cross product bialgebras in general fail to be invariant if duality or rotational symmetry along a vertical axis (in the plane of the paper) will be transformed separately. Without problems the dual versions of cross product bialgebras can be defined using our original definition. The corresponding results follow immediately. If the category C has (right) duality then the following proposition shows how dual cross product bialgebras can be constructed explicitely. PROPOSITION 3.9 Suppose that C is a braided category with duality functor ( ) : C Cop op where Cop op is the opposite category with opposite tensor product. If (B;B 1 B 2 i 1 i 2 p 1 p 2 ) is a (strong/cocycle) cross product bialgebra in C then the dual tuple (B ;B1 B 2 i 1 i 2 p 1 p 2 ) is a dual (strong/cocycle) cross product bialgebra in Cop. 21
Cross ProductBialgebras
Journal of Algebra 240, 445 504 (2001) doi:10.1006/jabr.2000.8631, available online at http://www.idealibrary.com on Cross ProductBialgebras PartII Yuri Bespalov Bogolyubov Institute for Theoretical Physics,
Transparency condition in the categories of Yetter-Drinfel d modules over Hopf algebras in braided categories
São Paulo Journal of athematical Sciences 8, 1 (2014), 33 82 Transparency condition in the categories of Yetter-Drinfel d modules over opf algebras in braided categories. Femić IERL, Facultad de Ingeniería,
Thus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
Sheet 11. PD Dr. Ralf Holtkamp Prof. Dr. C. Schweigert Hopf algebras Winter term 2014/2015. Algebra and Number Theory Mathematics department
Algebra and Number Theory Mathematics department PD Dr. Ralf Holtkamp Prof. Dr. C. Schweigert Hopf algebras Winter term 014/015 Sheet 11 Problem 1. We consider the C-algebra H generated by C and X with
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode
Quantum Groups. Jesse Frohlich. September 18, 2018
Quantum Groups Jesse Frohlich September 18, 2018 bstract Quantum groups have a rich theory. Categorically they are wellbehaved under the reversal of arrows, and algebraically they form an interesting generalization
arxiv:q-alg/ v1 9 Aug 1997
DAMTP/97-76 arxiv:q-alg/9708010v1 9 Aug 1997 COALGEBRA EXTENSIONS AND ALGEBRA COEXTENSIONS OF GALOIS TYPE Tomasz Brzeziński 1 and Piotr M. Hajac 2 Department of Applied Mathematics and Theoretical Physics,
THE QUANTUM DOUBLE AS A HOPF ALGEBRA
THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises
THE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS. Donald Yau
International Electronic Journal of Algebra Volume 17 (2015) 11-45 THE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS Donald Yau Received: 25 January 2014 Communicated by A. Çiğdem Özcan Abstract.
EXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
HOPF GALOIS (CO)EXTENSIONS IN NONCOMMUTATIVE GEOMETRY. Mohammad Hassanzadeh (Received June 17, 2012)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 42 (2012), 195-215 HOPF GALOIS (CO)EXTENSIONS IN NONCOMMUTATIVE GEOMETRY Mohammad Hassanzadeh (Received June 17, 2012) Abstract. We introduce an alternative proof,
NOTES ON ATIYAH S TQFT S
NOTES ON ATIYAH S TQFT S J.P. MAY As an example of categorification, I presented Atiyah s axioms [1] for a topological quantum field theory (TQFT) to undergraduates in the University of Chicago s summer
Hopf Algebras. Zajj Daugherty. March 6, 2012
Hopf Algebras Zajj Daugherty March 6, 2012 Big idea: The Hopf algebra structure is essentially what one needs in order to guarantee that tensor products of modules are also modules Definition A bialgebra
A quantum double construction in Rel
Under consideration for publication in Math. Struct. in Comp. Science A quantum double construction in Rel M A S A H I T O H A S E G A W A Research Institute for Mathematical Sciences, Kyoto University,
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
Monoidal Categories, Bialgebras, and Automata
Monoidal Categories, Bialgebras, and Automata James Worthington Mathematics Department Cornell University Binghamton University Geometry/Topology Seminar October 29, 2009 Background: Automata Finite automata
The Maschke Theorem for L-R-smash Products
139ò16Ï ê Æ? Ð Vol.39, No.6 2010c12 ADVANCES IN MATHEMATICS Dec., 2010 The Maschke Theorem for L-R-smash Products NIU Ruifang, ZHOU Xiaoyan, WANG Yong, ZHANG Liangyun (Dept. of Math., Nanjing Agricultural
Kathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009
Institute of Geometry, lgebra and Topology Ecole Polytechnique Fédérale de Lausanne Conference on lgebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Outline 1 2 3 4 of rings:
arxiv: v1 [math.qa] 9 Feb 2009
Compatibility of (co)actions and localizations Zoran Škoda, zskoda@irb.hr preliminary version arxiv:0902.1398v1 [math.qa] 9 Feb 2009 Earlier, Lunts and Rosenberg studied a notion of compatibility of endofunctors
LECTURE X: KOSZUL DUALITY
LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn
GALOIS EXTENSIONS OVER COMMUTATIVE AND NON-COMMUTATIVE BASE. Gabriella Böhm
GALOIS EXTENSIONS OVE COMMUTATIVE AND NON-COMMUTATIVE ASE Gabriella öhm esearch Institute for Particle and Nuclear Physics, udapest, H-1525 udapest 114, P.O..49, Hungary e-mail: g.bohm@rmki.kfki.hu Abstract
Hopf-Galois and Bi-Galois Extensions
Fields Institute Communications Volume 00, 0000 Hopf-Galois and Bi-Galois Extensions Peter Schauenburg Mathematisches Institut der Universität München Theresienstr. 39 80333 München Germany email: schauen@mathematik.uni-muenchen.de
Morita Equivalence. Eamon Quinlan
Morita Equivalence Eamon Quinlan Given a (not necessarily commutative) ring, you can form its category of right modules. Take this category and replace the names of all the modules with dots. The resulting
FUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
Quantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
arxiv: v1 [math.ra] 11 Apr 2016
arxiv:1604.02950v1 [math.ra] 11 Apr 2016 Rota-Baxter coalgebras and Rota-Baxter bialgebras Tianshui Ma and Linlin Liu 1 Department of Mathematics, School of Mathematics and Information Science, Henan Normal
1 Cartesian bicategories
1 Cartesian bicategories We now expand the scope of application of system Beta, by generalizing the notion of (discrete) cartesian bicategory 1. Here we give just a fragment of the theory, with a more
Twisted tensor product of multiplier Hopf (*-)algebras
Journal of Algebra 269 2003 285 316 www.elsevier.com/locate/jalgebra Twisted tensor product of multiplier Hopf *-algebras Lydia Delvaux Department WNI, L.U.C., Universiteitslaan, B-3590 Diepenbeek, Belgium
E ring spectra and Hopf invariant one elements
University of Aberdeen Seminar 23rd February 2015 last updated 22/02/2015 Hopf invariant one elements Conventions: Everything will be 2-local. Homology and cohomology will usually be taken with F 2 coefficients,
ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC
Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424 460. ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC RICHARD F. BLUTE, FRANÇOIS LAMARCHE, PAUL RUET ABSTRACT. We give a
Kathryn Hess. Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011
MATHGEOM Ecole Polytechnique Fédérale de Lausanne Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011 Joint work with... Steve Lack (foundations) Jonathan Scott (application
ALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
Categorical quantum mechanics
Categorical quantum mechanics Chris Heunen 1 / 76 Categorical Quantum Mechanics? Study of compositional nature of (physical) systems Primitive notion: forming compound systems 2 / 76 Categorical Quantum
THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS
Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL
where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
Chern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1
2-DIMENSIONL TOPOLOGICL QUNTUM FIELD THEORIES ND FROBENIUS LGEBRS CROLINE TERRY bstract. Category theory provides a more abstract and thus more general setting for considering the structure of mathematical
De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
DOI-HOPF MODULES AND YETTER-DRINFELD MODULES FOR QUASI-HOPF ALGEBRAS
DOI-HOPF MODULES AND YETTER-DRINFELD MODULES FOR QUASI-HOPF ALGEBRAS D. BULACU, S. CAENEPEEL, AND B. TORRECILLAS Abstract. For a quasi-hopf algebra H, a left H-comodule algebra B and a right H-module coalgebra
Lecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.
Lecture 15: Duality We ended the last lecture by introducing one of the main characters in the remainder of the course, a topological quantum field theory (TQFT). At this point we should, of course, elaborate
What is a quantum symmetry?
What is a quantum symmetry? Ulrich Krähmer & Angela Tabiri U Glasgow TU Dresden CLAP 30/11/2016 Uli (U Glasgow) What is a quantum symmetry? CLAP 30/11/2016 1 / 20 Road map Classical maths: symmetries =
arxiv:math/ v1 [math.at] 6 Oct 2004
arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences
Lectures on Quantum Groups
Lectures in Mathematical Physics Lectures on Quantum Groups Pavel Etingof and Olivier Schiffinann Second Edition International Press * s. c *''.. \ir.ik,!.'..... Contents Introduction ix 1 Poisson algebras
Symbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
Decompositions of Modules and Comodules
Decompositions of Modules and Comodules Robert Wisbauer University of Düsseldorf, Germany Abstract It is well-known that any semiperfect A ring has a decomposition as a direct sum (product) of indecomposable
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
LECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
Contents. Introduction. Part I From groups to quantum groups 1
Preface Introduction vii xv Part I From groups to quantum groups 1 1 Hopf algebras 3 1.1 Motivation: Pontrjagin duality... 3 1.2 The concept of a Hopf algebra... 5 1.2.1 Definition... 5 1.2.2 Examples
Applications of one-point extensions to compute the A -(co)module structure of several Ext (resp., Tor) groups
Applications of one-point extensions to compute the A -(co)module structure of several Ext (resp., Tor) groups Estanislao Herscovich Abstract Let A be a nonnegatively graded connected algebra over a noncommutative
Categorical techniques for NC geometry and gravity
Categorical techniques for NC geometry and gravity Towards homotopical algebraic quantum field theory lexander Schenkel lexander Schenkel School of Mathematical Sciences, University of Nottingham School
PART I. Abstract algebraic categories
PART I Abstract algebraic categories It should be observed first that the whole concept of category is essentially an auxiliary one; our basic concepts are those of a functor and a natural transformation.
Endomorphism Semialgebras in Categorical Quantum Mechanics
Endomorphism Semialgebras in Categorical Quantum Mechanics Kevin Dunne University of Strathclyde November 2016 Symmetric Monoidal Categories Definition A strict symmetric monoidal category (A,, I ) consists
Homological Algebra and Differential Linear Logic
Homological Algebra and Differential Linear Logic Richard Blute University of Ottawa Ongoing discussions with Robin Cockett, Geoff Cruttwell, Keith O Neill, Christine Tasson, Trevor Wares February 24,
Boolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
The Dual Rings of an R-Coring Revisited
Communications in Algebra ISSN: 0092-7872 (Print) 1532-4125 (Online) Journal homepage: http://www.tandfonline.com/loi/lagb20 The Dual Rings of an R-Coring Revisited Laurent Poinsot & Hans-E. Porst To cite
MULTIPLIER HOPF ALGEBRAS AND DUALITY
QUANTUM GROUPS AND QUANTUM SPACES BANACH CENTER PUBLICATIONS, VOLUME 40 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1997 MULTIPLIER HOPF ALGEBRAS AND DUALITY A. VAN DAELE Department of
Scuola Internazionale Superiore di Studi Avanzati Area of Mathematics Ph.D. in Mathematical Physics. Dirac Operators on Quantum Principal G-Bundles
Scuola Internazionale Superiore di Studi Avanzati Area of Mathematics Ph.D. in Mathematical Physics Dirac Operators on Quantum Principal G-Bundles Supervisor: Prof. Ludwik Dabrowski Candidate: Alessandro
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
Quantum Groups and Link Invariants
Quantum Groups and Link Invariants Jenny August April 22, 2016 1 Introduction These notes are part of a seminar on topological field theories at the University of Edinburgh. In particular, this lecture
Congruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
Algebraic Geometry: Limits and Colimits
Algebraic Geometry: Limits and Coits Limits Definition.. Let I be a small category, C be any category, and F : I C be a functor. If for each object i I and morphism m ij Mor I (i, j) there is an associated
Duality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
Cohen-Fischman-Westreich s Double Centralizer Theorem for Almost-Triangular Hopf Algebras
Chin. Ann. Math. 37B(4), 2016, 483 494 DOI: 10.1007/s11401-016-1025-x Chinese Annals of Mathematics, Series B c The Editorial Office of CAM and Springer-Verlag Berlin Heidelberg 2016 Cohen-Fischman-Westreich
PART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms
Institut für Mathematik, Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria.
Letters in Math. Phys. 28 (1993), 251 255 A QUANTUM GROUP LIKE STRUCTURE ON NON COMMUTATIVE 2 TORI Andreas Cap Peter W. Michor Hermann Schichl Institut für Mathematik, Universität Wien, Strudlhofgasse
ABELIAN AND NON-ABELIAN SECOND COHOMOLOGIES OF QUANTIZED ENVELOPING ALGEBRAS
ABELIAN AND NON-ABELIAN SECOND COHOMOLOGIES OF QUANTIZED ENVELOPING ALGEBRAS AKIRA MASUOKA Abstract. For a class of pointed Hopf algebras including the quantized enveloping algebras, we discuss cleft extensions,
Introduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
Lie bialgebras real Cohomology
Journal of Lie Theory Volume 7 (1997) 287 292 C 1997 Heldermann Verlag Lie bialgebras real Cohomology Miloud Benayed Communicated by K.-H. Neeb Abstract. Let g be a finite dimensional real Lie bialgebra.
Notes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
arxiv:math/ v2 [math.kt] 2 Aug 2002
arxiv:math/0207154v2 [math.kt] 2 Aug 2002 Injective opf bimodules, cohomologies of infinite dimensional opf algebras and graded-commutativity of the Yoneda product. Rachel Taillefer Department of Mathematics
Algebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
h M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
MORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 04 39 MORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES JIŘÍ ADÁMEK, MANUELA SOBRAL AND LURDES SOUSA Abstract: Algebraic
Why Do Partitions Occur in Faà di Bruno s Chain Rule For Higher Derivatives?
Why Do Partitions Occur in Faà di Bruno s Chain Rule For Higher Derivatives? arxiv:math/0602183v1 [math.gm] 9 Feb 2006 Eliahu Levy Department of Mathematics Technion Israel Institute of Technology, Haifa
INTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
Artin algebras of dominant dimension at least 2.
WS 2007/8 Selected Topics CMR Artin algebras of dominant dimension at least 2. Claus Michael Ringel We consider artin algebras with duality functor D. We consider left modules (usually, we call them just
Non-Commutative Covariant Differential Calculi on Quantum Spaces and Quantum Groups
Seminar Sophus Lie 1 (1991) 125 132 Non-Commutative Covariant Differential Calculi on Quantum Spaces and Quantum Groups Konrad Schmüdgen 1. Introduction There are two alternative fundamental approaches
Notes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
Defects in topological field theory: from categorical tools to applications in physics and representation theory
Defects in topological field theory: from categorical tools to applications in physics and representation theory Christoph Schweigert Mathematics Department Hamburg University based on work with Jürgen
Product type actions of compact quantum groups
Product type actions of compact quantum groups Reiji TOMATSU May 26, 2014 @Fields institute 1 / 31 1 Product type actions I 2 Quantum flag manifolds 3 Product type actions II 4 Classification 2 / 31 Product
SELF-DUAL HOPF QUIVERS
Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of
ne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
A global version of the quantum duality principle
A global version of the quantum duality principle Fabio Gavarini Università degli Studi di Roma Tor Vergata Dipartimento di Matematica Via della Ricerca Scientifica 1, I-00133 Roma ITALY Received 22 August
Categories and Quantum Informatics
Categories and Quantum Informatics Week 6: Frobenius structures Chris Heunen 1 / 41 Overview Frobenius structure: interacting co/monoid, self-duality Normal forms: coherence theorem Frobenius law: coherence
Non-commutative Algebra
Non-commutative Algebra Patrick Da Silva Freie Universität Berlin June 2, 2017 Table of Contents 1 Introduction to unital rings 5 1.1 Generalities............................................ 5 1.2 Centralizers
Towers of algebras categorify the Heisenberg double
Towers of algebras categorify the Heisenberg double Joint with: Oded Yacobi (Sydney) Alistair Savage University of Ottawa Slides available online: AlistairSavage.ca Preprint: arxiv:1309.2513 Alistair Savage
A Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
On the Merkulov construction of A -(co)algebras
On the Merkulov construction of A -(co)algebras Estanislao Herscovich Abstract The aim of this short note is to complete some aspects of a theorem proved by S. Merkulov in [7], Thm. 3.4, as well as to
LECTURE 3 Functional spaces on manifolds
LECTURE 3 Functional spaces on manifolds The aim of this section is to introduce Sobolev spaces on manifolds (or on vector bundles over manifolds). These will be the Banach spaces of sections we were after
Equational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM
THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM KATHERINE GALLAGHER Abstract. The fundamental group is an essential tool for studying a topological space since it provides us with information about
A NOTE ON FREE QUANTUM GROUPS
A NOTE ON FREE QUANTUM GROUPS TEODOR BANICA Abstract. We study the free complexification operation for compact quantum groups, G G c. We prove that, with suitable definitions, this induces a one-to-one
KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE)
KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE) BERNHARD KELLER Abstract. This is a brief report on a part of Chapter 2 of K. Lefèvre s thesis [5]. We sketch a framework for Koszul duality [1]
Quantum Geometry and Quantum Field Theory
Quantum Geometry and Quantum Field Theory Robert Oeckl Downing College Cambridge September 2000 A dissertation submitted for the degree of Doctor of Philosophy at the University of Cambridge Preface This
Division Algebras and Parallelizable Spheres III
Division Algebras and Parallelizable Spheres III Seminar on Vectorbundles in Algebraic Topology ETH Zürich Ramon Braunwarth May 8, 2018 These are the notes to the talk given on April 23rd 2018 in the Vector