English

Quadratic functors on pointed categories

Algebraic Topology 2009-10-21 v3 Category Theory Group Theory

Abstract

We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups AbAb, and whose source category is an arbitrary category \C\C with null object such that all objects are colimits of copies of a generating object EE which is small and regular projective; this includes all pointed algebraic varieties. More specifically, we are interested in such quadratic functors FF from \C\C to AbAb which preserve filtered colimits and suitable coequalizers; one may take reflexive ones if \C\C is Mal'cev and Barr exact. A functorial equivalence is established between such functors F:\CAbF:\C\to Ab and certain minimal algebraic data which we call quadratic \C\C-modules: these involve the values on EE of the cross-effects of FF and certain structure maps generalizing the second Hopf invariant and the Whitehead product. Applying this general result to the case where EE is a cogroup these data take a particularly simple form. This application extends results of Baues and Pirashvili obtained for \C\C being the category of groups or of modules over some ring; here quadratic \C\C-modules are equivalent with abelian square groups or quadratic RR-modules, respectively.

Keywords

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

R2 v1 2026-06-21T11:34:39.827Z