arxiv:q-alg/ v1 9 Aug 1997
|
|
- Jeffrey Nicholson
- 6 years ago
- Views:
Transcription
1 DAMTP/97-76 arxiv:q-alg/ v1 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, University of Cambridge, Silver St., Cambridge CB3 9EW, England. Abstract The notion of a coalgebra-galois extension is defined as a natural generalisation of a Hopf-Galois extension. It is shown that any coalgebra-galois extension induces a unique entwining map ψ compatible with the right coaction. For the dual notion of an algebra-galois coextension it is also proven that there always exists a unique entwining structure compatible with the right action. 1 Introduction Hopf-Galois extensions can be viewed as non-commutative torsors or principal bundles with universal differential structure. From the latter point of view a quantum group gauge theory was introduced in [3] and developed in [7, 5]. It turns out that to develop gauge theory on quantum homogeneous spaces (e.g., the family of Podleś quantum spheres) or with braided groups (see [9] for a recent review), one needs to consider coalgebra bundles. Such a generalisation of gauge theory was proposed recently in [4]. It introduces the notions 1 On leave from: Department of Theoretical Physics, University of Lódź, Pomorska 149/153, Lódź, Poland. tb121@amtp.cam.ac.uk 2 On leave from: Department of Mathematical Methods in Physics, Warsaw University, ul. Hoża 74, Warsaw, Poland. pmh33@amtp.cam.ac.uk 1
2 of an entwining structure with an entwining map ψ, and a ψ-principal coalgebra bundle. The latter can be viewed as a generalisation of a Hopf-Galois extension, termed a ψ-galois extension. In the present paper we introduce the notion of a coalgebra-galois extension as a natural generalisation of a Hopf-Galois extension. It is obtained by requiring that the coaction be left-linear over the coinvariants rather than an algebra map. We prove that such defined coalgebra-galois extension induces a unique entwining map ψ making the coalgebra-galois extension ψ-galois. We dualise coalgebra-galois extensions and thus introduce the notion of an algebra-galois coextension. We show that for such a coextension there exists an entwining map ψ making it a ψ-galois coextension (called dual ψ-principal coalgebra bundle in [4]). Finally, we prove that if two quotient coalgebras C/I 1 and C/I 2 cogenerate (in the sense of Definition 4.1) the coalgebra C equipped with a group-like element, then the coinvariants of C are the same as the intersection of the coinvariants of C/I 1 with the coinvariants of C/I 2. Notation. Here and below k denotes a field. All algebras are over k, associative and unital with the unit denoted by 1. All algebra homomorphisms are assumed to be unital. We use the standard algebra and coalgebra notation, i.e., is a coproduct, m is a product, ε is a counit, etc. The identity map from the space V to itself is also denoted by V. The unadorned tensor product stands for the tensor product over k. For a k-algebra A we denote by Mod A, AMod and A Mod A the category of right A-modules, left A-modules and A- bimodules respectively. Similarly, for a k-coalgebra C we denote by Mod C, C Mod and C Mod C the category of right C-comodules, left C-comodules and C-bicomodules respectively. Also, by A Mod C ( C Mod A ) we denote the category of left (right) A-modules with the action V µ (µ V ) and right (left) C- comodules with the coaction V ( V ) such that V V µ = ( V µ C) (A V ) ( V µ V = (C µ V ) ( V A)), i.e., V ( V ) is right (left) A-linear. For coactions and coproducts we use Sweedler s notation with suppressed summation sign: A (a) = a (0) a (1), (c) = c (1) c (2). 2
3 2 C-Galois extensions First recall the definition of a Hopf-Galois extension (see [10] for a review). Definition 2.1 Let H be a Hopf algebra, A be a right H-comodule algebra, and B := A coh := {a A A a = a 1}. We say that A is a (right) Hopf- Galois extension (or H-Galois extension) of B iff the canonical left A-module right H-comodule map can := (m H) (A B A ) : A B A A H is bijective. Note that in the situation of Definition 2.1, both A B A and A H are objects in A Mod H via the maps m B A, A B A and m A, A respectively. The canonical map can is a morphism in this category. Thus the extension B A is Hopf-Galois if A B A = A H as objects in A Mod H by the canonical map can. It has recently been observed in [2] that one can view quantum embeddable homogeneous spaces B of a Hopf algebra H, such as the family (indexed by [0, ]) of quantum two-spheres of Podleś [11], as extensions by a coalgebra C. It is known (see p.200 in [11]) that, except for the North Pole sphere (c = 0), no other spheres of this family are quantum quotient spaces of SU q (2). They escape the standard Hopf-Galois description. To include this important case in Galois extension theory, one needs to generalise the notion of a Hopf-Galois extension to the case of an algebra extended to an algebra by a coalgebra (cf. [6] for the dual picture). This is obtained by weakening the requirement that A be an algebra map, and leads to the notion of a coalgebra-galois extension. (A special case of this kind was considered in [14, p.291].) Definition 2.2 Let C be a coalgebra, e C a group-like element, A an algebra and a right C-comodule such that A 1 = 1 e, and B := A coc e := {a A A a = a e}. We say that A is a (right) coalgebra-galois extension (or C-Galois extension) of B iff 3
4 (1) the right coaction A : A A C is left linear over B and (2) the canonical left A-module right C-comodule map can := (m C) (A B A ) : A B A A C is bijective. Note that the first condition ensures that B is an algebra, so that the second condition makes sense. In what follows, we will consider only right coalgebra- Galois extensions, and skip writing right for brevity. The conditions of Definition 2.2 suffice to make both A B A and A C objects in A Mod C via the maps m B A, A B A and m A, A, respectively. The canonical map is again a morphism in A Mod C. The extension B A is C-Galois if can is an isomorphism in A Mod C. By the reasoning as in the proof of Proposition 1.6 in [7], one can obtain an alternative (differential) definition of a coalgebra-galois extension: Proposition 2.3 Let C, e and A be as above. Let Ω 1 A := Ker m denote the universal calculus on A, and C + := Kerε the augmentation ideal of C. The algebra A is a C-Galois extension if and only if the following sequence of left A-modules is exact: 0 A(Ω 1 B)A Ω 1 A can A C + 0, (2.1) where can := (m C) (A A ). In the Hopf-Galois case, one can generalise the above sequence to a nonuniversal differential calculus in a straightforward manner: 0 AΩ 1 (B)A Ω 1 (A) χ A (H + /R H ) 0, (2.2) where R H is the ad R -invariant right ideal of the Hopf algebra H defining a bicovariant calculus on H [17], and χ is defined by a formula fully analogous to the formula for can. Sequence (2.2) is a starting point of the quantumgroup gauge theory proposed in [3] and continued in [7]. The Hopf-Galois extension describes a quantum principal bundle with the universal differential 4
5 calculus. Proposition 2.3 shows that the C-Galois extension can also be viewed as a generalisation of such a bundle, a principal coalgebra bundle. The theory of such bundles and connections on them (also for non-universal differential calculus) was developed in [4]. More specifically, the theory considered in [4] uses the notion of an entwining structure (closely connected with the theory of factorisation of algebras considered in [8]) and identifies coalgebra principal bundles with C-Galois extensions constructed within this entwining structure. The aim of this section is to show that to each C-Galois extension of Definition 2.2 there corresponds a natural entwining structure. Therefore the notions of a C-Galois extension of Definition 2.2 and a ψ-principal coalgebra bundle of [4, Proposition 2.2] are equivalent to each other. First we recall the definition of an entwining structure. Definition 2.4 Let C be a coalgebra, A an algebra and let ψ be a k-linear map ψ : C A A C such that ψ (C m) = (m C) (A ψ) (ψ A), ψ (C η) = η C, (2.3) (A ) ψ = (ψ C) (C ψ) ( A), (A ε) ψ = ε A, (2.4) where η is the unit map η : α α1. Then C and A are said to be entwined by ψ and the triple (A, C, ψ) is called an entwining structure. Entwining structures can be also understood as follows. Given an algebra A and a coalgebra C we consider A C as an object in A Mod with the structure map m C. Similarly we consider C A as an object in C Mod via the map A. Then we have Proposition 2.5 Let µ A C : A C A A C and C A : C A C A C be the maps making A C an object in A Mod A and C A an object in C Mod C correspondingly, and such that (ε A C) C A = µ A C (η C A). Then the pairs (µ A C, C A ) of such compatible maps are in one-to-one correspondence with the entwining structures (A, C, ψ). 5
6 Proof. First assume that C A C Mod C and A C A Mod A. Then ( A C) C A = (C C A ) ( A), and Define µ A C (m C A) = (m C) (A µ A C ). ψ = (ε A C) C A = µ A C (η C A). Then (m C) (A ψ) (ψ A) = (m C) (A µ A C ) (A η C A) (ψ A) = µ A C (m C A) (A η C A) (ψ A) = µ A C (µ A C A) (η C A A) = µ A C (A C m) (η C A A) = µ A C (η C A) (C m) = ψ (C m). Furthermore ψ (C η) = µ A C (η C A) (C η) = µ A C (η C η) = η C. Therefore ψ satisfies conditions (2.3). Dualising the above calculation (namely, interchanging with m, C with A, ε with η and C A with µ A C ) one easily finds that ψ satisfies conditions (2.4) too. Hence (A, C, ψ) is an entwining structure. Conversely, let (A, C, ψ) be an entwining structure. Define C A = (C ψ) ( A) and µ A C = (m C) (A ψ). Then (C A ) C A = (C A ) (C ψ) ( A) = (C ψ C) (C C ψ) (C A) ( A) = (C ψ C) (C C ψ) ( C A) ( A) = (C ψ C) ( A C) (C ψ) ( A) = ( C A C) C A. 6
7 We used property (2.4) to derive the second equality, and then coassociativity of the coproduct to derive the third one. Similarly, (C A ε) C A = (C A ε) (C ψ) ( A) = (C ε A) ( A) = C A. Hence C A is a right coaction. By dualising the above argument one verifies that µ A C is a right action. Finally, an elementary calculation shows that (ε A C) C A = µ A C (η C A) = ψ. Thus the bijective correspondence is established. As a consequence of the definition of an entwining structure one easily finds [4, Proposition 2.2] that for any group-like e C, we have A Mod C with a coaction A : a ψ(e a). Clearly A (1) = 1 e. Furthermore, for any a A and any b in the fixed-point subspace B = A coc e {a A A (a) = a e}, we have A (ba) = ψ(e ba) = ((m C) (A ψ))(ψ(e b) a) = ((m C) (A ψ))(b e a) = b A (a). Here we used the first of equations (2.3) to derive the second equality. Consequently, B is an algebra, A is a left B-module map, A B Mod C and we are in the setting of Definition 2.2. Now we can consider [4, Proposition 2.2]: Definition 2.6 Let (A, C, ψ) be an entwining structure, e C a group-like element, and A : a ψ(e a) a right C-coaction on A. We say that B A is a ψ-galois extension of B = A coc e by a coalgebra C iff B A is a coalgebra- Galois extension, i.e., iff the canonical homomorphism can : A B A A C in A Mod C is an isomorphism. (We call the underlying quantum-space structure of (A, B, C, ψ, e) a ψ-principal bundle.) The main result of the paper is contained in the following: Theorem 2.7 Let A be a C-Galois extension of B := A coc e. Then there exists a unique map ψ : C A A C entwining C with A and such that A (a) = ψ(e a) for any a A. 7
8 Proof. Assume that B A is a coalgebra-galois extension. Then can is bijective and there exists the translation map τ : C A B A, τ(c) := can 1 (1 c). We use the notation τ(c) = c (1) c (2) (summation understood). Using [1, Proposition 3.9] or [13, Remark 3.4] and their obvious generalisation to the present case, for all c C and a A, one obtains that (i) c (1) c (2) = ε(c), (ii) a (0) a (1) (1) a (2) (1) = 1 a, (iii) c (1) c (2) (0) c (2) (1) = c (1) (1) c (2) (1) c (2). Define a map ψ : C A A C by ψ = can (A B m) (τ A), ψ(c a) = c (1) (c (2) a) (0) (c (2) a) (1). (2.5) We show that ψ entwines C and A. By definition of the translation map, we have: ψ(c 1) = c (1) c (2) (0) c (2) (1) = 1 c. Furthermore, by property (i) of the translation map, ((id ε) ψ)(c a) = c (1) (c (2) a) (0) ε((c (2) a) (1) ) = c (1) c (2) a = ε(c)a. Thus we have proven that the second equations in (2.3) (2.4) hold. Next we have ((m C) (A ψ) (ψ A))(c a a ) = ((m C) (A ψ))(c (1) (c (2) a) (0) (c (2) a) (1) a ) = c (1) (c (2) a) (0) (c (2) a) (1) (1) ((c (2) a) (2) (1) a ) (0) ((c (2) a) (2) (1) a ) (1) = c (1) (c (2) aa ) (0) (c (2) aa ) (1) = (ψ (C m))(c a a ), where we used the property (ii) of the translation map to derive the third equality. Hence the first of equations (2.3) holds. Similarly, ((ψ C) (C ψ) ( A))(c a) = (ψ C)(c (1) c (1) (2) (c (2) (2) a) (0) (c (2) a) (1) ) = c (1) (1) (c (2) (1) c (1) (2) (c (2) (2) a) (0) ) (0) (c (2) (1) c (1) (2) (c (2) (2) a) (0) ) (1) (c (2) (2) a) (1) 8
9 = c (1) (c (2) (0)c (2) (1) (1) (c (2) (1) (2) a) (0) ) (0) (c (2) (0)c (2) (1) (1) (c (2) (1) (2) a) (0) ) (1) (c (2) (1) (2) a) (1) = c (1) ((c (2) a) (0) ) (0) ((c (2) a) (0) ) (1) (c (2) a) (1) = c (1) (c (2) a) (0) (c (2) a) (1) (c (2) a) (2) = ((A ) ψ)(c a). We used property (iii) of the translation map to derive the third equality and then property (ii) to derive the fourth one. Hence C and A are entwined by ψ as required. Moreover, since τ(e) = 1 1, we have ψ(e a) = e (1) (e (2) a) (0) (e (2) a) (1) = a (0) a (1) = A (a). It remains to prove the uniqueness of the entwining map ψ given by (2.5). Suppose that there is an entwining map ψ such that ψ(e a) = a (0) a (1), a A. Then, for all a A, c C, ψ(c a) = c (1) (c (2) a) (0) (c (2) a) ( ) (1) = c (1) ψ (C m) (e c (2) a) = c ((m (1) C) (A ψ) ( ψ ) A) (e c (2) a) = c ((m (1) C) (A ψ) ) (c (1) (0) c (2) (1) a) = c (1) c (2) ψ(c (0) (2) (1) a) = ψ(c a). Here we used first of equations (2.3) to derive the third equality and then the definition of the translation map to obtain the last one. Thus the uniqueness of ψ is proven and the proof of the theorem is completed. The map a B a aψ(e a ) coincides with the isomorphism can, whence (A, B, C, ψ, e) is a ψ-galois extension. We have: Corollary 2.8 For a given algebra A, a coalgebra C, and a group-like e C, the following statements are equivalent: (1) (A, B, C, ψ, e) is a ψ-galois extension. (2) B A is a coalgebra-galois extension of B = A coc e by C. 9
10 Remark 2.9 A slightly different definition of a C-Galois extension was proposed in [2]. Let A be an algebra, C a coalgebra and e a group-like element of C. One assumes that A C Mod A, A Mod C, and the action and coaction are such that A m = µ A C ( A A) and µ A C (a e, a ) = aa (0) a (1) for any a, a A. Then B = A coc e is an algebra and the canonical map can : A B A A C is well-defined. B A is a C-Galois extension if the canonical map can is a bijection. One easily finds, however, that given A and C satisfying the above conditions, A B Mod C via the maps µ A = m and A. Hence, by Theorem 2.7, this definition of a C-Galois extension is equivalent to the one introduced in [4] and in Definition 2.2. Remark 2.10 In the Hopf-Galois case, the formula for ψ becomes quite simple: ψ(h a) = a (0) ha (1). If the Hopf algebra H has a bijective antipode, ψ is an isomorphism, and its inverse is given by ψ 1 (a h) := hs 1 (a (1) ) a (0). Furthermore, the coaction A : A H op A, A (a) := a ( 1) a (0) := S 1 (a (1) ) a (0) makes A a left H op -comodule algebra, where H op stands for the Hopf algebra with the opposite multiplication. One can define the following left version of the canonical map: can L : A B A H A, can L (a B a ) := a ( 1) a (0) a. It is straightforward to verify that ψ can L = can. Since ψ and can are isomorphisms, we can immediately conclude that so is can L. 3 A-Galois coextensions The dual version of a Hopf-Galois extension can be viewed as a non-commutative generalisation of the theory of quotients of formal schemes under free actions of formal group schemes (cf. [12]). In this section we dualise C-Galois extensions and derive results analogous to the results discussed in the previous section. First recall the definition of a cotensor product. Let B be a coalgebra and M, N a right and left B-comodule respectively. The cotensor product M B N is defined by the exact sequence 0 M B N M N l M B N, 10
11 where l is the coaction equalising map l = M N M N. In particular, if C is a coalgebra, I its coideal and B = C/I, then { C B C = c i c i C C c i (1) π(ci (2) ) ci = i i i } c i π( c i (1) ) ci (2), where π : C B = C/I is the canonical surjection. The following definition [15, p.3346] dualises the concept of a Hopf-Galois extension: Definition 3.1 Let H be a Hopf algebra, C a right H-module coalgebra with the action µ C : C H C. Then I := {µ C (c, h) ε(h)c c C, h H} is a coideal in C and thus B := C/I is a coalgebra. We say that C B is a Hopf-Galois coextension (or H-Galois coextension) iff the canonical left C-comodule right H-module map cocan := (C µ C ) ( H) : C H C B C is a bijection. With the help of the property µ C = (µ C µ C ) (C flip H) ( ), it can be directly checked that the image of the map cocan is indeed contained in C B C. To see more clearly that Definition 3.1 is obtained by dualising Definition 2.1, one can notice that both C H and C B C are objects in C Mod H, which is dual to A Mod H. The structure maps are C, C m and B C, C B µ C respectively. The canonical map cocan is a morphism in C Mod H. The coextension C B is Hopf-Galois if C H = C B C as objects in C Mod H by the canonical map cocan. The notion of a Hopf-Galois coextension can be generalised by replacing H by an algebra A and weakening the condition that the action µ C is a coalgebra map. This generalisation dualises the construction of a C-Galois extension of the previous section. First we prove Lemma 3.2 Let C be a coalgebra, A an algebra and κ : A k an algebra character. Assume that C Mod A with the action µ C and define I κ = {µ C (c, a) κ(a)c c C, a A}. (3.6) 11
12 Let B := C/I κ. If ε µ C = ε κ and κ µ C = (B µ C ) ( κ A), where κ = (π κ C) and π κ : C C/I κ is the canonical surjection, then B is a coalgebra. (If the conditions of the lemma are satisfied we say that the action µ C is left B-colinear and counital with respect to κ.) Proof. By the counitality of µ C, we have I κ C + := Ker ε. Furthermore, using the colinearity of µ C one finds that κ (I κ ) B I κ. Since Ker π κ = I κ, we obtain (I κ ) C I κ + I κ C. Therefore I κ is a coideal and B is a coalgebra, as stated. The above lemma implies that in this case C B Mod A with the structure maps µ C and κ. Consequently, the canonical map cocan := (C µ C ) ( A) : C A C B C (3.7) is well defined, and we can consider: Definition 3.3 Let A be an algebra, κ : A k an algebra character, C a coalgebra and right A-module, and B = C/I κ, where I κ is the coideal (3.6). We say that C is an algebra-galois coextension (or A-Galois coextension) of B iff (1) the right action µ C : C A C is left colinear over B and counital with respect to κ, (2) the canonical left C-comodule right A-module map cocan := (C µ C ) ( A) : C A C B C is bijective. Again, to see that Definition 3.3 dualises the notion of a C-Galois extension one can notice that both C A and C B C are objects in C Mod A, which is dual to A Mod C. The structure maps are C, C m and B C, C B µ C, respectively. The canonical map cocan is a morphism in C Mod A. The coextension C B is A-Galois if C A = C B C as objects in C Mod A by the canonical map cocan. 12
13 In [4] the notion of a dual ψ-principal bundle was introduced in the framework of entwining structures. This was possible by noting that the notion of an entwining structure has the following self-duality property. If one replaces A with C, with m, η with ε and reverses the order of composition, then formulae (2.3) become (2.4) and vice versa. Furthermore, if there is an algebra character κ : A k one can define a right action µ C : C A C by µ C = (κ C) ψ. This action is counital with respect to κ. It is also left colinear over B := C/I κ, where I κ is given by (3.6). Indeed, κ µ C = (π κ C) (κ C) ψ = (π κ C) (κ C C) (A ) ψ = (π κ C) (κ C C) (ψ C) (C ψ) ( A) = (π κ µ C C) (C ψ) ( A) = (π κ κ A) (C ψ) ( A) = (π κ µ C ) ( A) = (B µ C ) ( κ A). We used the definition of µ C to derive the first, fourth and sixth equalities, the definition of I κ to derive the fifth one, and the first of equations (2.4) to establish the third equality. By Lemma 3.2 B is a coalgebra, and we can consider algebra-galois coextensions whose right action map µ C is determined by ψ as described above. Definition 3.4 Let (A, C, ψ) be an entwining structure, κ : A k an algebra character, and µ C := (κ C) ψ a right action of A on C. We say that C B is a ψ-galois coextension of B = C/I κ by an algebra A iff C B is an A- Galois coextension, i.e., iff the canonical morphism cocan : C A C B C in C Mod A is an isomorphism. (We call the underlying quantum-space structure of (A, B, C, ψ, κ) a dual ψ-principal bundle.) Very much as in the previous section, it turns out that every A-Galois extension is equipped with an entwining structure. More precisely, we have the following dual version of Theorem 2.7: 13
14 Theorem 3.5 Let C be an A-Galois coextension of B := C/I κ. Then there exists a unique map ψ : C A A C entwining C with A and such that µ C = (κ C) ψ. Proof. We dualise the proof of Theorem 2.7. Assume that C B is an A- Galois coextension. Then cocan is a bijection and there exists the cotranslation map ˇτ : C B C A, ˇτ := (ε C) cocan 1. By dualising properties of the translation map (or directly from the definition of ˇτ), one can establish the following properties of the cotranslation map: (i) ˇτ(c (1), c (2) ) = ε(c), (ii) µ C (C ˇτ) ( B C) = ε C or explicitly µ C (c (1), ˇτ(c (2), c ) = ε(c)c, (iii) ˇτ(c, µ C (c, a)) = ˇτ(c, c )a, for any c, c C and a A. Combining (iii) with (ii) one obtains (iv) ˇτ(c, c (1))ˇτ(c (2), c ) = ε(c )ˇτ(c, c ), for any c, c, c C. Using the cotranslation map one defines a map ψ : C A A C by ψ = (ˇτ C) (C ) cocan, ψ(c a) = ˇτ(c (1), µ C (c (2), a) (1) ) µ C (c (2), a) (2). (3.8) We now show that the map ψ entwines C and A. For any c C we find ψ(c 1) = ˇτ(c (1), µ C (c (2), 1) (1) ) µ C (c (2), 1) (2) = ˇτ(c (1), c (2) ) c (3) = 1 c, where we used property (i) to derive the last equality. Furthermore, for any c C, a A, ((A ε) ψ)(c a) = ˇτ(c (1), µ C (c (2), a) (1) )ε(µ C (c (2), a) (2) ) = ˇτ(c (1), µ C (c (2), a)) = ˇτ(c (1), c (2) )a = ε(c)a, where the penultimate equality is implied by (iii), and the ultimate one by (i). Thus we have proven that the second conditions of (2.3) and (2.4) are fulfilled by ψ. To prove the first of equations (2.3), we take a, a A, c C and 14
15 compute ((m C) (A ψ) (ψ A))(c a a ) = ((m C) (A ψ))(ˇτ(c (1), µ C (c (2), a) (1) ) µ C (c (2), a) (2) a ) = ˇτ(c (1), µ C (c (2), a) (1) )ˇτ(µ C (c (2), a) (2), µ C (µ C (c (2), a) (3), a ) (1) ) µ C (µ C (c (2), a) (3), a ) (2) = ˇτ(c (1), µ C (µ C (c (2), a), a ) (1) ) µ C (µ C (c (2), a), a ) (2) = ˇτ(c (1), µ C (c (2), aa ) (1) ) µ C (c (2), aa ) (2) = ψ(c aa ). We used property (iv) of the cotranslation map to derive the third equality. The fourth equality follows from the fact that µ C is a right action. To prove the first of equations (2.4) we take any c C, a A, use (ii) and compute ((ψ C) (C ψ) ( A))(c a) = (ψ C)(c (1) ˇτ(c (2), µ C (c (3), a) (1) ) µ C (c (3), a) (2) ) = ˇτ(c (1), µ C (c (2), ˇτ(c (3), µ C (c (4), a) (1) )) (1) ) µ C (c (2), ˇτ(c (3), µ C (c (4), a) (1) )) (2) µ C (c (4), a) (2) = ˇτ(c (1), µ C (c (2), a) (1) ) µ C (c (2), a) (2) µ C (c (2), a) (3) = ((A ) ψ)(c a). Next observe that, by the counitality of µ C, we have (ε ε) cocan = (ε κ), whence κ ˇτ = ε ε. This applied to the definition of ψ implies that (κ C) ψ = µ C, as needed. Finally, the uniqueness of ψ can be verified by the dualisation of the argument at the end of the proof of Theorem 2.7. (To perform explicit calculations one needs to use the first of equations (2.4) and the property (iii) of the cotranslation map.) As in the previous section, we have Corollary 3.6 For an algebra A, a coalgebra C and an algebra character κ : A k, the following statements are equivalent: (1) (A, B, C, ψ, κ) is a ψ-galois coextension. (2) C B is an A-Galois coextension of B := C/I κ by A. 15
16 4 Appendix We say that two subgroups G 1 and G 2 of a group G generate G if any element of G can be written as a finite length word whose letters are elements of G 1 or G 2. The (dual) coalgebra version of this concept is given in the following definition: Definition 4.1 Let C be a coalgebra and I 1, I 2 its coideals. Let (i) denote the composite map C n C n π i 1... π in C/I i1... C/I in, where n (c) := c (1)... c (n), (i) := (i 1,...,i n ) {1, 2} n is a finite multiindex, and each π ik is a canonical surjection. We say that the quotient coalgebras C/I 1 and C/I 2 cogenerate C iff (i) M f Ker (i) = 0, where M f is the space of all finite multi-indices. We write then (C/I 1 ) (C/I 2 ) = C. Observe that the above construction is closely related to the wedge construction of [16]. In the group situation it is clear that what is invariant under both generating subgroups is invariant under the whole group, and vice-versa. Below is the (dual) coalgebra version of this classical phenomenon. Proposition 4.2 Let C be a coalgebra, e C a group-like element, I 1 and I 2 coideals of C, and A a right C-comodule. Then (C/I 1 ) (C/I 2 ) = C A coc e = A co(c/i 1) e A co(c/i 2) e. Proof. Clearly, we always have A coc e A co(c/i 1) e A co(c/i 2) e. Assume now that there exists a A co(c/i 1) e A co(c/i 2) e such that a A coc e. Then 0 A a a e =: j J f j h j, where {f α } α A is a basis of A and {h j } j J is a non-empty set which does not contain zero. Furthermore, for any (i) M f, we have: (A (i) )( j J f j h j ) = ((A π i1 π in ) (A n 1 ))( A a a e) = ((A π i1 π in ) (A n 1 ) A )(a) a e n 16
17 = a (0) π i1 (a (1) ) π in (a (n) ) a e n = ((A π i1 ) A C (n 1) )(a (0) π i2 (a (1) ) π in (a (n 1) )) a e n = ([(A π i1 ) A C (n 1) ] (A π in ) A )(a) a e n = 0 Consequently, by the linear independence of f j, j J, we have (i) (h j ) = 0 for j J. Hence, as this is true for any (i) M f, we obtain (i) M f Ker (i) 0, as needed. ACKNOWLEDGEMENTS This work was supported by the EPSRC grant GR/K02244 (T.B.) and by the NATO postdoctoral fellowship and KBN grant 2 P (P.M.H.). References [1] T. Brzeziński. Translation map in quantum principal bundles. J. Geom. Phys., 20: , (hep-th/ ) [2] T. Brzeziński. Quantum homogeneous spaces as quantum quotient spaces. J. Math. Phys., 37: , (q-alg/ ) [3] T. Brzeziński and S. Majid. Quantum group gauge theory on quantum spaces. Commun. Math. Phys., 157: , Erratum 167:235, (hep-th/ ) [4] T. Brzeziński and S. Majid. Coalgebra bundles. To appear in Commun. Math. Phys. Preprint, q-alg/ , [5] T. Brzeziński and S. Majid. Quantum differentials and the q-monopole revisited. Preprint DAMTP/97-60, q-alg/ , [6] M. S. Dijkhuizen and T. Koornwinder. Quantum homogeneous spaces, duality and quantum 2-spheres. Geom. Dedicata, 52: , [7] P. M. Hajac. Strong connections on quantum principal bundles. Commun. Math. Phys. 182: ,
18 [8] S. Majid. Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction. J. Algebra 130:17 64, [9] S. Majid. Advances in quantum and braided geometry. To appear in ed. V. Dobrev, Proc. XXI ICGTMP (Quantum groups volume), Goslar 1996, Heron Press, Sofia. (q-alg/ ) [10] S. Montgomery. Hopf Algebras and Their Actions on Rings. AMS, [11] P. Podleś. Quantum spheres. Lett. Math. Phys., 14: , [12] H.-J. Schneider. Principal homogeneous spaces for arbitrary Hopf algebras. Isr. J. Math., 72: , [13] H.-J. Schneider. Representation theory of Hopf-Galois extensions. Isr. J. Math., 72: , [14] H.-J. Schneider. Normal basis and transitivity of crossed products for Hopf algebras. J. Algebra, 152: , [15] H.-J. Schneider. Some remarks on exact sequences of quantum groups. Comm. Alg., 21: (9), 1993 [16] M. E. Sweedler. Hopf Algebras W.A.Benjamin, Inc., New York, 1969 [17] S. L. Woronowicz. Differential calculus on compact matrix pseudogroups (quantum groups). Commun. Math. Phys. 122: ,
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,
More informationProjective Quantum Spaces
DAMTP/94-81 Projective Quantum Spaces U. MEYER D.A.M.T.P., University of Cambridge um102@amtp.cam.ac.uk September 1994 arxiv:hep-th/9410039v1 6 Oct 1994 Abstract. Associated to the standard SU (n) R-matrices,
More informationA Note on Coseparable Coalgebras arxiv: v1 [math.ra] 10 Mar 2008
A Note on Coseparable Coalgebras arxiv:0803.1428v1 [math.ra] 10 Mar 2008 Jawad Y. Abuhlail Department of Mathematics and Statistic, Box # 5046 King Fahd University of Petroleum & Minerals 31261 Dhahran
More informationGALOIS 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
More informationPROJECTIVITY AND FLATNESS OVER THE ENDOMORPHISM RING OF A FINITELY GENERATED COMODULE
Available at: http://www.ictp.it/~pub off IC/2006/018 United Nations Educational Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationThus 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 :
More informationarxiv:math/ v2 [math.qa] 29 Jan 2001
DAMTP-98-117 arxiv:math/9904142v2 [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
More informationBundles over quantum weighted projective spaces
Bundles over quantum weighted projective spaces Tomasz Swansea University Lancaster, September 2012 Joint work with Simon A Fairfax References: TB & SAF, Quantum teardrops, Comm. Math. Phys. in press (arxiv:1107.1417)
More informationS(Λ µ ν) = Λ µ ν, (1)
A NOTE ON GEOMETRY OF -MINKOWSKI SPACE Stefan Giller, Cezary Gonera, Piotr Kosiński, Pawe l Maślanka Department of Theoretical Physics University of Lódź ul. Pomorska 149/153, 90 236 Lódź, Poland arxiv:q-alg/9602006v1
More informationE 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,
More informationarxiv: 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
More informationTHE 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
More informationNORMAL SMASH PRODUCTS
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 3 1998 NORMAL SMASH PRODUCTS S. Yang and D. Wang* Abstract: Let H be a co-frobenius Hopf algebra over a field k and A a right H-comodule algebra. It is shown that
More informationSELF-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
More informationTransparency 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,
More informationDecompositions 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
More informationNon-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
More informationHopf-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
More informationKathryn 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
More informationarxiv:math/ v1 [math.qa] 11 Jul 2005
The Legacy of Niels Henrik Abel, The Abel Bicentennial, Oslo, 2002, O. A. Laudal, R. Piene eds., Springer-Verlag 2004, 737 748 arxiv:math/0507221v1 [math.qa] 11 Jul 2005 Quantum principal bundles up to
More informationDual Adjunctions Between Algebras and Coalgebras
Dual Adjunctions Between Algebras and Coalgebras Hans E. Porst Department of Mathematics University of Bremen, 28359 Bremen, Germany porst@math.uni-bremen.de Abstract It is shown that the dual algebra
More informationGalois corings from the descent theory point of view
Fields Institute Communications Volume 00, 0000 Galois corings from the descent theory point of view S. Caenepeel Faculty of Applied Sciences Vrije Universiteit Brussel, VUB Pleinlaan 2 B-1050 Brussels,
More informationKathryn 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:
More informationTwisted 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
More informationWhat 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 =
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationScuola 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
More informationHopf Pairings and (Co)induction Functors over Commutative Rings
arxiv:math/0307145v2 [math.ra] 13 Jul 2004 Hopf Pairings and (Co)induction Functors over Commutative Rings Jawad Y. Abuhlail Mathematics Department Birzeit University P.O.Box 14, Birzeit - Palestine Abstract
More informationCross 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,
More informationMULTIPLIER 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
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationAN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION
AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION Daniel Halpern-Leistner 6/20/08 Abstract. I propose an algebraic framework in which to study measures of information. One immediate consequence
More informationLECTURE 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
More informationInstitut 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
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationPARTIAL ENTWINING STRUCTURES
PARTIAL ENTWINING STRUCTURES S. CAENEPEEL AND K. JANSSEN Abstract. We introduce partial (co)actions of a Hopf algebra on an algebra A. To this end, we introduce first the notion of lax coring, generalizing
More informationPolynomial Hopf algebras in Algebra & Topology
Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationTakeuchi s Free Hopf Algebra Construction Revisited
Takeuchi s Free Hopf Algebra Construction Revisited Hans E. Porst Department of Mathematics, University of Bremen, 28359 Bremen, Germany Abstract Takeuchi s famous free Hopf algebra construction is analyzed
More informationarxiv: 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
More informationUnstable modules over the Steenrod algebra revisited
245 288 245 arxiv version: fonts, pagination and layout may vary from GTM published version Unstable modules over the Steenrod algebra revisited GEOREY M L POWELL A new and natural description of the category
More information1 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,
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationA 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
More informationarxiv: v1 [math.rt] 1 Apr 2014
International Journal of Algebra, Vol. 8, 2014, no. 4, 195-204 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ arxiv:1404.0420v1 [math.rt] 1 Apr 2014 Induced Representations of Hopf Algebras Ibrahim
More informationDAMTP/94-70 to app. Proc. 3rd Colloq. Quantum Groups, Prague, June, 1994 SOME REMARKS ON THE QUANTUM DOUBLE. S. Majid 1
DAMTP/94-70 to app. Proc. 3rd Colloq. Quantum Groups, Prague, June, 1994 SOME REMARKS ON THE QUANTUM DOUBLE S. Majid 1 Department of Applied Mathematics & Theoretical Physics University of Cambridge, Cambridge
More informationABELIAN 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,
More informationBoolean 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
More informationA 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
More informationDuality and Rational Modules in Hopf Algebras over Commutative Rings 1
Journal of Algebra 240, 165 184 (2001) doi:10.1006/jabr.2001.8722, available online at http://www.idealibrary.com on Duality and Rational Modules in Hopf Algebras over Commutative Rings 1 J. Y. Abuhlail
More informationQUANTUM DOUBLE-TORUS
1 QUANTUM DOUBLE-TORUS arxiv:math/980309v [math.qa] 4 Sep 1998 Piotr M. Hajac Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Silver St., Cambridge CB3 9EW, England.
More informationQuantum 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
More informationHopf fibration and monopole connection over the contact quantum spheres.
Hopf fibration and monopole connection over the contact quantum spheres. arxiv:math/030113v1 [math.qa] 13 Jan 003 Tomasz Brzezińsi Department of Mathematics, University of Wales Swansea Singleton Par,
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationIntroduction to Depth Two and a Galois Theory for Bialgebroids. Lars Kadison
Introduction to Depth Two and a Galois Theory for Bialgebroids Lars Kadison Leeds, May 2006 Origins of depth two and finite depth in C - and von Neumann algebras Bratteli diagram for inclusion of fin.
More informationCategorical 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
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationQUANTUM DOUBLE FOR QUASI-HOPF ALGEBRAS
Damtp/95-69 QUANTUM DOUBLE FOR QUASI-HOPF ALGEBRAS S. Majid 1 Department of Mathematics, Harvard University Science Center, Cambridge MA 02138, USA 2 + Department of Applied Mathematics & Theoretical Physics
More informationQuantum 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
More informationFun with Dyer-Lashof operations
Nordic Topology Meeting, Stockholm (27th-28th August 2015) based on arxiv:1309.2323 last updated 27/08/2015 Power operations and coactions Recall the extended power construction for n 1: D n X = EΣ n Σn
More informationQuantizations 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,
More informationLecture 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
More informationActions of Compact Quantum Groups I
Actions of Compact Quantum Groups I Definition Kenny De Commer (VUB, Brussels, Belgium) Course material Material that will be treated: Actions and coactions of compact quantum groups. Actions on C -algebras
More informationLie Superalgebras and Lie Supergroups, II
Seminar Sophus Lie 2 1992 3 9 Lie Superalgebras and Lie Supergroups, II Helmut Boseck 6. The Hopf Dual. Let H = H 0 H 1 denote an affine Hopf superalgebra, i.e. a Z 2 -graded commutative, finitely generated
More informationUNSTABLE MODULES OVER THE STEENROD ALGEBRA REVISITED
UNSTABLE MODULES OVER THE STEENROD ALGEBRA REVISITED GEOREY M.L. POWELL Abstract. A new and natural description of the category of unstable modules over the Steenrod algebra as a category of comodules
More informationarxiv:hep-th/ v2 11 Jan 1996
Translation Map in Quantum Principal Bundles arxiv:hep-th/9407145v2 11 Jan 1996 Tomasz Brzeziński Physique Nucléaire Théorique et Physique Mathématique Université Libre de Bruxelles Campus de la Plaine
More informationMatsumura: Commutative Algebra Part 2
Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more
More informationCLASSIFYING TANGENT STRUCTURES USING WEIL ALGEBRAS
Theory and Applications of Categories, Vol. 32, No. 9, 2017, pp. 286 337. CLASSIFYING TANGENT STRUCTURES USING WEIL ALGEBRAS POON LEUNG Abstract. At the heart of differential geometry is the construction
More informationFinite Depth and a Galois Correspondence. Lars Kadison
Finite Depth and a Galois Correspondence Lars Kadison October 12, 2007 Similarity of Functors F G Two functors between abelian categories F, G : C D are said to be similar if object X C, n, m Z + : two
More informationA 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
More informationarxiv: v2 [math.qa] 31 Jul 2014
BRAIDED JOIN COMODULE ALGEBRAS OF GALOIS OBJECTS LUDWIK DABROWSKI, TOM HADFIELD, PIOTR M. HAJAC, AND ELMAR WAGNER arxiv:1407.6840v2 [math.qa] 31 Jul 2014 Abstract. We construct the join of noncommutative
More informationFUNCTORS 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,
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationEXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS
EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup
More informationINSTITUTE OF MATHEMATICS of the Polish Academy of Sciences
INSTITUTE OF MATHEMATICS of the Polish Academy of Sciences ul. Śniadeckich 8, P.O.B. 21, 00-956 Warszawa 10, Poland http://www.impan.pl IM PAN Preprint 722 (2010) Tomasz Maszczyk On Splitting Polynomials
More informationThe 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
More informationTransverse geometry. consisting of finite sums of monomials of the form
Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More information11 Annihilators. Suppose that R, S, and T are rings, that R P S, S Q T, and R U T are bimodules, and finally, that
11 Annihilators. In this Section we take a brief look at the important notion of annihilators. Although we shall use these in only very limited contexts, we will give a fairly general initial treatment,
More informationDOI-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
More informationNew York Journal of Mathematics New York J. Math. 6 (2000) 325{329. Doi-Koppinen Hopf Modules Versus Entwined Modules Peter Schauenburg Abstract. A Ho
New York Journal of Mathematics New York J. Math. 6 (2000) 325{329. Doi-Koppinen Hopf Modules Versus Entwined Modules Peter Schauenburg Abstract. A Hopf module is an A-module for an algebra A as well as
More informationThe 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
More informationSOME PROBLEMS AND RESULTS IN SYNTHETIC FUNCTIONAL ANALYSIS
SOME PROBLEMS AND RESULTS IN SYNTHETIC FUNCTIONAL ANALYSIS Anders Kock This somewhat tentative note aims at making a status about functional analysis in certain ringed toposes E, R, in particular, duality
More informationDe 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
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationOn the renormalization problem of multiple zeta values
On the renormalization problem of multiple zeta values joint work with K. Ebrahimi-Fard, D. Manchon and J. Zhao Johannes Singer Universität Erlangen Paths to, from and in renormalization Universität Potsdam
More informationne 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
More informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationThe Dirac operator on quantum SU(2)
Rencontres mathématiques de Glanon 27 June - 2 July 2005 The Dirac operator on quantum SU(2) Walter van Suijlekom (SISSA) Ref: L. D abrowski, G. Landi, A. Sitarz, WvS and J. Várilly The Dirac operator
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationCOLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS
COLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS S. FRYER, T. KANSTRUP, E. KIRKMAN, A.V. SHEPLER, AND S. WITHERSPOON Abstract. We investigate color Lie rings over finite group algebras and their
More informationLinearly reductive quantum groups: descent, simplicity and finiteness properties. Alexandru Leonida Chirvasitu
Linearly reductive quantum groups: descent, simplicity and finiteness properties by Alexandru Leonida Chirvasitu A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor
More informationNOTES ON TATE S p-divisible GROUPS. 1. Statement of purpose The aim here is simply to provide some details to some of the proofs in Tate s paper [T].
NOTES ON TATE S p-divisible GROUPS THOMAS J. HAINES 1. Statement of purpose The aim here is simply to provide some details to some of the proofs in Tate s paper [T]. 2. Tate s Section 2.2 2.1. Lemmas about
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationRELATIVE HOMOLOGY. M. Auslander Ø. Solberg
RELATIVE HOMOLOGY M. Auslander Ø. Solberg Department of Mathematics Institutt for matematikk og statistikk Brandeis University Universitetet i Trondheim, AVH Waltham, Mass. 02254 9110 N 7055 Dragvoll USA
More informationIdempotents and Morita-Takeuchi Theory
Idempotents and Morita-Takeuchi Theory J. Cuadra Dept. Álgebra y Análisis Universidad de Almería E-04120 Almería, Spain email: jcdiaz@ual.es J. Gómez-Torrecillas Dept. Álgebra Universidad de Granada E-01870
More informationQuantization of Lie bialgebras via the formality of the operad of little disks
Quantization of Lie bialgebras via the formality of the operad of little disks Dimitri Tamarkin Harvard University, Department of Mathematics & One Oxford Street Cambridge, MA 02138, USA e-mail: Abstract.
More informationPh. D. Dissertation Thesis
STATE UNIVERSITY OF NEW YORK @ BUFFALO DEPARTMENT OF MATHEMATICS Ph. D. Dissertation Thesis The Representation Theory of Profinite Algebras Interactions with Category Theory, Algebraic Topology and Compact
More information