Skip to main content
Notice removed Current answers are outdated by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Current answers are outdated by truebaran
Bounty Started worth 250 reputation by truebaran
added 11 characters in body
Source Link
darij grinberg
  • 33.8k
  • 4
  • 118
  • 253

Let $A$ be a unital algebra over $\mathbb{C}$,. Let $C^n(A)$ be athe space offof all $n+1$-linear maps $f:A^{n+1} \to \mathbb{C}$ (to be called $n$ cochains-cochains) and define. Define $b:C^n(A) \to C^{n+1}(A)$ by the formula $$(bf)(a_0,a_1,...,a_n,a_{n+1}:=\sum_{j=0}^n(-1)^jf(a_0,...,a_{j-1},a_ja_{j+1},a_{j+2},...,a_{n+1}+(-1)^{n+1}f(a_{n+1}a_0,a_1,...,a_n).$$$$(bf)(a_0,a_1,...,a_n,a_{n+1}) \\ :=\sum_{j=0}^n(-1)^jf(a_0,...,a_{j-1},a_ja_{j+1},a_{j+2},...,a_{n+1}+(-1)^{n+1}f(a_{n+1}a_0,a_1,...,a_n).$$ The cohomology of this complex is called Hochschild cohomology of $A$. Let us call the $n$-cochain $f$ normalized if $f(a_0,a_1,...a_{n+1})=0$$f(a_0,a_1,...,a_n)=0$ whether $a_i=1$ for some $i \geq 1$. One checks that the normalized cochains form a subcomplex of $(C^*(A),b)$.

How to prove that the inclusion of normalized cochains into all cochains induces an isomorphism in cohomology?

Let $A$ be a unital algebra over $\mathbb{C}$, $C^n(A)$ be a space off all $n+1$-linear maps $f:A^{n+1} \to \mathbb{C}$ (to be called $n$ cochains) and define $b:C^n(A) \to C^{n+1}(A)$ by the formula $$(bf)(a_0,a_1,...,a_n,a_{n+1}:=\sum_{j=0}^n(-1)^jf(a_0,...,a_{j-1},a_ja_{j+1},a_{j+2},...,a_{n+1}+(-1)^{n+1}f(a_{n+1}a_0,a_1,...,a_n).$$ The cohomology of this complex is called Hochschild cohomology. Let us call the $n$-cochain normalized if $f(a_0,a_1,...a_{n+1})=0$ whether $a_i=1$ for some $i \geq 1$. One checks that the normalized cochains form a subcomplex of $(C^*(A),b)$

How to prove that the inclusion of normalized cochains into all cochains induces an isomorphism in cohomology?

Let $A$ be a unital algebra over $\mathbb{C}$. Let $C^n(A)$ be the space of all $n+1$-linear maps $f:A^{n+1} \to \mathbb{C}$ (to be called $n$-cochains). Define $b:C^n(A) \to C^{n+1}(A)$ by the formula $$(bf)(a_0,a_1,...,a_n,a_{n+1}) \\ :=\sum_{j=0}^n(-1)^jf(a_0,...,a_{j-1},a_ja_{j+1},a_{j+2},...,a_{n+1}+(-1)^{n+1}f(a_{n+1}a_0,a_1,...,a_n).$$ The cohomology of this complex is called Hochschild cohomology of $A$. Let us call the $n$-cochain $f$ normalized if $f(a_0,a_1,...,a_n)=0$ whether $a_i=1$ for some $i \geq 1$. One checks that the normalized cochains form a subcomplex of $(C^*(A),b)$.

How to prove that the inclusion of normalized cochains into all cochains induces an isomorphism in cohomology?

Source Link
truebaran
  • 9.3k
  • 5
  • 30
  • 88

Normalization of Hochschild cocycles

Let $A$ be a unital algebra over $\mathbb{C}$, $C^n(A)$ be a space off all $n+1$-linear maps $f:A^{n+1} \to \mathbb{C}$ (to be called $n$ cochains) and define $b:C^n(A) \to C^{n+1}(A)$ by the formula $$(bf)(a_0,a_1,...,a_n,a_{n+1}:=\sum_{j=0}^n(-1)^jf(a_0,...,a_{j-1},a_ja_{j+1},a_{j+2},...,a_{n+1}+(-1)^{n+1}f(a_{n+1}a_0,a_1,...,a_n).$$ The cohomology of this complex is called Hochschild cohomology. Let us call the $n$-cochain normalized if $f(a_0,a_1,...a_{n+1})=0$ whether $a_i=1$ for some $i \geq 1$. One checks that the normalized cochains form a subcomplex of $(C^*(A),b)$

How to prove that the inclusion of normalized cochains into all cochains induces an isomorphism in cohomology?