---
title: 'Weiss Calculus: Manifold & Orthogonal Calculi'
url: https://www.emergentmind.com/topics/weiss-calculus
type: topic
---

# Weiss Calculus: Manifold & Orthogonal Calculi

Weiss calculus denotes a family of functor calculi associated with Michael Weiss and, in the manifold case, with Goodwillie and Weiss. In one standard usage it is the manifold calculus of contravariant functors on the poset of open subsets of a manifold; in another it is orthogonal calculus for functors out of finite-dimensional inner product spaces. In both usages the central constructions are polynomial approximations, Taylor towers, homogeneous layers, and derivatives, with classification theorems that replace an unstable functor by configuration-space data or spectra equipped with group actions [1005.1698] [1708.02642] [2508.03808].

## 1. Terminology and scope

The expression “Weiss calculus” is not completely uniform across the literature. “Manifold calculus,” “embedding calculus,” and “Weiss calculus” are used for the theory of contravariant functors
\[
F:\mathcal O(M)^{op}\to \mathsf{Top}
\]
on open subsets of a smooth manifold \(M\) [1305.6186] [1005.1698]. “Orthogonal calculus” is also described as Weiss calculus, especially for functors on finite-dimensional inner product spaces, and later work treats unitary calculus, calculus with Reality, and equivariant Weiss calculus as extensions of that framework [2508.03808] [2010.05948] [2410.12087].

| Variant | Source category | Characteristic layer/classification |
|---|---|---|
| Manifold calculus | \(\mathcal O(M)\), open subsets of a smooth manifold | homogeneous degree \(k\) functors via configuration spaces \(F_k(M)\) or \(\binom{U}{k}\) [1708.02642] [1005.1698] |
| Orthogonal calculus | \(\mathcal J^O\) or \(\mathrm{Vect}_\Bbbk\) | \(n\)-homogeneous functors via spectra with \(O(n)\)- or \(Aut(n)\)-action [2109.03500] [2508.03808] |
| Unitary and Reality variants | \(J_0^\mathbf U\), \(J_0^\mathbf R\) | homogeneous functors via \(U(n)\)- and \(C_2\ltimes U(n)\)-spectra [2010.05948] |
| Equivariant Weiss calculus | representations over the orbit category of a finite group \(G\) | homogeneous layers via orthogonal \(G\)-spectra [2410.12087] |

A distinct operator-theoretic usage also appears in the literature on generalized Weiss operators, where
\[
L_{n+1}=\prod_{j=0}^{n}\left[D+\left(j-\frac n2\right)V\right]
\]
is studied as a factorized differential operator on \(\mathbb R^d\) [1202.1721]. This suggests a separate usage of the name from the functor-calculus tradition.

## 2. Manifold calculus of functors

In manifold calculus one fixes a smooth manifold \(M\) and considers the poset-category \(\mathcal O(M)\) of open subsets with morphisms given by inclusions. A cofunctor is a contravariant functor
\[
F:\mathcal O(M)^{op}\to \mathcal M,
\]
with \(\mathcal M\) typically a simplicial model category [1708.02642]. The basic regularity hypothesis is that \(F\) be good: it is isotopy invariant, and for any increasing sequence \(U_0\subset U_1\subset \cdots\), the canonical map
\[
F\Big(\bigcup_i U_i\Big)\longrightarrow \operatorname*{holim}_i F(U_i)
\]
is a weak equivalence [1708.02642] [1005.1698].

Polynomiality is a higher excision condition. A cofunctor \(F\) is polynomial of degree \(\le k\) if for every \(U\in \mathcal O(M)\) and every collection of pairwise disjoint closed subsets \(A_0,\dots,A_k\subset U\), the canonical map
\[
F(U)\longrightarrow
\operatorname*{holim}_{\emptyset\neq S\subset \{0,\dots,k\}}
F\Big(U\setminus \bigcup_{i\in S}A_i\Big)
\]
is a weak equivalence [1708.02642]. The \(k\)-th Taylor approximation is defined by restriction to small open sets and homotopy right Kan extension:
\[
T_kF(U):=\operatorname*{holim}_{V\in \mathcal O_k(U)}F(V),
\]
where \(\mathcal O_k(M)\) is the full subposet of open subsets diffeomorphic to a disjoint union of at most \(k\) balls [1708.02642] [1005.1698]. The resulting tower
\[
F\to T_1F\to T_2F\to\cdots
\]
is the manifold-calculus Taylor tower.

