Tilting classes over commutative rings

DOI10.1515/FORUM-2017-0219MaRDI QIDQ2300665zbMATH OpenOpenAlexWikidataFDO

Authors Michal Hrbek, Jan Št'ovíček

Publication date 27 February 2020

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1701.05534

zbMATH Keywords

commutative ringcotilting modulelocal cohomologyThomason settilting module

Mathematics Subject Classification ID

Frames, locales (06D22) Structure, classification theorems for modules and ideals in commutative rings (13C05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Derived categories and commutative rings (13D09) Torsion theory for commutative rings (13D30) Local cohomology and commutative rings (13D45) Module categories in associative algebras (16D90) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Derived categories, triangulated categories (18G80)

Abstract: We classify all tilting classes over an arbitrary commutative ring via certain sequences of Thomason subsets of the spectrum, generalizing the classification for noetherian commutative rings by Angeleri-Posp'iv{s}il-v{S}v{t}ov'iv{c}ek-Trlifaj. We show that the n-tilting classes can be equivalently expressed as classes of all modules vanishing in the first n degrees of one of the following homology theories arising from a finitely generated ideal: Tor_*(R/I,-), Koszul homology, v{C}ech homology, or local homology (even though in general none of those theories coincide). Cofinite-type n-cotilting classes are described by vanishing of the corresponding cohomology theories. For any cotilting class of cofinite type, we also construct a corresponding cotilting module, generalizing the construction of v{S}v{t}ov'iv{c}ek-Trlifaj-Herbera. Finally, we characterize cotilting classes of cofinite type amongst the general ones, and construct new examples of n-cotilting classes not of cofinite type, which are in a sense hard to tell apart from those of cofinite type.

Review text

Let \(R\) be a commutative ring. The authors continue the research of classification problem of tilting modules by using the Zariski spectrum. The main result of this paper is a classification of tilting \(R\)-modules using filtration of Thomason subsets of \(\mathrm{Spec} \,R\). This result extends previous work for noetherian rings [\textit{L. A. Hügel} et al., Trans. Am. Math. Soc. 366, No. 7, 3487--3517 (2014; Zbl 1291.13018)]. The proof of this result is obtained using methods which are different from the noetherian case (e.g. Koszul homology, local (co)homology, Čech homology, and derived categories). An alternative classification using classes of modules vanishing the local (co)homology, the derived completion functors or Čech homoly is given. Moreover, a cotilting module inducing a cotilting class of cofinite type over a commutative ring is constructed. This construction generalices the one given in the noetherian case in [\textit{J. Šťovíček} et al., J. Pure Appl. Algebra 218, No. 9, 1696--1711 (2014; Zbl 1297.13013)]. In the last section, several interesting examples of cotilting classes which are not of cofinite type are given.

Recommendations

• One-tilting classes and modules over commutative rings
• Tilting and cotilting classes over Gorenstein rings
• A tilting module over commutative integral domains
• Tilting, cotilting, and spectra of commutative Noetherian rings
• scientific article; zbMATH DE number 51000
• THE CLASSIFICATION OF COMMUTATIVE TORSION FILIAL RINGS
• Extensions of rings and tilting complexes
• Tilting modules and Gorenstein rings
• Tilting torsion-free classes in the category of comodules
• Tilting modules and ∗-modules

Cites work

• A characterization of \(n\)-cotilting and \(n\)-tilting modules.
• All tilting modules are of finite type
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Categories and Sheaves
• Classification of resolving subcategories and grade consistent functions
• Compactly generated t-structures on the derived category of a noetherian ring
• Complete modules and torsion modules
• Cotilting and tilting modules over Prüfer domains
• Cotilting modules over commutative Noetherian rings
• Dedualizing complexes and MGM duality
• Derived equivalence induced by infinitely generated n-tilting modules.
• Derived equivalences induced by big cotilting modules
• Derived equivalences induced by nonclassical tilting objects
• Derived functors of \(I\)-adic completion and local homology
• Equivalences induced by infinitely generated tilting modules
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• First steps in brave new commutative algebra
• Hochster duality in derived categories and point-free reconstruction of schemes
• scientific article; zbMATH DE number 1000069 (Why is no real title available?)
• scientific article; zbMATH DE number 3851256 (Why is no real title available?)
• scientific article; zbMATH DE number 5381942 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 49937 (Why is no real title available?)
• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 3463819 (Why is no real title available?)
• scientific article; zbMATH DE number 1217705 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 3256590 (Why is no real title available?)
• Infinitely generated tilting modules of finite projective dimension
• Local homology and cohomology on schemes
• Localization theory for triangulated categories
• On the homology of completion and torsion
• One-tilting classes and modules over commutative rings
• Parametrizing recollement data for triangulated categories
• Prime Ideal Structure in Commutative Rings
• Proregular sequences, local cohomology, and completion
• Purity, spectra and localisation.
• Relative homological algebra
• Silting modules over commutative rings
• t-structures and cotilting modules over commutative Noetherian rings
• The countable telescope conjecture for module categories.
• The tilting-cotilting correspondence
• Tilting modules and tilting torsion theories
• Tilting modules of finite projective dimension
• Tilting, cotilting, and spectra of commutative Noetherian rings

Cited in

(25)

• A characterisation of enveloping 1-tilting classes over commutative rings
• Covering classes and 1-tilting cotorsion pairs over commutative rings
• Local coherence of hearts associated with Thomason filtrations
• Compactly generated t-structures in the derived category of a commutative ring
• Cotilting sheaves on Noetherian schemes
• Definable coaisles over rings of weak global dimension at most one
• Cotilting modules over commutative Noetherian rings
• One-tilting classes and modules over commutative rings
• Tilting torsion-free classes in the category of comodules
• Recent Progress in Module Approximations
• Colocalization and cotilting for commutative noetherian rings
• Silting modules over commutative rings
• Large tilting objects induced by codimension functions and homomorphic images of Cohen-Macaulay rings
• Tree modules and limits of the approximation theory
• Tilting and cotilting classes over Gorenstein rings
• THE CLASSIFICATION OF COMMUTATIVE TORSION FILIAL RINGS
• Tilting, cotilting, and spectra of commutative Noetherian rings
• Remarks on derived complete modules and complexes
• The small finitistic dimensions of commutative rings
• The finite type of modules of bounded projective dimension and Serre's conditions
• Flat Mittag-Leffler modules, and their relative and restricted versions
• Tilting complexes and codimension functions over commutative Noetherian rings
• Gluing compactly generated t-structures over stalks of affine schemes
• Flat relative Mittag-Leffler modules and Zariski locality
• Cotorsion pairs and tor-pairs over commutative Noetherian rings

This page was built for publication: Tilting classes over commutative rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2300665)