🔢 mathematics

Coderived and contraderived categories for a cotorsion pair, flat-type cotorsion pairs, and relative periodicity

This paper establishes natural equivalences and adjunctions between Becker coderived and contraderived categories for hereditary complete cotorsion pairs in Grothendieck categories, demonstrating that these derived categories coincide with those of projective or flat pairs if and only if specific periodicity properties hold for the intermediate classes.

Original authors: Leonid Positselski

Published 2026-07-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Leonid Positselski

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

This paper is a deep dive into a branch of mathematics called homological algebra. While the original text is filled with dense technical jargon (like "cotorsion pairs," "Becker coderived categories," and "quasi-coherent sheaves"), the core ideas can be understood through a few central metaphors.

Think of this paper as a mapmaking project for a complex, multi-layered city of mathematical objects. The author, Leonid Positselski, is trying to figure out when different districts of this city are actually the same place, just viewed from different angles, and under what conditions the "roads" between them work smoothly.

Here is the breakdown of the paper's main ideas in everyday language:

1. The Two Ways to Look at a Messy City (Derived Categories)

Imagine you have a huge, messy pile of Lego bricks (mathematical objects). Sometimes, you want to study the pile as it is. Other times, you want to ignore the "broken" or "useless" pieces (called acyclic complexes) and only look at the sturdy, functional structures.

The Standard View: Usually, mathematicians throw away the broken pieces and look at what's left. This is the standard "Derived Category."
The "Second Kind" View: The paper focuses on a newer, more sophisticated way of looking at things called the Coderived and Contraderived categories.
- The Analogy: Imagine you are trying to clean a room.
  - The Standard View is like throwing away all the trash and looking at the clean room.
  - The Coderived View is like saying, "If you can't see the trash from the outside (using a specific type of flashlight), then it doesn't exist for our purposes."
  - The Contraderived View is the opposite: "If you can't see the trash from the inside (using a different flashlight), then it's gone."

The paper proves that for certain well-behaved neighborhoods (mathematical classes), these two different ways of cleaning the room actually result in the exact same view.

2. The "Sandwich" of Mathematical Classes

The paper studies specific groups of objects called Cotorsion Pairs.

The Analogy: Imagine a sandwich. You have a top slice of bread (a class of "projective" objects) and a bottom slice (a class of "injective" objects). In between, you have a filling.
The author looks at a specific type of sandwich where the filling is "sandwiched" between two very well-understood layers:
1. The "Very Flat" Layer: A very structured, easy-to-handle layer (like a perfectly sliced piece of bread).
2. The "Flat" Layer: A slightly more flexible, but still well-behaved layer.
3. The Middle Layer (The Mystery): The paper focuses on the layer between these two.

The main question is: When is this middle layer just as well-behaved as the top and bottom layers?

3. The "Periodicity" Rule (The Magic Mirror)

The paper introduces a concept called Periodicity.

The Analogy: Imagine you have a long line of dominoes falling over. If the line is perfectly straight and unbroken, the pattern repeats.
In math, a "periodicity property" means: "If you have a long chain of objects that looks like it's falling apart (acyclic), but the pieces are made of a certain material, then the joints between them (the cocycles) must actually be made of that same material."
The paper proves that if this "magic mirror" rule holds true for the middle layer, then the Coderived and Contraderived views of that layer become identical to the standard views. It's like discovering that a complex, twisted tunnel is actually just a straight hallway if you look at it from the right angle.

4. The Two Big Guesses (Conjectures)

The paper culminates in testing two specific "guesses" (conjectures) about these sandwiches in the context of ring theory (a type of algebra).

Conjecture 1 (The Flaprojective Conjecture):
- The Setup: Imagine a ring homomorphism (a bridge between two mathematical worlds, $R$ and $A$ ).
- The Claim: If you take a chain of objects that are "flaprojective" (a special mix of flat and projective) and the chain falls apart, the broken pieces (cocycles) are still "flaprojective."
- The Result: The paper shows that if this is true, then the "Coderived" and "Contraderived" maps of this world are perfectly equivalent.
Conjecture 2 (The Relatively Cotorsion Conjecture):
- The Setup: Similar to above, but looking at objects that are "relatively cotorsion."
- The Claim: If you have a chain of these objects that falls apart, the broken pieces are still "relatively cotorsion."
- The Result: Again, if this holds, the complex mathematical maps simplify and become equivalent.

