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

Matthew Ballard, David Favero, Ludmil Katzarkov

Research output: Contribution to journalArticlepeer-review

21 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)1-111
Number of pages111
JournalPublications Mathematiques de l'Institut des Hautes Etudes Scientifiques
Issue number1
StatePublished - Nov 2013

ASJC Scopus subject areas

  • Mathematics(all)


Dive into the research topics of 'A category of kernels for equivariant factorizations and its implications for hodge theory'. Together they form a unique fingerprint.

Cite this