---
title: Continuous Six-Functor Formalisms
url: https://www.emergentmind.com/topics/continuous-six-functor-formalisms
type: topic
---

# Continuous Six-Functor Formalisms

Continuous six-functor formalisms are six-functor formalisms equipped with additional descent and continuity conditions controlling how the fibers \(D(X)\) vary with the underlying space or stack and how the operations \(f^*, f_*, f_!, f^!, \otimes,\underline{\Hom}\) interact with gluing, limits, and colimits. In the locally compact Hausdorff setting, the central model is the assignment \(X\mapsto \mathrm{Shv}(X;\mathrm{Sp})\), and a principal structural result is that this formalism is initial among all continuous six-functor formalisms valued in dualizable presentable stable \(\infty\)-categories [2507.13537]. A subsequent characterization shows that every continuous six-functor formalism on \(\mathrm{LCH}\) is equivalent to \(\mathrm{Shv}(-,D(\mathrm{pt}))\), so the continuous theory on \(\mathrm{LCH}\) is, in a precise sense, exhausted by sheaf formalisms with coefficients in the value at a point [2606.10453].

## 1. Historical and conceptual background

The modern subject sits at the intersection of Grothendieck-style operations, higher category theory, and descent. In the derivator setting, a derivator six-functor-formalism on a category \(\mathcal S\) is defined as a strict morphism of pre-2-multiderivators
\[
p:D\to S^{\cor}
\]
that is simultaneously a left fibered multiderivator and a right fibered multiderivator, thereby encoding not only the six functors but also their interaction with homotopy Kan extensions [1701.02152]. The same framework emphasizes that one effectively obtains a “nine-functor-formalism,” since the adjoint structure and derivator enhancement internalize additional companions needed for descent and coherence [1701.02152].

A subsequent construction shows that derivator six-functor-formalisms can be built from compactifications starting from a derivator-enhanced four-functor formalism satisfying base-change and projection-formula axioms [1902.03625]. In that setting, the formalism is designed to encode all isomorphisms between compositions of the six functors and their compatibilities, and it is explicitly intended to extend to stacks using cohomological descent [1902.03625].

This earlier derivator work already isolates two themes that remain decisive in later “continuous” versions: first, the six operations are best organized on categories of correspondences rather than on ordinary morphisms alone; second, descent is not an accessory property but part of the definition of a usable formalism. Later work on locally compact Hausdorff spaces, rigid spaces, diamonds, and condensed or analytic contexts refines these ideas inside presentable stable \(\infty\)-categories.

## 2. Abstract structure of a six-functor formalism

On locally compact Hausdorff spaces one works with the Nagata context
\[
I=\{\text{open embeddings}\},\qquad P=\{\text{proper maps}\},
\]
and a six-functor formalism is expressed by a functor
\[
D:\Corr(\mathrm{LCH},E)^{\otimes}\to \Cat_\infty
\]
or, equivalently in another formulation, as a functor
\[
D:\mathrm{LCH}^{\op}\to Pr^L_{st},
\]
with each \(D(X)\) a closed symmetric monoidal stable \(\infty\)-category and each \(f:X\to Y\) inducing a colimit-preserving pullback \(f^*\) with right adjoint \(f_*\) [2507.13537] [2606.10453]. Open embeddings \(i\) are required to admit left adjoints \(i_!\), proper maps \(p\) are required to have \(p_*\) preserve colimits and hence admit the exceptional right adjoint \(p^!\), and the system must satisfy the standard base-change, projection-formula, and mixed Beck–Chevalley compatibilities [2606.10453].

In this formalism the six operations are
\[
f^*,\quad f_*,\quad f_!,\quad f^!,\quad \otimes,\quad \underline{\Hom}.
\]
For open and proper morphisms the characteristic compatibilities include
\[
i_!(A\otimes i^*B)\xrightarrow{\simeq} i_!A\otimes B,
\qquad
p_*(A)\otimes B\xrightarrow{\simeq} p_*(A\otimes p^*B),
\]
and for a Cartesian square with \(i,j\in I\) and \(p,q\in P\),
\[
j_!p_*\xrightarrow{\simeq} q_*i_!.
\]
These identities are the higher-categorical form of the usual projection and exchange laws [2606.10453].

A broader classification framework formulates a six-functor formalism on a geometric setup \((C,E)\) as a lax symmetric-monoidal functor
\[
D:\Corr(C,E)\to \Pr^-_X
\]
with adjoint pairs \(q_*\dashv q^!\) and \(p_!\dashv p^*\), together with closed monoidal structures [2507.13114]. This general language is designed to accommodate algebraic, topological, rigid-analytic, and motivic examples within a single correspondence-based architecture.

