Isotropic subspaces in symmetric composition algebras and Kummer subspaces in central simple algebras of degree 3

The maximal isotropic subspaces in split Cayley algebras were classified by van der Blij and Springer in Nieuw Archief voor Wiskunde VIII(3):158–169, 1960. Here we translate this classification to arbitrary composition algebras. We study intersection properties of such spaces in a symmetric composition algebra, and prove two triality results: one for two-D isotropic spaces, and another for isotropic vectors and maximal isotropic spaces. We bound the distance between isotropic spaces of various dimensions, and study the strong orthogonality relation on isotropic vectors, with its own bound on the distance. The results are used to classify maximal p-central subspaces in central simple algebras of degree p = 3. We prove various linkage properties of maximal p-central spaces and p-central elements. Analogous results are obtained for symmetric p-central elements with respect to an involution of the second kind inverting a third root of unity.     

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction.We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.     

Irreducible binary (−1, 1)-bimodules over simple finite-dimensional algebras

We prove that an irreducible binary (?1, 1)-bimodule over A is alternative in the following cases: (a) A is a composition algebra over a field of characteristic other than 2 and 3; (b) A is a simple finite-dimensional alternative algebra over a field of characteristic 0.     

Symmetric (co)homologies of Lie algebras

Cohomologies of Lie algebras are usually calculated using the Chevalley-Eilenberg cochain complex of skew-symmetric forms. We consider two cochain complexes consisting of forms with some symmetric properties. First, cochains C^*(L) are symmetric in the last 2 arguments, skew-symmetric in the others and satify moreover some kind of Jacobi condition in the last 3 arguments. In characteristic 0, its cohomologies are isomorphic to the cohomologies of the factor-complex C^*(L,L’)/C^*+1(L,K). Second, a symmetric version C_λ^*(A) is defined for an associative algebra A. It is a subcomplex of the cyclic cochain complex. These symmetric cochain complexes are used for the calculation of 3-cohomologies of Cartan Type Lie algebras with trivial coefficients.     

Generalized Lie derivations on triangular algebras

Let A be a unital algebra and let M be a unitary A-bimodule. We consider generalized Lie derivations mapping from A to M. Our results are applied to triangular algebras, in particular to nest algebras and (block) upper triangular matrix algebras. We prove that under certain conditions each generalized Lie derivation of a triangular algebra A is the sum of a generalized derivation and a central map which vanishes on all commutators of A.     

Maximal Rigid Objects as Noncrossing Bipartite Graphs

We classify the maximal rigid objects of the Σ² τ-orbit category ${\mathcal{C}}(Q)$ of the bounded derived category for the path algebra associated to a Dynkin quiver Q of type A, where τ denotes the Auslander-Reiten translation and Σ² denotes the square of the shift functor, in terms of bipartite noncrossing graphs (with loops) in a circle. We describe the endomorphism algebras of the maximal rigid objects, and we prove that a certain class of these algebras are iterated tilted algebras of type A.     

Okubo algebras in characteristic 3 and their automorphisms

Associated to any eight-dimensional non-unital composition algebra with associative norm, there are outer automorphisms of order 3 of the corresponding spin group, such tiat the fixed subgroup is the automorphism group of the composition algebra. Over fields of characteristic ≠ 3 these are simple algebraic groups of types G ₂ or A ₂, related respectively to the para-octonion and the Okubo algebras

A connection between the Okubo algebras over fields of characteristic 3 with some simple noncommutative Jordan algebras will be used to compute explicitly the automorphism groups and Lie algebras of derivations of these algebras. In contrast to the other characteristics, ths groups will no longer be of type A ₂ and will either be trivial or contain a large unipotent radical.     

Effect Algebras as Presheaves on Finite Boolean Algebras

For an effect algebra A, we examine the category of all morphisms from finite Boolean algebras into A. This category can be described as a category of elements of a presheaf R(A) on the category of finite Boolean algebras. We prove that some properties (being an orthoalgebra, the Riesz decomposition property, being a Boolean algebra) of an effect algebra A can be characterized in terms of some properties of the category of elements of the presheaf R(A). We prove that the tensor product of effect algebras arises as a left Kan extension of the free product of finite Boolean algebras along the inclusion functor. The tensor product of effect algebras can be expressed by means of the Day convolution of presheaves on finite Boolean algebras.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

Calabi–Yau Algebras Viewed as Deformations of Poisson Algebras

From any algebra A defined by a single non-degenerate homogeneous quadratic relation f, we prove that the quadratic algebra B defined by the potential w?=?fz is 3-Calabi–Yau. The algebra B can be viewed as a 3-Calabi–Yau completion of Keller. The algebras A and B are both Koszul. The classification of the algebras B in three generators, i.e., when A has two generators, leads to three types of algebras. The second type (the most interesting one) is viewed as a deformation of a Poisson algebra S whose Poisson bracket is non-diagonalizable quadratic. Although the potential of S has non-isolated singularities, the homology of S is computed. Next the Hochschild homology of B is obtained.     

The representation dimension of domestic weakly symmetric algebras

