We show that dualising transfer maps in Hochschild cohomology of symmetric algebras over complete discrete valuations rings commutes with Tate duality. This is analogous to a similar result for Tate cohomology of symmetric algebras over fields. We interpret both results in the broader context of Calabi–Yau triangulated categories.

Let G be a finite group whose order is not divisible by the characteristic of the ground field $\mathbb {F}$. We prove a decomposition of the Hochschild homology groups of the equivariant dg category $\mathscr {C}^G$ associated with the action of G on a small dg category $\mathscr {C}$ which admits finite direct sums. When, in addition, the ground field $\mathbb {F}$ is algebraically closed this decomposition is related to a categorical action of $\text {Rep}(G)$ on $\mathscr {C}^G$ and the resulting action of the representation ring $R_{\mathbb {F}}(G)$ on $HH_\bullet (\mathscr {C}^G)$.

We show that relative Calabi–Yau structures on noncommutative moment maps give rise to (quasi-)bisymplectic structures, as introduced by Crawley-Boevey–Etingof–Ginzburg (in the additive case) and Van den Bergh (in the multiplicative case). We prove along the way that the fusion process (a) corresponds to the composition of Calabi–Yau cospans with ‘pair-of-pants’ ones and (b) preserves the duality between non-degenerate double quasi-Poisson structures and quasi-bisymplectic structures.

As an application, we obtain that Van den Bergh’s Poisson structures on the moduli spaces of representations of deformed multiplicative preprojective algebras coincide with the ones induced by the $2$-Calabi–Yau structures on (dg-versions of) these algebras.

Reflexive homology is the homology theory associated to the reflexive crossed simplicial group; one of the fundamental crossed simplicial groups. It is the most general way to extend Hochschild homology to detect an order-reversing involution. In this paper we study the relationship between reflexive homology and the $C_2$-equivariant homology of free loop spaces. We define reflexive homology in terms of functor homology. We give a bicomplex for computing reflexive homology together with some calculations, including the reflexive homology of a tensor algebra. We prove that the reflexive homology of a group algebra is isomorphic to the homology of the $C_2$-equivariant Borel construction on the free loop space of the classifying space. We give a direct sum decomposition of the reflexive homology of a group algebra indexed by conjugacy classes of group elements, where the summands are defined in terms of a reflexive analogue of group homology. We define a hyperhomology version of reflexive homology and use it to study the $C_2$-equivariant homology of certain free loop and free loop-suspension spaces. We show that reflexive homology satisfies Morita invariance. We prove that under nice conditions the involutive Hochschild homology studied by Braun and by Fernàndez-València and Giansiracusa coincides with reflexive homology.

We prove that real topological Hochschild homology $\mathrm {THR}$ for schemes with involution satisfies base change and descent for the ${\mathbb {Z}/2}$-isovariant étale topology. As an application, we provide computations for the projective line (with and without involution) and the higher-dimensional projective spaces.

We establish a Hirzebruch–Riemann–Roch-type theorem and a Grothendieck–Riemann–Roch-type theorem for matrix factorizations on quotient Deligne–Mumford stacks. For this, we first construct a Hochschild–Kostant–Rosenberg-type isomorphism explicit enough to yield a categorical Chern character formula. Then, we find an expression of the canonical pairing of Shklyarov under the isomorphism.

We present a framework for the computation of the Hopf 2-cocycles involved in the deformations of Nichols algebras over semisimple Hopf algebras. We write down a recurrence formula and investigate the extent of the connection with invariant Hochschild cohomology in terms of exponentials. As an example, we present detailed computations leading to the explicit description of the Hopf 2-cocycles involved in the deformations of a Nichols algebra of Cartan type $A_2$ with $q=-1$, a.k.a. the positive part of the small quantum group $\mathfrak{u}^+_{\sqrt{-\text{1}}}(\mathfrak{sl}_3)$. We show that these cocycles are generically pure, that is they are not cohomologous to exponentials of Hochschild 2-cocycles.

We give counterexamples to the degeneration of the Hochschild-Kostant-Rosenberg spectral sequence in characteristic p, both in the untwisted and twisted settings. We also prove that the de Rham-HP and crystalline-TP spectral sequences need not degenerate.

We give a necessary and sufficient condition for the existence of an enhancement of a finite triangulated category. Moreover, we show that enhancements are unique when they exist, up to Morita equivalence.

