Spectral Sequences - Formal Definition

Formal Definition

Fix an abelian category, such as a category of modules over a ring. A spectral sequence is a choice of a nonnegative integer r0 and a collection of three sequences:

  1. For all integers rr0, an object Er, called a sheet (as in a sheet of paper), or sometimes a page or a term,
  2. Endomorphisms dr : ErEr satisfying dr dr = 0, called boundary maps or differentials,
  3. Isomorphisms of Er+1 with H(Er), the homology of Er with respect to dr.

Usually the isomorphisms between Er+1 and H(Er) are suppressed, and we write equalities instead. Sometimes Er+1 is called the derived object of Er.

The most elementary example is a chain complex C. An object C in an abelian category of chain complexes comes with a differential d. Let r0 = 0, and let E0 be C. This forces E1 to be the complex H(C): At the i'th location this is the i'th homology group of C. The only natural differential on this new complex is the zero map, so we let d1 = 0. This forces E2 to equal E1, and again our only natural differential is the zero map. Putting the zero differential on all the rest of our sheets gives a spectral sequence whose terms are:

  • E0 = C
  • Er = H(C) for all r ≥ 1.

The terms of this spectral sequence stabilize at the first sheet because its only nontrivial differential was on the zeroth sheet. Consequently we can get no more information at later steps. Usually, to get useful information from later sheets, we need extra structure on the Er.

In the ungraded situation described above, r0 is irrelevant, but in practice most spectral sequences occur in the category of doubly graded modules over a ring R (or doubly graded sheaves of modules over a sheaf of rings). In this case, each sheet is a doubly graded module, so it decomposes as a direct sum of terms with one term for each possible bidegree. The boundary map is defined as the direct sum of boundary maps on each of the terms of the sheet. Their degree depends on r and is fixed by convention. For a homological spectral sequence, the terms are written and the differentials have bidegree (-r,r-1). For a cohomological spectral sequence, the terms are written and the differentials have bidegree (r, 1 − r). (These choices of bidegree occur naturally in practice; see the example of a double complex below.) Depending upon the spectral sequence, the boundary map on the first sheet can have a degree which corresponds to r = 0, r = 1, or r = 2. For example, for the spectral sequence of a filtered complex, described below, r0 = 0, but for the Grothendieck spectral sequence, r0 = 2. Usually r0 is zero, one, or two.

A morphism of spectral sequences EE' is by definition a collection of maps fr : ErE'r which are compatible with the differentials and with the given isomorphisms between cohomology of the r-th step and the (r + 1)-st sheets of E and E', respectively.

Read more about this topic:  Spectral Sequences

Famous quotes containing the words formal and/or definition:

    That anger can be expressed through words and non-destructive activities; that promises are intended to be kept; that cleanliness and good eating habits are aspects of self-esteem; that compassion is an attribute to be prized—all these lessons are ones children can learn far more readily through the living example of their parents than they ever can through formal instruction.
    Fred Rogers (20th century)

    Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.
    Walter Pater (1839–1894)