Filtered Homotopy Groups

Updated 9 July 2026

Filtered homotopy groups are homotopy invariants computed relative to an auxiliary filtration, stratification, or map constraint, capturing extra structural details.
They appear in varied frameworks—such as Hodge-filtered spectra, stratified spaces, and persistence modules—offering refined classifications of topological data.
Their construction leverages diagrammatic techniques and controlled mapping conditions to detect subtle invariants that ordinary homotopy groups miss.

Searching arXiv for recent and foundational papers on filtered homotopy groups and closely related notions in stratified, Hodge-filtered, and persistence/stable settings. Filtered homotopy groups are homotopy invariants defined relative to an auxiliary filtration, stratification, or constrained class of maps, so that the resulting groups retain information discarded by ordinary homotopy groups. Across several distinct literatures, the phrase refers not to a single universal construction but to a family of related formalisms: homotopy groups of spectra equipped with Hodge or Adams-type filtrations, homotopy invariants of filtered or stratified spaces, constrained homotopy groups such as Lipschitz or transversal homotopy, and persistence-style homotopy groups of filtered topological objects. In each case, the central idea is that a homotopy class is recorded together with its position relative to a filtration parameter—cohomological degree, Hodge index, stratum, admissibility condition, cube filtration, or persistence parameter—yielding a refinement of ordinary homotopy theory (Hopkins et al., 2012, Douteau, 2019, Miller, 5 May 2025).

1. Filtered homotopy as a general pattern

The most basic paradigm starts with a tower or filtration

$\cdots \to E_{\mathcal D(p+1)} \to E_{\mathcal D(p)} \to E_{\mathcal D(p-1)} \to \cdots$

or a filtered space

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$

Homotopy groups taken levelwise then inherit an index $p$ or $r$ , and one studies the resulting system rather than a single group. In the Hodge-filtered setting of Hopkins–Quick, the filtration is encoded by truncations of complexes of forms and implemented by a homotopy pullback of spectra (Hopkins et al., 2012). In Douteau’s stratified setting, the filtration is encoded by a map to a poset $P$ , and filtered homotopy groups become diagrams of groups indexed by filtered simplices (Douteau, 2019, Douteau, 2018). In persistence-style stable homotopy, the filtration parameter is a real number $r$ , and one defines

$\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$

so the $r$ -th filtered homotopy group is literally the ordinary homotopy group of the $r$ -th layer (Miller, 5 May 2025).

A second recurring pattern is that filtered homotopy groups classify weak equivalences in the relevant model category. For filtered simplicial sets over a poset, weak equivalences are exactly the morphisms inducing isomorphisms on all filtered homotopy groups (Douteau, 2018, Douteau, 2019). For Hodge-filtered spectra, the long exact sequences and short exact sequences arising from the pullback model identify the filtered groups as extensions of Hodge classes by Jacobian-type tori (Hopkins et al., 2012). For homotopy group completions of topological monoids, the quotient

$\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$

gives a filtered description whenever $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 0 itself carries a natural filtration, such as degree or rank (Ramras, 2018).

This suggests a broad conceptual definition: filtered homotopy groups are homotopy groups computed in a category where maps, objects, or coefficients carry a compatible filtration, and where the filtration survives passage to homotopy classes. The specific algebraic form then depends on the ambient theory.

2. Hodge and spectral filtrations on homotopy groups

A highly developed instance appears in Hodge filtered generalized cohomology. Let $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 1 be a rationally even symmetric spectrum, so

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 2

Hopkins–Quick define a presheaf of symmetric spectra $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 3 by the homotopy pullback

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 4

Here $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 5 induces multiplication by $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 6 on $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 7, and the truncation $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 8 realizes the Hodge filtration (Hopkins et al., 2012). The resulting cohomology groups

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 9

can be read as homotopy classes into a filtered lift of $p$ 0. The paper does not formally define filtered homotopy groups as associated gradeds, but it explicitly exhibits a tower $p$ 1 whose homotopy groups are indexed by $p$ 2, and the details identify this as a filtration on homotopy-theoretic data (Hopkins et al., 2012).

For compact Kähler manifolds, there is a long exact sequence

$p$ 3

and in the diagonal degree one has the short exact sequence

$p$ 4

