$K$-theory of multiparameter persistence modules: Additivity

Abstract

Persistence modules stratify their underlying parameter space, a quality that makes persistence modules amenable to study via invariants of stratified spaces. In this article, we extend a result previously known only for one-parameter persistence modules to grid multiparameter persistence modules. Namely, we show the $K$-theory of grid multiparameter persistence modules is additive over strata. This is true for both standard monotone multi-parameter persistence as well as multiparameter notions of zig-zag persistence. We compare our calculations for the specific group $K_0$ with the recent work of Botnan, Oppermann, and Oudot, highlighting and explaining the differences between our results through an explicit projection map between computed groups.

1. Introduction

Persistent homology has become a central tool in topological data analysis (TDA). It has also been added to the toolbox of symplectic geometers, see for instance PRSZ20. The typical setting for persistent homology is that of a filtered topological space, $Y_\bullet$, and a field of coefficients, $\mathbb{F}$. The sequence of vector spaces and linear maps encoded by $H_\ast (Y_\bullet ; \mathbb{F})$ are then used to analyze the space $Y_\bullet$ and/or a dataset from which $Y_\bullet$ has been constructed. Persistence modules are a generalization of persistent homology in that they are simply a functorial assignment—say from filtered spaces—to a “reasonable” category $V$. Typical examples of “reasonable” categories include no condition, Abelian, or exact categories.

The filtered spaces, $Y_\bullet$, of persistence theory often arise by considering a dataset, fixing a parameter space, and deciding on a scheme which associates a space to each parameter value, e.g., the Čech or Vietoris–Rips complexes associated to a point cloud and a real number. In practice, our parameter space, $X$, is a manifold. If our parameter space is equipped with an embedding $X \hookrightarrow \mathbb{R}$, we are in the setting of one-parameter persistence. If our parameter space is embedded in $\mathbb{R}^d$, then we are in the setting of multiparameter persistence. Although $d$-dimensional Euclidean space is perhaps the typical embedding target, in general, an embedding into any manifold of dimension $d$ is a setting for $d$-parameter persistence.

One-parameter persistence is well understood and under reasonable hypotheses, there are complete, discrete, computable invariants. Multiparameter persistence is more subtle, and it is a charge of the community to find computable, descriptive invariants. See the original work of Carlsson and Zomorodian CZ09 or the more recent survey BL22.

Inspired by the works of Botnan, Oppermann, and Oudot BOO21, and our previous work GS21, we study the universal additive invariant of persistence modules: their algebraic $K$-theory. In the present, we use the same setup as in GS21, defining persistence modules as constructible cosheaves over the parameter space, which itself has been stratified by an “event stratification.” By imposing some mild hypotheses on our stratified parameter spaces, the category of such constructible cosheaves is equivalent to the category representations of the (combinatorial) entrance path category of our space. (See CP20 for a nice overview of this correspondence.) This category of representations—a functor category—has well-defined algebraic $K$-theory for nice target categories, e.g., modules over a commutative ring on pointed sets.

Note that, while persistence modules are most typically defined as representations of partially ordered sets (posets), we define stratified parameter spaces in a direction-free way. Roughly speaking, we keep track of “event times” as zero strata, but the data of how event times relate to one another is not explicitly stored in the stratification of a parameter space. Instead, we incorporate the poset structure of a persistence module into the assignments of morphisms out of the stratified parameter space; see GS21 for further insights into this perspective. One utility of this formalism is that it puts monotone persistence, zig-zag persistence, and their multiparameter generalizations on common footing.

Our main contributions in the present article are to:

(1)

Prove that the $K$-theory of multiparameter persistence (grid) modules is additive over the strata of the parameter space. This main result is Theorem 3.0.7. As an immediate corollary, we obtain the groups $K_0$ and $K_1$ for persistence modules valued in finite dimensional vector spaces over a field. Our result is a generalization of Theorem 4.1.6 of GS21 to the multiparameter setting.

(2)

For the groups $K_0$, compare our results with those of BOO21. In particular, while our $K_0$ is not isomorphic to the Grothendieck group of rank-exact persistence modules of Botnan, Oppermann, and Oudot, we do obtain an explicit comparison homomorphism. This comparison is the content of Section 4.1.

2. Background and conventions

2.1. Stratified spaces and entrance paths

Definition 2.1.1.

A stratified topological space is a triple $(Y \xrightarrow {\phi } \mathcal{P})$ consisting of

•

