Definition 42.2.1. Let $R$ be a ring.

1. A $2$-periodic complex over $R$ is given by a quadruple $(M, N, \varphi , \psi )$ consisting of $R$-modules $M$, $N$ and $R$-module maps $\varphi : M \to N$, $\psi : N \to M$ such that

$\xymatrix{ \ldots \ar[r] & M \ar[r]^\varphi & N \ar[r]^\psi & M \ar[r]^\varphi & N \ar[r] & \ldots }$

is a complex. In this setting we define the cohomology modules of the complex to be the $R$-modules

$H^0(M, N, \varphi , \psi ) = \mathop{\mathrm{Ker}}(\varphi )/\mathop{\mathrm{Im}}(\psi ) \quad \text{and}\quad H^1(M, N, \varphi , \psi ) = \mathop{\mathrm{Ker}}(\psi )/\mathop{\mathrm{Im}}(\varphi ).$

We say the $2$-periodic complex is exact if the cohomology groups are zero.

2. A $(2, 1)$-periodic complex over $R$ is given by a triple $(M, \varphi , \psi )$ consisting of an $R$-module $M$ and $R$-module maps $\varphi : M \to M$, $\psi : M \to M$ such that

$\xymatrix{ \ldots \ar[r] & M \ar[r]^\varphi & M \ar[r]^\psi & M \ar[r]^\varphi & M \ar[r] & \ldots }$

is a complex. Since this is a special case of a $2$-periodic complex we have its cohomology modules $H^0(M, \varphi , \psi )$, $H^1(M, \varphi , \psi )$ and a notion of exactness.

There are also:

• 2 comment(s) on Section 42.2: Periodic complexes and Herbrand quotients

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).