[论文解读] A category of kernels for equivariant factorizations and its implications for Hodge theory

Matthew R. Ballard, David Favero+1 more|arXiv (Cornell University)|May 16, 2011

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

一句话总结

本文提出了一种用于等变因子化范畴的微分graded范畴的同伦范畴中内部Hom的分解模型，使扩展Hochschild上同调的计算成为可能。通过雅可比代数，该模型恢复并推广了Griffiths关于超曲面上同调的经典结果，并通过自举方法证明了与费马立方四fold相关的所有K3曲面自积的Hodge猜想。

ABSTRACT

We provide a factorization model for the continuous internal Hom, in the homotopy category of $k$-linear dg-categories, between dg-categories of equivariant factorizations. This motivates a notion, similar to that of Kuznetsov, which we call the extended Hochschild cohomology algebra of the category of equivariant factorizations. In some cases of geometric interest, extended Hochschild cohomology contains Hochschild cohomology as a subalgebra and Hochschild homology as a homogeneous component. We use our factorization model for the internal Hom to calculate the extended Hochschild cohomology for equivariant factorizations on affine space. Combining the computation of extended Hochschild cohomology with the Hochschild-Kostant-Rosenberg isomorphism and a theorem of Orlov recovers and extends Griffiths' classical description of the primitive cohomology of a smooth, complex projective hypersurface in terms of homogeneous pieces of the Jacobian algebra. In the process, the primitive cohomology is identified with the fixed subspace of the cohomological endomorphism associated to an interesting endofunctor of the bounded derived category of coherent sheaves on the hypersurface. We also demonstrate how to understand the whole Jacobian algebra as morphisms between kernels of endofunctors of the derived category. Finally, we present a bootstrap method for producing algebraic cycles in categories of equivariant factorizations. As proof of concept, we show how this reproves the Hodge conjecture for all self-products of a particular K3 surface closely related to the Fermat cubic fourfold.

研究动机与目标

• 为k-线性微分graded范畴的等变因子化范畴的同伦范畴中的连续内部Hom构建一个分解模型。
• 定义并计算等变因子化范畴的扩展Hochschild上同调代数，推广Hochschild上同调与上同调。
• 通过雅可比代数，恢复并扩展Griffiths关于光滑射影超曲面原始上同调的经典描述。
• 为在等变因子化范畴中构造代数循环建立范畴框架。
• 通过自举方法证明所有与费马立方四fold相关的特定K3曲面自积的Hodge猜想。

提出的方法

• 使用差值势能构造法，为等变因子化范畴的微分graded范畴之间的内部Hom dg范畴构建分解模型。
• 将扩展Hochschild上同调代数定义为Hochschild上同调与上同调的推广，同时捕捉二者作为子结构。
• 利用Hochschild-Kostant-Rosenberg同构与Orlov定理，计算仿射空间上等变因子化的扩展Hochschild上同调。
• 将超曲面的原始上同调识别为导出范畴上特定自函子诱导的上同调自同态的固定子空间。
• 通过范畴对应关系，将完整的雅可比代数重新解释为导出范畴中自函子核对象之间的态射。
• 应用自举方法在等变因子化范畴中生成代数循环，利用拟等价与导出范畴等价。

实验结果

研究问题

• RQ1 如何通过分解来建模等变因子化范畴的微分graded范畴的同伦范畴中的内部Hom？
• RQ2 等变因子化范畴的扩展Hochschild上同调代数的结构是什么？它与Hochschild上同调和上同调有何关系？
• RQ3 能否使用此分解模型恢复并扩展经典Griffiths对原始上同调的描述？
• RQ4 范畴自举方法能否在等变因子化范畴中产生代数循环？
• RQ5 Hodge猜想是否对与费马立方四fold相关的K3曲面的所有自积成立？

主要发现

• 在仿射空间上等变因子化的扩展Hochschild上同调代数被显式计算，其分量同构于势能的雅可比代数。
• 光滑复射影超曲面的原始上同调被识别为导出范畴上特定自函子诱导的上同调自同态的固定子空间。
• 通过范畴对应构造，完整的雅可比代数被实现为导出范畴中核对象的分次自同态代数。
• 通过仿射空间 $\bbA^{6r}_{\bbC}$ 上的 $\bbG_m^\times_{\bbG_m} r$ 和势能 $w^{\boxplus r}$ 的范畴 $\text{Inj}_{\text{coh}}(Y^{\times r})$ 与 $\text{Inj}_{\text{coh}}(\bbA^{6r}_{\bbC}, \bbG_m^{\times_{\bbG_m} r}, w^{\boxplus r})$ 之间的拟等价，证明了Hodge猜想在所有 $Y^{\times r}$ 上对 $\bbQ$ 成立，其中 $Y$ 是与费马立方四fold相关的K3曲面。
• 由于扩展Hochschild上同调的计算，Hodge猜想对所有 $r \geq 1$ 成立于范畴 $\text{D}^{\text{abs}}\text{fact}(\bbA^{nr}_{\bbC}, \bbG_m^{\times_{\bbG_m} r}, w^{\boxplus r})$。
• 该结果与已知情形一致，但本文方法提供了与Shioda和Aoki的算术方法不同的新范畴证明。