pith. sign in

arxiv: 2607.00631 · v1 · pith:BK7BYR2Bnew · submitted 2026-07-01 · 🧮 math.RT

The universal property of strict polynomial functors

Antoine Touz\'e (LPP) This is my paper

Pith reviewed 2026-07-02 03:44 UTC · model grok-4.3

classification 🧮 math.RT
keywords strict polynomial functorsuniversal propertytensor abelian categoriespositive characteristicExt-algebrascohomological computationsrepresentation theory
0
0 comments X

The pith

The category of strict polynomial functors is the free tensor abelian category on one object only after restricting to a suitable subclass of tensor categories in positive characteristic.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

In characteristic zero the category of strict polynomial functors is the tensor abelian category freely generated by one object. This freeness property fails when the base field has positive characteristic if every tensor abelian category is allowed. Restricting attention to a smaller class of tensor abelian categories restores a universal property. The repaired property recovers several known constructions and shows that the Ext-algebras of strict polynomial functors act on cohomological computations arising in many other contexts.

Core claim

In characteristic zero, the category of strict polynomial functors is the tensor abelian category freely generated by one object. This property fails in positive characteristic, but it can be repaired by restricting the class of tensor abelian categories considered. The new universal property recovers several known constructions and shows that Ext-algebras of strict polynomial functors act on cohomological computations in many other contexts.

What carries the argument

The universal property of the category of strict polynomial functors among a restricted class of tensor abelian categories in positive characteristic.

If this is right

  • Several known constructions in representation theory are recovered directly from the restricted universal property.
  • The Ext-algebras of strict polynomial functors act on cohomological computations in many other contexts.
  • Strict polynomial functors satisfy a freeness property only within the restricted class of tensor abelian categories when the characteristic is positive.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Cohomological calculations performed inside the category of strict polynomial functors can be transferred to other settings via the universal property.
  • The same style of restriction on tensor categories may apply to universal properties of other functor categories arising in representation theory.

Load-bearing premise

Restricting the class of tensor abelian categories preserves the essential features of the category of strict polynomial functors and allows recovery of known constructions without introducing new limitations that undermine the universal property.

What would settle it

A concrete tensor abelian category lying outside the restricted class that nevertheless satisfies the same universal property with respect to strict polynomial functors, or a specific cohomological computation in which the predicted action of an Ext-algebra fails to appear.

read the original abstract

In characteristic zero, the category of strict polynomial functors is well-known to be the tensor abelian category freely generated by one object. We show that this property fails in positive characteristic, but that it can be repaired by restricting the class of tensor abelian categories considered. The new universal property recovers several known constructions and shows that Ext-algebras of strict polynomial functors act on cohomological computations in many other contexts.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper claims a universal property for strict polynomial functors that holds in characteristic zero but requires restricting the ambient class of tensor abelian categories in positive characteristic. This is presented as a standard adjustment that recovers known constructions. No quoted equations, self-citations, or ansatzes in the available material reduce any central claim to a definition, fit, or prior self-result by construction. The argument relies on external category-theoretic facts and is not forced by internal redefinition or renaming.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; no specific free parameters, axioms, or invented entities identifiable from the provided text.