a paracompact, Hausdorff topological space, $Y$,

•

a poset $\mathcal{P}$, equipped with the upward closed topology, and

•

a continuous map $Y \xrightarrow {\phi } \mathcal{P}$.

Note that any topological space is stratified by the terminal poset consisting of a singleton set. Moreover, the simplices of a simplicial complex, $K$, come equipped with the structure of a poset, and we call the resulting stratification of $K$ the face stratification, which we denote by $\operatorname {\mathsf{Face}}(K)$ Sta91.

Definition 2.1.2.

Given a stratified topological space $\phi : Y \to \mathcal{P}$, and any $p \in \mathcal{P}$, the $p$-stratum, $Y_p$, is defined as

$$\begin{equation*} Y_p \coloneq \phi ^{-1}(p) \end{equation*}$$

Definition 2.1.3.

Let $X$ be a manifold with corners. A cubulation of $X$ is a covering by embedded cubes such that their interiors are disjoint and every nontrivial intersection of cubes consists of their common lower-dimensional (closed) face. A cubical manifold is a manifold (with corners) equipped with a (fixed) cubulation.

Analogous to simplicial complexes/combinatorial manifolds, cubical manifolds are naturally stratified by the face poset of the cubulation and we denote the resulting stratification by $\operatorname {\mathsf{Face}}(X)$.

Definition 2.1.4.

Let $X$ be a cubical manifold stratified by $\operatorname {\mathsf{Face}}(X)$. The combinatorial entrance path category $\mathsf{Ent}_\Delta (X)$ has as objects the strata of $X$ and a morphism $\sigma \to \tau$ whenever $\tau$ is a face of $\sigma$.

2.2. Grid modules

As noted above, we define our persistence modules as representations of the (combinatorial) entrance path category associated to a stratified parameter space.

Definition 2.2.1.

Let $X$ be a cubical manifold with its face stratification, $\mathsf{Ent}_\Delta (X)$ its combinatorial entrance path category, and $V$ any category. The category of $V$-valued persistence modules parameterized by $X$, $\mathsf{pMod}^{V}(X)$, is given by

$$\begin{equation*} \mathsf{pMod}^{V}(X)\coloneq \mathsf{Fun} (\mathsf{Ent}_\Delta (X),V). \end{equation*}$$

Hence, the $K$-theory of $V$-valued persistence modules (parametrized by $X$) is the $K$-theory spectrum (whenever it exists) of the category above: $\mathbb{K}(\mathsf{pMod}^{V}(X))$.

In what follows, we are interested in grid modules, i.e., those persistence modules parametrized by subspaces of cubulated $\mathbb{R}^d$. To that end, we need a few preliminary definitions.

Given a stratified space $A$, $Z$, and an embedding $A \hookrightarrow Z$, there is a stratification of $Z$ extending that on $A$ called the connected ambient stratification and the resulting stratified space is denoted $(Z,A)^{\wedgeonwedge }$. See Definition 2.1.11 of GS21 for details.

Definition 2.2.2 (Stratified $d$-parameter space and its entrance path category).

Let $\mathcal{I}= \{I_i\}_{i=1}^{i=d}$ be a collection of finite subsets of $\mathbb{R}$, so $I_i \subset \mathbb{R}$ is finite. Define the stratified space

$$\begin{equation*} (\mathbb{R}^d; \mathcal{I}) \coloneq \prod _{n=1}^d (\mathbb{R}, I_n)^{\wedgeonwedge }. \end{equation*}$$

Example 2.2.3 (Stratified two-parameter space and its stratifying set).

Consider the set of subsets $\mathcal{I}= \{\{0, 1, \dots , 6 \},\{0,1, \dots , 4\}\}$. These subsets then define a stratified space, $(\mathbb{R}^2; \mathcal{I})$, shown in Figure 2.1 as the large rectangular grid. This stratified space has 35 zero strata, 58 one-strata, and 24 two-strata corresponding to vertices, edges, and faces, respectively. Note that this means the stratifying poset of $(\mathbb{R}^d; \mathcal{I})$ then has $35+58+24 = 117$ objects.

Figure 2.1.

A cubical two-manifold (shaded) appearing as a substratified space of the stratified parameter space $(\mathbb{R}^2; \{\{0, 1, \dots , 6 \},\{0,1, \dots , 4\}\})$.

Note that any closed and bounded substratified space of $(\mathbb{R}^d;\mathcal{I})$ is naturally cubulated.

Definition 2.2.4 (Cubical grid manifold).

