滤过概形的范畴奇点解消

我们给出 Kuznetsov 与 Lunts 定理的另一种证明，该定理断言任意特征零域上有限型分离概形都容许奇点的范畴解消。他们的构造利用了每个（特征零域上的）簇都可由沿光滑中心的一列有限次爆破来解消这一事实。我们仅要求（射影）解消的存在性。为此，我们以不同的视角看待 Kuznetsov 与 Lunts 的 $\mathcal{A}$-空间，将其视为赋予有限滤过的概形。随后，范畴解消通过粘合由有限长滤过概形的超立方体所获得的微分分次范畴而构造。