arXiv:2009.05833v2 [math.AT] 15 Aug 2021 62 unjao t,M Gto, Guanajuato, 36023 eetcasso pcs hsi uhmr icl od foesml s simply one others. if the do of to independently difficult setting more each much in is homology group This Vietoris-Rips cohomology spaces. and of homology classes ferent Vietoris-Rips s which resulting preferred homomorphisms the interes a of compare construction with of the spaces spaces enables metric functoriality of this spaces, kinds topological non-tr different between exist many lar, there Vieto between Since the maps [12], them. semi-unifo continuous between in on maps directly showed act continuous author which uniformly functors first are workin the cohomology of and advantage As mology major exam spaces. another one to semi-uniform provide leads of paper turn, this in w in This, settings this results cedure. in the in arguments Indeed, homology topological Vietoris-Rips topological. classical the from of up variations use setting wit to that directly one is working first over The advantages plexes. many has spaces context semi-uniform this to adapted aut axioms spac first semi-uniform Eilenberg-Steenrod the for the [11], homology of article Vietoris-Rips variant previous the a of Vieto In construction the established. a on been results not basic had o many nat ogy properties even recently, its the Desp until about to and, known graphs. t addition homology, is and become in little networks relatively of has data, however, analysis popularity, it of topologic homological analysis indeed, the of bec homological in and, rise has portance the tool, the homology in With theoretical, Vietoris-Rips used as the invariant [8]. well years, groups as fifteen later, hyperbolic last putational, somewhat of the and, study in [14], the analysis spaces in metric used from be groups homology tain lbl n h otenOc fArsaeRsac n Deve and Research Aerospace of Research. Scientific Office of Southern Office the and Global, etod Investigaci de Centro -aladdresses E-mail tdigteVeoi-ishmlg n ooooyfo h on o point the from cohomology and homology Vietoris-Rips the Studying way a as 1927 in Vietoris by defined first was complex Vietoris-Rips The eerhspotdi atb a´da OAY 06 h US the 1076, Cat´edras CONACYT by part in supported Research UNT HOESFRVEOI-ISHOMOLOGY VIETORIS-RIPS FOR THEOREMS KUNNETH Abstract. ftetrsedwdwt ieetsm-nfr structures semi-uniform Vietoris-Ri diferent the with computing endowed r by torus with the finish graphs We of for holds product. theorem r graph Kunneth this strong the interpret that then show We we space. where semi-uniform a of cohomology NOI ISRADAEADATRUJILLO-NEGRETE ALEJANDRA AND RIESER ANTONIO : noi.isrcmtm,[email protected] [email protected], epoeaKnehtermfrteVeoi-ishmlg an homology Vietoris-Rips the for theorem Kunneth a prove We ne Matem en on ´ exico ´ 1. Introduction tcs .C aic /,Cl aecaaCP: Valenciana Col. S/N, Jalisco C. A. aticas, ´ 1 omn fteU i Force Air US the of lopment . sl o graphs, for esult ffieo aa Research Naval of Office scohomology ps sett the to espect ae n graphs, and cale, . ntecategory the in g htaevr far very are that sadpoe a proved and es of surge this ite i-ishomol- ris-Rips va uniformly ivial o introduced hor l fti pro- this of ple Vietoris-Rips f a eue to used be can msae and spaces rm lqecom- clique h ial,using Finally, ,i particu- in t, . estandard he cosdif- across s m com- a ome i-isho- ris-Rips tbgnto began it yenables ay uisthe tudies d iwof view f rlim- ural ldata al oob- to 2 KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY the constructions of semi-uniform spaces from Cechˇ closure spaces given in [12], we are able to see that the Vietoris cohomology of Dowker [4], the metric cohomology of Hausmann [9], the Vietoris-Rips cohomology on metric spaces with a preferred scale introduced in [12], and the cohomology of the flag complex of a graph are all instances of the same construction on different semi-uniform spaces. In this article, we continue the development of the algebraic topology of semi- uniform spaces started in [12], first giving an alternate definition of the Vietoris- Rips complex of a relation using simplicial sets, and then studying the Vietoris- Rips homology and cohomology of products of semi-uniform spaces with the goal of establishing K¨unneth theorems in this context. For the Vietoris-Rips homology as defined here, we will see that, while the Kunneth theorem holds for Vietoris- Rips cohomology on arbitrary semi-uniform spaces, it is not true in general for Vietoris-Rips homology. Nonetheless, we are able to show that it does hold for semi-uniform spaces induced by graphs, which, in turn, implies a Kunneth theorem for the classical Vietoris-Rips homology of graphs, which is the case of most interest to applications. Note that, while it is well-known that the Kunneth theorem is false for the Vietoris-Rips homology using Cartesian products of graphs, by translating the problem into the setting of semi-uniform spaces, we see that that one should use the strong graph product instead. For a homology theory on graphs which satisfies the Kunneth theorem with respect to the Cartesian graph product, see [7]. A Kunneth theorem for the classical Vietoris-Rips homology on metric spaces with respect to the maximum metric on the product may also be deduced by apply- ing the Kunneth theorem for simplicial complexes to the isomorphism in Proposition 10.2 in [1]. However, with the exception of the cases treated in [11], it remains un- clear for which cases the the classical and the semi-uniform Vietoris-Rips homology theories coincide. There has also been some recent work on Kunneth theorems in persistent homology [2, 6], in which an expression for the persistent homology of a product is obtained, given a filtered complex constructed from a category whose homology has a Kunneth formula. The main contribution of this article is that, by constructing the Vietoris-Rips homology and cohomology in the more general context of semi-uniform spaces, we are able to treat Kunneth theorems for the Vietoris-Rips cohomology of graphs, metric spaces, and even topological spaces as particular instances of the same theorem. Combined with the results of [12], this allows for the computation of the Vietoris-Rips cohomology of products of spaces which are semi-uniformly homotopy equivalent to spaces whose Vietoris-Rips co- 1 1 homologies are known (such as such as (S × S , dmax), studied in [1]), something which is unattainable using current techniques.