We compute the $g=1$, $n=1$ B-model Gromov–Witten invariant of an elliptic curve $E$ directly from the derived category $\mathsf{D}_{\mathsf{coh}}^{b}(E)$. More precisely, we carry out the computation of the categorical Gromov–Witten invariant defined by Costello using as target a cyclic $\mathscr{A}_{\infty }$ model of $\mathsf{D}_{\mathsf{coh}}^{b}(E)$ described by Polishchuk. This is the first non-trivial computation of a positive-genus categorical Gromov–Witten invariant, and the result agrees with the prediction of mirror symmetry: it matches the classical (non-categorical) Gromov–Witten invariants of a symplectic 2-torus computed by Dijkgraaf.

By using a representation of a Lie algebra on the second Hochschild cohomology group, we construct an obstruction class to extensibility of derivations and a short exact sequence of Wells type for an abelian extension of an associative algebra.

The cup product in the cohomology of algebras over quadratic operads has been studied in the general setting of Koszul duality for operads. We study the cup product on the cohomology of n-ary totally associative algebras with an operation of even (homological) degree. This cup product endows the cohomology with the structure of an n-ary partially associative algebra with an operation of even or odd degree depending on the parity of n. In the cases n=3 and n=4, we provide an explicit definition of this cup product and prove its basic properties.

Keller proved in 1999 that the Gerstenhaber algebra structure on the Hochschild cohomology of an algebra is an invariant of the derived category. In this paper, we adapt his approach to show that the Gerstenhaber algebra structure on the Tate–Hochschild cohomology of an algebra is preserved under singular equivalences of Morita type with level, a notion introduced by the author in previous work.

Nakayama automorphisms play an important role in the fields of noncommutative algebraic geometry and noncommutative invariant theory. However, their computations are not easy in general. We compute the Nakayama automorphism ν of an Ore extension R[x; σ, δ] over a polynomial algebra R in n variables for an arbitrary n. The formula of ν is obtained explicitly. When σ is not the identity map, the invariant EG is also investigated in terms of Zhang’s twist, where G is a cyclic group sharing the same order with σ.

We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient triangulated category. We also observe that the category generated by the structure sheaf of a smooth projective variety over the complex numbers only depends on its graded cohomology algebra.

We prove formulas of different types that allow us to calculate the Gerstenhaber bracket on the Hochschild cohomology of an algebra using some arbitrary projective bimodule resolution for it. Using one of these formulas, we give a new short proof of the derived invariance of the Gerstenhaber algebra structure on Hochschild cohomology. We also give some new formulas for the Connes differential on the Hochschild homology that lead to formulas for the Batalin–Vilkovisky (BV) differential on the Hochschild cohomology in the case of symmetric algebras. Finally, we use one of the obtained formulas to provide a full description of the BV structure and, correspondingly, the Gerstenhaber algebra structure on the Hochschild cohomology of a class of symmetric algebras.

We consider the unital Banach algebra $\ell ^{1}(\mathbb{Z}_{+})$ and prove directly, without using cyclic cohomology, that the simplicial cohomology groups ${\mathcal{H}}^{n}(\ell ^{1}(\mathbb{Z}_{+}),\ell ^{1}(\mathbb{Z}_{+})^{\ast })$ vanish for all $n\geqslant 2$. This proceeds via the introduction of an explicit bounded linear operator which produces a contracting homotopy for $n\geqslant 2$. This construction is generalised to unital Banach algebras $\ell ^{1}({\mathcal{S}})$, where ${\mathcal{S}}={\mathcal{G}}\cap \mathbb{R}_{+}$ and ${\mathcal{G}}$ is a subgroup of $\mathbb{R}_{+}$.

Using that integrable derivations of symmetric algebras can be interpreted in terms of Bockstein homomorphisms in Hochschild cohomology, we show that integrable derivations are invariant under the transfer maps in Hochschild cohomology of symmetric algebras induced by stable equivalences of Morita type. With applications in block theory in mind, we allow complete discrete valuation rings of unequal characteristic.

It is shown that various definitions of $\unicode[STIX]{x1D711}$ -Connes amenability and $\unicode[STIX]{x1D711}$ -contractibility are equivalent to older and simpler concepts.

We present a calculus that is well-adapted to homogeneous quadratic algebras. We define this calculus on Koszul cohomology – resp. homology – by cup products – resp. cap products. The Koszul homology and cohomology are interpreted in terms of derived categories. If the algebra is not Koszul, then Koszul (co)homology provides different information than Hochschild (co)homology. As an application of our calculus, the Koszul duality for Koszul cohomology algebras is proved for any quadratic algebra, and this duality is extended in some sense to Koszul homology. So, the true nature of the Koszul duality theorem is independent of any assumption on the quadratic algebra. We compute explicitly this calculus on a non-Koszul example.