A cubical grid $d$-manifold is a cubical manifold of dimension $d$ that is embedded as a substratified space of $(\mathbb{R}^d; \mathcal{I})$ for some $\mathcal{I}$.

See Figure 2.1 for an instance of a cubical grid manifold.

2.3. Waldhausen $K$-theory

Dan Quillen, justifiably, received much recognition for defining higher algebraic $K$-theory via Abelian and exact categories. Some twenty years later, Friedhelm Waldhausen found a further generalization of Quillen’s setting in his work on the algebraic $K$-theory of spaces Wal85. Today, this setting is that of Waldhausen categories and exact functors between them. Here we recall, tersely, some key notions leading to Waldhausen’s Additivity Theorem. A modern introduction to this material can be found in FP19 or the encyclopedic Wei13.

Definition 2.3.1.

Let $\mathsf{A}, \mathsf{E}$, and $\mathsf{B}$ be Waldhausen categories. A sequence of exact functors

$$\begin{equation*} \mathsf{A}\xrightarrow {i} \mathsf{E}\xrightarrow {f} \mathsf{B} \end{equation*}$$

is exact if

(1)

The composition $f \circ i$ is the zero map to $\mathsf{B}$;

(2)

The functor $i$ is fully faithful; and

(3)

The functor $f$ restricts to an equivalence between $\mathsf{E}/ \mathsf{A}$ and $\mathsf{B}$.⁠¹

¹

Here, $\mathsf{E}/\mathsf{A}$ is the full subcategory of $\mathsf{E}$ on objects $e$ such that, for all $a \in \mathsf{A}$, the hom set $\mathsf{E}(i(a), e)$ is a point.

✖

A sequence, as above, is split if there exist exact functors

$$\begin{equation*} \mathsf{A}\xleftarrow {j} \mathsf{E}\xleftarrow {g} \mathsf{B} \end{equation*}$$

that are adjoint to $i$ and $f$ and such that the unit of the adjunction, $\mathrm{Id}_\mathsf{A}\Rightarrow j \circ i$, and the counit of the adjunction, $f \circ g \Rightarrow \mathrm{Id}_\mathsf{B}$, are natural isomorphisms.

Definition 2.3.2.

A split short exact sequence of Waldhausen categories

$$\begin{equation*} \vcenter{\img[][84pt][28pt][{\renewcommand{\arraystretch}{1} \setlength{\unitlength}{1.0pt} \begin{tikzcd} \sA\ar[r,"i"] & \sE\ar[r,"f"] \ar[l, bend left, "j"]& \sB\ar[l, bend left, "g"] \end{tikzcd}}]{Images/imga213319e20a0272991bdd3011faaada1.svg}} \end{equation*}$$

is standard if

(1)

For each $e \in \mathsf{E}$, the component of the counit, $(i \circ j)(e) \to e$, is a cofibration;

(2)

For each cofibration $e \hookrightarrow e'$ in $\mathsf{E}$, the induced map$$\begin{equation*} e \amalg _{(i \circ j)(e)} (i \circ j) (e') \to e' \end{equation*}$$

is a cofibration; and

(3)

If $a \to a' \to 0$ is a cofiber sequence in $\mathsf{A}$, then the first map is an isomorphism.

The following is one of the fundamental theorems of algebraic $K$-theory. It is known as Waldhausen Additivity.

Theorem 2.3.3.

Let

$$\begin{equation*} \vcenter{\img[][84pt][28pt][{\renewcommand{\arraystretch}{1} \setlength{\unitlength}{1.0pt} \begin{tikzcd} \sA\ar[r,"i"] & \sE\ar[r,"f"] \ar[l, bend left, "j"]& \sB\ar[l, bend left, "g"] \end{tikzcd}}]{Images/imga213319e20a0272991bdd3011faaada1.svg}} \end{equation*}$$

be a standard split SES of Waldhausen categories. Then the functors $i$ and $g$ induce an equivalence of spectra

$$\begin{equation*} \mathbb{K}(i) \vee \mathbb{K}(g) \colon \mathbb{K}(\mathsf{A}) \vee \mathbb{K}(\mathsf{B}) \xrightarrow {\sim } \mathbb{K}(\mathsf{E}). \end{equation*}$$

3. $K$-theory of grid modules

In this section we prove our main theorem, which is the multiparameter analog of Theorem 4.1.6 of GS21.

