From rectangular bands to k -primal algebras

We begin by giving a new proof that every finite rectangular band is naturally dualisable. Motivated by the dualising structure arising from this proof, we call an algebra k-primal if it is (isomorphic to) a product of k independent primal algebras. For each k \geq 2 we exhibit a strong duality between the quasi-variety generated by a k -primal algebra and the topological quasi-variety \lilcat D _k of Boolean topological k-dimensional diagonal algebras. The category \lilcat D ₂ is the category of compact, totally disconnected rectangular bands. This duality extends Hu’s duality for varieties generated by a primal algebra to the k -dimensional case. We find that Hu’s ``uniqueness principle’’ for such varieties also extends to the k -dimensional case, namely, we show that a quasi-variety is equivalent as a category to the quasi-variety generated by a k -primal algebra if and only if it is itself generated by a k -primal algebra.     

Determination of 7-Dimensional Indecomposable Nilpotent Complex Lie Algebras by Adjoining a Derivation to 6-Dimensional Lie Algebras

For any complex 6-dimensional nilpotent Lie algebra \mathfrakg,\mathfrak{g}, we compute the strain of all indecomposable 7-dimensional nilpotent Lie algebras which contain \mathfrakg\mathfrak{g} by the adjoining a derivation method. We get a new determination of all 7-dimensional complex nilpotent Lie algebras, allowing to check earlier results (some contain errors), along with a cross table intertwining nilpotent 6- and 7-dimensional Lie algebras.     

Boundaries of weak peak points in noncommutative algebras of Lipschitz functions

It has been shown that any Banach algebra satisfying ‖f ²‖ = ‖f‖² has a representation as an algebra of quaternion-valued continuous functions. Whereas some of the classical theory of algebras of continuous complex-valued functions extends immediately to algebras of quaternion-valued functions, similar work has not been done to analyze how the theory of algebras of complex-valued Lipschitz functions extends to algebras of quaternion-valued Lipschitz functions. Denote by Lip(X, \mathbbF\mathbb{F}) the algebra over R of F-valued Lipschitz functions on a compact metric space (X, d), where \mathbbF\mathbb{F} = ℝ, ℂ, or ℍ, the non-commutative division ring of quaternions. In this work, we analyze a class of subalgebras of Lip(X, \mathbbF\mathbb{F}) in which the closure of the weak peak points is the Shilov boundary, and we show that algebras of functions taking values in the quaternions are the most general objects to which the theory of weak peak points extends naturally. This is done by generalizing a classical result for uniform algebras, due to Bishop, which ensures the existence of the Shilov boundary. While the result of Bishop need not hold in general algebras of quaternion-valued Lipschitz functions, we give sufficient conditions on such an algebra for it to hold and to guarantee the existence of the Shilov boundary.     

On formal quantum group laws

There exist natural generalizations of the concept of formal groups laws for noncommutative power series. This is a note on formal quantum group laws and quantum group law chunks. Formal quantum group laws correspond to noncommutative (topological) Hopf algebra structures on free associative power series algebras ká áx₁,...,x_m ? ?k\langle\! \langle x_1,\dots,x_m \rangle\! \rangle , k a field. Some formal quantum group laws occur as completions of noncommutative Hopf algebras (quantum groups). By truncating formal power series, one gets quantum group law chunks. ¶If the characteristic of k is 0, the category of (classical) formal group laws of given dimension m is equivalent to the category of m-dimensional Lie algebras. Given a formal group law or quantum group law (chunk), the corresponding Lie structure constants are determined by the coefficients of its chunk of degree 2. Among other results, a classification of all quantum group law chunks of degree 3 is given. There are many more classes of strictly isomorphic chunks of degree 3 than in the classical case.     

Piecewise Hereditary Nakayama Algebras

Let k be an algebraically closed field. Let Λ be the path algebra over k of the linearly oriented quiver \mathbb A_n\mathbb A_n for n ≥ 3. For r ≥ 2 and n > r we consider the finite dimensional k −algebra Λ(n,r) which is defined as the quotient algebra of Λ by the two sided ideal generated by all paths of length r. We will determine for which pairs (n,r) the algebra Λ(n,r) is piecewise hereditary, so the bounded derived category D ^b (Λ(n,r)) is equivalent to the bounded derived category of a hereditary abelian category H\mathcal H as triangulated category.     

Representation and duality for Hilbert algebras

