Abstract
For each nonzero $h\in\mathbb{F}\[x]$, where $\mathbb{F}$ is a field, let $\mathsf{A}\_h$ be the unital associative algebra generated by elements $x,y$, satisfying the relation $yx-xy=h$. This gives a parametric family of subalgebras of the Weyl algebra $\mathsf{A}\_1$, containing many well-known algebras which have previously been studied independently. In this paper, we give a full description of the Hochschild cohomology $\operatorname{\mathsf{HH}}^{\bullet}(\mathsf{A}h)$ over a field of an arbitrary characteristic. In case $\mathbb{F}$ has a positive characteristic, the center $\mathsf{Z}(\mathsf{A}{h})$ of $\mathsf{A}\_h$ is nontrivial and we describe $\operatorname{\mathsf{HH}}^\bullet(\mathsf{A}h)$ as a module over $\mathsf{Z}(\mathsf{A}{h})$. The most interesting results occur when $\mathbb{F}$ has a characteristic $0$. In this case, we describe $\operatorname{\mathsf{HH}}^\bullet(\mathsf{A}\_h)$ as a module over the Lie algebra $\operatorname{\mathsf{HH}}^1(\mathsf{A}\_h)$ and find that this action is closely related to the intermediate series modules over the Virasoro algebra. We also determine when $\operatorname{\mathsf{HH}}^\bullet(\mathsf{A}\_h)$ is a semisimple $\operatorname{\mathsf{HH}}^1(\mathsf{A}\_h)$-module.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.