Cotilting Modules: Theory and Applications

• Cotilting modules are the injective-side analogues of tilting modules, characterized by finite injective dimension, self-orthogonality, and specific Ext-orthogonal classes.
• They underpin the structure of cotorsion pairs and derived equivalences, serving as essential tools in classifying modules over commutative noetherian rings, Artin algebras, and in relative dimension theories.
• Recent research compares multiple definitions— from M-cotilting to cosilting frameworks—highlighting their roles in constructing approximate resolutions and controlling pure-injective representations in modern homological algebra.

Cotilting modules are the injective-side analogues of tilting modules, but the subject is not governed by a single universally accepted definition. Across the literature, cotilting theory is organized around finite injective dimension, self-orthogonality of products, Ext-orthogonal classes such as ${}^\perp C$, and cogeneration properties expressed either by exact coresolutions of an injective cogenerator or by approximation-theoretic conditions inside Ext-orthogonal subcategories. In modern developments, cotilting modules are linked to cotorsion pairs, derived and relative dimensions, Grothendieck hearts, local–global classification over commutative noetherian rings, and broader cosilting frameworks (Divaani-Aazar et al., 25 Jul 2025).

1. Standard homological formulations

A widely used “big” $n$-cotilting definition takes a right $R$-module $C$ and requires three conditions: $\mathrm{id}_R C \le n$; $\operatorname{Ext}^i_R(C^{\kappa},C)=0$ for all $i>0$ and all cardinals $\kappa$; and an exact sequence

$0 \to C_n \to \dots \to C_0 \to W \to 0$

with each $C_i\in \mathrm{Prod}\,C$ and $n$0 an injective cogenerator of $n$1. The associated cotilting class is

$n$2

and two $n$3-cotilting modules are equivalent precisely when they induce the same cotilting class (Trlifaj et al., 2013).

For the classical $n$4-cotilting situation, the defining picture is often written in terms of

$n$5

and

$n$6

In that setting, a cotilting module $n$7 satisfies $n$8, $n$9 for all cardinals $R$0, and

$R$1

Equivalently, the torsion pair $R$2 is faithful, and $R$3 is the cotilting class (Hügel et al., 2015).

In the noetherian finitely generated setting, Yoshiwaki uses the notation

$R$4

A module $R$5 is cotilting if it has finite injective dimension, satisfies $R$6, and every $R$7 fits into a short exact sequence

$R$8

with $R$9 and $C$0. In that formulation, $C$1 is the central cotilting class governing the relative derived dimension theory (Yoshiwaki, 2016).

A fundamental structural criterion due to Bazzoni states that for $C$2,

$C$3

so the cotilting class is exactly the class of modules admitting an $C$4-step copresentation by products of $C$5 (Stovicek et al., 2013).

2. Multiple definitions and their comparison

Recent work emphasizes that cotilting theory, unlike tilting theory, is not built from a single standard definition. Four major formulations are compared systematically: Miyashita cotilting, Auslander–Reiten cotilting, big cotilting, and AAITY-cotilting (Divaani-Aazar et al., 25 Jul 2025).

Definition	Ambient hypotheses	Characteristic condition
M-cotilting	$C$6 right coherent, $C$7 left coherent	$C$8 is Wakamatsu tilting and both $C$9 and $\mathrm{id}_R C \le n$0 are finite
AR-cotilting	Artin $\mathrm{id}_R C \le n$1-algebra, $\mathrm{id}_R C \le n$2 finitely generated	$\mathrm{id}_R C \le n$3, $\mathrm{id}_R C \le n$4, and $\mathrm{id}_R C \le n$5 with $\mathrm{id}_R C \le n$6
Big cotilting	arbitrary ring	finite injective dimension, $\mathrm{id}_R C \le n$7, and a finite $\mathrm{id}_R C \le n$8-coresolution of an injective cogenerator by $\mathrm{id}_R C \le n$9
AAITY-cotilting	$\operatorname{Ext}^i_R(C^{\kappa},C)=0$0 finitely generated	finite injective dimension, self-orthogonality, and for every finitely generated $\operatorname{Ext}^i_R(C^{\kappa},C)=0$1 an exact sequence $\operatorname{Ext}^i_R(C^{\kappa},C)=0$2 with $\operatorname{Ext}^i_R(C^{\kappa},C)=0$3 and $\operatorname{Ext}^i_R(C^{\kappa},C)=0$4

The comparison theorems establish a web of implications under coherence, noetherianity, and product-completeness. In particular, M-cotilting implies AAITY-cotilting under right/left noetherian hypotheses; big cotilting implies M-cotilting under coherence assumptions; and product-completeness bridges M-cotilting and big cotilting in both directions under suitable finiteness conditions (Divaani-Aazar et al., 25 Jul 2025).

