Topologies on central extensions of von Neumann algebras

Given a von Neumann algebra M, we consider the central extension E(M) of M. We introduce the topology t _c(M) on E(M) generated by a center-valued norm and prove that it coincides with the topology of local convergence in measure on E(M) if and only if M does not have direct summands of type II. We also show that t _c(M) restricted to the set E(M) _h of self-adjoint elements of E(M) coincides with the order topology on E(M) _h if and only if M is a σ-finite type I_fin von Neumann algebra.     

Chern-Simons invariant and conformal embedding of a 3-manifold

This note studies the Chern-Simons invariant of a closed oriented Riemannian 3-manifold M. The first achievement is to establish the formula CS（e） - CS（e） = degA, where e and e are two （global） frames of M, and A ： M → SO（3） is the ＂difference＂ map. An interesting phenomenon is that the ＂jumps＂ of the Chern-Simons integrals for various frames of many 3-manifolds are at least two, instead of one. The second purpose is to give an explicit representation of CS（e＋） and CS（e_）, where e＋ and e_ are the ＂left＂ and ＂right＂ quaternionic frames on M3 induced from an immersion M^3 → E^4, respectively. Consequently we find many metrics on S^3 （Berger spheres） so that they can not be conformally embedded in E^4.     

The matrix type of purely infinite simple Leavitt path algebras

Let R denote the purely infinite simple unital Leavitt path algebra L(E). We completely determine the pairs of positive integers (c, d) for which there is an isomorphism of matrix rings M _c (R) ≌ M _d (R), in terms of the order of [1 _R ] in the Grothendieck group K ₀(R).     

PI (non)equivalence and Gelfand-Kirillov dimension in positive characteristic

The verbally prime algebras are well understood in characteristic 0 while over a field of positive characteristic p > 2 little is known about them. In previous papers we discussed some sharp differences between these two cases for the characteristic; we showed that the so-called Tensor Product Theorem cannot be extended for infinite fields of positive characteristic p > 2. Furthermore we studied the Gelfand-Kirillov dimension of the relatively free algebras of verbally prime and related algebras. In this paper we compute the GK dimensions of several algebras and thus obtain a new proof of the fact that the algebras M _a,a (E) ⊗ E and M _2a (E) are not PI equivalent in characteristic p > 2. Furthermore we show that the following algebras are not PI equivalent in positive characteristic: M _a,b (E) ⊗ M _c,d (E) and M _ac+bd,ad+cb (E); and M _a,b (E) ⊗ M _c,d (E) and M _{e, f} (E) ⊗ M _g,h (E) when a ≥ b, c ≥ d, e ≥ f, g ≥ h, ac + bd = eg+ f h, ad +bc = eh + fg and ac ≠ eg. Here E stands for the infinite dimensional Grassmann algebra with 1, and M _a,b (E) is the subalgebra of M _a+b (E) of the block matrices with blocks a × a and b × b on the main diagonal with entries from E ₀, and off-diagonal entries from E ₁; E = E ₀ ⊗ E ₁ is the natural grading on E. Partially supported by CNPq 620025/2006-9. This paper was written during the author’s PhD study at the UNICAMP, under the supervision of P.Koshlukov, to whom he expresses his sincere thanks.     

Sharp and Meager Elements in Orthocomplete Homogeneous Effect Algebras

We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x ^↓. For every element x of an orthocomplete homogeneous effect algebra and for every block B with x ∈ B, the interval [x ^↓,x] is a subset of B. For every meager element (that means, an element x with x ^↓ = 0), the interval [0,x] is a complete MV-effect algebra. As a consequence, the set of all meager elements of an orthocomplete homogeneous effect algebra forms a commutative BCK-algebra with the relative cancellation property. We prove that a complete lattice ordered effect algebra E is completely determined by the complete orthomodular lattice S(E) of sharp elements, the BCK-algebra M(E) of meager elements and a mapping h:S(E)→2 ^M(E) given by h(a) = [0,a] ∩ M(E).     

Invariants forω-categorical,ω-stable theories

