1 Overview of degree shift

1.1 Graded objects and degree indexing

A graded object (such as a graded module, graded vector space, or a graded chain/cochain complex) decomposes into pieces indexed by integers. For a graded module \(M=\bigoplus_{n\in\mathbb Z} M_n\), each \(M_n\) is the homogeneous component of degree \(n\). Many algebraic constructions respect this decomposition, and degree shift is the basic operation that reindexes these homogeneous components without changing their internal structure.

1.2 Notation and the meaning of shifting by an integer

Let \(k\in\mathbb Z\). The degree shift \(M[k]\) (also written \(M\{k\}\) in some contexts) is defined by \[ (M[k])_n = M_{n+k}. \] Equivalently, an element of \(M\) originally in degree \(m\) is viewed in \(M[k]\) as having degree \(m-k\). This convention ensures that shifting by \(k\) “moves” components downward by \(k\) in the displayed grading. In other conventions (notably in parts of topology and physics), authors may use \((M[k])_n=M_{n-k}\); the key point is consistent use with differentials and signs.

1.3 Degree shift on graded modules versus graded vector spaces

The definition is uniform across graded modules and graded vector spaces: it is purely a reindexing of homogeneous pieces. For graded vector spaces over a field, the shift preserves dimensions of each degree component up to reindexing, and any grading-preserving linear map remains grading-preserving after applying the same shift to source and target in compatible ways. The main additional structure in homological algebra comes when differentials are present, because those maps have fixed degrees and interact with the shift via sign rules.

2 Degree shift in homological algebra

2.1 Shifting cochain complexes

2.1.1 Component-wise reindexing

A cochain complex \(C^\bullet\) is graded by cohomological degree, with a differential \[ d: C^n \to C^{n+1} \] of degree \(+1\). For an integer \(k\), the shifted cochain complex \(C^\bullet[k]\) is defined by \[ (C^\bullet[k])^n = C^{n+k}. \] As an underlying graded object, this is again a reindexing. The differential on the shifted complex is determined by requiring compatibility with the original differential and with grading conventions.

2.1.1.1 Example: shifting a small finite graded complex

Consider a finite cochain complex with nonzero terms only in degrees \(-1,0\): \[ 0 \to C^{-1} \xrightarrow{d^{-1}} C^0 \to 0. \] Shifting by \(1\) gives \[ 0 \to (C[1])^0=C^{1} = 0 \to (C[1])^ {-1}=C^{0} \xrightarrow{?} (C[1])^{-0}=C^{1}=0 \to 0, \] so the only potentially nonzero differential now lands between degrees \(-1\) and \(0\) of the shifted complex. Concretely, the original component \(C^0\) moves to degree \(-1\), and the original differential \(C^{-1}\to C^0\) becomes a differential \((C[1])^{-2}\to (C[1])^{-1}\) after reindexing; the differential map is then adjusted by the appropriate sign convention (see below).

2.1.2 Behavior of differentials under shift

Because the differential has a fixed degree, shifting changes which component it acts on, but not its degree as a map of shifted objects. If \(d^n: C^n\to C^{n+1}\), then in the shifted complex one wants \[ d_{C[k]}^n : (C[k])^n \to (C[k])^{n+1} \] to correspond to \(d^{n+k}: C^{n+k}\to C^{n+k+1}\). Thus, component-wise, the formula for the underlying map is the same; the only subtlety is the sign needed to preserve the cochain-complex identity \(d^2=0\) after regrading.

2.1.3 Sign conventions for shifted differentials

Commonly, one introduces a sign so that the shift defines a functor compatible with composition in the homotopy category. A widely used convention is: \[ d_{C[k]}^n = (-1)^k\, d^{n+k}. \] Under this rule, the shifted differential still satisfies \((d_{C[k]})^2=0\), since applying the differential twice contributes \((-1)^k\) twice, producing no net sign change. Different authors may place the sign in a slightly different place (for instance, \((-1)^{k(n)}\) in some conventions for graded categories), but the goal is always coherence with functoriality and with the graded Leibniz rule for tensor products.

