Homogeneous Functors in Calculus

• Homogeneous functors are pure-degree pieces in polynomial approximations, analogous to single monomial terms, that capture the top nonvanishing layer in functor calculus.
• They are defined via fibre sequences in Goodwillie, Weiss, and manifold calculi, where each homogeneous layer isolates the key level of polynomial behavior.
• Their classification involves automorphism groups, equivariant spectra, and configuration-space representations, providing explicit models for complex functor interactions.

Homogeneous functors are the “pure-degree” pieces that occur when a functor is approximated by a tower of polynomial or excisive approximations. Across Goodwillie calculus, Weiss calculus, manifold calculus, and algebraic theories of polynomial functors, the common pattern is that one first constructs successive polynomial stages and then isolates the $d$-th or $n$-th layer as the fibre between adjacent stages. In that sense, a homogeneous functor is the analogue of a single monomial term in ordinary calculus, but realized as a functor together with its coherence data. The modern literature gives several classification theorems for such layers, ranging from equivariant spectra in Weiss calculus to configuration-space representations in manifold calculus and module categories over Schur superalgebras in the theory of strict polynomial functors (Barnes et al., 5 Aug 2025, Anel et al., 2017, Tsopmene et al., 2017, Tsopmene et al., 2018, Axtell, 2013).

1. Core definitions and recurring pattern

In Goodwillie calculus, an endofunctor $F\colon \mathrm{Sp}\to \mathrm{Sp}$ is $n$-excisive if it carries strongly cocartesian $(n+1)$-cubes in spectra to homotopy cartesian cubes. Goodwillie’s tower

$\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$

provides universal $n$-excisive approximations, and the $n$-th homogeneous layer is

$D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$

A functor is $n$-homogeneous when it is $n$0-excisive and $n$1; equivalently $n$2 (Barnes et al., 2024, Anel et al., 2017).

Weiss calculus uses the same formal pattern for functors

$n$3

A functor is $n$4-polynomial if for every $n$5 the canonical map

$n$6

is an equivalence. Equivalently, $n$7 is $n$8-polynomial exactly when its $n$9-st cross-effect vanishes. The Weiss–Taylor tower

$F\colon \mathrm{Sp}\to \mathrm{Sp}$0

then defines the $F\colon \mathrm{Sp}\to \mathrm{Sp}$1-th homogeneous layer by

$F\colon \mathrm{Sp}\to \mathrm{Sp}$2

and a $F\colon \mathrm{Sp}\to \mathrm{Sp}$3-homogeneous functor is characterized by being $F\colon \mathrm{Sp}\to \mathrm{Sp}$4-polynomial with $F\colon \mathrm{Sp}\to \mathrm{Sp}$5 (Barnes et al., 5 Aug 2025).

In manifold calculus, for a contravariant functor $F\colon \mathrm{Sp}\to \mathrm{Sp}$6, polynomiality of degree $F\colon \mathrm{Sp}\to \mathrm{Sp}$7 is expressed by homotopy-cartesianness of the puncturing cube associated to $F\colon \mathrm{Sp}\to \mathrm{Sp}$8 pairwise disjoint closed subsets of an open set $F\colon \mathrm{Sp}\to \mathrm{Sp}$9. The Taylor approximation is

$n$0

and $n$1 is homogeneous of degree $n$2 if it is polynomial of degree $n$3 and $n$4 is trivial (Tsopmene et al., 2017, Tsopmene et al., 2018).

A useful point of comparison is that these definitions all isolate the top nonvanishing stage of a polynomial approximation, but the ambient categories and geometric meaning differ substantially. This suggests that “homogeneous functor” is best understood as a family of parallel notions rather than a single context-free definition.

2. Goodwillie and Weiss homogeneous layers

Goodwillie’s tower may be described as a sequence of left exact localizations, and the homogeneous layer $n$5 is not merely $n$6-excisive but also $n$7-reduced. In the higher-topos-theoretic treatment of Anel, Biedermann, Finster, and Joyal, fibrewise orthogonality controls the $n$8-excisive modality and leads to structural results such as the pushout–product theorem for $n$9- and $(n+1)$0-equivalences, a Blakers–Massey theorem for the Goodwillie tower, and a delooping theorem for homogeneous layers. In particular, every $(n+1)$1-homogeneous functor $(n+1)$2 admits a canonical $(n+1)$3-fold delooping in the slice $(n+1)$4-topos over $(n+1)$5 (Anel et al., 2017).

For reduced $(n+1)$6-excisive endofunctors of spectra landing in $(n+1)$7-local spectra, rationalization causes the tower to split: $(n+1)$8 equivalently