A central structural theorem is that polynomial functors are determined by their values on small opens. Weiss proved this for \(\mathcal O_k(M)\), and Pryor showed that one can replace \(\mathcal O_k(M)\) by more general subposets \( \mathcal B_k(M)\) built from any good basis \(\mathcal B_1\) of ball-like opens without changing the notion of polynomial cofunctor [1305.6186]. Songhafouo Tsopméné and Stanley generalized this from spaces to arbitrary simplicial model categories, proving that a cofunctor is good and polynomial of degree \(\le k\) exactly when it is objectwise weakly equivalent to the homotopy right Kan extension of an isotopy cofunctor on \(B_k(M)\) [1708.02642].

Homogeneous functors isolate a single layer of the tower. If \(\mathcal M\) has a zero object, a cofunctor is homogeneous of degree \(k\) if it is good, polynomial of degree \(\le k\), and satisfies
\[
T_{k-1}F(U)\simeq 0
\quad\text{for all }U.
\]
The classification theorem identifies homogeneous degree \(k\) cofunctors on \(M\) with linear cofunctors on the unordered configuration space \(F_k(M)=\mathrm{conf}(k,M)\):
\[
F_k(\mathcal O(M);\mathcal M)\simeq F_1(\mathcal O(F_k(M));\mathcal M)
\]
[1708.02642]. In the exposition centered on compactly supported sections, homogeneous degree \(k\) functors are described as
\[
E(U)\simeq \Gamma^c\!\left(\binom{U}{k},Z;p\right),
\]
where \(p:Z\to \binom{M}{k}\) is a fibration and the fiber over a configuration is the \(k\)-th derivative of the functor [1005.1698].

## 3. Orthogonal calculus

In orthogonal calculus the source is geometric but linear rather than manifold-theoretic. One common formulation takes continuous functors
\[
E:\mathcal J^O\to \mathsf{Spaces}_*
\quad\text{or}\quad
E:\mathcal J^O\to \mathsf{Spectra},
\]
where \(\mathcal J^O\) is the category of finite-dimensional real inner product spaces and linear isometries [2109.03500]. Another formulation studies
\[
F:\mathrm{Vect}_\Bbbk\to \mathrm{Sp},
\]
where \(\Bbbk\) is \(\mathbb R,\mathbb C\), or \(\mathbb H\), and \(\mathrm{Vect}_\Bbbk\) is the category of finite-dimensional inner product spaces over \(\Bbbk\) and linear isometric embeddings [2508.03808].

The orthogonal Taylor tower is built from the endofunctors
\[
\tau_nF(V):=\holim_{0\neq U\subseteq \mathbb R^{n+1}}F(V\oplus U)
\]
in the real formulation, or by the equivalent limit condition
\[
F(V)\longrightarrow \lim_{0\neq U\subseteq \Bbbk^{d+1}}F(V\oplus U)
\]
in the spectrum-valued formulation [2010.05948] [2508.03808]. A functor is \(d\)-polynomial if this map is an equivalence for every \(V\), and the \(d\)-th approximation \(P_dF\) is the universal \(d\)-polynomial approximation. The corresponding homogeneous layer is
\[
D_dF:=\operatorname{fib}(P_dF\to P_{d-1}F).
\]

The classification of homogeneous layers is one of the defining results of the subject. In the real case, if \(E\) is \(n\)-homogeneous, then there is a spectrum \(\Theta E^{(n)}\) with \(O(n)\)-action such that
\[
D_nE(V)\simeq \Omega^\infty\Bigl(S^{n\cdot V}\wedge_{O(n)}\Theta E^{(n)}\Bigr)
\]
[2109.03500]. In the \(\Bbbk\)-linear formulation, \(d\)-homogeneous functors are classified by spectra with
\[
Aut(d)=\mathrm{Vect}_\Bbbk(\Bbbk^d,\Bbbk^d)\cong O(d),\,U(d),\,\mathrm{Sp}(d)
\]
action, depending on the field [2508.03808]. A basic recognition theorem is that \(F\) is \(d\)-polynomial if and only if its \((d+1)\)-st Weiss cross-effect vanishes [2508.03808].

This classification is concrete enough to support explicit derivative calculations. For the functor \(Bt:V\mapsto B\,\mathrm{Top}(V)\), the first derivative is rationally equivalent to \(A(*)\simeq K(\mathbb Z)\), and the second derivative is rationally equivalent to
\[
\Theta Bt^{(2)} \simeq_\mathbb Q \mathrm{Map}(S^1_+,\mathbb S^{-1})
\]
as an \(O(2)\)-spectrum [2109.03500].

## 4. Algebraic classifications and stable Weiss towers

