Cotilting Right R-Module

• Cotilting right R-modules are modules with finite injective dimension and self-orthogonality that cogenerate extensive module classes.
• They induce torsion pairs and t-structures in module and derived categories, enabling fundamental categorical dualities.
• Their classification leverages local-global principles and Gorenstein homological invariants, advancing modern representation theory.

A cotilting right $R$-module is a key concept in modern representation theory and homological algebra, capturing an essential duality to the theory of tilting modules. Cotilting modules provide a unifying framework for torsion pairs, $t$-structures, derived and Gorenstein homology, and categorical equivalences, appearing naturally in module categories, derived categories, and Grothendieck hearts. Their theory encompasses both finite (classical, usually of injective dimension $n$) and infinite dimensional settings. Cotilting right $R$-modules are crucial in the structure theory of abelian and triangulated categories, invariant theory, and the classification of module-theoretic and homological phenomena across a variety of algebraic settings.

1. Definition and Core Properties

A right $R$-module $C$ is said to be n-cotilting if it satisfies the following conditions (see (Divaani-Aazar et al., 28 Jul 2025, Mantese et al., 28 Feb 2025, Divaani-Aazar et al., 2024, Yoshiwaki, 2016)):

1. Finite Injective Dimension: $\mathrm{inj.dim}_R(C) \leq n$.
2. Self-Orthogonality: For every cardinal $\alpha$, $\operatorname{Ext}_R^i(C^\alpha, C) = 0$ for $1 \leq i \leq n$.
3. Cogeneration of Injectives: There exists an exact sequence

$t$0

with each $t$1 and $t$2 an injective cogenerator of $t$3.

The class cogenerated by $t$4, $t$5, is that of all modules $t$6 for which every map $t$7 (for injective $t$8) factors through a product of copies of $t$9; frequently, for a 1-cotilting module $n$0, $n$1 (Mantese et al., 28 Feb 2025, Zhang et al., 2016). Cotilting right $n$2-modules are always pure-injective in the noetherian case (Hügel et al., 2015).

In artinian settings, cotilting modules are finitely generated, finite length, and product-complete ((Mantese et al., 28 Feb 2025), Proposition 3.2).

2. Cotilting versus Cosilting and Generalized Notions

Cotilting modules can be viewed as special cases of the broader notion of cosilting modules (Zhang et al., 2016, Pop, 2016, Hu et al., 2021), where the copresentation need not be epimorphic. Critical equivalences:

• For $n$3-modules, the following are equivalent: being AIR-cotilting, quasi-cotilting, and cosilting ((Zhang et al., 2016), Theorems 1.2, 4.18).
• Every (partial) cotilting module is (partial) cosilting, but not conversely (Pop, 2016).
• Cosilting modules are characterized via 2-term complexes in the derived category: $n$4 is cosilting iff its injective copresentation yields a cosilting complex whose "hearts" induce t-structures and associated torsion theories (Pop, 2016, Zhang et al., 2016).

For cotilting objects in abelian or Grothendieck categories, the definition mirrors the module case but is internal to the category and invokes the vanishing of suitable $n$5 functors (Hu et al., 2021).

3. Classification and Local-Global Principles

Commutative Noetherian Rings and Local-Global Correspondence

For commutative noetherian $n$6, every finite $n$7-cotilting right $n$8-module $n$9 is of cofinite type and classifiable via a local-global principle (Trlifaj et al., 2013, Hrbek et al., 2017):

• There is a one-to-one correspondence between equivalence classes of $R$0-cotilting $R$1-modules and compatible families $R$2 of $R$3-cotilting $R$4-modules, where $R$5 is the colocalization.
• Compatibility is ensured by "characteristic sequences" of subsets $R$6 satisfying lowering and separation conditions.
• The global module is recovered via the (potentially infinite) product $R$7 (Trlifaj et al., 2013).

Arbitrary Commutative Rings

For arbitrary commutative $R$8, cotilting modules/classes are classified via finite sequences of Thomason subsets of $R$9, via the geometry of the spectrum (Hrbek et al., 2017):

• $R$0-cotilting classes of cofinite type correspond to sequences $R$1 of Thomason subsets under suitable conditions.
• The vanishing of Ext, Koszul, Čech, or local (co)homology in low degrees characterizes these classes.
• For any cofinite-type $R$2-cotilting class, an explicit $R$3-cotilting module can be constructed via iterative injective coresolutions, generalizing constructions known for dimension 1 (Hrbek et al., 2017).
• There exist $R$4-cotilting classes not of cofinite type, which can be difficult to distinguish purely on the basis of their module-theoretic properties.

4. Cotilting Modules, Torsion Pairs, and $R$5-Structures

Cotilting modules canonically induce torsion pairs $R$6 in module categories or abelian categories, where $R$7 and $R$8 (Parra, 2014, Hügel et al., 2022):

