Quadratic functors on pointed categories (Q631793): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 0810.4502 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic functors and metastable homotopy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foncteurs polynomiaux et foncteurs de Mackey non linéaires / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic algebra of square groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic endofunctors of the category of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4314472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4827951 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on Maltsev and Goursat categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the groups \(H(\Pi,n)\). II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modules over operads and functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some successive quotients of group ring filtrations induced by n-series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic maps between groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5435177 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4405736 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4454824 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4658185 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polynomial maps on groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3485044 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polynomial approximation of ext and tor groups in functor categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dold-Kan type theorem for \(\Gamma\)-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3215398 / rank | |||
Normal rank |
Latest revision as of 21:36, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quadratic functors on pointed categories |
scientific article |
Statements
Quadratic functors on pointed categories (English)
0 references
14 March 2011
0 references
A functor \(F: {\mathcal C}\to {\mathcal A}b\) from a pointed category \(\mathcal C\) to the category of abelian groups is called a polynomial functor of degree \(\leq n\) if its \(k\)-th cross-effect vanishes for all \(k>n\). Let \(\mathcal C\) be an algebraic theory, that is a pointed category such that for some \(E\in \mathcal C\) every object of \(\mathcal C\) is a finite coproduct of \(E\). In such case linear functors (i.e., polynomial functors of degree \(\leq 1\)) have the following algebraic classification. There exists a ring \(\bar \Lambda\) such that for each linear functor \(F\) the group \(F(E)\) has a right \(\bar \Lambda\)-module structure. The assignment \(F \mapsto F(E)\) establishes an equivalence between the category of linear functors \({\mathcal C}\to {\mathcal A}b\) and the category of right \(\bar \Lambda\)-modules. The goal of this paper is to give an analogous algebraic description of quadratic functors, i.e., polynomial functors of degree \(\leq 2\). Given an algebraic theory \(\mathcal C\) the authors define the notion of a quadratic \(\mathcal C\)-module. If \(F: {\mathcal C} \to {\mathcal A}b\) is a quadratic functor then the group \(F(E)\), the second cross-effect \(F(E|E)\), and certain structure maps describe such a quadratic \(\mathcal C\)-module \(\mathbb{S}_{2}(F)\). The main result of the paper shows that the assignment \(F\mapsto {\mathbb S}_{2}(F)\) gives an equivalence between the category of quadratic functors \({\mathcal C}\to {\mathcal A}b\) and the category of quadratic \(\mathcal C\)-modules. Such an equivalence is also obtained in a more general setting where \(\mathcal C\) is a pointed category with a small regular projective generator \(E\in \mathcal C\), although in this case quadratic \(\mathcal C\)-modules correspond to quadratic functors which preserve filtered colimits and certain coequalizers. The authors give a more detailed analysis of the case where the object \(E\) generating \(\mathcal C\) has a cogroup structure and show than in this instance quadratic \(\mathcal C\)-modules admit a simpler description. As an application they show that if \(\mathcal C\) is the algebraic theory of finitely generated free groups then their classification of quadratic functors coincides with the classification given by \textit{H.-J. Baues} and \textit{T. Pirashvili} [Adv. Math. 141, No. 1, 167--206 (1999; Zbl 0923.20042)].
0 references
polynomial functor
0 references
quadratic functor
0 references
cross-effect
0 references
algebraic theory
0 references
pointed category
0 references