Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A \hookrightarrow X$ is a cofibration, or that $(X,A)$ is a neighborhood deformation retract (NDR) pair. All maps $f:(X,A) \to (Y,B)$ are continuous and satisfy $f(A) \subset B$.

Consider a sequence $\mathcal{S}$ given by: $$\ldots \to (X_{n-1},A_{n-1}) \stackrel{d_{n-1}}{\to} (X_n,A_n) \stackrel{d_n}{\to} (X_{n+1},A_{n+1}) \to \ldots$$ so that $d_n \circ d_{n-1}(X_{n-1}) \subset A_{n+1}$ for each $n$.

Has this object been defined and studied? If so, where?

One can associate to this sequence of space-pairs a "homology" which takes values in the category of space-pairs. That is, define $$\mathcal{HT}_n(\mathcal{S}) = \left(d_n^{-1}(A_{n+1}),d_{n-1}(X_{n-1})\right).$$ The construction is functorial if one considers the obvious analogue of "chain maps" in the category which contains objects like $\mathcal{S}$. I'm wondering if basic definitions and properties, etc. of this or related constructions have been set down somewhere.

  • 2
    $\begingroup$ Where did you meet this structure? In a concrete problem or just out of curiosity? $\endgroup$ – Johannes Ebert Jun 22 '13 at 9:33
  • 2
    $\begingroup$ Johannes: somewhere in between. I'd call it concretely-motivated curiosity. My thesis work involved simplifying a filtered cell complex via discrete Morse theory in a way that preserved algebraic topological invariants (persistent homology groups). As such, I find the process of constructing massive chain groups and then taking a huge quotient somewhat inefficient, and was wondering if there is a "compact representation" (both words used non-technically) of some object in the category of topological spaces itself from which one could derive the invariants whenever necessary. $\endgroup$ – Vidit Nanda Jun 22 '13 at 10:22
  • 2
    $\begingroup$ @Vidit: You mention a "filtered cell complex". The book "Nonabelian algebraic topology" (2011) see my web page, pages.bangor.ac.uk/~mas010/nonab-a-t.html , builds algebraic topology directly from filtered spaces, via homotopically defined functors. Problem 16.1.17 is about relating these methods to Morse Theory. $\endgroup$ – Ronnie Brown Jun 22 '13 at 10:48
  • 2
    $\begingroup$ Ronnie, I'm not sure I see an "obvious" bifiltration anywhere in this question. Could you explain why that would be the natural thing to do? I am happy to discuss this via email if things get too intricate for comment boxes. $\endgroup$ – Vidit Nanda Jun 23 '13 at 15:57
  • 1
    $\begingroup$ @ViditNanda This is two years old by now. Did you make any progress? $\endgroup$ – Sebastian Goette Nov 11 '15 at 7:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.