Borel Subalgebras Redux with Examples from Algebraic and Quantum Groups

Both building upon and revising previous literature, this paper formulates the general notion of a Borel subalgebra B of a quasi-hereditary algebra A. We present various general constructions of Borel subalgebras, establish a triangular factorization of A, and relate the concept to graded Kazhdan–Lusztig theories in the sense of Cline et al. (Tôhoku Math. J. 45 (1993), 511–534). Various interesting types of Borel subalgebras arise naturally in different contexts. For example, `excellent" Borel subalgebras come about by abstracting the theory of Schubert varieties. Numerous examples from algebraic groups, q-Schur algebras, and quantum groups are considered in detail.     

On a strong property of the weak subalgebra lattice

In the present paper, we apply results from [Pió1] to prove that for an arbitrary total and locally finite unary algebra A of finite unary type K, its weak subalgebra lattice uniquely determines its strong subalgebra lattice (recall that in the case of total algebras the strong subalgebra lattice is the well-known lattice of all (total) subalgebras). More precisely, we prove that for every unary partial algebra B of the same unary type K, if weak subalgebra lattices of A and B are isomorphic (with A as above), then the strong subalgebra lattices of A and B are isomorphic, and moreover B is also total and locally finite. At the end of this paper we also show the necessity of all the three conditions for A. Received September 5, 1997; accepted in final form October 7, 1998.     

On ad-nilpotent b-ideals for orthogonal Lie algebras

Krattenthaler, Orsina and Papi provided explicit formulas for the number of ad-nilpotent ideals with fixed class of nilpotence of a Borel subalgebra of a classical Lie algebra. Especially for types A and C they obtained refined results about these ideals with not only fixed class of nilpotence but also fixed dimension. In this paper, we shall follow their algorithm to determine the enumeration of ad-nilpotent b-ideals with fixed class of nilpotence and dimension for orthogonal Lie algebras, i.e., types B and D.     

A uniform Birkhoff theorem

Birkhoff’s HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra B satisfies all equations that hold in an algebra A of the same signature if and only if B is a homomorphic image of a subalgebra of a (possibly infinite) direct power of A. The former statement is equivalent to the existence of a natural map sending term functions of the algebra A to those of B—the natural clone homomorphism. The study of continuity properties of natural clone homomorphisms has been initiated recently by Bodirsky and Pinsker for locally oligomorphic algebras.Revisiting the argument of Bodirsky and Pinsker, we show that for any algebra B in the variety generated by an algebra A, the induced natural clone homomorphism is uniformly continuous if and only if every finitely generated subalgebra of B is a homomorphic image of a subalgebra of a finite power of A. Based on this observation, we study the question as to when Cauchy continuity of natural clone homomorphisms implies uniform continuity. We introduce the class of almost locally finite algebras, which encompasses all locally oligomorphic as well as all locally finite algebras, and show that, in case A is almost locally finite, then the considered natural homomorphism is uniformly continuous if (and only if) it is Cauchy-continuous. In particular, this provides a locally finite counterpart of the result by Bodirsky and Pinsker. Along the way, we also discuss some peculiarities of oligomorphic permutation groups on uncountable sets.     

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;.     

Subalgebra extensions of partial monounary algebras

For a subalgebra B of a partial monounary algebra A we define the quotient partial monounary algebra A/B. Let B, B, C be partial monounary algebras. In this paper we give a construction of all partial monounary algebras A such that B is a subalgebra of A and C ≅ A/B.     

The Ideal Index of Subalgebras of a Finite Dimensional Lie Algebra

D. A. Towers introduced the notion of ideal index of a maximal subalgebra of a Lie algebra, and used it to analyze the influence of maximal subalgebras on the structure of a finite dimensional Lie algebras.

In this article, we generalize the ideal index from maximal subalgebras to all subalgebras, and obtain some new characterizations of solvable and supersolvable Lie algebras by the ideal indices of some certain subalgebras.     

On the local structure of doubly laced crystals

Let g be a Lie algebra all of whose regular subalgebras of rank 2 are type A₁×A₁, A₂, or C₂, and let B be a crystal graph corresponding to a representation of g. We explicitly describe the local structure of B, confirming a conjecture of Stembridge.     

Fuzzy Dot Structure of BG-algebras

In this paper, the notions of fuzzy dot subalgebras is introduced together with fuzzy normal dot subalgebras and fuzzy dot ideals of $BG$-algebras. The homomorphic image and inverse image are investigated in fuzzy dot subalgebras and fuzzy dot ideals of $BG$-algebras. Also, the notion of fuzzy relations on the family of fuzzy dot subalgebras and fuzzy dot ideals of $BG$-algebras are introduced with some related properties.     

On some types of maximal abelian subalgebras

Let H be a Hilbert space and B(H) the algebra of all bounded linear operators on H. It is known that there are two kinds of maximal abelian sub-algebras in B(H), to one of which there exists a unique faithful normal projection of norm one from B(H) and to the other any projection of norm one is singular. Any maximal abelian subalgebra A contains a projection e such that Ae is a maximal abelian subalgebra of B(eH) of the first kind and A(1 − e) is the one of the second kind in B((1 − e)H). This will be generalized to an arbitrary von Neumann algebra together with the existence problem of those kinds of maximal abelian subalgebras.     

Engel Subalgebras of n-Lie Algebras

Engel subalgebras of finite-dimensional n-Lie algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that an n-Lie algebra, all of whose maximal subalgebras are ideals, is nilpotent. A primitive 2-soluble n-Lie algebra is shown to split over its minimal ideal, and all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance.     

Closed Projections and Peak Interpolation for Operator Algebras

The closed one-sided ideals of a C ^*-algebra are exactly the closed subspaces supported by the orthogonal complement of a closed projection. Let A be a (not necessarily selfadjoint) subalgebra of a unital C ^*-algebra B which contains the unit of B. Here we characterize the right ideals of A with left contractive approximate identity as those subspaces of A supported by the orthogonal complement of a closed projection in B ^** which also lies in . Although this seems quite natural, the proof requires a set of new techniques which may be viewed as a noncommutative version of the subject of peak interpolation from the theory of function spaces. Thus, the right ideals with left approximate identity are closely related to a type of peaking phenomena in the algebra. In this direction, we introduce a class of closed projections which generalizes the notion of a peak set in the theory of uniform algebras to the world of operator algebras and operator spaces.     

Über Deformationen von analytischen Abbildungskeimen

The notion of deformations of germs of k-analytic mappings generalizes the one of deformations of germs of k-analytic spaces. Using algebraic terms, we prove:

1. The morphism f: A→B of analytic algebras is rigid, iff it is infinitesimally rigid. Moreover, this is equivalent to Ex_A (B,B)=0. This theorem generalizes a result of SCHUSTER [11].
2. Let A be a regular analytic algebra. Then f is rigid iff there exists a rigid analytic algebra B_o such that f is equivalent to the canonic injection A→A?B_o.
3. If f is “almost everywhere” rigid or smooth, then the injection Ext _B ^l (Ω_B|A, Bⁿ)→Ex_A(B, Bⁿ) is an isomorphism.

     

On the finitistic dimension conjecture II: Related to finite global dimension

In this paper, we study the finitistic dimensions of artin algebras by establishing a relationship between the global dimensions of the given algebras, on the one hand, and the finitistic dimensions of their subalgebras, on the other hand. This is a continuation of the project in [J. Pure Appl. Algebra 193 (2004) 287-305]. For an artin algebra A we denote by gl.dim(A), fin.dim(A) and rep.dim(A) the global dimension, finitistic dimension and representation dimension of A, respectively. The Jacobson radical of A is denoted by rad(A). The main results in the paper are as follows: Let B be a subalgebra of an artin algebra A such that rad(B) is a left ideal in A. Then (1) if gl.dim(A)?4 and rad(A)=rad(B)A, then fin.dim(B)<∞. (2) If rep.dim(A)?3, then fin.dim(B)<∞. The results are applied to pullbacks of algebras over semi-simple algebras. Moreover, we have also the following dual statement: (3) Let ?:B?A be a surjective homomorphism between two algebras B and A. Suppose that the kernel of ? is contained in the socle of the right B-module B_B. If gl.dim(A)?4, or rep.dim(A)?3, then fin.dim(B)<∞. Finally, we provide a class of algebras with representation dimension at most three: (4) If A is stably hereditary and rad(B) is an ideal in A, then rep.dim(B)?3.     

Codepth Two and Related Topics

A depth two extension A | B is shown to be weak depth two over its double centralizer V _A (V _A (B)) if this is separable over B. We consider various examples and non-examples of depth one and two properties. Depth two and its relationship to direct and tensor product of algebras as well as cup product of relative Hochschild cochains is examined. Section 6 introduces a notion of codepth two coalgebra homomorphism g : C → D, dual to a depth two algebra homomorphism. It is shown that the endomorphism ring of bicomodule endomorphisms End ^D C ^D forms a right bialgebroid over the centralizer subalgebra g ^* : D ^* → C ^* of the dual algebra C ^*. Dedicated to Daniel Kastler on his eightieth birthday.     

Double commutants of hereditary subalgebras of a corona

We show that in certain corona algebras, σ-unital hereditary subalgebras have the property that their double relative commutant in the corona algebra is equal to the unitization of the given hereditary subalgebra. We also give several results on polar decomposition in such algebras.     

Characteristic modules and tensor products over quasi-hereditary algebras

Let A be a monomial quasi-hereditary algebra with a pure strong exact Borel subalgebra B.It is proved that the category of induced good modules over B is contained in the category of good modules over A;that the characteristic module of A is an induced module of that of B via the exact functor-(?)_B A if and only if the induced A-module of an injective B-module remains injective as a B-module.Moreover,it is shown that an exact Borel subalgebra of a basic quasi-hereditary serial algebra is right serial and that the characteristic module of a basic quasi-hereditary serial algebra is exactly the induced module of that of its exact Borel subalgebra.     

A construction for coisotropic subalgebras of Lie bialgebras

Given a Lie bialgebra (g,g^∗), we present an explicit procedure to construct coisotropic subalgebras, i.e. Lie subalgebras of g whose annihilator is a Lie subalgebra of g^∗. We write down families of examples for the case that g is a classical complex simple Lie algebra.