Cyclic homology and the Macdonald conjectures

Summary LetA+(k) denote the ring [t]/t ^k+1 and letG be a reductive complex Lie algebra with exponentsm ₁, ...,m n. This paper concerns the Lie algebra cohomology ofGA ₊(k) considered as a bigraded algebra (here one of the gradings is homological degree and the other, which we callweight, is inherited from the obvious grading ofGA ₊(k)). We conjecture that this Lie algebra cohomology is an exterior algebra withk+1 generators of homological degree 2m _s +1 fors=1,2, ...,n. Of thesek+1 generators of degree 2m _s +1, one has weight 0 and the others have weights (k+1)m _s +t fort=1,2, ...,k.It is shown that this conjecture about the Lie algebra cohomology of A ₊(k) implies the Macdonald root system conjectures. Next we consider the case thatG is a classical Lie algebra with root systemA _n ,B _n ,C _n , orD _n. It is shown that our conjecture holds in the limit onn asn approaches infinity which amounts to the computation of the cyclic and dihedral cohomologies ofA+(k). Lastly we discuss the relevance of this limiting case to the case of finiten in this situation.Partially supported by NSF grant number MCS-8401718 and a Bantrell Fellowship     

Group Gradings on Polynomial Algebras

Let k be a field. We consider gradings on a polynomial algebra k[X₁,…, X_n] by an arbitrary abelian group G, such that the indeterminates are homogeneous elements of nontrivial degree. We classify the isomorphism types of such gradings, and we count them in the case where G is finite. We present some examples of good gradings and find a minimal set of generators of the subalgebra of elements of trivial degree.     

Basis for identities of the algebra of simplified insertion

We prove that all identities of the algebra of simplified insertion on countably many generators over a field of characteristic zero follow from the right-symmetric identity. We prove that the bases of the free special Jordan algebra and the special algebra of simplified insertion coincide. We construct an infinite series of relations in the algebra of simplified insertion which hold for the words of length k, k ε ℕ.     

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.     

Free Skew Boolean Intersection Algebras and Set Partitions

We show that atoms of the n-generated free left-handed skew Boolean intersection algebra are in a bijective correspondence with pointed partitions of non-empty subsets of \(\{1,2,\dots , n\}\). Furthermore, under the canonical inclusion into the k-generated free algebra, where k≥n, an atom of the n-generated free algebra decomposes into an orthogonal join of atoms of the k-generated free algebra in an agreement with the containment order on the respective partitions. As a consequence of these results, we describe the structure of finite free left-handed skew Boolean intersection algebras and express several their combinatorial characteristics in terms of Bell numbers and Stirling numbers of the second kind. We also look at the infinite case. For countably many generators, our constructions lead to the ‘partition analogue’ of the Cantor tree whose boundary is the ‘partition variant’ of the Cantor set.     

Erdős–Ko–Rado and Hilton–Milner Type Theorems for Intersecting Chains in Posets

t -intersecting k-chains in posets using the kernel method. These results are common generalizations of the original EKR and HM theorems, and our earlier results for intersecting k-chains in the Boolean algebra. For intersecting k-chains in the c-truncated Boolean algebra we also prove an exact EKR type theorem (for all n) using the shift method. An application of the general theorem gives a similar result for t-intersecting chains if n is large enough. Received November 20, 1997     

Brauer algebras of simply laced type

The diagram algebra introduced by Brauer that describes the centralizer algebra of the n-fold tensor product of the natural representation of an orthogonal Lie group has a presentation by generators and relations that only depends on the path graph A _{n − 1} on n − 1 nodes. Here we describe an algebra depending on an arbitrary graph Q, called the Brauer algebra of type Q, and study its structure in the cases where Q is a Coxeter graph of simply laced spherical type (so its connected components are of type A _{n − 1}, D _n , E₆, E₇, E₈). We find its irreducible representations and its dimension, and show that the algebra is cellular. The algebra is generically semisimple and contains the group algebra of the Coxeter group of type Q as a subalgebra. It is a ring homomorphic image of the Birman-Murakami-Wenzl algebra of type Q; this fact will be used in later work determining the structure of the Birman-Murakami-Wenzl algebras of simply laced spherical type.     

Group gradings on diagonal algebras

We describe all group gradings on the diagonal algebra k ⁿ , where k is an arbitrary field. Received: 21 January 2008     

The differential Hilbert series of a local algebra

The differential Hilbert series of a commutative local algebra R/R₀ which is essentially of finite type is the generating function of the numerical function which associates with each n ? \Bbb N n\in \Bbb N the minimal number of generators of the algebra Pⁿ_R/R0P^n_{R/R_0} of principal parts of order n, considered as an R-module. It can be expressed as a rational function over the integers. We wish to compute this rational function in terms of other invariants of the local algebra or at least give estimates of it. We obtain formulas which generalize wellknown facts about the minimal number of generators of the module of Kähler differentials.     

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.     

Orthogonal invariants of skew-symmetric matrices