2.2 Shifting chain complexes

2.2.1 Relation between chain and cochain conventions

A chain complex \(C_\bullet\) is graded by homological degree, typically with differential \[ d: C_n \to C_{n-1} \] of degree \(-1\). Shifts can be defined analogously by reindexing: \[ (C[k])_n = C_{n+k}. \] As with cochain complexes, the differential must be adjusted to match the shift and to preserve \(d^2=0\). The main difference from the cochain case is the direction of degree change under the differential, which affects how sign conventions are presented.

2.2.2 Compatibility of shift with differentials

If \(d_n: C_n\to C_{n-1}\), then on the shifted complex one wants a map \[ d_{C[k],n}: (C[k])_n \to (C[k])_{n-1}, \] which corresponds component-wise to \(d_{n+k}: C_{n+k}\to C_{n+k-1}\). The sign factor is chosen so that the shifted differential squares to zero and so that shift interacts correctly with other graded operations. Under standard conventions, the shift for chain complexes involves a sign similar in spirit to the cochain case; the exact exponent depends on whether the author’s grading is cohomological or homological and on how suspension is defined.

2.3 Suspension and desuspension

2.3.1 Common notations (e.g., Σ and Σ⁻¹)

Suspension is the degree shift by \(\pm 1\). In cohomological conventions, one often sets \[ \Sigma C^\bullet = C^\bullet[1], \qquad \Sigma^{-1} C^\bullet = C^\bullet[-1]. \] In homological conventions, authors may denote suspension with a shift that reflects the direction of the differential. The notation emphasizes that suspension changes degrees but also encodes the associated sign behavior in the differential.

2.3.2 Effects on degrees and grading parity

Suspension by one unit swaps parity of grading: elements that were in even degrees become odd after the shift, and vice versa. In many constructions—especially those involving graded commutativity or graded tensor products—this parity change is precisely why signs arise. For example, when forming graded morphism spaces, the degree of a map may change relative to the underlying object, and the suspension helps track these changes systematically.

3 Properties and functorial behavior

3.1 Shift as an endofunctor

The assignment \(M \mapsto M[k]\) (and \(C^\bullet\mapsto C^\bullet[k]\)) defines an endofunctor on the category of graded objects or graded complexes. Morphisms are adjusted so that their degree behavior is preserved: a graded morphism \(f: M\to N\) induces \[ f[k]: M[k]\to N[k] \] by acting on the same underlying maps between homogeneous components, merely viewed with shifted degrees. For complexes, the shift functor additionally includes the chosen sign convention on differentials so that it respects the differential structure.

3.2 Natural isomorphisms and associativity of shifts

Degree shifts are canonically associative up to natural isomorphism. There is a natural identification \[ (M[k])[l] \cong M[k+l] \] given by reindexing twice, which results in the net reindexing by \(k+l\). Similar statements hold for complexes. In practice, this means that one can manipulate expressions like \(C^\bullet[k][l]\) and replace them with \(C^\bullet[k+l]\) without ambiguity, provided the sign conventions are consistent with the functorial definition.

3.3 Inverses of degree shifts

Shifting by \(k\) has an inverse shift by \(-k\). For graded objects, \[ (M[k])[-k] \cong M, \] again via reindexing. For complexes, the inverse works provided the differential sign rules are defined in a way compatible with the composition of shift functors.

3.4 Interaction with direct sums and tensor products

Direct sums commute with degree shifting: \[ (M\oplus N)[k] \cong M[k]\oplus N[k]. \] Tensor products require more care in the presence of grading. While the underlying reindexing is straightforward for \((M[k]\otimes N[l])\), the tensor product differential (for complexes) or the graded commutation relations (for algebraic structures) typically introduce signs dependent on degrees. Shift changes which components are considered degree \(n\), so sign exponents must be updated accordingly. Well-chosen sign conventions for suspension are designed so that these interactions remain coherent.

