Congruence-preserving functions on Stone and Kleene algebras

We investigate local polynomial functions on Stone algebras and on Kleene algebras. We find a generating set for the clone of all local polynomial functions. We also represent local polynomial functions on a given algebra by polynomial functions of some canonical extension of this algebra.     

Kleene代数及相关半模结构

Kleene代数在理论计算机科学中具有基础而特殊的重要性,Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语义逻辑及推理中发挥着十分重要的作用.将半环和半模等代数系统作为基本构架,研究了理论计算机科学中的Kleene代数、Kleene模和归纳~*-半环等重要概念,并将这些对象统一为序~*-半环上称为归纳半模的代数结构.进一步,提出并讨论了弱归纳半模、伪归纳半模以及伪弱归纳半模等相关概念.     

Bosonic formulas for affine branching functions

In this paper, we derive two bosonic (alternating sign) formulas for branching functions of affine Kac-Moody Lie algebras \(\mathfrak{g}\). Both formulas are expressed in terms of the Weyl group and string functions of \(\mathfrak{g}\).     

Weakly prime sets for function spaces

We define and study weakly prime sets for a function space and show that it coincides with the known concept of weakly prime sets for function algebras and spaces of affine functions.     

Wakimoto modules, opers and the center at the critical level

Wakimoto modules are representations of affine Kac-Moody algebras in Fock modules over infinite-dimensional Heisenberg algebras. In this paper, we present the construction of the Wakimoto modules from the point of view of the vertex algebra theory. We then use Wakimoto modules to identify the center of the completed universal enveloping algebra of an affine Kac-Moody algebra at the critical level with the algebra of functions on the space of opers for the Langlands dual group on the punctured disc, giving another proof of the theorem of B. Feigin and the author.     

胞腔代数和仿射胞腔代数简介

表示论中一个最基本的问题是确定不可约表示的参数集,这个问题至今没有完全解决.对于Graham和Lehrer引入的有限维胞腔代数,这个问题得到了完满解答,并被成功地应用于数学和物理中出现的许多代数.近来,人们引入仿射胞腔代数,将Graham和Lehrer有限维胞腔代数的表示理论框架推广到一类无限维代数上.仿射胞腔代数不仅包括有限维胞腔代数,也包括无限维的仿射Temperley-Lieb代数和Lusztig的A-型仿射Hecke代数.本文将对胞腔代数的发展历史和主要研究成果做一些综述,同时,对新引入的仿射胞腔代数及其最新成果做一点简介.     

Affine complete varieties are congruence distributive

An algebra is affine complete iff its polynomial operations are the same as all the operations over its universe that are compatible with all its congruences. A variety is affine complete iff all its algebras are. We prove that every affine complete variety is congruence distributive, and give a useful characterization of all arithmetical, affine complete varieties of countable type. We show that affine complete varieties with finite residual bound have enough injectives. We also construct an example of an affine complete variety without finite residual bound.? We prove several results concerning residually finite varieties whose finite algebras are congruence distributive, while leaving open the question whether every such variety must be congruence distributive. Received February 28, 1997; accepted in final form December 9, 1997.     

Contractors and connectors of graph algebras

We study generalizations of the “contraction‐deletion” relation of the Tutte polynomial, and other similar simple operations, to other graph parameters. The question can be set in the framework of graph algebras introduced by Freedman at al [Reflection positivity, rank connectivity, and homomorphisms of graphs, J. Amer. Math. Soc. 20 (2007), 37–51.] Graph algebras are defined by a graph parameter, and they were introduced in order to study and characterize homomorphism functions. We prove that for homomorphism functions, these graph algebras have special elements called “contractors” and “connectors”. This gives a new characterization of homomorphism functions. © 2008 Wiley Periodicals, Inc. J Graph Theory 60: 11–30, 2009     

Frobenius Poisson algebras

This paper is devoted to study Frobenius Poisson algebras. We introduce pseudo-unimodular Poisson algebras by generalizing unimodular Poisson algebras, and investigate Batalin-Vilkovisky structures on their cohomology algebras. For any Frobenius Poisson algebra, all Eatalin-Vilkovisky opera tors on its Poisson cochain complex are described explicitly. It is proved that there exists a Batalin-Vilkovisky operator on its cohomology algebra which is induced from a Batalin-Vilkovisky operator on the Poisson cochain complex, if and only if the Poisson st rue ture is pseudo-unimodular. The relation bet ween modular derivations of polynomial Poisson algebras and those of their truncated Poisson algebras is also described in some cases.     

