Lie algebras of vector fields on smooth affine varieties

We reprove the results of Jordan [18 Jordan, D. (1986). On the ideals of a Lie algebra of derivations. J. London Math. Soc. 33:33–39.[Crossref], [Web of Science ®] , [Google Scholar]] and Siebert [30 Siebert, T. (1996). Lie algebras of derivations and a?ne algebraic geometry over fields of characteristic 0. Math. Ann. 305:271–286.[Crossref], [Web of Science ®] , [Google Scholar]] and show that the Lie algebra of polynomial vector fields on an irreducible a?ne variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not depend on papers mentioned above. Besides, the structure of the module of polynomial functions on an irreducible smooth a?ne variety over the Lie algebra of vector fields is studied. Examples of Lie algebras of polynomial vector fields on an N-dimensional sphere, non-singular hyperelliptic curves and linear algebraic groups are considered.     

Characterizing n-Isoclinism Classes of Lie Algebras

In this article, we introduce the notion of the equivalence relation, n-isoclinism, between Lie algebras, and obtain some criterions under which Lie algebras are n-isoclinic. In particular, we show that n-isoclinic Lie algebras can be isoclinically embedded into one Lie algebra. Also, we present the notion of an n-stem Lie algebra and prove its existence within an arbitrary n-isoclinism class. In addition, similar to a result of Hekster [6 Hekster , N. S. ( 1986 ). On the structure of n-isoclinam classes of groups . J. Pure Appl. Algebra 40 : 63 – 85 .[Crossref], [Web of Science ®] , [Google Scholar]] in the group case, we characterize the n-stem Lie algebras in the n-isoclinism classes which contains at least one finitely generated Lie algebra L with dim (L ⁿ⁺¹) finite.     

Characterizations for Supersolvable Lie Algebras

In (2009), Towers [10 Towers , D. A. ( 2009 ). C-ideals of Lie algebras . Comm. Algebra 37 : 4366 – 4373 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] presented the notion of c-ideality of a subalgebra of a Lie algebra, and gave some characterizations of solvable and supersolvable Lie algebras. In this article, we further investigate the influence of c-ideality of some subalgebras on the structure of Lie algebras. We also obtain some equivalent conditions for supersolvability of a finite dimensional Lie algebra.     

Simple Nil Lie Algops

A Lie algop is a pair (A, L) where A is a commutative algebra and L is a Lie algebra operating on A by derivations. Faithful simple Lie algops (A, L) are of interest because the corresponding Lie algebras AL are simple—with some rare exceptions at characteristic 2. The simplicity and representation theory of Jordan Lie algops is reduced in Winter (2005b Winter , D. J. ( 2005b ). Lie algops and simple Lie algebras . Comm. Algebra 33 : 3157 – 3178 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) to the simplicity theory of nil Lie algops and the simplicity and representation theory of toral Lie algops. This paper is devoted to building the first of these two theories, the simplicity theory of nil Lie algops, as a structure theory.     

Central Extensions and Derivations of the Lie Algebras of Skew Derivations for the Quantum Torus

ABSTRACT

In this article, we study the central extensions and derivations of the Lie algebra of skew derivations for the quantum torus. The results of the article generalize those obtained in Jiang and Meng (1998a Jiang , C. , Meng , D. ( 1998a ). The derivation algebra of the associative algebra C _q [X, Y, X ^?1, Y ^?1] . Comm. Algebra 26 : 1723 – 1736 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar] b Jiang , C. , Meng , D. ( 1998b ). The automorphism group of the derivation algebra of the Virasoro-like algebra . Adv. Math. (China) 27 : 175 – 183 . [CSA]  [Google Scholar]) and Kirkman et al. (1994 Kirkman , E. , Procesi , C. , Small , L. ( 1994 ). A q-analog for the Virasoro algebra . Comm. Algebra 22 : 3755 – 3774 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]).     

Quasi-Deformations of 𝔰𝔩2(𝔽) Using Twisted Derivations

