--- title: Filtered Homotopy Groups url: https://www.emergentmind.com/topics/filtered-homotopy-groups type: topic --- # Filtered Homotopy Groups 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 [1212.2173], [1908.01366], [2505.02772]. ## 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 [1212.2173]. 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 [1908.01366], [1801.04797]. 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 [2505.02772]. 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 [1801.04797], [1908.01366]. 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 [1212.2173]. 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 \(M\) itself carries a natural filtration, such as degree or rank [1807.02613]. 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 \(E\) be a rationally even symmetric spectrum, so \[ \pi_j(E)\otimes \mathbb C = 0 \quad \text{for all odd } j. \] Hopkins–Quick define a presheaf of symmetric spectra \(E_{\mathcal D(p)}\) by the homotopy pullback \[ \begin{tikzcd} E_{\mathcal D(p)} \arrow[r] \arrow[d] & E \arrow[d, "\tau"] \\ H(\Omega^{*\ge p}(\pi_{2*}E\otimes \mathbb C)) \arrow[r] & H(\Omega^*(\pi_{2*}E\otimes \mathbb C)). \end{tikzcd} \] Here \(\tau\) induces multiplication by \((2\pi i)^n\) on \(\pi_{2n}\), and the truncation \(\Omega^{*\ge p}\) realizes the Hodge filtration [1212.2173]. The resulting cohomology groups \[ E^n_{\mathcal D(p)}(X) \] can be read as homotopy classes into a filtered lift of \(E\). The paper does not formally define filtered homotopy groups as associated gradeds, but it explicitly exhibits a tower \(E_{\mathcal D(p)}\) whose homotopy groups are indexed by \(p\), and the details identify this as a filtration on homotopy-theoretic data [1212.2173]. For compact Kähler manifolds, there is a long exact sequence \[ \cdots \to H^{n-1}(X;\pi_{2*}E\otimes \mathbb C) \to E^n_{\mathcal D(p)}(X) \to E^n(X)\oplus H^n(X;\Omega^{*\ge p}(\pi_{2*}E\otimes \mathbb C)) \to H^n(X;\pi_{2*}E\otimes \mathbb C)\to \cdots, \] and in the diagonal degree one has the short exact sequence \[ 0 \to J_E^{2p-1}(X) \to E^{2p}_{\mathcal D(p)}(X) \to \mathrm{Hdg}_E^{2p}(X)\to 0. \] Here \(\mathrm{Hdg}_E^{2p}(X)\) is the subgroup of \(E^{2p}(X)\) mapping to Hodge classes, and \(J_E^{2p-1}(X)\) is a Jacobian-type complex torus [1212.2173]. 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 \(\mathbb A^1\)-homotopy invariance, a projective bundle formula, and transfer maps along projective morphisms for \(E_{\log}(p)\), especially for logarithmic Hodge filtered complex bordism \(MU_{\log}\) [1212.2173]. 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 \(\pi_*(Tmf)\), the elliptic spectral sequence \[ H^q(\overline{\mathcal M}_{ell},\omega^{\otimes p}) \Rightarrow \pi_{2p-q}(Tmf) \] induces a filtration on \(\pi_*(Tmf)\) by the cohomological degree \(q\), and the associated graded is the \(E_\infty\)-page [1212.3656]. For tmf, the Adams–Novikov spectral sequence induces an Adams filtration on \(\pi_*(tmf)\) [1212.3656]. In a complementary framework, Kuhn develops the \(R\)-based Adams filtration \[ F^s\pi_*(X)=\operatorname{im}\{\pi_*(X(s))\to \pi_*(X)\} \] 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 [1403.7501]. The connectivity estimate \[ |a| \mathrm D\overline p(v). \end{cases} \] This gives filtered homotopy groups a precise truncation-theoretic meaning in singular topology [2211.06096]. ## 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_m^{Lip}(X)\) is defined exactly as the ordinary homotopy group, but only Lipschitz maps \(S^m\to X\) and Lipschitz homotopies are allowed [1301.4978]. For smooth Riemannian manifolds this coincides with ordinary homotopy, but for sub-Riemannian targets such as the Heisenberg group \(H_n\), classical homotopy groups vanish while nontrivial Lipschitz homotopy groups appear [1301.4978]. The analytic filter is the rank bound on Lipschitz maps \(f:\Omega\subset \mathbb R^k\to H_n\): \[ \operatorname{rank} df\le n \quad \text{a.e.} \] 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 \(\pi_m(S^n)\) is rank-essential, then \[ \pi_m^{Lip}(H_n)\neq 0, \] and in particular \[ \pi_n^{Lip}(H_n)\neq 0,\qquad \pi_{4n-1}^{Lip}(H_{2n})\neq 0 \] for all \(n\ge 1\) [1301.4978]. The generalized Hopf invariant used in the \(4n-1\) case is defined for Lipschitz maps of low differential rank and is invariant under rank-bounded Lipschitz homotopies [1301.4978]. Here filtered homotopy means homotopy theory constrained by quantitative regularity. Transversal homotopy monoids provide another geometric variant. For a Whitney stratified manifold \(X\), the \(n\)-th transversal homotopy monoid \(\psi_n(X)\) consists of based transversal maps modulo homotopies through transversal maps [1104.1325]. Because transversality cannot generally be preserved under reversal, one obtains a monoid rather than a group. For the standard stratification \[ \mathbb{CP}^0\subset \mathbb{CP}^1\subset\cdots\subset \mathbb{CP}^k, \] Smyth identifies \(\psi_n(\mathbb{CP}^k)\) with isotopy classes of filtrations \[ X_0\subset X_1\subset\cdots\subset X_k=S^n \] such that each \(X_i\) is a closed submanifold of codimension \(2k-2i\), each normal bundle \(N_{X_i\subset X_{i+1}}\) is an orientable real \(2\)-plane bundle, and \[ e(N_{X_i\subset X_{i+1}})=[X_{i-1}]\in H^2(X_i;\mathbb Z). \] This construction may be read as a filtered homotopy invariant in which the target stratification is pulled back to a filtration of the domain [1104.1325]. Brown’s theory of filtered spaces and crossed complexes supplies an older nonabelian perspective. Given a filtered space \[ X_0\subseteq X_1\subseteq \cdots \subseteq X, \] the crossed complex \(\Pi(X_*)\) packages the relative homotopy groups \[ \pi_n(X_n,X_{n-1},x),\quad n\ge 2, \] with boundary maps and \(\pi_1\)-action [1610.07421]. These relative groups are the filtered homotopy groups in a narrow sense, while the associated cubical \(\omega\)-groupoid is the broad model [1610.07421]. The higher-dimensional Seifert–van Kampen theorem expresses \(\Pi(X_*)\) as a coequalizer over an open cover under connectivity assumptions, giving a local-to-global theorem for filtered homotopy type [1610.07421]. ## 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 \(X\) together with an \(\mathbb R\)-indexed family of pointed subspaces \[ F_X=\{X(r)\xhookrightarrow{i_r} X\}_{r\in\mathbb R} \] satisfying basepoint compatibility, monotonicity, lower stabilization, and upper stabilization [2505.02772]. Morphisms are filtered maps with a shift parameter, and the resulting category \(FTop_*\) is a persistence category [2505.02772]. In this setting, with the zero-filtered sphere \[ S^k_0(r)= \begin{cases} S^k & r\ge 0,\\ * & r<0, \end{cases} \] the \(k\)-th filtered homotopy group at level \(r\) is defined by \[ \pi_k^r(X):=[S^k_0,X](r). \] The paper proves \[ \pi_k^r(X)\cong \pi_k(X(r)), \] so filtered homotopy groups are the ordinary homotopy groups of the layers, packaged into a persistence module by the inclusions \(X(r)\hookrightarrow X(s)\) [2505.02772]. A filtered CW approximation theorem shows that every filtered space is filtered weakly equivalent to a filtered CW complex whose levelwise inclusions are cellular [2505.02772]. This enables the definition of an Euler polynomial \[ \hat\chi_{\mathrm{CW}(X)}=\sum_{a\in \mathrm{Cells}_*(X)}(-1)^{|a|}t^{w(a)}, \] where \(w(a)\) is the filtration weight of the cell \(a\), and its derivative, the weighted Euler polynomial [2505.02772]. These are filtered homotopy invariants. The same paper then constructs a persistence Spanier–Whitehead category \(PSW\), proves it is a triangulated persistence category, and shows \[ K(PSW_0)\cong \Lambda_P \] via the map \[ [(X,n)]\mapsto (-1)^n\hat\chi_{\mathrm{CW}(X)}, \] where \(\Lambda_P\) is a Novikov polynomial ring [2505.02772]. 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 \(\mathbb R\)-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 \(\pi_n(E(r))\) for a filtered spectrum \(E\) [2505.02772]. Persistence homology arises as the special case of smashing with an Eilenberg–MacLane spectrum with zero filtration [2505.02772]. ## 6. Computational frameworks, examples, and related directions Several papers exhibit filtered homotopy groups as computable invariants rather than merely formal abstractions. In the relative James-construction approach, for a CW-pair \(A\hookrightarrow X\), the filtration \[ J_1(X,A)\subset J_2(X,A)\subset\cdots \] has successive quotients \[ J_n(X,A)/J_{n-1}(X,A)\cong X\wedge A^{\wedge(n-1)}, \] and the attaching maps are higher Whitehead products [2402.07072]. For mapping cones \(C_f\), 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 [2402.07072]. The computation of \(\pi_5\) and \(\pi_6\) of mod \(2^r\) Moore spaces is an explicit application [2402.07072]. 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 [1812.05344]. The resulting decompositions of \(\Omega M\) can be read as filtered descriptions of \(\pi_*(\Omega M)\) [1812.05344]. For topological monoids, Ramras shows that under strong anchoredness hypotheses, \[ \pi_k(\Omega BM)\cong [S^k,M]/\mathcal N_k(M), \] so any filtration on the monoid \(M\) induces a filtration on \(\pi_k(\Omega BM)\) [1807.02613]. This is applied to Lawson homology, where \[ L_pH_k(X)\cong [S^{k-2p},\mathcal C_p(X)]/\pi_0(\mathcal C_p(X)), \] and to deformation \(K\)-theory of representation monoids, where rank filtrations and Bott-periodicity filtrations become filtrations on homotopy groups of the group completion [1807.02613]. In algebraic contexts, Rodríguez Cirone identifies \[ \pi_n\operatorname{Hom}(A,B^\Delta)\cong [A,B^{S_n}], \] where \(B^{S_n}\) is the ind-algebra of polynomial functions on the \(n\)-cube vanishing on the boundary [1803.08087]. The cube dimension \(n\), subdivision level, and stabilization by iterated \(J\)-constructions in algebraic KK-theory produce natural graded and filtered structures [1803.08087]. 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 [1606.05916]. 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 \(p\) | \(E_{\mathcal D(p)}\), \(E_{\log}(p)\), extensions by Hodge classes and Jacobians [1212.2173] | | Stratified spaces over \(P\) | Poset of strata, filtered simplices | Diagram-valued groups \(s\pi_n\) [1801.04797], [1908.01366] | | Intersection homotopy | Perversity \(\overline p\) | \(\pi_n^{\overline p}(X)\) from Gajer spaces [2211.06096] | | Lipschitz/transversal homotopy | Admissible regularity or transversality | \(\pi_m^{Lip}(X)\), transversal homotopy monoids [1301.4978], [1104.1325] | | Persistence/stable filtered topology | Real parameter \(r\) | \(\pi_k^r(X)\cong \pi_k(X(r))\) [2505.02772] | | Spectral sequence filtrations | Adams or elliptic filtration degree | Filtered \(\pi_*(X)\), \(\pi_*(Tmf)\) [1403.7501], [1212.3656] | 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 [2505.02772], 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 [1212.2173], [1801.04797]. 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 [1301.4978], and filtered homotopy groups distinguish stratified pseudomanifolds with identical intersection homology [1801.04797]. 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 \(\pi_n\). Source: https://www.emergentmind.com/topics/filtered-homotopy-groups