Construction of vertex operator algebras from commutative associative algebras

Given a commutative associative algebra A with an associative form (’), we construct a vertex operator algebra V with the weight two space V₂;? A If in addition the form (’) is nondegenerate, we show that there is a simple vertex operator algebra with V₂;? A We also show that if A is semisimple, then the vertex operator algebra constructed is the tensor products of a certain number of Virasoro vertex operator algebras.     

The varieties of Heisenberg vertex operator algebras

For a vertex operator algebra V with conformal vector ω,we consider a class of vertex operator subalgebras and their conformal vectors.They are called semi-conformal vertex operator subalgebras and semiconformal vectors of(V,ω),respectively,and were used to study duality theory of vertex operator algebras via coset constructions.Using these objects attached to(V,ω),we shall understand the structure of the vertex operator algebra(V,ω).At first,we define the set Sc(V,ω)of semi-conformal vectors of V, then we prove that Sc(V,ω)is an affine algebraic variety with a partial ordering and an involution map.Corresponding to each semi-conformal vector,there is a unique maximal semi-conformal vertex operator subalgebra containing it.The properties of these subalgebras are invariants of vertex operator algebras.As an example,we describe the corresponding varieties of semi-conformal vectors for Heisenberg vertex operator algebras.As an application,we give two characterizations of Heisenberg vertex operator algebras using the properties of these varieties.     

The Variety of Near-Rings is Generated by Its Finite Members

We show that the variety of near-rings and the variety of zero-symmetric near-rings are both generated by their finite members. We show this in a more general context: if a variety V{\cal V} is generated by a class of algebras F{\cal F} , then the variety of V{\cal V} -composition algebras is generated by the class of all full function algebras on direct products of finitely many copies of algebras in F{\cal F} .     

On voa associated with special jordan algebras

For a given simple Jordan algebra A of type A, B or C over C, we construct a vertex operator algebra V such that the weight two space V ₂ ? A by using the structure of Heisenberg algebras. In addition, we compute the automorphism groups of these vertex operator algebras.     

The weak* similarity property on dual operator algebras

This paper is devoted to dual operator algebras, that isw ^*-closed algebras of bounded operators on Hilbert space. We investigate unital dual operator algebrasA with the following weak^* similarity property: for every Hilbert spaceH, anyw ^*-continuous unital homomorphism fromA intoB(H) is completely bounded and thus similar to a contractive one. We develop a notion of dual similarity degree for these algebras, in analogy with some recent work of Pisier on the similarity problem on operator algebras.     

On n-clone extensions of algebras

We consider algebras of a given type with a set F of fundamental operation symbols and without nullary operations. In this paper we generalize notions and results of [12]. An identity is called clone compatible if and are the same variable or the sets of fundamental operation symbols in and are nonempty and identical. In connection with these identities we define in section 1 a construction called an n-clone extension of an algebra for where n is an integer and we study its properties. For a variety V we denote by V ^c the variety defined by all clone compatible identities from Id (V). We also define a variety V ^c,n called the n-clone extension of V. These two varieties are strictly connected. In section 2 under some assumptions we give representations of algebras from V ^c,n and V ^c using n-clone extensions of algebras from V. We also find equational bases of these varieties. In section 3 we apply these results to some important varieties. In section 4 we find minimal generics of V ^c when V is the variety of distributive lattices or the variety of Boolean algebras. Received November 27, 1996; accepted in final form March 19, 1998.     

Duality and operator algebras: automatic weak* continuity and applications

We investigate some subtle and interesting phenomena in the duality theory of operator spaces and operator algebras, and give several applications of the surprising fact that certain maps are always weak^*-continuous on dual spaces. In particular, if X is a subspace of a C^*-algebra A, and if a∈A satisfies aX⊂X, then we show that the function x?ax on X is automatically weak^* continuous if either (a) X is a dual operator space, or (b) a^*X⊂X and X is a dual Banach space. These results hinge on a generalization to Banach modules of Tomiyama's famous theorem on contractive projections onto a C^*-subalgebra. Applications include a new characterization of the σ-weakly closed (possibly nonunital and nonselfadjoint) operator algebras, and a generalization of the theory of W^*-modules to the framework of modules over such algebras. We also give a Banach module characterization of σ-weakly closed spaces of operators which are invariant under the action of a von Neumann algebra.     

Hyperidentities of lattices and semilattices

