Comodule Algebra Research Articles

From Supersymmetry to Quantum Commutativity

Let (H, R) be a quasitriangular Hopf algebra acting on an algebra A. We study a concept of A being quantum commutative with respect to (H, R). Superalgebras which are graded commutative (called sometimes commutative superalgebras) are shown to be examples of such an action. There is an analogous notion of quantum commutativity for comodule algebra. The quantum plane Cq[x, y] is an example, both under the coaction of quantum 2 × 2 matrices, and also in a more novel way at q a root of unity. If H is a cocommutative finite dimensional Hopf algebra and (D(H), R) its Drinfeld double we show that H is quantum commutative with respect to (D(H), R). We discuss further examples of such actions and coactions, and show that the category A # HMod resembles (for such actions) the category of modules over commutative rings.

Covariant q-bosonic or q-fermionic operators and deformed u(N) algebras

Oq(N, ℝ) (resp. USpq(0))-covariant q-bosonic (resp. q-fermionic) algebras are constructed in terms of the corresponding R-matrix. Their defining relations are written in explicit form in terms of q-commutators (resp. q-anticommutators). Their generators are expressed as cubic polynomials in standard or SUq(N)-covariant q-bosonic (resp. q-fermionic) operators. The operators bilinear in the Oq(N, ℝ) (resp. USpq(N))-covariant q-bosonic (resp. q-fermionic) creation and annihilation operators are shown to generate an Oq(N, ℝ) (resp. USpq(N))-comodule algebra. The latter goes into the enveloping algebra of u(N) for q → 1 and provides a q-deformation of u(N) in the u(N) ⊃ so(N, ℝ) (resp. u(N) ⊃ usp(N)) basis, which may be of interest in algebraic models used in hadronic, nuclear, atomic, and molecular physics. A connection with some quadratic algebras related to reflection equations is also pointed out. PACS Nos. : 02.20. + b, 03.65. Fd, 11.30.Na

Algebraic Aspects of the Quantum Yang-Baxter Equation

In this paper we examine a variety of algebraic contexts in which the quantum Yang–Baxter equation arises, and derive methods for generating new solutions from given ones. The solutions we describe are encoded in objects which have a module and a comodule structure over a bialgebra. Our work here is based in part on the ideas of [DR1, DR2]. Suppose that R : M ⊗M −→ M ⊗M is a solution to the quantum Yang–Baxter equation, where M is a finite-dimensional vector space over a field k. In [DR2] it was shown that R can be derived from a left H-module structure and a right H-comodule structure on M for some bialgebra H over k (also see [Yet], [Maj1], [Maj2], [FRT2]). The module and comodule structure satisfy a natural compatibility condition. M together with these structures is called a left quantum Yang– Baxter H-module. Every left quantum Yang–Baxter module gives rise to a solution to the quantum Yang–Baxter equation in a natural way. We study the category HYB of left quantum Yang–Baxter H-modules, and show that many of the familiar constructions in the module category HM can be made in HYB. Through these constructions solutions to the quantum Yang–Baxter equation can be combined in various ways to generate new ones. We place particular emphasis on the tensor product of objects of HYB, and ways in which the tensor algebra T (M) of an object M of HYB can be viewed as an object of HYB. Using the tensor algebra we are able to extend certain solutions when dim M = 2 to the quantum plane. We turn the tensor algebra T (M) of an object M of HYB into an object of HYB by giving it a module algebra and a comodule algebra structure. Module algebra and comodule algebra structures play a very important role in this paper. In Section 9 we develop a calculus for Uq(sl2) starting with a right k[SLq(2)]-comodule algebra structure on the quantum plane k[x, y]q, where k[SLq(2)] is the coordinate ring of quantum SLq(2) over k. This calculus has been described in other ways [M-S,Sud]. The right comodule algebra structure on k[x, y]q accounts for the left Uq(sl2)-module algebra structure on k[x, y]q described in [M-S]. We show how the basic irreducible representations of [Tak] follow by the calculus. A module algebra action, or comodule algebra action, is a natural vehicle for extending structure on a submodule, or subcomodule, respectively to the subalgebra it generates. The calculus, and the solutions to the quantum Yang–Baxter equation we describe in this paper, are determined in this manner on small structures, two-dimensional in this case. We believe that many more results will follow from this circle of ideas. In Section 2 we discuss basic aspects of coalgebra and bialgebras used in the sequel. A good general reference for this is Sweedler’s book [SB] on Hopf algebras. In Section 3 we review the quantum Yang–Baxter equation in connection with quantum Yang– Baxter modules. The A(R) construction of Faddeev, Reshetikhin and Takhtajan [FRT] is considered in this light, and examined in detail in when R arises from two commuting operators. Even though this particular R is rather simple, the algebra structure of A(R) is surprisingly complex. Using the Scratchpad computer algebra system, we determine the algebra structure of A(R) in an interesting specific case, showing that our particular example has a finite (non-commutative) Groeb-

Strongly inner actions, coactions, and duality theorems

Let H be a Hopf algebra with bijective antipode S over a commutative ring k, and M a right //-module. Then End (M) is a right //-module algebra over k with //-action( ). (S is the composition inverse of S.) This //-action on End(M) is strongly inner so that //#End(M)^//0End(M). (Here the smash product is the right smash product of [6] or [12].) Similarly, if M is a finitelygenerated projective ^-module and a left //-comodule, then End(M) is a left //-comodule algebra, the left Hcoaction is strongly inner, and End(M)#//^End(M)0//. In this paper, we exploit the above observation to examine some well-known duality results, along with some new examples, from the point of view that the duality involves an endomorphism ring and a strongly inner action or coarHnn.

Algebraic structures related to reflection equations

Quadratic algebras related to the reflection equations are introduced. They are quantum group comodule algebras. The quantum group $F_q(GL(2))$ is taken as the example. The properties of the algebras (center, representations, realizations, real forms, fusion procedure etc) as well as the generalizations are discussed.

The homology of MSpin

The mod two homology of MSpin, the Spin-cobordism Thom spectrum, has a rich algebraic structure. We will describe it explicitly as a comodule algebra, and give some applications to the ring structure of the Spin-cobordism ring.

The Mod Two Homology of MSO and MSU as a Comodule Algebras, and the Cobordism Ring

The Mod Two Homology of MSO and MSU as a Comodule Algebras, and the Cobordism Ring