In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. We explore how this duality is related to the duality given in [6] for finite Hilbert algebras, and with the topological duality developed in [7] for Tarski algebras.      

Monotone clones and the varieties they determine

A finite, nontrivial algebra is order-primal if its term functions are precisely the monotone functions for some order on the underlying set. We show that the prevariety generated by an order-primal algebra P is relatively congruence-distributive and that the variety generated by P is congruence-distributive if and only if it contains at most two non-ismorphic subdirectly irreducible algebras. We also prove that if the prevarieties generated by order-primal algebras P and Q are equivalent as categories, then the corresponding orders or their duals generate the same order variety. A large class of order-primal algebras is described each member of which generates a variety equivalent as a category to the variety determined by the six-element, bounded ordered set which is not a lattice. These results are proved by considering topological dualities with particular emphasis on the case where there is a monotone near-unanimity function.This research was carried out while the third author held a research fellowship at La Trobe University supported by ARGS grant B85154851. The second author was supported by a grant from the NSERC.     

Infinitesimal Hopf Algebras and the cd-Index of Polytopes

Infinitesimal bialgebras were introduced by Joni and Rota [JR]. The basic theory of these objects was developed in [Aff1] and [Aff2]. In this paper we present a simple proof of the existence of the cd-index of polytopes, based on the theory of infinitesimal Hopf algebras.For the purpose of this work, the main examples of infinitesimal Hopf algebras are provided by the algebra \ppp of all posets and the algebra k &;lt;ab&;gt; of noncommutative polynomials. We show that k &;lt;ab&;gt; satisfies the following universal property: given a graded infinitesimal bialgebra A and a morphism of algebras ζ _A \colon A→ k , there exists a unique morphism of graded infinitesimal bialgebras ψ\colon A → k&;lt;ab&;gt; such that ζ_{1,0}ψ=ζ_A, where ζ_{1,0} is evaluation at (1,0). When the universal property is applied to the algebra of posets and the usual zeta function ζ_{\ppp}(P)=1, one obtains the \abindex of posets ψ\colon \ppp→k &;lt;ab&;gt;.The notion of antipode is used to define an analog of the Möbius function of posets for more general infinitesimal Hopf algebras than \ppp , and this in turn is used to define a canonical infinitesimal Hopf subalgebra, called the eulerian subalgebra. All eulerian posets belong to the eulerian subalgebra of \ppp . The eulerian subalgebra of k &;lt;ab&;gt; is precisely the algebra spanned by c=a+b and d=ab+ba. The existence of the cd-index of eulerian posets is then an immediate consequence of the simple fact that eulerian subalgebras are preserved under morphisms of infinitesimal Hopf algebras.The theory also provides a version of the generalized Dehn—Sommerville equations for more general infinitesimal Hopf algebras than k &;lt;ab&;gt;.     

Tensoring with Infinite-Dimensional Modules in $\mathcal {O}_0$

We show that the principal block O₀\mathcal {O}_0 of the BGG category O\mathcal {O} for a semisimple Lie algebra \frak g\frak g acts faithfully on itself via exact endofunctors which preserve tilting modules, via right exact endofunctors which preserve projective modules and via left exact endofunctors which preserve injective modules. The origin of all these functors is tensoring with arbitrary (not necessarily finite-dimensional) modules in the category O\mathcal {O}. We study such functors, describe their adjoints and show that they give rise to a natural (co)monad structure on O₀\mathcal {O}_0. Furthermore, all this generalises to parabolic subcategories of O₀\mathcal {O}_0. As an example, we present some explicit computations for the algebra \fraksl₃\frak{sl}_3.     

Idempotents in a complex group algebra, projective modules, and the von Neumann algebra

The complex group algebra \Bbb CG{\Bbb C}G of a countable group G can be imbedded in the von Neumann algebra NG of G. If G is torsion-free, and if P is a finitely generated projective module over \Bbb CG{\Bbb C}G it is proved that the central-valued trace of NG?_{\Bbb CG}PNG\otimes _{{\Bbb C}G}P, i.e. of an idempotent \Bbb CG{\Bbb C}G-matrix A defining P is equal to the canonical trace k(P)\kappa (P) times identity I. It follows that k(P)\kappa (P) characterizes the isomorphism type of NG?_{\Bbb CG}PNG\otimes _{{\Bbb C}G}P.¶If k(P)\kappa (P) is an integer, e.g., if the weak Bass conjecture holds for G then NG?_{\Bbb C G}PNG\otimes _{{\Bbb C} G}P is free. It is also shown that for certain classes of groups geometric arguments can be used to prove the Bass conjecture.     