It is standard that the category of finitely generated, projective modules for a commutative ring defines a Waldhausen category. So too does the category of functors from a small category into this category of modules. (Some details are provided in Appendix A of GS21.)

Lemma 3.0.1.

Let $R$ be a commutative ring, $\mathcal{M}$ the associated Waldhausen category of finitely generated projective modules. Furthermore, let $X$ be a cubical manifold and let $A$ denote a closed sub-stratified space of $X$. Then the following sequence is split short exact sequence of Waldhausen categories

$$\begin{equation*} \vcenter{\img[][300pt][41pt][{\renewcommand{\arraystretch}{1} \setlength{\unitlength}{1.0pt} \begin{tikzcd} \mathsf{Fun} (\mathsf{Ent}_\Delta(X \setminus A),\cM)\ar[r, "j_\ast"] & \mathsf{Fun} (\mathsf{Ent}_\Delta(X),\cM) \ar[r, "i^\ast"] \ar[l, bend left, "j^\ast"] & \mathsf{Fun} (\mathsf{Ent}_\Delta(A),\cM) \ar[l, bend left, "i_\ast"], \end{tikzcd}}]{Images/img64a6bd5e076b0b2760722e643646a8d9.svg}} \end{equation*}$$

where $i \colon A \hookrightarrow X$ and $j \colon X \setminus A \hookrightarrow X$ are the inclusion maps. Moreover, this sequence is standard.

The argument for Lemma 3.0.1 is, mutatis mutandis, as for Lemma 4.1.1 of GS21.

Since the sequence in Lemma 3.0.1 is a standard split short exact sequence of Waldhausen categories, Waldhausen Additivity (Theorem 2.3.3) immediately gives us the following key corollary, which is the main tool we will use in our argument to“break apart and glue together” modules from submodules.

Corollary 3.0.2 ($K$-theory is additive over submodules).

Let $R$ be a commutative ring, $\mathcal{M}$ the associated Waldhausen category of finitely generated projective modules. Furthermore, let $X$ be a cubical manifold and let $A$ denote a closed sub-stratified space of $X$. Then we have an equivalence of spectra

$$\begin{equation*} \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (X)) \cong \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (X \setminus A)) \vee \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (A)). \end{equation*}$$

The following is a main result of GS21 (Lemma 4.1.4), and serves as a base case for our induction into multiparameter modules.

Lemma 3.0.3.

Let $X$ be a cubical one-manifold with a finite set of strata. There is an equivalence of spectra

$$\begin{equation*} \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (X)) \cong \bigvee _{x_0 \in X_0} \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (x_0)) \vee \bigvee _{x_1 \in X_1} \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (x_1)). \end{equation*}$$

where $X_i$ is the set of $i$-strata of $X$.

In proving the preceding result, we inducted on the number of zero-strata of $X$. In our multiparameter setting, we induct on an analogous notion: height.

Definition 3.0.4.

Let $\mathcal{I}= \{I_i\}_{i=1}^{i=d}$ be a collection of finite subsets of $\mathbb{R}$. We say the height of $\mathcal{I}$ is the maximum number of objects in any $I_n \in \mathcal{I}$.

Definition 3.0.5.

Given a cubical grid $d$-manifold $X$, we say the height of $X$ is the minimum height over all collections $\mathcal{I}$ such that $X \subseteq (\mathbb{R}^d; \mathcal{I})$. If the height of $X$ equals the number of objects in $I_n$, we say that the $n$th parameter realizes the height of $X$.

It is clear from the definition that in the one-parameter case, the height of $X$ is indeed just the number of zero-strata of $X$. In the general $d$-parameter case, height is a measure of the longest axis-aligned “slice,” although note that the height of $X$ may be realized in more than one parameter.

We are now ready to state our main result, the $K$-theory of multiparameter grid modules. The proof uses a double induction on the number of parameters and on the height of the module.

Theorem 3.0.6 ($K$-theory of multiparameter zig-zag modules).

Let $X$ be a cubical grid $d$-manifold with a finite number of strata. There is an equivalence of spectra

$$\begin{equation*} \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (X)) \cong \bigvee _{x_0 \in X_0} \mathbb{K}(\mathcal{M}) \vee \bigvee _{x_1 \in X_1} \mathbb{K}(\mathcal{M}) \vee \ldots \vee \bigvee _{x_d \in X_d} \mathbb{K}(\mathcal{M}) \end{equation*}$$

where $X_i$ is the set of $i$-strata of $X$.

Proof.

