No Arabic abstract
Consider a smooth affine algebraic variety $X$ over an algebraically closed field, and let a finite group $G$ act on it. We assume that the characteristic of the field is greater than the dimension of $X$ and the order of $G$. An explicit formula for multiplication on the Hochschild cohomology of a crossed product of $k[G]$ and $k[X]$ is given in terms of multivector fields on $X$ and $g$-invariant subvarieties of $X$ for $gin G$.
This paper generalizes Huangs cohomology theory of grading-restricted vertex algebras to meromorphic open-string vertex algebras (MOSVAs hereafter), which are noncommutative generalizations of grading-restricted vertex algebras introduced by Huang. The vertex operators for these algebras satisfy associativity but do not necessarily satisfy the commutativity. Moreover, the MOSVA and its bimodules considered in this paper do not necessarily have finite-dimensional homogeneous subspaces, though we do require that they have lower-bounded gradings. The construction and results in this paper will be used in a joint paper by Huang and the author to give a cohomological criterion of the reductivity for modules for grading-restricted vertex algebras
Coisotropic algebras consist of triples of algebras for which a reduction can be defined and unify in a very algebraic fashion coisotropic reduction in several settings. In this paper we study the theory of (formal) deformation of coisotropic algebras showing that deformations are governed by suitable coisotropic DGLAs. We define a deformation functor and prove that it commutes with reduction. Finally, we study the obstructions to existence and uniqueness of coisotropic algebras and present some geometric examples.
Let k be a field, q in k. We derive a cup product formula on the Hochschild cohomology ring of a family Lambda_q of quiver algebras. Using this formula, we determine a subalgebra of k[x,y] isomorphic to Hochschild cohomology modulo N, where N is the ideal generated by homogeneous nilpotent elements. We explicitly construct non-nilpotent Hochschild cocycles which cannot be generated by lower homological degree elements, thus disproving the Snashall-Solberg finite generation conjecture.
We describe the Gerstenhaber algebra structure on the Hochschild cohomology HH*$(A)$ when $A$ is a quadratic string algebra. First we compute the Hochschild cohomology groups using Barzdells resolution and we describe generators of these groups. Then we construct comparison morphisms between the bar resolution and Bardzells resolution in order to get formulae for the cup product and the Lie bracket. We find conditions on the bound quiver associated to string algebras in order to get non-trivial structures.
We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant global sections recover the associated graded algebra of the Hochschild cohomology of [X/G], under a natural filtration. This sheaf is an algebra over the polyvector fields T^{poly}_X on X, and is generated as a T^{poly}_X-algebra by the sum of the determinants det(N_{X^g}) of the normal bundles of the fixed loci in X. We employ our understanding of Hochschild cohomology to conclude that the analog of Kontsevichs formality theorem, for the cup product, does not hold for Deligne--Mumford stacks in general. We discuss relationships with orbifold cohomology, extending Ruans cohomological conjectures. This employs a trivialization of the determinants in the case of a symplectic group action on a symplectic variety X, which requires (for the cup product) a nontrivial normalization missing in previous literature.