Tilting theory

Use a self-orthogonal finite-projective-dimension module or analogous tilting object to construct an endomorphism algebra and transport controlled homological information between representation categories.

Version

v2 · 2026-08-30 · History

Domain-specific #

2973

Origin domain

mathematics

Subdomain

representation theory and homological algebra

Core Idea

Tilting theory studies modules and categorical objects \(T\) whose finite projective dimension, self-orthogonality, and generation conditions make \(B=\operatorname{End}_A(T)\) a controlled new algebra and induce equivalences between torsion subcategories or derived categories. Hom and tensor adjunctions derived from the \(A\)-\(B\) bimodule \(T\), together with Ext and Tor vanishing on complementary torsion classes, transfer modules and morphisms; in derived settings the total derived functors can yield a triangulated equivalence.

Its autonomous residual is the tilting-object conditions plus endomorphism-algebra and functorial transport machinery, not a visual rotation, generic change of basis, Morita equivalence, every derived equivalence, or Auslander–Reiten theory.

Scope of Application

Tilting theory applies when the analyst can specify an algebra or ring \(A\), an \(A\)-module or categorical object \(T\), its endomorphism algebra \(B=\operatorname{End}_A(T)\), and module or derived categories linked by Hom, tensor, Ext, and Tor and establish that a declared tilting object satisfies the exact homological and generation axioms of the chosen variant and the claimed functors are restricted to the categories on which their equivalence theorem actually holds. The entry states mathematical structures and theorem boundaries; it does not merge variants whose hypotheses, sides, or equivalence claims differ.

Clarity

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because tilting theory can mean the classical projective-dimension-one theorem, arbitrary finite-dimensional tilting, derived tilting complexes, or higher categorical variants. The disciplined statement is that the object counts as Tilting theory exactly when a declared tilting object satisfies the exact homological and generation axioms of the chosen variant and the claimed functors are restricted to the categories on which their equivalence theorem actually holds

Manages Complexity

The abstraction compresses classical tilting modules, higher and infinitely generated tilting, cotilting, tilting complexes, derived Morita theory, cluster-tilting, silting, geometric tilting bundles, and quiver reflection into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares ring convention, finiteness, projective dimension, Ext degree, generation, coresolution, endomorphism algebra, handedness, torsion pair, Hom, tensor, Ext, Tor, derived functor, equivalence scope, and invariant and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning

1. Type the carrier. Establish an algebra or ring \(A\), an \(A\)-module or categorical object \(T\), its endomorphism algebra \(B=\operatorname{End}_A(T)\), and module or derived categories linked by Hom, tensor, Ext, and Tor and reject examples from a different problem. 2. Lock the rule. Express that a declared tilting object satisfies the exact homological and generation axioms of the chosen variant and the claimed functors are restricted to the categories on which their equivalence theorem actually holds independently of one notation or implementation.

Knowledge Transfer

Transfer within mathematics is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from For a classical tilting \(A\)-module \(T\) of projective dimension at most one, \(B=\operatorname{End}_A(T)\) and the Brenner–Butler functors give equivalences between associated torsion and torsion-free subcategories. to A tilting complex in a derived category can induce a derived equivalence even when no ordinary module-level Morita equivalence exists. demonstrates that continuity.

Relationships to Other Abstractions

Current abstraction Tilting theory Domain-specific

Parents (1) — more general patterns this builds on

• Tilting theory is a kind of Category Prime

  The proposed strict upward parent is prime:category.

Hierarchy paths (3) — routes to 3 parentless roots

• Tilting theory → Category → Associativity → Invariance

Show alternative paths (2)

Neighborhood in Abstraction Space

Tilting theory sits in a moderately populated region (50^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Categories, Quotients & Dualities (5 abstractions)

Nearest neighbors

• Six operations — 0.90
• Pseudo-abelian category — 0.89
• Stone duality — 0.88
• Hall algebra — 0.88
• Frobenius endomorphism — 0.88

Computed from structural-signature embeddings · 2026-09-08