Following W. Taylor we define a hyperidentity ∈ to be formally the same as an identity (e.g.,F(G(x, y, z), G(x, y, z))=G(x, y, z)). However, a varietyV is said to satisfy a hyperidentity ∈, if whenever the operation symbols of ∈ are replaced by any choice of polynomials (appropriate forV) of the same arity as the corresponding operation symbols of ∈, then the resulting identity holds inV in the usual sense. For example, if a varietyV of type <2,2> with operation symbols ∨ and ∧ satisfies the hyperidentity given above, then substituting the polynomial (x∨y)∨z for the symbolG, and the polynomialx∧y forF, we see thatV must in particular satisfy the identity ((x∨y)∨z)∧((x∨y)∨z)=((x∨y)∨z). The set of all hyperidentities satisfied by a varietyV, will be denoted byH(V). We shall letH ^m (V) be the set of all hyperidentities hoiding inV with operation symbols of arity at mostm, andH _n (V) will denote the set of all hyperidentities ofV with at mostn distinct variables. In this paper we shall show that ifV is a nontrivial variety of lattices or the variety of all semilattices, then for any integersm andn, there exists a hyperidentity ∈ such that ∈ holds inV, and ∈ is not a consequence ofH ^m (V)∪H _n (V). From this it is deduced that the hyperidentities ofV are not finitely based, partly soling a problem of Taylor [7, Problem 3]. The research of the author was supported by NSERC of Canada. Presented by W. Taylor.     

Contact and Frobenius solvable Lie algebras with abelian nilradical

The aim of this work is to characterize the families of Frobenius (respectively, contact) solvable Lie algebras that satisfies the following condition: 𝔤 = 𝔥?V, where 𝔥?𝔤𝔩(V), |dim V?dim 𝔤|≤1 and NilRad(𝔤) = V, V being a finite dimensional vector space. In particular, it is proved that every complex Frobenius solvable Lie algebra is decomposable, whereas that in the real case there are only two indecomposable Frobenius solvable Lie algebras.     

Matrix regular operator space and operator system

We establish a relationship between Schreiner's matrix regular operator space and Werner's (nonunital) operator system. For a matrix ordered operator space V with complete norm, we show that V is completely isomorphic and complete order isomorphic to a matrix regular operator space if and only if both V and its dual space V^∗ are (nonunital) operator systems.     

Complex finitary simple Lie algebras

An algebra is called finitary if it consists of finite-rank transformations of a vector space. We classify finitary simple Lie algebras over an algebraically closed field of zero characteristic. It is shown that any such algebra is isomorphic to one of the following¶ (1) a special transvection algebra \frak t(V,P)\frak t(V,\mit\Pi );¶ (2) a finitary orthogonal algebra \frak fso (V,q)\frak {fso} (V,q); ¶ (3) a finitary symplectic algebra \frak fsp (V,s)\frak {fsp} (V,s).¶Here V is an infinite dimensional K-space; q (respectively, s) is a symmetric (respectively, skew-symmetric) nondegenerate bilinear form on V; and P\Pi is a subspace of the dual V^* whose annihilator in V is trivial: 0={v ? V | Pv=0}0=\{{v}\in V\mid \Pi {v}=0\}.     

Distributive Lattices with a Negation Operator

In this note we introduce and study algebras (L, V, Λ, ?, 0,1) of type (2, 2,1,1,1) such that (L, V, ?, 0,1) is a bounded distributive lattice and ? is an operator that satisfies the condition ? (a V b) = a ? b and ? 0 = 1. We develop the topological duality between these algebras and Priestley spaces with a relation. In addition, we characterize the congruences and the subalgebras of such an algebra. As an application, we will determine the Priestley spaces of quasi-Stone algebras.     

Local Density of Kleene Degrees

Concerning Post's problem for Kleene degrees and its relativization, Hrbacek showed in [1] and [2] that if V = L, then Kleene degrees of coanalytic sets are dense, and then for all K ?^ωω, there are N₁ sets which are Kleene semirecursive in K and not Kleene recursive in each other and K. But the density of Kleene semirecursive in K Kleene degrees is not obtained from these theorems. In this note, we extend these theorems by showing that if V = L, then for all K ? ^ωω, Kleene semirecursive in K Kleene degrees are dense above K.     

Every connected graph is a query graph