5. The "Nested" Adjunction (The Elevator)

The paper also discusses what happens when you have one sandwich inside another (a "nested pair").

The Analogy: Imagine an elevator shaft. You have a small elevator (a smaller category) inside a larger elevator shaft (a larger category).
The paper proves that you can move up and down between the "Coderived" view of the small elevator and the "Contraderived" view of the large elevator in a perfectly synchronized way. They are "adjoint" to each other, meaning they fit together like a key and a lock.

Summary of the Main Achievement

The paper doesn't just solve a puzzle; it builds a bridge. It shows that for a wide variety of mathematical structures (specifically those involving "flat" and "very flat" objects), the complicated, modern definitions of "derived categories" (the second kind) are actually the same as the simpler, classical definitions.

It does this by proving that if a specific "periodicity" rule holds (meaning broken chains don't produce weird, new types of broken pieces), then the complex maps simplify. The paper provides a list of ten different ways to say the same thing, proving that if one is true, they are all true.

In short: The paper maps out the conditions under which complex mathematical structures behave simply and predictably, proving that different ways of looking at them are actually the same thing, provided a specific "periodicity" rule is followed.

Technical Summary: Coderived and Contraderived Categories for a Cotorsion Pair, Flat-Type Cotorsion Pairs, and Relative Periodicity

Problem Statement
The paper addresses the structural relationship between derived categories of the second kind (specifically Becker coderived and contraderived categories) and classical derived categories within the context of hereditary complete cotorsion pairs in Grothendieck categories. A central motivation is the investigation of "periodicity" phenomena: under what conditions do acyclic complexes of specific objects (e.g., flat, projective, or cotorsion modules) possess cocycles that remain within the same class? The paper seeks to generalize known periodicity theorems (such as those by Benson–Goodearl, Neeman, and Bazzoni et al.) to relative settings involving ring homomorphisms $R \to A$ and quasi-coherent sheaves on schemes. Specifically, it formulates and analyzes two conjectures regarding "flaprojective" and "relatively cotorsion" modules, aiming to provide equivalent reformulations of these conjectures in terms of triangulated equivalences between derived categories.

Methodology
The author employs a combination of homological algebra, model category theory, and the theory of cotorsion pairs. The methodology proceeds through several key steps:

Construction of Cotorsion Pairs in Complex Categories: Building on the work of Gillespie, the paper constructs four specific hereditary complete cotorsion pairs in the category of complexes $\text{Com}(K)$ associated with a given cotorsion pair $(A, B)$ in a Grothendieck category $K$ . These pairs relate to Becker-coacyclic and Becker-contraacyclic complexes, allowing the coderived category $D^{bco}(A)$ and contraderived category $D^{bctr}(B)$ to be identified with the homotopy category of the kernel $A \cap B$ .
Nested Cotorsion Pairs and Adjunctions: The paper analyzes "nested" pairs of cotorsion pairs $(A_1, B_1) \le (A_2, B_2)$ (where $A_1 \subset A_2$ and $B_1 \supset B_2$ ). It demonstrates that the inclusions of exact categories induce triangulated functors between the corresponding coderived and contraderived categories. Crucially, it proves that these functors form an adjoint pair, induced by a Quillen adjunction between the underlying abelian model structures on $\text{Com}(K)$ .
Definition of Flat-Type and Very Flat-Type Pairs: The author introduces the notions of "very flat-type" cotorsion pairs (where the left class consists of objects with finite projective dimension) and "flat-type" cotorsion pairs. A cotorsion pair $(Flat, Cot)$ is of the flat type if it sits above a very flat-type pair $(VF, CA)$ and satisfies specific conditions ensuring that acyclic, Becker-coacyclic, and Becker-contraacyclic complexes coincide within the relevant subcategories.
Recollement Structures: For a "sandwiched" cotorsion pair $(F, C)$ situated between a very flat-type pair and a flat-type pair, the paper constructs a recollement of triangulated categories involving the derived, coderived, and contraderived categories of all three pairs.

Key Contributions and Results

Equivalence of Coderived and Contraderived Categories: For a hereditary complete cotorsion pair $(A, B)$ generated by a set in a Grothendieck category, the paper establishes a natural triangulated equivalence:
$D^{bco}(A) \simeq \text{Hot}(A \cap B) \simeq D^{bctr}(B)$
This result unifies the coderived category of the left class with the contraderived category of the right class via their intersection.
Adjoint Functors for Nested Pairs: The paper proves that for nested cotorsion pairs, the inclusion-induced functor $D^{bco}(A_1) \to D^{bco}(A_2)$ is left adjoint to $D^{bctr}(B_2) \to D^{bctr}(B_1)$ . This adjunction is shown to arise from the identity Quillen adjunction between the model structures associated with the nested pairs.
Characterization of Flat-Type Pairs: The paper provides a comprehensive list of equivalent conditions for a cotorsion pair $(F, C)$ sandwiched between a very flat-type pair and a flat-type pair to be itself of the "flat type." These conditions include:
- Triangulated equivalences between the derived categories of the intermediate pair and the bounding pairs.
- Preservation of Becker-coacyclicity and contraacyclicity under inclusions.
- The simultaneous validity of two periodicity properties: (a) cocycles of acyclic complexes in $F$ with flat cocycles belong to $F$ , and (b) cocycles of acyclic complexes in $C$ belong to $C$ .
The Flaprojective and Relatively Cotorsion Conjectures: The paper formulates two specific conjectures:
1. Flaprojective Conjecture: For a ring homomorphism $R \to A$ , if a complex of $A/R$ -flaprojective modules has flat cocycles, then the cocycles are $A/R$ -flaprojective.
2. Relatively Cotorsion Conjecture: If $A$ is a projective $R$ -module, then in any acyclic complex of $A/R$ -cotorsion modules, the cocycles are also $A/R$ -cotorsion.
  The paper proves that these conjectures are equivalent to the statement that the associated cotorsion pairs are of the "flat type." Furthermore, it demonstrates that the Flaprojective Conjecture holds true if all flat $R$ -modules have finite projective dimensions (e.g., for Noetherian rings of finite Krull dimension).
Applications to Schemes and Corings: The theory is applied to the category of quasi-coherent sheaves on quasi-compact semi-separated schemes (involving very flat and contraadjusted sheaves) and to categories of comodules over corings, showing that the established equivalences and periodicity properties hold in these geometric and algebraic contexts.

Significance and Claims
The paper claims to provide a unified framework for understanding derived categories of the second kind in the context of cotorsion pairs. By linking the structural properties of these categories (specifically the coincidence of acyclic and Becker-acyclic complexes) to periodicity theorems, the work offers a new perspective on classical results.

The significance lies in:

Generalization: Extending periodicity theorems from absolute settings (modules over a single ring) to relative settings (ring homomorphisms, schemes, corings).
Equivalence Reformulations: Providing a suite of equivalent conditions (involving derived categories, model structures, and periodicity) for the validity of these conjectures. This allows researchers to approach the conjectures from different angles (e.g., via triangulated equivalences rather than direct homological calculations).
Model Structure Connection: Explicitly connecting the abstract triangulated equivalences to Quillen adjunctions between abelian model structures, thereby grounding the derived category results in the theory of model categories.

The author modestly notes that while the Flaprojective Conjecture is proven under specific finiteness conditions on $R$ , the general case remains open. Similarly, the Relatively Cotorsion Conjecture is presented as a formulation whose validity is equivalent to the "flat type" property of the associated cotorsion pair, without a general proof being provided in the text. The paper serves as a theoretical foundation and a set of equivalent reformulations rather than a definitive solution to all open periodicity questions.