nLab
recollement

The recollement situation is a diagram of six additive functors

π’œβ€²β†i !β†’i *←i *π’œβ†j *β†’j *←j !π’œβ€³ \mathcal{A}' \stackrel{\overset{i^*}{\leftarrow}}{\stackrel{\overset{i_*}{\to}}{\underset{i^!}{\leftarrow}}} \mathcal{A}\stackrel{\overset{j_!}{\leftarrow}}{\stackrel{\overset{j^*}{\to}}{\underset{j_*}{\leftarrow}}}\mathcal{A}''

among three abelian or triangulated categories satisfying a strong list of exactness and adjointness axioms. The paradigmatic situation is about the categories of abelian sheaves π’œβ€²=Sh(C)\mathcal{A}' = Sh(C), π’œ=Sh(X)\mathcal{A} = Sh(X), π’œβ€³=Sh(U)\mathcal{A}'' = Sh(U), where UβŠ‚XU\subset X is an open subset of a topological space, C=X\UC = X\backslash U, and the functors among the sheaf categories are induced by the open embedding j:Uβ†ͺXj:U\hookrightarrow X and closed embedding i:Cβ†ͺXi:C\hookrightarrow X.

A modern treatment for the recollement of abelian categories is in

where the following axioms are listed:

(i) j !⊣j *⊣j *j_!\dashv j^*\dashv j_*

(ii) the unit Id π’œβ€³β†’j *j !Id_{\mathcal{A}''}\to j^* j_! and the counit j *j *β†’Id π’œβ€³j^* j_*\to Id_{\mathcal{A}''} are iso

(iii) i *⊣i *⊣i !i^*\dashv i_*\dashv i^!

(iv) the unit Id π’œβ€³β†’i !i *Id_{\mathcal{A}''}\to i^! i_* and the counit i *i *β†’Id π’œβ€²i^* i_*\to Id_{\mathcal{A}'} are iso

(v) the functor i *:π’œβ€²β†’Ker(j *)i_*:\mathcal{A}'\to Ker(j^*) is an equivalence of categories.

In fact (i) and (ii) for j *:π’œβ†’π’œβ€³j^*:\mathcal{A}\to\mathcal{A}'' enable one to define π’œβ€²\mathcal{A}' as the full subcategory of π’œ\mathcal{A} whose objects aa satisfy j *a=0j^* a = 0 such that one satisfies the recollement situation.

A standard treatment for the sequence of triangulated functors

π’Ÿβ€²β†’i *π’Ÿβ†’j *π’Ÿβ€³ \mathcal{D}' \overset{i_*}{\to} \mathcal{D}\overset{j^*}{\to}\mathcal{D}''

is in

  • A.A. Beilinson, J. Bernstein, P. Deligne, Faisceaux pervers. Analysis and topology on singular spaces, I (Luminy, 1981), 5–171, Aste’risque 100, Soc. Math. France, Paris 1982.

where in 1.4.3 the following axioms are listed

(a) i *=i !i_* = i_! admits a triangulated left adjoint i *i^* and triangulated right adjoint i !i^!

(b) j *=j !j^* = j^! admits a triangulated left adjoint j *j_* and triangulated right adjoint j !j_!

(c) j *i *=0j^* i_* = 0 (hence by adjointness, also i *j !=0i^*j_! = 0 and i !j *=0i^! j_*=0)

(d) given d∈Obπ’Ÿd\in Ob{\mathcal{D}}, there exist (necessarily unique) distinguished triangles

i !i !d→d→j *j *d→(i !i !d)[1] i_! i^! d \to d\to j_* j^* d\to (i_! i^! d) [1]
j !j !d→d→i *i *d→(j !j !d)[1] j_! j^! d \to d\to i_* i^* d\to (j_! j^! d) [1]

(e) i *,j *,j !i_*, j_*, j_! are full embeddings.

Again in good situations, less data is needed to provide the recollement.

References

In references

  • E. Cline, B. Parshall, L. Scott, Finite dimensional algebras and highest weight categories, J. Reine Angew. Math, 1988, 391: 85β€”99, MR90d:18005, goettingen
  • E. Cline, B. Parshall, L. Scott, Algebraic stratification in representative categories, J. of Algebra 117, 1988, 504β€”521.

one studies the following kind of sources of recollement situations for triangulated categories: kk is a commutative field, AA a finite dimensional unital associative kk-algebra, ee an idempotent, and D b(A)D^b(A) the bounded derived category of right AA-modules. Suppose eA(1βˆ’e)=0eA(1-e) = 0 and the global dimension of AA is finite. Then there is a recollement of triangulated categories involving D b(eAe)D^b(eAe), D b(A)D^b(A) and D b((1βˆ’e)A(1βˆ’e))D^b((1-e)A(1-e)).

  • S. Koenig, Tilting complexes, perpendicular categories and recollements of derived module categories of rings., MR92k:18009, doi
  • Qinghua Chen,Yanan Lin, Recollements of extension algebras, Science in China 46, 4, 2003 pdf

Another source of examples is due MacPherson and Vilonen

  • Kari Vilonen, Perverse sheaves and finite dimensional algebras, Trans. A.M.S. 341 (1994), 665–676, MR94d:16012, doi

  • M. Artin, Grothendieck Topologies. Harvard University, 1962.

  • Yuri Berest, Oleg Chalykh, Farkhod Eshmatov, Recollement of deformed preprojective algebras and the Calogero-Moser correspondence, Mosc. Math. J. 8 (2008), no. 1, 21–37, 183, arxiv/0706.3006, MR2009h:16030

  • Roy Joshua, pdf

  • Yang Han, Recollements and Hochschild theory, arxiv/1101.5697

Revised on September 3, 2014 11:49:13 by Anonymous Coward (18.189.26.188)