Here $p$ 5 is the subgroup of $p$ 6 mapping to Hodge classes, and $p$ 7 is a Jacobian-type complex torus (Hopkins et al., 2012). This identifies the filtered homotopy object as an extension of Hodge-theoretic and topological data.

The same paper extends the construction to smooth complex algebraic varieties using logarithmic forms and Deligne’s mixed Hodge theory. It proves $p$ 8-homotopy invariance, a projective bundle formula, and transfer maps along projective morphisms for $p$ 9, especially for logarithmic Hodge filtered complex bordism $r$ 0 (Hopkins et al., 2012). A plausible implication is that filtered homotopy groups here should be viewed as motivic-stable invariants endowed with a Hodge filtration.

Spectral filtrations also arise in computations of stable homotopy groups of spectra. In the computation of $r$ 1, the elliptic spectral sequence

$r$ 2

induces a filtration on $r$ 3 by the cohomological degree $r$ 4, and the associated graded is the $r$ 5-page (Konter, 2012). For tmf, the Adams–Novikov spectral sequence induces an Adams filtration on $r$ 6 (Konter, 2012). In a complementary framework, Kuhn develops the $r$ 7-based Adams filtration

$r$ 8

and proves that the generalized Hurewicz map is compatible with the augmentation ideal filtration on the target, via a lifting theorem involving Topological André–Quillen homology (Kuhn, 2014). The connectivity estimate

$r$ 9

for a class $P$ 0 of Adams filtration $P$ 1 in a $P$ 2-connected spectrum is a precise filtered vanishing theorem (Kuhn, 2014).

3. Stratified and filtered spaces over a poset

A second major meaning of filtered homotopy groups concerns spaces equipped with an explicit stratification or filtration over a poset. In Douteau’s framework, a filtered simplicial set over a fixed poset $P$ 3 is a simplicial set $P$ 4 equipped with a map

$P$ 5

and the category $P$ 6 admits a simplicial combinatorial model structure in which cofibrations are monomorphisms and fibrations are maps with the right lifting property against admissible horn inclusions (Douteau, 2018). The analogous thesis formulation describes filtered simplicial sets as presheaves on the category of filtered simplices $P$ 7, and filtered spaces as topological spaces $P$ 8 (Douteau, 2019).

For a fibrant filtered simplicial set $P$ 9 and a pointing $r$ 0, the filtered homotopy groups are defined as diagrams

$r$ 1

for $r$ 2, with the analogous pointed-set construction for $r$ 3 (Douteau, 2018). Thus filtered homotopy groups are not single groups but functors indexed by filtered simplices. Values on $r$ 4-simplices encode strata; values on $r$ 5-simplices encode holinks; higher simplices encode generalized holinks (Douteau, 2018).

This diagrammatic structure has the expected Whitehead property. For fibrant filtered simplicial sets, a map is a filtered homotopy equivalence if and only if it induces isomorphisms on all filtered homotopy groups (Douteau, 2018). The same philosophy is extended to filtered spaces via the adjunction

$r$ 6

and Douteau proves a filtered Whitehead theorem for filtered spaces under fibrancy hypotheses, especially for conically stratified or homotopically stratified spaces (Douteau, 2019, Douteau, 2018).

In the conically stratified case, the theory recovers a theorem of Miller: to understand the homotopy type of such a space, it suffices to understand the homotopy type of its strata and holinks (Douteau, 2018). This is precisely the information captured by the $r$ 7-skeleton of the filtered homotopy group diagram.

A related but distinct construction appears in intersection homotopy. Chataur and collaborators define, for a filtered space $r$ 8 with perversity $r$ 9, a Kan simplicial set $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 0 consisting of $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 1-full simplices, and then set

$\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 2

These intersection homotopy groups satisfy a Van Kampen theorem for $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 3, a Hurewicz theorem relating them to Goresky–MacPherson intersection homology, and topological invariance under intrinsic coarsening in the absence of exceptional strata (Chataur et al., 2022). For cones, they realize a Postnikov truncation: $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 4 This gives filtered homotopy groups a precise truncation-theoretic meaning in singular topology (Chataur et al., 2022).

4. Geometric and constrained variants

