Showing papers in "arXiv: Rings and Algebras in 2010"

Cohomology and Deformations of Hom-algebras

Abstract: The purpose of this paper is to define cohomology structures on Hom-associative algebras and Hom-Lie algebras. The first and second coboundary maps were introduced by Makhlouf and Silvestrov in the study of one-parameter formal deformations theory. Among the relevant formulas for a generalization of Hochschild cohomology for Hom-associative algebras and a Chevalley-Eilenberg cohomology for Hom-Lie algebras, we define Gerstenhaber bracket on the space of multilinear mappings of Hom-associative algebras and Nijenhuis-Richardson bracket on the space of multilinear mappings of Hom-Lie algebras. Also we enhance the deformations theory of this Hom-algebras by studying the obstructions.

Notes on the octonions

Abstract: This is an expository paper. Its purpose is to explain the linear algebra that underlies Donaldson-Thomas theory and the geometry of Riemannian manifolds with holonomy in $G_2$ and ${\rm Spin}(7)$.

Hom-Maltsev, Hom-alternative, and Hom-Jordan algebras

Abstract: Hom-Maltsev(-admissible) algebras are defined, and it is shown that Hom-alternative algebras are Hom-Maltsev-admissible. With a new definition of a Hom-Jordan algebra, it is shown that Hom-alternative algebras are Hom-Jordan-admissible. Hom-type generalizations of some well-known identities in alternative algebras, including the Moufang identities, are obtained.

$\delta$-derivations of simple Jordan algebras and superalgebras

Abstract: We describe non-trivial $\delta$-derivations of semisimple finite-dimensional Jordan algebras over an algebraically closed field of characteristic not 2, and of simple finite-dimensional Jordan superalgebras over an algebraically closed field of characteristic 0. For these classes of algebras and superalgebras, non-zero $\delta$-derivations are shown to be missing for $\delta eq 0,{1}{2},1$, and we give a complete account of ${1}{2}$-derivations.

Extending Structures II: The Quantum Version

Abstract: Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E with 1_{E} \in H and the multiplication map $A\otimes H \to E$ is bijective. The tool we use is a new product, we call it the unified product, in the construction of which A and H are connected by three coalgebra maps: two actions and a generalized cocycle. Both the crossed product of an Hopf algebra acting on an algebra and the bicrossed product of two Hopf algebras are special cases of the unified product. A Hopf algebra E factorizes through A and H if and only if E is isomorphic to a unified product of A and H. All such Hopf algebras E are classified up to an isomorphism that stabilizes A and H by a Schreier type classification theorem. A coalgebra version of lazy 1-cocycles as defined by Bichon and Kassel plays the key role in the classification theorem.

Hom-Lie color algebra structures

Abstract: This paper introduces the notion of Hom-Lie color algebra, which is a natural general- ization of Hom-Lie (super)algebras. Hom-Lie color algebras include also as special cases Lie (super) algebras and Lie color algebras. We study the homomorphism relation of Hom-Lie color algebras, and construct new algebras of such kind by a \sigma-twist. Hom-Lie color admissible algebras are also defined and investigated. They are finally classified via G-Hom-associative color algebras, where G is a subgroup of the symmetric group S_3.

Cramer's rule for some quaternion matrix equations

Abstract: Cramer's rules for some left, right and two-sided quaternion matrix equations are obtained within the framework of the theory of the column and row determinants.

Globalization theorems for partial Hopf (co)actions, and some of their applications

Abstract: Partial actions of Hopf algebras can be considered as a generaliza- tion of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to prove the existence of enveloping actions, i.e., every partial Hopf action on an algebra A is induced by a Hopf action on an algebra B that contains A as a right ideal. This globalization theo- rem allows to extend several results from the theory of partial group actions to the Hopf algebraic setting. In this article, we prove a dual version of the globalization theorem: that every partial coaction of a Hopf algebra admits an enveloping coaction. We also show how this works on a series of examples which go beyond partial group actions. Finally, we explore some consequences of globalization theorems in order to present versions of the duality theorems of Cohen-Montgomery and Blattner-Montgomery for partial Hopf actions.

Total positivity and cluster algebras

Abstract: This is a brief and informal introduction to cluster algebras. It roughly follows the historical path of their discovery, made jointly with A.Zelevinsky. Total positivity serves as the main motivation.

Fundamental representations and algebraic properties of biquaternions or complexified quaternions

