Partial Silting Modules

• Partial silting modules are A-modules with a fixed projective presentation that satisfy homological conditions to form torsion classes.
• They generalize classical tilting modules by inducing torsion pairs and providing left approximations, often via Bongartz completion.
• They underpin universal localization and link with t-structures and silting mutations in derived categories, enhancing structural classification.

A partial silting module is an $A$-module $T$ endowed with a specific projective presentation and associated torsion-theoretic and approximation properties that generalize classical tilting theory to broader contexts. This concept is central in the structural study of module categories, torsion classes, universal localization, $t$-structures in derived categories, and the combinatorics of tilting and silting mutations. The notion arises as both a weakening of silting modules—requiring only the vanishing of certain derived homomorphisms and the existence of left approximations—and as the key object in parametrizing and “lifting” torsion data in module and derived categories, with direct analogues and implications in the context of silting objects and subcategories in triangulated categories.

1. Definitions, Formulations, and Foundational Properties

Let $A$ be a (not necessarily commutative) ring and $T$ an $A$-module with a fixed projective presentation:

$\sigma: P_1 \to P_0 \to T \to 0.$

Define the class:

$$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$

$T$ is called a partial silting module (with respect to $\sigma$) if:

• (S1) $T$0 is a torsion class;
• (S2) $T$1.

$T$2 is called a silting module if $T$3, i.e., the torsion class generated by $T$4 coincides with $T$5 (Hügel et al., 2014). If $T$6 is injective, the notions of partial silting and partial tilting coincide.

Partial silting modules generalize both tilting modules and support $T$7-tilting modules and are, for any projective presentation, modules that satisfy enough self-orthogonality to induce torsion pairs and approximation sequences, yet may not generate the entire torsion class or derived category.

Key formulas:

• Silting: $T$8.
• For two-term complexes, $T$9 is silting if and only if the associated complex $t$0 is a two-term silting complex and $t$1 is a torsion pair.
• Bongartz complement (see §3): Any partial silting $t$2 is a direct summand of a silting module $t$3 with $t$4.

2. Torsion Theory, Approximations, and the Bongartz Completion

Every partial silting module $t$5 is associated with a torsion pair $t$6 in $t$7, with $t$8. If $t$9 is silting, then $A$0 is definable, closed under extensions, coproducts, direct limits, and pure quotients (Hügel, 2018). Left $A$1-approximations are provided by surjective morphisms $A$2 factoring through $A$3.

Bongartz completion: Every partial silting module $A$4 is a direct summand of a silting module $A$5 such that $A$6 [(Hügel et al., 2014), Theorem 3.15]. This is constructed via pushout diagrams starting from a $A$7-preenvelope of $A$8: $A$9 with $T$0 silting and $T$1 for the torsion class generated by the partial silting $T$2.

This completion links directly with the classical Bongartz complement for partial tilting modules and enables passage from partial objects to unique extensions with maximally defined torsion-theoretic properties.

3. Partial Silting Modules and Universal Localisation

Partial silting modules encode universal localisation data via their projective presentations. Any partial silting module $T$3 (via $T$4) defines a bireflective subcategory:

$T$5

which is the essential image of a ring epimorphism $T$6 (a "silting epimorphism") (Hügel et al., 2015, Marks et al., 2016). For hereditary or perfect rings, all torsion classes generated by silting modules arise as such images, and for hereditary rings, all homological epimorphisms (universal localisations) are parametrized by minimal silting modules (Hügel et al., 2015).

In commutative rings, every universal localisation (inverting maps between countably generated projectives) arises from a partial silting module, and conversely each partial silting module yields a universal localisation (Marks et al., 2016, Šťovíček, 3 Oct 2025). It is shown that in the commutative context, every flat ring epimorphism is a silting epimorphism and vice versa.

Summary of relationships: | Partial Silting Module $T$7 | Associated Epimorphism $T$8 | Universal Localisation | |---------------------------|--------------------------------------------|-------------------------------| | via $T$9: $A$0 | $A$1 | inverts $A$2 in $A$3 |

4. Role in Mutation, $A$4-Structures, and Derived Categories

Partial silting modules correspond to partial silting objects (or almost complete silting objects) in triangulated categories. In the derived category setting, a partial silting object $A$5 satisfies:

• $A$6 for $A$7 (semi-selforthogonality);
• $A$8 is contained in the subcategory it generates.

Silting mutation (Aihara et al., 2010) is a process of replacing an indecomposable summand in a silting object via a triangle:

$A$9

