[論文レビュー] 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

ひとこと要約

本稿は、G--equivariant因数化のdg-categoryのホモトピー圏における内部Homの因数化モデルを導入し、拡張されたホッホシュילדコホモロジーの計算を可能にする。このモデルにより、グリフィスの特異超曲面コホモロジーに関する古典的結果が再現され、さらに拡張され、フェルマー立方四foldに関連するK3表面のすべての自己積についてホッジ予想が証明される。

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.

研究の動機と目的

• G--equivariant因数化のk線型dg-categoryのホモトピー圏における連続的内部Homの因数化モデルを構築すること。
• G--equivariant因数化カテゴリの拡張されたホッホシュILDコホモロジー代数を定義し、計算すること。これはホッホシュILDコホモロジーとホモロジーを一般化する。
• ジャコビアン代数を用いたグリフィスの古典的結果を、滑らかな射影的超曲面の原始的コホモロジーについて再現・拡張すること。
• G--equivariant因数化カテゴリにおける代数的サイクルの構成のためのカテゴリカル枠組みを確立すること。
• フェルマー立方四foldに関連する特定のK3表面のすべての自己積について、ホッジ予想をブートストラップ法を用いて証明すること。

提案手法

• 差分ポテンシャル構成を用いて、G--equivariant因数化のdg-category間の内部Hom dg-categoryの因数化モデルを構築する。
• ホッホシュILDコホモロジーとホモロジーを両方の部分構造として捉える一般化として、拡張されたホッホシュILDコホモロジー代数を定義する。
• ホッホシュILD＝コスタント＝ローゼンバーグ同型とオルロフの定理を用いて、アフィン空間上のG--equivariant因数化の拡張されたホッホシュILDコホモロジーを計算する。
• 導来カテゴリ上の特定の自己関手によって誘導されるコホモロジカル自己準同型の固定部分空間と、超曲面の原始的コホモロジーを特定する。
• カテゴリカル対応を介して、完全なジャコビアン代数を導来カテゴリ内での自己関手の核同士の間の準同型として再解釈する。
• 準同型の類似と導来カテゴリ同型を活用して、G--equivariant因数化カテゴリにおける代数的サイクルを生成するブートストラップ法を適用する。

実験結果

リサーチクエスチョン

• RQ1 G--equivariant因数化のdg-categoryのホモトピー圏における内部Homは、どのように因数化によってモデル化できるか？
• RQ2 G--equivariant因数化カテゴリの拡張されたホッホシュILDコホモロジー代数の構造は何か？ また、ホッホシュILDコホモロジーとホモロジーとはどのように関係するか？
• RQ3 この因数化モデルを用いて、グリフィスの古典的原始的コホモロジー記述を再現・拡張できるか？
• RQ4 カテゴリカルなブートストラップ法によって、G--equivariant因数化カテゴリに代数的サイクルを生成できるか？
• RQ5 フェルマー立方四foldに関連するK3表面のすべての自己積について、ホッジ予想は成り立つか？

主な発見

• アフィン空間上のG--equivariant因数化の拡張されたホッホシュILDコホモロジー代数が明示的に計算され、その成分はポテンシャルのジャコビアン代数と同型である。
• 滑らかな複素射影的超曲面の原始的コホモロジーは、導来カテゴリ上の特定の自己関手に関連するコホモロジカル自己準同型の固定部分空間と一致する。
• 完全なジャコビアン代数は、導来カテゴリ内での核対象の次数付き自己準同型代数として、カテゴリカル対応構成を介して実現される。
• フェルマー立方四foldに関連するK3表面Yのすべての自己積Y^{ imes r}について、ホッジ予想はQ上でのみ証明され、これは\text{Inj}_{\text{coh}}(Y^{ imes r})と\text{Inj}_{\text{coh}}(\bbA^{6r}_{\bbC}, \bbG_m^{ imes_{\bbG_m} r}, w^{oxplus r})の間の準同型の類似によって得られる。
• すべてのr \geq 1について、カテゴリ\text{D}^{ ext{abs}}\text{fact}(\bbA^{nr}_{\bbC}, \bbG_m^{ imes_{\bbG_m} r}, w^{oxplus r})についてホッジ予想が成り立つ。これは拡張されたホッホシュILDコホモロジー計算の結果として得られる。
• 既知の事例と整合的であるが、本稿の方法は塩田・青木らの算術的アプローチとは異なるカテゴリカルな証明を提供する。