4 Morphisms and graded maps

4.1 Induced maps between shifted objects

Given a graded morphism \(f:M\to N\) that is degree-preserving (or of a specified degree), one obtains induced maps between shifted objects by shifting both domain and codomain in compatible ways. If \(f\) has homogeneous degree \(r\), meaning it sends \(M_n\) into \(N_{n+r}\), then in shifted settings the same underlying rule determines the degree of the induced morphism, with the degree reinterpreted through the reindexing.

4.2 Degree of a graded morphism under shift

If \(f\) is of degree \(r\), then \(f[k]\) (or the corresponding map between shifted objects) is usually still of degree \(r\) when both source and target are shifted by the same amount. However, when shifting only one side, the degree effectively changes by the shift amount because the grading indices shift. This bookkeeping is particularly important in homological algebra, where chain maps and cochain maps may be required to have specific degrees to interact with cones, derived functors, or exact triangles.

4.3 Hom sets/Ext-type constructions with shifts

In derived or Ext-type constructions, shifting appears naturally because extension groups and homotopy classes detect degree differences. For instance, in many frameworks one has identifications of the form \[ \operatorname{Hom}^\bullet(M, N[k]) \] with shifted grading pieces of a graded Hom complex. These relationships rely on the fact that shifting changes where nonzero degree components occur, allowing Ext groups in one degree to be reinterpreted as Hom groups into a shifted target.

4.4 Composition rules for shifted morphisms

Composition of morphisms is compatible with shift functoriality: shifting does not break associativity. For complexes, if one uses sign-adjusted differentials and defines shift maps coherently, then compositions in homotopy categories remain well-behaved. The presence of signs in the shift affects formulas for composing graded maps, especially when one considers how degrees influence sign factors in the graded Leibniz rule or in tensor products.

5 Exactness and derived constructions (grading perspective)

5.1 Shift and exact sequences

Short exact sequences of graded modules are preserved under degree shift. If \[ 0\to A \to B \to C \to 0 \] is exact in each degree, then shifting by \(k\) yields \[ 0\to A[k] \to B[k] \to C[k]\to 0 \] with exactness still holding degree-by-degree. Thus, shift is an exact functor on the category of graded modules.

5.2 Shift and mapping cones

The mapping cone is a standard derived construction in homological algebra. Given a chain map \(f:C^\bullet\to D^\bullet\) (in cochain convention), its cone \(\operatorname{Cone}(f)\) is built from \(D^\bullet\) and a shifted copy of \(C^\bullet\), typically involving \(C^\bullet[1]\). The suspension arising in the cone construction ensures that the resulting differential squares to zero precisely because the cone differential includes sign terms reflecting both the shift and the original map.

5.3 Shift and long exact sequences in graded contexts

Many long exact sequences in cohomology arise from short exact sequences of complexes or from distinguished triangles. Since distinguished triangles involve cones and shifts, degree shift plays a structural role in determining which cohomological degree appears in each connecting morphism. As a result, the shift often manifests as a reindexing of the long exact sequence: cohomology in degree \(n\) of one complex corresponds to cohomology in degree \(n+k\) of a shifted complex. Correct tracking of indices and signs determines the correct grading of connecting maps.

6 Computational viewpoints and examples

6.1 Worked example: shift of a graded module

Let \(M\) be a graded module with \[ M_{-1}=\mathbb Z,\quad M_0=\mathbb Z/2\mathbb Z,\quad M_n=0\text{ for }n\neq -1,0. \] Consider \(M[1]\). By definition, \[ (M[1])_n = M_{n+1}. \] So \[ (M[1])_{-2}=M_{-1}=\mathbb Z,\quad (M[1])_{-1}=M_{0}=\mathbb Z/2\mathbb Z, \] and all other degrees vanish. This illustrates that the shift reassigns degrees without modifying the module structure of each homogeneous component.