In this article we apply a method devised in Hartwig, Larsson, and Silvestrov (2006 Hartwig , J. T. , Larsson , D. , Silvestrov , S. D. ( 2006 ). Deformations of Lie algebras using σ-derivations . J. Algebra 295 : 314 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]) and Larsson and Silvestrov (2005a Larsson , D. , Silvestrov , S. D. (2005a). Quasi-hom-Lie algebras, Central extensions and 2-cocycle-like identities. J. Algebra 288:321–344.[Crossref], [Web of Science ®] , [Google Scholar]) to the simple 3-dimensional Lie algebra 𝔰𝔩₂(𝔽). One of the main points of this deformation method is that the deformed algebra comes endowed with a canonical twisted Jacobi identity. We show in the present article that when our deformation scheme is applied to 𝔰𝔩₂(𝔽) we can, by choosing parameters suitably, deform 𝔰𝔩₂(𝔽) into the Heisenberg Lie algebra and some other 3-dimensional Lie algebras in addition to more exotic types of algebras, this being in stark contrast to the classical deformation schemes where 𝔰𝔩₂(𝔽) is rigid.     

Heart of Irreducible Morphisms of Bounded Complexes

In [9 Giraldo , H. , Merklen , H. ( 2009 ). Irreducible morphisms of categories of complexes . Journal of Algebra 321 : 2716 – 2736 .[Crossref], [Web of Science ®] , [Google Scholar]] Giraldo and Merklen studied irreducible morphisms in the categories 𝒞(𝒜) and D^?(Λ), where 𝒞(𝒜) is the category of complexes over an abelian Krull–Schmidt category 𝒜 and D^?(Λ) is the derived category of the bounded above complexes of finite generate left modules, over an Artin algebra Λ. In this work, we continue the study of irreducible morphism having one finite irreducible truncation.     

Weyl Modules Associated to Kac–Moody Lie Algebras

Local Weyl modules were originally defined for affine Lie algebras by Chari and Pressley in [5 Chari, V., Pressley, A. (2001). Weyl modules for classical and quantum affine algebras. Represent. Theory 5:191–223 (electronic).[Crossref] , [Google Scholar]]. In this paper we extend the notion of local Weyl modules for a Lie algebra 𝔤 ?A, where 𝔤 is any Kac–Moody algebra and A is any finitely generated commutative associative algebra with unit over ?, and prove a tensor product decomposition theorem which generalizes result in [2 Chari, V., Fourier, G., Khandai, T. (2010). A categorical approach to Weyl modules. Transform. Groups 15(3):517–549.[Crossref], [Web of Science ®] , [Google Scholar], 5 Chari, V., Pressley, A. (2001). Weyl modules for classical and quantum affine algebras. Represent. Theory 5:191–223 (electronic).[Crossref] , [Google Scholar]].     

Unitary Modules for EALAs Co-ordinatized by a Quantum Torus

Abstract

