Norm-Analytic Functor Calculus

• Norm-Analytic Functor Calculus is an analytic and operadic framework that classifies and approximates functors on P-algebras using operator-norm based spectral analysis.
• It utilizes spectral cross-effects and a convergent Taylor tower to provide exponential error decay and precise norm control for functor approximations.
• The framework extends Goodwillie calculus by replacing homotopy-theoretic convergence with quantitative analytic estimates, yielding a complete algebraic classification.

Norm-Analytic Functor Calculus is an analytic and operadic framework for approximating and classifying functors defined on categories of algebras over an operad $P$ in a Banach-enriched symmetric monoidal category $\mathcal{M}$. It systematically replaces homotopy-theoretic and qualitative convergence with analytic, operator-norm-based estimates, mediated via an operadic notion of spectrum and equipped with a convergent Taylor tower, precise error bounds, and a complete algebraic classification by right module structures. This calculus extends and quantifies the philosophies behind Goodwillie calculus, introducing explicit norm control and operadic algebraic structures as universal organizing principles (Chang, 2 May 2026).

1. Operadic Spectrum and Admissibility

Given a colored operad $P$ in a normed symmetric monoidal category $\mathcal{M}$, the category of $P$-algebras, $\mathsf{Alg}_P(\mathcal{M})$, serves as the domain for functor calculus. The operadic spectrum, $\sigma_P(A)$, is constructed via a universal operadic residue object $\mathcal{O}_P^{\mathrm{res}}$: $$\sigma_P(A) := \mathrm{Hoch}_{\mathcal M} \bigl(\mathcal M(A) \otimes_P \mathcal O_P^{\mathrm{res}} \bigr),$$ where $\mathcal{M}(A)$ denotes the endomorphism operad and $\mathcal{M}$0 is a Hochschild-type construction. The analytic realization $\mathcal{M}$1 provides a spectral size,

$\mathcal{M}$2

which generalizes the classical operator-theoretic spectral radius. For a functor $\mathcal{M}$3, admissibility is defined: $\mathcal{M}$4 is admissible if there exists a nondecreasing control function $\mathcal{M}$5 such that

$\mathcal{M}$6

making the spectral size a universal control parameter for the growth of $\mathcal{M}$7 (Chang, 2 May 2026).

2. Polynomial Functors and Spectral Cross-Effects

The cross-effects of $\mathcal{M}$8,

$\mathcal{M}$9

measure the deviation from additivity and polynomiality, where $P$0 denotes the total homotopy fiber over the $P$1-cube of subsets of $P$2. In the stable regime,

$P$3

A functor is strictly polynomial of degree $P$4 if $P$5. Norm-Analytic Functor Calculus relaxes this via spectral polynomiality: $P$6 is spectrally polynomial of degree $P$7 if

$P$8

i.e., the $P$9-st cross-effect is spectrally negligible. The analytic norm criterion is: $\mathcal{M}$0 providing a robust operator-norm-based generalization of polynomial functors (Chang, 2 May 2026).

3. The Spectral Taylor Tower and Quantitative Convergence

For admissible $\mathcal{M}$1, there exists a universal spectral Taylor tower: $\mathcal{M}$2 where each $\mathcal{M}$3 is a spectral polynomial of degree $\mathcal{M}$4, characterized universally. Homogeneous layers are of the form

$\mathcal{M}$5

and, under additive splitting,

$\mathcal{M}$6

Spectral analyticity requires $\mathcal{M}$7 as $\mathcal{M}$8 for $\mathcal{M}$9 in a prescribed radius. Explicit quantitative convergence is achieved: if $P$0, then for $P$1 and $P$2,

$P$3

exhibiting exponential decay in $P$4 (Chang, 2 May 2026).

4. Spectral Derivatives, Operadic Modules, and the Chain Rule

The sequence of spectral derivatives,

$P$5

forms a symmetric sequence and, under compatibility, a right $P$6-module. For $P$7 strictly compatible with $P$8-algebra structures, these derivatives constitute an operad. The chain rule for derivatives of function composition is governed by operadic plethysm: $P$9 with

$\mathsf{Alg}_P(\mathcal{M})$0

mirroring the algebraic structure of the Faà di Bruno formula (Chang, 2 May 2026).

5. Reconstruction Theorem and Algebraic Classification

A spectrally analytic functor is uniquely determined by its derivative sequence and right $\mathsf{Alg}_P(\mathcal{M})$1-module structure. The reconstruction theorem asserts a categorical equivalence: $\mathsf{Alg}_P(\mathcal{M})$2 between the category of admissible, $\mathsf{Alg}_P(\mathcal{M})$3-compatible, spectrally analytic functors and the category of right $\mathsf{Alg}_P(\mathcal{M})$4-modules with exponential norm growth bounds. The inverse functor is the Taylor reconstruction functor,

$\mathsf{Alg}_P(\mathcal{M})$5

which recovers the original functor and its cross-effects. Thus, the classification of analytic functors is completely algebraic and quantitative (Chang, 2 May 2026).

6. Relation to Goodwillie Calculus and Comparative Examples

Norm-Analytic Functor Calculus extends and refines Goodwillie calculus by introducing explicit norm and spectral control:

• Radius of Analyticity: Classic Goodwillie convergence is governed by connectivity and homotopy-theoretic thresholds, whereas norm-analytic calculus employs the operator-norm radius $\mathsf{Alg}_P(\mathcal{M})$6.
• Convergence: Goodwillie convergence is qualitative (eventual homotopy equivalence); norm-analytic calculus gives exponential convergence rates.
• Chain Rule: The chain rule in Goodwillie calculus is only robust up to homotopy; norm-analytic calculus achieves an exact chain rule via plethysm.
• Classification: Goodwillie calculus only gives weak equivalences of towers, while norm-analytic calculus yields categorical equivalence via module structure.

Key examples include:

• Identity Functor: Stabilizes at first stage; higher derivatives vanish.
• Quadratic Functor $\mathsf{Alg}_P(\mathcal{M})$7: Second cross-effect is nontrivial; tower stabilizes at stage 2.
• Exponential Functor $\mathsf{Alg}_P(\mathcal{M})$8: $\mathsf{Alg}_P(\mathcal{M})$9-th derivative has norm $\sigma_P(A)$0; infinite radius of convergence.
• Geometric Series Functor $\sigma_P(A)$1: Radius 1; error mirrors the classical geometric series.

The Goodwillie tower of the norm functor in genuine equivariant stable homotopy theory matches these analytic concepts, with cross-effects and layers explicitly described via induced and coreduced functors, and analyticity verified through geometric fixed-points arguments (Konovalov, 2020).

7. Further Directions and Connections

Norm-Analytic Functor Calculus, by encoding functorial behavior through operadic spectrum and module structures, suggests deep connections with deformation theory, quantitative geometry, and enriched algebraic structures. It represents a unification of spectral, analytic, and operadic algebra tools for functor approximation and classification, and positions itself as a framework for differential-analytic calculus in normed and structured categorical settings (Chang, 2 May 2026).