We proceed by double induction; first on $h$, the height of the persistence module, and then on $d$, the number of parameters. As a base case, we observe that Lemma 3.0.3 asserts the statement holds for $d=1$ and all $h$. Suppose that there exist $d_*, h_* \in \mathbb{N}$ so that the claim holds for all $1 \leq d \leq d_*$ and $1 < h \leq h_*$. ⁠²

²

Here, we make the inequality $h>1$ strict to avoid tautologies; a cubical manifold with height one is simply a point.

✖

Induction on height: First, we induct on the height of $X$. Suppose that $X$ is $d_*$-dimensional and has height $h_* + 1$. For simplicity, we first consider the case that, for some $j \in [1,d]$ only the $e_j$ parameter realizes the height $h_* +1$. Consider the closed $(d_*-1)$-parameter sub-stratified space $A$ corresponding to the poset $I_1 \times \ldots \times I_{j-1} \times m \times I_{j+1} \times \ldots I_d$. Conceptually, $A$ corresponds to a level-set of $X$ at height $m$, slicing through the parameter that realizes the maximum height. Then the connected components of $X \setminus A$ have height no more than $h_*$. Furthermore, note that $A$ has height no more than $h_*$. By the inductive hypothesis, the claim holds for the connected components of $X \setminus A$ as well as for $A$, so by Corollary 3.0.2, we see that the claim holds for all of $X$.

Next, consider the general case, i.e., the case that any number of parameters realize the height $h_*+1$. We describe the process of dividing $X$ into connected components each with height no more than $h_*$ algorithmically, using a stack data structure. Recall that, just like a stack of plates, a stack utilizes a “first on, first off” organization, where the element that was most recently pushed onto the stack is the element available to be popped off. Specifically, we use a stack, $T$, of “tall” connected components of this division that have height $h_*+1$, initialized to $T = X$. We keep track of a list $S$ of “short” connected components that have height less than $h_*+1$, initialized as empty. The procedure is as follows. First, we pop $X_i \in T$. Then, we choose a closed $(\dim (X_i)-1)$-parameter sub-stratified space, $A_i \subset X_i$, that is perpendicular to some parameter of $X_i$ that realizes height $h_*+1$. Note then that the connected components of $X_i \setminus A_i$ and $A_i$ may still have height $h_*+1$, but in one fewer parameter than $X_i$ had height $h_*+1$. We push the connected components of $X_i \setminus A_i$ and $A_i$ that have height $h_*+1$ back on the stack $T$ and move any connected components of this division with height less than $h_*+1$ to our list $S$. Since each processed element of $T$ has height $h_*+1$ in one fewer parameter direction than before it was processed, we eventually have $T$ empty and $S$ a division of $X$ into cubical grid manifolds for modules each with height less than $h_*+1$. See Figure 3.1. Noting that each time a sub-stratified space was removed, it was a closed subspace of the cubical manifold containing it, we “glue” back the pieces using Corollary 3.0.2, eventually showing the $K$-theory for persistence modules over all of $X$ is as claimed.

Induction on number of parameters: Next, we induct on the number of parameters. From our preceeding inductive argument, it is sufficient to let $X'$ be a cubical grid $(d_* +1)$-manifold with height two. This means $X'$ is a $(d_* +1)$-cube. Let $A'$ denote the $d_*$-skeleton of this cube (i.e., the boundary). Since $A'$ is a closed substratified space of $X'$, we know by Corollary 3.0.2 that we have an equivalence of spectra

$$\begin{align} \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (X')) \cong \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (X'\setminus A')) \vee \mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (A')). {\tag{1}} \end{align}$$

As we show below, the $K$-theory of $X'\setminus A'$, as this is a single $(d_* +1)$-strata (the interior of the cube). It remains, then, to compute the $K$-theory of persistence modules over $A'$. The space $A'$ has the geometric structure of the boundary of a $(d_*+1)$-cube, or, equivalently, a cube with no interior. By DDRW20, Theorem 3, it is always possible to remove a connected collection of codimension-two faces from such a cube so that what remains can be “unfolded.” Furthermore, such an unfolding will not self-overlap and will lie on grid points of space in one dimension lower⁠³.

³

In DDRW20, this is phrased as every ridge unfolding of a finite cube will produce a net, where the word “cube” is taken to mean a cube with empty interior.

✖

