文章研究光滑射影环簇上的环线性化自反层。基于Perlman-Smith定理，通过Weil装饰给出层非循环性（acyclic）的显式判据。核心贡献包括：1）证明若Weil装饰对应的线丛均非循环，则原层非循环（定理1.2）；2）建立nefly装饰（Weil装饰值位于nef多面体）与层非循环性的等价关系（推论2.10）；3）推广Perlman-Smith定理至仅需对Mori锥极射线的本原集验证不等式（定理1.6）。文章还给出假设条件的多面体几何解释，揭示其与边缘长度和焦点向量的内在联系。
文章研究光滑射影环簇 $X$ 上的环线性化自反层 $\mathcal{E}$。核心工具是 Weil装饰——映射 $\mathcal{D}: E^\times \to \operatorname{Div}_T(X)$（定义2.3），其中 $E$ 是 $\mathcal{E}$ 的环不变截面空间。该装饰满足关键不等式：
\[ \mathcal{D}(e + e') \geq \min(\mathcal{D}(e), \mathcal{D}(e')) \quad (\forall e,e' \in E^\times, e+e' \neq 0) \]
基于Perlman-Smith定理（页2定理），文章建立上同调消失的充分条件：若对每个 $e \in E^\times$，线丛 $\mathcal{O}_X(\mathcal{D}(e))$ 均非循环（即 $\mathrm{H}^i(X, \mathcal{O}_X(\mathcal{D}(e))) = 0, \forall i \geq 1$)，则 $\mathcal{E}$ 非循环（定理1.2）。
通过同构 $\mathrm{P}: \operatorname{Div}_T(X) \to \operatorname{Pol}(\Sigma)$（页3），Weil装饰可视为虚拟多面体值映射。当 $\mathcal{D}(e) \in \operatorname{Pol}^+(\Sigma)$（即对应nef除子）时，称 $\mathcal{E}$ 为 nefly装饰（定义2.7）。此时有：
\[ \mathrm{H}^k(X, \mathcal{E})_m = \widetilde{\mathrm{H}}^{k-1}(\nabla_- \setminus (\nabla_+ - m)) \quad (\text{页2 注1.3}) \]
其中 $\nabla_{\pm}$ 为 $\mathcal{D}(e)$ 对应多面体。结合Demazure消失定理，直接导出：
推论2.10： Nefly装饰的环层 $\mathcal{E}$ 必为非循环层。
文章构造 $\mathcal{E}$ 的典范分解（命题2.8）：对由Weil装饰诱导的层化 $\mathcal{S}$，存在正合序列：
\[ 0 \to \bigoplus_{\mathbb{S}\leq\mathbb{T}} \bigoplus_{\operatorname{ch}_r(\mathbb{S},\mathbb{T})} \mathcal{E}_{\mathbb{S},\mathbb{T}} \to \cdots \to \mathcal{E} \to 0 \]
其中 $\mathcal{E}_{\mathbb{S},\mathbb{T}} = \overline{\mathbb{S}} \otimes \mathcal{O}_X(\mathbb{T})$ 为全分裂层。当 $\mathcal{E}$ nefly装饰时，所有 $\mathcal{O}_X(\mathbb{T})$ 为nef线丛，此为超上同调谱序列消失的关键。
设 $\mathcal{E}$ 满足对Mori锥极射线对应的本原集 $\mathcal{P}$，不等式：
\[ \sum_{\rho \in \mathcal{P}} (a_\rho + \mu_\rho) \geq \sum_{\rho \in \sigma(\mathcal{P})(1)} f_\rho \cdot (a_\rho + \lambda_\rho) \quad (\text{式1}) \]
其中 $\mu_\rho = \min \mathcal{D}(e)_\rho, \lambda_\rho = \max \mathcal{D}(e)_\rho$（页6）。通过分析 $\mathcal{D}(e)$ 与本原关系 $\mathcal{R}(\mathcal{P})$ 的配对：
\[ \langle \mathcal{D}(e), \mathcal{R}(\mathcal{P}) \rangle = \sum_{\rho \in \mathcal{P}} b_\rho - \sum_{\rho \in \sigma(\mathcal{P})(1)} f_\rho b_\rho \geq 0 \]
证明所有 $\mathcal{D}(e)$ 为nef除子（页8），从而 $\mathcal{E}$ nefly装饰，故非循环。
在nefly装饰假设下，条件(1)可写为多面体不等式（页9）：
\[ \ell(k_\tau(\eta)) \geq \min(\nabla(\eta), e_{\mathcal{P}}) - \min(\widehat{\nabla}, e_{\mathcal{P}}) \]
其中：左项为 $\nabla(\eta)$ 沿壁 $\tau$ 的边缘长度；右项为 $\nabla(\eta)$ 与 $\widehat{\nabla}$ 在 $e_{\mathcal{P}} = \sum_{\rho \in \mathcal{P}} e_\rho$ 方向的极小值差。例3.1通过Hirzebruch曲面 $\mathcal{H}$ 构造nefly装饰但不满足(1)的反例，说明该条件严格强于nefly装饰。