TY - JOUR

T1 - A category of kernels for equivariant factorizations and its implications for hodge theory

AU - Ballard, Matthew

AU - Favero, David

AU - Katzarkov, Ludmil

N1 - Publisher Copyright:
© 2015 Springer Verlag. All rights reserved.

PY - 2013/11

Y1 - 2013/11

N2 - We provide a factorization model for the continuous internal Hom, in the homotopy category of k-linear dgcategories, 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.

AB - We provide a factorization model for the continuous internal Hom, in the homotopy category of k-linear dgcategories, 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.

UR - http://www.scopus.com/inward/record.url?scp=85027918377&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85027918377&partnerID=8YFLogxK

U2 - 10.1007/s10240-013-0059-9

DO - 10.1007/s10240-013-0059-9

M3 - Article

AN - SCOPUS:85027918377

VL - 120

JO - Publications Mathematiques de l'Institut des Hautes Etudes Scientifiques

JF - Publications Mathematiques de l'Institut des Hautes Etudes Scientifiques

SN - 0073-8301

IS - 1

ER -