Recent work has made the algebraic content of orthogonal calculus substantially more explicit. A Dwyer–Rezk-style classification identifies the \(\infty\)-category of \(d\)-polynomial functors with a small functor category:
\[
\mathrm{Poly}_d(\mathrm{Vect}_\Bbbk)\simeq \mathrm{Fun}(\mathrm{OEpi}_{\le d},\mathrm{Sp}),
\]
where \(\mathrm{OEpi}_{\le d}\) is the category of finite-dimensional inner product spaces of dimension at most \(d\) and orthogonal epimorphisms [2508.03808]. The same work proves the Morita-type description
\[
\mathrm{Poly}_d(\mathrm{Vect}_\Bbbk)\simeq \mathrm{Fun}(\mathrm{Vect}_{\Bbbk,\le d},\mathrm{Sp}),
\]
showing that every \(d\)-polynomial functor is recovered by left Kan extension from its values on \(\Bbbk^0,\dots,\Bbbk^d\) [2508.03808].

Homogeneous functors admit an equally compact description. The category of \(d\)-homogeneous functors is equivalent to Borel \(Aut(d)\)-spectra:
\[
\mathrm{Homog}_d(\mathrm{Vect}_\Bbbk)\simeq \mathrm{Sp}^{BAut(d)}.
\]
Equivalently, if \(\Theta\) is a Borel \(Aut(d)\)-spectrum, the associated homogeneous functor is
\[
\Bbbk^n \longmapsto \bigl(S^{\Bbbk^d\otimes \Bbbk^n}\wedge \Theta\bigr)_{hAut(d)}
\]
[2508.03808].

A further structural advance comes from Koszul duality and categorical Fourier transforms in stable Weiss calculus. The derivatives of a functor \(F:\mathsf{Vect}_\mathbb R\to\mathsf{Spec}\) are organized not merely as an orthogonal sequence \(\{\partial_nF\}\), but as a right module over the Koszul dual category \(K(\mathsf{OEpi})\) [2409.01335]. In that framework the \(\infty\)-category of \(n\)-polynomial functors is equivalent to the category of \(n\)-truncated coalgebras over a comonad on derivative modules:
\[
Poly^n(\mathsf{Vect}_\mathbb R,\mathsf{Spec})\simeq
CoAlg^{\le n}_{\partial_\ast\Phi}(\mathsf{RMod}_\mathcal C)
\]
[2409.01335]. The \(n\)-th polynomial approximation is described by a homotopy pullback square involving the linear fat diagonal \(\mathsf{DI}_n(V)\):
\[
\begin{CD}
P_nF(V) @>>> (S^{nV}/\mathsf{DI}_n(V)\wedge \partial_nF)_{hO(n)}\\
@VVV @VVV\\
P_{n-1}F(V) @>>> (\Sigma\mathsf{DI}_n(V)\wedge \partial_nF)_{hO(n)}.
\end{CD}
\]
The paper interprets the comparison with a “fake” tower in terms of generalized norm maps and \(O(n)\)-Tate theory [2409.01335].

## 5. Unitary, Reality, equivariant, local, and monoidal variants

Unitary calculus replaces real inner product spaces by complex ones. Its input category is \(J_0^\mathbf U\), the category of finite-dimensional complex inner product spaces and unitary embeddings, and an \(n\)-polynomial functor is defined by
\[
\tau_nF(V):=\holim_{0\neq U\subseteq\mathbb C^{n+1}}F(V\oplus U)
\]
[2010.05948]. Taggart’s model-categorical treatment constructs the \(n\)-polynomial model structure, the \(n\)-homogeneous model structure, the intermediate category \(U(n)E_n\), and Quillen equivalences
\[
n\homog E_0 \simeq_Q U(n)E_n \simeq_Q Sp^\mathscr{U}[U(n)] \simeq_Q Sp^\mathscr{O}[U(n)]
\]
[1911.08575]. Homogeneous unitary functors are classified by spectra with \(U(n)\)-action [2010.05948].

Calculus with Reality is a \(C_2\)-equivariant refinement built from the category \(J_0^\mathbf R\) of complexifications \(V_\mathbb C=\mathbb C\otimes V\), with complex conjugation giving the \(C_2\)-action [2010.05948]. Its homogeneous functors are classified by spectra with \(C_2\ltimes U(n)\)-action, and the fundamental recovery theorem states that for every functor with reality \(F\),
\[
R\big(i^*(\mathrm{Tow}(F))\big)\cong \mathrm{Tow}\big(R(i^*F)\big)
\]
[2010.05948]. A later comparison shows that orthogonal calculus is recovered from calculus with Reality “up to a shift” by a suitable \(C_2\)-fixed points functor, with
\[
c^\ast(T_n^R F)^{C_2}\simeq T_n^O(c^\ast F^{C_2})
\quad\text{and}\quad
c^\ast(D_n^R F)^{C_2}\simeq D_n^O(c^\ast F^{C_2})
\]
[2205.15660].

