Table of Contents
Fetching ...

LHS-spectral sequences for regular extensions of categories

Ergun Yalcin

Abstract

In [F. Xu, On the cohomology rings of small categories, J. Pure Appl. Algebra 212 (2008), 2555-2569], Xu constructs a LHS-spectral sequence for target regular extensions of small categories. We extend this construction to ext-groups and construct a similar spectral sequence for source regular extensions (with right module coefficients). As a special case of these LHS-spectral sequences, we obtain three different versions of Slominska's spectral sequence for the cohomology of regular EI-categories. We show that many well-known spectral sequences related to the homology decompositions of finite groups, centric linking systems, and the orbit category of fusion systems can be obtained as the LHS-spectral sequence of an extension.

LHS-spectral sequences for regular extensions of categories

Abstract

In [F. Xu, On the cohomology rings of small categories, J. Pure Appl. Algebra 212 (2008), 2555-2569], Xu constructs a LHS-spectral sequence for target regular extensions of small categories. We extend this construction to ext-groups and construct a similar spectral sequence for source regular extensions (with right module coefficients). As a special case of these LHS-spectral sequences, we obtain three different versions of Slominska's spectral sequence for the cohomology of regular EI-categories. We show that many well-known spectral sequences related to the homology decompositions of finite groups, centric linking systems, and the orbit category of fusion systems can be obtained as the LHS-spectral sequence of an extension.
Paper Structure (36 sections, 71 theorems, 169 equations)

This paper contains 36 sections, 71 theorems, 169 equations.

Key Result

Theorem 1.1

Let ${\mathcal{E}} : {\mathcal{K}} {\,\mathop{\longrightarrow}\limits^{i}\,} {\mathcal{C}} {\,\mathop{\longrightarrow}\limits^{\pi}\,} {\mathcal{D}}$ be a target regular extension. Then for every $R{\mathcal{C}}$-module $M$, there is a spectral sequence where $H^q ({\mathcal{K}}; M)$ denotes the $R{\mathcal{D}}$-module that sends $x\in \mathrm{Ob} ({\mathcal{C}})$ to the cohomology group $H^q (K(

Theorems & Definitions (143)

  • Theorem 1.1: Xu Xu-CohSmall
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4: Sł omińska Slominska-Homotopy
  • Theorem 1.5
  • Theorem 1.6
  • Theorem 1.7
  • Definition 2.1
  • Definition 2.2
  • Lemma 2.3
  • ...and 133 more