Varieties of affine Kac-Moody algebras

In this paper the identities of the complex affine Kac-Moody algebras are studied. It is proved that the identities of twisted affine algebras coincide with those of the corresponding nontwisted algebras. Moreover, in the class of nontwisted affine Kac-Moody algebras, each of these algebras is uniquely defined by its identities. It is shown that the varieties of affine algebras, as well as the varieties defined by finitely generated three-step solvable Lie algebras, have exponential growth. Translated fromMatematicheskie Zametki, Vol. 62 No. 1, pp. 95–102, July 1997. Translated by A. I. Shtern     

Unification and Projectivity in De Morgan and Kleene Algebras

We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.     

Current algebras, highest weight categories and quivers

We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective envelopes of the simple objects as well as extensions between simple objects. The simple objects in the category are parametrized by the affine weight lattice. We show that with respect to a suitable refinement of the standard ordering on the affine weight lattice the category is highest weight. We compute the Ext quiver of the algebra of endomorphisms of the injective cogenerator of the subcategory associated to an interval closed finite subset of the weight lattice. Finally, we prove that there is a large number of interesting quivers of finite, affine and star-shaped type, as well as tame quasi-hereditary algebras, that arise from our study.     

Completely bounded disjointness preserving operators between Fourier algebras

In this paper, we characterize surjective completely bounded disjointness preserving linear operators on Fourier algebras of locally compact amenable groups. We show that such operators are given by weighted homomorphisms induced by piecewise affine proper maps.     

Left Derivations Characterized by Acting on Multilinear Polynomials

For prime algebras, we describe a linear map which behaves like a left derivation on a fixed multilinear polynomial in noncommuting indeterminates and, in particular, we characterize left derivations by their action on mth powers.     

Über die affin vollständigen,endlich erzeugbaren Moduln

A universal algebraA is calledk-affine complete, if any function of the Cartesian powerA ^k intoA, which is compatible with all congruence relations ofA, is a polynomial function.A is called affine complete, if it isk-affine complete for every integerk. In this paper, all affine complete finitely generated modules are characterized. Moreover, the paper contains some results on functions compatible with all congruence relations of an algebra, and on affine complete algebras in general.

---

---

Herrn Prof. Dr. E. Hlawka zum 60. Geburtstag gewidmet     

A Generalization of Extended Affine Lie Algebras

We introduce a new class of possibly infinite dimensional Lie algebras and study their structural properties. Examples of this new class of Lie algebras are finite dimensional simple Lie algebras containing a nonzero split torus, affine and extended affine Lie algebras. Our results generalize well-known properties of these examples.     

Algebraically flat or projective algebras

We define and study algebraically flat algebras in order to have a better understanding of algebraically projective algebras of finite type (the projective algebras of literature). A close examination of the differential properties of these algebras leads to our main structure theorem. As a corollary, we get that an algebraically projective algebra of finite type over a field is either a polynomial ring or the affine algebra of a complete intersection.     

Polynomial identity rings as rings of functions

We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where “varieties” carry a PGL_n-action, regular and rational “functions” on them are matrix-valued, “coordinate rings” are prime polynomial identity algebras, and “function fields” are central simple algebras of degree n. In particular, a prime polynomial identity algebra of degree n is finitely generated if and only if it arises as the “coordinate ring” of a “variety” in this setting. For n=1 our definitions and results reduce to those of classical affine algebraic geometry.     

Serre's Condition Rℓ for Affine Semigroup Rings

In this note we characterize the affine semigroup rings K[S] over an arbitrary field K that satisfy condition R_? of Serre. Our characterization is in terms of the face lattice of the positive cone pos(S) of S. We start by reviewing some basic facts about the faces of pos(S) and consequences for the monomial primes of K[S]. After proving our characterization we turn our attention to the Rees algebras of a special class of monomial ideals in a polynomial ring over a field. In this special case, some of the characterizing criteria are always satisfied. We give examples of non-normal affine semigroup rings that satisfy R₂.