In this paper we give a complete solution to the classification problem forω-categorical,ω-stable theories. More explicitly, supposeT isω-categorical,ω-stable with fewer than the maximum number of models in some uncountable power. We associate with each modelM ofT a “simple” invariantI(M), not unlike a vector of dimensions, such thatI(M)=I(N) if and only ifM≅N. The spectrum function,I(−,T), for a first-order theoryT is such that for all infinite cardinals λ,I(λ,T) is the number of nonisomorphic models ofT of cardinality λ. As an application of our “structure theorem” we determine the possible spectrum functions forω-categorical,ω-stable theories.     

The $(1-\mathbb{E})$-transform in combinatorial Hopf algebras

We extend to several combinatorial Hopf algebras the endomorphism of symmetric functions sending the first power-sum to zero and leaving the other ones invariant. As a “transformation of alphabets”, this is the (1-\mathbbE)(1-\mathbb{E})-transform, where \mathbbE\mathbb{E} is the “exponential alphabet,” whose elementary symmetric functions are e_n=\frac1n!e_{n}=\frac{1}{n!}. In the case of noncommutative symmetric functions, we recover Schocker’s idempotents for derangement numbers (Schocker, Discrete Math. 269:239–248, 2003). From these idempotents, we construct subalgebras of the descent algebras analogous to the peak algebras and study their representation theory. The case of WQSym leads to similar subalgebras of the Solomon–Tits algebras. In FQSym, the study of the transformation boils down to a simple solution of the Tsetlin library in the uniform case.     

Non-embeddable simple relation algebras

This paper presents solutions or partial solutions for several problems in the theory of relation algebras. In a simple relation algebra an element x satisfying the condition (a) must be an atom of . It follows that x must also be an atom in every simple extension of . Andréka, Jónsson and Németi [1, Problem 4] (see [12, Problem P5]) asked whether the converse holds: if x is an atom in every simple extension of a simple relation algebra, must it satisfy (a)? We show that the answer is “no”.? The only known examples of simple relation algebras without simple proper extensions are the algebras of all binary relations on a finite set. Jónsson proposed finding all finite simple relation algebras without simple proper extensions [12, Problem P6]. We show how to construct many new examples of finite simple relation algebras that have no simple proper extensions, thus providing a partial answer for this second problem. These algebras are also integral and nonrepresentable.? Andréka, Jónsson, Németi [1, Problem 2] (see [12, Problem P7]) asked whether there is a countable simple relation algebra that cannot be embedded in a one-generated relation algebra. The answer is “yes”. Givant [3, Problem 9] asked whether there is some k such that every finitely generated simple relation algebra can be embedded in a k-generated simple relation algebra. The answer is “no”. Received November 27, 1996; accepted in final form July 3, 1997.     

Notes on piecewise-Koszul algebras

The relationships between piecewise-Koszul algebras and other “Koszul-type” algebras are discussed. The Yoneda-Ext algebra and the dual algebra of a piecewise-Koszul algebra are studied, and a sufficient condition for the dual algebra A ^! to be piecewise-Koszul is given. Finally, by studying the trivial extension algebras of the path algebras of Dynkin quivers in bipartite orientation, we give explicit constructions for piecewise-Koszul algebras with arbitrary “period” and piecewise-Koszul algebras with arbitrary “jump-degree”.     

SPECTRAL PROPERTIES OF POSITIVE ELEMENTS IN BANACH LATTICE ALGEBRAS

Abstract

We prove that if a unital Banach lattice algebra has sufficiently many one-dimensional elements and if its unit element has sufficiently many components then its positive elements have spectral properties analogous to those of positive operators on Banach lattices. In particular, if a positive element is irreducible (in the sense that (1—e)xe > 0 for all components e of 1 satisfying 0 ≠ e ≠ 1) and compact, its spectral radius is positive and its spectrum shows cyclic behaviour.     

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.     

Quantum matrix algebras of the GL(m|n) type: The structure and spectral parameterization of the characteristic subalgebra