$(n+1)$9

The $\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$0-th homogeneous layer is described by the derivative spectrum with symmetric-group action,

$\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$1

and rationally this yields an algebraic model

$\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$2

The homogeneous layers therefore become the basic algebraic constituents of rational excisive functors (Barnes et al., 2024).

In Weiss calculus, the homogeneous layer has a more geometric input: finite-dimensional inner-product spaces and orthogonal splittings. The details emphasize that the tower is built from orthogonal embeddings, while the classifying side is governed by orthogonal epimorphisms. The $\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$3-th layer is again the fibre of $\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$4, but its classification takes a particularly rigid form in terms of equivariant spectra, as discussed below (Barnes et al., 5 Aug 2025).

3. Classification in Weiss calculus and comparison with Goodwillie theory

A central result of recent work in Weiss calculus is a Dwyer–Rezk-type classification: the $\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$5-category of reduced, filtered-colimit-preserving $\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$6-polynomial functors

$\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$7

is equivalent to the $\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$8-category

$\cdots \to P_nF \to P_{n-1}F \to \cdots \to P_0F$9

where $n$0 has objects $n$1 and morphisms given by surjective linear isometries, i.e. orthogonal epimorphisms. Under this equivalence, a functor is determined by its values on $n$2 for $n$3 together with the coherence encoded by orthogonal epimorphisms (Barnes et al., 5 Aug 2025).

The proof follows the “Schwede–Shipley plus Yoneda” pattern. One first shows that $n$4 is compactly generated by the objects

$n$5

An $n$6-categorical Schwede–Shipley theorem then identifies the polynomial category with spectral presheaves on the full spectral subcategory generated by these objects, and a cross-effect calculation shows that this small spectral category is the free spectral enrichment of $n$7. The resulting classification also identifies mapping spectra in the polynomial category with mapping spectra of the corresponding diagrams (Barnes et al., 5 Aug 2025).

The homogeneous case is extracted by forcing the lower stages to vanish. A diagram in $n$8 that is trivial on $n$9 is supported only at $n$0, and since $n$1 has no nontrivial morphisms out of $n$2 except automorphisms, one obtains

$n$3

Concretely, a Borel–$n$4-spectrum $n$5 gives the homogeneous functor

$n$6

This recovers the classical identification of homogeneous Weiss functors with equivariant spectra (Barnes et al., 5 Aug 2025).

The comparison with Goodwillie theory is formal but not identical. In Goodwillie calculus, finite sets of size $n$7 and surjections are replaced in Weiss calculus by Euclidean spaces $n$8 and orthogonal epimorphisms. Both theories use compact generators and enriched Yoneda methods, but the Weiss case exhibits less transfer structure: polynomial Weiss functors are not genuine Mackey functors on $n$9 but only presheaves, whereas in spectra-to-spectra settings one encounters full Mackey or biset phenomena. A common misconception is therefore that the Weiss classification is a literal orthogonal analogue of all Goodwillie features; the formal resemblance is exact at the level of the classification statement, but the Mackey-theoretic content differs (Barnes et al., 5 Aug 2025).

4. Manifold calculus, configuration spaces, and classifying spaces

In manifold calculus, homogeneous functors arise from contravariant functors on the poset $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$0 of open subsets of a smooth manifold $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$1. The polynomial degree-$D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$2 condition is defined using puncturing by $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$3 pairwise disjoint closed subsets, and the $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$4-th Taylor approximation is obtained by homotopy right Kan extension from the full subposet $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$5 of opens diffeomorphic to at most $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$6 disjoint balls. A homogeneous functor of degree $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$7 is polynomial of degree $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$8 with trivial $D_nF := \mathrm{fib}(P_nF \to P_{n-1}F).$9-st stage (Tsopmene et al., 2017, Tsopmene et al., 2018).

A key geometric fact is that the subposet $n$0 of opens diffeomorphic to exactly $n$1 disjoint balls is modeled on the unordered configuration space

$n$2

and the nerve $n$3 is weakly equivalent to $n$4. This leads to a weak equivalence between the category of homogeneous cofunctors of degree $n$5 and the category of linear cofunctors on $n$6, provided the target simplicial model category has a zero object (Tsopmene et al., 2017).

For very good homogeneous functors—those that send isotopy equivalences to isomorphisms—Songhafouo Tsopmè and Stanley prove a sharper statement: $n$7 where $n$8 is the unordered configuration space of $n$9 points in $n$00, $n$01 its fundamental groupoid, and $n$02 a category with zero object and all small limits. If $n$03 is connected, this becomes an equivalence with representations of $n$04 in $n$05. In this formulation, homogeneous functors behave like configuration-space local systems (Tsopmene et al., 2017).

