Invariant forms of the elementary unitary Lie superalgebra

In this paper we describe the invariant forms of toral K-graded Lie superalgebras and, in particular, of the elementary unitary Lie superalgebra over a superring K containing .     

Lie superalgebras graded by the root system B(<Emphasis Type="Italic">m,n</Emphasis>)

We determine the Lie superalgebras that are graded by the root system B(m,n) of the orthosymplectic Lie superalgebra osp(2m + 1,2n). Mathematics Subject Classification (2000) Primary 17B70, Secondary 17A70     

Quaternions,octonions and the forms of the exceptional simple classical Lie superalgebras

The forms of the exceptional simple classical Lie superalgebras are determined over arbitrary fields of characteristic $\ne 2,3$.     

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     

Formulæ for the number of partitions of n into at most m parts (using the quasi-polynomial ansatz)

The purpose of this short article is to announce, and briefly describe, a Maple package, PARTITIONS, that (inter alia) completely automatically   discovers, and then proves, explicit expressions (as sums of quasi-polynomials) for _pm(n)$p_m(n)$ for any desired m. We do this to demonstrate the power of “rigorous guessing” as facilitated by the quasi-polynomial ansatz.     

The configuration space of the n-arms machine in the Euclidean space

As a typical kind of mechanical linkage, we consider the n-arms machine in Rd. The machine consists of n 2-legs with equal length such that the initial point of each 2-leg is fixed to a circle, while all tips of the 2-legs are combined to a central joint. We determine the homotopy type of the configuration space of the n-arms machine.     

Polylogarithmic functional equations: A new category of results developed with the help of computer algebra (MACSYMA)

The interrelation of polylogarithmic functional equations and certain numerical results, known as ladders, is discussed, and leads to a consideration of three new, single-variable functional equations at the second order. Two of these families each contain six leading terms whose interrelationship constitutes a constraint on the integration process, but the third has only a single leading term with no such constraints. It is shown how this functional equation can be integrated to the third order, and the process reduced to an algorithm — actually a sequence of instructions — for incorporation into a computer program for symbolic manipulation. The procedure utilizes results from Kummer's equations to cancel out, in sequence, terms which do not vanish, or do vanish, with the variablez. Arguments are all of the form ±z ^p (1–z) ^q (1+z) ^r , and the process is algebraicized by using a (p,q,r,s) notation (withs=±1) to represent such terms. Application of the procedure leads to an integration to the fourth and fifth orders, the latter exhibiting 55 transcendental terms. The first step for the transition to the sixth order can also be achieved but the subsequent steps are frustrated by the restricted forms that the Kummer equations take at the fifth order — it is not possible to create the needed equations in a form which vanishes withz; this corresponding to the elimination of the (5) constant in the extension of the numerically determined ladders to the sixth and higher orders. The existence of the higher-order ladders strongly suggests functional equations af these orders, but the present process has not yet been successful in finding them. The new equations have, however, produced ladders that were inaccessible from Kummer's equations, and had heretofore been only obtainable numerically, up to the fifth order. The method which was developed should be capable of generalization to other systems of equations characterized by the appearance of arguments with recurrent factors. Some new feature, however, will need to be determined before the barrier to the sixth order can be breached.     

Group gradings on the Lie and Jordan superalgebras Q(n)

We classify gradings by arbitrary abelian groups on the classical simple Lie and Jordan superalgebras Q(n), n ≥ 2, over an algebraically closed field of characteristic different from 2 (and not dividing n + 1 in the Lie case): Fine gradings up to equivalence and G-gradings, for a fixed group G, up to isomorphism.     

Generating sequences and Poincaré series for a finite set of plane divisorial valuations

Let V be a finite set of divisorial valuations centered at a 2-dimensional regular local ring R. In this paper we study its structure by means of the semigroup of values, SV, and the multi-index graded algebra defined by V, grVR. We prove that SV is finitely generated and we compute its minimal set of generators following the study of reduced curve singularities. Moreover, we prove a unique decomposition theorem for the elements of the semigroup. The comparison between valuations in V, the approximation of a reduced plane curve singularity C by families of sets V(k) of divisorial valuations, and the relationship between the value semigroup of C and the semigroups of the sets V(k), allow us to obtain the (finite) minimal generating sequences for C as well as for V.We also analyze the structure of the homogeneous components of grVR. The study of their dimensions allows us to relate the Poincaré series for V and for a general curve C of V. Since the last series coincides with the Alexander polynomial of the singularity, we can deduce a formula of A'Campo type for the Poincaré series of V. Moreover, the Poincaré series of C could be seen as the limit of the series of V(k), k?0.     

Separated Lie models and the homotopy Lie algebra

A simply connected topological space X has homotopy Lie algebra π_∗(ΩX)⊗Q. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property that we call being separated. The homology of a separated dgL has a particular form which lends itself to calculations.     

On the defining relations for generalized q-Schur algebras

We show that the defining relations needed to describe a generalized q-Schur algebra as a quotient of a quantized enveloping algebra are determined completely by the defining ideal of a certain finite affine variety, the points of which correspond bijectively to the set of weights. This explains, unifies, and extends previous results.     

On the solutions to x′(t) = A(t) x (t) over all A(t), where P ⩽ A(t) ⩽ Q

Let P_ij and q_ij be positive numbers for i ≠ j, i, j = 1, …, n, and consider the set of matrix differential equations x′(t) = A(t) x(t) over all A(t), where a_ij(t) is piecewise continuous, a_ij(t) = ?∑_{i ≠ j}a_ij(t), and p_ij ? a_ij(t) ? q_ij all t. A solution x is also to satisfy ∑_{i = 1}ⁿx_i(0) = 1. Let C_t denote the set of all solutions, evaluated at t to equations described above. It is shown that $\text{C}{}_{\mathrm{t}}$, the topological closure of C_t, is a compact convex set for each t. Further, the set valued function $\text{C}{}_{\mathrm{t}}$, of t is continuous and $\text{limit}{}_{\mathrm{t\; \to \; \infty }}\text{C}\text{?}{}_{\mathrm{t}}\text{= ∩}\text{C}\text{?}{}_{\mathrm{t}}$.     

On the prime power factorization of n!, II

Let p, q be primes and m be a positive integer. For a positive integer n, let ep(n) be the nonnegative integer with pep(n)|n and pep(n)+1?n. The following results are proved: (1) For any positive integer m, any prime p and any ε∈Zm, there are infinitely many positive integers n such that ; (2) For any positive integer m, there exists a constant D(m) such that if ε,δ∈Zm and p, q are two distinct primes with max{p,q}?D(m), then there exist infinitely many positive integers n such that , . Finally we pose four open problems.     

Skew differential operator algebras of twisted Hopf algebras

By introducing a twisted Hopf algebra we unify several important objects of study. Skew derivations of such an algebra are defined and the corresponding skew differential operator algebras are studied. This generalizes results in the Weyl algebra. Applying this investigation to the twisted Ringel-Hall algebra we get, in particular, a natural realization of the non-positive part of a quantized generalized Kac-Moody algebra, by identifying the canonical generators with some linear, skew differential operators. This also induces some algebras which are quantum-group like.