Contents

cohomology

# Contents

## Idea

In the context of persistent homology, the well group (EMP 11) of a continuous function $f$ into a metric space is a homological measure of how robust the level sets of $f$ are against deformations of $f$. Concretely, the Well group at radius $r$ of a given point in the codomain consists of all those Čech homology-classes of the domain which are reflected in the level sets of every continuous function whose values differ from those of $f$ at most by $r$.

As the level varies, the collection of well groups form a zigzag persistence module, also called a well module (EMP 11, Sec. 3).

Since a well group becomes trivial as soon as one of the level sets is empty, the non-triviality of a well group proves that the existence of a non-empty level set of $f$ is robust within deformations of size $\lt r$. In topological data analysis this may be used to detect if there are guaranteed to be any data points at all meeting a certain target of indicator values, known with limited precision, see there for more.

But well groups are known not to resolve all relevant cases and are not known to be computable in all relevant cases (Franek & Krčál 2016). An enhancement of well groups (from homology to cohomotopy) which fixes these problems is persistent cohomotopy (Franek & Krčál 2017, 2018).

## Definition

Given a continuous function $f$ to a Euclidean space and a choice of topological subspace $A$ of the latter

$\array{ f^{-1}(A) &\subset & X \\ \downarrow && \big\downarrow {}^{\mathrlap{f}} \\ A &\subset& \mathbb{R}^n }$

the well groups at radius $r \in (0,\infty)$ are the intersections of the Čech homology groups of the pre-images $g^{-1}(A) \subset X$ for all continuous functions $X \overset{g}{\to} \mathbb{R}^n$ whose maximal distance from $f$ is $\left \vert g-f\right \vert \leq r$.

$W_\bullet(f,r) \;\coloneqq\; \underset{ {X \overset{g}{\to} \mathbb{R}^n} \atop {\left \vert g-f\right \vert \leq r} }{\bigcap} image \Big( H_\bullet\big( g^{-1}(A) \big) \overset{ H_\bullet\big( g^{-1}(A) \subset X \big) }{\longrightarrow} H_\bullet \big( X \big) \Big)$

(e.g. Franek-Krčál 16, p. 2)

###### Remark

Since the preimages $g^{-1}(A)$ need not be CW-complexes, it is important to use Čech homology in the above definition. With singular homology the definition would trivialize (FK16, p. 3 and Sec. 2).

## References

The concept of well groups was introduced in

Review in:

Review, computational analysis and discussion of (persistent) Cohomotopy as an improvement over homology well groups:

Survey:

Last revised on May 23, 2022 at 12:32:19. See the history of this page for a list of all contributions to it.