[论文解读] On minimal Lefschetz decompositions for Grassmannians

Anton Fonarev|arXiv (Cornell University)|Aug 10, 2011

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

一句话总结

本文构建了格拉斯曼流形上凝聚层导出范畴的两个 Lefschetz 分解，证明了第一个的完备性，并对第二个提出了猜想。当 $n$ 和 $k$ 互素时，第一个分解是最小的，且与第二个分解重合；一般情况下，第二个分解被猜想是最小的，且两个分解均允许由等变向量丛构成的 Lefschetz 基。

ABSTRACT

We construct two Lefschetz decompositions of the derived category of coherent sheaves on the Grassmannian of $k$-dimensional subspaces in a vector space of dimension $n$. Both of them admit a Lefschetz basis consisting of equivariant vector bundles. We prove fullness of the first decomposition and conjecture it for the second one. In the case when $n$ and $k$ are coprime these decompositions coincide and are minimal. In general, we conjecture minimality of the second decomposition.

研究动机与目标

• 为格拉斯曼流形 $\mathrm{Gr}(k,V)$ 上的凝聚层导出范畴构造最小的 Lefschetz 分解。
• 证明此前仅知为半正交的特定 Lefschetz 分解的完备性。
• 猜想第二个 Lefschetz 分解的最小性，尤其在非互素情况下。
• 为两个分解提供由等变向量丛构成的 Lefschetz 基。
• 将 Lefschetz 分解的最小性与仿射锥的奇点最小范畴化分辨率联系起来，符合 Kuznetsov 的猜想。

提出的方法

• 使用对偶 tautological 向量丛的 Schur 函子的完整例外全集 $\Sigma^\lambda{\mathcal{U}}^*$ 构造 Lefschetz 分解。
• 通过递归应用 '扩展' 概念 $\mathrm{Exp}^{(k)}(\lambda)$ 跟踪层在与线丛张量时的分解方式。
• 利用半正交性条件验证分解的各分量彼此正交。
• 通过 Koszul 型解析的长正合序列的递归滤子论证，证明所有 $\Sigma^\lambda{\mathcal{U}}^*$ 属于由所提议块生成的 triangulated 范畴。
• 通过证明每个不可约表示 $\Sigma^\lambda{\mathcal{U}}^*$ 属于由块 $\left<\Sigma^\mu{\mathcal{U}}^*(-t)\right>$ 生成的范畴（其中 $\mu \in \mathsf{Y}^{\mathrm{l}}_{n,k}$ 且 $t < l(\mu)$）来证明完备性。
• 通过检查缺失的 Schur 函子 $\Sigma^{(3,3,1)}{\mathcal{U}}^*$ 及其扭转是否属于由所提议块生成的范畴，验证了 $\mathrm{Gr}(3,6)$ 的特例。

实验结果

研究问题

• RQ1 是否存在一个最小的 Lefschetz 分解 $\mathcal{D}^b(\mathrm{Gr}(k,V))$，使其允许由等变向量丛构成的 Lefschetz 基？
• RQ2 本文所构造的第一个 Lefschetz 分解是否具有完备性，且当 $n$ 和 $k$ 互素时是否是最小的？
• RQ3 能否构造第二个潜在更小的 Lefschetz 分解，且在非互素情况下是否猜想其为最小？
• RQ4 扩展集 $\mathrm{Exp}^{(k)}(\lambda)$ 如何控制 Schur 函子在与线丛张量时的滤子结构？
• RQ5 导出范畴 $\mathrm{Gr}(3,6)$ 是否完全分解为所提议的 Lefschetz 块，如本文所验证？

主要发现

• 第一个 Lefschetz 分解被证明是完备的，其首块由 $\Sigma^\lambda{\mathcal{U}}^*$ 生成，其中 $\lambda \in \mathsf{Y}^{\mathrm{u}}_{n,k}$，即不位于反对角线之下的 Young 图集合。
• 当 $n$ 和 $k$ 互素时，第一个分解是最小的，且与第二个分解重合，从而在该情况下也意味着最小性。
• 第二个 Lefschetz 分解被猜想在一般情况下是完备且最小的，尤其在 $n$ 和 $k$ 不互素时。
• 对于 $\mathrm{Gr}(3,6)$，该猜想已得到验证：导出范畴完全分解为所提议的块，包括此前缺失的 $\Sigma^{(3,3,1)}{\mathcal{U}}^*$ 及其扭转。
• 扩展过程 $\mathrm{Exp}^{(k)}(\lambda)$ 确保所有 $\Sigma^\lambda{\mathcal{U}}^*$ 属于由块 $\Sigma^\mu{\mathcal{U}}^*(-t)$ 生成的 triangulated 范畴，其中 $\mu \in \mathsf{Y}^{\mathrm{l}}_{n,k}$ 且 $t < l(\mu)$。
• 证明依赖于 $\Sigma^{(3,2,1)}{\mathcal{U}}^*$ 的长正合序列解析，以证明其扭转属于由所提议块生成的范畴。