Universal Strict General Actors and Actors in Categories of Interest

For any category of interest ℂ we define a general category of groups with operations \mathbbC_G, \mathbbC\hookrightarrow\mathbbC_G\mathbb{C_G}, \mathbb{C}\hookrightarrow\mathbb{C_G}, and a universal strict general actor USGA(A) of an object A in ℂ, which is an object of \mathbbC_G\mathbb{C_G}. The notion of actor is equivalent to the one of split extension classifier defined for an object in more general settings of semi-abelian categories. It is proved that there exists an actor of A in ℂ if and only if the semidirect product \textUSGA(A)\ltimes A{\text{USGA}}(A)\ltimes A is an object of ℂ and if it is the case, then USGA(A) is an actor of A. We give a construction of a universal strict general actor for any A ∈ ℂ, which helps to detect more properties of this object. The cases of groups, Lie, Leibniz, associative, commutative associative, alternative algebras, crossed and precrossed modules are considered. The examples of algebras are given, for which always exist actors.     

Schur–Weyl duality over finite fields

We prove a version of the Schur–Weyl duality over finite fields. We prove that for any field k, if k has at least r + 1 elements, the Schur–Weyl duality holds for the rth tensor power of a finite dimensional vector space V. Moreover, if the dimension of V is at least r + 1, the natural map ${{k\mathfrak{S}_r \to \mathsf{End}_{{\rm GL}(V)}(V^{\otimes r})}}We prove a version of the Schur–Weyl duality over finite fields. We prove that for any field k, if k has at least r + 1 elements, the Schur–Weyl duality holds for the rth tensor power of a finite dimensional vector space V. Moreover, if the dimension of V is at least r + 1, the natural map k\mathfrakS_r ? End_GL(V)(V^?r){{k\mathfrak{S}_r \to \mathsf{End}_{{\rm GL}(V)}(V^{\otimes r})}} is an isomorphism. This isomorphism may fail if dim _k V is not strictly larger than r.     

An Algebraic Framework for Group Duality

A Hopf algebra is a pair (A, Δ) whereAis an associative algebra with identity andΔa homomorphism formAtoA⊗Asatisfying certain conditions. If we drop the assumption thatAhas an identity and if we allowΔto have values in the so-called multiplier algebraM(A⊗A), we get a natural extension of the notion of a Hopf algebra. We call this a multiplier Hopf algebra. The motivating example is the algebra of complex functions with finite support on a group with the comultiplication defined as dual to the product in the group. Also for these multiplier Hopf algebras, there is a natural notion of left and right invariance for linear functionals (called integrals in Hopf algebra theory). We show that, if such invariant functionals exist, they are unique (up to a scalar) and faithful. For a regular multiplier Hopf algebra (A, Δ) (i.e., with invertible antipode) with invariant functionals, we construct, in a canonical way, the dual (Â, Δ). It is again a regular multiplier Hopf algebra with invariant functionals. It is also shown that the dual of (Â, Δ) is canonically isomorphic with the original multiplier Hopf algebra (A, Δ). It is possible to generalize many aspects of abstract harmonic analysis here. One can define the Fourier transform; one can prove Plancherel's formula. Because any finite-dimensional Hopf algebra is a regular multiplier Hopf algebra and has invariant functionals, our duality theorem applies to all finite-dimensional Hopf algebras. Then it coincides with the usual duality for such Hopf algebras. But our category of multiplier Hopf algebras also includes, in a certain way, the discrete (quantum) groups and the compact (quantum) groups. Our duality includes the duality between discrete quantum groups and compact quantum groups. In particular, it includes the duality between compact abelian groups and discrete abelian groups. One of the nice features of our theory is that we have an extension of this duality to the non-abelian case, but within one category. This is shown in the last section of our paper where we introduce the algebras of compact type and the algebras of discrete type. We prove that also these are dual to each other. We treat an example that is sufficiently general to illustrate most of the different features of our theory. It is also possible to construct the quantum double of Drinfel'd within this category. This provides a still wider class of examples. So, we obtain many more than just the compact and discrete quantum within this setting.     

The dual geometry of Boolean semirings