We continue the study of quantum matrix algebras of the GL(m|n) type. We find three alternative forms of the Cayley-Hamilton identity; most importantly, this identity can be represented in a factored form. The factorization allows naturally dividing the spectrum of a quantum supermatrix into subsets of “even” and “odd” eigenvalues. This division leads to a parameterization of the characteristic subalgebra (the subalgebra of spectral invariants) in terms of supersymmetric polynomials in the eigenvalues of the quantum matrix. Our construction is based on two auxiliary results, which are independently interesting. First, we derive the multiplication rule for Schur functions s _λ (M) that form a linear basis of the characteristic subalgebra of a Hecke-type quantum matrix algebra; the structure constants in this basis coincide with the Littlewood-Richardson coefficients. Second, we prove a number of bilinear relations in the graded ring Λ of symmetric functions of countably many variables. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 147, No. 1, pp. 14–46, April, 2006.     

On the sheaf theory

The“Gel’fand sheaf” of a topological algebra is endowed with auniform structure, this being complete if and only if, the spectrum of the algebra considered is complete. Examples are also provided.     

On Singular Curves in the Case of Positive Characteristic

Nuclear convergence spaces are studied. It is shown that an L_e-embedded convergence vector space E is L_eL_M-embedded if it is Schwartz and satisfies a certain countability condition which expresses that the set of filters converging to zero is essentially countable. Further it is shown that if E is L_eL_M-embedded and nuclear, then the identity E → E can be approximated with finite operators in the equable continuous convergence structure on L(E, E). This result is used in the study of the spectrum Hom_cH_e(U) of the convergence algebra H_e(U) of holomorphic functions on a circled convex open set to prove sufficient conditions for the validity of the formula Hom_cH_e(U) ～ U.     

Finite-dimensional Representations for a Class of Generalized Intersection Matrix Lie Algebras

In this paper, the authors study a class of generalized intersection matrix Lie algebras gim(M_n), and prove that its every finite-dimensional semisimple quotient is of type M(n, a, c, d). Particularly, any finite dimensional irreducible gim(M_n) module must be an irreducible module of Lie algebra of type M(n, a, c, d) and any finite dimensional irreducible module of Lie algebra of type M(n, a, c, d) must be an irreducible module of gim(M_n).     

On algebras satisfying $x^2x^2=N(x)x$

The commutative algebras satisfying the “adjoint identity”: , where N is a cubic form, are shown to be related to a class of generically algebraic Jordan algebras of degree at most 4 and to the pseudo-composition algebras. They are classified under a nondegeneracy condition. As byproducts, the associativity of the norm of any pseudo-composition algebra is proven and the unital commutative and power-associative algebras of degree are shown to be Jordan algebras. Received January 26, 1999; in final form August 26, 1999 / Published online July 3, 2000     

Smooth and strongly smooth points in symmetric spaces of measurable operators

We investigate the relationships between smooth and strongly smooth points of the unit ball of an order continuous symmetric function space E, and of the unit ball of the space of τ-measurable operators E(M,t){E(\mathcal{M},\tau)} associated to a semifinite von Neumann algebra (M, t){(\mathcal{M}, \tau)}. We prove that x is a smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if the decreasing rearrangement μ(x) of the operator x is a smooth point of the unit ball in E, and either μ(∞; f) = 0, for the function f ? S_E^×{f\in S_{E^{\times}}} supporting μ(x), or s(x ^*) = 1. Under the assumption that the trace τ on M{\mathcal{M}} is σ-finite, we show that x is strongly smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if its decreasing rearrangement μ(x) is a strongly smooth point of the unit ball in E. Consequently, for a symmetric function space E, we obtain corresponding relations between smoothness or strong smoothness of the function f and its decreasing rearrangement μ(f). Finally, under suitable assumptions, we state results relating the global properties such as smoothness and Fréchet smoothness of the spaces E and E(M,t){E(\mathcal{M},\tau)}.     

Sufficient conditions for the projective freeness of Banach algebras

Let R be a unital semi-simple commutative complex Banach algebra, and let M(R) denote its maximal ideal space, equipped with the Gelfand topology. Sufficient topological conditions are given on M(R) for R to be a projective free ring, that is, a ring in which every finitely generated projective R-module is free. Several examples are included, notably the Hardy algebra H^∞(X) of bounded holomorphic functions on a Riemann surface of finite type, and also some algebras of stable transfer functions arising in control theory.