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

Matthew Ballard, David Favero, Ludmil Katzarkov

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

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)
JournalPublications Mathematiques de l'Institut des Hautes Etudes Scientifiques
Volume120
Issue number1
DOIs
StatePublished - 2013

Fingerprint

Hodge Theory
Hochschild Cohomology
Equivariant
Factorization
kernel
Derived Category
Algebra
Hypersurface
Cohomology
Internal
Algebraic Cycles
Hochschild Homology
Fermat
Coherent Sheaf
K3 Surfaces
Affine Space
Bootstrap Method
Endomorphism
Morphisms
Homotopy

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

@article{a1a013bcfcc54fa4bb77ae07eee192be,
title = "A category of kernels for equivariant factorizations and its implications for hodge theory",
abstract = "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.",
author = "Matthew Ballard and David Favero and Ludmil Katzarkov",
year = "2013",
doi = "10.1007/s10240-013-0059-9",
language = "English (US)",
volume = "120",
journal = "Publications Mathematiques de l'Institut des Hautes Etudes Scientifiques",
issn = "0073-8301",
publisher = "Springer Verlag",
number = "1",

}

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

PY - 2013

Y1 - 2013

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 -