A class of unitary modules is constructed for an extended affine Lie algebra (EALA) co-ordinatized by a quantum torus for |q| = 1 by extending the method developed by Kac and Raina (Kac, V. G., Raina, A. K. (1987 Kac, V. G. and Raina, A. K. 1987. “Highest weight representations of infinite dimensional Lie algebras”. Singapore: World Scientific.  [Google Scholar]). Highest Weight Representations of Infinite Dimensional Lie Algebras. Singapore: World Scientific.) which uses infinite wedge products. By twisting the module by an automorphism (defined by the author Eswara Rao (Eswara Rao, S. (2001 Eswara Rao, S. 2001. “A class of integrable modules for the core of EALA co-ordinated by Quantum Tori”. TIFR preprint [Google Scholar]). A class of integrable modules for the core of EALA co-ordinated by Quantum Tori. TIFR preprint.) which commutes with anti-linear anti-automorphism, we construct a large class of unitary modules for the EALA.     

On the Cohomology of the Lie Superalgebra of Contact Vector Fields on S 1|m

The main result of this article is the explicit calculation of the first cohomology space H ¹(𝒦(3), 𝒮Ψ𝒟𝒪(S ^1|3)) of the Lie superalgebra 𝒦(3) of contact vector fields on the supercircle S ^1|3 with coefficients in the module of superpseudodifferential operators 𝒮Ψ𝒟𝒪(S ^1|3). For the supercicles of dimensional 1 | 0, 1 | 1, and 1 | 2, the first cohomology space is computed, respectively, in the following articles: [2 Agrebaoui , B. , Ben Fraj , N. ( 2004 ). On the cohomology of the Lie superalgebra of contact vector fields on S ^1|1 . Belletin de la Société Royale des Sciences de Liège 72 ( 6 ): 365 – 375 . [Google Scholar], 3 Agrebaoui , B. , Ben Fraj , N. , Omri , S. ( 2006 ). On the cohomology of the Lie superalgebra of contact vector fields on S ^1|2 . J. Nonlinear Math. Phys. 13 ( 4 ): 523 – 534 .[Taylor &; Francis Online] , [Google Scholar], 14 Ovsienko , V. , Roger , C. ( 1999 ). Deforming the Lie algebra of vector fields on S ¹ inside the Lie algebra of pseudodifferential operators on S ¹ . AMS Transl. Ser. 2, (Adv. Math. Sci.) 194 : 211 – 227 . [Google Scholar]]. The case m ≥ 4 is still out of reach, but we give a lower bound for the dimension of the cohomology space and exhibit three nontrivial, 1-cocycles.     

Automorphisms of Incidence Algebras

We study automorphisms of the incidence algebra of a finite quasiordered set M. In particular, we describe explicitly the group of outer automorphisms and give a criterion for any automorphism of this algebra to be a product of an inner one and an automorphism of M, which corrects some results of Spiegel (2001 Spiegel , E. ( 2001 ). On the automorphisms of incidence algebras . J. Algebra 239 : 615 – 623 .[Crossref], [Web of Science ®] , [Google Scholar]).     

The h-Vector of a Relatively Compressed Level Algebra

The purpose of this note is to supply an upper and a lower bound (which are in general sharp) for the h-vector of a level algebra which is relatively compressed with respect to any arbitrary level algebra A.

The useful concept of relatively compressed algebra was recently introduced in Migliore et al. (2005 Migliore , J. , Miró-Roig , R. , Nagel , U. ( 2005 ). Minimal resolution of relatively compressed level algebras . J. Algebra 284 ( 1 ): 337 – 370 .[Crossref] , [Google Scholar]) (whose investigations mainly focused on the particular case of A a complete intersection). The key idea of this note is the simple observation that the level algebras which are relatively compressed with respect to A coincide (after an obvious isomorphism) with the generic level quotients of suitable truncations of A. Therefore, we are able to apply to relatively compressed algebras the main result of our recent work, Zanello (2007 Zanello , F. ( 2007 ). Partial derivatives of a generic subspace of a vector space of forms: quotients of level algebras of arbitrary type . Trans. Amer. Math. Soc. 359 ( 6 ): 2675 – 2686 .[Crossref], [Web of Science ®] , [Google Scholar]).     

Algebra Structures Arising from Yang–Baxter Systems

Yang–Baxter operators from algebra structures appeared for the first time in [11 D?sc?lescu , S. , Nichita , F. ( 1999 ). Yang–Baxter operators arising from (co)algebra structures . Comm. Algebra 27 : 5833 – 5845 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 22 Nichita , F. ( 1999 ). Self-inverse Yang–Baxter operators from (co)algebra structures . J. Algebra 218 : 738 – 759 .[Crossref], [Web of Science ®] , [Google Scholar], 23 Nuss , P. ( 1997 ). Noncommutative descent and non-abelian cohomology . K-Theory 12 ( 1 ): 23 – 74 .[Crossref] , [Google Scholar]]. Later, Yang–Baxter systems from entwining structures were constructed in [8 Brzeziński , T. , Nichita , F. F. ( 2005 ). Yang–Baxter systems and Entwining Structures . Comm. Algebra 33 : 1083 – 1093 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. In fact, Yang–Baxter systems are equivalent with braid systems. In this paper we show that braidings and entwinings of various algebraic structures—in particular, algebra factorisations—can be constructed from a braid system, whence from a Yang–Baxter system as well.     

Direct Limits of Diagonal Chains of Type O,U, and Sp,and Their Homotopy Groups

ABSTRACT

Baranov and Zhilinskii (1999 Baranov , A. A. , Zhilinskii , A. G. ( 1999 ). Diagonal direct limits of simple Lie algebras . Comm. Algebra 27 ( 6 ): 2749 – 2766 [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) have shown a classification theorem for diagonal direct limits of simple Lie algebras. In this work, we will transfer their results to diagonal direct limits of certain matrix groups, and show that homotopy groups are significant invariants for specific classes of direct limit groups.

Communicated by B. Allison     

A Simple Proof of Tyurin's Babylonian Tower Theorem

Using the method of Coand? and Trautmann [4 Coand? , I. , Trautmann , G. ( 2006 ). The splitting criterion of Kempf and the Babylonian tower theorem . Comm. Algebra 34 : 2485 – 2488 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]], we give a simple proof of a theorem due, in the smooth case, to Tyurin [9 Tyurin , A. N. ( 1976 ). Finite dimensional vector bundles over infinite varieties . Math. USSR Izv. 10 : 1187 – 1204 .[Crossref], [Web of Science ®] , [Google Scholar]]: if a vector bundle E on a c-codimensional locally Cohen–Macaulay closed subscheme X of ? ⁿ extends to a vector bundle F on a similar closed subscheme Y of ? ^N , for every N > n, then E is the restriction to X of a direct sum of line bundles on ? ⁿ . Using the same method, we also provide a proof of the Babylonian tower theorem for locally complete intersection subschemes of projective spaces.     

Une Neutralisation Explicite de L'algèbre de Weyl Quantique Complétée

Soit p un nombre premier. Nous établissons l'existence de neutralisations de divers complétés de l'algèbre de Weyl quantique spécialisée en une racine de l'unité primitive d'ordre p (qui est “génériquement” une algèbre d'Azumaya) et donnons en particulier un énoncé de neutralisation explicite relevant celui construit en caractéristique p dans [3 Gros , M. , Le Stum , B. , Quiros , A. ( 2010 ). A Simpson correspondence in positive characteristic . Publ. RIMS Kyoto Univ. 46 : 1 – 35 .[Crossref], [Web of Science ®] , [Google Scholar]].

Let p be a prime number. We establish the existence of neutralizations of various completions of the quantum Weyl algebra specialized at a primitive root of unity of prime order p (which is “generically” an Azumaya algebra) and, in particular, we give a statement of explicit neutralization similar to the one built in characteristic p in [3 Gros , M. , Le Stum , B. , Quiros , A. ( 2010 ). A Simpson correspondence in positive characteristic . Publ. RIMS Kyoto Univ. 46 : 1 – 35 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Regularity of Analytic Algebra of Prime Characteristic

Let A be an analytic algebra over a field k of characteristic p > 0. In this article, for an analytic k-algebra we introduce the concept of analytic pⁿ-basis which generalizes the pⁿ-basis defined in [1 Furuya , M. , Niitsuma , H. ( 2002 ). Regularity criterion of Noetherian local rings of prime characteristic . J. Algebra 247 : 219 – 230 .[Crossref], [Web of Science ®] , [Google Scholar]], and the concept of an pⁿ-admissible field for an algebraic function field, we give regularity criteria and absolute regularity criteria for an analytic algebra A/k in terms of the higher differential algebra and analytic pⁿ-basis. The results are partial extension of our previous results for affine algebras to the case of analytic algebras (cf. [1 Furuya , M. , Niitsuma , H. ( 2002 ). Regularity criterion of Noetherian local rings of prime characteristic . J. Algebra 247 : 219 – 230 .[Crossref], [Web of Science ®] , [Google Scholar], 3 Furuya , M. , Niitsuma , H. (2006). Regular local rings essentially of finite type over fields of prime characteristic. J. Algebra 306:703–711.[Crossref], [Web of Science ®] , [Google Scholar]]), and these are partial generalization of results of Orbanz in the analytic case (cf. [9 Orbanz , U. ( 1973 ). Höhere Derivationen und Regularität . J. Reine Angew. Mathematik 262/263 : 194 – 204 .[Crossref] , [Google Scholar]]).     

A Braided Version of Some Results of Skryabin

We extend the main result of Skryabin in [9 Skryabin , S. ( 2007 ). Projectivity and freeness over comodule algebras . Trans. Amer. Math. Soc. 359 : 2597 – 2623 .[Crossref], [Web of Science ®] , [Google Scholar]] to Yetter-Drinfeld Hopf algebras over an arbitrary Hopf algebra H with bijective antipode.