Almost distributive sublattices and congruence heredity

A congruence lattice L of an algebra A is hereditary if every 0-1 sublattice of L is the congruence lattice of an algebra on A. Suppose that L is a finite lattice obtained from a distributive lattice by doubling a convex subset. We prove that every congruence lattice of a finite algebra isomorphic to L is hereditary. Presented by E. W. Kiss. Received July 18, 2005; accepted in final form April 2, 2006.     

Lie algebra of formal vector fields which are extended by formal g-valued functions

In this paper, we consider the infinite-dimensional Lie algebra W_n⋉g⊗O _n of formal vector fields on the n-dimensional plane which is extended by formal g-valued functions of n variables. Here g is an arbitrary Lie algebra. We show that the cochain complex of this Lie algebra is quasi-isomorphic to the quotient of the Weyl algebra of (gl _n ⊕ g) by the (2n+1)st term of the standard filtration. We consider separately the case of a reductive Lie algebra g. We show how one can use the methods of formal geometry to construct characteristic classes of bundles. For every G-bundle on an n-dimensional complex manifold, we construct a natural homomorphism from the ring A of relative cohomologies of the Lie algebra W_n⋉g⊗O _n to the ring of cohomologies of the manifold. We show that generators of the ring A are mapped under this homomorphism to characteristic classes of tangent and G-bundles. Bibliography: 10 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 335, 2006, pp. 205–230.     

F-Polynomials in Quantum Cluster Algebras

F-polynomials and g-vectors were defined by Fomin and Zelevinsky to give a formula which expresses cluster variables in a cluster algebra in terms of the initial cluster data. A quantum cluster algebra is a certain noncommutative deformation of a cluster algebra. In this paper, we define and prove the existence of analogous quantum F-polynomials for quantum cluster algebras. We prove some properties of quantum F-polynomials. In particular, we give a recurrence relation which can be used to compute them. Finally, we compute quantum F-polynomials and g-vectors for a certain class of cluster variables, which includes all cluster variables in type A_n\mbox{A}_{n} quantum cluster algebras.     

SECOND-ORDER BOOLEAN ALGEBRAS

Opgedra aan Prof. Hennie Schutte by geleentheid van sy sestigste verjaarsdag.

Abstract

A Boolean algebra is the algebraic version of a field of sets. The complex algebra C(B) of a Boolean algebra B is defined over the power set of B; it is a field of sets with extra operations. The notion of a second-order Boolean algebra is intended to be the algebraic version of the complex algebra of a Boolean algebra. To this end a representation theorem is proved.     

On Serre's Problem for RIT Algebras

Abstract

We construct a counterexample to Serre's problem for over a RIT algebra, which is a noncommutative quadratic algebra, given by quadratic relations, more general than the relations of the Weyl algebra and of a universal enveloping of finite dimensional Lie algebra.     

Full dualisability is independent of the generating algebra

Given a full duality based on a finite algebra M, we show how to create a full duality based on any other finite algebra N for which \mathbbISP(M) = \mathbbISP(N){\mathbb{ISP}({\bf M}) = \mathbb{ISP}({\bf N})}. So the full dualisability of a quasivariety is independent of the algebra chosen as the generator. We obtain this result by proving the corresponding result for multisorted full dualities.     

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.     

Sur l’annulation du deuxième foncteur de (co)homologie d’André-Quillen

For a given idealI of a commutative ringA, B=A/I, the vanishing of the second André-Quillen (co)homology functorH ₂ (A, B, δ) is characterized in terms of the canonical homomorphism α:S(I)→R(I) from the symmetric algebra of the idealI onto its Rees algebra. This is done by introducing a Koszul complex that characterizes commutative graded algebras which are symmetric algebras.

---

---

This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

On central division algebras

For any integern such that 8|n or for which there exists an odd primeq such thatq ²|n, there is a central division algebra of dimensionn ² over its center which is not a crossed product. The algebra constructed in this paper is the algebraQ(X ₁,…,X)_m, the algebra generated over the rationalQ bym(≧2) generic matrices. To the memory of A. A. Albert This paper was originally presented in November, 1971 for publication elsewhere in a volume in honor of Prof. A. A. Albert on the occasion of his 65th birthday. The volume was never published due to the death of Prof. Albert in June 1972.     

On solvability of systems of polynomial equations

