Model structure arising from one hereditary complete cotorsion pair on extriangulated categories

This paper establishes a correspondence between model structures and a single hereditary complete cotorsion pair on weakly idempotent complete extriangulated categories, thereby generalizing previous results by Beligiannis-Reiten and Cui et al., and provides methods to construct such model structures from silting objects and co-$t$-structures.

The Gist

Imagine you are an architect trying to build a stable city. In mathematics, this "city" is a collection of objects (like shapes, numbers, or functions) and the rules for how they connect. Sometimes, these cities are messy, and mathematicians need a way to organize them, fix errors, and understand their underlying structure.

This paper is about a new, more flexible blueprint for organizing these mathematical cities. It introduces a way to build a "Model Structure" (a rigorous system for sorting and fixing things) using just one special rule, rather than the two rules usually required.

Here is the breakdown using everyday analogies:

1. The Setting: The "Extriangulated" City

Think of a mathematical category as a city with different types of buildings.

• Exact Categories are like cities with strict, rigid roads (like a grid).
• Triangulated Categories are like cities with flexible, winding paths (like a park).
• Extriangulated Categories are a super-city that combines both. It has rigid roads and flexible paths. It's a "universal city" that can handle almost any mathematical situation.

The authors are working in this super-city, which is "weakly idempotent complete." In plain English, this just means the city is well-built enough that if you have a building that looks like it's half-finished, you can always find the missing piece to make it whole.

2. The Old Way: The "Two-Rule" System

For a long time, to organize this city (create a "Model Structure"), mathematicians needed two separate teams of inspectors:

• Team A checked for "good" connections.
• Team B checked for "bad" connections.
  They had to work together perfectly to sort the city. This was the standard method (Hovey's correspondence).

3. The New Discovery: The "One-Rule" System

The authors of this paper discovered a shortcut. They found that if you have one very special, well-behaved team of inspectors (called a Hereditary Complete Cotorsion Pair), you can organize the entire city on your own.

• The Metaphor: Imagine a traffic cop who is so good at their job that they don't need a partner. They can direct traffic, fix accidents, and decide which cars are "good" (cofibrant) and which are "broken" (trivial) all by themselves.
• The "Hereditary" Part: This means the team's rules are consistent. If a rule works for a small building, it automatically works for a big building made of the same parts. They don't break the rules when things get complicated.

4. How the System Works (The Three Classes)

Once you have this one special team, the paper shows how they sort every object in the city into three groups:

1. The "Cofibrant" Objects (The Good Builders): These are the sturdy, well-constructed buildings. In the paper's language, these are the objects in the first part of the team's list.
2. The "Fibrant" Objects (The Safe Houses): In this specific system, every building is considered a "Safe House." Nothing is too broken to be fixed; everything is safe.
3. The "Trivial" Objects (The Ghosts): These are objects that are essentially invisible or zero. They are the "mistakes" that can be erased without changing the city's structure.

The magic is that the team can define exactly which buildings are "Good," which are "Safe," and which are "Ghosts" just by looking at their own list.

5. The "Heart" of the Matter (The Coheart)

The paper focuses on the intersection of the team's two lists (the "Heart" or "Coheart").

• Analogy: Think of the team as having a "Gold Standard" list. The "Heart" is the list of buildings that appear on both sides of the Gold Standard.
• The paper proves that if this "Heart" list is well-organized (mathematically, "contravariantly finite"), then the whole city can be sorted perfectly.

6. Real-World Applications (Silting Objects)

Why does this matter? The authors show how to find these special "One-Rule" teams easily.

• Silting Objects: These are like "Master Keys" or "Seed Crystals." If you find one of these special objects in your city, it automatically grows into a full "One-Rule" team.
• The Result: You don't have to manually check every building. You just find the "Master Key" (the Silting Object), and the mathematical system builds itself around it.

7. The Big Picture: Connecting Different Worlds

The paper also connects this new system to other famous mathematical structures:

• Co-t-structures: These are like a different way of organizing a city (specifically a "Triangulated" one). The paper proves that organizing a city with this "One-Rule" system is exactly the same as organizing it with a "Co-t-structure."
• The Takeaway: It's like discovering that two different languages (Model Structures and Co-t-structures) are actually just dialects of the same language. If you speak one, you automatically speak the other.

Summary

In simple terms, this paper says:

"You don't need two complex teams to organize a mathematical universe. If you find one special, consistent team (a hereditary cotorsion pair) or a special 'Master Key' object (a silting object), you can build a perfect sorting system (a model structure) that works for a huge variety of mathematical worlds. This makes it much easier to study these complex systems and understand their hidden shapes."

It's a unification of ideas, simplifying a complex process and showing that different mathematical tools are actually doing the same job in different ways.

Technical Summary

Here is a detailed technical summary of the paper "Model structure arising from one hereditary complete cotorsion pair on extriangulated categories" by Hua, Zhang, Zhang, and Zhou.

1. Problem Statement

The paper addresses the construction of model structures on extriangulated categories, a framework introduced by Nakaoka and Palu that generalizes both exact categories and triangulated categories.

• Context: The classical Hovey correspondence establishes a bijection between model structures and pairs of complete cotorsion pairs in abelian, exact, or triangulated categories.
• Gap: While Nakaoka and Palu extended Hovey's correspondence to extriangulated categories using two cotorsion pairs, the paper aims to generalize a specific result by Beligiannis and Reiten (for abelian categories) and Cui, Lu, and Zhang (for exact categories). These earlier results showed that a model structure can be constructed from a single hereditary complete cotorsion pair $(X, Y)$, provided the intersection $\omega = X \cap Y$ is contravariantly finite.
• Objective: To establish this "one-pair" correspondence in the broader setting of weakly idempotent complete extriangulated categories.

2. Methodology

The authors employ a rigorous categorical approach, utilizing the axioms of extriangulated categories and the properties of cotorsion pairs.

• Definitions and Setup:
  • They work within a weakly idempotent complete extriangulated category $\mathcal{B} = (\mathcal{B}, \mathbb{E}, \mathfrak{s})$.
  • They define three classes of morphisms based on a pair of full additive subcategories $X$ and $Y$ (closed under direct summands and isomorphisms) and their intersection $\omega = X \cap Y$:
    • Cofibrations ($CoFib_\omega$): Inflations with cones in $X$.
    • Fibrations ($Fib_\omega$): Morphisms that are $\omega$-epic (surjective on Hom from objects in $\omega$).
    • Weak Equivalences ($Weq_\omega$): Morphisms admitting a specific factorization involving deflations with cocones in $Y$ and objects in $\omega$.
• Verification of Axioms:
  • The core of the methodology involves verifying the Quillen model structure axioms (Two-out-of-three, Retract, Lifting, and Factorization) for the triple $(CoFib_\omega, Fib_\omega, Weq_\omega)$.
  • Key tools used include:
    • Extension-Lifting Lemma: A generalization of results from abelian and exact categories to extriangulated ones.
    • Weak Pull-backs/Push-outs: Essential for handling the lack of strict limits/colimits in general extriangulated categories.
    • Hereditary Properties: Utilizing the fact that $X$ is closed under cocones of deflations and $Y$ is closed under cones of inflations.
• Bijection Construction:
  • The authors construct maps between the set of hereditary complete cotorsion pairs (with contravariantly finite cores) and the set of "weakly projective" model structures.
  • They prove these maps are inverses of each other, establishing a bijection.

3. Key Contributions

A. The Main Theorem (Theorem 1.1)

The paper proves that for a weakly idempotent complete extriangulated category $\mathcal{B}$, the triple $(CoFib_\omega, Fib_\omega, Weq_\omega)$ forms a model structure if and only if:

1. $(X, Y)$ is a hereditary complete cotorsion pair.
2. The core $\omega = X \cap Y$ is contravariantly finite in $\mathcal{B}$.

Furthermore, the paper characterizes the resulting model structure:

• Cofibrant objects: $X$.
• Fibrant objects: All objects in $\mathcal{B}$ (making the structure "weakly projective").
• Trivial objects: $Y$.
• Homotopy Category: Equivalent to the additive quotient category $X/\omega$.

B. The Beligiannis-Reiten Correspondence (Theorem 1.2)

The authors establish a bijection (Theorem 1.2) between:

• The class $\Omega$ of hereditary complete cotorsion pairs $(X, Y)$ where $\omega = X \cap Y$ is contravariantly finite.
• The class $\Gamma$ of weakly projective model structures on $\mathcal{B}$ (where every object is fibrant).

This generalizes previous results from abelian and exact categories to the unified setting of extriangulated categories.

C. Applications to Silting Theory and Co-t-structures

• Silting Objects: Using the known bijection between bounded hereditary cotorsion pairs and silting subcategories, the authors deduce that any silting object in a weakly idempotent complete extriangulated category induces a model structure (Corollary 5.7).
• Triangulated Categories: By specializing to triangulated categories, the correspondence yields a one-to-one relationship between weakly projective model structures and co-t-structures with a contravariantly finite coheart (Corollary 5.9).

4. Results

• Existence: The paper provides a constructive method to generate model structures from a single hereditary complete cotorsion pair in extriangulated categories.
• Characterization: It precisely characterizes when a model structure is "weakly projective" (i.e., when all objects are fibrant) in terms of the underlying cotorsion pair.
• Homotopy Theory: It confirms that the homotopy category of such a model structure is the quotient of the "cofibrant" subcategory by the "trivial" subcategory ($X/\omega$).
• Unification: The results unify the theory of model structures across exact and triangulated categories, demonstrating that extriangulated categories serve as a robust common ground for these generalizations.

5. Significance

• Theoretical Advancement: This work significantly extends the scope of Hovey-type correspondences. By reducing the requirement from two cotorsion pairs to one hereditary pair, it simplifies the conditions needed to construct model structures in complex categorical settings.
• Bridge to Representation Theory: The connection to silting objects is crucial for representation theory. It allows researchers to apply homotopical algebra techniques (model structures) to study silting theory, which is central to understanding derived equivalences and tilting theory in non-commutative algebra.
• Generalization: The results hold for extriangulated categories, which include examples that are neither exact nor triangulated. This ensures the theory is applicable to a wider range of mathematical structures, including certain subcategories of module categories and derived categories that do not fit traditional definitions.
• Foundation for Future Work: By establishing the "one-pair" correspondence, the paper opens avenues for constructing new model structures on specific extriangulated categories arising in algebraic geometry and representation theory, potentially leading to new insights into the structure of their homotopy categories.