Derived-tame Tree Algebras

In this note we classify the derived-tame tree algebras up to derived equivalence. A tree algebra is a basic algebra A = kQ/I whose quiver Q is a tree. The algebra A is said to be derived-tame when the repetitive category  of A is tame. We show that the tree algebra A is derived-tame precisely when its Euler form _A is non-negative. Moreover, in this case, the derived equivalence class of A is determined by the following discrete invariants: The number of vertices, the corank and the Dynkin type of _A . Representatives of these derived equivalence classes of algebras are given by the following algebras: the hereditary algebras of finite or tame type, the tubular algebras and a certain class of poset algebras, the so-called semichain-algebras which we introduce below.     

On Borcherds type Lie algebras

For each even lattice \({\mathcal L}\), there is a canonical way to construct an infinite-dimensional Lie algebra via lattice vertex operator algebra theory, we call this Lie algebra and its subalgebras the Borcherds type Lie algebras associated to \({\mathcal L}\). In this paper, we apply this construction to even lattices arising from representation theory of finite-dimensional associative algebras. This is motivated by the different realizations of Kac-Moody algebras by Borcherds using lattice vertex operators and by Peng-Xiao using Ringel-Hall algebras respectively. For any finite-dimensional algebra \(A\) of finite global dimension, we associate a Borcherds type Lie algebra \(\mathfrak {BL}(A)\) to \(A\). In contrast to the Ringel-Hall Lie algebra approach, \(\mathfrak {BL}(A)\) only depends on the symmetric Euler form or Tits form but not the full representation theory of \(A\). However, our results show that for certain classes of finite-dimensional algebras whose representation theory is ’controlled’ by the Euler bilinear forms or Tits forms, their Borcherds type Lie algebras do have close relations with the representation theory of these algebras. Beyond the class of hereditary algebras, these algebras include canonical algebras, representation-directed algebras and incidence algebras of finite prinjective types.     

Novikov Algebras and a Classification of Multicomponent Camassa–Holm Equations

A class of multicomponent integrable systems associated with Novikov algebras, which interpolate between Korteweg–de Vries (KdV) and Camassa–Holm‐type equations, is obtained. The construction is based on the classification of low‐dimensional Novikov algebras by Bai and Meng. These multicomponent bi‐Hamiltonian systems obtained by this construction may be interpreted as Euler equations on the centrally extended Lie algebras associated with the Novikov algebras. The related bilinear forms generating cocycles of first, second, and third order are classified. Several examples, including known integrable equations, are presented.     

Derived dynkin extensions

The finite dimensional tame hereditary algebras are associated with the extended Dynkin diagrams. An indecomposable module over such an algebra is either preprojective or preinjective or lies in a family of tubes whose tubular type is the corresponding Dynkin diagram. The study of one-point extensions by simple regular modules in such tubes was initiated in [Ri].

We generalise this approach by starting out with algebras which are derived equivalent to a tame hereditary algebra and considering one-point extensions by modules which are simple regular in tubes in the derived category. If the obtained tubular type is again a Dynkin diagram these algebras are called derived Dynkin extensions.

Our main theorem says that a representation infinite algebra is derived equivalent to a tame hereditary algebra iff it is an iterated derived Dynkin extension of a tame concealed algebra. As application we get a new proof of a theorem in [AS] about domestic tubular branch enlargements which uses the derived category instead of combinatorial arguments.     

Notes on sums of algebras, subdirect products and subdirectly irreducible algebras

The paper shows that certain sums of algebras admit a representation as subdirect products. As a corollary, one obtains a characterization of subdirectly irreducible algebras. Examples of modes show that the characterization gives a good basis for a detailed investigation of the subdirectly irreducible algebras. Received September 10, 1999; accepted in final form January 3, 2001.     

Comtrans algebras, Thomas sums, and bilinear forms

A comtrans algebra is said to decompose as the Thomas sum of two subalgebras if it is a direct sum at the module level, and if its algebra structure is obtained from the subalgebras and their mutual interactions as a sum of the corresponding split extensions. In this paper, we investigate Thomas sums of comtrans algebras of bilinear forms. General necessary and sufficient conditions are given for the decomposition of the comtrans algebra of a bilinear form as a Thomas sum. Over rings in which 2 is not a zero divisor, comtrans algebras of symmetric bilinear forms are identified as Thomas summands of algebras of infinitesimal isometries of extended spaces, the complementary Thomas summand being the algebra of infinitesimal isometries of the original space. The corresponding Thomas duals are also identified. These results represent generalizations of earlier results concerning the comtrans algebras of finite-dimensional Euclidean spaces, which were obtained using known properties of symmetric spaces. By contrast, the methods of the current paper involve only the theory of comtrans algebras.Received: 30 March 2004     

Relativized relation algebras

Relativization is one of the central topics in the study of algebras of relations (i.e. relation and cylindric algebras). Relativized representable relation algebras behave much nicer than the original class RAA: for instance, one obtains finite axiomatizability, decidability and amalgamation by relativization. The properties of the class obtained by relativizing RRA depend on the kind of element with which the algebras are relativized. We give a systematic account of all interesting choices of relativizing RRA, and show that relativizing with transitive elements forms the borderline where all above mentioned three properties switch from negative to positive. Received January 24, 1993; accepted in final form October 7, 1998.     

Lie Derived Lengths of Group Algebras of Groups with Cyclic Derived Subgroup

