Showing 1–50 of 54 results for author: Van Oystaeyen, F

Glider Brauer-Severi varietes of central simple algebras

Authors: Frederik Caenepeel, Freddy Van Oystaeyen

Abstract: The glider Brauer-Severy variety GBS(A) of a central simple algebra A over a field K is introduced as the set of all irreducible left glider ideals in A for some filtration FA. For fields we deduce that GBS(K) equals R(K) x Z, the product of the Riemann surface of K and the ring of integers Z. For a csa A over K it turns out that GBS(A) = BS(A) x GBS(K), where BS(A) denotes the classical Brauer-Se… ▽ More The glider Brauer-Severy variety GBS(A) of a central simple algebra A over a field K is introduced as the set of all irreducible left glider ideals in A for some filtration FA. For fields we deduce that GBS(K) equals R(K) x Z, the product of the Riemann surface of K and the ring of integers Z. For a csa A over K it turns out that GBS(A) = BS(A) x GBS(K), where BS(A) denotes the classical Brauer-Severi variety of A. △ Less

Submitted 8 June, 2019; originally announced June 2019.

Comments: 24 pages, submitted for publication

MSC Class: 16W60; 16W70

Generalized characters for glider representations of groups

Authors: Frederik Caenepeel, Fred Van Oystaeyen

Abstract: Glider representations can be defined for a finite algebra filtration FKG determined by a chain of subgroups 1 < G_1 < ... < G_d = G. In this paper we develop the generalized character theory for such glider representations. We give the generalization of Artin's theorem and define a generalized inproduct. For finite abelian groups G with chain 1 < G, we explicitly calculate the generalized charact… ▽ More Glider representations can be defined for a finite algebra filtration FKG determined by a chain of subgroups 1 < G_1 < ... < G_d = G. In this paper we develop the generalized character theory for such glider representations. We give the generalization of Artin's theorem and define a generalized inproduct. For finite abelian groups G with chain 1 < G, we explicitly calculate the generalized character ring and compute its semisimple quotient. The papers ends with a discussion of the quaternion group as a first non-abelian example. △ Less

Submitted 30 November, 2018; v1 submitted 31 January, 2018; originally announced January 2018.

Comments: 21 pages, accepted for publication in Algebras and Representation Theory

Glider representations of group algebra filtrations of nilpotent groups

Authors: Frederik Caenepeel, Fred Van Oystaeyen

Abstract: We continue the study of glider representations of finite groups $G$ with given structure chain of subgroups $e \subset G_1 \subset \ldots \subset G_d = G$. We give a characterization of irreducible gliders of essential length $e \leq d$ which in the case of $p$-groups allows to prove some results about classical representation theory. The paper also contains an introduction to generalized charact… ▽ More We continue the study of glider representations of finite groups $G$ with given structure chain of subgroups $e \subset G_1 \subset \ldots \subset G_d = G$. We give a characterization of irreducible gliders of essential length $e \leq d$ which in the case of $p$-groups allows to prove some results about classical representation theory. The paper also contains an introduction to generalized character theory for glider representations and an extension of the decomposition groups in the Clifford theory. Furthermore, we study irreducible glider representations for finite nilpotent groups. △ Less

Submitted 14 October, 2019; v1 submitted 8 December, 2016; originally announced December 2016.

Comments: 18 pages Erratum fixed: the result in Corollary 3.17 is only valid for H a maximal normal subgroup

Journal ref: Algebras and Representation Theory, Volume 16, No. 4, August 2017

Clifford theory for glider representations

Authors: Frederik Caenepeel, Fred Van Oystaeyen

Abstract: Classical Clifford theory studies the decomposition of simple $G$-modules into simple $H$-modules for some normal subgroup $H \triangleleft G$. In this paper we deal with chains of normal subgroups $1 \triangleleft G_1 \triangleleft \cdots \triangleleft G_d =G$, which allow to consider fragments and in particular glider representations. These are given by a descending chain of vector spaces over s… ▽ More Classical Clifford theory studies the decomposition of simple $G$-modules into simple $H$-modules for some normal subgroup $H \triangleleft G$. In this paper we deal with chains of normal subgroups $1 \triangleleft G_1 \triangleleft \cdots \triangleleft G_d =G$, which allow to consider fragments and in particular glider representations. These are given by a descending chain of vector spaces over some field $K$ and relate different representations of the groups appearing in the chain. Picking some normal subgroup $H \triangleleft G$ one obtains a normal subchain and one can construct an induced fragment structure. Moreover, a notion of irreducibility of fragments is introduced, which completes the list of ingredients to perform a Clifford theory. △ Less

Submitted 17 October, 2016; v1 submitted 8 March, 2016; originally announced March 2016.

Comments: 15 pages. There was an erratum at the beginning of section 4. This could be omitted without further consequences to the results in the paper. To appear in Algebras and Representation Theory

Journal ref: Algebras and Representation Theory, Volume 19, No. 3, June 2016

Localization and sheaves of glider representations

Authors: Frederik Caenepeel, Fred Van Oystaeyen

Abstract: The notion of a glider representation of a chain of normal subgroups of a group is defined by a new structure, i.e. a fragment for a suitable filtration on the group ring. This is a special case of general glider representations defined for a positively filtered ring $R$ with filtration $FR$ and subring $S = F_0R$. Nice examples appear for chains of groups, chains of Lie algebras, rings of differe… ▽ More The notion of a glider representation of a chain of normal subgroups of a group is defined by a new structure, i.e. a fragment for a suitable filtration on the group ring. This is a special case of general glider representations defined for a positively filtered ring $R$ with filtration $FR$ and subring $S = F_0R$. Nice examples appear for chains of groups, chains of Lie algebras, rings of differential operators on some variety or $V$-gliders for $W$ for algebraic varieties $V$ and $W$. This paper aims to develop a scheme theory for glider representations via the localizations of filtered modules. With an eye to noncommutative geometry we allow schemes over noncommutative rings with particular attention to so-called almost commutative rings. We consider particular cases of $\mathrm{Proj}~ R$ (e.g. for some P.I. ring $R$) in terms of prime ideals, $R$-tors in terms of torsion theories and $\underline{\mathcal{W}}(R)$ in terms of a noncommutative Grothendieck topology based on words of Ore set localizations. △ Less

Submitted 15 July, 2016; v1 submitted 17 February, 2016; originally announced February 2016.

Comments: 32 pages

Hopf dense Galois extensions with applications

Authors: J. He, F. Van Oystaeyen, Y. Zhang

Abstract: Let $H$ be a finite dimensional Hopf algebra, and let $A$ be a left $H$-module algebra. Motivated by the study of the isolated singularities of $A^H$ and the endomorphism ring $\mathrm{End}_{A^H}(A)$, we introduce the concept of Hopf dense Galois extensions in this paper. Hopf dense Galois extensions yield certain equivalences between the quotient categories over $A$ and $A^H$. A special class of… ▽ More Let $H$ be a finite dimensional Hopf algebra, and let $A$ be a left $H$-module algebra. Motivated by the study of the isolated singularities of $A^H$ and the endomorphism ring $\mathrm{End}_{A^H}(A)$, we introduce the concept of Hopf dense Galois extensions in this paper. Hopf dense Galois extensions yield certain equivalences between the quotient categories over $A$ and $A^H$. A special class of Hopf dense Galois extensions consits of the so-called densely group graded algebras, which are weaker versions of strongly graded algebras. A weaker version of Dade's Theorem holds for densely group graded algebras. As applications, we recover the classical equivalence of the noncommutative projective schemes over a noetherian $\mathbb{N}$-graded algebra $A$ and its $d$-th Veroness subalgebra $A^{(d)}$ respectively. Hopf dense Galois extensions are also applied to the study of noncommuative graded isolated singularities. △ Less

