Tilting bundles and modifying modules in relative dimension one
Abstract
For projective morphisms π:Y→ X=SpecR over noetherian complete local rings, with fibres of dimension at most one and Rπ*𝒪Y≅𝒪X, we construct a tilting fan from cones of pretilting bundles. Maximal cones parametrize tilting bundles, and facet adjacency encodes irreducible mutation. Completeness in positive rank is equivalent to finiteness of tilting bundles modulo line-bundle twists. For closed fibres that are split ADE highest-root cycles or their Stein contractions, we identify tilting bundles with chambers of restricted affine Tits cones and determine the fan. Over normal Gorenstein complete local domains, reflexive pushforward takes pretilting bundles on normal projective birational models with fibres of dimension at most one and π!𝒪X≅𝒪Y to modifying modules. Pushforwards of canonical tilting bundles recover models as module blowups and detect contractions by additive containment, yielding an Auslander--McKay embedding. The hypersurfaces R=S[[u,v]]/(uv−f), with S a regular complete local ring and f∈ S a nonzero nonunit, generalize type A Du Val surfaces and cAn threefolds to arbitrary dimension. We classify modifying modules by divisor flags and rank-one reflexive twists; flag blowups turn the embedding into an equivalence. If f has r≥2 prime factors counted with multiplicity, reflexive pushforward on any maximal-flag model gives a mutation-preserving surjection from tilting bundles, parametrized by chambers of affine type Ãr−1, to maximal modifying modules. Its fibres are affine Weyl group orbits determined by repeated factors. All maximal-flag models and maximal modification algebras are derived equivalent. These algebras are noncommutative crepant resolutions exactly when S/(p) is regular for every prime factor p of f.
Related
- Self-Orthogonal τ-Tilting Modules and Tilting Modules III: Finitistic Dimension
- Relative Derived Delooping Levels and τ-Tilting Modules
- Relative Suspension and Higher Delooping for Support τ-Tilting Modules
- Self-Orthogonal τ-Tilting Modules and Tilting Modules II: Annihilator Separation
- Support τ-tilting modules over Morita context algebras: A bilateral approximation approach
BibTeX
@misc{tomonaga2026tilting,
title = {{Tilting bundles and modifying modules in relative dimension one}},
author = {Ryu Tomonaga},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.07987},
eprint = {2611.07987},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.07987},
}
RIS
TY - UNPB
TI - Tilting bundles and modifying modules in relative dimension one
AU - Ryu Tomonaga
PY - 2026
DA - 2026/11/05
PB - arXiv
DO - 10.48550/arxiv.2611.07987
UR - https://arxiv.org/abs/2611.07987
AB - For projective morphisms π:Y→ X=SpecR over noetherian complete local rings, with fibres of dimension at most one and Rπ_*𝒪_Y≅𝒪_X, we construct a tilting fan from cones of pretilting bundles. Maximal cones parametrize tilting bundles, and facet adjacency encodes irreducible mutation. Completeness in positive rank is equivalent to finiteness of tilting bundles modulo line-bundle twists. For closed fibres that are split ADE highest-root cycles or their Stein contractions, we identify tilting bundles with chambers of restricted affine Tits cones and determine the fan. Over normal Gorenstein complete local domains, reflexive pushforward takes pretilting bundles on normal projective birational models with fibres of dimension at most one and π^!𝒪_X≅𝒪_Y to modifying modules. Pushforwards of canonical tilting bundles recover models as module blowups and detect contractions by additive containment, yielding an Auslander--McKay embedding. The hypersurfaces R=S[[u,v]]/(uv−f), with S a regular complete local ring and f∈ S a nonzero nonunit, generalize type A Du Val surfaces and cA_n threefolds to arbitrary dimension. We classify modifying modules by divisor flags and rank-one reflexive twists; flag blowups turn the embedding into an equivalence. If f has r≥2 prime factors counted with multiplicity, reflexive pushforward on any maximal-flag model gives a mutation-preserving surjection from tilting bundles, parametrized by chambers of affine type Ã_r−1, to maximal modifying modules. Its fibres are affine Weyl group orbits determined by repeated factors. All maximal-flag models and maximal modification algebras are derived equivalent. These algebras are noncommutative crepant resolutions exactly when S/(p) is regular for every prime factor p of f.
ER -