Math 2.0

Category theory; homological algebra Definition

Acyclic object

Builds on Abelian categoryAdditive functorExact functorDerived functor

Definition

Let 𝒜\mathcal{A} and ℬ\mathcal{B} be abelian categories, and assume that 𝒜\mathcal{A} has enough injectives. Let F ⁣:𝒜→ℬF \colon \mathcal{A} \to \mathcal{B} be a left exact additive functor. An object XX of 𝒜\mathcal{A} is FF-acyclic if RnF(X)=0R^n F(X) = 0 for every n≥1n \ge 1, where RnFR^n F are the right derived functors of FF. Dually, for a right exact FF on a category with enough projectives, XX is FF-acyclic if LnF(X)=0L_n F(X) = 0 for every n≥1n \ge 1.

Remarks

Example: every injective object II is FF-acyclic, because 0→I→I→00 \to I \to I \to 0 is an injective resolution, and applying FF gives a complex with no cohomology in degrees n≥1n \ge 1. Non-example: for F=Hom⁡ℤ(ℤ/2ℤ,−)F = \Hom_\Z(\Z/2\Z, -) on abelian groups, the group ℤ\Z is not FF-acyclic, since R1F(ℤ)=Ext⁡ℤ1(ℤ/2ℤ,ℤ)≅ℤ/2ℤ≠0R^1 F(\Z) = \operatorname{Ext}^1_\Z(\Z/2\Z, \Z) \cong \Z/2\Z \ne 0. For F=−⊗RNF = - \otimes_R N, every flat module is FF-acyclic, since Tor⁡nR(M,N)=0\operatorname{Tor}_n^R(M, N) = 0 for flat MM and n≥1n \ge 1. If X→J∙X \to J^\bullet is a resolution by FF-acyclic objects, then RnF(X)≅Hn(F(J∙))R^n F(X) \cong H^n(F(J^\bullet)) for every nn.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Abelian category concept
  2. Additive functor concept
  3. Derived functor concept
  4. Exact functor concept
  5. Acyclic object definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Acyclic_object
About this page
TagHEVF97NZ14
URIm2://HEVF97NZ14
Kinddefinition
WritingW0 stub
MSC18G10
DefinesAcyclic object
UsesAbelian category, Additive functor, Exact functor, Derived functor
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.