Submitted 1 February, 2016; v1 submitted 23 December, 2015; originally announced December 2015.

Comments: A missing condition in Theorem 3.8 has been added

MSC Class: 16T05; 16W22

Twisted algebras and Rota-Baxter type operators

Authors: Florin Panaite, Freddy Van Oystaeyen

Abstract: We define the concept of weak pseudotwistor for an algebra $(A, μ)$ in a monoidal category $\mathcal{C}$, as a morphism $T:A\otimes A\rightarrow A\otimes A$ in $\mathcal{C}$, satisfying some axioms ensuring that $(A, μ\circ T)$ is also an algebra in $\mathcal{C}$. This concept generalizes the previous proposal called pseudotwistor and covers a number of exemples of twisted algebras that cannot be… ▽ More We define the concept of weak pseudotwistor for an algebra $(A, μ)$ in a monoidal category $\mathcal{C}$, as a morphism $T:A\otimes A\rightarrow A\otimes A$ in $\mathcal{C}$, satisfying some axioms ensuring that $(A, μ\circ T)$ is also an algebra in $\mathcal{C}$. This concept generalizes the previous proposal called pseudotwistor and covers a number of exemples of twisted algebras that cannot be covered by pseudotwistors, mainly examples provided by Rota-Baxter operators and some of their relatives (such as Leroux's TD-operators and Reynolds operators). By using weak pseudotwistors, we introduce an equivalence relation (called "twist equivalence") for algebras in a given monoidal category. △ Less

Submitted 18 April, 2016; v1 submitted 18 February, 2015; originally announced February 2015.

Comments: 15 pages; continues arXiv:math/0605086 and arXiv:0801.2055, some concepts from these papers are recalled; we added a Note and some references. In this final version, accepted for publication in J. Algebra Appl., the title has been slighty modified and few little things have been added

Cleft extensions of Koszul twisted Calabi-Yau algebras

Authors: Xiaolan Yu, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: Let $H$ be a twisted Calabi-Yau (CY) algebra and $σ$ a 2-cocycle on $H$. Let $A$ be an $N$-Koszul twisted CY algebra such that $A$ is a graded $H^σ$-module algebra. We show that the cleft extension $A#_σH$ is also a twisted CY algebra. This result has two consequences. Firstly, the smash product of an $N$-Koszul twisted CY algebra with a twisted CY Hopf algebra is still a twisted CY algebra. Secon… ▽ More Let $H$ be a twisted Calabi-Yau (CY) algebra and $σ$ a 2-cocycle on $H$. Let $A$ be an $N$-Koszul twisted CY algebra such that $A$ is a graded $H^σ$-module algebra. We show that the cleft extension $A#_σH$ is also a twisted CY algebra. This result has two consequences. Firstly, the smash product of an $N$-Koszul twisted CY algebra with a twisted CY Hopf algebra is still a twisted CY algebra. Secondly, the cleft objects of a twisted CY Hopf algebra are all twisted CY algebras. As an application of this property, we determine which cleft objects of $U(\mathcal{D},λ)$, a class of pointed Hopf algebras introduced by Andruskiewitsch and Schneider, are Calabi-Yau algebras. △ Less

Submitted 29 December, 2014; v1 submitted 23 May, 2014; originally announced May 2014.

Comments: The title is changed, and the content is substantially modified

MSC Class: 16E65; 16S37; 16S40; 16S80

Representations of the small quasi-quantum group ${Q}\mathbf{u}_{q}(\mathfrak{sl}_{2})$

Authors: Gongxiang Liu, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: The quasi-Frobenius-Lusztig kernel ${Q}\mathbf{u}_{q}(\mathfrak{sl}_{2})$ associated with $\mathfrak{sl}_{2}$ has been constructed in \cite{Liu}. In this paper we study the representations of this small quasi-quantum group. We give a complete list of non-isomorphic indecomposables and the tensor product decomposition rules for simples and projectives. A description of the Grothendieck ring is prov… ▽ More The quasi-Frobenius-Lusztig kernel ${Q}\mathbf{u}_{q}(\mathfrak{sl}_{2})$ associated with $\mathfrak{sl}_{2}$ has been constructed in \cite{Liu}. In this paper we study the representations of this small quasi-quantum group. We give a complete list of non-isomorphic indecomposables and the tensor product decomposition rules for simples and projectives. A description of the Grothendieck ring is provided. △ Less

Submitted 27 January, 2014; originally announced January 2014.

Comments: 19 pages, 9 fiqures

Nakayama automorphisms of double Ore extensions of Koszul regular algebras

Authors: Can Zhu, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: Let $A$ be a Koszul Artin-Schelter regular algebra and $σ$ an algebra homomorphism from $A$ to $M_{2\times 2}(A)$. We compute the Nakayama automorphisms of a trimmed double Ore extension $A_P[y_1, y_2; σ]$ (introduced in \cite{ZZ08}). Using a similar method, we also obtain the Nakayama automorphism of a skew polynomial extension $A[t; θ]$, where $θ$ is a graded algebra automorphism of $A$. These l… ▽ More Let $A$ be a Koszul Artin-Schelter regular algebra and $σ$ an algebra homomorphism from $A$ to $M_{2\times 2}(A)$. We compute the Nakayama automorphisms of a trimmed double Ore extension $A_P[y_1, y_2; σ]$ (introduced in \cite{ZZ08}). Using a similar method, we also obtain the Nakayama automorphism of a skew polynomial extension $A[t; θ]$, where $θ$ is a graded algebra automorphism of $A$. These lead to a characterization of the Calabi-Yau property of $A_P[y_1, y_2; σ]$, the skew Laurent extension $A[t^{\pm 1}; θ]$ and $A[y_1^{\pm 1}, y_2^{\pm 1}; σ]$ with $σ$ a diagonal type. △ Less

Submitted 13 June, 2016; v1 submitted 1 January, 2014; originally announced January 2014.

Comments: The paper has been heavily revised including the title, and will appear in Manuscripta Mathematica

MSC Class: 16E65; 16S36; 16U20

Arithmetical pseudo-valuations associated to Dubrovin valuation rings and prime divisors of bounded Krull domains

Authors: Freddy Van Oystaeyen, Nikolaas Verhulst

Abstract: We look at value functions of primes in simple Artinian rings and associate arithmetical pseudo-valuations to Dubrovin valuation rings which, in the Noetherian case, are $\mathbb{Z}$-valued. This allows a divisor theory for bounded Krull domains. We look at value functions of primes in simple Artinian rings and associate arithmetical pseudo-valuations to Dubrovin valuation rings which, in the Noetherian case, are $\mathbb{Z}$-valued. This allows a divisor theory for bounded Krull domains. △ Less

Submitted 13 December, 2013; originally announced December 2013.

PBW deformations of Koszul algebras over a nonsemisimple ring

Authors: Jiwei He, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: Let $B$ be a generalized Koszul algebra over a finite dimensional algebra $S$. We construct a bimodule Koszul resolution of $B$ when the projective dimension of $S_B$ equals 2. Using this we prove a Poincaré-Birkhoff-Witt (PBW) type theorem for a deformation of a generalized Koszul algebra. When the projective dimension of $S_B$ is greater than 2, we construct bimodule Koszul resolutions for gener… ▽ More Let $B$ be a generalized Koszul algebra over a finite dimensional algebra $S$. We construct a bimodule Koszul resolution of $B$ when the projective dimension of $S_B$ equals 2. Using this we prove a Poincaré-Birkhoff-Witt (PBW) type theorem for a deformation of a generalized Koszul algebra. When the projective dimension of $S_B$ is greater than 2, we construct bimodule Koszul resolutions for generalized smash product algebras obtained from braidings between finite dimensional algebras and Koszul algebras, and then prove the PBW type theorem. The results obtained can be applied to standard Koszul Artin-Schelter Gorenstein algebras in the sense of Minamoto and Mori. △ Less

Submitted 2 September, 2014; v1 submitted 9 December, 2013; originally announced December 2013.

Comments: Section 3 revised, to appear in Math. Z

Structure theorems for bicomodule algebras over quasi-Hopf algebras, weak Hopf algebras and braided Hopf algebras

Authors: Jeroen Dello, Florin Panaite, Freddy Van Oystaeyen, Yinhuo Zhang

Abstract: Let H be a quasi-Hopf algebra, a weak Hopf algebra or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v:H\rightarrow B. Then we can define an object B^{co(H)} which is a left-left Yetter-Drinfeld module over H, having extra properties that allow to make a smash product B^{co(H)}# H which is an H-bicomodule algebra, isomorphic to B… ▽ More Let H be a quasi-Hopf algebra, a weak Hopf algebra or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v:H\rightarrow B. Then we can define an object B^{co(H)} which is a left-left Yetter-Drinfeld module over H, having extra properties that allow to make a smash product B^{co(H)}# H which is an H-bicomodule algebra, isomorphic to B. △ Less

Submitted 17 October, 2013; originally announced October 2013.

Comments: 24 pages, many figures

On the (co)homology of Frobenius Poisson algebras

Authors: Can Zhu, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: In this paper, we study the Poisson (co)homology of a Frobenius Poisson algebra. More precisely, we show that there exists a duality between the Poisson homology and the Poisson cohomology, similar to the duality between the Hochschild homology and the Hochschild cohomology of a Frobenius algebra. Using the non-degenerated bilinear form on a Frobenius algebra we construct a Batalin-Vilkovisky stru… ▽ More In this paper, we study the Poisson (co)homology of a Frobenius Poisson algebra. More precisely, we show that there exists a duality between the Poisson homology and the Poisson cohomology, similar to the duality between the Hochschild homology and the Hochschild cohomology of a Frobenius algebra. Using the non-degenerated bilinear form on a Frobenius algebra we construct a Batalin-Vilkovisky structure on the Poisson cohomology ring of a class of Frobenius Poisson algebras. △ Less

Submitted 23 May, 2014; v1 submitted 8 May, 2013; originally announced May 2013.

MSC Class: 17B63; 17B35; 16E40

Skew polynomial algebras with coefficients in Koszul Artin-Schelter regular algebras

Authors: Jiwei He, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: Let $A$ be a Koszul Artin-Schelter regular algebra with Nakayama automorphism $ξ$. We show that the Yoneda Ext-algebra of the skew polynomial algebra $A[z;ξ]$ is a trivial extension of a Frobenius algebra. Then we prove that $A[z;ξ]$ is Calabi-Yau; and hence each Koszul Artin Schelter regular algebra is a subalgebra of a Koszul Calabi-Yau algebra. A superpotential $\hat{w}$ is also constructed so… ▽ More Let $A$ be a Koszul Artin-Schelter regular algebra with Nakayama automorphism $ξ$. We show that the Yoneda Ext-algebra of the skew polynomial algebra $A[z;ξ]$ is a trivial extension of a Frobenius algebra. Then we prove that $A[z;ξ]$ is Calabi-Yau; and hence each Koszul Artin Schelter regular algebra is a subalgebra of a Koszul Calabi-Yau algebra. A superpotential $\hat{w}$ is also constructed so that the Calabi-Yau algebra $A[z;ξ]$ is isomorphic to the derivation quotient of $\hat{w}$. The Calabi-Yau property of a skew polynomial algebra with coefficients in a PBW-deformation of a Koszul Artin-Schelter regular algebra is also discussed. △ Less

Submitted 10 June, 2013; v1 submitted 13 April, 2013; originally announced April 2013.

Comments: minor corrections made, to appear in Journal of Algebra

Graded 3-Calabi-Yau algebras as Ore extensions of 2-Calabi-Yau algebras

Authors: Jiwei He, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: We study a class of graded algebras obtained from Ore extensions of graded Calabi-Yau algebras of dimension 2. It is proved that these algebras are graded Calabi-Yau and graded coherent. The superpotentials associated to these graded Calabi-Yau algebras are also constructed. We study a class of graded algebras obtained from Ore extensions of graded Calabi-Yau algebras of dimension 2. It is proved that these algebras are graded Calabi-Yau and graded coherent. The superpotentials associated to these graded Calabi-Yau algebras are also constructed. △ Less

Submitted 21 March, 2013; originally announced March 2013.

MSC Class: 16S37; 16S38; 16E65

Quasi-Frobenius-Lusztig kernels for simple Lie algebras

Authors: Gongxiang Liu, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: In this paper, we construct the quasi-Frobenius-Lusztig kernel for any simple Lie algebra $\mathfrak{g}$. In this paper, we construct the quasi-Frobenius-Lusztig kernel for any simple Lie algebra $\mathfrak{g}$. △ Less

Submitted 4 April, 2013; v1 submitted 2 March, 2013; originally announced March 2013.

Comments: a few changes made

Deformations of Koszul Artin-Schelter Gorenstein algebras

Authors: Ji-Wei He, Fred van Oystaeyen, Yinhuo Zhang

Abstract: We compute the Nakayama automorphism of a PBW-deformation of a Koszul Artin-Schelter Gorenstein algebra of finite global dimension, and give a criterion for an augmented PBW-deformation of a Koszul Calabi-Yau algebra to be Calabi-Yau. The relations between the Calabi-Yau property of augmented PBW-deformations and that of non-augmented cases are discussed. The Nakayama automorphisms of PBW-deformat… ▽ More We compute the Nakayama automorphism of a PBW-deformation of a Koszul Artin-Schelter Gorenstein algebra of finite global dimension, and give a criterion for an augmented PBW-deformation of a Koszul Calabi-Yau algebra to be Calabi-Yau. The relations between the Calabi-Yau property of augmented PBW-deformations and that of non-augmented cases are discussed. The Nakayama automorphisms of PBW-deformations of Koszul Artin-Schelter Gorenstein algebras of global dimensions 2 and 3 are given explicitly. We show that if a PBW-deformation of a graded Calabi-Yau algebra is still Calabi-Yau, then it is defined by a potential under some mild conditions. Some classical results are also recovered. Our main method used in this paper is elementary and based on linear algebra. The results obtained in this paper will be applied in a subsequent paper. △ Less

Submitted 2 February, 2013; originally announced February 2013.

Comments: to appear at Manuscripta Math

The Green rings of pointed tensor categories of finite type

Authors: Hua-Lin Huang, Fred Van Oystaeyen, Yuping Yang, Yinhuo Zhang

Abstract: In this paper, we compute the Clebsch-Gordan formulae and the Green rings of connected pointed tensor categories of finite type. In this paper, we compute the Clebsch-Gordan formulae and the Green rings of connected pointed tensor categories of finite type. △ Less

Submitted 3 January, 2013; originally announced January 2013.

Comments: 14 pages

MSC Class: 19A22; 18D10; 16G20

Journal ref: Journal of Pure and Applied Algebra 218 (2014) 333-342

The Green Rings of Taft algebras

Authors: Huixiang Chen, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: We compute the Green ring of the Taft algebra $H_n(q)$, where $n$ is a positive integer greater than 1, and $q$ is an $n$-th root of unity. It turns out that the Green ring $r(H_n(q))$ of the Taft algebra $H_n(q)$ is a commutative ring generated by two elements subject to certain relations defined recursively. Concrete examples for $n=2,3,..., 8$ are given. We compute the Green ring of the Taft algebra $H_n(q)$, where $n$ is a positive integer greater than 1, and $q$ is an $n$-th root of unity. It turns out that the Green ring $r(H_n(q))$ of the Taft algebra $H_n(q)$ is a commutative ring generated by two elements subject to certain relations defined recursively. Concrete examples for $n=2,3,..., 8$ are given. △ Less

Submitted 16 October, 2012; v1 submitted 8 November, 2011; originally announced November 2011.

Comments: To appear in Proc. AMS

MSC Class: 16A16

Calabi-Yau coalgebras

Authors: J. -W. He, B. Torrecillas, F. Van Oystaeyen, Y. Zhang

Abstract: We provide a construction of minimal injective resolutions of simple comodules of path coalgebras of quivers with relations. Dual to Calabi-Yau condition of algebras, we introduce the Calabi-Yau condition to coalgebras. Then we give some descriptions of Calabi-Yau coalgebras with lower global dimensions. An appendix is included for listing some properties of cohom functors. We provide a construction of minimal injective resolutions of simple comodules of path coalgebras of quivers with relations. Dual to Calabi-Yau condition of algebras, we introduce the Calabi-Yau condition to coalgebras. Then we give some descriptions of Calabi-Yau coalgebras with lower global dimensions. An appendix is included for listing some properties of cohom functors. △ Less

Submitted 6 October, 2010; v1 submitted 5 October, 2010; originally announced October 2010.

MSC Class: 16W30; 18E30; 18G10; 16E30

Dualities of artinian coalgebras with applications to noetherian complete algebras

Authors: J. -W. He, B. Torrecillas, F. Van Oystaeyen, Y. Zhang

Abstract: A duality theorem of the bounded derived category of quasi-finite comodules over an artinian coalgebra is established. Let $A$ be a noetherian complete basic semiperfect algebra over an algebraically closed field, and $C$ be its dual coalgebra. If $A$ is Artin-Schelter regular, then the local cohomology of $A$ is isomorphic to a shift of twisted bimodule ${}_1C_{σ^*}$ with $σ$ a coalgebra automorp… ▽ More A duality theorem of the bounded derived category of quasi-finite comodules over an artinian coalgebra is established. Let $A$ be a noetherian complete basic semiperfect algebra over an algebraically closed field, and $C$ be its dual coalgebra. If $A$ is Artin-Schelter regular, then the local cohomology of $A$ is isomorphic to a shift of twisted bimodule ${}_1C_{σ^*}$ with $σ$ a coalgebra automorphism. This yields that the balanced dualinzing complex of $A$ is a shift of the twisted bimodule ${}_{σ^*}A_1$. If $σ$ is an inner automorphism, then $A$ is Calabi-Yau. △ Less

Submitted 5 October, 2010; originally announced October 2010.

MSC Class: 16W30; 18E30; 18G10; 16E30

Hopf algebra actions on differential graded algebras and applications

Authors: Ji-Wei He, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: Let $H$ be a finite dimensional semisimple Hopf algebra, $A$ a differential graded (dg for short) $H$-module algebra. Then the smash product algebra $A\#H$ is a dg algebra. For any dg $A\#H$-module $M$, there is a quasi-isomorphism of dg algebras: $\mathrm{RHom}_A(M,M)\#H\longrightarrow \mathrm{RHom}_{A\#H}(M\ot H,M\ot H)$. This result is applied to $d$-Koszul algebras, Calabi-Yau algebras and AS-… ▽ More Let $H$ be a finite dimensional semisimple Hopf algebra, $A$ a differential graded (dg for short) $H$-module algebra. Then the smash product algebra $A\#H$ is a dg algebra. For any dg $A\#H$-module $M$, there is a quasi-isomorphism of dg algebras: $\mathrm{RHom}_A(M,M)\#H\longrightarrow \mathrm{RHom}_{A\#H}(M\ot H,M\ot H)$. This result is applied to $d$-Koszul algebras, Calabi-Yau algebras and AS-Gorenstein dg algebras △ Less

Submitted 28 July, 2010; originally announced July 2010.

Comments: to appear in Bull. Belg. Math Soc

Derived $H$-module endomorphism rings

Authors: Ji-Wei He, Fred Van Oystaeyen, Yinhuo Zhang

Abstract: Let $H$ be a Hopf algebra, $A/B$ be an $H$-Galois extension. Let $D(A)$ and $D(B)$ be the derived categories of right $A$-modules and of right $B$-modules respectively. An object $M^\cdot\in D(A)$ may be regarded as an object in $D(B)$ via the restriction functor. We discuss the relations of the derived endomorphism rings $E_A(M^\cdot)=\op_{i\in\mathbb{Z}}\Hom_{D(A)}(M^\cdot,M^\cdot[i])$ and… ▽ More Let $H$ be a Hopf algebra, $A/B$ be an $H$-Galois extension. Let $D(A)$ and $D(B)$ be the derived categories of right $A$-modules and of right $B$-modules respectively. An object $M^\cdot\in D(A)$ may be regarded as an object in $D(B)$ via the restriction functor. We discuss the relations of the derived endomorphism rings $E_A(M^\cdot)=\op_{i\in\mathbb{Z}}\Hom_{D(A)}(M^\cdot,M^\cdot[i])$ and $E_B(M^\cdot)=\op_{i\in\mathbb{Z}}\Hom_{D(B)}(M^\cdot,M^\cdot[i])$. If $H$ is a finite dimensional semisimple Hopf algebra, then $E_A(M^\cdot)$ is a graded subalgebra of $E_B(M^\cdot)$. In particular, if $M$ is a usual $A$-module, a necessary and sufficient condition for $E_B(M)$ to be an $H^*$-Galois graded extension of $E_A(M)$ is obtained. As an application of the results, we show that the Koszul property is preserved under Hopf Galois graded extensions. △ Less

Submitted 28 July, 2010; originally announced July 2010.

Comments: to appear at Glasgow Mathematical Journal

MSC Class: 16E45; 16E40; 16W50

q-Legendre Transformation: Partition Functions and Quantization of the Boltzmann Constant

Authors: Artur E. Ruuge, Freddy van Oystaeyen

Abstract: In this paper we construct a q-analogue of the Legendre transformation, where q is a matrix of formal variables defining the phase space braidings between the coordinates and momenta (the extensive and intensive thermodynamic observables). Our approach is based on an analogy between the semiclassical wave functions in quantum mechanics and the quasithermodynamic partition functions in statistica… ▽ More In this paper we construct a q-analogue of the Legendre transformation, where q is a matrix of formal variables defining the phase space braidings between the coordinates and momenta (the extensive and intensive thermodynamic observables). Our approach is based on an analogy between the semiclassical wave functions in quantum mechanics and the quasithermodynamic partition functions in statistical physics. The basic idea is to go from the q-Hamilton-Jacobi equation in mechanics to the q-Legendre transformation in thermodynamics. It is shown, that this requires a non-commutative analogue of the Planck-Boltzmann constants (hbar and k_B) to be introduced back into the classical formulae. Being applied to statistical physics, this naturally leads to an idea to go further and to replace the Boltzmann constant with an infinite collection of generators of the so-called epoché (bracketing) algebra. The latter is an infinite dimensional noncommutative algebra recently introduced in our previous work, which can be perceived as an infinite sequence of "deformations of deformations" of the Weyl algebra. The generators mentioned are naturally indexed by planar binary leaf-labelled trees in such a way, that the trees with a single leaf correspond to the observables of the limiting thermodynamic system. △ Less

Submitted 14 January, 2010; v1 submitted 29 December, 2009; originally announced December 2009.

MSC Class: 81Q20; 81S10; 82B30

Journal ref: J. Phys. A 43 (2010), no. 34, 345203

Distortion of the Poisson Bracket by the Noncommutative Planck Constants

Authors: Artur E. Ruuge, Freddy van Oystaeyen

Abstract: In this paper we introduce a kind of "noncommutative neighbourhood" of a semiclassical parameter corresponding to the Planck constant. This construction is defined as a certain filtered and graded algebra with an infinite number of generators indexed by planar binary leaf-labelled trees. The associated graded algebra (the classical shadow) is interpreted as a "distortion" of the algebra of classic… ▽ More In this paper we introduce a kind of "noncommutative neighbourhood" of a semiclassical parameter corresponding to the Planck constant. This construction is defined as a certain filtered and graded algebra with an infinite number of generators indexed by planar binary leaf-labelled trees. The associated graded algebra (the classical shadow) is interpreted as a "distortion" of the algebra of classical observables of a physical system. It is proven that there exists a q-analogue of the Weyl quantization, where q is a matrix of formal variables, which induces a nontrivial noncommutative analogue of a Poisson bracket on the classical shadow. △ Less

Submitted 17 June, 2011; v1 submitted 15 October, 2009; originally announced October 2009.

Journal ref: Commun. Math. Phys. 304, 369 -- 393 (2011)

New Families of Finite Coherent Orthoalgebras without Bivaluations

Authors: Artur Ruuge, Fred Van Oystaeyen

Abstract: In the present paper we study the following problem: how to construct a coherent orthoalgebra which has only a finite number of elements, but at the same time does not admit a bivaluation (i.e. a morphism with a codomain being an orthoalgebra with just two elements). This problem is important in the perspective of Bell-Kochen-Specker theory, since one can associate such an orthoalgebra to every… ▽ More In the present paper we study the following problem: how to construct a coherent orthoalgebra which has only a finite number of elements, but at the same time does not admit a bivaluation (i.e. a morphism with a codomain being an orthoalgebra with just two elements). This problem is important in the perspective of Bell-Kochen-Specker theory, since one can associate such an orthoalgebra to every saturated non-colorable finite configuration of projective lines. The first result obtained in this paper provides a general method for constructing finite orthoalgebras. This method is then applied to obtain a new infinite family of finite coherent orthoalgebras that do not admit bivaluations. The corresponding proof is combinatorial and yields a description of the groups of symmetries for these orthoalgebras. △ Less

Submitted 15 June, 2009; originally announced June 2009.

Journal ref: J. Math. Phys. 47 (2006), no. 2, 022108, 32 pp

Cocommutative Calabi-Yau Hopf algebras and deformations

Authors: J. -W. He, F. Van Oystaeyen, Y. Zhang

Abstract: The Calabi-Yau property of cocommutative Hopf algebras is discussed by using the homological integral, a recently introduced tool for studying infinite dimensional AS-Gorenstein Hopf algebras. It is shown that the skew-group algebra of a universal enveloping algebra of a finite dimensional Lie algebra $\g$ with a finite subgroup $G$ of automorphisms of $\g$ is Calabi-Yau if and only if the unive… ▽ More The Calabi-Yau property of cocommutative Hopf algebras is discussed by using the homological integral, a recently introduced tool for studying infinite dimensional AS-Gorenstein Hopf algebras. It is shown that the skew-group algebra of a universal enveloping algebra of a finite dimensional Lie algebra $\g$ with a finite subgroup $G$ of automorphisms of $\g$ is Calabi-Yau if and only if the universal enveloping algebra itself is Calabi-Yau and $G$ is a subgroup of the special linear group $SL(\g)$. The Noetherian cocommutative Calabi-Yau Hopf algebras of dimension not larger than 3 are described. The Calabi-Yau property of Sridharan enveloping algebras of finite dimensional Lie algebras is also discussed. We obtain some equivalent conditions for a Sridharan enveloping algebra to be Calabi-Yau, and then partly answer a question proposed by Berger. We list all the nonisomorphic 3-dimensional Calabi-Yau Sridharan enveloping algebras. △ Less

Submitted 3 August, 2009; v1 submitted 10 June, 2009; originally announced June 2009.

MSC Class: 16W30; 16W10; 18E30; 81R50

Maximal Graded Orders over Crystalline Graded Rings

Authors: Tim Neijens, Fred Van Oystaeyen

Abstract: Crystalline graded rings are generalizations of certain classes of rings like generalized twisted group rings, generalized Weyl algebras, and generalized skew crossed products. When the base ring is a commutative Dedekind domain, two constructions are given for producing maximal graded orders. On the way, a new concept appears, so-called, spectrally twisted group. Some general properties of it a… ▽ More Crystalline graded rings are generalizations of certain classes of rings like generalized twisted group rings, generalized Weyl algebras, and generalized skew crossed products. When the base ring is a commutative Dedekind domain, two constructions are given for producing maximal graded orders. On the way, a new concept appears, so-called, spectrally twisted group. Some general properties of it are studied. At the end of the paper several examples are considered. △ Less

Submitted 26 March, 2009; originally announced March 2009.

Abelian Group Clifford Algebras

Authors: Tim Neijens, Fred Van Oystaeyen

Abstract: In "A note on generalized Clifford algebras and representations" (Caenepeel, S.; Van Oystaeyen, F., Comm. Algebra 17 (1989) no. 1, 93--102.) generalized Clifford algebras were introduced via Clifford representations; these correspond to projective representations of a finite group (Abelian), $G$ say, such that the corresponding twisted group ring has minimal center. The latter then translates to… ▽ More In "A note on generalized Clifford algebras and representations" (Caenepeel, S.; Van Oystaeyen, F., Comm. Algebra 17 (1989) no. 1, 93--102.) generalized Clifford algebras were introduced via Clifford representations; these correspond to projective representations of a finite group (Abelian), $G$ say, such that the corresponding twisted group ring has minimal center. The latter then translates to the fact that the corresponding 2-cocycle allows a minimal (none!) number of ray classes and this forces a decomposition of $G$ in cyclic components in a suitable way, cf. Zmud, M., Symplectic geometries and projective representations of finite Abelian groups, (Russian) Mat. Sb. (N.S.) 87(129) (1972), 3--17.. In this small paper, I will provide a way to represent an Abelian Group Clifford Algebra using a matrix, and then give a way to calculate whether or not the center is trivial. △ Less

Submitted 26 March, 2009; originally announced March 2009.

Generalized Maximal Orders

Authors: Tim Neijens, Fred Van Oystaeyen

Abstract: Maximal Orders over an algebra are a generalization of the concept of a Dedekind domain. The definition given in Maximal Orders by Reiner, assumes that the field over which the algebra is defined is in the center of the order. Since we want to define maximal orders over a Crystalline Graded Ring (defined in Nauwelaerts, E.; Van Oystaeyen, F., Introducing crystalline graded algebras, Algebras and… ▽ More Maximal Orders over an algebra are a generalization of the concept of a Dedekind domain. The definition given in Maximal Orders by Reiner, assumes that the field over which the algebra is defined is in the center of the order. Since we want to define maximal orders over a Crystalline Graded Ring (defined in Nauwelaerts, E.; Van Oystaeyen, F., Introducing crystalline graded algebras, Algebras and Representation Theory vol 11(2008), no. 2, 133--148.), this concept needs to be generalized. In this paper, we will weaken the condition that the field needs to be in the center, and still retain many of the desired properties of a maximal order. △ Less

Submitted 26 March, 2009; originally announced March 2009.

Dimension of Crystalline Graded Rings

Authors: Tim Neijens, Fred Van Oystaeyen

Abstract: The global dimension of a ring governs many useful abilities. For example, it is semi-simple if the global dimension is 0, hereditary if it is 1 and so on. We will calculate the global dimension of a Crystalline Graded Ring, as defined in the paper by E. Nauwelaerts and F. Van Oystaeyen, Introducing Crystalline Graded Algebras, Algebras and Representation Theory vol 11(2008), no. 2, 133--148.. W… ▽ More The global dimension of a ring governs many useful abilities. For example, it is semi-simple if the global dimension is 0, hereditary if it is 1 and so on. We will calculate the global dimension of a Crystalline Graded Ring, as defined in the paper by E. Nauwelaerts and F. Van Oystaeyen, Introducing Crystalline Graded Algebras, Algebras and Representation Theory vol 11(2008), no. 2, 133--148.. We will apply this to derive a condition for the Crystalline Graded Ring to be semiprime. In the last section, we give a little bit of attention to the Krull-dimension. △ Less

Submitted 26 March, 2009; originally announced March 2009.

The Center of Crystalline Graded Rings

Authors: Tim Neijens, Fred Van Oystaeyen

Abstract: In the first section of the paper, we will give some basic definitions and properties about Crystalline Graded Rings. In the following section we will provide a general description of the center. Afterwards, the case where the grading group is Abelian finite will be handled. The center will have some properties of a crystalline graded ring, but not all. We will call this Arithmetically Crystalli… ▽ More In the first section of the paper, we will give some basic definitions and properties about Crystalline Graded Rings. In the following section we will provide a general description of the center. Afterwards, the case where the grading group is Abelian finite will be handled. The center will have some properties of a crystalline graded ring, but not all. We will call this Arithmetically Crystalline Graded. The center is crystalline graded if the part of degree zero is a principal ideal domain. The last section deals with the case where the grading group is non-Abelian finite. Since this situation is much more complicated than the Abelian case, we primarily focus on the conditions to have a trivial center. The fact that the center is Arithmetically Crystalline Graded also holds in this case. △ Less

Submitted 26 March, 2009; originally announced March 2009.

Quasi-elementary H-Azumaya algebras arising from generalized (anti) Yetter-Drinfeld modules

Authors: Florin Panaite, Freddy Van Oystaeyen

Abstract: Let H be a Hopf algebra with bijective antipode, let α, βbe two Hopf algebra automorphisms of H and M a finite dimensional (α, β)-Yetter-Drinfeld module. We prove that End(M) endowed with certain structures becomes an H-Azumaya algebra, and the set of H-Azumaya algebras of this type is a subgroup of BQ(k, H), the Brauer group of H. Let H be a Hopf algebra with bijective antipode, let α, βbe two Hopf algebra automorphisms of H and M a finite dimensional (α, β)-Yetter-Drinfeld module. We prove that End(M) endowed with certain structures becomes an H-Azumaya algebra, and the set of H-Azumaya algebras of this type is a subgroup of BQ(k, H), the Brauer group of H. △ Less

Submitted 22 May, 2008; originally announced May 2008.

Comments: 15 pages

L-R-smash biproducts, double biproducts and a braided category of Yetter-Drinfeld-Long bimodules

Authors: Florin Panaite, Freddy Van Oystaeyen

Abstract: Let H be a bialgebra and D an H-bimodule algebra H-bicomodule coalgebra. We find sufficient conditions on D for the L-R-smash product algebra and coalgebra structures on D\otimes H to form a bialgebra (in this case we say that (H, D) is an L-R-admissible pair), called L-R-smash biproduct. The Radford biproduct is a particular case, and so is, up to isomorphism, a double biproduct with trivial pa… ▽ More Let H be a bialgebra and D an H-bimodule algebra H-bicomodule coalgebra. We find sufficient conditions on D for the L-R-smash product algebra and coalgebra structures on D\otimes H to form a bialgebra (in this case we say that (H, D) is an L-R-admissible pair), called L-R-smash biproduct. The Radford biproduct is a particular case, and so is, up to isomorphism, a double biproduct with trivial pairing. We construct a prebraided monoidal category {\cal LR}(H), whose objects are H-bimodules H-bicomodules M endowed with left-left and right-right Yetter-Drinfeld module as well as left-right and right-left Long module structures over H, with the property that, if (H, D) is an L-R-admissible pair, then D is a bialgebra in {\cal LR}(H). △ Less

Submitted 22 May, 2008; originally announced May 2008.

Comments: 9 pages

Pseudosymmetric braidings, twines and twisted algebras

Authors: Florin Panaite, Mihai D. Staic, Freddy Van Oystaeyen

Abstract: A laycle is the categorical analogue of a lazy cocycle. Twines (as introduced by Bruguieres) and strong twines (as introduced by the authors) are laycles satisfying some extra conditions. If $c$ is a braiding, the double braiding $c^2$ is always a twine; we prove that it is a strong twine if and only if $c$ satisfies a sort of modified braid relation (we call such $c$ pseudosymmetric, as any sym… ▽ More A laycle is the categorical analogue of a lazy cocycle. Twines (as introduced by Bruguieres) and strong twines (as introduced by the authors) are laycles satisfying some extra conditions. If $c$ is a braiding, the double braiding $c^2$ is always a twine; we prove that it is a strong twine if and only if $c$ satisfies a sort of modified braid relation (we call such $c$ pseudosymmetric, as any symmetric braiding satisfies this relation). It is known that symmetric Yetter-Drinfeld categories are trivial; we prove that the Yetter-Drinfeld category $_H{\cal YD}^H$ over a Hopf algebra $H$ is pseudosymmetric if and only if $H$ is commutative and cocommutative. We introduce as well the Hopf algebraic counterpart of pseudosymmetric braidings under the name pseudotriangular structures and prove that all quasitriangular structures on the $2^{n+1}$-dimensional pointed Hopf algebras E(n) are pseudotriangular. We observe that a laycle on a monoidal category induces a so-called pseudotwistor on every algebra in the category, and we obtain some general results (and give some examples) concerning pseudotwistors, inspired by properties of laycles and twines. △ Less

Submitted 14 January, 2008; originally announced January 2008.

Comments: 29 pages

Unramified reductors of filtered and graded algebras

Authors: Cornel Baetica, Freddy Van Oystaeyen

Abstract: It is a fairly known fact that most of the algebras appearing in the theory of rings of differential operators, quantized algebras of different kinds (including many quantum groups), regular algebras in projective non-commutative geometry, etc... come equipped with a natural gradation or filtration controlled by some finite dimensional vector space(s), e.g. the degree one part of filtration or g… ▽ More It is a fairly known fact that most of the algebras appearing in the theory of rings of differential operators, quantized algebras of different kinds (including many quantum groups), regular algebras in projective non-commutative geometry, etc... come equipped with a natural gradation or filtration controlled by some finite dimensional vector space(s), e.g. the degree one part of filtration or gradation. In this note we relate the valuations of the algebras considered to unramified sub-lattices in some vector space(s). △ Less

Submitted 3 October, 2006; originally announced October 2006.

Comments: 9 pages

MSC Class: 16W60; 16W35

General twisting of algebras

Authors: Javier Lopez Pena, Florin Panaite, Freddy Van Oystaeyen

Abstract: We introduce the concept of pseudotwistor (with particular cases called twistor and braided twistor) for an algebra $(A, μ, u)$ in a monoidal category, as a morphism $T:A\otimes A\to A\otimes A$ satisfying a list of axioms ensuring that $(A, μ\circ T, u)$ is also an algebra in the category. This concept provides a unifying framework for various deformed (or twisted) algebras from the literature,… ▽ More We introduce the concept of pseudotwistor (with particular cases called twistor and braided twistor) for an algebra $(A, μ, u)$ in a monoidal category, as a morphism $T:A\otimes A\to A\otimes A$ satisfying a list of axioms ensuring that $(A, μ\circ T, u)$ is also an algebra in the category. This concept provides a unifying framework for various deformed (or twisted) algebras from the literature, such as twisted tensor products of algebras, twisted bialgebras and algebras endowed with Fedosov products. Pseudotwistors appear also in other topics from the literature, e.g. Durdevich's braided quantum groups and ribbon algebras. We also focus on the effect of twistors on the universal first order differential calculus, as well as on lifting twistors to braided twistors on the algebra of universal differential forms. △ Less

Submitted 18 October, 2006; v1 submitted 3 May, 2006; originally announced May 2006.

Comments: 19 pages

Journal ref: Advances in Mathematics, 212 (1), 315-337 (2007)

Introducing Crystalline Graded Algebras

Authors: Erna Nauwelaerts, Freddy Van Oystaeyen

Abstract: We introduce a new class of graded rings extending the class of generalized Weyl algebras. These rings are orders in crossed products of the most general type, and we introduce their basic structure theory. We provide an extensive list of examples, some completely new but also some considered earlier, and highlight some specific structure results. Many new and interesting problems about the crys… ▽ More We introduce a new class of graded rings extending the class of generalized Weyl algebras. These rings are orders in crossed products of the most general type, and we introduce their basic structure theory. We provide an extensive list of examples, some completely new but also some considered earlier, and highlight some specific structure results. Many new and interesting problems about the crystalline graded rings may be identified. △ Less

Submitted 3 April, 2006; originally announced April 2006.

Comments: 19 pages

Dequantization of Noncommutative Spaces and Dynamical Noncommutative Geometry

Authors: Freddy Van Oystaeyen

Abstract: The purely mathematical root of the dequantization constructions is the quest for a sheafification needed for presheaves on a noncommutative space. The moment space is constructed as a commutative space, approximating the noncommutative space appearing as a dynamical space, via a stringwise construction. The main result phrased is purely mathematical, i.e. the noncommutative stalks of some sheaf… ▽ More The purely mathematical root of the dequantization constructions is the quest for a sheafification needed for presheaves on a noncommutative space. The moment space is constructed as a commutative space, approximating the noncommutative space appearing as a dynamical space, via a stringwise construction. The main result phrased is purely mathematical, i.e. the noncommutative stalks of some sheaf on the noncommutative space can be identified to stalks of some sheaf associated to it on the commutative geometry (topology) of the moment space. This may be seen as a (partial) inverse to the deformation--quantization idea, but in fact with a much more precise behaviour of stalks of sheaves. The method, based on minimal axiomatics necessary to rephrase continuity principles in terms of partial order (noncommutative topology) exclusively, leads to the appearance of objects like strings and (M--)branes. Also, spectral families and observables may be defined and studied as separated filtrations on the noncommutative topology! We highlight the relation with pseudo--places and generalized valuation theory. Finally, we hint at a new notion of ``space'' as a dynamical system of noncommutative topologies with the same commutative shadow (4 dimensional space--time if you wish) and variable (but isomorphic) moment spaces, which for special choices may be thought of as a higher dimensional brane--space. △ Less

Submitted 3 April, 2006; originally announced April 2006.

Comments: 20 pages

On the Generalized Enveloping Algebra of a Color Lie Algebra

Authors: Toukaiddine Petit, Freddy Van Oystaeyen

Abstract: Let $G$ be an abelien group, $ε$ an anti-bicharacter of $G$ and $L$ a $G$-graded $ε$ Lie algebra (color Lie algebra) over $\K$ a field of characteristic zero. We prove that all $G$-graded, positive filtered $A$ such that the associated graded algebra is isomorphic to the $G$-graded $ε$-symmetric algebra $S(L)$, there is a $G$- graded $ε$-Lie algebra $L$ and a $G$-graded scalar two cocycle… ▽ More Let $G$ be an abelien group, $ε$ an anti-bicharacter of $G$ and $L$ a $G$-graded $ε$ Lie algebra (color Lie algebra) over $\K$ a field of characteristic zero. We prove that all $G$-graded, positive filtered $A$ such that the associated graded algebra is isomorphic to the $G$-graded $ε$-symmetric algebra $S(L)$, there is a $G$- graded $ε$-Lie algebra $L$ and a $G$-graded scalar two cocycle $ω\in\mathrm{Z}_{gr}^2(L,\K)$, such that $A$ is isomorphic to $ U_ω(L)$ the generalized enveloping algebra of $L$ associated with $ω$. We also prove there is an isomorphism of graded spaces between the Hochschild cohomology of the generalized universal enveloping algebra $U(L)$ and the generalized cohomology of color Lie algebra $L$. △ Less

Submitted 26 December, 2005; originally announced December 2005.

Comments: 11 pages, 3 figures, to appear in Algebras and Representation Theory

MSC Class: 16E40; 17B35; 17B75

On Iterated Twisted Tensor Products of Algebras

Authors: P. Jara Martínez, J. López Peña, F. Panaite, F. Van Oystaeyen

Abstract: We introduce and study the definition, main properties and applications of iterated twisted tensor products of algebras, motivated by the problem of defining a suitable representative for the product of spaces in noncommutative geometry. We find conditions for constructing an iterated product of three factors, and prove that they are enough for building an iterated product of any number of facto… ▽ More We introduce and study the definition, main properties and applications of iterated twisted tensor products of algebras, motivated by the problem of defining a suitable representative for the product of spaces in noncommutative geometry. We find conditions for constructing an iterated product of three factors, and prove that they are enough for building an iterated product of any number of factors. As an example of the geometrical aspects of our construction, we show how to construct differential forms and involutions on iterated products starting from the corresponding structures on the factors, and give some examples of algebras that can be described within our theory. We prove a certain result (called ``invariance under twisting'') for a twisted tensor product of two algebras, stating that the twisted tensor product does not change when we apply certain kind of deformation. Under certain conditions, this invariance can be iterated, containing as particular cases a number of independent and previously unrelated results from Hopf algebra theory. △ Less

Submitted 8 July, 2006; v1 submitted 10 November, 2005; originally announced November 2005.

Comments: 44 pages, 21 figures. More minor typos corrections, one more example and some references added

MSC Class: 16S35; 16S38; 16S40; 16S80; 16W30; 57T05; 58B32; 81T75

Journal ref: International Journal of Mathematics, 19 (9), 1053-1101 (2008)

On some classes of lazy cocycles and categorical structures

Authors: Florin Panaite, Mihai D. Staic, Freddy Van Oystaeyen

Abstract: We study some classes of lazy cocycles, called pure (respectively neat), together with their categorical counterparts, entwined (respectively strongly entwined) monoidal categories. We study some classes of lazy cocycles, called pure (respectively neat), together with their categorical counterparts, entwined (respectively strongly entwined) monoidal categories. △ Less

Submitted 16 January, 2008; v1 submitted 3 October, 2005; originally announced October 2005.

Comments: Final version; 18 pages; the title has been changed; the order of the sections has been changed; some things have been removed and appear now in arXiv:0801.2055

Journal ref: J. Pure Appl. Algebra 209 (2007), 687-701

Valuation Extensions of Filtered and Graded Algebras

Authors: C. Baetica, F. Van Oystaeyen

Abstract: In this note we relate the valuations of the algebras appearing in the non-commutative geometry of quantized algebras to properties of sub-lattices in some vector spaces. We consider the case of algebras with $PBW$-bases and prove that under some mild assumptions the valuations of the ground field extend to a non-commutative valuation. Later we introduce the notion of $F$-reductor and graded red… ▽ More In this note we relate the valuations of the algebras appearing in the non-commutative geometry of quantized algebras to properties of sub-lattices in some vector spaces. We consider the case of algebras with $PBW$-bases and prove that under some mild assumptions the valuations of the ground field extend to a non-commutative valuation. Later we introduce the notion of $F$-reductor and graded reductor and reduce the problem of finding an extending non-commutative valuation to finding a reductor in an associated graded ring having a domain for its reduction. △ Less

Submitted 23 September, 2005; originally announced September 2005.

Comments: 12 pages

MSC Class: 16A08

Some bialgebroids constructed by Kadison and Connes-Moscovici are isomorphic

Authors: Florin Panaite, Freddy Van Oystaeyen

Abstract: We prove that a certain bialgebroid introduced recently by Kadison is isomorphic to a bialgebroid introduced earlier by Connes and Moscovici. At the level of total algebras, the isomorphism is a consequence of the general fact that an L-R-smash product over a Hopf algebra is isomorphic to a diagonal crossed product. We prove that a certain bialgebroid introduced recently by Kadison is isomorphic to a bialgebroid introduced earlier by Connes and Moscovici. At the level of total algebras, the isomorphism is a consequence of the general fact that an L-R-smash product over a Hopf algebra is isomorphic to a diagonal crossed product. △ Less

Submitted 31 August, 2005; originally announced August 2005.

Comments: 4 pages

Generalized diagonal crossed products and smash products for quasi-Hopf algebras. Applications

Authors: Daniel Bulacu, Florin Panaite, Freddy Van Oystaeyen

Abstract: In this paper we introduce generalizations of diagonal crossed products, two-sided crossed products and two-sided smash products, for a quasi-Hopf algebra H. The results we obtain may be applied to H^*-Hopf bimodules and generalized Yetter-Drinfeld modules. The generality of our situation entails that the "generating matrix" formalism cannot be used, forcing us to use a different approach. This… ▽ More In this paper we introduce generalizations of diagonal crossed products, two-sided crossed products and two-sided smash products, for a quasi-Hopf algebra H. The results we obtain may be applied to H^*-Hopf bimodules and generalized Yetter-Drinfeld modules. The generality of our situation entails that the "generating matrix" formalism cannot be used, forcing us to use a different approach. This pays off because as an application we obtain an easy conceptual proof of an important but very technical result of Hausser and Nill concerning iterated two-sided crossed products. △ Less

Submitted 30 June, 2005; v1 submitted 28 June, 2005; originally announced June 2005.

Comments: 41 pages, no figures

A structure theorem for quasi-Hopf comodule algebras

Authors: Florin Panaite, Freddy Van Oystaeyen

Abstract: If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference comparing to the Hopf case is that, from the multiplication of B, which is associative, we have to obtain the multiplication of A, which in general is not; for thi… ▽ More If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference comparing to the Hopf case is that, from the multiplication of B, which is associative, we have to obtain the multiplication of A, which in general is not; for this we use a canonical projection E arising from the fact that B becomes a quasi-Hopf H-bimodule. △ Less

Submitted 14 June, 2005; originally announced June 2005.

Comments: 9 pages, no figures

L-R-smash product for (quasi) Hopf algebras

Authors: Florin Panaite, Freddy Van Oystaeyen

Abstract: We introduce a more general version of the so-called L-R-smash product and study its relations with other kinds of crossed products (two-sided smash and crossed product and diagonal crossed product). We also give an interpretation of the L-R-smash product in terms of an L-R-twisting datum. We introduce a more general version of the so-called L-R-smash product and study its relations with other kinds of crossed products (two-sided smash and crossed product and diagonal crossed product). We also give an interpretation of the L-R-smash product in terms of an L-R-twisting datum. △ Less

Submitted 25 August, 2005; v1 submitted 19 April, 2005; originally announced April 2005.

Comments: 21 pages, Latex, no figures; one more section added

Note on The Cohomology of Color Hopf and Lie Algebras

Authors: Xiao-Wu Chen, Toukaiddine Petit, Freddy Van Oystaeyen

Abstract: Let $A$ be a $(G, χ)$-Hopf algebra with bijection antipode and let $M$ be a $G$-graded $A$-bimodule. We prove that there exists an isomorphism \mathrm{HH}^*_{\rm gr}(A, M)\cong{\rm Ext}^*_{A{-}{\rm gr}} (\K, {^{ad}(M)}), where $\K$ is viewed as the trivial graded $A$-module via the counit of $A$, $^{ad} M$ is the adjoint $A$-module associated to the graded $A$-bimodule $M$ and… ▽ More Let $A$ be a $(G, χ)$-Hopf algebra with bijection antipode and let $M$ be a $G$-graded $A$-bimodule. We prove that there exists an isomorphism \mathrm{HH}^*_{\rm gr}(A, M)\cong{\rm Ext}^*_{A{-}{\rm gr}} (\K, {^{ad}(M)}), where $\K$ is viewed as the trivial graded $A$-module via the counit of $A$, $^{ad} M$ is the adjoint $A$-module associated to the graded $A$-bimodule $M$ and $\mathrm{HH}_{\rm gr}$ denotes the $G$-graded Hochschild cohomology. As an application, we deduce that the cohomology of color Lie algebra $L$ is isomorphic to the graded Hochschild cohomology of the universal enveloping algebra $U(L)$, solving a question of M. Scheunert. △ Less

Submitted 1 December, 2005; v1 submitted 27 April, 2005; originally announced April 2005.

Comments: 21 pages. To appear to Journal of Algebra

MSC Class: 13D07; 16W70

Good Reduction of Good Filtrations at Places

Authors: Toukaiddine Petit, Freddy Van Oystaeyen

Abstract: We consider filtered or graded algebras $A$ over a field $K$. Assume that there is a discrete valuation $O_v$ of $K$ with $m_v$ its maximal ideal and $k_v:=O_v/m_v$ its residue field. Let $Λ$ be $O_v$-order such that $ΛK=A$ and $\barΛ:=k_v\otimes_{O_v}Λ$ the $Λ$-reduction of $A$ at the place $K\leadsto k_v$. Using the filtration of $A$ induced by $Λ$ we shall prove that for certain algebras $A$… ▽ More We consider filtered or graded algebras $A$ over a field $K$. Assume that there is a discrete valuation $O_v$ of $K$ with $m_v$ its maximal ideal and $k_v:=O_v/m_v$ its residue field. Let $Λ$ be $O_v$-order such that $ΛK=A$ and $\barΛ:=k_v\otimes_{O_v}Λ$ the $Λ$-reduction of $A$ at the place $K\leadsto k_v$. Using the filtration of $A$ induced by $Λ$ we shall prove that for certain algebras $A$ their properties are related to $\barΛ$. △ Less

Submitted 3 May, 2005; v1 submitted 16 November, 2004; originally announced November 2004.

Comments: 17 pages

MSC Class: 16W35; 16W70; 16W60; 06B23; 06B25