2. Semi-uniform spaces and the Vietoris-Rips complex In this section, we recall the definition of semi-uniform spaces, which will be our main object of study. We begin with a few preliminary definitions.

2.1. Semi-Uniform Spaces. Definition 2.1. Let U ⊂ X × X. We define U −1 := {(y, x) | (x, y) ∈ U}. Definition 2.2. Let X be a set, and let F be a non-empty collection of subsets of X with ∅ ∈F/ . We say that F is a filter iff KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY 3

(1) U ∈F and U ⊂ V =⇒ V ∈F, and (2) U, V ∈F =⇒ U ∩ V ∈F.

Remark 2.3. The condition that F does not contain the empty set is occasionally additional in the literature, and such filters are sometimes called proper filters. Since we will only be dealing with such filters, we see no need to make such a distinction here. Also, note that the requirement that ∅ ∈/ F combined with Condition 2 of Definition 2.2 above implies that the intersection of any finite collection of sets in F is nonempty.

Definition 2.4. Let X be a set. We say that a filter U on the product X × X is a semi-uniform structure on X iff (1) Each element of U contains the diagonal, i.e. ∆ ⊂ U for all U ∈U (2) If U ∈U, then U −1 contains an element of U The pair (X, U), consisting of a set X and a semi-uniform structure U on X, is called a semi-uniform space.

Remark 2.5. Note that, since U is a filter, Condition 2 in Definition 2.4 is equiv- alent to the condition that U −1 ∈U.

We give several important examples of semi-uniform spaces.

Example 2.6. Let G = (V, E) be an undirected graph. We denote by σ(G) :=

(VG, EG) the semi-uniform space where VG = V and EG = [E ∪ ∆VG ], i.e. EG is the

filter of subsets of VG × VG generated by the set E ∪ ∆VG ⊂ VG × VG, where ∆VG is the diagonal in VG × VG. Since G is undirected in the above definition, E = E−1, it follows from Theorem 23.A.4 in [3], that σ(G) is a semi-uniform space.

Example 2.7. Let (X, d) be a metric space. For every q> 0, we define

Uq := {(x, y) ⊂ X × X | d(x, y) < q}

U≤q := {(x, y) ⊂ X × X | d(x, y) ≤ q}.

Now fix an r> 0, and define Ur to be the semi-uniform structure generated by the sets Ur+ǫ for all ǫ> 0, and define U≤r to be the semi-uniform structure generated by the single relation U≤r. These are semi-uniform structures by Theorem 23.A.4 in [3].

Example 2.8 (See also [12]). Let X be a set. We define a Cechˇ closure operator c : P(X) →P(C) to be a map such that (1) c(∅)= ∅ (2) A ⊂ c(A) for all A ⊂ X (3) c(A ∪ B)= c(A) ∪ c(B) for all A, B ⊂ X The pair (X,c) will be called a Cechˇ closure space. We define the interior of a set A ⊂ X to be i(A)= X − c(X − A). A set U ⊂ X is said to be a neighborhood of A ⊂ X iff A ⊂ i(U), and a collection U = {Uα | α ∈ A} is said to be an interior cover of X iff X = ∪αi(Uα). 4 KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY

