Equivariant Homotopy Interleaving and Persistent Whitehead Theorem

Kushal Halder; Subhankar Sau; and Debasis Sen

In the authors' words

Let $G$ be a finite group. In this article, we develop some results of equivariant persistent homotopy theory for persistent $G$ -spaces. We introduce the notions of $G$ -stable and $G$ -homotopy invariant distances and define the $G$ -homotopy interleaving distance, an equivariant analogue $d_{H I}^{G}$ of the homotopy interleaving distance of Blumberg and Lesnick. We prove that this distance $d_{H I}^{G}$ is $G$ -stable and $G$ -homotopy invariant and establish its universality by showing that it dominates any such distance. We further prove a version of equivariant persistent Whitehead theorem relating interleavings of equivariant persistent homotopy groups to $G$ -homotopy interleavings of persistent $G$ -spaces. We also prove an equivariant persistent nerve lemma for equivariant good covers of persistent $G$ -spaces. As a consequence, we obtain an equivariant weak law of large numbers for filtrations, providing a homotopy-theoretic consistency result for random filtrations equipped with finite group of symmetries.

Main resultThe abstract does not state a limitation.

Equivariant Homotopy Interleaving and Persistent Whitehead Theorem

In the authors' words

More on Geometry & topology that day

Fractional illumination and the optimal exponential rate in Hadwiger's covering conjecture

Nonsmoothable Embedded Surfaces in 4-Manifolds That Become Smoothable after a Single Stabilization

Quasihyperbolic domains are CAT(2)

Chain-level decoupling of the physical heterotic G2​ deformation complex at the standard embedding

A Differential-Geometric Framework for Risk-Optimal Asset Reallocation

Chain-level decoupling of the physical heterotic $G_{2}$ deformation complex at the standard embedding