The character map in deformation quantization

The third author recently proved that the Shoikhet–Dolgushev L_∞-morphism from Hochschild chains of the algebra of smooth functions on a manifold to differential forms extends to cyclic chains. Localization at a solution of the Maurer–Cartan equation gives an isomorphism, which we call character map, from the periodic cyclic homology of a formal associative deformation of the algebra of functions to de Rham cohomology. We prove that the character map is compatible with the Gauss–Manin connection, extending a result of Calaque and Rossi on the compatibility with the cap product. As a consequence, the image of the periodic cyclic cycle 1 is independent of the deformation parameter and we compute it to be the A-roof genus of the manifold. Our results also imply the Tamarkin–Tsygan index theorem.     

Covariant and equivariant formality theorems

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original proof, which is based on ∞-jets of polydifferential operators and polyvector fields. Using our construction we prove that if a group G acts smoothly on a manifold M and M admits a G-invariant affine connection then there exists a G-equivariant quasi-isomorphism of formality. This result implies that if a manifold M is equipped with a smooth action of a finite or compact group G or equipped with a free action of a Lie group G then M admits a G-equivariant formality quasi-isomorphism. In particular, this gives a solution of the deformation quantization problem for an arbitrary Poisson orbifold.     

无限箭图的同调群

对任意箭图Q,我们研究路代数A=kQ的Hochschild同调群H_n(A)和同调群Tor_n^Ae(A,A),其中A^e是代数A的包络代数。在本文中,我们具体地给出了各次同调群和Hochschild同调群。     

Hodge structures on cohomology algebras and geometry

We study restrictions on cohomology algebras of compact Kähler manifolds, imposed by the presence of a polarized Hodge structure on cohomology groups, compatible with the cup-product, but not depending on the h ^p,q numbers or the symplectic structure. To illustrate the effectiveness of these restrictions, we give a number of examples of compact symplectic manifolds satisfying the formality condition, the Lefschetz property and having commutative or trivial π ₁, but not having the cohomology algebra of a compact Kaehler manifold. We also prove a stability theorem for these restrictions : if a compact Kähler manifold is homeomorphic to a product X × Y, with one summand satisfying b ₁ = 0, then the cohomology algebra of each summand carries a polarized Hodge structure.     

Hochschild Cohomology and Representation-Finite Algebras

Using Grothendieck's semicontinuity theorem for half-exact functors,we derive two semicontinuity results on Hochschild cohomology.We apply these to show that the first Hochschild cohomogy groupof the mesh algebra of a translation quiver over a domain vanishesif and only if the translation quiver is simply connected. Wethen establish an exact sequence relating the first Hochschildcohomology group of an algebra to that of the endomorphism algebraof a module and apply it to study the first Hochschild cohomologygroup of an Auslander algebra. Our main result shows that fora finite-dimensional and representation-finite algebra algebraA over an algebraically closed field with Auslander algebra the following conditions are equivalent:

1. (1)A admits no outer derivation;
2. (2) admits no outer derivations;
3. (3) A is simply connected;
4. (4) is strongly simply connected.

. 2000 Mathematics Subject Classification 16E30, 16G30.     

Formule d'homotopie entre les complexes de Hochschild et de De Rham

Let k be the field or let M be the space k ⁿ and let A be the algebra of polynomials over M. We know from Hochschild and co-workers that the Hochschild homology H _·(A,A) is isomorphic to the de Rham differential forms over M: this means that the complexes (C _·(A,A),b) and (^·(M), 0) are quasi-isomorphic. In this work, I produce a general explicit homotopy formula between those two complexes. This formula can be generalized when M is an open set in a complex manifold and A is the space of holomorphic functions over M. Then, by taking the dual maps, I find a new homotopy formula for the Hochschild cohomology of the algebra of smooth fonctions over M (when M is either a complex or a real manifold) different from the one given by De Wilde and Lecompte. I will finally show how this formula can be used to construct an homotopy for the cyclic homology.     

Hochschild cohomology via incidence algebras

Given an algebra A, we associate an incidence algebra A() andcompare their Hochschild cohomology groups.     

On the normalizers of subalgebras in an infinite Lie algebra

An algorithm for calculating the normalizer of subalgebra in an infinite Lie symmetry algebra is proposed. The classification problem for a subalgebra spanned by generators that depend on arbitrary functions is formulated. This problem lies in finding the specifications of arbitrary functions and calculating the normalizers of the subalgebras so obtained. As an example, we consider the Lie symmetry algebra L admitted by the thermal diffusion equations. The first-order optimal system of subalgebras Θ₁L is constructed and the normalizers of finite subalgebras from this system are found. The classification of subalgebras depending on arbitrary functions is made.     