For every interior cover U of a Cechˇ closure space (X,c), we define two relations VU and RU by

VU := {(x, y) | ∃U ∈U : x, y ∈ U}

RU := {(x, y) | ∃U ∈U : (x ∈ i(U) and y ∈ U)or(y ∈ i(U) and x ∈ U}.

Let Ic denote the collection of interior covers of (X,c), and let Vc and Rc be the

filters on X ×X generated by the collections {VU }U∈Ic and {RU }U∈Ic , respectively. As shown in [12], Vc and Rc are semi-uniform structures on the set X. In particular, this construction produces a semi-uniform space for each topolog- 2 ical space (X,cτ ), where cτ is a closure operator with cτ = cτ . Note that in this case Vcτ = Rcτ , since both are generated by open covers. The above examples show how semi-uniform spaces are a simultaneous general- ization of graphs, metric spaces with a preferred scale, and closure spaces. We refer to [3, 12] for further details on semi-uniform spaces. 2.2. The Vietoris-Rips Homology and Cohomology of a Semi-Uniform Space. Let (X, U) be a semi-uniform space and U ∈U. We define a simplicial set U U X by setting X0 := {x ∈ X} = X, and, for n ∈ N, we define U Xn = {(x0,...,xn) | (xi, xj ) ∈ U) ∀i < j}, with functions U U ∂i : Xn → Xn−1, where ∂i(x0, x1, ..., xn) = (x0, x1,..., xˆi,...,xn), U U si : Xn → Xn+1, where si(x0, x1, ..., xn) = (x0, x1,...,xi, xi,...,xn).

We emphasize that the xi need not be distinct points of X, and, in particular, since U the diagonal ∆ is a member of every U ∈ U, the Xn will contain elements with xi = xj , i 6= j. Definition 2.9. We call the simplicial set XU the Vietoris-Rips complex of the pair (X,U). U For each n ∈ Z, let Cn(X ) be the graded free abelian group generated by the U U U elements of the sets Xn , and let C∗(X ) = ⊕n∈ZCn(X ). Define a differential U U dn : Cn(X ) → Cn−1(X ) by n i dn = (−1) ∂i i=0 X U With these definitions, (C∗(X ), d) is now a chain complex, and we denote its U homology by H∗(X ). U Let G be an R-module for a commutative ring R. Then (C∗(X ) ⊗Z G, d ⊗ 1) is a chain complex over R, and we denote its homology, the homology of XU with U q U coefficients in G, by H∗(X ; G). Similarly, a q-dimensional cochain f ∈ C (X ; G) U is defined as a homomorphism f : Cq(X ) ⊗Z R → G and the coboundary is given by q+1 i (δf)(σ)= (−1) f(∂iσ) i=0 X for each (q + 1)-simplex σ of XU . This leads to the cohomology groups H∗(XU ; G). We now consider maps between the simplicial sets corresponding to different elements of a semi-uniform structure U. KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY 5

Proposition 2.10. For U, V ∈ U, V ⊂ U, XV is a sub-simplicial set of XU . V U Denote the inclusion map by φV U : X ֒→ X . For W ⊂ V ⊂ U, we have φV U ◦ φW V = φW U .

V Proof. Since V ⊂ U, if σ = (x0,...,xn) ∈ Xn , then, by definition, (xi, xj ) ∈ V for U all i < j. Therefore, (xi, xj ) ∈ U for all i < j, and σ ∈ Xn . Define φV U (σ) = σ. Since this is both a simplicial map and an inclusion, the final statement follows, and the proof is complete. 

We define a partial order ≤ on the semi-uniform structure U by writing U ≤ V iff V ⊆ U. Furthermore, since U is a filter, for any U, V ∈ U, W = U ∩ V ∈ U, and therefore U with this partial order is a directed set. The induced maps φUV ∗ : V U ∗ ∗ U ∗ V U H∗(X ) → H∗(X ) and φUV : H (X ) → H (X ) make (H∗(X ), φUV ∗, U) and ∗ U ∗ (H (X ), φUV , U) into inverse and direct systems of abelian groups, respectively. We finally define the Vietoris-Rips homology and cohomology of a semi-uniform space (X, U) to be

HVR(X, U) = lim H (XU ) ∗ ←− ∗ H∗ (X, U) = lim H∗(XU ). VR −→ We will typically suppress the semi-uniform structure U when it is unambiguous.