where $\sigma: P_1 \to P_0 \to T \to 0.$0 is a covariantly finite subcategory of $\sigma: P_1 \to P_0 \to T \to 0.$1, yielding a new silting object (or partial silting module) via $\sigma: P_1 \to P_0 \to T \to 0.$2. For almost complete (partial) silting objects, iterated mutation enables reaching any completion, and the set of silting objects forms a connected mutation graph (silting quiver).

In compactly generated triangulated categories (including derived module categories with coproducts), every localizing subcategory is generated by a partial silting object and thus admits an induced silting $\sigma: P_1 \to P_0 \to T \to 0.$3-structure (Hügel et al., 2019). The aisle of the $\sigma: P_1 \to P_0 \to T \to 0.$4-structure associated to a partial silting set is the Milnor (homotopy) colimit of iterated cones with associated objects in $\sigma: P_1 \to P_0 \to T \to 0.$5 (Nicolas et al., 2015).

Partial silting sets form a bridge to the theory of $\sigma: P_1 \to P_0 \to T \to 0.$6-structures: equivalence classes of partial silting sets correspond to $\sigma: P_1 \to P_0 \to T \to 0.$7-structures whose heart has a projective generator and is equivalent to a module category on some abelian category (Nicolas et al., 2015). When compactness is involved, partial silting objects correspond to nondegenerate $\sigma: P_1 \to P_0 \to T \to 0.$8-structures with certain boundedness and finiteness conditions.

5. Relationships to Gorenstein and Wakamatsu Silting

Partial silting modules are generalized further in the theory of Gorenstein silting modules (Gao et al., 2021, Gao et al., 2022), where presentations are by Gorenstein-projective modules and the relevant torsion class is closed under G-exact sequences. For finite-dimensional algebras of finite CM-type, partial Gorenstein silting modules are in bijection with $\sigma: P_1 \to P_0 \to T \to 0.$9-rigid modules.

In the derived category, the notion of Wakamatsu-silting complexes further encompasses partial silting modules. An object is Wakamatsu-silting if it is semi-selforthogonal and the regular module $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$0 lies in the class generated by positive shifts. Every (partial) silting module yields a Wakamatsu-silting complex as a stalk complex (Wei, 2013).

6. Applications, Examples, and Structural Classifications

Partial silting modules form the basis for connecting varieties of algebraic and module-theoretic structures:

• Classification of torsion theories: Over Noetherian, hereditary, or perfect rings, definable torsion classes, enveloping torsion classes, and homological localising subcategories are each generated by a (minimal) silting module, and every partial silting module can be completed to a silting module giving rise to a torsion pair (Breaz et al., 2016, Hügel, 2018).
• Ring epimorphisms and localisations: Parametrisation of all homological ring epimorphisms and universal localisations is achieved via partial silting modules. In the commutative case, the classes of flat and silting epimorphisms coincide, tightly linking partial silting modules with Gabriel filters and the geometry of $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$1 (Šťovíček, 3 Oct 2025).
• Gluing and recollement: Partial silting sets and modules can be glued along recollements to build silting modules or objects in the central term, controlling torsion theories and $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$2-structures across extensions and quotient rings, as in constructions for upper-triangular matrix rings (Saorín et al., 2018, Gao et al., 2022).
• Examples: For the Kronecker algebra, the module $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$3 is silting but not tilting (Hügel et al., 2014). For a ring $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$4 and idempotent ideal $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$5, $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$6 is silting if and only if $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$7 is the trace of a projective module (at least for semiperfect $$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$8) (Argudin-Monroy et al., 2024).

7. Summary Table: Key Criteria and Relationships

Module Type	Criteria	Associated Structure
Partial silting	$$\mathcal{D}_\sigma = \{ X \in \operatorname{Mod}(A) \mid \operatorname{Hom}_A(\sigma, X) \text{ is surjective} \}.$$9 torsion, $T$0	Torsion pair, approximations
Silting	Partial silting + $T$1	Silting class (definable, extension-closed)
Bongartz completion	Partial silting $T$2 is direct summand in silting $T$3 with $T$4	All approximations retained
Silting epimorphism	Partial silting $T$5 universal localisation (inverts $T$6)	Ring epimorphism, universal property
Gluing	Partial silting modules from recollement outer terms glued to central term	New silting in recollement central category

Partial silting modules thus function as fundamental building blocks in the theory of tilting, torsion pairs, localisations, and triangulated structures, with applications spanning classification, approximation theory, and modular representation theory. Their study unifies and extends classical themes around generation, mutation, and the architecture of module and derived categories (Hügel et al., 2014, Buan et al., 2015, Marks et al., 2016, Hügel, 2018, Argudin-Monroy et al., 2024, Šťovíček, 3 Oct 2025).