Quadratic functors on pointed categories
Abstract
We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups , and whose source category is an arbitrary category with null object such that all objects are colimits of copies of a generating object which is small and regular projective; this includes all pointed algebraic varieties. More specifically, we are interested in such quadratic functors from to which preserve filtered colimits and suitable coequalizers; one may take reflexive ones if is Mal'cev and Barr exact. A functorial equivalence is established between such functors and certain minimal algebraic data which we call quadratic -modules: these involve the values on of the cross-effects of and certain structure maps generalizing the second Hopf invariant and the Whitehead product. Applying this general result to the case where is a cogroup these data take a particularly simple form. This application extends results of Baues and Pirashvili obtained for being the category of groups or of modules over some ring; here quadratic -modules are equivalent with abelian square groups or quadratic -modules, respectively.
Cite
@article{arxiv.0810.4502,
title = {Quadratic functors on pointed categories},
author = {Manfred Hartl and Christine Vespa},
journal= {arXiv preprint arXiv:0810.4502},
year = {2009}
}
Comments
64 pages