[论文解读] On the Rigidity of BN-sheaves

Rainer Weissauer|arXiv (Cornell University)|Apr 9, 2012

Algebraic structures and combinatorial models参考文献 3被引用 4

一句话总结

本文在代数闭域上的阿贝尔簇的导出范畴中建立了BN-层的刚性，证明卷积张量结构赋予该范畴以刚性、对称的张量结构。关键结果表明，对于不可约的单幺 perverse 层，范畴维数（欧拉示性数）决定了评价态射的结构；卷积 $K^\vee * K$ 中的最小分量由 perverse 上同调唯一确定，从而导致无重数分解，并通过硬Lefschetz定理得到上同调度数的界。

ABSTRACT

We define monoidal components attached to perverse sheaves on abelian varieties and discuss their properties.

研究动机与目标

• 建立配备卷积张量积的导出范畴 $D_{c}^{b}(X,\Lambda)$ 在阿贝尔簇上的刚性。
• 分析在 perverse 层及其对偶背景下评价与共轭评价态射的结构。
• 刻画不可约单幺 perverse 层在张量运算下的单值性和上同调行为。
• 证明卷积 $K^\vee * K$ 中的上层与下层 perverse 分量是无重数的，并通过硬Lefschetz定理与范畴维数相联系。
• 以范畴维数 $\nu_K$ 和欧拉示性数 $e_\chi(K)$ 表示上同调度数 $h_\chi(K)$ 的界。

提出的方法

• 利用通过阿贝尔簇 $X$ 上群运算定义的卷积积 $K*L = Ra_*(K\boxtimes L)$，使得 $(D_{c}^{b}(X,\Lambda),*)$ 成为一个刚性三角对称张量范畴。
• 应用分解定理与硬Lefschetz定理，将 $K^\vee * K$ 分解为不可约 perverse 层的平移直和。
• 使用 Verdier 对偶与刚性对偶 $K^\vee = (-id_X)^*D(K)$ 定义满足刚性公理的评价与共轭评价态射。
• 利用 Krull-Schmidt 性质将对象分解为形如 $P[n]$ 的不可约分量，其中 $P$ 为不可约 perverse 层。
• 应用张量等价 $K \mapsto K^\vee$ 与对偶同构 $d_{K,L}: L^\vee * K^\vee \to (K*L)^\vee$，建立对偶之间评价态射的联系。
• 通过关系 $h_\chi(K) = \max_j (j + h({}^pH^j(Rf_*(K_\chi))))$ 推导出 $h_\chi(K)$ 的界，将上同调支撑与 $Rf_*(K_\chi)$ 的结构联系起来。

实验结果

研究问题

• RQ1 卷积张量结构在 $D_{c}^{b}(X,\Lambda)$ 上如何在阿贝尔簇的导出范畴中诱导出刚性？
• RQ2 对于不可约 $K$，评价态射 $eval_K: K^\vee * K \to \delta_0$ 的精确结构是什么？
• RQ3 当 $K$ 为不可约且单幺时，为何 $K^\vee * K$ 的上层与下层 perverse 分量是无重数的？
• RQ4 范畴维数 $\chi(K)$ 如何与上同调度数 $h_\chi(K)$ 及欧拉示性数 $e_\chi(K)$ 相关联？
• RQ5 硬Lefschetz定理对 $\chi \in \mathcal{S}(K)$ 的 $K_\chi$ 上同调支撑施加了何种约束？

主要发现

• 对于不可约 $K$，评价态射 $eval_K$ 唯一地通过一个不可约 perverse 层 ${\cal P}_K[-\nu_K]$ 因子化，意味着 $K^\vee * K$ 在度数 $\nu_K$ 处有唯一非零分量，其余分量全为零。
• 对于任意不可约单幺 perverse 层 $K$，范畴维数 $\chi(K)$ 等于欧拉示性数 $\sum_i (-1)^i \dim H^i(X,K)$，且 $\nu_K = \chi(K)$ 决定了评价态射中的上同调平移。
• 对于自对偶复形 $L$，卷积 $L^\vee * L$ 中的上层与下层 perverse 层 $L_r$ 与 $L_{-r}$ 是无重数的，所有分量 $K_j$ 满足 $m_j = 1$ 且 $\nu_{K_j} = d - r = \nu_L$，其中 $d = \dim X$。
• 对于 $\chi \in \mathcal{S}(K)$，有不等式 $\nu_K \leq h_\chi({\cal P}_K)$，且 $0 \leq e_\chi({\cal P}_K) \leq 2e_\chi(K)$，其中 $e_\chi(K) = h_\chi(K) - \nu_K$，将上同调增长与范畴维数联系起来。
• 对于同态 $f: X \to Y$，存在 $Y$ 上的单幺 perverse 层 $Q$，使得 $Q[\nu_P - \nu_L] \hookrightarrow Rf_*(P)$ 且 $e(Q) \leq e(P)$，当 $P$ 最小时 $Q$ 亦最小。
• 若 $P$ 最小，且 $Q_{j} \cong {\cal P}_{P_i}$ 为 $Rf_*(P)$ 的一个分量 $P_i$，则 $e(Q_j) = h(Q_j) - \nu_{P_i}$，且 $e(P) \geq h(Q_j) - \nu_{P_i}$，通过对偶性建立上同调界。