Gerstenhaber Algebra Structure on the Hochschild Cohomology of Quadratic String Algebras

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 Barzdell’s resolution and we describe generators of these groups. Then we construct comparison morphisms between the bar resolution and Bardzell’s 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.     

Singular Hochschild cohomology via the singularity category

We show that the singular Hochschild cohomology (= Tate–Hochschild cohomology) of an algebra A is isomorphic, as a graded algebra, to the Hochschild cohomology of the differential graded enhancement of the singularity category of A. The existence of such an isomorphism is suggested by recent work by Zhengfang Wang.     

The cohomology structure of string algebras

We show that the graded commutative ring structure of the Hochschild cohomology HH^*(A) is trivial in case A is a triangular quadratic string algebra. Moreover, in case A is gentle, the Lie algebra structure on HH^*(A) is also trivial.     

To the Theory of Sobolev-Type Classes of Functions with Values in a Metric Space

We study some classes of functions with values in a complete metric space which can be considered as analogs of the Sobolev spaces W _p ¹ . Earlier the author considered the case of functions on a domain of ? ⁿ . Here we study the general case of mappings on an arbitrary Lipschitz manifold. We give necessary auxiliary facts, consider some examples, and describe some methods of construction of lower semicontinuous functionals on the classes W _p ¹ (M), where M is a Lipschitz manifold.     

Left-right noncommutative Poisson algebras

The notions of left-right noncommutative Poisson algebra (NP^lr-algebra) and left-right algebra with bracket AWB^lr are introduced. These algebras are special cases of NLP-algebras and algebras with bracket AWB, respectively, studied earlier. An NP^lr-algebra is a noncommutative analogue of the classical Poisson algebra. Properties of these new algebras are studied. In the categories AWB^lr and NP^lr-algebras the notions of actions, representations, centers, actors and crossed modules are described as special cases of the corresponding wellknown notions in categories of groups with operations. The cohomologies of NP^lr-algebras and AWB^lr (resp. of NP^r-algebras and AWB^r) are defined and the relations between them and the Hochschild, Quillen and Leibniz cohomologies are detected. The cases P is a free AWB^r, the Hochschild or/and Leibniz cohomological dimension of P is ≤ n are considered separately, exhibiting interesting possibilities of representations of the new cohomologies by the well-known ones and relations between the corresponding cohomological dimensions.     

The bitwisted Cartesian model for the free loop fibration

Using the notion of truncating twisting function from a simplicial set to a cubical set a special, bitwisted, Cartesian product of these sets is defined. For the universal truncating twisting function, the (co)chain complex of the corresponding bitwisted Cartesian product agrees with the standard Cartier (Hochschild) chain complex of the simplicial (co)chains. The modelling polytopes Fn are constructed. An explicit diagonal on Fn is defined and a multiplicative model for the free loop fibration ΩY→ΛY→Y is obtained. As an application we establish an algebra isomorphism H^∗(ΛY;Z)≈S(U)⊗Λ(s−1U) for the polynomial cohomology algebra H^∗(Y;Z)=S(U).     

Hochschild cohomology and “smoothness” in monoidal categories

We introduce and investigate the properties of Hochschild cohomology of algebras in an abelian monoidal category M. We show that the second Hochschild cohomology group of an algebra in M classifies extensions of A up to an equivalence. We characterize algebras of Hochschild dimension 0 (separable algebras), and of Hochschild dimension ≤1 (formally smooth algebras). Several particular cases and applications are included in the last section of the paper.     

Restriction to compact subgroups in the cyclic homology of reductive p-adic groups

Restriction of functions from a reductive p-adic group G to its compact subgroups defines an operator on the Hochschild and cyclic homology of the Hecke algebra of G. We study the commutation relations between this operator and others coming from representation theory: Jacquet functors, idempotents in the Bernstein centre, and characters of admissible representations.     

Hochschild Cohomology of <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We compute the Hochschild cohomology of any block of q-Schur algebras. We focus on the even part of this Hochschild cohomology ring. To compute the Hochschild cohomology of q-Schur algebras, we prove the following two results: first, we construct two graded algebra surjections between the Hochschild cohomologies of quasi-hereditary algebras because all q-Schur algebras over a field are quasi-hereditary. Second, we give the graded algebra isomorphism of Hochschild cohomologies by using a certain derive equivalence.     

Hochschild cohomology of triangular string algebras and its ring structure

We compute the Hochschild cohomology groups HH^?(A)${\mathrm{HH}}^{?}(A)$ in case A is a triangular string algebra, and show that its ring structure is trivial.