[论文解读] Koszul duality and mixed Hodge modules

Pramod N. Achar, S. Kitchen|arXiv (Cornell University)|May 11, 2011

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

一句话总结

本文提出一种基于筛选（winnowing）的方法，用于研究光滑复代数簇上具有仿射偶数分层的混合霍赫希尔德模的科斯祖尔对偶性，证明筛选后的范畴是科斯祖尔的，并构造了一个到 perverse 她aves 的典范降秩函子。关键贡献是一个推广了 Schnürer 定理的正则性结果，通过避免贝林森–金兹堡–索尔格尔（Beilinson–Ginzburg–Soergel）方法中子范畴构造时的任意选择，消除了早期方法中的不对称性。

ABSTRACT

We prove that on a certain class of smooth complex varieties (those with "affine even stratifications"), the category of mixed Hodge modules is "almost" Koszul: it becomes Koszul after a few unwanted extensions are eliminated. We also give an equivalence between perverse sheaves on such a variety and modules for a certain graded ring, obtaining a formality result as a corollary. For flag varieties, these results were proved earlier by Beilinson-Ginzburg-Soergel using a rather different construction.

研究动机与目标

• 为解决混合霍赫希尔德模与 $ε$-adic 她aves 的科斯祖尔对偶性构造中的不对称性，后者在子范畴选择中需要人为指定。
• 通过引入一种‘筛选’构造来替代贝林森–金兹堡–索尔格尔方法中用于混合霍赫希尔德模的子范畴方法，发展一种典范的、无选择依赖的替代方案，该构造可分解扩展。
• 从筛选后的混合霍赫希尔德模范畴构造一个行为良好的降秩函子到 perverse 她aves，从而实现形式性结果。
• 在全旗流形上，证明筛选后的范畴与 [BGS] 中构造的子范畴之间存在典范等价，从而统一了不同方法。
• 通过建立两个科斯祖尔分次结构之间的典范自同构，推广 Schnürer 的正则性定理，该自同构关联了由 rat 和 $\zeta$ 函子诱导的 perverse 她aves 范畴上的两个科斯祖尔分次。

提出的方法

• 引入一种‘筛选’构造，通过增加新态射来分解原本不可分的扩展，从而替代 [BGS] 中用于混合霍赫希尔德模的子范畴方法。
• 将筛选后的混合霍赫希尔德模范畴定义为所有其上同调在某些度数上消失的子范畴，以确保科斯祖尔性。
• 利用特殊的 rat-投影解析，从筛选后的混合霍赫希尔德模范畴构造一个到 perverse 她aves 的降秩函子。
• 使用与单个对象直和的自同态代数相关的分次环 $\mathbb{E}$，建立科斯祖尔对偶性等价。
• 证明降秩函子与科斯祖尔分次相容，并诱导筛选后范畴与 $\mathbb{E}$-模的分次范畴之间的等价。
• 在 perverse 她aves 范畴上建立一个典范自同构 $\tilde{\mu}$，使其关联由 rat 和 $\zeta$ 函子诱导的两个科斯祖尔分次。

实验结果

研究问题

• RQ1 能否在不依赖任意选择的前提下建立混合霍赫希尔德模的科斯祖尔对偶性，从而避免 [BGS] 方法中子范畴选择的任意性？
• RQ2 是否存在一种典范方式对混合霍赫希尔德模范畴进行‘筛选’，使其成为科斯祖尔范畴，且不依赖于构造中的选择？
• RQ3 从筛选后的混合霍赫希尔德模范畴到 perverse 她aves 的降秩函子是否存在，且在范畴论上是否表现良好？
• RQ4 在全旗流形上，筛选后的混合霍赫希尔德模范畴与 [BGS] 中构造的子范畴之间有何关系？
• RQ5 由 rat 和 $\zeta$ 函子诱导的 perverse 她aves 范畴上的两个科斯祖尔分次结构，能否通过一个典范自同构关联起来？

主要发现

• 在具有仿射偶数分层的代数簇上，混合霍赫希尔德模的筛选范畴是科斯祖尔的，该结果由定理 5.7 证明。
• 存在一个典范的降秩函子，从筛选后的混合霍赫希尔德模范畴到 perverse 她aves，且该函子已在定理 6.6 中构造完成。
• 在全旗流形上，筛选后的范畴与 [BGS] 中构造的子范畴之间存在典范等价，从而消除了原始方法中选择依赖的问题。
• 降秩函子诱导出一个形式性结果，推广了 Schnürer 的一个定理，通过关联 perverse 她aves 上的两个科斯祖尔分次结构。
• 存在一个典范自同构 $\tilde{\mu}$，满足 $\tilde{\mu} \circ \mathrm{rat} \cong \zeta \circ \beta$，该自同构关联了由 rat 和 $\zeta$ 函子诱导的两个分次结构。
• 与单个对象直和的自同态代数相关的分次环 $\mathbb{E}$ 同构于 $E$，且 $\mathbb{E}$-模的分次范畴与半单 $\underline{E}$-模的范畴等价。