Affine Yangians and deformed double current algebras in type A

We study the structure of Yangians of affine type and deformed double current algebras, which are deformations of the enveloping algebras of matrix W1+∞-algebras. We prove that they admit a PBW-type basis, establish a connection (limit construction) between these two types of algebras and toroidal quantum algebras, and we give three equivalent definitions of deformed double current algebras. We construct a Schur-Weyl functor between these algebras and rational Cherednik algebras.     

On replacement axioms for the Jacobi identity for vertex algebras and their modules

We discuss the axioms for vertex algebras and their modules, using formal calculus. Following certain standard treatments, we take the Jacobi identity as our main axiom and we recall weak commutativity and weak associativity. We derive a third companion property that we call “weak skew-associativity”. This third property in some sense completes an S₃-symmetry of the axioms, which is related to the known S₃-symmetry of the Jacobi identity. We do not initially require a vacuum vector, which is analogous to not requiring an identity element in ring theory. In this more general setting, one still has a property, occasionally used in standard treatments, which is closely related to skew-symmetry, which we call “vacuum-free skew-symmetry”. We show how certain combinations of these properties are equivalent to the Jacobi identity for both vacuum-free vertex algebras and their modules. We then specialize to the case with a vacuum vector and obtain further replacement axioms. In particular, in the final section we derive our main result, which says that, in the presence of certain minor axioms, the Jacobi identity for a module is equivalent to either weak associativity or weak skew-associativity. The first part of this result has appeared previously and has been used to show the (nontrivial) equivalence of representations of and modules for a vertex algebra. Many but not all of our results appear in standard treatments; some of our arguments are different from the usual ones.     

Classes of structurable algebras of skew-rank

Let R be a ring such that 2, 3 ∈ R ^×. We construct classes of structurable algebras over R whose residue class algebras have skew-dimension 1. These are matrix algebras or forms of matrix algebras which do not necessarily arise out of separable Jordan algebras of degree 3. As an application, we give canonical examples of structurable algebras of large dimension.     

Separation Axioms on ℕ∞-Systems

Projection algebras (spaces) are nothing but -systems. Computer scientists use these algebras for the specification of infinite objects (process) which can not be denoted by finite terms. Using the closure operator given in [9], we consider these algebras as topological spaces and investigate the separation axioms for them. Among other things, we get some equivalent conditions to separatedness defined and studied in [9]. We also study the relations between separatedness and other separation axioms. Finally, we characterize the subdirectly irreducible projection algebras.     

The Hecke group algebra of a Coxeter group and its representation theory

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, …).In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well.This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.     

Del Pezzo surfaces of degree 6 over an arbitrary field

We give a characterization of all del Pezzo surfaces of degree 6 over an arbitrary field F. A surface is determined by a pair of separable algebras. These algebras are used to compute the Quillen K-theory of the surface. As a consequence, we obtain an index reduction formula for the function field of the surface.     

Braidings on the Category of Bimodules,Azumaya Algebras and Epimorphisms of Rings

Let A be an algebra over a commutative ring k. We prove that braidings on the category of A-bimodules are in bijective correspondence to canonical R-matrices, these are elements in A???A???A satisfying certain axioms. We show that all braidings are symmetries. If A is commutative, then there exists a braiding on ${}_A\mathcal{M}_A$ if and only if k→A is an epimorphism in the category of rings, and then the corresponding R-matrix is trivial. If the invariants functor $G = (-)^A:\ {}_A\mathcal{M}_A\to \mathcal{M}_k$ is separable, then A admits a canonical R-matrix; in particular, any Azumaya algebra admits a canonical R-matrix. Working over a field, we find a remarkable new characterization of central simple algebras: these are precisely the finite dimensional algebras that admit a canonical R-matrix. Canonical R-matrices give rise to a new class of examples of simultaneous solutions for the quantum Yang–Baxter equation and the braid equation.     

Homomorphisms onto effectively separable algebras

We study variations of the concept of separable enumeration and, basing on that, describe a series of algorithmic and algebraic concepts. In this framework we characterize negative equivalences, describe enumerated algebras with the most general separability conditions, give a separability criterion for the enumerated algebras satisfying the descending chain condition for the lattices of congruences, and consider some questions related to the algorithmic complexity of enumerations of the algebras satisfying various separability axioms.     

About the classification of the holonomy algebras of lorentzian manifolds

The classification of the holonomy algebras of Lorentzian manifolds can be reduced to the classification of the irreducible subalgebras h ? so(n) that are spanned by the images of linear maps from ? ⁿ to h satisfying some identity similar to the Bianchi identity. Leistner found all these subalgebras and it turned out that the obtained list coincides with the list of irreducible holonomy algebras of Riemannian manifolds. The natural problem is to give a simple direct proof of this fact. We give such a proof for the case of semisimple not simple Lie algebras h.     

Examples of uniformly homeomorphic Banach spaces

We give several examples of separable Banach spaces which are nonisomorphic but uniformly homeomorphic. For example, we show that for every 1 < p ≠ 2 < ∞ there are two uniformly homeomorphic subspaces (respectively, quotients) of ? _p which are not linearly isomorphic; similarly c ₀ has two uniformly homeomorphic subspaces which are not isomorphic. We also give an example of two non-isomorphic separable L _∞-spaces which are coarsely homeomorphic (i.e. have Lipschitz equivalent nets).     

On Universal Equivalence of Partially Commutative Metabelian Lie Algebras

In this paper, we consider partially commutative metabelian Lie algebras whose defining graphs are cycles. We show that such algebras are universally equivalent iff the corresponding cycles have the same length. Moreover, we give an example showing that the class of partially commutative metabelian Lie algebras such that their defining graphs are trees is not separable by universal theory in the class of all partially commutative metabelian Lie algebras.     