It is well known that the variety of Boolean semirings, which is generated by the three element semiring ${\mathbb{S}}$ , is dual to the category of partially Stone spaces. We place this duality in the context of natural dualities. We begin by introducing a topological structure S? and obtain an optimal natural duality between the quasi-variety ISP( ${\mathbb{S}}$ ) and the category IS _c P+(S?). Then we construct an optimal and very small structure S? _os that yields a strong duality. The geometry of some of the partially Stone spaces that take part in these dualities is presented, and we call them “hairy cubes”, as they are n-dimensional cubes with unique incomparable covers for each element of the cube. We also obtain a polynomial representation for the elements of the hairy cube.     

Structure theorems of <Emphasis Type="Italic">E</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-Azumaya algebras

Let k be a field and E(n) be the 2 ⁿ⁺¹-dimensional pointed Hopf algebra over k constructed by Beattie, Dăscălescu and Grünenfelder [J. Algebra, 2000, 225: 743–770]. E(n) is a triangular Hopf algebra with a family of triangular structures R _M parameterized by symmetric matrices M in M _n (k). In this paper, we study the Azumaya algebras in the braided monoidal category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } and obtain the structure theorems for Azumaya algebras in the category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } , where M is any symmetric n×n matrix over k.     

Projective bases of division algebras and groups of central type

Letk be a field. For each finite groupG and two-cocylef inZ ² (G, k ^x ) (with trivial action), one can form the twisted group algebra wherex _σ x _τ =f(σ,τ)x _στ for all σ, τ∃G. Our main result is a short list ofp-groups containing all thep-groupsG for which there is a fieldk and a cocycle such that the resulting twisted group algebra is ak-central division algebra. We also complete the proof (presented in all but one case in a previous paper by Aljadeff and Haile) that everyk-central division algebra that is a twisted group algebra is isomorphic to a tensor product of cyclic algebras.     

Bounded reductive subalgebras of \mathfrak{s}{\mathfrak{l}_n}

Let \mathfrakg \mathfrak{g} be a reductive Lie algebra and \mathfrakk ì \mathfrakg \mathfrak{k} \subset \mathfrak{g} be a reductive in \mathfrakg \mathfrak{g} subalgebra. A ( \mathfrakg,\mathfrakk \mathfrak{g},\mathfrak{k} )-module M is a \mathfrakg \mathfrak{g} -module for which any element m ∈ M is contained in a finite-dimensional \mathfrakk \mathfrak{k} -submodule of M. We say that a ( \mathfrakg,\mathfrakk \mathfrak{g},\mathfrak{k} )-module M is bounded if there exists a constant C _M such that the Jordan-H?lder multiplicities of any simple finite-dimensional \mathfrakk \mathfrak{k} -module in every finite-dimensional \mathfrakk \mathfrak{k} -submodule of M are bounded by C _M . In the present paper we describe explicitly all reductive in \mathfraks\mathfrakl_n \mathfrak{s}{\mathfrak{l}_n} subalgebras \mathfrakk \mathfrak{k} which admit a bounded simple infinite-dimensional ( \mathfraks\mathfrakl_n,\mathfrakk \mathfrak{s}{\mathfrak{l}_n},\mathfrak{k} )-module. Our technique is based on symplectic geometry and the notion of spherical variety. We also characterize the irreducible components of the associated varieties of simple bounded ( \mathfrakg,\mathfrakk \mathfrak{g},\mathfrak{k} )-modules.     

Parafermion vertex operator algebras

This paper reviews some recent results on the parafermion vertex operator algebra associated to the integrable highest weight module L(k, 0) of positive integer level k for any affine Kac-Moody Lie algebra ĝ, where g is a finite dimensional simple Lie algebra. In particular, the generators and the C ₂-cofiniteness of the parafermion vertex operator algebras are discussed. A proof of the well-known fact that the parafermion vertex operator algebra can be realized as the commutant of a lattice vertex operator algebra in L(k, 0) is also given.     

Quasi-Hereditary Extension Algebras

The paper is a continuation of the authors' study of quasi-hereditary algebras whose Yoneda extension algebras (homological duals) are quasi-hereditary. The so-called standard Koszul quasi-hereditary algebras, presented in this paper, have the property that their extension algebras are always quasi-hereditary. In the natural setting of graded Koszul algebras, the converse also holds: if the extension algebra of a graded Koszul quasi-hereditary algebra is quasi-hereditary, then the algebra must be standard Koszul. This implies that the class of graded standard Koszul quasi-hereditary algebras is closed with respect to homological duality. Another immediate consequence is the fact that all algebras corresponding to the blocks of the category O are standard Koszul.