## 3. Continuity on locally compact Hausdorff spaces

The adjective “continuous” acquires a precise meaning on \(\mathrm{LCH}\). A continuous six-functor formalism in Zhu’s sense is a Nagata six-functor formalism valued in dualizable presentable stable \(\infty\)-categories, with colimit-preserving natural transformations, satisfying three additional axioms: canonical descent, profinite descent, and hyperdescent [2507.13537].

Canonical descent consists of localization and filtered-open continuity. For each closed inclusion with open complement one requires a Cartesian square in \(Cat_\infty^{ex}\), and for an increasing union \(U=\bigcup_i U_i\) one requires
\[
D(U)\simeq \lim_i D(U_i)
\]
along restriction functors [2507.13537]. Profinite descent requires that if \(X=\varprojlim_i X_i\) is a cofiltered limit of compact Hausdorff spaces, then
\[
D(X)\simeq \lim_i D(X_i),
\]
with transition maps given by pushforwards [2507.13537]. Hyperdescent requires that on hypercomplete spaces, equivalences are detected on stalks; equivalently, the product of the stalk functors \(\prod_{x\in X}x^*\) reflects equivalences [2507.13537].

Bunke and Volpe give a closely related axiomatization in terms of canonical descent, section-determinedness, finitariness, and dualizability of \(D(\mathrm{pt})\) [2606.10453]. Here section-determined means that evaluation on opens is jointly conservative, and finitary means that for a cofiltered system of compact Hausdorff spaces with limit \(X\),
\[
\colim_i D(X_i)\xrightarrow{\simeq} D(X).
\]
They prove that continuity in Zhu’s sense implies section-determinedness, so the two formulations are aligned at the level needed for characterization theorems [2606.10453].

A recurring point in the literature is that “continuity” is context-dependent. On \(\mathrm{LCH}\) it refers to these descent and point-detection axioms [2507.13537]. In rigid-analytic categories of nuclear sheaves, the same word is used for the fact that \(f^*,f_!,f_*,f^!\) preserve colimits and that pushforwards satisfy base-change and projection formulae [2605.21024]. On light condensed anima, continuity is expressed by requiring that \(D:(\CondAn^\light)^{\op}\to \Pr^L_\kappa\) preserve all limits [2511.17944].

## 4. Sheaf-theoretic realization and universal properties

For spectral sheaves on locally compact Hausdorff spaces, the six operations can be described explicitly. For a continuous map \(f:Y\to X\), the direct image
\[
f_*:\Shv(Y;\Sp)\to \Shv(X;\Sp),\qquad (f_*\mathcal F)(U)=\mathcal F(f^{-1}(U)),
\]
has a left adjoint \(f^*\) given on presheaves by left Kan extension along \(f^{-1}\) followed by sheafification [2507.13537]. For an open immersion \(i:U\hookrightarrow X\), one has extension by zero
\[
i_!:\Shv(U;\Sp)\rightleftarrows \Shv(X;\Sp):i^*,
\]
and Verdier duality produces the proper-pushforward and exceptional pullback [2507.13537]. These operations satisfy base-change, projection formula, and mixed Beck–Chevalley for open and proper morphisms [2507.13537].

The principal universal statement is that the assignment
\[
X\longmapsto \Shv(X;\Sp)
\]
is the initial object of the \(\infty\)-category \(6FF(\mathrm{LCH})^{cont}\) of continuous six-functor formalisms [2507.13537]. Equivalently, for any other continuous formalism \(D\), there is a unique colimit-preserving natural transformation
\[
[-]:\Shv(-;\Sp)\to D
\]
unique up to contractible choice [2507.13537]. This isolates spectral sheaves as the universal coefficient system among continuous six-functor theories on \(\mathrm{LCH}\).

The characterization theorem sharpens this result. If a six-functor formalism on \((\mathrm{LCH},I,P)\) has canonical descent, is section-determined, has finitary cohomology functor \(\Gamma^D(X)=p_{X,*}p_X^*(1)\), and \(D(\mathrm{pt})\) is dualizable, then
\[
D(-)\simeq \Shv\bigl(-,D(\mathrm{pt})\bigr)
\]
as six-functor formalisms [2606.10453]. In particular, every continuous six-functor formalism in Zhu’s sense is equivalent to a sheaf formalism with coefficients in the fiber over a point [2606.10453]. This removes a potential ambiguity: on \(\mathrm{LCH}\), continuous six-functor formalisms are not merely analogous to sheaf theories; they are characterized by sheaf theory.

