--- title: Cotilting Right R-Module url: https://www.emergentmind.com/topics/cotilting-right-r-module type: topic --- # Cotilting Right R-Module 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 [2507.20458], [2502.20901], [2407.06364], [1611.00535]): 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 $$ 0 \to C_r \to \cdots \to C_1 \to C_0 \to Q \to 0 $$ with each $C_i \in \mathrm{Prod}(C)$ and $Q$ an injective cogenerator of $\mathrm{Mod}\textrm{-}R$. The class cogenerated by $C$, $\mathrm{Cogen}(C)$, is that of all modules $M$ for which every map $M \to Q$ (for injective $Q$) factors through a product of copies of $C$; frequently, for a 1-cotilting module $C$, $\mathrm{Cogen}(C) = \{M \mid \operatorname{Ext}_R^1(M,C)=0\}$ ([2502.20901], [1601.01385]). Cotilting right $R$-modules are always pure-injective in the noetherian case ([1508.03752]). In artinian settings, cotilting modules are finitely generated, finite length, and product-complete ([2502.20901], 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** ([1601.01385], [1607.07718], [2103.05298]), where the copresentation need not be epimorphic. Critical equivalences: - For $R$-modules, the following are equivalent: being AIR-cotilting, quasi-cotilting, and cosilting ([1601.01385], Theorems 1.2, 4.18). - Every (partial) cotilting module is (partial) cosilting, but not conversely ([1607.07718]). - Cosilting modules are characterized via 2-term complexes in the derived category: $C$ is cosilting iff its injective copresentation yields a cosilting complex whose "hearts" induce t-structures and associated torsion theories ([1607.07718], [1601.01385]). 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 $\operatorname{Ext}^1$ functors ([2103.05298]). ## 3. Classification and Local-Global Principles ### Commutative Noetherian Rings and Local-Global Correspondence For commutative noetherian $R$, every finite $n$-cotilting right $R$-module $C$ is of cofinite type and classifiable via a local-global principle ([1306.6234], [1701.05534]): - There is a one-to-one correspondence between equivalence classes of $n$-cotilting $R$-modules and compatible families $(C^m)_{m \in \mathrm{mSpec} R}$ of $n$-cotilting $R_m$-modules, where $C^m = \operatorname{Hom}_R(R_m, C)$ is the colocalization. - Compatibility is ensured by "characteristic sequences" of subsets $(P_0, ..., P_{n-1}) \subseteq \operatorname{Spec} R$ satisfying lowering and separation conditions. - The global module is recovered via the (potentially infinite) product $C = \prod_{m \in \mathrm{mSpec} R} C^m$ ([1306.6234]). ### Arbitrary Commutative Rings For arbitrary commutative $R$, cotilting modules/classes are classified via finite sequences of Thomason subsets of $\operatorname{Spec} R$, via the geometry of the spectrum ([1701.05534]): - $n$-cotilting classes of cofinite type correspond to sequences $X_0 \supseteq \cdots \supseteq X_{n-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 $n$-cotilting class, an explicit $n$-cotilting module can be constructed via iterative injective coresolutions, generalizing constructions known for dimension 1 ([1701.05534]). - There exist $n$-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 $t$-Structures Cotilting modules canonically induce torsion pairs $(\mathcal{Q}, \mathcal{C})$ in module categories or abelian categories, where $\mathcal{C} = \mathrm{Cogen}(C)$ and $\mathcal{Q} = \{ M \mid \operatorname{Hom}_R(M, C) = 0 \}$ ([1409.6639], [2205.11883]): - The torsion pair induces a $t$-structure on $D(\mathrm{Mod}\text{-}R)$ whose heart $\mathcal{H}_t$ is a Grothendieck abelian category, with simple objects classified via torsion-theoretic and model-theoretic techniques ([2205.11883]). - A cotilting torsion pair $(\mathcal{T},\mathcal{F})$ satisfies $\mathcal{F} = \mathrm{Cogen}(Q) = \ker \operatorname{Ext}_R^1(-, Q)$ for a cotilting module $Q$, and closure under direct limits plays a key role in categorical properties of the heart ([1409.6639]). - 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 ([1011.5345], [1409.6639]). ## 5. Cotilting Duality, Derived Categories, and Equivalences Cotilting modules represent canonical dualities, frequently extending and generalizing Morita duality ([2502.20901]): - A cotilting bimodule (faithfully balanced and 1-cotilting on both sides) defines a duality on bounded derived categories: $$ \mathbf{R}\operatorname{Hom}_{S^\mathrm{op}}(-, U): D^b(S) \rightleftarrows D^b(R) : \mathbf{R}\operatorname{Hom}_R(-, U) $$ with $U$ the cotilting bimodule ([2502.20901]). - For right artinian $R$, the existence of a product complete cotilting module $U$ 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 ([2407.06364]): - For a cotilting module $C$, the Auslander class $\mathscr{A}_C(S)$ (for $S = \operatorname{End}_R(C)$) consists of $S$-modules $N$ with $\operatorname{Tor}_i^S(N, C) = 0 = \operatorname{Ext}_R^i(C, N \otimes_S C)$ for $i \geq 1$, and $N \cong \operatorname{Hom}_R(C, N \otimes_S C)$; this coincides with modules of finite Gorenstein projective and flat dimension over $S$. - Dually, the Bass class $\mathscr{B}_C(R)$ for $C$ identifies $R$-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 $R$-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 ([2507.20458]): - If $C$ is a finitely generated cotilting right $R$-module with endomorphism ring $S = \operatorname{End}_R(C)$, then, under mild hypotheses, if $R$ satisfies the Auslander–Reiten conjecture, so does $S$. Precise technical conditions involve co-Noetherianity, artinian hypotheses, or $R$ being a Noetherian $\Gamma$-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 ([1007.4233], [1508.03752]): - 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 $R$-modules constitute an axiomatic, categorical, and homologically robust class of objects. They induce and classify torsion pairs and $t$-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 $\mathrm{Spec}\,R$. 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. Source: https://www.emergentmind.com/topics/cotilting-right-r-module