Auslander–Reiten theory on the homotopy category of projective modules

An Auslander–Reiten formula in the homotopy category of complexes of projective modules is presented. This formula guarantees the explicit description of Auslander–Reiten triangles in the homotopy category. Furthermore, almost split sequences in a module category can be deduced from these Auslander–Reiten triangles.