Remark 2.11. Note that, since the ordered and unordered simplicial chain com- plexes are chain equivalent (by [13], Theorem 4.3.8), and since degenerate simplices in the simplicial set do not contribute to the resulting homology and cohomology (by [10], VIII.6), the Vietoris-Rips homology and cohomology defined here for a semi-uniform space (X, U) are isomorphic to the those defined in [11].

Example 2.12. Let G = (V, E) be a graph. The Vietoris-Rips homology and cohomology of σ(G) = (V, EG) defined in Example 2.6 are the simplicial homology and cohomology, respectively, of the clique complex of the graph, by Theorem 5.2 below.

Example 2.13. Let (X, d) be a metric space, and let (X, Ur) be the semi-uniform spaces constructed in Example 2.7. Since the sets Uǫ, ǫ > 0 are cofinal in U0, it follows that the Vietoris-Rips cohomology of (X, U0) is isomorphic to the metric cohomology studied by Hausmann in [9].

2 Example 2.14. Let (X,cτ ) be a topological closure space (where cτ = cτ ), and let

(X, Vcτ ) be the corresponding semi-uniform space from Example 2.8. By results in

Dowker [4], the Vietoris-Rips homology and cohomology of (X, Vcτ ) are isomorphic to the Cechˇ homology and cohomology of the topological space (X, τ), where the 2 topology τ is generated by cτ , i.e. a set U ⊂ X is open in (X, τ) iff cτ (X − U) = cτ (X − U).

3. Products In this section, we recall the definitions of products for semi-uniform spaces and simplicial sets, and we then prove a theorem relating the products of Vietoris-Rips complexes which will be the basis for the Kunneth Theorems to follow. 6 KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY

3.1. Products of Semi-Uniform Spaces.

Definition 3.1. Let {(Xa, Ua)}a∈A be a family of semi-uniform spaces indexed by A. Let X := Πa∈AXa be the Cartesian product of the sets, and we denote by U the filter generated by the subsets of X × X of the form

(1) {(x, y) | (x, y) ∈ X × X,a ∈ F =⇒ (πax, πay) ∈ Ua}, where F ⊂ A is some finite subset of A, Ua ∈Ua for each a ∈ F , and πa : X → Xa is the projection to the a-th coordinate. Proposition 3.2. (X, U) defined as above is a semi-uniform space.

Proof. First, let (x, x) ∈ ∆X×X . Since the ∆Ua ⊂ Ua for every Ua ∈Ua and every a ∈ A, it follows that (x, x) is in every element of U. Since (x, x) ∈ ∆X×X was arbitrary, ∆X×X is contained in every element ∈U. Suppose now that U ∈U. Then U contains a set V of form (1) above. Since, for −1 −1 −1 −1 any Ua ∈ Ua we have that Ua ∈ Ua, we see from Va ⊂ Ua that V is of the form (1) as well. However, V −1 ⊂ U −1, so U −1 ∈U, and the proof is complete. 

Definition 3.3. We call (X, U) the semi-uniform product of {(Xa, Ua)}a∈A. We will sometimes denote (X, U) as (Πa∈AXa, Πa∈AUa). 3.2. Products of Simplicial Sets. Definition 3.4. Let Σ and Σ′ be simplicial sets. Then the product Σ × Σ′ is given by ′ ′ ′ ′ (Σ × Σ )n := {(σ, σ ) | σ ∈ Σn, σ ∈ Σn} For any simplicial sets Σ and Σ′, the Eilenberg-Zilber theorem [5] gives a quasi- ′ ′ isomorphism between the chain complexes C∗(Σ×Σ ) and C∗(Σ)⊗C∗(Σ ). In order to establish the Kunneth theorems for Vietoris-Rips homology, we must further establish a relationship between the Vietoris-Rips complexes of products of semi- uniform spaces on the one hand, and the products of Vietoris-Rips complexes of semi-uniform spaces on the other. This follows easily from the respective definitions, and is accomplished in the following theorem. First, however, we make the following remark. Remark. Let (X, U) and (Y, V) be semi-uniform spaces and let U ∈U and V ∈V. Observe that the set U × V ⊂ (X × X) × (Y × Y ) can be seen as a subset of (X × Y ) × (X × Y ) via the isomorphism ψ : (X × Y ) × (X × Y ) → (X × X) × (Y × Y )