Thus, choose some connected collection of $(d_*-1)$-faces, denoted $U$, such that $A'\setminus U$ embeds into some $(\mathbb{R}^{d_*}; \mathcal{I})$. Thus, $A' \setminus U$ may be no more than a cubical grid $d_*$-manifold. Since $U$ corresponds to a subset of the boundary of the closure of $A'\setminus U$, $U$ may also be no more than a cubical grid $d_*$-manifold (see Figure 3.2). Thus, by the inductive hypothesis, the claim holds for $A' \setminus U$ as well as for $U$. Since Corollary 3.0.2 tells us the $K$-theory of $A'$ is additive over such a partition, we see that the claim holds for all of $A'$. Combining this with the equivalence in Equation 1, we have shown the desired result holds for all of $X$.

Next, we observe that since we have shown that the claim holding for a cubical grid $d$-manifold implies the claim holds for a cubical $(d+1)$-manifold with height two, and since, in the first half of the proof, we showed claim holds for cubical grid manifolds of any height, we have shown the desired result in full generality.

Finally, we identify the $K$-theory of components of the stratification, i.e., we identify $\mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (x_i))$ for $x_i \in X_i$ and $i \in \{1, \ldots , d\}$. By Definition 2.2.1, we have $\mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (x_i)) = \mathbb{K}(\mathsf{Fun} (\mathsf{Ent}_\Delta (x_i),\mathcal{M}))$. Since $\mathsf{Ent}_\Delta (x_i)$ is the terminal category (a single object and an identity morphism), $\mathsf{Fun} (\mathsf{Ent}_\Delta (x_i),\mathcal{M})$ is isomorphic to the category of $\mathcal{M}$ itself. Thus, $\mathbb{K}(\mathsf{pMod^{\mathcal{M}}} (x_i)) = \mathbb{K}(\mathcal{M})$.

■

We end this section by discussing how Theorem 3.0.6 translates to the specific case of $\mathsf{Vect}$-valued multiparameter persistence modules.

Theorem 3.0.7 ($K$-theory of $\mathsf{Vect}$-valued multiparameter modules).

Let $X$ be a cubical grid $d$-manifold with a finite number of strata. There is an equivalence of spectra

$$\begin{equation*} \mathbb{K}(\mathsf{pMod^{\mathsf{Vect}_\mathbb{F}}} (X)) \cong \bigvee _{X_0} \mathbb{K}(\mathbb{F}) \vee \bigvee _{X_1} \mathbb{K}(\mathbb{F}) \vee \ldots \vee \bigvee _{X_d} \mathbb{K}(\mathbb{F}) \end{equation*}$$

where $X_i$ is the set of $i$-strata of $X$ and $\mathbb{K}(\mathbb{F})$ denotes the $K$-theory spectrum of the field $\mathbb{F}$.

Proof.

Now, the category of finite dimensional vector spaces over $\mathbb{F}$ is exactly the category of finitely generated projective modules over $\mathbb{F}$ (considered as a ring). Hence, $\mathbb{K}(\mathsf{Vect}_\mathbb{F})$ is just the algebraic $K$-theory of $\mathbb{F}$.

Thus, we have shown the $K$-theory of each strata is a copy of $K(\mathbb{F})$. We know by Theorem 3.0.6 that $\mathbb{K}(\mathsf{pMod^{\mathsf{Vect}_\mathbb{F}}} (X))$ is additive over strata, so the result follows.

■

The first two $K$-groups of a field are well known. The following isomorphisms are induced by the dimension and determinant maps, respectively.

Corollary 3.0.8.

For $X$, a cubical grid $d$-manifold with a finite number of strata, we have

$$\begin{equation*} K_0(\mathsf{pMod^{\mathsf{Vect}_\mathbb{F}}} (X)) \cong \bigoplus _{X_0} \mathbb{Z}\oplus \bigoplus _{X_1} \mathbb{Z}\oplus \ldots \oplus \bigoplus _{X_d} \mathbb{Z} \end{equation*}$$

and

$$\begin{equation*} K_1(\mathsf{pMod^{\mathsf{Vect}_\mathbb{F}}} (X)) \cong \bigoplus _{X_0} \mathbb{F}^\times \oplus \bigoplus _{X_1} \mathbb{F}^\times \oplus \ldots \oplus \bigoplus _{X_d} \mathbb{F}^\times \end{equation*}$$

where $X_i$ is the set of $i$-strata of $X$ and $\mathbb{F}^\times$ is the group of units of $\mathbb{F}$.

See Chapter IV of Wei13 for an in-depth description of the higher $K$-theory of fields.

