--- title: Characteristic Tilting Module url: https://www.emergentmind.com/topics/characteristic-tilting-module type: topic --- # Characteristic Tilting Module A characteristic tilting module is, in its standard and most precise sense, the canonical basic tilting–cotilting module attached to a quasi-hereditary algebra \((A,\unlhd)\). It is characterized by Ringel’s condition \[ \operatorname{add} T_{\unlhd}= \mathcal F(\Delta)\cap \mathcal F(\nabla), \] equivalently by being the direct sum of all Ext-injective objects in the category \(\mathcal F(\Delta)\) of modules admitting a standard filtration. In current usage, however, the phrase also appears in broader homological settings: a tilting module determined by the kernel of a cotorsion pair, a canonical tilting object singled out by dominant dimension, or, more loosely, tilting modules for algebraic groups over fields of positive characteristic. The common feature is that the tilting object is extracted from intrinsic structure rather than chosen ad hoc [1902.09185] [2507.16575]. ## 1. Standard meaning in quasi-hereditary theory Let \(A\) be an artin algebra with simple modules \(\{S(\lambda)\mid \lambda\in\Lambda\}\), projective covers \(P(\lambda)\), injective hulls \(I(\lambda)\), and a partial order \(\le\) on \(\Lambda\). The standard module \(\Delta(\lambda)\) is the maximal factor of \(P(\lambda)\) whose composition factors are \(S(\mu)\) with \(\mu\le\lambda\), and the costandard module \(\nabla(\lambda)\) is defined dually as a submodule of \(I(\lambda)\) with the same composition-factor restriction. The pair \((A,\le)\) is quasi-hereditary when these modules satisfy the usual heredity conditions, in particular the existence of exact sequences \[ 0\to K(\lambda)\to P(\lambda)\to \Delta(\lambda)\to 0 \] with \(K(\lambda)\in \mathcal F(\Delta)\) and filtration factors indexed strictly above \(\lambda\) [1902.09185]. In this setting, the characteristic tilting module \(T\) is the direct sum of all Ext-injective objects in \(\mathcal F(\Delta)\). It is a basic tilting module and also a cotilting module. Equivalently, it has both a \(\Delta\)-filtration and a \(\nabla\)-filtration. This makes it the canonical tilting object encoding the highest-weight structure itself. For a quasi-hereditary structure \(\unlhd\), one writes \[ T_{\unlhd}=\bigoplus_{x\in\Lambda} T_{\unlhd}(x), \] with each indecomposable summand satisfying \[ [T_{\unlhd}(x):S(x)]=1,\qquad [T_{\unlhd}(x):S(y)]\neq 0\Rightarrow y\unlhd x. \] The characteristic tilting module determines the Ringel dual via \(\operatorname{End}_A(T_{\unlhd})^{\mathrm{op}}\), and in graded highest-weight settings one likewise has \[ T^{\mathrm{char}}=\bigoplus_{\lambda\in\Lambda} T(\lambda), \] one indecomposable tilting summand for each weight [2507.16575] [1809.10612]. ## 2. Recognition of characteristic tilting modules A basic problem is to decide which tilting modules arise as characteristic tilting modules of some quasi-hereditary structure. A recent answer is given in terms of IS-tilting modules. An IS-tilting module is a pair \((T,\unlhd)\) consisting of a tilting module and a partial order on its indecomposable summands such that iterative idempotent truncation along \(\unlhd\) always reveals a simple direct summand. For tilting modules, the decisive condition reduces to the existence of a decomposition \(T=\bigoplus_{x\in\Lambda}T(x)\) with \[ [T(x):S(x)]=1,\qquad [T(x):S(y)]\neq 0\Rightarrow y\unlhd x. \] In that case, \((T,\unlhd)\) is IS-tilting, \((A,\unlhd)\) is quasi-hereditary, and \[ T=T_{\unlhd}. \] Equivalently, a tilting module is characteristic if and only if there exists some partial order making it IS-tilting; this yields a bijection \[ \mathsf{IS}(A)\xrightarrow{\sim}\mathsf{QH}(A)\xrightarrow{\sim}\mathsf{CTilt}(A). \] The same analysis shows that all tilting modules are characteristic precisely for quadratic linear Nakayama algebras. In that case, the set of tilting modules decomposes recursively, and the corresponding quasi-hereditary structures admit descriptions via nodal gluing and binary tree sequences; the counting formulas involve Catalan numbers [2507.16575]. ## 3. Strongly quasi-hereditary structures and Auslander-type comparison The characteristic tilting module also serves as a diagnostic for stronger homological forms of quasi-heredity. A quasi-hereditary algebra \((A,\le)\) with characteristic tilting module \(T\) is right-strongly quasi-hereditary exactly when \(\operatorname{pd}T\le 1\), equivalently when every standard module has projective dimension at most \(1\). Dually, it is left-strongly quasi-hereditary exactly when \(\operatorname{id}T\le 1\). If both hold, the algebra is strongly quasi-hereditary, and then \(\operatorname{gldim}A\le 2\) [1902.09185]. This interacts closely with dominant-dimension constructions. For an almost \(1\)-Auslander algebra, one has a distinguished relative tilting module \(T_1\), defined as the unique basic \(1\)-tilting module in \[ \mathrm{Fac}_1(I)\cap \mathrm{Sub}_1(I), \] where \(I\) is the basic injective module collecting precisely the injectives of projective dimension at most \(1\). The characteristic tilting module \(T\) of a right-strongly quasi-hereditary structure can then be compared with \(T_1\). The key implication chain is \[ P(T)\in \mathrm{add}\,I \Rightarrow T\cong T_1 \Rightarrow (A,\le)\text{ is strongly quasi-hereditary}. \] If \(I\) is projective, these conditions become equivalent; for Auslander algebras of global dimension \(2\), they are also equivalent to \(\operatorname{End}_A(I)\) being a Nakayama algebra [1902.09185]. ## 4. Characteristic tilting modules from cotorsion-pair kernels A broader homological use of the expression arises from complete hereditary cotorsion pairs \(\mathcal C=(\mathcal A,\mathcal B)\) in \(\mathrm{Mod}\text{-}R\). Here the kernel is \[ \mathcal K_{\mathcal C}=\mathcal A\cap \mathcal B. \] Although the paper does not formally introduce the term, it explicitly identifies as natural the notion of a characteristic tilting module attached to \(\mathcal C\): a tilting module \(T\) such that \[ \mathcal K_{\mathcal C}=\mathrm{Add}(T). \] The main structural theorem gives equivalent criteria for this to happen. For a complete hereditary cotorsion pair and \(n\ge 0\), the condition \[ \mathcal K_{\mathcal C}=\mathrm{Add}(T) \quad\text{for some }n\text{-tilting }T \] is equivalent to \[ \mathcal K_{\mathcal C}\subseteq \mathcal P_n,\qquad \mathcal A\subseteq \mathsf{GP}_n, \] together with closure of \(\mathcal K_{\mathcal C}\) under arbitrary direct sums; it is also equivalent to a description of the right class of the form \[ \mathcal B=T^{\perp\infty}\cap \mathcal X^{\perp\infty} \] for a class \(\mathcal X\) of strongly Gorenstein projective modules. The resulting \(T\) is unique up to additive equivalence [1812.03498]. In this framework, several classical questions become kernel-detection problems. For a left Noetherian ring, \[ \mathrm{findim}(R)<\infty \] is equivalent to the kernel of the cotorsion pair built from \(\mathcal P_{<\infty}\), and equivalently the one built from \(\mathsf{GP}_{<\infty}\), being of the form \(\mathrm{Add}(T)\) for some tilting module. A Wakamatsu tilting module \(\omega\) of finite projective dimension is tilting exactly when the kernel of an associated cotorsion pair is \(\mathrm{Add}(T)\) for some tilting \(T\). For commutative rings, Gorensteinness is characterized by the kernels of \((\mathsf{GI},\mathsf{GI})\) or \((R\text{-Mod},\mathcal I)\) being additive closures of tilting modules. In all these cases, the kernel acts as the carrier of a canonical tilting object [1812.03498]. ## 5. Positive characteristic and representation-theoretic usage In modular representation theory the same phrase can mean something different: tilting modules considered specifically over a field of prime characteristic. For \(G=\mathrm{SL}_2(K)\) with \(\operatorname{char}K=p>0\), a finite-dimensional rational \(G\)-module is tilting when it admits both a Weyl filtration and a dual Weyl filtration. The category \(\mathrm{Tilt}(\mathrm{SL}_2)\) is additive, Karoubian, rigid, and monoidal, with indecomposables \(T(\nu)\) indexed by dominant weights \(\nu\). In this literature, “characteristic tilting module” often means precisely a tilting module in positive characteristic, as opposed to a canonical Ringel object of a quasi-hereditary algebra [2004.10146]. This usage emphasizes characteristic-dependent structure. For \(\mathrm{SL}_2\), the center of the tilting category in characteristic \(p\) is described by \[ Z(\mathrm{Tilt})\cong K[X_v\mid v\in\mathbb N]/\langle X_vX_w\mid v,w\in\mathbb N\rangle, \] where the generators are nilpotent central natural transformations built from transported quiver loops. The block decomposition is controlled by \(p\)-adic combinatorics, and indecomposable tilting modules decompose according to Donkin’s tensor product theorem [2004.10146]. The dependence on \(p\)-adic expansions is also explicit in tensor-product criteria. For \(G=\mathrm{SL}_2(k)\) over an algebraically closed field of characteristic \(p>0\), the module \[ \nabla(r)\otimes \Delta(s) \] is tilting if and only if, for the primitive pair \((\hat r,\hat s)\) of \((r,s)\), one has either \[ \hat r = a p^n + p^n - 1\quad\text{for some }a\in\{0,\ldots,p-2\},\ \hat s0\) exactly when \(\mu-\rho\ge \lambda-\rho\), and \(b_\mu\ge b_{\mu'}\) whenever \(\mu-\rho\ge \mu'-\rho\ge \lambda-\rho\) [1912.11132]. ## 6. Broader homological avatars Several adjacent developments isolate characteristic-like tilting objects without using the standard terminology. For algebras of positive dominant dimension, there are unique \(\Pi\)-special \(k\)-tilting and \(k\)-cotilting modules \(T_k\) and \(C^k\), called shifted and coshifted modules, where \(\Pi\) is a maximal projective-injective summand. Their endomorphism algebras have global dimension bounded above by that of the original algebra, and a non-selfinjective algebra is minimal \(d\)-Auslander–Gorenstein exactly when \[ T_k\cong C^{\,d+1-k}\qquad (0\le k\le d+1). \] These modules play a canonical role closely analogous to characteristic tilting modules in quasi-hereditary theory [1705.03367]. Base change provides another characteristic mechanism. If \(x\) is a central non-unit non-zero-divisor on a ring \(\Lambda\), then any classical \(n\)-tilting module \(T\) over \(\Lambda\) yields classical \(n\)-tilting modules \(T_x\) over \(\Lambda_x\) and \(T/xT\) over \(\Lambda/x\Lambda\). Conversely, under noetherianity and regularity hypotheses, tilting over both \(\Lambda_x\) and \(\Lambda/x\Lambda\) reflects back to tilting over \(\Lambda\). Since characteristic tilting modules of quasi-hereditary algebras are classical tilting modules with extra \(\Delta/\nabla\)-filtration structure, this gives a base-change framework for transporting them [1710.05518]. A categorical variant appears in the study of the \(t\)-structure induced by an \(n\)-tilting module \(T\). The heart \(\mathcal H_T\) is a Grothendieck category if and only if \(T\) is pure projective, and for \(1\)-tilting modules the HRS heart is Grothendieck if and only if the tilting module is pure projective, while it is equivalent to a module category exactly when the tilting module is classical [1604.00797] [1703.04745]. These are not redefinitions of characteristic tilting modules, but they identify categorical signatures of tilting objects singled out by especially rigid behavior. Taken together, these developments show that “characteristic tilting module” has a stable core and several controlled extensions. The core notion remains Ringel’s canonical tilting–cotilting object of a quasi-hereditary structure. Around it lie closely related usages in cotorsion theory, dominant-dimension methods, and modular representation theory, each preserving the same essential idea: a tilting module determined by the intrinsic architecture of the category or ring under study. Source: https://www.emergentmind.com/topics/characteristic-tilting-module