((x1,y1), (x2,y2)) 7→ ((x1, x2), (y1,y2) Note that the expression (X ×Y )U×V is an abuse of notation, and is, more precisely, −1 (X×Y )ψ (U×V ). Since U ×V =∼ ψ−1(U ×V ), however, we will use the first notation in place of the second throughout. Theorem 3.5. Let (X, U) and (Y, V) be semi-uniform spaces. Then, for any U ∈U and V ∈V, we have (X × Y )U×V =∼ XU × Y V U×V U V Proof. Let φ: (X × Y )k → (X × Y )k be the map given by

φ((x0,y0),..., (xk,yk)) := ((x0,...,xk), (y0,...,yk)). KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY 7

U×V By definition, ((x0,y0),..., (xk,yk)) ∈ (X × Y ) iff, for all i, j ∈{1,...,k}, one of the following holds:

(1) ψ((xi,yj ), (xj ,yj)) ∈ U × V (2) xi = xj and (yi,yj ) ∈ V (3) (xi, xj ) ∈ U and yi = yj U V This, in turn, is true iff (x0,...,xk) ∈ X and (y0,...,yk) ∈ Y . Therefore, φ gives an isomorphism between (X ×Y )U×V and XU ×Y V , and the proof is complete. 

4. The Kunneth Theorems The Kunneth theorems for the Vietoris-Rips homology now follow from the above product relations, the Kunneth theorems for simplicial sets, and the properties of exact sequences in direct and inverse limits. We begin with the results for Vietoris- Rips cohomology, where we have a Kunneth formula in general. In order to establish this, we will first require the following lemma. We begin by recalling the following definition.

Definition 4.1. We say that a graded module {Cq} is said to be of finite type if it is finitely generated for every q.

Remark 4.2. We will sometimes write the torsion product Tor1(A, B) as A ∗ B. Lemma 4.3. Let (X, U) and (Y, V) be semi-uniform spaces, U ∈ U, and V ∈ V. Let G and G′ be modules over a principal ideal domain R such that G ∗ G′ = 0. If U V V H∗(X ; R) and H∗(Y ; R) are of finite type or if H∗(Y ; R) is of finite type and G′ is finitely generated, then for any q ∈ Z there is a natural short-exact sequence i U j V ′ q U×V ′ 0 →⊕i+j=qHVR(X ; G) ⊗ HVR(Y ; G ) → HVR((X × Y ) ; G ⊗ G ) → i U j V ′ →⊕i+j=q+1Tor1(HVR(X ; G),HVR(Y ; G )) → 0. Furthermore, this sequence splits, but not canonically. U V Proof. Theorem 3.5 gives C∗(X × Y,U × V ) =∼ C∗(X × Y ), and therefore C∗(X ×Y,U ×V ) =∼ C∗(XU ×Y V ), and from the Eilenberg-Zilber theorem, we have C∗(XU × Y V ) ≃ C∗(XU ) ⊗ C∗(Y V ), where ≃ indicates cochain-homotopy equiv- alence. The result now follows from the Kunneth theorem for cochain complexes from [13], Theorem 5.5.11.  We now give the Kunneth theorem for Vietoris-Rips cohomology. Theorem 4.4. Let (X, U) and (Y, V) be semi-uniform spaces, and let G and G′ be modules over a principal ideal domain R such that G ∗ G′ =0. Suppose that U and Uα V are generated by collections {Uα}α∈A and {Vβ}β∈B such that H∗(X ; R) and V V H∗(Y β ; R) are of finite type for all α ∈ A and β ∈ B, or such that H∗(Y β ; R) is of finite type for β ∈ B and G′ is finitely generated. Then for any q ∈ Z there is a natural short-exact sequence i j ′ q ′ 0 →⊕i+j=q HVR(X; G) ⊗ HVR(Y ; G ) → HVR(X × Y ; G ⊗ G ) → i j ′ →⊕i+j=q+1Tor1(HVR(X; G),HVR(Y ; G )) → 0. Furthermore, this sequence splits, but not canonically. Proof. We first note that the family of sets in U×V of the form U × V are cofinal in U×V. The theorem now follows from Proposition 4.3, the fact that T or1 and ⊗ commute with direct limits, and that the direct limit is an exact functor.  8 KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY

For homology, the Kunneth theorem does not hold in general, due to the failure of exactness of the inverse limits of exact sequences. Nonetheless, in some special cases, the exact sequences related to elements U × V ∈U×V prove to be useful. We give two such situations below, beginning, as above with the following lemma.

Lemma 4.5. Let (X, U) and (Y, V) be semi-uniform spaces, and let G and G′ be modules or a principal ideal domain such that G ∗ G′ = 0. Then for any U ∈ U, V ∈V, and q ∈ Z, there is a natural short-exact sequence

VR U VR V ′ VR U×V ′ 0 →⊕i+j=qHi (X ; G) ⊗ Hj (Y ; G ) → Hq ((X × Y ) ; G ⊗ G ) → VR U VR V ′ →⊕i+j=q−1Tor1(Hi (X ; G),Hj (Y ; G )) → 0. Furthermore, this sequence splits, but not canonically.

U V Proof. Theorem 3.5 gives C∗(X×Y,U×V ) =∼ C∗(X ×Y ), and from the Eilenberg- U V U V Zilber theorem [5], we have C∗(X × Y ) ≃ C∗(X ) ⊗ C∗(Y ), where ≃ indicates chain-homotopy equivalence. The result now follows from the Kunneth theorem for chain complexes (Theorem 5.3.4 in [13]). 

Theorem 4.6. Let (X, U) and (Y, V) be semi-uniform spaces, and let G and G′ be modules over a principal ideal domain such that G ∗G′ =0. Suppose U ∗ and V ∗ are maximal in U and V, respectively, ordered by inclusion. Then U ∗ × V ∗ is maximal in U×V, and for all q ∈ Z, there exists a natural short-exact sequence

VR VR ′ VR ′ 0 →⊕i+j=q Hi (X; G) ⊗ Hj (Y ; G ) → Hq (X × Y ; G ⊗ G ) → VR VR ′ →⊕i+j=q−1Tor1(Hi (X; G),Hj (Y ; G )) → 0. Furthermore, this sequence splits, but not canonically.

Proof. We first show that U ∗ × V ∗ is maximal in U×V. Suppose that there exists a W ∈U×V with W ( U ∗ × V ∗. Then there exist U ∈ U and V ∈ V such that U × V ⊂ W ( U ∗ × V ∗, a contradiction. Therefore U ∗ × V ∗ is maximal in VR U×V. For any semi-uniform space (X, U), we have, by definition, H∗ (X, U; G)= ∗ lim HVR(XU ; G). If U ∗ is maximal in U, then H (XU ; G) is cofinal in the inverse ←− ∗ ∗ U system {H∗(X ; G), φUV ∗, U}, from which it follows that

∗ HVR(X, U; G) = lim HVR(XU ; G)= H (XU ; G) ∗ ←− ∗ ∗ as desired. Putting these together, the result now follows from Theorem 4.5. 

Although the short exact sequence doesn’t hold in general for Vietoris-Rips ho- mology, if the torsion term vanishes on a cofinal subset of the bases for the product semi-uniform structure, we may still conclude that there is an isomorphism of the respective homology groups, as we see from the following.

Theorem 4.7. Let (X, U) and (Y, V) be semi-uniform spaces, and let G and G′ be modules over a principal ideal domain such that G∗G′ =0. Suppose that F ′ ⊂ U×V is a cofinal collection of sets in of the form U × V , U ∈ U, V ∈ V such that, for VR VR ′ any U × V ∈F, ⊕i+j=q−1Tor1(Hi (X; G),Hj (Y ; G ))=0. Then VR VR ′ ∼ VR ′ ⊕i+j=qHi (X; G) ⊗ Hj (Y ; G ) = Hq (X × Y ; G ⊗ G ) ∈V. KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY 9

5. Kunneth Theorems for Vietoris-Rips homology on graphs In this section, we apply the general Kunneth formulae on semi-uniform spaces from Section 4 to prove the Kunneth Theorem for the Vietoris-Rips homology on graphs. We begin with the following construction. All graphs are undirected. Definition 5.1. Let G = (V, E) and G′ = (V ′, E′) (undirected) graphs. Then the strong graph product G ⊠ G′ = (V ⊠ V ′, E ⊠ E′) is defined by (v, v′) ∈ V ⊠ V ′ ⇐⇒ v ∈ V, v′ ∈ V ′ ′ ′ ⊠ ′ ((v0, v0), (v1, v1)) ∈ E E ⇐⇒ One of the following holds: ′ ′ ′ (1) (v0, v1) ∈ E and (v0, v1) ∈ E ′ ′ ′ (2) v0 = v1 and (v0, v1) ∈ E ′ ′ (3) (v0, v1) ∈ E and v0 = v1 VR Theorem 5.2. Let H∗ (G; A) denote the Vietoris-Rips homology of the undirected VR ∼ graph G = (V, E) with coefficients in an abelian group A. Then H∗ (G; A) = VR H∗ (σ(G); A), where σ(G) = (V, EG) is the semi-uniform space defined in Example 2.6.

Proof. By construction, EG has a maximal element E consisting of the edges of VR ∼ the graph G and the diagonal ∆V , from which it follows that H∗ (σ(G); A) = E E H∗(VG ; A). However, H∗(VG ; A) is exactly the homology of the simplicial set generated by the clique complex ΣG of G. Therefore, VR ∼ E ∼ VR H∗ (G; A)= H∗(ΣG; A) = H∗(VG ; A) = H∗ (σ(G); A), and the proof is complete.  In order to prove the Kunneth Theorem for undirected graphs, we will need the following Proposition 5.3. Let G = (V, E) and G′ = (V ′, E′) be graphs. Then ′ ′ ′ ′ (V × V , EG⊠G′ )= σ(G ⊠ G )= σ(G) × σ(G ) = (V, EG) × (V , EG′ ), where the product on the right is the product of semi-uniform spaces.

Proof. We must show that EG ×EG′ = EG⊠G′ . First, let U ∈ EG ×EG′ . Then, ′ ′ by construction, there exist sets e ∈ EG and e ∈ EG′ such that e × e ⊂ U. By ′ ′ ′ ′ definition of EG and EG′ , however, E ⊂ e and E ⊂ e , so E × E ⊂ e × e ⊂ U. ′ Since E × E ∈EG⊠G′ and EG⊠G′ is a filter, therefore U ∈EG⊠G′ , and we see that EG ×EG′ ⊂EG⊠G′ . ′ Now suppose U ∈EG⊠G′ . Then E × E ⊂ U, and therefore U ∈EG ×EG′ as well, by definition of the product semi-uniform structure. Therefore EG⊠G′ ⊂EG ×EG′ . ′ It follows that EG ×EG′ = EG⊠G′ , and therefore σ(G ⊠ G )= σ(G) × σ(G).  Theorem 5.4. Let G = (V, E) and G′ = (V ′, E′) be graphs, and let M and M′ be modules over a principal ideal domain such that M∗M′ =0. For every q ∈ Z, there exist natural short exact sequences VR VR ′ ′ VR ⊠ ′ ′ 0 →⊕i+j=q Hi (G; M) ⊗ Hj (G ; M ) → Hq (G G ; M⊗M ) → VR VR ′ →⊕i+j=q−1Tor1(Hi (G; M),Hj (G; M )) → 0 Proof. The theorem follows immediately from Proposition 5.3, Theorem 4.6, and the definition of the classical Vietoris-Rips complex for graphs.  10 KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY

6. Applications to Metric Spaces As an illustration of the above results, we examine the Vietoris-Rips homology and cohomology of the torus with different semi-uniform structures. We first recall the definition of the classical Vietoris-Rips complex on a metric space and the corresponding relations which can be used to generate semi-uniform structures. Definition 6.1. Suppose that (X, d) is a metric space and r> 0 is a real number. The Vietoris-Rips complex V R<(X; r) is the simplicial complex with vertex set X, where a finite subset σ ⊆ X is a simplex if only if the diam(σ) < r. The Vietoris- Rips complex V R≤(X; r) is the simplicial complex with vertex set X, where a finite subset σ ⊆ X is a simplex if only if the diam(σ) ≤ r.

Remark 6.2. For a given r> 0, note that V R<(X; r) is the geometric realization of U the simplicial set X r , and V R≤(X; r) is the geometric realization of the simplicial set XU≤r . They therefore have the same homology and cohomology groups. We now recall following theorem from [1]. Theorem 6.3 ([1], Theorem 7.4). Denote the circle with unit circumference by 1 1 1 S , and consider S as a metric space with the geodesic distance. For 0

′ ′ q 2 Z q =0, 2l +1, 2l +1, or 2(l + l + 1) HVR(Tr,r′ )= ({0} otherwise. If l = l′, then Z q =0 or 2(2l + 1) q 2 HVR(Tr,r)= Z × Z q =2l +1 {0} otherwise. Proof. By Theorem 4.4, we have the following short exact sequence i 1 j 1 q 2 0 →⊕i+j=qHVR(S , Ur) ⊗ HVR(S , Ur′ ) → HVR(Tr,r′ ) → i 1 j 1 →⊕i+j=q−1Tor1(HVR(S , Ur),HVR(S , Ur′ )) → 0 By Remark 6.2 and Theorem 6.3 we have that i Ur+ǫ ∼ i ∼ i 2l+1 HVR(X ) = H (V R<(X; r + ǫ)) = H (S ) for all ǫ> 0 sufficiently small. Since the sets Ur+ǫ are cofinal in Ur, we obtain the exact sequence 2l+1 2l′+1 VR 2 0 →⊕i+j=qHi(S ) ⊗ Hj (S ) → Hq (Tr,r′ ) → 2l+1 2l′+1 →⊕i+j=q−1Tor1(Hi(S ),Hj (S )) → 0. KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY 11

Since the torsion term in the above exact sequence is trivial, the result follows.  Remark 6.5. Note that a similar result is true for the Vietoris-Rips homology of the torus by Theorem 4.7.

Now, suppose that (X, dX ) and (Y, dY ) metric spaces and (X × Y, d) with d((x1,y1), (x2,y2)) = max{dX (x1, x2), dY (y1,y2)}. Then we have X×Y Uq = {(z, w) ∈ (X × Y ) × (X × Y ) | d(z, w) < q}

= {((x1,y1), (x2,y2)) | d((x1,y1), (x2,y2)) < q}

= {((x1,y1), (x2,y2)) | max{dX (x1, x2), dY (y1,y2)} < q}

= {((x1,y1), (x2,y2)) | dX (x1, x2) < r and dY (y1,y2) < q} ∼ X Y = Uq × Uq X×Y X×Y Note, too, that the Ur+ǫ = are cofinal in Ur . The following corollary follows immediately from the above comments, Theorem 4.4, and Proposition 6.4.

Corollary 6.6. Let (X, dX ) and (Y, dY ) be metric spaces, and let d be the maximum metric on X × Y . Let G and G′ be modules of a principal ideal domain such that G ∗ G′ =0. Then we have the short exact sequence i j ′ q ′ 0 →⊕i+j=qHVR(X, Ur; G) ⊗ HVR(Y, Ur; G ) → HVR(X × Y, Ur; G ⊗ G ) → i j ′ →⊕i+j=q−1Tor1(HVR(X, Ur; G),HVR(Y, Ur; G )) → 0. Furthermore, this sequence splits, but not canonically. Applying this to the case of the torus, we recover the following result, which also follows from Proposition 10.2 in [1].

2 1 1 1 Corollary 6.7. Let T = S × S with the maximum metric. Let 0 < r ≤ 2 with 1 l+1 2l+1

 References [1] Micha l Adamaszek and Henry Adams, The Vietoris-Rips complexes of a circle, Pacific J. Math. 290 (2017), no. 1, 1–40. MR3673078 [2] Peter Bubenik and Nikola Milicevic, Homological algebra for persistence modules, 2019. [3] Eduard Cech,ˇ Topological spaces, Revised edition by Zdenˇek Frol´ıc and Miroslav Katˇetov. Scientific editor, Vlastimil Pt´ak. Editor of the English translation, Charles O. Junge, Pub- lishing House of the Czechoslovak Academy of Sciences, Prague; Interscience Publishers John Wiley & Sons, London-New York-Sydney, 1966. MR0211373 [4] C. H. Dowker, Homology groups of relations, Ann. of Math. (2) 56 (1952), 84–95. MR0048030 [5] Samuel Eilenberg and J. A. Zilber, On products of complexes, Amer. J. Math. 75 (1953), 200–204. MR0052767 [6] Hitesh Gakhar and Jose A. Perea, Kunneth formulae in persistent homology, 2019. arXiv:1910.05656. [7] Alexander Grigor’yan, Yuri Muranov, and Shing-Tung Yau, Homologies of digraphs and K¨unneth formulas, Comm. Anal. Geom. 25 (2017), no. 5, 969–1018. MR3733797 [8] Mikhail Gromov, Hyperbolic groups, Essays in group theory, 1987, pp. 75–263. MR919829 12 KUNNETH THEOREMS FOR VIETORIS-RIPS HOMOLOGY

[9] Jean-Claude Hausmann, On the Vietoris-Rips complexes and a cohomology theory for metric spaces, Prospects in topology (Princeton, NJ, 1994), 1995, pp. 175–188. MR1368659 [10] Samuel MacLane, Homology, Springer-Verlag, 1975. [11] Antonio Rieser, Vietoris-rips homology theory for semi-uniform spaces, 2020. arXiv:2008.05793. [12] , Vietoris-Rips homology theory for semi-uniform spaces, 2020. [13] Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.- London, 1966. MR0210112 [14] L. Vietoris, Uber¨ den h¨oheren Zusammenhang kompakter R¨aume und eine Klasse von zusam- menhangstreuen Abbildungen, Math. Ann. 97 (1927), no. 1, 454–472. MR1512371