[论文解读] COHOMOLOGY REPRESENTATIONS OF EXTERNAL AND SYMMETRIC PRODUCTS OF VARIETIES

Laurenţiu Maxim, Joerg Schuermann|arXiv (Cornell University)|Jan 1, 2016

Advanced Algebra and Geometry被引用 1

一句话总结

本文为复拟射影代数簇的外积与对称积的虚拟上同调表示（系数为构造性或凝聚层，或混合霍赫代数模）建立了改进的生成函数公式。通过利用等变 Künneth 公式，将问题约化为对称张量范畴中的抽象特征恒等式，该工作推广了此前关于对称幂与交错幂的结果，并自然地扩展至舒尔函子及具有有限群作用或自同构的等变情形。

ABSTRACT

We prove refined generating series formulae for characters of (virtual) cohomology representations of external products of suitable coefficients on (possibly singular) complex quasi-projective varieties, e.g., (complexes of) constructible or coherent sheaves, or (complexes of) mixed Hodge modules. These formulae generalize our previous results for symmetric and alternating powers of such coefficients, and apply also to other Schur functors. The proofs of these results are reduced via an equivariant K\unneth formula to a more general generating series identity for abstract characters of tensor powers $\cV^{\otimes n}$ of an element $\cV$ in a suitable symmetric monoidal category. This abstract approach applies directly also in the equivariant context for varieties with additional symmetries (e.g., finite group actions, finite order automorphisms, resp., endomorphisms).

研究动机与目标

• 将先前关于上同调表示的对称幂与交错幂结果推广至更广泛的系数类与函子类。
• 为复拟射影代数簇的外积与对称积的虚拟上同调表示建立统一的计算框架。
• 将这些结果扩展至涉及有限群作用、有限阶自同构或自同态的等变情形。
• 在对称张量范畴中建立张量幂特征的生成函数恒等式，作为基础工具。
• 提供一种系统性方法，适用于对称幂与外幂之外的舒尔函子。

提出的方法

• 利用等变 Künneth 公式，将上同调表示问题约化为对称张量范畴中的特征理论问题。
• 在满足适当有限性与对偶性条件的对称张量范畴中，研究元素 $\cV^{\otimes n}$ 的张量幂的抽象特征。
• 推导出这些特征的一般生成函数恒等式，作为核心代数工具。
• 将此恒等式应用于几何系数，如复拟射影代数簇上的构造性层、凝聚层与混合霍赫代数模。
• 通过引入有限群作用或有限阶自同构等对称性，将框架扩展至等变情形。
• 利用舒尔函子将结果推广至对称幂与外幂之外，捕捉更复杂的表示论结构。

实验结果

研究问题

• RQ1 如何为具有构造性或凝聚层等一般系数的代数簇的对称积与外积的上同调表示生成函数建立更精细的公式？
• RQ2 何种抽象范畴框架可实现对不同系数与函子类的生成函数的统一处理？
• RQ3 当代数簇具有额外对称性（如有限群作用或有限阶自同构）时，结果如何推广？
• RQ4 能否从对称张量范畴中的单一通用恒等式推导出舒尔函子的生成函数？
• RQ5 等变 Künneth 公式在将几何上同调问题约化为特征恒等式中起到何种作用？

主要发现

• 在具有对偶性与有限性条件的对称张量范畴中，建立了张量幂 $\cV^{\otimes n}$ 特征的通用生成函数恒等式。
• 外积与对称积的上同调表示的生成函数均以该抽象特征恒等式表达。
• 结果将先前关于对称幂与交错幂的公式推广至任意舒尔函子。
• 该框架可直接应用于可能具有奇点的复拟射影代数簇上的混合霍赫代数模、构造性层与凝聚层。
• 该方法自然地扩展至等变情形，包括具有有限群作用或有限阶自同构的代数簇。
• 该抽象方法为在多样化的几何与表示论背景下系统性地计算虚拟上同调表示提供了统一且一致的方法。