4. Connections: Euler manifolds and rank exact $K$-theory

As we previously observed in the one-dimensional case GS21, given a persistence module, $\mathcal{F}$, over a parameter space, $X$, the class of $\mathcal{F}$ in $K_0$ is the Euler curve of the persistence module. The same conclusion holds in the multiparameter setting with the exception that we no longer consider the Euler curve, but rather the Euler surface or manifold depending on the number of parameters. Indeed, the description of $K_0$ in terms of constructible functions goes back to Kashiwara and Schapira KS94, and the construction of their isomorphism uses a local Euler index.

4.1. Rank exact $K$-theory

Finally, we briefly discuss the relationship between our present results and the recent work of Botnan, Oppermann, and Oudot on Grothendieck groups, $K_0$, in multiparameter persistence via rank-exact structures BOO21.

Let $\mathbb{F}$ be a field and $\mathcal{P}$ be an arbitrary poset. Let $\mathsf{Rep}(\mathcal{P})$ denote the category of functors $\mathcal{P}\to \mathsf{Vect}_\mathbb{F}$ with finite total rank. Note, we use rank, $\operatorname {Rk}$, instead of dimension (over $\mathbb{F}$), as there are many other choices of target category to which the work of BOO21 applies. Of course, in our simplified setting $\operatorname {Rk}=\dim _\mathbb{F}$.

Definition 4.1.1 (Definition 4.1 BOO21).

A short exact sequence $0 \to \mathsf{F}\to \mathsf{G}\to \mathsf{H}\to 0$ in $\mathsf{Rep}(\mathcal{P})$ is rank-exact if $\operatorname {Rk} \mathsf{G}= \operatorname {Rk} \mathsf{F}+ \operatorname {Rk} \mathsf{H}$.

Theorem 4.4 of BOO21 states that $\mathsf{Rep}(\mathcal{P})$ equipped with rank-exact short exact sequences is an exact category, which we denote $\mathsf{Rep}(\mathcal{P})_{\operatorname {Rk}}$. Hence, $K_0 (\mathsf{Rep}(\mathcal{P})_{\operatorname {Rk}})$ is well-defined. The higher $K$-groups also exist, but following the authors of loc. cit. we restrict our discussion to $K_0$.

For $\mathcal{P}$ a poset, let $\operatorname {Seg}(\mathcal{P})$ be the collection of segments, i.e., pairs defining the partial order on the underlying set of $\mathcal{P}$, i.e.,