• The torsion pair induces a $R$9-structure on $C$0 whose heart $C$1 is a Grothendieck abelian category, with simple objects classified via torsion-theoretic and model-theoretic techniques (Hügel et al., 2022).
• A cotilting torsion pair $C$2 satisfies $C$3 for a cotilting module $C$4, and closure under direct limits plays a key role in categorical properties of the heart (Parra, 2014).
• In right artinian or Grothendieck settings, necessary and sufficient conditions for the heart to be a module category require that the torsion-free class is cogenerated by a cotilting module (Colpi et al., 2010, Parra, 2014).

5. Cotilting Duality, Derived Categories, and Equivalences

Cotilting modules represent canonical dualities, frequently extending and generalizing Morita duality (Mantese et al., 28 Feb 2025):

• A cotilting bimodule (faithfully balanced and 1-cotilting on both sides) defines a duality on bounded derived categories:

$C$5

with $C$6 the cotilting bimodule (Mantese et al., 28 Feb 2025).

• For right artinian $C$7, the existence of a product complete cotilting module $C$8 is equivalent to reflexive modules (under this duality) being precisely the finitely generated ones.
• In broader settings (for example, Wakamatsu tilting/cotilting modules), cotilting duality controls higher Gorenstein homological invariants and transfers between Auslander and Bass classes (see below).

6. Gorenstein Homological Dimensions, Auslander and Bass Classes

Recent advances relate cotilting modules to the theory of Gorenstein dimensions and stable module categories (Divaani-Aazar et al., 2024):

• For a cotilting module $C$9, the Auslander class $\mathrm{inj.dim}_R(C) \leq n$0 (for $\mathrm{inj.dim}_R(C) \leq n$1) consists of $\mathrm{inj.dim}_R(C) \leq n$2-modules $\mathrm{inj.dim}_R(C) \leq n$3 with $\mathrm{inj.dim}_R(C) \leq n$4 for $\mathrm{inj.dim}_R(C) \leq n$5, and $\mathrm{inj.dim}_R(C) \leq n$6; this coincides with modules of finite Gorenstein projective and flat dimension over $\mathrm{inj.dim}_R(C) \leq n$7.
• Dually, the Bass class $\mathrm{inj.dim}_R(C) \leq n$8 for $\mathrm{inj.dim}_R(C) \leq n$9 identifies $\alpha$0-modules of finite Gorenstein injective dimension.
• These equivalences extend the known results for dualizing complexes to the setting of cotilting modules, with the equivalence of Auslander/Bass classes and finiteness of Gorenstein dimensions holding under suitable (coherence, faithfulness) conditions.

7. Applications in Homological Conjectures and Module Theory

Cotilting right $\alpha$1-modules play a pivotal role in the homological classification of rings and modules, particularly in the context of homological conjectures such as the Auslander–Reiten conjecture (Divaani-Aazar et al., 28 Jul 2025):

• If $\alpha$2 is a finitely generated cotilting right $\alpha$3-module with endomorphism ring $\alpha$4, then, under mild hypotheses, if $\alpha$5 satisfies the Auslander–Reiten conjecture, so does $\alpha$6. Precise technical conditions involve co-Noetherianity, artinian hypotheses, or $\alpha$7 being a Noetherian $\alpha$8-algebra over a complete semi-local ring.
• For Iwanaga–Gorenstein rings and certain orders, cotilting modules constructed from canonical or dualizing modules provide important test cases for conjecture verification.
• The duality and derived equivalences induced by cotilting modules transfer deep homological properties and invariants between module categories and across algebras.

8. Classification over Tame Hereditary and Canonical Algebras

Infinite dimensional cotilting modules over tame hereditary algebras, and more generally concealed canonical algebras, have been classified via the duality to large tilting modules (Hügel et al., 2010, Hügel et al., 2015):

• Large cotilting modules can be decomposed via canonical summands such as Prüfer modules and generic modules, parametrized via "slopes" and "wings," with classification governed by product-closure and the structure of pure-injective indecomposables.
• There is a one-to-one correspondence between large cotilting classes, collections of indecomposable pure-injective modules, and the dual classes of large tilting modules.

---

In summary, cotilting right $\alpha$9-modules constitute an axiomatic, categorical, and homologically robust class of objects. They induce and classify torsion pairs and $\operatorname{Ext}_R^i(C^\alpha, C) = 0$0-structures, encode deep dualities (often realized at the level of derived categories), correspond precisely to modules and classes characterized by Ext vanishing and Gorenstein invariants, and exhibit complex local-global and classification behaviors reflecting the geometry of $\operatorname{Ext}_R^i(C^\alpha, C) = 0$1. The modern theory incorporates the generalization to cosilting and Wakamatsu tilting/cotilting modules, providing a framework that is flexible yet precise, and intimately connected to classical and current advances in algebra and representation theory.