Related papers: Additive polynomial superfunctors and cohomology
In this paper we compute extension groups in the category of strict polynomial superfunctors and thereby exhibit certain "universal extension classes" for the general linear supergroup. Some of these classes restrict to the universal…
We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…
We study polynomial functors in the incompressible category $\text{Ver}_4^+$, which can be viewed as super polynomial functors in characteristic 2. Concretely, we classify additive, exact and simple polynomial functors, and describe how…
A formula for calculating Extensions of (mainly integral) Polynomial Functors is established, based upon projective resolutions. Sample computations are performed, which, in particular, exhibit a surprising non-trivial extension of Divided…
Polynomial functors are sums of covariant representable functors from the category of sets to itself. They have a robust theory with many applications -- from operads and opetopes to combinatorial species. In this paper, we define a…
We uncover several general phenomenas governing functor homology over additive categories. In particular, we generalize the strong comparison theorem of Franjou Friedlander Scorichenko and Suslin to the setting of Fp-linear additive…
We introduce the notion of numerical functors to generalise Eilenberg & MacLane's polynomial functors to modules over a binomial base ring. After shewing how these functors are encoded by modules over a certain ring, we record a precise…
We investigate fundamental properties of adjoint functors to the precomposition functor in the category of strict polynomial functors.
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
We generalize the strong comparison theorem of Franjou, Friedlander, Scorichenko and Suslin to the setting of Fp-linear additive categories. Our results have a strong impact in terms of explicit computations of functor homology, and they…
We build an explicit link between coherent functors in the sense of Auslander and strict polynomial functors in the sense of Friedlander and Suslin. Applications to functor cohomology are discussed.
We introduce an object that has obvious similarity to the classical one - the algebra of supersymmetric polynomials. Despite the similarity, the known structure theorems on supersymmetric polynomials do not help in the study of the new…
For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…
Second-order polynomials generalize classical first-order ones in allowing for additional variables that range over functions rather than values. We are motivated by their applications in higher-order computational complexity theory,…
We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since…
We adapt a construction due to Troesch to the category of strict polynomial superfunctors in order to construct complexes of injective objects whose cohomology is isomorphic to Frobenius twists of the (super)symmetric power functors. We…
Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…
We introduce a class of Schur type functions associated with polynomial sequences of binomial type. This can be regarded as a generalization of the ordinary Schur functions and the factorial Schur functions. This generalization satisfies…