$$\begin{equation*} \operatorname {Seg}(\mathcal{P}) = \{ (p,p')\in \mathcal{P}\times \mathcal{P}: p \le p'\}. \end{equation*}$$

Theorem 4.1.2 (Theorem 4.10 BOO21).

Let $\mathcal{P}$ be a finite poset. The rank map induces an isomorphism

$$\begin{equation*} \operatorname {Rk} \colon K_0 (\mathsf{Rep}(\mathcal{P})_{\operatorname {Rk}}) \xrightarrow {\approx } \mathbb{Z}^{\operatorname {Seg}(\mathcal{P})}. \end{equation*}$$

Consider the linear order, $[2]=\{0\le 1\le 2\}$. Following GS21, the poset $[2]$ defines a cubical one-manifold with three zero-strata and two one-strata, which we denote by $\mathcal{X}([2])$. By our previous additivity result, or the one-parameter specialization of the results above, $K_0(\mathsf{pMod^{\mathsf{Vect}}} (\mathcal{X}([2]))) \cong \mathbb{Z}^5$. However, note that $\lvert \mathop{Seg}([2]) \rvert = 6$, so $K_0 (\mathsf{Rep}([2])_{\operatorname {Rk}}) \cong \mathbb{Z}^6$. Of course, $5 \neq 6$, so we seek an explanation/explicit comparison.

Let $\mathcal{P}$ be a finite poset. The order complex, $\le ^{\mathcal{P}}_\bullet$, is the abstract simplicial complex whose faces are chains in $\mathcal{P}$. Let $\lvert \mathcal{P}\rvert \coloneq \lvert \le ^{\mathcal{P}}_\bullet \rvert$ denote the geometric realization of $\mathcal{P}$, which is a (geometric) simplicial complex. It is a standard exercise that $\lvert [n] \rvert \cong \Delta ^n$, i.e., the realization of the linear order $\{0\le 1 \le \dotsb \le n\}$ is the standard $n$-simplex. Returning to the previous paragraph, note that the cubical one-manifold $\mathcal{X}([2])$ is a subcomplex of $\Delta ^2=\lvert [2] \rvert$; it sits inside as the spine of the 2-simplex. Note further that there is a natural bijection between $\operatorname {Seg}([2])$ and the set of simplices of the one skeleton of $\Delta ^2$. Indeed, this bijection is determined by considering the chains of length at most one in $[2]$, i.e., the one skeleton of the order complex, $\mathop{{sk}_1} \le ^{[2]}_\bullet$. We conclude that the inclusion

$$\begin{equation*} \mathcal{X}([2])=\operatorname {spine} \Delta ^2 \hookrightarrow \operatorname {sk}_{1} \Delta ^2 \end{equation*}$$

induces a projection map $K_0 (\mathsf{Rep}([2])_{\operatorname {Rk}}) \cong \mathbb{Z}^6 \to \mathbb{Z}^5 \cong K_0(\mathsf{pMod^{\mathsf{Vect}}} (\mathcal{X}([2])))$. This argument immediately generalizes to any finite linear order, and we have the following.

Proposition 4.1.3.

For each $n \in \mathbb{N}$, the inclusion of the spine into the one skeleton of the $n$-simplex induces a projection

$$\begin{equation*} K_0 (\mathsf{Rep}([n])_{\operatorname {Rk}}) \cong \mathbb{Z}^{\frac{n(n+1)}{2}} \to \mathbb{Z}^{2n-1} \cong K_0(\mathsf{pMod^{\mathsf{Vect}}} (\mathcal{X}([n]))). \end{equation*}$$

Similarly, we can analyze the case of a grid as well. Let $\mathcal{G}= [n_1]\times [n_2] \times \dotsb \times [n_d]$ be a finite grid equipped with the (categorical) product poset structure. Again, we have a natural bijection $\operatorname {Seg}(\mathcal{G}) \cong \operatorname {sk}_{1} \le ^{\mathcal{G}}_\bullet$. Next, note that strata of $\mathcal{X}(\mathcal{G})$ are indexed by the Cartesian product of sets $\operatorname {spine} \lvert [n_1] \rvert \times \operatorname {spine} \lvert [n_2] \rvert \times \dotsb \times \operatorname {spine} \lvert [n_d] \rvert$, where $\mathcal{X}(\mathcal{G})$ is the $d$-dimensional cubical grid manifold associated to $\mathcal{G}$. Now, for each $k$ and each edge or vertex $\alpha \in \operatorname {spine} \lvert [n_k] \rvert$, there is a source $s(\alpha ) \in \mathcal{G}$ and a target $t(\alpha ) \in \mathcal{G}$. There is an injection of sets

$$\begin{equation*} \iota \colon \operatorname {spine} \lvert [n_1] \rvert \times \operatorname {spine} \lvert [n_2] \rvert \times \dotsb \times \operatorname {spine} \lvert [n_d] \rvert \hookrightarrow \operatorname {Seg}(\mathcal{G}) \end{equation*}$$

given by

$$\begin{equation*} \iota (\alpha _1, \alpha _2 , \dotsc , \alpha _d) = ((s(\alpha _1), s(\alpha _2), \dotsc , s(\alpha _d)), (t(\alpha _1), t(\alpha _2), \dotsc , t(\alpha _d))). \end{equation*}$$

Geometrically, the map $\iota$ exhibits $\mathcal{X}(\mathcal{G})$ as a coarsening of a subcomplex of $\lvert \mathcal{G}\rvert$. As before we obtain a projection map at the level of $K$-groups.

Proposition 4.1.4.

Let $\mathcal{G}$ be a finite grid. The map $\iota$ induces a projection

$$\begin{equation*} K_0 (\mathsf{Rep}(\mathcal{G})_{\operatorname {Rk}}) \to K_0(\mathsf{pMod^{\mathsf{Vect}}} (\mathcal{X}(\mathcal{G})). \end{equation*}$$

Thus, when $\mathcal{P}$ is of the form $[n]$, or more generally is a finite grid, we define a projection map that allows for direct comparison between the group $K_0 (\mathsf{Rep}(\mathcal{P})_{\operatorname {Rk}})$ of Botnan, Oppermann, and Oudot, and the group $K_0(\mathsf{pMod^{\mathsf{Vect}}} (\mathcal{X}(\mathcal{P}))$ of the present work.

Figure 2.1.

A cubical two-manifold (shaded) appearing as a substratified space of the stratified parameter space