Auslander’s representation dimension measures how far a finite dimensional algebra is away from being of finite representation type. In [1], M. Auslander proved that a finite dimensional algebra A is of finite representation type if and only if the representation dimension of A is at most 2. Recently, R. Rouquier proved that there are finite dimensional algebras of an arbitrarily large finite representation dimension. One of the exciting open problems is to show that all finite dimensional algebras of tame representation type have representation dimension at most 3. We prove that this is true for all domestic weakly symmetric algebras over algebraically closed fields having simply connected Galois coverings.     

Monadic Algebras with finite degree

A monadic algebraA has finite degreen ifA/M has at most 2 ⁿ elements for every maximal idealM ofA and this bound is obtained for someM. Every countable monadic algebra with a finite degree is isomorphic to an algebra Γ(X, S) whereX is a Boolean space andS is a subsheaf of a constant sheaf with a finite simple stalk. This representation is used to prove that every proper equational class of monadic algebras has a decidable first-order theory.     

Algebraic properties of isometries between groups of invertible elements in Banach algebras

We prove that an isometry T between open subgroups of the invertible groups of unital Banach algebras A and B is extended to a real-linear isometry up to translation between these Banach algebras. While a unital isometry between unital semisimple commutative Banach algebras need not be multiplicative, we prove in this paper that if A is commutative and A or B are semisimple, then (T(eA))⁻¹T is extended to an isometric real algebra isomorphism from A onto B. In particular, A−1 is isometric as a metric space to B−1 if and only if they are isometrically isomorphic to each other as metrizable groups if and only if A is isometrically isomorphic to B as a real Banach algebra; it is compared by the example of ?elazko concerning on non-isomorphic Banach algebras with the homeomorphically isomorphic invertible groups. Isometries between open subgroups of the invertible groups of unital closed standard operator algebras on Banach spaces are investigated and their general forms are given.     

Radical of filters in BL‐algebras

In this paper, the notion of the radical of a filter in BL‐algebras is defined and several characterizations of the radical of a filter are given. Also we prove that A/F is an MV‐algebra if and only if D_s(A) ? F. After that we define the notion of semi maximal filter in BL‐algebras and we state and prove some theorems which determine the relationship between this notion and the other types of filters of a BL‐algebra. Moreover, we prove that A/F is a semi simple BL‐algebra if and only if F is a semi maximal filter of A. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Morita classes of algebras in modular tensor categories

We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two simple algebras with non-degenerate trace pairing are Morita-equivalent if and only if their full centres are isomorphic as algebras. This result has an interesting interpretation in two-dimensional rational conformal field theory; it implies that there cannot be several incompatible sets of boundary conditions for a given bulk theory.     

Diagrams of Hopf algebras with the Chevalley property

In this paper, we study non-cosemisimple Hopf algebras through their underlying coalgebra structure. We introduce the concept of the maximal pointed subcoalgebra/Hopf subalgebra. For a non-cosemisimple Hopf algebra A with the Chevalley property, if its diagram is a Nichols algebra, then the diagram of its maximal pointed Hopf subalgebra is also a Nichols algebra. When A is of finite dimension, we provide a necessary and sufficient condition for A’s diagram equaling the diagram of its maximal pointed Hopf subalgebra.     

Weak spectral synthesis in commutative Banach algebras. II

Let A be a semisimple and regular commutative Banach algebra with structure space Δ(A). Continuing our investigation in [E. Kaniuth, Weak spectral synthesis in commutative Banach algebras, J. Funct. Anal. 254 (2008) 987-1002], we establish various results on intersections and unions of weak spectral sets and weak Ditkin sets in Δ(A). As an important example, the algebra of n-times continuously differentiable functions is studied in detail. In addition, we prove a theorem on spectral synthesis for projective tensor products of commutative Banach algebras which applies to Fourier algebras of locally compact groups.     

Periodic resolutions and self-injective algebras of finite type

We say that an algebra A is periodic if it has a periodic projective resolution as an (A,A)-bimodule. We show that any self-injective algebra of finite representation type is periodic. To prove this, we first apply the theory of smash products to show that for a finite Galois covering B→A, B is periodic if and only if A is. In addition, when A has finite representation type, we build upon results of Buchweitz to show that periodicity passes between A and its stable Auslander algebra. Finally, we use Asashiba’s classification of the derived equivalence classes of self-injective algebras of finite type to compute bounds for the periods of these algebras, and give an application to stable Calabi-Yau dimensions.     

DG Poisson algebra and its universal enveloping algebra

We introduce the notions of differential graded (DG) Poisson algebra and DG Poisson module. Let A be any DG Poisson algebra. We construct the universal enveloping algebra of A explicitly, which is denoted by A^ue. We show that A^ue has a natural DG algebra structure and it satisfies certain universal property. As a consequence of the universal property, it is proved that the category of DG Poisson modules over A is isomorphic to the category of DG modules over A^ue. Furthermore, we prove that the notion of universal enveloping algebra A^ue is well-behaved under opposite algebra and tensor product of DG Poisson algebras. Practical examples of DG Poisson algebras are given throughout the paper including those arising from differential geometry and homological algebra.