Several theories realize filtered homotopy groups by restricting admissible maps rather than filtering spaces or spectra. In the Heisenberg-group setting, the Lipschitz homotopy group $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 5 is defined exactly as the ordinary homotopy group, but only Lipschitz maps $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 6 and Lipschitz homotopies are allowed (Hajlasz et al., 2013). For smooth Riemannian manifolds this coincides with ordinary homotopy, but for sub-Riemannian targets such as the Heisenberg group $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 7, classical homotopy groups vanish while nontrivial Lipschitz homotopy groups appear (Hajlasz et al., 2013).

The analytic filter is the rank bound on Lipschitz maps $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 8: $\pi_k^r(X) := [S^k_0,X](r) \cong \pi_k(X(r)),$ 9 This constraint is invisible in classical homotopy theory and leads to the notion of rank-essential homotopy classes of spheres. The paper proves that if $r$ 0 is rank-essential, then

$r$ 1

and in particular

$r$ 2

for all $r$ 3 (Hajlasz et al., 2013). The generalized Hopf invariant used in the $r$ 4 case is defined for Lipschitz maps of low differential rank and is invariant under rank-bounded Lipschitz homotopies (Hajlasz et al., 2013). Here filtered homotopy means homotopy theory constrained by quantitative regularity.

Transversal homotopy monoids provide another geometric variant. For a Whitney stratified manifold $r$ 5, the $r$ 6-th transversal homotopy monoid $r$ 7 consists of based transversal maps modulo homotopies through transversal maps (Smyth, 2011). Because transversality cannot generally be preserved under reversal, one obtains a monoid rather than a group. For the standard stratification

$r$ 8

Smyth identifies $r$ 9 with isotopy classes of filtrations

$r$ 0

such that each $r$ 1 is a closed submanifold of codimension $r$ 2, each normal bundle $r$ 3 is an orientable real $r$ 4-plane bundle, and

$r$ 5

This construction may be read as a filtered homotopy invariant in which the target stratification is pulled back to a filtration of the domain (Smyth, 2011).

Brown’s theory of filtered spaces and crossed complexes supplies an older nonabelian perspective. Given a filtered space

$r$ 6

the crossed complex $r$ 7 packages the relative homotopy groups

$r$ 8

with boundary maps and $r$ 9-action (Brown, 2016). These relative groups are the filtered homotopy groups in a narrow sense, while the associated cubical $\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 0-groupoid is the broad model (Brown, 2016). The higher-dimensional Seifert–van Kampen theorem expresses $\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 1 as a coequalizer over an open cover under connectivity assumptions, giving a local-to-global theorem for filtered homotopy type (Brown, 2016).

5. Persistence and stable filtered homotopy

A recent stable-topological version treats filtration as a real-parameter persistence structure. A filtered pointed space consists of a pointed space $\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 2 together with an $\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 3-indexed family of pointed subspaces

$\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 4

satisfying basepoint compatibility, monotonicity, lower stabilization, and upper stabilization (Miller, 5 May 2025). Morphisms are filtered maps with a shift parameter, and the resulting category $\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 5 is a persistence category (Miller, 5 May 2025).

In this setting, with the zero-filtered sphere

$\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 6

the $\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 7-th filtered homotopy group at level $\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 8 is defined by

$\pi_k(\Omega BM) \cong [S^k,M]/\mathcal N_k(M)$ 9

The paper proves

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 00

so filtered homotopy groups are the ordinary homotopy groups of the layers, packaged into a persistence module by the inclusions $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 01 (Miller, 5 May 2025). A filtered CW approximation theorem shows that every filtered space is filtered weakly equivalent to a filtered CW complex whose levelwise inclusions are cellular (Miller, 5 May 2025).

This enables the definition of an Euler polynomial

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 02

where $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 03 is the filtration weight of the cell $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 04, and its derivative, the weighted Euler polynomial (Miller, 5 May 2025). These are filtered homotopy invariants. The same paper then constructs a persistence Spanier–Whitehead category $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 05, proves it is a triangulated persistence category, and shows

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 06

via the map

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 07

where $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 08 is a Novikov polynomial ring (Miller, 5 May 2025). A plausible implication is that stable filtered homotopy admits a decategorification analogous to the ordinary Euler characteristic, but refined by filtration weights.

Filtered spectra are defined similarly by $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 09-indexed filtrations by subspectra. The resulting filtered stable homotopy category is again a triangulated persistence category, and filtered stable homotopy groups can be read levelwise as $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 10 for a filtered spectrum $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 11 (Miller, 5 May 2025). Persistence homology arises as the special case of smashing with an Eilenberg–MacLane spectrum with zero filtration (Miller, 5 May 2025).