The same universal perspective has consequences for invariants of coefficient categories. For any finitary continuous localizing invariant
\[
F^{cont}:Cat^{dual}_\infty\to \mathcal E
\]
and any continuous six-functor formalism \(D\), one has
\[
X\longmapsto F^{cont}(D(X))\simeq \Gamma_c\!\Bigl(X,\underline{\,F^{cont}(D(\mathrm{pt}))\,}\Bigr),
\]
so localizing invariants of continuous six-functor formalisms behave like compactly supported sheaf cohomology theories [2507.13537].

## 5. Extensions of the continuous formalism beyond spectral sheaves

A major extension on locally compact Hausdorff spaces replaces spectra by an arbitrary closed symmetric monoidal \(\infty\)-category \(C\) that is stable and bicomplete. In that setting, one obtains a self-contained six-functor formalism for \(C\)-valued sheaves, including \(f^*,f_*,f_!,f^!,\otimes,\Hom\), without assuming presentability and without restricting to hypercomplete sheaves [2110.10212]. The construction uses Lurie’s tensor product of cocomplete \(\infty\)-categories, covariant Verdier duality
\[
\mathbb D:\Shv(X;C)\simeq \CoShv(X;C),
\]
the strong dualizability of \(\Shv(X;\Spectra)\), and the identification
\[
\Shv(X;\Spectra)\otimes C\simeq \Shv(X;C)
\]
for stable bicomplete \(C\) [2110.10212]. The same work proves localization sequences without presentability and shows that if \(f\) induces a locally contractible geometric morphism, then \(f^!\) preserves colimits and is related to \(f^*\) by a smooth-pullback formula [2110.10212].

In analytic geometry, Montagnani studies the assignment
\[
X\mapsto \mathcal D(X)=\mathrm{Nuc}(X)\in Pr_{st}
\]
for derived rigid spaces and proves that it extends to a symmetric-monoidal 6-functor
\[
\Corr(\mathrm{dRig})_{qcqs,all}\to Pr_{st}
\]
with pullback, pushforward, exceptional pullback, exceptional pushforward, relative tensor, and enriched Hom [2605.21024]. Here \(f_!=f_*\), and for any \(f\), the functors \(f^*,f_!,f_*,f^!\) all preserve colimits; \(f_!\) and \(f_*\) satisfy base-change and projection formula; and pullbacks carry nuclear objects to nuclear objects [2605.21024]. This is a genuinely continuous six-functor theory in the sense relevant to presentable rigid-analytic coefficient categories.

For diamonds and \(v\)-stacks, a six-functor formalism is constructed for nuclear \(\Lambda\)-sheaves, where \(\Lambda\) is a nuclear \(\mathbb Z_\ell\)-algebra and prominent cases include \(\mathbb Z_\ell\), \(\mathbb Q_\ell\), and \(\overline{\mathbb Q}_\ell\) [2209.08135]. The categories \(D_{\mathrm{nuc}}(X,\Lambda)\) are presentable symmetric monoidal stable \(\infty\)-categories, \(f^*\) is exact and preserves all colimits, \(f_!\) exists for \(\ell\)-fine morphisms and preserves colimits, \(f^!\) is right adjoint to \(f_!\), and the formalism satisfies functoriality, projection formula, proper base-change, and Verdier duality [2209.08135]. The same paper emphasizes that a genuine six-functor formalism had been missing for non-torsion \(\ell\)-adic coefficients and that the nuclear formalism works integrally at the \(\mathbb Z_\ell\)-level and then inverts \(\ell\) to reach \(\mathbb Q_\ell\) or \(\overline{\mathbb Q}_\ell\) [2209.08135].

A parallel \(p\)-adic theory in rigid-analytic geometry constructs the stable symmetric-monoidal \(\infty\)-categories
\[
\mathcal D^a_\square(\mathcal O_X^+/\pi)
\]
on small \(v\)-stacks and develops \(f^*, f_*, f_!, f^!, \otimes,\underline{\Hom}\), together with proper base-change, projection formula, and duality [2206.02022]. The construction depends on condensed mathematics, solid almost modules, and descendable maps, and it is used to prove \(p\)-torsion Poincaré duality and a \(p\)-torsion Riemann–Hilbert correspondence [2206.02022].