Equivariant Weiss calculus for a finite group \(G\) replaces dimensions by finite-dimensional \(G\)-representations. In this theory Taylor approximations and derivatives are indexed by representations, homogeneous layers are classified by orthogonal \(G\)-spectra, and the framework includes both restriction and fixed-point functors [2410.12087]. For a representation \(\alpha\), the \(\alpha\)-th derivative at infinity is an \(\alpha\)-system of orthogonal \(G\)-spectra with naive \(O(\alpha)\)-action, and \(\alpha\)-homogeneous functors are classified by a formula of the form
\[
({\bf L}_\alpha\Emr)_{G/H}(U)
\simeq
\Omega^{\infty}_{\iota_H(1)}\Big(
\big(S^{\iota_H(\alpha)\otimes U_\alpha}\wedge
{\bf \Theta}\Emr^{(\alpha)}(U_\alpha^\perp)\big)_{hO(\alpha)}
\Big)
\]
[2410.12087].

Two further refinements alter the target homotopy theory rather than the source. First, local orthogonal calculus constructs \(S\)-local polynomial and homogeneous model structures for a set \(S\) of maps, and proves that \(S\)-local \(n\)-homogeneous functors are equivalent to \(S\)-local spectra with \(O(n)\)-action [2109.13806]. Second, monoidal orthogonal calculus studies lax symmetric monoidal functors \(F:J\to S\) under Day convolution and proves that the Taylor approximations \(T_nF\) are again lax symmetric monoidal [2309.15058]. In that setting the derivative spectra carry \(O(n)\)-equivariant maps
\[
\Theta^nF\otimes \Theta^nF \to D_{O(n)}\otimes \Theta^nF,
\]
where
\[
D_{O(n)}\simeq S^{\mathrm{Ad}_n}
\]
is the Klein–Spivak dualising spectrum of \(O(n)\) [2309.15058].

## 6. Applications, convergence, and significance

The paradigmatic manifold-calculus application is the embedding functor
\[
U\mapsto \operatorname{Emb}(U,N).
\]
Its linear approximation satisfies
\[
T_1\operatorname{Emb}(U,N)\simeq \operatorname{Imm}(U,N),
\]
and the Taylor tower converges to \(\operatorname{Emb}(M,N)\) in codimension \(n-m-2>0\), with
\[
\operatorname{Emb}(M,N)\to T_k\operatorname{Emb}(M,N)
\]
\([k(n-m-2)+1-m]\)-connected [1005.1698]. The basis-independence theorem for special open sets means that these approximations can be computed using balls, cubes, simplices, or other convenient basis elements without changing their homotopy type [1305.6186].

In orthogonal calculus, derivative computations feed directly into geometric topology. The rational first two derivatives of \(Bt(V)=B\,\mathrm{Top}(V)\) determine the rational homotopy type of \(BTop(d)\) in a range and the rational homotopy groups of \(B\mathrm{Diff}_\partial(D^d)\) up to approximately \(\tfrac32 d\) [2109.03500]. The same paper identifies the rational concordance stable range of the disc by
\[
\phi(D^d)_\mathbb Q=d-4
\quad\text{for }d>9
\]
[2109.03500].

Equivariant Weiss calculus has also been used to produce stable splittings. An equivariant version of Weiss calculus yields a \(\mathbb Z/2\mathbb Z\)-equivariant stable splitting of \(\Omega U(V;W)\) for \(\dim(W)>0\), and by taking geometric fixed points one obtains a stable splitting of
\[
\Omega(U(V;W),O(V_{\mathbb R};W_{\mathbb R}))
\]
and in particular of \(\Omega(SU_n/SO_n)\) [1702.02928].

Taken together, these developments show that Weiss calculus is not a single theorem but a family of Taylor theories for functors in geometry and homotopy theory. In manifold calculus the basic local model is a union of balls inside a manifold; in orthogonal and unitary calculus it is stabilization by direct sum with low-dimensional vector spaces; in the equivariant theory it is stabilization by representations. This suggests a common structural role: Weiss calculus organizes how unstable geometric input is approximated by polynomial stages whose layers admit stable, equivariant, and often explicitly classifiable models [1708.02642] [2508.03808] [2410.12087].

Source: https://www.emergentmind.com/topics/weiss-calculus