A second line of classification fixes a fibrant–cofibrant object $n$06 in a simplicial model category $n$07 and considers homogeneous functors of degree $n$08 that take a disjoint union of $n$09 balls to an object weakly equivalent to $n$10. Tsopméné and Stanley construct a space $n$11 and show that the set of weak-equivalence classes of such functors is in bijection with

$n$12

Subsequent work proves that $n$13 is weakly equivalent to $n$14, the classifying space of the simplicial monoid of self weak equivalences of $n$15. This identifies the classification space intrinsically and extends Weiss’s topological classification to arbitrary simplicial model categories (Tsopmene et al., 2018, Li, 23 Jun 2026).

These results make precise the intuition that manifold-calculus homogeneous functors are higher-order local systems parametrized by configuration spaces rather than merely by the manifold itself.

5. Algebraic and categorical versions outside homotopy calculus

The term “homogeneous” also appears in purely categorical theories of polynomial functors. In a locally cartesian closed category $n$16, a polynomial from $n$17 to $n$18 is a diagram

$n$19

inducing the functor

$n$20

Walker defines homogeneous and monomial terms of such a polynomial using a negation or image-complement operator in the slices $n$21. Under the hypotheses that $n$22 is locally cartesian closed, has disjoint finite coproducts, and finite coproducts are extensive, the $n$23-th homogeneous term exists for every finite $n$24, and the inclusion of order-$n$25 homogeneous polynomials into all polynomials admits a right adjoint

$n$26

Thus the order-$n$27 homogeneous polynomials form a coreflective sub-bicategory (Walker, 2022).

This setting is conceptually parallel to Goodwillie- and Weiss-style towers, but the technical mechanism is different. Instead of cross-effects and excision, the construction uses distributivity pullbacks, negation, and the dense–closed orthogonal factorization system induced by a strict initial object. The same framework also defines derivatives of polynomial functors as right adjoints to multiplication by the linear polynomial, and after localizing at dense monomorphisms every polynomial admits such a derivative (Walker, 2022).

A further algebraic instance appears in the theory of homogeneous strict polynomial functors on vector superspaces. Axtell introduces the categories

$n$28

whose objects are homogeneous strict polynomial functors of degree $n$29. For $n$30 in type I, and $n$31 in type II, evaluation induces equivalences with supermodule categories over the Schur superalgebras $n$32 and $n$33, respectively. In type II, the representable functor $n$34 is projective, its endomorphism superalgebra is the Sergeev superalgebra $n$35, and this yields an exact Sergeev duality functor

$n$36

Here “homogeneous” does not refer to a fibre in a Taylor tower, but to degree-$n$37 strict polynomiality (Axtell, 2013).

6. Structural themes, examples, and interpretive cautions

Several structural themes recur across these theories. First, homogeneous functors are usually controlled by a smaller classifying object than arbitrary polynomial functors: $n$38 in Weiss calculus, $n$39 or $n$40 in manifold calculus, and $n$41-action data in Goodwillie’s stable setting (Barnes et al., 5 Aug 2025, Tsopmene et al., 2017, Li, 23 Jun 2026, Barnes et al., 2024).

Second, homogeneous layers often furnish the basic decomposition of more complicated functors. In Goodwillie theory this is explicit in the fibre sequence

$n$42

and in the rational spectral case every reduced $n$43-excisive functor splits as a product of its homogeneous layers. In Weiss calculus, the vanishing of $n$44 removes all data below dimension $n$45, leaving only the top stratum $n$46 and its automorphism action. In manifold calculus, vanishing on fewer than $n$47 balls forces the essential information onto exactly $n$48-component opens, hence onto configuration spaces (Barnes et al., 2024, Barnes et al., 5 Aug 2025, Tsopmene et al., 2017).

Third, the literature makes clear that homogeneous functors are not synonymous with linear functors, except in degree $n$49. Degree $n$50 recovers locally constant or linear behavior in several settings—for example, $n$51 in manifold calculus, and $n$52 in the rational spectral setting—but higher degrees encode genuinely multi-variable or multi-point interactions (Tsopmene et al., 2018, Barnes et al., 2024).

Finally, a plausible implication of the comparison results is that homogeneous functors form the most robust point of contact among distinct calculi of functors. The definitions of polynomiality vary—from cocartesian cubes, to orthogonal splittings, to punctured open sets, to distributivity pullbacks—but the homogeneous stage repeatedly emerges as the object that is most classifiable, most representation-theoretic, and most amenable to explicit models.