The algebra of invariants of d-tuples of n?×?n skew-symmetric matrices under the action of the orthogonal group by simultaneous conjugation is considered over an infinite field of characteristic different from two. For n?=?3 and d?>?0 a minimal set of generators is established. A homogeneous system of parameters (i.e. an algebraically independent set such that the algebra of invariants is a finitely generated free module over subalgebra generated by this set) is described for n?=?3 and d?>?0, for n?=?4 and d?=?2,?3, for n?=?5 and d?=?2.     

On free semilattice-ordered semigroups satisfying x n =x

Let B(k,0,n) denote the group with k generators which is free in the group variety defined by the identity x ⁿ =1. Let B _slo (k,1,n) denote the semilattice-ordered semigroup with k generators which is free in the semilattice-ordered semigroup variety defined by the identity x ⁿ =x. We prove a generalization of the Green-Rees theorem: B _slo (k,1,n) is finite for all k≥1 if and only if B(k,0,n−1) is finite for all k≥1. We find a formula for card(B _slo (1,1,n)). We construct B _slo (k,1,n) for some concrete values of k and n.     

Class Partition Algebras as Centralizer Algebras of Wreath Products

In this article, we study an important subalgebra of the tensor product partition algebra P _k (x)? P _k (y), denoted by P _k (x, y) and called “Class Partition Algebra.” We show that the algebra P _k (n, m) is the centralizer algebra of the wreath product S _m ? S _n . Furthermore, the algebra P _k (x, y) and the tensor product partition algebra P _k (x)? P _k (y) are subalgebras of the G-colored partition algebra P _k (x;G) and G-vertex colored partition algebra P _k (x, G) respectively, for every group G with |G|=y ≥ 2k.     

General Form of the *-Commutator on the Grassmann Algebra

The general form of the *-commutator on the Grassmann algebra treated as a deformation of the conventional Poisson bracket is investigated. It is shown that in addition to the Moyal *-commutator, there exist other deformations of the Poisson bracket on the Grassman algebra (one additional deformation for even and odd n, where n is the number of the Grassmann algebra generators) that are not reducible to the Moyal *-commutator by a similarity transformation.     

The Minimal Number of Cyclic Generators of the Symmetric and Alternating Groups

The aim of this note is to find the minimal number of generators of the symmetric group S _n and alternating group A _n , when the generators are cycles of length at most k. The approach is constructive.     

Complex algebras on n-order polynomials and generalizations of trigonometry, oscillator model and Hamilton dynamics

A generator of the complex algebra within the framework of general formulation obeys the quadratic equation of the type e² = a₁e − a₀. In this paper we construct the general complex algebras of the n-th order where the generators obey n-order polynomial equation of the type eⁿ = a_{n - 1}e^{n - 1} − a_{n - 2}e^{n - 2} + ... + (−)^{n + 1}a₀, with real coefficients a_k, k = 0, 1, ... n − 1. This algebra induces a generalized trigonometry ((n + 1)-gonometry), subyacent to the n-th order oscillator model and to the n-th order Hamilton equations.     

Reduction of the adjoint representation of sl(2,1): generators of primitive ideals

We present a reduction of the adjoint representation of the Lie superalge-bra,sl(2,1) and a study of the quotient algebra B(^c,k)= u/u(C?c)+u(D?kc), where c,k are two complex numbers. Under some additional conditions, we prove that every irreducible infinite dimensional representation of B(^c,k) is faithful, and that B(^C,K) is a primitive algebra. We give explicitly a set of generators of primitive degenerate ideal of infinite codimension. Essentially we prove that any minimal primitive ideal of u(sl(2,1)) is generated, as a 2-sided ideal, by its intersection with the algebra of gg-iuvariants.     

A family of regular vertex operator algebras with two generators

For every m ∈ ℂ ∖ {0, −2} and every nonnegative integer k we define the vertex operator (super)algebra D _m,k having two generators and rank . If m is a positive integer then D _m,k can be realized as a subalgebra of a lattice vertex algebra. In this case, we prove that D _m,k is a regular vertex operator (super) algebra and find the number of inequivalent irreducible modules.      

Boole–De Morgan Algebras and Quasi-De Morgan Functions

In this paper we establish a Stone-type and a Birkhoff-type representation theorems for Boole–De Morgan algebras and prove that the free Boole–De Morgan algebra on n free generators is isomorphic to the Boole–De Morgan algebra of quasi-De Morgan functions of n variables. Also we introduce the concept of Zhegalkin polynomials for quasi-De Morgan functions and consider the representation problem of those functions by polynomials.     

Estimates on binomial sums of partition functions

Let p(n) denote the partition function and define where p(0)= 1. We prove that p(n,k) is unimodal and satisfies for fixed n≥ 1 and all 1≤k≤n. This result has an interesting application: the minimal dimension of a faithful module for a k-step nilpotent Lie algebra of dimension n is bounded by p(n,k) and hence by , independently of k. So far only the bound n ^{n −1} was known. We will also prove that for n≥ 1 and . Received: 17 December 1999