Over Artin algebras the situation rigidifies. If $\operatorname{Ext}^i_R(C^{\kappa},C)=0$5 is an Artin algebra and $\operatorname{Ext}^i_R(C^{\kappa},C)=0$6 is finitely generated, then the four notions are equivalent. Thus, in the Artinian finite-length context, the definitional ambiguity disappears and cotilting becomes a single theory again (Divaani-Aazar et al., 25 Jul 2025).

The same comparison paper also isolates an AAITY-style formulation as a robust axiomatization: finite injective dimension, self-orthogonality, and the approximation property inside $\operatorname{Ext}^i_R(C^{\kappa},C)=0$7. Under additional hypotheses this recovers Miyashita’s dual tilting notion, and the remaining gap is related to the Dual Wakamatsu Tilting Conjecture (Divaani-Aazar et al., 25 Jul 2025).

3. Derived, big, and relative viewpoints

Big cotilting modules occupy a central place in derived Morita theory. If $\operatorname{Ext}^i_R(C^{\kappa},C)=0$8 is a Grothendieck category with an injective cogenerator $\operatorname{Ext}^i_R(C^{\kappa},C)=0$9 and a classical tilting object $i>0$0 of finite projective dimension, then under the derived equivalence

$i>0$1

the object $i>0$2 is sent to a module $i>0$3, and $i>0$4 is a big $i>0$5-cotilting $i>0$6-module when $i>0$7. Conversely, every big cotilting module arises in essentially unique fashion from such a Grothendieck category with a classical tilting object (Stovicek, 2013).

For a big cotilting module $i>0$8, the class

$i>0$9

forms, together with a corresponding class $\kappa$0, a functorially complete hereditary cotorsion pair, and the associated cotilting $\kappa$1-structure on $\kappa$2 has heart

$\kappa$3

This heart is again a Grothendieck category; inside it, $\kappa$4 is an injective cogenerator and $\kappa$5 becomes a classical tilting object with $\kappa$6 (Stovicek, 2013).

The derived equivalence is not merely triangulated. It is induced by a Quillen equivalence between suitable abelian model structures on categories of complexes, and it upgrades to an equivalence of derivators. Thus, big cotilting modules control not only $\kappa$7 itself but the compatible derived categories of coherent diagram categories $\kappa$8 and $\kappa$9 for all small $0 \to C_n \to \dots \to C_0 \to W \to 0$0 (Stovicek, 2013).

A different derived invariant appears in relative dimension theory. If $0 \to C_n \to \dots \to C_0 \to W \to 0$1 is noetherian and $0 \to C_n \to \dots \to C_0 \to W \to 0$2 is a cotilting $0 \to C_n \to \dots \to C_0 \to W \to 0$3-module with $0 \to C_n \to \dots \to C_0 \to W \to 0$4, then

$0 \to C_n \to \dots \to C_0 \to W \to 0$5

This equality is obtained via Auslander–Buchweitz approximation and the Ghost Lemma. In the commutative noetherian local case with canonical module $0 \to C_n \to \dots \to C_0 \to W \to 0$6 and $0 \to C_n \to \dots \to C_0 \to W \to 0$7, one gets

$0 \to C_n \to \dots \to C_0 \to W \to 0$8

because $0 \to C_n \to \dots \to C_0 \to W \to 0$9 is cotilting and $C_i\in \mathrm{Prod}\,C$0 (Yoshiwaki, 2016).

4. Commutative noetherian rings: classification, minimality, and localization

Over a commutative noetherian ring, cotilting classes admit a spectral classification by characteristic sequences

$C_i\in \mathrm{Prod}\,C$1

of specialization-closed subsets of $C_i\in \mathrm{Prod}\,C$2 satisfying $C_i\in \mathrm{Prod}\,C$3 and

$C_i\in \mathrm{Prod}\,C$4

The corresponding $C_i\in \mathrm{Prod}\,C$5-cotilting class is

$C_i\in \mathrm{Prod}\,C$6

In this setting every cotilting module is of cofinite type (Trlifaj et al., 2013).

The local–global principle is especially strong. For each maximal ideal $C_i\in \mathrm{Prod}\,C$7, the colocalization

$C_i\in \mathrm{Prod}\,C$8

of an $C_i\in \mathrm{Prod}\,C$9-cotilting module $n$00 is an $n$01-cotilting $n$02-module, and the assignment

$n$03

induces a bijection between equivalence classes of global $n$04-cotilting modules and equivalence classes of compatible families of local $n$05-cotilting modules. The inverse map is explicit: $n$06 This gives a concrete reconstruction theorem unavailable on the tilting side (Trlifaj et al., 2013).