A Dixmier-Douady theorem for Fell algebras

We generalise the Dixmier-Douady classification of continuous-trace C^?-algebras to Fell algebras. To do so, we show that C^?-diagonals in Fell algebras are precisely abelian subalgebras with the extension property, and use this to prove that every Fell algebra is Morita equivalent to one containing a diagonal subalgebra. We then use the machinery of twisted groupoid C^?-algebras and equivariant sheaf cohomology to define an analogue of the Dixmier-Douady invariant for Fell algebras, and to prove our classification theorem.     

Prelinear Algebras in Relatively Regular Quasivarieties

Given a quasivariety of lattice-ordered algebras, the linearly ordered algebras therein generate the subquasivariety of prelinear algebras. In the case that there exist a constant 1 and binary term i such that the quasivariety satisfies: $1 \leq i(x,y) \Leftrightarrow x \leq y$ , we give an explicit axiomatization of the prelinear subquasivariety, relative to the original quasivariety. The existence of 1 and i with the above property is equivalent to the quasivariety being ‘relatively 1^?-regular’, by which we mean that each relative congruence is characterized by the negative cone of its 1-class. Dual results hold in the positive cone case.     

Self-dual and quasi self-dual algebras

Self-dual algebras are ones with an A bimodule isomorphism A → A ^∨op, where A ^∨ = Hom _k (A, k) and A ^∨op is the same underlying k-module as A ^∨ but with left and right operations by A interchanged. These are in particular quasi self-dual algebras, i.e., ones with an isomorphism H*(A,A) ≌ H*(A,A ^{∨ op}). For all such algebras H*(A,A) is a contravariant functor of A. Finite-dimensional associative self-dual algebras over a field are identical with symmetric Frobenius algebras; an example of deformation of one is given. (The monoidal category of commutative Frobenius algebras is known to be equivalent to that of 1+1 dimensional topological quantum field theories.) All finite poset algebras are quasi self-dual.     

PI non-equivalence in positive characteristic

The algebras A _a,b appeared in the study of the tensor products of verbally prime PI algebras. They are in-between the well known algebras M _n (E) and ${M_{a,b}(E)\otimes E}$ , see the definitions below. Here E is the Grassmann algebra. The main result of this note consists in showing that the algebras A _a,b and M _a+b (E) are not PI equivalent in characteristic p > 2.     

Gromov's translation algebras, growth and amenability of operator algebras

Translation algebras of finitely generated *-algebras of bounded linear operators on a separable Hilbert space are introduced. Two equivalent forms of amenability for finitely generated *-algebras in terms of the existence of Følner sequences are introduced. These are related to the existence of traces on the associated translation algebra and, in the context of C^*-algebras, are related to weak-filterability and to the existence of hypertraces.     

Separation properties in the primitive ideal space of a multiplier algebra

We use recent work on spectral synthesis in multiplier algebras to give an intrinsic characterization of the separable C*-algebras A for which Orc(M(A)) = 1, i.e., for which the relation of inseparability on the topological space of primitive ideals of the multiplier algebra M(A) is an equivalence relation. This characterization has applications to the calculation of norms of inner derivations and other elementary operators on A and M(A). For example, we give necessary and sufficient conditions on the ideal structure of a separable C*-algebra A for the norm of every inner derivation to be twice the distance of the implementing element to the centre of M(A).     

The smallness problem for -algebras

Akemann showed that any von Neumann algebra with a weak^* separable dual space has a faithful normal representation on a separable Hilbert space. He posed the question: If a C^*-algebra has a weak^* separable state space, must it have a faithful representation on a separable Hilbert space? Wright solved this question negatively and showed that a unital C^*-algebra has the weak^* separable state space if and only if it has a unital completely positive map, into a type I factor on a separable Hilbert space, whose restriction to the self-adjoint part induces an order isomorphism. He called such a C^*-algebra almost separably representable. We say that a unital C^*-algebra is small if it has a unital complete isometry into a type I factor on a separable Hilbert space. In this paper we show that a unital C^*-algebra is small if and only if the state spaces of all n by n matrix algebras over the C^*-algebra are weak^*-separable. It is natural to ask whether almost separably representable algebras are small or not. We settle this question positively for simple C^*-algebras but the general question remains open.     

Dual problems for weak and quasi approximation properties

It is shown that for the separable dual X^∗ of a Banach space X if X^∗ has the weak approximation property, then X has the metric quasi approximation property. Using this it is shown that for the separable dual X^∗ of a Banach space X the quasi approximation property and metric quasi approximation property are inherited from X^∗ to X and for a separable and reflexive Banach space X, X having the weak approximation property, bounded weak approximation property, quasi approximation property, metric weak approximation property, and metric quasi approximation property are equivalent. Also it is shown that the weak approximation property, bounded weak approximation property, and quasi approximation property are not inherited from a Banach space X to X^∗.     

A Characterization of Group Rings

In this paper we prove that every coseparable involutory Hopf algebra over the ring of integers Z which is a free Z-module is the group ring of some group. This result was proved independently for Hopf algebras which are finitely generated Z-modules by H.-J. Schneider [6], using similar techniques. We then give some examples of coseparable Hopf algebras over number rings which are not group algebras, and give an example of a cocommutative coseparable coalgebra over a number ring which cannot be given a multiplicative structure making it into a Hopf algebra. The Hopf algebra structure theory required for this paper is found in [1], [4], and [5]. For completeness we give proofs here of the coalgebra analogues to some “well-known” facts about separable algebras.