Several papers exhibit filtered homotopy groups as computable invariants rather than merely formal abstractions. In the relative James-construction approach, for a CW-pair $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 12, the filtration

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 13

has successive quotients

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 14

and the attaching maps are higher Whitehead products (Zhu et al., 2024). For mapping cones $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 15, the homotopy fiber of the pinch map is modeled by a relative James construction, so unstable homotopy groups are reconstructed from a filtration whose layers are smash products and whose attaching maps are higher-order Whitehead products (Zhu et al., 2024). The computation of $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 16 and $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 17 of mod $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 18 Moore spaces is an explicit application (Zhu et al., 2024).

In highly connected Poincaré duality complexes, cell-attachment filtrations and principal fibrations organize the loop-space homotopy groups into layers built from wedges of spheres and Moore spaces, with relative Whitehead products generating the higher pieces (Beben et al., 2018). The resulting decompositions of $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 19 can be read as filtered descriptions of $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 20 (Beben et al., 2018).

For topological monoids, Ramras shows that under strong anchoredness hypotheses,

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 21

so any filtration on the monoid $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 22 induces a filtration on $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 23 (Ramras, 2018). This is applied to Lawson homology, where

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 24

and to deformation $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 25-theory of representation monoids, where rank filtrations and Bott-periodicity filtrations become filtrations on homotopy groups of the group completion (Ramras, 2018).

In algebraic contexts, Rodríguez Cirone identifies

$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 26

where $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 27 is the ind-algebra of polynomial functions on the $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 28-cube vanishing on the boundary (Cirone, 2018). The cube dimension $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 29, subdivision level, and stabilization by iterated $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 30-constructions in algebraic KK-theory produce natural graded and filtered structures (Cirone, 2018).

There are also constructive and type-theoretic perspectives. The HoTT treatment of homotopy groups of spheres emphasizes gradings by dimension and filtrations by stability range, with Freudenthal suspension, the James construction, the Hopf invariant, and the Gysin sequence functioning as filtration mechanisms on unstable homotopy groups (Brunerie, 2016). This suggests that filtered homotopy groups need not always require an external filtration on a space; they may also arise from internal stability or cohomological complexity.

A concise comparison of major frameworks is useful.

Framework	Filtering parameter	Resulting invariant
Hodge filtered spectra	Hodge index $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 31	$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 32, $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 33, extensions by Hodge classes and Jacobians (Hopkins et al., 2012)
Stratified spaces over $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 34	Poset of strata, filtered simplices	Diagram-valued groups $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 35 (Douteau, 2018, Douteau, 2019)
Intersection homotopy	Perversity $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 36	$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 37 from Gajer spaces (Chataur et al., 2022)
Lipschitz/transversal homotopy	Admissible regularity or transversality	$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 38, transversal homotopy monoids (Hajlasz et al., 2013, Smyth, 2011)
Persistence/stable filtered topology	Real parameter $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 39	$X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 40 (Miller, 5 May 2025)
Spectral sequence filtrations	Adams or elliptic filtration degree	Filtered $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 41, $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 42 (Kuhn, 2014, Konter, 2012)

A common misconception is that filtered homotopy groups are always just ordinary homotopy groups of filtration layers. That is true in the persistence-style theory of filtered spaces (Miller, 5 May 2025), but false in stratified or Hodge-filtered theories, where the invariant can be a diagram of groups or homotopy groups of a filtered spectrum rather than a single layerwise group (Hopkins et al., 2012, Douteau, 2018). Another misconception is that filtering necessarily weakens homotopy invariants. In many examples it strengthens them: Lipschitz homotopy distinguishes Heisenberg groups from Euclidean space despite classical contractibility (Hajlasz et al., 2013), and filtered homotopy groups distinguish stratified pseudomanifolds with identical intersection homology (Douteau, 2018).

The field therefore has no single canonical definition, but the various theories converge on one principle: filtered homotopy groups refine homotopy by recording how classes are created, constrained, or located relative to a filtration. That refinement can be Hodge-theoretic, spectral, stratified, persistence-theoretic, geometric, or algebraic, but in each case it produces a homotopy invariant sensitive to structure invisible to ordinary $X_0 \subseteq X_1 \subseteq \cdots \subseteq X.$ 43.