完全忠实函子与维数

我们定义了三角范畴的可数 Rouquier 维数，并将此概念与 [Ola21] 的定理 2 结合，证明如果存在一个完全忠实嵌入 $D^b_{coh}(X) \subset D^b_{coh}(Y)$，其中 $X, Y$ 为光滑真簇，则 $\mathrm{dim}(X) \leq \mathrm{dim}(Y)$。