Goodwillie calculus

Goodwillie calculus
Name	Goodwillie calculus
Invented by	Thomas G. Goodwillie
Introduced	1990s
Field	Algebraic topology

Goodwillie calculus is a framework in algebraic topology for analyzing homotopy functors by analogy with differential calculus, providing tools to approximate functors by polynomial towers, to compute layers, and to study convergence. Developed in the 1990s, it has influenced work in homotopy theory, category theory, and manifold topology, informing computations around spaces, spectra, and structured ring objects.

History and motivation

Goodwillie calculus originated with Thomas G. Goodwillie in a series of papers that paralleled ideas from Isaac Newton, Augustin-Louis Cauchy, Joseph-Louis Lagrange and later categorical themes seen in work of Alexander Grothendieck, Saunders Mac Lane, Daniel Quillen, and John Milnor. Motivation came from problems treated by Michael Atiyah, Raoul Bott, William Browder, and René Thom in studying cohomology theories, and from calculus analogies used by Serre and Adams, J. Frank in stable homotopy. Early applications connected to results of Edward Witten, Graeme Segal, Graeme B. Segal, Isadore Singer, and manifold techniques pursued by Dennis Sullivan and Mikhail Gromov. Influences include categorical localization methods of Jacob Lurie and foundational ideas of Pierre Deligne and Jean-Pierre Serre.

Foundations and definitions

Foundationally the subject uses model categories as developed by Daniel Quillen and simplicial techniques related to André Joyal and Gunnar Carlsson. Basic definitions involve homotopy functors between pointed model categories considered by Mark Hovey, J. Peter May, J. Michael Boardman, and Rainer Vogt. Key objects include spectra in the sense of J. P. May and stable homotopy categories studied by H. F. Adams and Haynes Miller. Goodwillie calculus formalizes notions of excision and homogeneity echoing ideas in work by Samuel Eilenberg and Saunders Mac Lane and uses mapping space technology related to Daniel Kan and J. P. May. The setup employs categorical limits and colimits as in Alexandre Grothendieck-style frameworks and higher categorical methods advanced by Jacob Lurie and Carlos Simpson.

Polynomial and analytic functors

Goodwillie calculus classifies functors as polynomial of degree ≤ n and as analytic when Taylor towers converge, terminology resonant with expansions by Leonhard Euler, Joseph Fourier, and approximations in the tradition of Augustin-Louis Cauchy and Carl Friedrich Gauss. Polynomial functors relate to n-excisive approximations explored by Thomas Goodwillie and connect to symmetric multilinear functors studied by G. W. Whitehead and Peter May. Analyticity criteria mirror convergence conditions employed by Henri Poincaré and appear in computations influenced by work of J. F. Adams, Douglas Ravenel, and Mark Mahowald. Examples of polynomial functors arise in the study of mapping spaces considered by Graeme Segal and embedding calculus developed by Michael Weiss.

Taylor tower and layers

The Taylor tower provides approximations P_nF to a functor F analogous to Taylor polynomials of Brook Taylor, with layers D_nF capturing homogeneous degree n behavior, a notion reflecting operations studied by Norman Steenrod and John Milnor. Layers often identify with spectra carrying actions of symmetric groups as in work by G. W. Whitehead and Araki. Convergence questions for the tower connect to manifold embeddings researched by Michael Weiss, knot theory contributions by Victor Vassiliev, and operadic techniques from Murray Gerstenhaber and Jim Stasheff. Computational frameworks use homotopy limits and colimits as in techniques refined by W. G. Dwyer and K. S. Brown.

Calculational techniques and examples

Calculations exploit Goodwillie derivatives, operad actions, and spectral sequences fashioned after classical tools by Jean Leray and Henri Cartan. Examples include the identity functor on based spaces, mapping space functors studied by Graeme Segal and J. P. May, and algebraic K-theory functors influenced by Daniel Quillen and Quillen's later developments with Charles Weibel. Computations interface with work of Thomas Nikolaus, Peter Haine, Christian Schlichtkrull, and Ralph Cohen. Spectral sequence methods use Adams spectral sequence ideas by J. F. Adams and Bousfield–Kan techniques related to A. K. Bousfield and D. M. Kan. Concrete examples tie to classical calculations in stable homotopy by Douglas Ravenel, Mark Mahowald, Frederick Cohen, and Haynes Miller.

Connections and applications

Goodwillie calculus connects to manifold calculus of embeddings pioneered by Michael Weiss and to operad theory developed by May, J. P. and F. Cohen; it informs algebraic K-theory as in work by Daniel Quillen and Charles Weibel and interacts with structured ring spectra studied by Elmendorf, Kriz, Mandell, and May. Applications span knot invariants influenced by Victor Vassiliev and Maxim Kontsevich, factorization homology studied by David Ayala and John Francis, and relationships with higher categories advanced by Jacob Lurie and André Joyal. Connections extend to deformation theory in the spirit of Mikhail Gromov and Pierre Deligne, and to field theories in the lineage of Edward Witten and Graeme Segal.

Technical refinements and variants

Variants and refinements include multi-variable Goodwillie calculus related to work by Tom Goodwillie collaborators and multi-linearizations paralleling ideas from Murray Gerstenhaber and Jim Stasheff. Higher categorical enhancements exploit Jacob Lurie's higher algebra, and model-independent formulations draw on Stefan Schwede and Mark Hovey techniques. Connections to operadic Koszul duality recall results by Victor Ginzburg and Mikhail Kapranov, and equivariant variants relate to equivariant homotopy theory as developed by L. G. Lewis and Gunnar Carlsson. Recent advances engage authors like Arone, Ching, Heuts, and McCarthy and reflect ongoing interactions with research groups at Institute for Advanced Study, Mathematical Sciences Research Institute, Max Planck Institute for Mathematics, Perimeter Institute, and universities such as Princeton University and University of Chicago.

Category:Algebraic topology