Thin Lie algebras are infinite-dimensional graded Lie algebras $L=\bigoplus_{i=1}^{\infty}$, with $\dim(L_1)=2$ and satisfying a covering property: for each $i$, each nonzero $z\in L_i$ satisfies $[zL_1]=L_{i+1}$. It follows that each homogeneous components $L_i$ is either one- or two-dimensional, and in the latter case is called a diamond. Hence $L_1$ is a diamond, and if there are no other diamonds then $L$ is a graded Lie algebra of maximal class.
We present simpler proofs of some fundamental facts on graded Lie algebras of maximal class, and on thin Lie algebras, based on a uniform method, with emphasis on a polynomial interpretation. Among else, we determine the possible values for the most fundamental parameter of such algebras, which is the dimension of their largest metabelian quotient.
We investigate the graded Lie algebras of Cartan type $W$, $S$ and $H$ in characteristic 2 and determine their simple constituents and some exceptional isomorphisms between them. We also consider the graded Lie algebras of Cartan type $K$ in characteristic 2 and conjecture that their simple constituents are isomorphic to Lie algebras of type $H$.
The purpose of this paper is to determine all maximal graded subalgebras of the four infinite series of finite-dimensional graded Lie superalgebras of odd Cartan type over an algebraically closed field of characteristic $p>3$. All maximal graded subalgebras consist of three types (\MyRoman{1}), (\MyRoman{2}) and (\MyRoman{3}). Maximal graded subalgebras of type (\MyRoman{3}) fall into reducible maximal graded subalgebras and irreducible maximal graded subalgebras. In this paper we classify maximal graded subalgebras of types (\MyRoman{1}), (\MyRoman{2}) and reducible maximal g raded subalgebra…
Crystalline graded rings are generalizations of certain classes of rings like generalized twisted group rings, generalized Weyl algebras, and generalized skew crossed products. When the base ring is a commutative Dedekind domain, two constructions are given for producing maximal graded orders. On the way, a new concept appears, so-called, spectrally twisted group. Some general properties of it are studied. At the end of the paper several examples are considered.
We describe the isomorphism classes of infinite-dimensional graded Lie algebras of maximal class, generated by elements of weight one, over fields of odd characteristic.
We describe the isomorphism classes of certain infinite-dimensional graded Lie algebras of maximal class, generated by an element of weight one and an element of weight two, over fields of odd characteristic.
We compute the cohomology with trivial coefficients of two graded infinite-dimensional Lie algebras of maximal class, give explicit formulas for their representative cocycles. Also we discuss the relations with combinatorics and representation theory.
The present article is a part of the study of solvable Leibniz algebras with a given nilradical. In this paper solvable Leibniz algebras, whose nilradicals is naturally graded $p$-filiform non-Lie Leibniz algebra $(n-p\geq4)$ and the complemented space to nilradical has maximal dimension, are described up to isomorphism. Moreover, among obtained algebras we indicate the rigid and complete algebras
Let $E$ be an arbitrary directed graph and let $L$ be the Leavitt path algebra of the graph $E$ over a field $K$. The necessary and sufficient con- ditions are given to assure the existence of a maximal ideal in $L$ and also the necessary and sufficient conditions on the graph which assure that every ideal is contained in a maximal ideal is given. It is shown that if a maximal ideal $M$ of $L$ is non-graded, then the largest graded ideal in $M$ , namely $gr(M )$, is also maximal among the graded ideals of $L$. Moreover, if $L$ has a unique maximal ideal $M$ , then $M$ must be a graded ideal. T…
The motivation for this paper has been to study the relation between the zero component of the maximal graded algebra of quotients and the maximal graded algebra of quotients of the zero component, both in the Lie case and when considering Martindale algebras of quotients in the associative setting. We apply our results to prove that the finitary complex Lie algebras are (graded) strongly nondegenerate and compute their maximal algebras of quotients.
In Fialowski's classification for algebras of maximal class, there are three Lie algebras of maximal class with 1-dimensional homogeneous components: $\mathfrak{m}_0$, $L_1$ and $\mathfrak{m}_2$. In this paper, we studied their biderivations by considering the embedded mapping to derivation algebras. Then we determined commuting mappings on these algebras as an application of biderivations. Finally, local and 2-local derivations for these three algebras were characterized as the given gradings.
We compute explicitly the adjoint cohomology of two N-graded Lie algebras of maximal class (infinite dimensional filiform Lie algebras) m_0 and m_2. It is known that up to an isomorphism there are only three N-graded Lie algebras of the maximal class. The third algebra from this list is the "positive" part L_1 of the Witt (or Virasoro) algebra and its adjoint cohomology was computed earlier by Feigin and Fukhs. We show that the total space H*(m_j,m_j) is "almost" isomorphic to the completed tensor product of the algebra m_j by scalar cohomology space H^*(m_j), j=0,2.
The maximal graded subalgebras for four families of Lie superalgebras of Cartan type over a field of prime characteristic are studied. All maximal reducible graded subalgebras are described completely and their isomorphism classes, dimension formulas are found. The classification of maximal irreducible graded subalgebras is reduced to the classification of the maximal irreducible subalgebras for the classical Lie superalgebras $\frak{gl}(m,n)$, $\frak{sl}(m,n)$ and $\frak{osp}(m,n)$.
We compute the cohomology with trivial coefficients of Lie algebras $\mathfrak{m}_0$ and $\mathfrak{m}_2$ of maximal class over the field $\mathbb{Z}_2$. In the infinite-dimensional case, we show that the cohomology rings $H^*(\mathfrak{m}_0)$ and $H^*(\mathfrak{m}_2)$ are isomorphic, in contrast with the case of the ground field of characteristic zero, and we obtain a complete description of them. In the finite-dimensional case, we find the first three Betti numbers of $\mathfrak{m}_0(n)$ and $\mathfrak{m}_2(n)$ over $\mathbb{Z}_2$.
Tilting objects play a key role in the study of triangulated categories. A famous result due to Iyama and Takahashi asserts that the stable categories of graded maximal Cohen-Macaulay modules over quotient singularities have tilting objects. This paper proves a noncommutative generalization of Iyama and Takahashi's theorem using noncommutative algebraic geometry. Namely, if $S$ is a noetherian AS-regular Koszul algebra and $G$ is a finite group acting on $S$ such that $S^G$ is a "Gorenstein isolated singularity", then the stable category ${\underline {\operatorname {CM}}}^{\Bbb Z}(S^G)$ of gra…
In this paper we provide necessary and sufficient conditions for strongly group graded rings to be simple. For a strongly group graded ring $R = \bigoplus_{g\in G} R_g$ the grading group $G$ acts, in a natural way, as automorphisms of the commutant of the neutral component subring $R_e$ in $R$ and of the center of $R_e$. We show that if $R$ is a strongly $G$-graded ring where $R_e$ is maximal commutative in $R$, then $R$ is a simple ring if and only if $R_e$ is $G$-simple (i.e. there are no nontrivial $G$-invariant ideals). We also show that if $R_e$ is commutative (not necessarily maximal com…
In this paper solvable Leibniz algebras with naturally graded non-Lie $p$-filiform $(n-p\geq4)$ nilradical and with one-dimensional complemented space of nilradical are described. Moreover, solvable Leibniz algebras with abelian nilradical and extremal (minimal, maximal) dimensions of complemented space nilradical are studied. The rigidity of solvable Leibniz algebras with abelian nilradical and maximal dimension of its complemented space is proved.
We study properties of graded maximal Cohen-Macaulay modules over an N-graded locally finite, Auslander Gorenstein, and Cohen-Macaulay algebra of dimension two. As a consequence, we extend a part of McKay correspondence in dimension two to a more general setting.
In this paper we explore graded algebras of quotients of Lie algebras with special emphasis on the 3-graded case and answer some natural questions concerning its relation to maximal Jordan systems of quotients.
For every field $F$ which has a quadratic extension $E$ we show there are non-metabelian infinite-dimensional thin graded Lie algebras all of whose homogeneous components, except the second one, have dimension $2$. We construct such Lie algebras as $F$-subalgebras of Lie algebras $M$ of maximal class over $E$. We characterise the thin Lie $F$-subalgebras of $M$ generated in degree $1$. Moreover we show that every thin Lie algebra $L$ whose ring of graded endomorphisms of degree zero of $L^3$ is a quadratic extension of $F$ can be obtained in this Lie algebra of maximal class over $E$ which are…
Let P a locally finite partially ordered set, F a field, G a group, and I(P,F) the incidence algebra of P over F. We describe all the inequivalent elementary G-gradings on this algebra. If P is bounded, F is a infinite field of characteristic zero, and A, B are both elementary G-graded incidence algebras satisfying the same G-graded polynomial identities, and the automorphisms group of P acts transitively on the maximal chains of P , we show that A and B are graded isomorphic.
The present article is a part of the study of solvable Leibniz algebras with a given nilradical. In this paper solvable Leibniz algebras, whose nilradicals is naturally graded quasi-filiform algebra and the complemented space to the nilradical has maximal dimension, are described up to isomorphism.
In this paper we introduce the notions of Z-graded hom-Lie superalgebras and we show that there is a maximal (resp., minimal) Z-graded hom-Lie superalgebra for a given local hom-Lie superalgebra. Morever, we introduce the invariant bilinear forms on a Z-graded hom-Lie superalgebra and we prove that a consistent supersymmetric α-invariant form on the local part can be extended uniquely to a bilinear form with the same property on the whole Z-graded hom-Lie superalgebra. Furthermore, we check the condition in which the Z-graded hom-Lie superalgebra is simple.
In this paper we describe central extensions of some nilpotent Leibniz algebras. Namely, central extensions of the Leibniz algebra with maximal index of nilpotency are classified. Moreover, non-split central extensions of naturally graded filiform non-Lie Leibniz algebras are described up to isomorphism. It is shown that $k$-dimensional central extensions ($k\geq 5$) of these algebras are split.
Any simple group-grading of a finite dimensional complex algebra induces a natural family of digraphs. We prove that $|E\circ E^{\text{op}}\cup E^{\text{op}}\circ E|\geq |E|$ for any digraph $Γ=(V,E)$ without parallel edges, and deduce that for any simple group-grading, the dimension of the trivial component is maximal.
We present an explicit description of the affine variety of Lie algebras of the maximal class (filiform Lie algebras): the formulas of polynomial equations that determine this variety are written. It can considered as the base of the nilpotent versal deformation of N-graded Lie algebra m_0.
We study symplectic structures on filiform Lie algebras -- nilpotent Lie algebras of the maximal length of the descending central sequence. In the present article we classify the Lie algebras with the structure relations of the following form: $$[e_i,e_j]=(j-i)e_{i+j}+\sum_{l{=}1}c_{ij}^l e_{i+j+l}, i+j \le n.$$ In even dimensions the subspace of symplectic Lie algebras has the codimension one.
We continue our study of the McKay Correspondence for grading preserving actions of semisimple Hopf algebras H on (noncommutative) Artin-Schelter regular algebras A. Here, we establish correspondences between module categories over A^H, over A\#H, and over \End_{A^H} A. We also study homological properties of (endomorphism rings of) maximal Cohen-Macaulay modules over A^H.
We study the structure of a $3-$Leibniz algebra $T$ graded by an arbitrary abelian group $G,$ which is considered of arbitrary dimension and over an arbitrary base field $\bbbf.$ We show that $T$ is of the form $T=\uu\oplus\sum_jI_j,$ with $\uu$ a linear subspace of $T_1,$ the homogeneous component associated to the unit element $1$ in $G,$ and any $I_j$ a well described graded ideal of $T,$ satisfying $$ [I_j, T, I_k] = [I_j, I_k, T] = [T, I_j, I_k] = 0, $$ if $j\neq k.$ In the case of $T$ being of maximal length, we characterize the gr-simplicity of the algebra in terms of connections in the…
In this work we consider extensions of solvable Lie algebras with naturally graded filiform nilradicals. Note that there exist two naturally graded filiform Lie algebras $n_{n, 1}$ and $Q_{2n}.$ We find all one-dimensional central extensions of the algebra $n_{n, 1}$ and show that any extension of $Q_{2n}$ is split. After that we find one-dimensional extensions of solvable Lie algebras with nilradical $n_{n, 1}$. We prove that there exists a unique non-split central extension of solvable Lie algebras with nilradical $n_{n, 1}$ of maximal codimension. Moreover, all one-dimensional extensions of…
We study complex projective varieties that parametrize (finite-dimensional) filiform Lie algebras over C, using equations derived by Millionshchikov. In the infinite-dimensional case we concentrate our attention on N-graded Lie algebras of maximal class. As shown by A. Fialowski (see also [shalev:97], [millionshchikov:04]) there are only three isomorphism types of N-graded Lie algebras $L=\oplus^{\infty}_{i=1} L_i$ of maximal class generated by L_1 and L_2, L=<L_1,L_2>. Vergne described the structure of these algebras with the property L=<L_1>. In this paper we study those generated by the fir…
There is an extensive recent literature on the graded, non-graded, prime, primitive, maximal ideals of Leavitt path algebras. In this introductory level survey, we will be giving an overview of different types of ideals and the correspondence between the lattice of ideals and the lattice of hereditary and saturated subsets of the graph over which the Leavitt path algebra is constructed.
We study symplectic (contact) structures on nilmanifolds that correspond to the filiform Lie algebras - nilpotent Lie algebras of the maximal length of the descending central sequence. We give a complete classification of filiform Lie algebras that possess a basis e_1, ..., e_n, [e_i,e_j]=c_{ij}e_{i{+}j} (N-graded Lie algebras). In particular we describe the spaces of symplectic cohomology classes for all even-dimensional algebras of the list. It is proved that a symplectic filiform Lie algebra is a filtered deformation of some N-graded symplectic filiform Lie algebra. But this condition is no…
In one of his last papers, Boris Weisfeiler proved that if modular semisimple Lie algebra possesses a solvable maximal subalgebra which defines in it a long filtration, then associated graded algebra is isomorphic to one constructed from the Zassenhaus algebra tensored with the divided powers algebra. We completely determine such class of algebras, calculating in process low-dimensional cohomology groups of Zassenhaus algebra tensored with any associative commutative algebra.
Matrices as graded BiHom-algebras and decompositions
School of Mathematics, Southeast University（东南大学数学学院）；Shing-Tung Yau Centre, School of Mathematics, Southeast University（东南大学数学中心（杨振宁中心））；School of Physical and Mathematical Sciences, Nanyang Technological University（南洋理工大学物理与数学科学学院）
The elaboration of new quantization methods has recently developed the interest in the study of subalgebras of the Lie algebra of polynomial vector fields over a Euclidean space. In this framework, these subalgebras define maximal equivariance conditions that one can impose on a linear bijection between observables that are polynomial in the momenta and differential operators.Here, we determine which finite dimensional graded Lie subalgebras are maximal. In order to characterize these, we make use of results of Guillemin, Singer and Sternberg and Kobayashi and Nagano.
We develop the theory of a category ${\mathscr C}_A$ which is a generalisation to non-restricted ${\mathfrak g}$-modules of a category famously studied by Andersen, Jantzen and Soergel for restricted ${\mathfrak g}$-modules, where ${\mathfrak g}$ is the Lie algebra of a reductive group $G$ over an algebraically closed field ${\mathbb K}$ of characteristic $p>0$. Its objects are certain graded bimodules. On the left, they are graded modules over an algebra $U_χ$ associated to ${\mathfrak g}$ and to $χ\in{\mathfrak g}^{*}$ in standard Levi form. On the right, they are modules over a commutative …
In the ongoing programme to classify noncommutative projective surfaces (connected graded noetherian domains of Gelfand-Kirillov dimension three) a natural question is to determine the minimal models within any birational class. In this paper we show that the generic noncommutative projective plane (corresponding to the three dimensional Sklyanin algebra R) as well as noncommutative analogues of P^1 x P^1 and of the Hirzebruch surface F_2 (arising from Van den Bergh's quadrics R) satisfy very strong minimality conditions. Translated into an algebraic question, where one is interested in a maxi…
We introduce the notion of the twisted Segre product $A\circ_ψB$ of $\mathbb Z$-graded algebras $A$ and $B$ with respect to a twisting map $ψ$. It is proved that if $A$ and $B$ are noetherian Koszul Artin-Schelter regular algebras and $ψ$ is a twisting map such that the twisted Segre product $A\circ_ψB$ is noetherian, then $A\circ_ψB$ is a noncommutative graded isolated singularity. To prove this result, the notion of densely (bi-)graded algebras is introduced. Moreover, we show that the twisted Segre product $A\circ_ψB$ of $A=k[u,v]$ and $B=k[x,y]$ with respect to a diagonal twisting map $ψ$ …
In this paper we investigate the class of the connected graded algebras which are finitely generated in degree 1, which are finitely presented with relations of degrees greater or equal to 2 and which are of finite global dimension D and Gorenstein. For D greater or equal to 4 we add the condition that these algebras are homogeneous and Koszul. It is shown that each such algebra is completely characterized by a multilinear form satisfying a twisted cyclicity condition and some other nondegeneracy conditions depending on the global dimension D. This multilinear form plays the role of a volume f…
In this paper, we introduce the class of Cohen-Macaulay (=CM) dg (=differential graded) modules over Gorenstein dg algebras and study their basic properties. We show that the category of CM dg modules forms a Frobenius extriangulated category, in the sense of Nakaoka and Palu, and it admits almost split extensions. We also study representation-finite $d$-self-injective dg algebras $A$ in detail. In particular, we classify the Auslander-Reiten (=AR) quivers of CM $A$ for those $A$ in terms of $(-d)$-Calabi-Yau (=CY) configurations, which are Riedtmann's configuration for the case $d=1$. For any…
