On the Hom-associative Weyl algebras (Q2173865)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the Hom-associative Weyl algebras
scientific article

    Statements

    On the Hom-associative Weyl algebras (English)
    0 references
    0 references
    0 references
    17 April 2020
    0 references
    This nice paper deals with Hom-algebras and deformation theory. The paper studies such type Hom-structures. A Hom-associative algebra over an associative, commutative, and unital ring \(R\), is a triple \((M,\cdot,\alpha)\) consisting of an \(R\)-module \(M\), a binary operation \(\cdot\colon M\times M\to M\) linear over \(R\) in both arguments, and an \(R\)-linear map \(\alpha\colon M\to M\), satisfying, for all \(a,b,c\in M\), \(\alpha(a)\cdot(b\cdot c)=(a\cdot b)\cdot\alpha(c)\). A Hom-Lie algebra over an associative, commutative, and unital ring \(R\), is a triple \((M, [\cdot,\cdot], \alpha)\) where \(M\) is an \(R\)-module, \(\alpha\colon M\to M\) a linear map called the twisting map, and \([\cdot,\cdot]\colon M\times M\to M\) a map called the hom-Lie bracket, satisfying the following axioms for all \(a,b,c\in M\) and \(r,s\in R\): \[ [ra+sb,c]=r[a,c]+s[b,c], \ \ [a,rb+sc]=r[a,b]+s[a,c],\ \text{(bilinearity)} \] \[ [a,a]=0,\ \ \text{(alternativity)}, \] \[ \left[\alpha(a),[b,c]\right]+\left[\alpha(c),[a,b]\right]+\left[\alpha(b),[c,a]\right]=0,\ \ \text{(Hom-Jacobi identity)}. \] Motivation provided by the authors is as follows: The first (associative) Weyl algebra is formally rigid in the classical sense. In this paper, it is shown that it can however be formally deformed in a nontrivial way when considered as a so-called Hom-associative algebra, and that this deformation preserves properties such as the commuter, while deforming others, such as the center, power associativity, the set of derivations, and some commutation relations. This deformation induces a formal deformation of the corresponding Lie algebra into what is known as a Hom-Lie algebra, when using the commutator as bracket. It is also proven that all homomorphisms between any two purely Hom-associative Weyl algebras are in fact isomorphisms. In particular, all endomorphisms are automorphisms in this case, hence proving a Hom-associative analogue of the Dixmier conjecture to hold true.
    0 references
    Dixmier conjecture
    0 references
    Hom-associative Ore extensions
    0 references
    Hom-associative Weyl algebras
    0 references
    formal Hom-associative deformations
    0 references
    formal Hom-Lie deformations
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references