We study the computational complexity of the solvability problem of systems of polynomial equations over finite algebras. We prove a new dichotomy theorem that extends most of the dichotomy results which have been obtained over different families of finite algebras so far. As a corollary, for example, we get that if \mathbbA{\mathbb{A}} is a finite algebra of finite signature and omits the Hobby-McKenzie type 1, then the problem is solvable in polynomial time whenever \mathbbA{\mathbb{A}} is a reduct of a generalized affine algebra, and NP-complete otherwise.     

Some remarks on dualisability and endodualisability

The fundamental problem of dualisability and the particular problem of endodualisability are discussed. It is proved tha every finite generating algebra of a quasi-variety generated by a finite dualisable algebra D is also dualisable. The corresponding result for endodualisability is true when D is subdirectly irreducible. Under special conditions, it is also proved that a finite algebra M is endodualisable if and only if any finite power M ⁿ of M is endodualisable. Received January 27, 1999; accepted in final form September 17, 1999.     

On finite retract lattices of monounary algebras

For a monounary algebra (A, f) we denote R ^∅(A, f) the system of all retracts (together with the empty set) of (A, f) ordered by inclusion. This system forms a lattice. We prove that if (A, f) is a connected monounary algebra and R ^∅(A, f) is finite, then this lattice contains no diamond. Next distributivity of R ^∅(A, f) is studied. We find a representation of a certain class of finite distributive lattices as retract lattices of monounary algebras.     

Finitely Deep Matrices

In the algebraic study of deep matrices ? _X () on a finite set of indices over a field, Christopher Kennedy has recently shown that there is a unique proper ideal  whose quotient is a central simple algebra. He showed that this ideal, which doesn't appear for infinite index sets, is itself a central simple algebra. In this article we extend the result to deep matrices with a finite set of 2 or more indices over an arbitrary coordinate algebra A, showing that when the coordinates are simple there is again such a unique proper ideal, and in general that the lattice of ideals of ? _X (A)/ and  are isomorphic to the lattice of ideals of the coordinate algebra A.     

Generating primitive positive clones

Suppose is a set of operations on a finite set A. Define PPC() to be the smallest primitive positive clone on A containing . For any finite algebra A, let PPC#(A) be the smallest number n for which PPC(CloA) = PPC(Clo _n A). S. Burris and R. Willard [2] conjectured that PPC#(A) ≤|A| when CloA is a primitive positive clone and |A| > 2. In this paper, we look at how large PPC#(A) can be when special conditions are placed on the finite algebra A. We show that PPC#(A) ≤|A| holds when the variety generated by A is congruence distributive, Abelian, or decidable. We also show that PPC#(A) ≤|A| + 2 if A generates a congruence permutable variety and every subalgebra of A is the product of a congruence neutral algebra and an Abelian algebra. Furthermore, we give an example in which PPC#(A) ≥|A| - 1)² so that these results are not vacuous. Received August 30, 1999; accepted in final form April 4, 2000.     

A GRADE-THEORETIC ANALOGUE OF THE COUSIN COMPLEX

Abstract

A complex is introduced which is the grade-theoretic analogue of the COUSIN complex of GROTHENDIECK and SHARP. Some applications are indicated to commutative algebra and geometry.     

Rankin-Cohen Brackets and Invariant Theory

Using maps due to Ozeki and Broué-Enguehard between graded spaces of invariants for certain finite groups and the algebra of modular forms of even weight we equip these invariants spaces with a differential operator which gives them the structure of a Rankin-Cohen algebra. A direct interpretation of the Rankin-Cohen bracket in terms of transvectant for the group SL(2, C) is given.     

Table algebras with multiple P-polynomial structures

Using covering numbers we prove that a standard real integral table algebra (A, B) with |B| ≥ 6 has a P-polynomial structure with respect to every b ≠ 1 in B if and only if 2|B|-1 is prime and (A, B) is exactly isomorphic to the Bose-Mesner algebra of the association scheme of the ordinary (2|B|-1)-gon. Then we present an example showing that this result is not true if |B| ≤ 5.     

Linearity of stability conditions

Abstract

For modules over an artin algebra, a linear stability condition is given by a “central charge” and a nonlinear stability condition is given by the wall-crossing sequence of a “green path.” Finite Harder-Narasimhan stratifications of the module category, maximal forward hom-orthogonal sequences and maximal green sequences, defined using Fomin-Zelevinsky quiver mutation are shown to be equivalent to finite nonlinear stability conditions when the algebra is hereditary. This is the first of a series of three papers whose purpose is to determine all maximal green sequences of maximal length for quivers of affine type A and determine which are linear.     

Prime virtually semisimple modules and rings

Abstract

We show that the multiplication algebra of a nondegenerate Jordan algebra is a semiprime algebra.     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.