Table of Contents
Fetching ...

Twisted tensor products: Alexander-Whitney and Eilenberg-Zilber maps

Anne V. Shepler, Sarah Witherspoon

Abstract

Alexander-Whitney and Eilenberg-Zilber maps traditionally convert between the tensor product of standard resolutions and the standard resolution of a tensor product of algebras. We examine Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products, which include skew group algebras, smash products of Hopf algebras, Ore extensions, and universal enveloping algebras. These maps convert between the twist of standard resolutions and the standard resolution of a twist. We extend these to chain maps to and from twists of other resolutions. This allows one to transfer homological information between various resolutions of algebras and to expedite results on the deformation theory of twisted tensor product algebras.

Twisted tensor products: Alexander-Whitney and Eilenberg-Zilber maps

Abstract

Alexander-Whitney and Eilenberg-Zilber maps traditionally convert between the tensor product of standard resolutions and the standard resolution of a tensor product of algebras. We examine Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products, which include skew group algebras, smash products of Hopf algebras, Ore extensions, and universal enveloping algebras. These maps convert between the twist of standard resolutions and the standard resolution of a twist. We extend these to chain maps to and from twists of other resolutions. This allows one to transfer homological information between various resolutions of algebras and to expedite results on the deformation theory of twisted tensor product algebras.

Paper Structure

This paper contains 12 sections, 14 theorems, 179 equations.

Key Result

Lemma 3.7

Iterative twisting commutes with multiplication in the algebras $R$ and $S$: For any $\ell, j \geq 0$, the following diagram of vector spaces is commutative and a similar diagram holds for $\tau_{_{{\bf B}_S}}$ with the roles of $S$ and $R$ reversed.

Theorems & Definitions (44)

  • Remark 2.2
  • Definition 2.3
  • Remark 2.4
  • Remark 2.8
  • Lemma 3.7
  • Lemma 3.8
  • proof
  • Example 4.4
  • Example 4.8
  • Example 4.9
  • ...and 34 more