Abstract: The fundamental properties of biquaternions (complexified quaternions) are presented including several different representations, some of them new, and definitions of fundamental operations such as the scalar and vector parts, conjugates, semi-norms, polar forms, and inner and outer products. The notation is consistent throughout, even between representations, providing a clear account of the many ways in which the component parts of a biquaternion may be manipulated algebraically.

Deformations of Hom-Alternative and Hom-Malcev algebras

Abstract: The aim of this paper is to extend Gerstenhaber formal deformations of algebras to the case of Hom-Alternative and Hom-Malcev algebras. We construct deformation cohomology groups in low dimensions. Using a composition construction, we give a procedure to provide deformations of alternative algebras (resp. Malcev algebras) into Hom-alternative algebras (resp. Hom-Malcev algebras). Then it is used to supply examples for which we compute some cohomology invariants.

Holonomic D-modules and positive characteristic

Abstract: This article is based on the 5th Takagi Lectures delivered at the University of Tokyo in 2008. We discuss a hypothetical correspondence between holonomic D-modules on an algebraic variety X defined over a field of zero characteristic, and certain families of Lagrangian subvarieties in the cotangent bundle to X. The correspondence is based on the reduction to positive characteristic.

A classification of sharp tridiagonal pairs

Abstract: Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^\delta$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq \delta$, where $V^*_{-1}=0$ and $V^*_{\delta+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W eq 0$, $W eq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=\delta$ and for $ 0 \leq i \leq d$ the dimensions of $V_i,V_{d-i},V^*_i, V^*_{d-i}$ coincide. The pair $A,A^*$ is called {\it sharp} whenever ${\rm dim} V_0=1$. It is known that if $F$ is algebraically closed then $A,A^*$ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the $\mu$-conjecture.

The algebra of integro-differential operators on an affine line and its modules

Abstract: For the algebra $\mI_1= K $ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple modules is given. It is proved that $\mI_1$ is a left and right coherent algebra. The {\em Strong Compact-Fredholm Alternative} is proved for $\mI_1$. The endomorphism algebra of each simple $\mI_1$-module is a {\em finite dimensional} skew field. In contrast to the first Weyl algebra, the centralizer of a non-scalar integro-differential operator can be a noncommutative, non-Noetherian, non-finitely generated algebra which is not a domain. It is proved that neither left nor right quotient ring of $\mI_1$ exists but there exists the {\em largest left quotient ring} and the {\em largest right quotient ring} of $\mI_1$, they are not $\mI_1$-isomorphic but $\mI_1$-{\em anti-isomorphic}. Moreover, the factor ring of the largest right quotient ring modulo its only proper ideal is isomorphic to the quotient ring of the first Weyl algebra. An analogue of the Theorem of Stafford (for the Weyl algebras) is proved for $\mI_1$: each {\em finitely generated} one-sided ideal of $\mI_1$ is 2-generated.

$\delta$-superderivations of simple finite-dimensional Jordan and Lie superalgebras

Abstract: We introduce the concept of a $\delta$-superderivation of a superalgebra. $\delta$-Derivations of Cartan-type Lie superalgebras are treated, as well as $\delta$-superderivations of simple finite-dimensional Lie superalgebras and Jordan superalgebras over an algebraically closed field of characteristic 0. We give a complete description of $\{1}{2}$-derivations for Cartan-type Lie superalgebras. It is proved that nontrivial $\delta$-(super)derivations are missing on the given classes of superalgebras, and as a consequence, $\delta$-superderivations are shown to be trivial on simple finite-dimensional noncommutative Jordan superalgebras of degree at least 2 over an algebraically closed field of characteristic 0. Also we consider $\delta$-derivations of unital flexible and semisimple finite-dimensional Jordan algebras over a field of characteristic not 2.

Quaternion Algebras with the Same Subfields

Abstract: Prasad and Rapinchuk asked if two quaternion divisionF-algebras that have the same subfields are necessarily isomorphic. The answer is known to be “no” for some very large fields. We prove that the answer is “yes” if F is an extension of a global field K so that F∕K is unirational and has zero unramified Brauer group. We also prove a similar result for Pfister forms and give an application to tractable fields.

Ternary q-Virasoro-Witt Hom-Nambu-Lie algebras

Abstract: In this paper we construct ternary $q$-Virasoro-Witt algebras which $q$-deform the ternary Virasoro-Witt algebras constructed by Curtright, Fairlie and Zachos using $su(1,1)$ enveloping algebra techniques. The ternary Virasoro-Witt algebras constructed by Curtright, Fairlie and Zachos depend on a parameter and are not Nambu-Lie algebras for all but finitely many values of this parameter. For the parameter values for which the ternary Virasoro-Witt algebras are Nambu-Lie, the corresponding ternary $q$-Virasoro-Witt algebras constructed in this article are also Hom-Nambu-Lie because they are obtained from the ternary Nambu-Lie algebras using the composition method. For other parameter values this composition method does not yield Hom-Nambu Lie algebra structure for $q$-Virasoro-Witt algebras. We show however, using a different construction, that the ternary Virasoro-Witt algebras of Curtright, Fairlie and Zachos, as well as the general ternary $q$-Virasoro-Witt algebras we construct, carry a structure of ternary Hom-Nambu-Lie algebra for all values of the involved parameters.

Noncommutative rational functions, their difference-differential calculus and realizations

Abstract: Noncommutative rational functions appeared in many contexts in system theory and control, from the theory of finite automata and formal languages to robust control and LMIs. We survey the construction of noncommutative rational functions, their realization theory and some of their applications. We also develop a difference-differential calculus as a tool for further analysis.

$\delta$-derivations of classical Lie superalgebras

Abstract: We consider the $\delta$-derivations of classical Lie superalgebras and prove that these superalgebras admit nonzero $\delta$-derivations only when $\delta = 0,1/2,1$. The structure of $1/2$-derivations for classical Lie superalgebras is completely determined.

Paradigm of Nonassociative Hom-algebras and Hom-superalgebras

Abstract: The aim of this paper is to give a survey of nonassociative Hom-algebra and Hom-superalgebra structures. The main feature of these algebras is that the identities defining the structures are twisted by homomorphisms. We discuss Hom-associative algebras, Hom-Flexible algebras, Hom-Lie algebras, $G$-hom-associative algebras, Hom-Poisson algebras, Hom-alternative algebras and Hom-Jordan algebras and $\mathbb{Z}_2$-graded versions. We give an overview of the development of Hom-algebras structures which have been intensively investigated recently.

Non-commutative Hom-Poisson algebras

Abstract: A Hom-type generalization of non-commutative Poisson algebras, called non-commutative Hom-Poisson algebras, are studied. They are closed under twisting by suitable self-maps. Hom-Poisson algebras, in which the Hom-associative product is commutative, are closed under tensor products. Through (de)polarization Hom-Poisson algebras are equivalent to admissible Hom-Poisson algebras, each of which has only one binary operation. Multiplicative admissible Hom-Poisson algebras are Hom-power associative.

Structure of nilpotent Lie algebra by its multiplier

Abstract: For a finite dimensional Lie algebra $L$, it is known that $s(L)=\f{1}{2}(n-1)(n-2)+1-\mathrm{dim} M(L)$ is non negative. Moreover, the structure of all finite nilpotent Lie algebras is characterized when $s(L)=0,1$ in \cite{ni,ni4}. In this paper, we intend to characterize all nilpotent Lie algebra while $s(L)=2.$

Globalization of twisted partial actions

Abstract: Let A be a unital ring which is a product of possibly infinitely many indecomposable rings. We establish criteria for the existence of a globalization for a given twisted partial action of a group on A. If the globalization exists, it is unique up to a certain equivalence relation and, moreover, the crossed product corresponding to the twisted partial action is Morita equivalent to that corresponding to its globalization. For arbitrary unital rings the globalization problem is reduced to an extendibility property of the multipliers involved in the twisted partial action.

Explicit models for some stable categories of maximal Cohen-Macaulay modules

Abstract: We give concrete DG-descriptions of certain stable categories of maximal Cohen-Macaulay modules. This makes in possible to describe the latter as generalized cluster categories in certain cases.

Skew polynomial rings, Groebner bases and the letterplace embedding of the free associative algebra

Abstract: In this paper we introduce an algebra embedding $\iota:K \to S$ from the free associative algebra $K $ generated by a finite or countable set $X$ into the skew monoid ring $S = P * \Sigma$ defined by the commutative polynomial ring $P = K[X\times N^*]$ and by the monoid $\Sigma = $ generated by a suitable endomorphism $\sigma:P\to P$. If $P = K[X]$ is any ring of polynomials in a countable set of commuting variables, we present also a general Gr\"obner bases theory for graded two-sided ideals of the graded algebra $S = \bigoplus_i S_i$ with $S_i = P \sigma^i$ and $\sigma:P \to P$ an abstract endomorphism satisfying compatibility conditions with ordering and divisibility of the monomials of $P$. Moreover, using a suitable grading for the algebra $P$ compatible with the action of $\Sigma$, we obtain a bijective correspondence, preserving Gr\"obner bases, between graded $\Sigma$-invariant ideals of $P$ and a class of graded two-sided ideals of $S$. By means of the embedding $\iota$ this results in the unification, in the graded case, of the Gr\"obner bases theories for commutative and non-commutative polynomial rings. Finally, since the ring of ordinary difference polynomials $P = K[X\times N]$ fits the proposed theory one obtains that, with respect to a suitable grading, the Gr\"obner bases of finitely generated graded ordinary difference ideals can be computed also in the operators ring $S$ and in a finite number of steps up to some fixed degree.

Special identities for quasi-Jordan algebras

Abstract: Semispecial quasi-Jordan algebras (also called Jordan dialgebras) are defined by the polynomial identities $a(bc) = a(cb)$, $(ba)a^2 = (ba^2)a$, and $(b,a^2,c) = 2(b,a,c)a$. These identities are satisfied by the product $ab = a \dashv b + b \vdash a$ in an associative dialgebra. We use computer algebra to show that every identity for this product in degree $\le 7$ is a consequence of the three identities in degree $\le 4$, but that six new identities exist in degree 8. Some but not all of these new identities are noncommutative preimages of the Glennie identity.

Some applications of Frobenius algebras to Hopf algebras

Abstract: This expository article presents a unified ring theoretic approach, based on the theory of Frobenius algebras, to a variety of results on Hopf algebras These include a theorem of S Zhu on the degrees of irreducible representations, the so-called class equation, the determination of the semisimplicity locus of the Grothendieck ring, the spectrum of the adjoint class and a non-vanishing result for the adjoint character

Gr\"obner-Shirshov bases for $L$-algebras

Abstract: In this paper, we firstly establish Composition-Diamond lemma for $\Omega$-algebras. We give a Grobner-Shirshov basis of the free $L$-algebra as a quotient algebra of a free $\Omega$-algebra, and then the normal form of the free $L$-algebra is obtained. We secondly establish Composition-Diamond lemma for $L$-algebras. As applications, we give Grobner-Shirshov bases of the free dialgebra and the free product of two $L$-algebras, and then we show four embedding theorems of $L$-algebras: 1) Every countably generated $L$-algebra can be embedded into a two-generated $L$-algebra. 2) Every $L$-algebra can be embedded into a simple $L$-algebra. 3) Every countably generated $L$-algebra over a countable field can be embedded into a simple two-generated $L$-algebra. 4) Three arbitrary $L$-algebras $A$, $B$, $C$ over a field $k$ can be embedded into a simple $L$-algebra generated by $B$ and $C$ if $|k|\leq \dim(B*C)$ and $|A|\leq|B*C|$, where $B*C$ is the free product of $B$ and $C$.

Identities of dual leibniz algebras

Abstract: We prove that in characteristic 0 any proper subvariety of the variety of dual Leibniz algebras is nilpotent. Consequently, the variety of dual Leibniz algebras is Shpekhtian and has base rank 1.

Rational group algebras of finite groups: from idempotents to units of integral group rings

Abstract: We give an explicit and character-free construction of a complete set of orthogonal primitive idempotents of a rational group algebra of a finite nilpotent group and a full description of the Wedderburn decomposition of such algebras. An immediate consequence is a well-known result of Roquette on the Schur indices of the simple components of group algebras of finite nilpotent groups. As an application, we obtain that the unit group of the integral group ring $\Z G$ of a finite nilpotent group $G$ has a subgroup of finite index that is generated by three nilpotent groups for which we have an explicit description of their generators. Another application is a new construction of free subgroups in the unit group. In all the constructions dealt with, pairs of subgroups $(H,K)$, called strong Shoda pairs, and explicit constructed central elements $e(G,H,K)$ play a crucial role. For arbitrary finite groups we prove that the primitive central idempotents of the rational group algebras are rational linear combinations of such $e(G,H,K)$, with $(H,K)$ strong Shoda pairs in subgroups of $G$.