6.2 Worked example: shift of a complex and resulting differential

Let \(C^\bullet\) have \(C^{-1}=k\), \(C^{0}=k\), and other degrees zero over a field \(k\), with differential \(d^{-1}\) given by multiplication by a scalar \(\lambda\in k\): \[ d^{-1}: C^{-1}\to C^0,\qquad d^{-1}(x)=\lambda x. \] Then \(d^0=0\) for degree reasons. Shift by \(1\), giving \((C[1])^n=C^{n+1}\). Nonzero terms occur at degrees \(-2\) and \(-1\): \[ (C[1])^{-2}=C^{-1}=k,\quad (C[1])^{-1}=C^{0}=k. \] Using the sign convention \(d_{C[1]}^n = (-1)^1 d^{n+1} = -d^{n+1}\), the only nontrivial differential is \[ d_{C[1]}^{-2} : (C[1])^{-2}\to (C[1])^{-1}, \] and it equals \(-d^{-1}\), so it is multiplication by \(-\lambda\). This shows how shifting can introduce a global minus sign on the differential when \(k\) is odd.

6.3 Checklist for tracking degrees in calculations

  1. Identify whether the complex is cochain or chain graded, and confirm the differential degree (\(+1\) for cochains, \(-1\) for chains).
  2. Reindex components using \((X[k])_n = X_{n+k}\) (or the author’s equivalent convention).
  3. Translate the differential’s source and target degrees under reindexing.
  4. Apply the chosen sign rule for the shifted differential (e.g., \(d_{C[k]} = (-1)^k d\) in common cochain conventions).
  5. When building cones, remember that the mapping cone definition includes a shift and therefore additional sign contributions.

7 Common conventions and pitfalls

7.1 Cohomological vs homological grading confusion

A frequent error is applying cochain shift formulas to homological complexes or vice versa. Because the differential direction differs, the indexing shift and the sign convention that preserves \(d^2=0\) must be matched to the grading type. Checking a single degree explicitly (e.g., where the differential is nonzero) prevents many mistakes.

7.2 Sign mistakes with shifted differentials

Even if the reindexing is correct, forgetting the sign factor in the shifted differential can break the identity \(d^2=0\) or produce incorrect graded commutativity behavior in tensor product formulas. Verifying the shifted differential on one nontrivial component is a reliable safeguard.

7.3 Off-by-one errors in indexing

Because shifts change degrees, it is easy to confuse \(C^{n+k}\) with \(C^{n-k}\), or to misplace the differential between degrees. A practical approach is to track an explicit element: choose a homogeneous element in \(C^m\), determine its degree after shifting, and then see which differential it must land under.

8.1 Graded duals and their interaction with shifts

For a graded module \(M\), the graded dual (or dual graded vector space) typically reverses degrees: the dual of \(M_n\) contributes to a dual component in degree \(-n\) (up to convention). When both dualization and shifting are applied, the net effect on indices combines these operations. The compatibility is important in contexts where contravariant functors are used, such as in representation theory or in constructing pairings on graded objects.

8.2 Truncations versus shifts

Truncation modifies a complex by cutting off degrees beyond a range, while shift reindexes all degrees without removing components. Although both operations change which degrees are present or emphasized, they are fundamentally different: truncation is a subquotient construction, whereas shifting is an isomorphism of underlying graded objects (reindexed). Many long exact sequence arguments depend on knowing whether an operation discards information (truncation) or merely relabels degrees (shift).

In topology-inspired settings, suspension is often introduced geometrically as a way to relate spaces and homotopy groups. In algebraic topology and homological algebra, the algebraic suspension corresponds closely to degree shift plus the associated sign conventions. This conceptual link motivates why suspension appears in exact triangles and why it naturally exchanges roles between different grading conventions.