Let V be a set of bit strings of length k, i.e., V ? {0, 1}^k. The query graph Q(V) is defined as follows: the vertices of Q(V) are the elements of V, and {ū, v?} is an edge of Q(V) if and only if no other w? ? V agrees with ū in all the positions in which v? does. If V represents the set of keys for a statistical data base in which queries that match only one key are rejected, then the security of the individual data is related to the graph Q(V). Ernst Leiss showed that graphs belonging to any of several classes could be represented as query graphs and asked whether any connected graph could be so represented. We answer his question in the affirmative by making use of a spanning tree with special properties.     

On Complementary Spaces of the Lizorkin Spaces

Let S(Rⁿ){\cal S}(R^n) be the Schwartz space on R ⁿ . For a subspace V ì S(Rⁿ)V\subset {\cal S}(R^n), if a subspace W ì S(Rⁿ)W \subset {\cal S}(R^n) satisfies the condition that S(Rⁿ){\cal S}(R^n) is a direct sum of V and W, then W is called a complementary space of V in S(Rⁿ){\cal S}(R^n). In this article we give complementary spaces of two kinds of the Lizorkin spaces in S(Rⁿ){\cal S}(R^n).     

Generalized slant Toeplitz operators on H2

For an integer k ≥ 2, k^th‐order slant Toeplitz operator U_φ [1] with symbol φ in L^∞(??), where ?? is the unit circle in the complex plane, is an operator whose representing matrixM = (α_ij ) is given by α_ij = 〈φ, z^ki–j〉, where 〈. , .〉 is the usual inner product in L²(??). The operator V_φ denotes the compression of U_φ to H²(??) (Hardy space). Algebraic and spectral properties of the operator V_φ are discussed. It is proved that spectral radius of V_φ equals the spectral radius of U_φ, if φ is analytic or co‐analytic, and if T_φ is invertible then the spectrum of V_φ contains a closed disc and the interior of the disc consists of eigenvalues of infinite multiplicities. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Definable principal subcongruences

For varieties of algebras, we present the property of having "definable principal subcongruences" (DPSC), generalizing the concept of having definable principal congruences. It is shown that if a locally finite variety V of finite type has DPSC, then V has a finite equational basis if and only if its class of subdirectly irreducible members is finitely axiomatizable. As an application, we prove that if A is a finite algebra of finite type whose variety V(A) is congruence distributive, then V(A) has DPSC. Thus we obtain a new proof of the finite basis theorem for such varieties. In contrast, it is shown that the group variety V(S ₃ ) does not have DPSC. Received May 9 2000; accepted in final form April 26, 2001.     

Operator-semistable, operator semi-selfdecomposable probability measures and related nested classes on p-adic vector spaces

Let V be a finite dimensional p-adic vector space and let τ be an operator in GL(V). A probability measure μ on V is called τ-decomposable or m ? [(L)\tilde]₀(t)\mu\in {\tilde L}_0(\tau) if μ = τ(μ)* ρ for some probability measure ρ on V. Moreover, when τ is contracting, if ρ is infinitely divisible, so is μ, and if ρ is embeddable, so is μ. These two subclasses of [(L)\tilde]₀(t){\tilde L}_0(\tau) are denoted by L ₀(τ) and L ₀ ^#(τ) respectively. When μ is infinitely divisible τ-decomposable for a contracting τ and has no idempotent factors, then it is τ-semi-selfdecomposable or operator semi-selfdecomposable. In this paper, sequences of decreasing subclasses of the above mentioned three classes, [(L)\tilde]_m(t) é L_m(t) é L^#_m(t), 1 ￡ m ￡ ￥{\tilde L}_m(\tau)\supset L_m(\tau) \supset L^\#_m(\tau), 1\le m\le \infty , are introduced and several properties and characterizations are studied. The results obtained here are p-adic vector space versions of those given for probability measures on Euclidean spaces.     

One-dimensional perturbations of singular unitary operators

Under some natural restrictions, we prove that any one-dimensional perturbation of a singular unitary operator on a Hilbert space is unitarily equivalent to a model operator on a space determined (in a certain way) by two functions from the Hardy space H². Bibliography: 3 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 232, 1996, pp. 118–122. Translated by V. V. Kapustin.     

Circuits including a given set of vertices

Let G = (V, E) be a digraph of order n, satisfying Woodall's condition ? x, y ∈ V, if (x, y) ? E, then d⁺(x) + d^?(y) ≥ n. Let S be a subset of V of cardinality s. Then there exists a circuit including S and of length at most Min(n, 2s). In the case of oriented graphs we obtain the same result under the weaker condition d⁺(x) + d^?(y) ≥ n – 2 (which implies hamiltonism).