The domain of universal continuous formalisms has also been enlarged from \(\mathrm{LCH}\) to light condensed anima. In that setting, the extension of
\[
\Shv(-;\Sp):\Corr(\CondAn^\light,E)^\otimes\to \Pr^{L,\otimes}_\kappa
\]
is initial among six-functor formalisms satisfying dualizability and point-conservativity on light profinite sets together with continuity on condensed anima [2511.17944]. This places Zhu’s universal result inside a broader condensed-geometric setting.

## 6. Duality, smoothness, and major applications

One of the central uses of continuous six-functor formalisms is the organization of duality. For sheaves on locally compact Hausdorff spaces with coefficients in a stable bicomplete closed symmetric monoidal \(\infty\)-category, the formalism supports covariant Verdier duality and expresses Atiyah duality internally [2110.10212]. If \(f:X\to Y\) is a proper submersion of smooth manifolds with relative tangent bundle \(T_f\), then
\[
f_!S_X\simeq \mathrm{Th}(-T_f),
\]
and in the global case \(a:X\to pt\) for a compact smooth manifold,
\[
a_!S_X\simeq \mathrm{Th}(-T_X),
\]
recovering classical Atiyah duality [2110.10212].

For spectral sheaves on locally compact Hausdorff spaces, the formalism provides a language for cohomological smoothness. If \(D\) satisfies a categorical Künneth formula
\[
D(X)\otimes_{D(Z)}D(Y)\longrightarrow D(X\times_ZY),
\]
then for a map \(f:X\to Y\) the existence of a \(D(Y)\)-linear left adjoint \(f_\sharp\) to \(f^*\), the condition that \(1_X\) is \(f\)-suave, and universal \(D\)-local contractibility are equivalent [2607.00236]. In this framework the relative dualizing object is \(\omega_f=f^!(1_Y)\), and if \(X\) is compact, \(R\)-smooth of homotopy dimension \(d\), one gets a Poincaré duality equivalence
\[
H^i(X;\mathcal F)\cong H_{d-i}\bigl(X;\mathcal F\otimes\omega_X^R\bigr)
\]
together with a Künneth formula for cohomology [2607.00236]. The same methods are applied to ANR homology manifolds, Spivak tangent fibrations, and generalizations of Wilder’s monotone mapping theorem [2607.00236].

In rigid-analytic geometry, the six-functor formalism on nuclear sheaves is used to define and study smooth and proper \(\infty\)-categories. A presentable stable \(\infty\)-category \(\mathcal C\) is smooth over \(P\) if the coevaluation admits a colimit-preserving right adjoint, proper over \(P\) if the evaluation admits a colimit-preserving right adjoint, and fully dualizable if both internally smooth and internally proper [2605.21024]. For a classical rigid variety \(X\), one has
\[
X\ \text{smooth}\iff \mathrm{Nuc}(X)\ \text{is internally smooth over}\ \mathrm{Nuc}(k),
\]
and for \(X\) smooth, proper, qcqs, separated over \(k\),
\[
X\ \text{is algebraizable}\iff \mathrm{Nuc}(X)\ \text{admits a single compact (= atomic) generator}
\]
[2605.21024]. The same paper constructs a smooth, proper, non-algebraizable rigid variety \(X\) for which \(\mathrm{Nuc}(X)\) is internally smooth but not atomically generated, giving a counterexample to naive extensions of “smooth \(\Rightarrow\) compactly generated” in the \(P\)-linear rigid-analytic setting [2605.21024].

The six-functor formalism also continues to serve as the operative background in adjacent theories. In motivic-stable settings such as \(SH(-)\), one has \(f^*, f_*, f_\#, f_!, f^!, \otimes,\underline{\mathrm{Hom}}\) under the usual geometric hypotheses, together with projection formula, base-change, and purity; these tools are used, for example, in the construction of \( \mathbb A^1\)-Euler classes, integrality statements, and local index formulas [2002.01848]. This suggests that continuous six-functor formalisms on topological and analytic spaces are part of a larger pattern in which descent-compatible duality data organize both cohomological operations and geometric invariants.

A central clarification emerging from the recent literature is therefore twofold. First, continuity is not merely a regularity condition on functors; it encodes localization, descent, and pointwise detectability. Second, on \(\mathrm{LCH}\) these conditions are rigid enough that the theory collapses to sheaf theory with coefficients in the fiber over a point [2507.13537] [2606.10453]. In other geometric settings the same paradigm persists, but with different ambient categories, coefficient objects, and continuity conditions.

Source: https://www.emergentmind.com/topics/continuous-six-functor-formalisms