Abstract:We consider the algebra $A_N=k\langle x, y\rangle/(yx-xy-x^N)$, with $k$ a field of characteristic zero and $N$ a positive integer. Our main result is a complete description of the first Hochschild cohomology $\operatorname{HH}^1(A_N)$ of $A_N$ that consists both of explicit derivations of $A_N$ whose cohomology classes span it and a description of its Lie algebra structure. As we do this, we compute the automorphism group of the algebra, as well as certain characteristic subgroups thereof related to locally nilpotent derivations, classify the finite groups that act on $A_N$ and, finally, show that there are no inner-faithful actions of generalized Taft Hopf algebras on $A_N$. We establish this last result thanks to another calculation of Hochschild cohomology, now with twisted coefficients.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to give an explicit description of the first - order Hochschild cohomology space $HH^1(A_N)$ of the algebra $A_N$. Specifically, the author hopes to find the specific derivation representation forms of these cohomology classes, because these representations are very important for further calculations. In addition, the paper also explores the automorphism group related to $A_N$ and its actions, especially its actions on low - dimensional Hochschild cohomology and cyclic homology. ### Specific Background of the Problem 1. **Algebra $A_N$**: - The algebra $A_N$ is freely generated by two generators $x$ and $y$ and satisfies the relation $yx - xy=x^N$. - For different values of $N$, $A_N$ has different interpretations: when $N = 0$, it is the Weyl algebra; when $N=1$, it is the enveloping algebra of a two - dimensional non - commutative Lie algebra; when $N = 2$, it is the Jordan plane. 2. **Motivation**: - Calculate the first - order Hochschild cohomology space $HH^1(A_N)$ of $A_N$ and give the specific representation of its outer derivations. - Study the automorphism group of $A_N$ and its actions, especially their actions on Hochschild cohomology and cyclic homology. ### Main Results 1. **Theorem A**: - Gives an explicit description of $HH^1(A_N)$, including the specific forms of homogeneous derivations of different degrees. - Provides a Hilbert series formula for $HH^1(A_N)$. 2. **Theorem B**: - Describes a sequence $(L_j)_{j\geq - N + 1}$ of $HH^1(A_N)'$ (i.e., the derivation Lie algebra of $HH^1(A_N)$) and gives the Lie bracket relations between these derivations. 3. **Theorem C**: - Studies the automorphism group $\text{Aut}(A_N)$ of $A_N$ and gives its isomorphism relationship with $k[x]\rtimes k^{\times}$. - Describes locally nilpotent elements and their corresponding exponential maps. 4. **Theorem D**: - Introduces a locally nilpotent derivation $\partial_0$ and proves that it generates the center of $\text{Aut}(A_N)$. - Explores the twisted Calabi - Yau property of $A_N$ and its modular automorphism. 5. **Theorem E**: - Proves that every finite subgroup of $\text{Aut}(A_N)$ is a cyclic group and is conjugate to a subgroup generated by some root of unity. 6. **Theorem F**: - Studies the action of the generalized Taft Hopf algebra $T_n(\lambda, m)$ on $A_N$ and proves that there is no inner - faithful action. ### Summary The paper reveals the rich properties of these structures by studying in detail the first - order Hochschild cohomology of $A_N$, the automorphism group and its actions. In particular, by giving specific derivation representations and the structure of the automorphism group, it provides a solid foundation for subsequent research.

On the derivations and automorphisms of the algebra $k\langle x, y\rangle/(yx-xy-x^N)$

Automorphisms and derivations of finite-dimensional algebras

On the de Rham homology of affine varieties in characteristic 0

Algebraic K-theory of endomorphism rings

On the First Hochschild Cohomology of Admissible Algebras

Structure Of Hochschild Cohomology Of Path Algebras And Differential Formulation Of Euler'S Polyhedron Formula

On the algebra of derivations of some low-dimensional Leibniz algebras

On the Generalized Cartan Matrices Arising from K-Th Yau Algebras of Isolated Hypersurface Singularities

Cohomologies of N-Lie Algebras with Derivations

Push-outs of derivations

GENERALIZED CARTAN MATRICES ARISING FROM NEW DERIVATION LIE ALGEBRAS OF ISOLATED HYPERSURFACE SINGULARITIES

A generalization on derivations of Lie algebras

Twisted Derivations in Algebraic Number Fields

On $(α,1,0)$-derivations of anti-commutative algebras

Derivations of the Moduli Algebras of Weighted Homogeneous Hypersurface Singularities

Inequality Conjectures on Derivations of Local K-Th Hessain Algebras Associated to Isolated Hypersurface Singularities

On higher Jacobians, Laplace equations and Lefschetz properties

Local derivations and automorphisms of nilpotent Lie algebra

Norms of inner derivations for multiplier algebras of C-algebras and group C-algebras, II

On the First Hochschild Cohomology of Cocommutative Hopf Algebras of Finite Representation Type

Higher Koszul brackets on the cotangent complex