In this article the Lie derived length and the strong Lie derived length of group algebras are determined in the case when the derived subgroup of the basic group is cyclic of odd order. As a consequence, we have the characterization of the group algebras of minimal strong Lie derived length.     

Forms and Baer ordered *-fields

It is well known that for a quaternion algegra, the anisotropy of its norm form determines if the quaternion algebra is a division algebra. In case of biquaternio algebra, the anisotropy of the associated Albert form (as defined in [LLT]) determines if the biquaternion algebra is a division ring. In these situations, the norm forms and the Albert forms are quadratic forms over the center of the quaternion algebras; and they are strongly related to the algebraic structure of the algebras. As it turns out, there is a natural way to associate a tensor product of quaternion algebras with a form such that when the involution is orthogonal, the algebra is a Baer ordered *-field iff the associated form is anisotropic.     

Notes on 2-parameter quantum groupsⅠ

A simpler definition for a class of 2-parameter quantum groups associated to semisimple Lie algebras is given in terms of Euler form.Their positive parts turn out to be 2-cocycle deformations of each other under some conditions.An operator realization of the positive part is given.     

Derived Equivalence Classification of the Cluster-Tilted Algebras of Dynkin Type E

We obtain a complete derived equivalence classification of the cluster-tilted algebras of Dynkin type E. There are 67, 416, 1574 algebras in types E ₆, E ₇ and E ₈ which turn out to fall into 6, 14, 15 derived equivalence classes, respectively. This classification can be achieved computationally and we outline an algorithm which has been implemented to carry out this task. We also make the classification explicit by giving standard forms for each derived equivalence class as well as complete lists of the algebras contained in each class; as these lists are quite long they are provided as supplementary material to this paper. From a structural point of view the remarkable outcome of our classification is that two cluster-tilted algebras of Dynkin type E are derived equivalent if and only if their Cartan matrices represent equivalent bilinear forms over the integers which in turn happens if and only if the two algebras are connected by a sequence of “good” mutations. This is reminiscent of the derived equivalence classification of cluster-tilted algebras of Dynkin type A, but quite different from the situation in Dynkin type D where a far-reaching classification has been obtained using similar methods as in the present paper but some very subtle questions are still open.     

A Generic Characterization of Direct Summands for Orthogonal Involutions

The “transcendental methods” in the algebraic theory of quadratic forms are based on two major results, proved in the 1960s by Cassels and Pfister, and known as the representation and the subform theorems. A generalization of the representation theorem was proven by Jean–Pierre Tignol in 1996, in the setting of central simple algebras with involution. This article studies the subform question for orthogonal involutions. A generic characterization of direct summands is given; an analogue of the subform theorem is proven for division algebras and algebras of index at most 2.     

Hankel matrices and quadratic forms

A characterization of finite Hankei matrices is given and it is shown that such matrices arise naturally as matrix representations of scaled trace forms of field extensions and etale algebras. An algorithm is given for calculating the signature and the Hasse invariant of these scaled trace forms.     

Classification of Some Solvable Leibniz Algebras

Leibniz algebras are certain generalization of Lie algebras. In this paper we give classification of non-Lie solvable (left) Leibniz algebras of dimension ≤ 8 with one dimensional derived subalgebra. We use the canonical forms for the congruence classes of matrices of bilinear forms to obtain our result. Our approach can easily be extended to classify these algebras of higher dimensions. We also revisit the classification of three dimensional non-Lie solvable (left) Leibniz algebras.     

A Structure Theorem for Homogeneous Spaces

A partial generalization of Sophus Lie’s triangular form for solvable Lie algebras is presented. As application one is led to an iterated fibration for arbitrary homogeneous spaces. In the case of compact homogeneous spaces, one concludes easily that the Euler number is ≥0.     

Matrix relation algebras

Square matrices over a relation algebra are relation algebras in a natural way. We show that for fixed n, these algebras can be characterized as reducts of some richer kind of algebra. Hence for fixed n, the class of n × n matrix relation algebras has a first–order characterization. As a consequence, homomorphic images and proper extensions of matrix relation algebras are isomorphic to matrix relation algebras. Received July 18, 2001; accepted in final form April 24, 2002.     

On a new 3D model for incompressible euler and navier-stokes equations

In this paper, we investigate some new properties of the incompressible Euler and Navier-Stokes equations by studying a 3D model for axisymmetric 3D incompressible Euler and Navier-Stokes equations with swirl. The 3D model is derived by reformulating the axisymmetric 3D incompressible Euler and Navier-Stokes equations and then neglecting the convection term of the resulting equations. Some properties of this 3D model are reviewed. Finally, some potential features of the incompressible Euler and Navier-Stokes equations such as the stabilizing effect of the convection are presented.     

Line-bundle-valued ternary quadratic forms over schemes

We study degenerations of rank 3 quadratic forms and of rank 4 Azumaya algebras, and extend what is known for good forms and Azumaya algebras. By considering line-bundle-valued forms, we extend the theorem of Max-Albert Knus that the Witt-invariant—the even Clifford algebra of a form—suffices for classification. An algebra Zariski-locally the even Clifford algebra of a ternary form is so globally up to twisting by square roots of line bundles. The general, usual and special orthogonal groups of a form are determined in terms of automorphism groups of its Witt-invariant. Martin Kneser’s characteristic-free notion of semiregular form is used.