The construction problem for cotilting modules over commutative noetherian rings can also be solved explicitly. For each $n$07-cotilting class $n$08, one can construct an $n$09-cotilting module inducing $n$10 by an iteration of injective precovers. A further refinement produces the unique minimal $n$11-cotilting module inducing the class (Stovicek et al., 2013).

Localization raises a subtler issue. A cotilting module is called ample if all of its localizations are cotilting. For each $n$12-cotilting class there exists an ample cotilting module inducing it, but there is a $n$13-cotilting class for which no ample representative exists. This shows that locality behaves markedly differently in cotilting dimension $n$14 and in higher dimensions (Stovicek et al., 2013).

5. From cotilting to cosilting

Cosilting theory extends cotilting by replacing Ext-orthogonality with a class determined by an injective copresentation. If

$n$15

is an injective copresentation, define

$n$16

Then $n$17 is cosilting with respect to $n$18 when

$n$19

Cotilting is recovered precisely when $n$20 is epimorphic: a module is (partial) cotilting if and only if it is (partial) cosilting with respect to an epimorphic injective copresentation (Pop, 2016).

Two-term complexes make this extension precise. If $n$21 is regarded as a complex in degrees $n$22 and $n$23, then $n$24 is cosilting exactly when $n$25 is a two-term cosilting complex, and the pair

$n$26

is a torsion pair in $n$27. Moreover,

$n$28

is a $n$29-structure on $n$30. Thus cotilting theory sits inside a broader two-term derived framework parallel to the silting picture (Pop, 2016).

Another unification is provided by AIR-cotilting theory. AIR-cotilting modules, cosilting modules, and quasi-cotilting modules coincide, and there are bijections between equivalent classes of these modules, equivalent classes of $n$31-term cosilting complexes, torsion-free cover classes, and torsion-free special precover classes. This contrasts with the tilting side, where AIR-tilting, silting, and quasi-tilting differ in general (Zhang et al., 2016).

A further refinement identifies cosilting modules as cotilting objects in suitable Grothendieck subcategories. If $n$32 is a cosilting right $n$33-module, then there exists a right ideal $n$34 such that $n$35 is a cotilting object in $n$36, the full subcategory of modules that are submodules of $n$37-generated modules. Conversely, under suitable conditions, a cotilting object in $n$38 is cosilting. In the commutative case, or when $n$39 is finitely generated over its endomorphism ring, this yields a factor ring $n$40 such that $n$41 is a cotilting module over $n$42 (Hu et al., 2021).

6. Representation-theoretic realizations

Over concealed canonical algebras of domestic or tubular type, cotilting modules admit an explicit large-scale classification parallel to that of tilting modules. In the domestic case, equivalence classes of large cotilting modules are parametrized by pairs $n$43, where $n$44 is a branch module and $n$45 is a subset of tubes. A representative has the form

$n$46

where $n$47 are adic modules, $n$48 Prüfer modules, and $n$49 is the generic module (Hügel et al., 2015).

For tubular algebras, slope governs the classification. At rational slope $n$50, cotilting modules of slope $n$51 are again parametrized by pairs $n$52 inside the tubular family $n$53. At irrational slope $n$54, there is exactly one cotilting module $n$55 up to equivalence, and a module has slope $n$56 if and only if it is a pure submodule of a product of copies of $n$57 (Hügel et al., 2015).

These cotilting classifications interact with pure-injective representation theory. The indecomposable pure-injective modules over a concealed canonical algebra are exactly the finite-dimensional indecomposables, the Prüfer, adic, and generic modules of rational slopes, the indecomposable pure-injectives in $n$58 for irrational slopes, further pure-injectives from the extreme tubular families, and a finite exceptional set. For irrational slope, $n$59 is pure-injective and

$n$60

(Hügel et al., 2015).

Minimality can also be read off explicitly. Over a tame hereditary algebra, a large cotilting module is minimal if and only if it has an adic module as a direct summand. Equivalently, among the classified large cotilting modules, minimality is exactly the presence of the adic part in the infinite-dimensional decomposition (Hügel et al., 2020).

For Artin algebras, cotilting modules generated and cogenerated by projective–injective modules are controlled by dominant dimension. If

$n$61

where $n$62 is the direct sum of indecomposable projective–injectives, then

$n$63

Moreover,

$n$64

(Nguyen et al., 2017).

These specialized realizations show that cotilting modules simultaneously encode slope-theoretic, pure-injective, and homological-dimension phenomena. In concealed canonical and tame hereditary settings they organize infinite-dimensional representation theory; in Artin and Auslander–Gorenstein settings they detect dominant dimension and the coincidence of tilting and cotilting behavior (Hügel et al., 2015).