pith-pipeline@v0.9.1-grok · 5577 in / 994 out tokens · 43679 ms · 2026-07-02T03:44:55.294084+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    Schur functors and Schur complexes

    Kaan Akin, David A. Buchsbaum, and Jerzy Weyman. “Schur functors and Schur complexes”. In:Adv. in Math.44.3 (1982), pp. 207–278

    work page 1982

  2. [2]

    Schur functors and categori- fied plethysm

    John C. Baez, Joe Moeller, and Todd Trimble. “Schur functors and categori- fied plethysm”. In:High. Struct.8.1 (2024), pp. 1–53

    work page 2024

  3. [3]

    Support varieties: an ideal approach

    Aslak Bakke Buan, Henning Krause, and Ø yvind Solberg. “Support varieties: an ideal approach”. In:Homology Homotopy Appl.9 (2007)

    work page 2007

  4. [4]

    On strict polynomial functors with bounded domain

    Marcin Chał upnik and Patryk Jaśniewski. “On strict polynomial functors with bounded domain”. In:Homology Homotopy Appl.26.1 (2024), pp. 87– 104

    work page 2024

  5. [5]

    Inductive systems of the symmetric group, polynomial functors and tensor categories

    Kevin Coulembier. Inductive systems of the symmetric group, polynomial functors and tensor categories. 2024. eprint:arXiv:2406.00892

    work page arXiv 2024

  6. [6]

    A categorical approach to classi- cal and quantum Schur-Weyl duality

    Alexei Davydov and Alexander Molev. “A categorical approach to classi- cal and quantum Schur-Weyl duality”. In:Groups, algebras and applications. Vol. 537. Contemp. Math. Amer. Math. Soc., Providence, RI, 2011, pp. 143– 171

    work page 2011

  7. [7]

    Homology of strict polynomial func- tors overFp-linear additive categories

    Aurélien Djament and Antoine Touzé. “Homology of strict polynomial func- tors overFp-linear additive categories”. In:Doc. Math.(2025). doi: 10.4171/ dm/1047. 14 REFERENCES

    work page 2025

  8. [8]

    Tensor categories

    Pavel Etingof et al. Tensor categories. Vol. 205. Mathematical Surveys and Monographs.AmericanMathematicalSociety,Providence,RI,2015,pp.xvi+343

    work page 2015

  9. [9]

    Cohomology of bifunctors

    Vincent Franjou and Eric M. Friedlander. “Cohomology of bifunctors”. In: Proc. Lond. Math. Soc. (3)97.2 (2008), pp. 514–544

    work page 2008

  10. [10]

    General linear and functor cohomology over finite fields

    Vincent Franjou et al. “General linear and functor cohomology over finite fields”. In:Ann. of Math. (2)150.2 (1999), pp. 663–728

    work page 1999

  11. [11]

    Cohomology of finite group schemes over a field

    Eric M. Friedlander and Andrei Suslin. “Cohomology of finite group schemes over a field”. In:Invent. Math.127.2 (1997), pp. 209–270

    work page 1997

  12. [12]

    Foncteurs polynomiaux stricts et modules instables sur l’algèbre de Steenrod

    Nguyen Dang Ho Hai. “Foncteurs polynomiaux stricts et modules instables sur l’algèbre de Steenrod”. In:J. Algebra324.4 (2010), pp. 860–874

    work page 2010

  13. [13]

    Categories and sheaves

    Masaki Kashiwara and Pierre Schapira. Categories and sheaves. Vol. 332. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 2006

    work page 2006

  14. [14]

    Categories for the working mathematician.Second.Vol.5

    SaundersMacLane. Categories for the working mathematician.Second.Vol.5. GraduateTextsinMathematics.Springer-Verlag,NewYork,1998,pp.xii+314. isbn: 0-387-98403-8

    work page 1998

  15. [15]

    Schur algebras and representation theory

    Stuart Martin. Schur algebras and representation theory. Vol. 112. Cambridge Tracts in Mathematics. Reprint of the 1993 original. Cambridge University Press, Cambridge, 2008

    work page 1993

  16. [16]

    Claudiu Raicu and Keller VandeBogert.Stable sheaf cohomology and Koszul– Ringel duality. 2025. eprint:arXiv:2509.08923

    work page arXiv 2025

  17. [17]

    Introduction to twisted commutative algebras

    Steven V Sam and Andrew Snowden. Introduction to twisted commutative algebras. 2012. eprint:arXiv:1209.5122

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  18. [18]

    Bar complexes and extensions of classical exponential func- tors

    Antoine Touzé. “Bar complexes and extensions of classical exponential func- tors”. In:Ann. Inst. Fourier (Grenoble)64.6 (2014), pp. 2563–2637

    work page 2014

  19. [19]

    Cohomology of algebraic groups with coefficients in twisted representations

    Antoine Touzé. “Cohomology of algebraic groups with coefficients in twisted representations”. In:Geometric and topological aspects of the representation theory of finite groups. Vol. 242. Springer Proc. Math. Stat. Springer, Cham, 2018, pp. 425–463

    work page 2018

  20. [20]

    Cohomology of classical algebraic groups from the functorial viewpoint

    Antoine Touzé. “Cohomology of classical algebraic groups from the functorial viewpoint”. In:Adv. Math.225.1 (2010), pp. 33–68

    work page 2010

  21. [21]

    Troesch complexes and extensions of strict polynomial func- tors

    Antoine Touzé. “Troesch complexes and extensions of strict polynomial func- tors”. In:Ann. Sci. Éc. Norm. Supér. (4)45.1 (2012), pp. 53–99

    work page 2012

  22. [22]

    Bifunctor cohomology and co- homological finite generation for reductive groups

    Antoine Touzé and Wilberd van der Kallen. “Bifunctor cohomology and co- homological finite generation for reductive groups”. In:Duke Math. J.151.2 (2010), pp. 251–278

    work page 2010

  23. [23]

    Cohomology of vector bundles and syzygies

    Jerzy Weyman. Cohomology of vector bundles and syzygies. Vol. 149. Cam- bridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2003

    work page 2003