Functor-2-excisive

In Goodwillie calculus, a functor is 2-excisive if it approximates a degree-2 polynomial. For a functor defined on Euclidean spheres or homotopy types, 2-excisive means it converts a “strongly coCartesian 2-cube” (a homotopy pushout of 3 spheres/spaces) into a Cartesian 2-cube (a homotopy pullback). [1, 2]

Here are the exact mathematical details and implications of this property:

1. The Definition (Excision for 2-Cubes)

In the calculus of functors, the term “excisive” comes from generalized homology theories, where 1-excisive functors satisfy the classical axiom of excision (homotopy pushouts become pullbacks). [1, 2]

  • A 1-excisive functor is essentially a generalized homology theory.
  • A 2-excisive functor is the next level up. It is a “homotopy polynomial of degree 2”. Instead of just mapping a pushout square to a pullback square, a 2-excisive functor measures how much a functor fails to be linear. Geometrically, it measures the “second derivative” or quadratic deviation of the functor. [1, 2]

2. Doubling Functors on Spheres

In homotopy theory, the term “doubling functor” typically refers to an operation that repeats information, such as the smash product \(S^0 \times (-)\) or a geometric \(C_{2}\)-equivariant doubling. When applied to Euclidean spheres, a 2-excisive doubling functor has specific structural properties: [1, 2, 3]

  • Quadratic Polynomial Behavior: The functor behaves like a quadratic function \(y = ax^2\), meaning it essentially ignores triple intersections and higher-order complexities in the topology of the spheres.
  • Equivalence to \(C_{2}\)-Spectra: In stable homotopy theory, the category of 2-excisive functors mapping spectra to spectra is equivalent to the category of genuine \(C_{2}\)-equivariant spectra. The “2” corresponds to the \(\Sigma _{2}\) permutation action inherent in the 2-cube. [1, 2, 3]

3. The Taylor Tower

Goodwillie calculus analyzes complex functors by building a Taylor tower of approximations. [1]

  • Any functor \(F\) can be approximated by a universal 2-excisive functor, denoted \(P_{2}F\).
  • The difference between \(P_{2}F\) and the 1-excisive approximation \(P_{1}F\) is called the “homogeneous part” of degree 2.
  • This homogeneous layer depends purely on the “second derivative” of the functor, which on Euclidean spheres is entirely governed by a spectrum equipped with a \(\Sigma _{2}\) (symmetric group) action. [1, 2]

4. Why It Matters

When studying highly-connected manifolds, algebraic K-theory, or mapping spaces (like the spaces of embeddings or long knots), exact calculations are impossible. Using 2-excisive functors allows mathematicians to study the “quadratic” parts of these spaces without getting bogged down by complicated, higher-dimensional interactions. [1, 2]

References

  1. Thomas Goodwillie: The foundational papers on the Calculus of Functors
  2. nLab’s encyclopedia entry on n-excisive functors:
    • excisive (∞,1)-functor in nLab Apr 17, 2023 — Contents. 1. 2. Definition. 3. Examples. Spectrum objects. 4. Properties. Reflection and excisive approximation…nLab
    • n-excisive (∞,1)-functor in nLab Apr 26, 2026 — Homogeneous pieces. A polynomial ∞ -functor of degree k — that is, a k -excisive functor which is not n -excisive for any n < k — …nLab
  3. the spectrum of excisive functors – UC Santa Cruz Feb 6, 2024 — To put this result into perspective, let us consider two special cases. If d = 1, then Exc1(Spc, Sp) ≃ Sp and the above bijection …UC Santa Cruz
  4. Others:
    • Defining homotopy via the “doubling” end ofunctor of a …Aug 14, 2022 — 1 Answer. Sorted by: 4. Once we correct the definition of [×2] to make it a functor (currently it does not preserve identities) by…MathOverflow
    • a parametrized index theorem for the algebraic k-theory euler …We write Sn ⊂ Rn+1 for the standard n–sphere, with base point (1,0,…). If the space Y itself has suitable finiteness properties,Universität Münster
    • Handbook of Homotopy Theory by the stable homotopy groups. The Taylor tower of the identity functor then provides a sequence of theories…
    • Tolino

###