Documentation

DerivedAlgGeo.AlgebraicGeometry.DerivedCategory.Stability

Stability conditions on scheme-derived categories #

The scheme-derived category consumers that need Bridgeland stability: bounded-coherent and derived-pullback base change of pre-stability data, the pushforward of stability conditions along bounded coherent pullback, their pullback along bounded coherent direct image, and the action of geometric Fourier--Mukai kernels on stability conditions. It also identifies perfect objects as the geometric test class for mass--Hom bounds.

This is the one subtree below AlgebraicGeometry/DerivedCategory/ that imports the stability tree. The DerivedCategory umbrella deliberately does not re-export it, so Dᵇ(Coh X), Dqc, pullback, and kernels stay importable without stability conditions; the top-level AlgebraicGeometry umbrella imports it. Declarations keep the namespaces of the objects they extend, AlgebraicGeometry.DerivedCategory.Families and AlgebraicGeometry.DerivedCategory.FourierMukai.