## MODERATELY DISCONTINUOUS HOMOLOGY OF REAL SURFACES

DAVI LOPES MEDEIROS , JOS ´ EDSON SAMPAIO , AND EMANOEL SOUZA † E ⋆

Abstract. The Moderately Discontinuous Homology (MD-Homology, for short) was created recently in 2022 by Fern´ndez de Bobadilla at al. a and it captures deep Lipschitz phenomena. However, to become a definitive powerful tool, it must be widely comprehended.

In this paper, we investigate the MD-Homology of definable surface germs for the inner and outer metrics. We completely determine the MD-Homology of surfaces for the inner metric and we present a great variety of interesting MD-Homology of surfaces for the outer metric, for instance, we determine the MD-Homology of some bubbles, snake surfaces, and horns. Furthermore, we explicit the diversity of MD-Homology of surfaces for the outer metric in general, showing how hard it is to completely solve the outer classification problem. On the other hand, we show that, under specific conditions, the weakly outer Lipschitz equivalence determines completely the MD-Homology of surfaces for the outer metric, showing that these two subjects are quite related.

## Contents

̸

| Introduction   | Introduction                                            |   2 |
|----------------|---------------------------------------------------------|-----|
| Notations List | Notations List                                          |   3 |
| 1.             | Preliminaries                                           |   4 |
| 1.1.           | Normally embedded sets, outer e inner lipeomorphisms.   |   4 |
| 1.2.           | Arcs, tangency orders and H¨lder o triangles            |   5 |
| 1.3.           | Pancake decomposition                                   |   7 |
| 1.4.           | Abnormal surfaces                                       |   7 |
| 1.5.           | H¨lder o Complex and Inner Classification of Surfaces   |  10 |
| 1.6.           | Moderately discontinuous homology                       |  12 |
| 1.7.           | b -maps and Mayer-Vietoris                              |  14 |
| 2.             | MD-Homology of Surface Germs, Degree n = 1              |  15 |
| 3.             | MD-Homology for Surfaces Germs, Degree 1 (Inner Metric) |  18 |
| 4.             | MD-Homology for Surfaces Germs, Degree 1 (Outer Metric) |  23 |
| 5.             | Surfaces with the same MD-Homology                      |  30 |

2020 Mathematics Subject Classification. 51F30; 14B05; 14P10; 55N35.

Key words and phrases. Lipschitz Geometry, Surface singularities, Snakes, Moderately discontinuous homology.

† Research supported by the Serrapilheira Institute (grant number Serra- R-2110-39576).

⋆ Research partially supported by CNPq-Brazil grant 310438/2021-7 and by the Serrapilheira Institute (grant number Serra - R-2110-39576).

References

## Introduction

Any surface germ X , definable in a polynomially bounded o-minimal structure over the real numbers, admits two metrics: the inner metric d inn , where the distance between two points is the length of the shortest path connecting them inside X , and the outer metric d out , where the distance between two points is their distance in the ambient space. Those two metrics define three classification problems up to bi-Lipschitz equivalence: the so-called 'inner classification problem', 'outer classification problem' and 'ambient classification problem'. The first one was solved by Birbrair in [2], while the second and third ones are still open.

Although the outer and ambient classification problems are not completely solved yet, several important steps have been given in this direction recently. In [14], Gabrielov and Souza identified finitely many building blocks for the outer Lipschitz classification of the Valette link of definable surface germs, the so-called 'normal and abnormal zones'. They also proved a weak version of the outer classification problem using the notion of 'weakly outer equivalence'. There are finitely many H¨lder triangles contained in a surface o X which Valette link contains the normal and abnormal zones. The ones containing the abnormal zones are called snakes or bubbles, and the ones containing the normal zones are, in a certain way, well-behaved and less interesting. They characterized the abnormal zones into three possible structures, called snakes, bubbles, and non-snake bubbles.

̸

In [6], Medeiros and Birbrair introduced the concepts of synchronized and kneadable triangles, which is a suitable decomposition of the Valette link of surface germs that induces locally a Lipschitz ambient triviality on isolated surface germs in R 3 . Such a local triviality can become global for surface germs where d inn and d out are equivalent, the so-called 'Lipschitz Normally Embedded (LNE)' sets. This result, together with the triviality obtained in [4], shows that every LNE surface germ with isolated singularity in R n , for n ≥ 3, n = 4, is Lipschitz ambient trivial. For n = 4, however, Birbrair et al showed in [3] that this result is false.

The Moderately Discontinuous Homology (or MD-Homology, for short) was created in [13] and was thought to be a Homology Theory that captures important metric data, since it is a complete invariant for complex analytic smooth sets and plane curve singularities. The first examples for which the MD-Homology was determined were the irreducible curves and cones. However, its potential is yet to emerge, once we believe this homology theory will be as important to Lipschitz Geometry as the ordinary homology is to topology. In particular, we believe this theory will contribute to the outer and ambient classification problems, but in order to do so, it must be widely comprehended.

In this paper, we investigate the MD-Homology groups of definable surface germs for the inner and outer metrics. We completely determine the MD-Homology groups of surfaces for the inner metric and we present a great variety of interesting MD-Homology groups of surfaces for the outer metric, as we determine the groups of some bubbles, snakes, and horns. Furthermore, we explicit the diversity of MD-Homology groups of surfaces for the outer metric in general, showing how hard it is to completely solve the outer classification problem. On the other hand, we show that, under specific conditions, the weakly outer Lipschitz equivalence determines completely the MD-Homology groups of surfaces for the outer metric, showing that these two subjects are quite related.

The paper is structured in several sections. Section 1 is devoted to establish the basic notions on Lipschitz Geometry of germs, the main elements used to study surfaces, the concepts of MD-Homology, and its homological tools. In Section 2 we calculate the MDHomology of every surface germ when the degree is higher than 1. In Section 3 we define b -contractions on H¨lder complexes and use this to completely determine the MDo Homology of any surface germ, with the inner metric. Section 4 shows how to calculate MD-Homology groups, for the outer metric, of horns and bubble snakes, and Theorem 4.7 gives a glimpse on how hard the problem to determine the MD-Homology is in the outer metric. Finally, in Section 5 we study the relation between the weakly outer Lipschitz classification problem and the MD-Homology groups for the outer metric. We show that, if X and ˜ X are two simple β -snakes that are weakly outer equivalent and have the same structure on their corresponding subsegments and subnodal zones, then they have the same MD-Homology. This results shows that, in a broad class, weakly outer Lipschitz equivalence implies isomorphisms on MD-Homology groups for the outer metric, which is a much wider condition than the obvious outer Lipschitz equivalence.

All sets, functions and maps in this text are assumed to be definable in a polynomially bounded o-minimal structure over R with the field of exponents F , for example, real semialgebraic or subanalytic. Unless the contrary is explicitly stated, we consider germs at the origin of all sets and maps.

## Notations List

- · ∥ ( x , ..., x 1 n ) ∥ = ( x 2 1 + ... + x 2 n ) 1 2 ;
- · S n -1 r ( p ) = { x ∈ R n ; ∥ x - ∥ p = r } ;
- · S n -1 r = S n -1 r (0) and S n -1 = S n -1 1 (0);
- · X t = X ∩ S n -1 t
- · B n r ( p ) = { x ∈ R n ; ∥ x - ∥ p &lt; r } ;
- · C n +1 a = { ( x , . . . , x 1 n , x n +1 ) ∈ R n +1 | t ≥ 0; x 2 1 + · · · + x 2 n ≤ ( ax n +1 ) 2 }
- · -C n +1 a = {-p | p ∈ C n +1 a } and C n +1 a ( r ) = C n +1 a ∩ { x n +1 = r } ;
- · U n +1 a = R n +1 \ -C n +1 a and U n +1 a ( r ) = U n +1 a ∩ S n r .
- · For X,Y ∈ R n , dist X, Y ( ) := inf {∥ x - ∥ y ; x ∈ X and y ∈ Y } ;

4

- · Let f, g : (0 , ε ) → [0 , + ∞ ) be functions. We write f ≲ g if there is a constant f ( ) t ≤ Cg t ( ) for all t ∈ (0 , ε ). We write f ≈ g if f ≲ g and g ≲ f . We write f ≪ g if lim t → 0 + f ( ) t g t ( ) = 0.
- · d inn , d out : inner and outer metric (see Definition 1.1).
- · LNE: Lipschitz Normally Embedded (see Definition 1.1).
- · Bi-Lipschitz map, Lipeomorphism and Lipeomorphic: see Definitions 1.4, 1.5, 1.6.
- · V ( X ): Valette link of X (see Definition 1.7).
- · tord and itord : tangency order on outer and inner metric (see Definition 1.8).
- · T γ , γ ( 1 2 ): H¨ older triangle with boundary arcs γ , γ 1 2 (see Definitions 1.9, 1.10).
- · T e ( ): A H¨ older triangle which is a geometric presentation ψ Ce ( ) for an H¨ older complex edge e (see Definition 1.41).
- · Lsing X ( ): Lipschitz singular arcs of X (see Definition 1.15).
- · G X ( ): generic arcs of X (see Definition 1.15).
- · µ T ( ): exponent of T (see Definition 1.10).
- · I ( T ): set of interior arcs of T (see Definition 1.10).
- · ∆( γ, γ ′ ) = ⋃ 0 ≤ ≪ t 1 [ γ t , γ ( ) ′ ( )] (see Definition 1.18). t
- · Abn X ( ) and Nor X ( ): abnormal and normal zones (see Definition 1.32).
- · (Basic/Simple) Snake: see Definitions 1.35 and 5.6, respectively.
- · E α Z,Z ′ : α -subsegment of Z (see Definition 5.4).
- · m X,α ( γ ): α -multiplicity of γ (see Definition 5.2).
- · Spec ( N ): spectrum of the node N (see Definition 4.31 of [14]).
- · ∼ b ; b ∈ (0 , + ∞ ]: b -equivalence (see Definitions 1.51, 1.53).
- · MDH X,x b · ( 0 ) and MDH X,x ,d,A b · ( 0 ): b -moderately discontinuous homology group of ( X,x 0 ) (see Definition 1.54 and Remark 1.55).
- · H b,η,d inn ( X , ) H b,η ( X ): inner b -horn and b -horn neighborhood of amplitude η of X , respectively (see Definition 1.56).
- · b -map, b -cover, b -retract, b -contractible: see Definitions 1.62, 1.64, 1.66.
- · (Abstract/Geometric/Canonical) H¨lder complex: see Definitions 1.40, 1.41, 1.47. o
- · HC F : Abstract H¨lder complex (see Definition 1.40) o

## 1. Preliminaries

## 1.1. Normally embedded sets, outer e inner lipeomorphisms.

Definition 1.1. Given a set X ⊂ R n we can define two metrics on X : the outer metric d out ( x, y ) = ∥ x - ∥ y and the inner metric d inn ( x, y ) = inf { l ( α ) } , where l ( α ) is the length of a rectifiable path α from x to y in X . A set X ⊂ R n is Lipschitz normally embedded (or LNE , for short) if the outer and inner metrics are equivalent, i.e., there is C ≥ 1 such that d inn ( x, y ) ≤ Cd out ( x, y ) for all x, y ∈ X .

Remark 1.2. Note that the germ of a definable set X ⊂ R n is always connected and then it is path-connected. Therefore, d out ( x, y ) ≤ d inn ( x, y ) &lt; ∞ ∀ , x, y ∈ X .

Remark 1.3. The inner metric is not always definable, but one can consider an equivalent definable metric as in [16] , for example, the pancake metric defined in [9] .

Definition 1.4. Given two metric spaces ( X , d 1 1 ) and ( X , d 2 2 ) , we say that a homeomorphism φ : X 1 → X 2 is bi-Lipschitz (with respect to the metrics d 1 and d 2 ) if there exists a real number C ≥ 1 such that:

$$\frac { 1 } { C } \cdot d _ { 1 } ( p, q ) \leq d _ { 2 } ( \varphi ( p ), \varphi ( q ) ) \leq C \cdot d _ { 1 } ( p, q ), \quad \forall p, q \in X _ { 1 }.$$

For each C ≥ 1 that satisfies such a condition, we say that the map φ is C -bi-Lipschitz. Furthermore, we say that the metric spaces ( X , d 1 1 ) and ( X , d 2 2 ) are bi-Lipschitz equivalent (or lipeomorphic ) if there exists a bi-Lipschitz map φ : X 1 → X 2 .

Definition 1.5. Given two sets X 1 ⊂ R m , X 2 ⊂ R n , an outer bi-Lipschitz map between X 1 and X 2 (or outer lipeomorphism ) is a map that is bi-Lipschitz with respect to the outer metrics of X 1 and X 2 . An inner bi-Lipschitz map between X 1 and X 2 (or inner lipeomorphism ) is a map that is bi-Lipschitz with respect to the inner metrics of X 1 and X 2 .

Definition 1.6. Given two sets X 1 ⊂ R m , X 2 ⊂ R n , we say that X 1 and X 2 are outer biLipschitz equivalent (or outer lipeomorphic ) if there exists an outer lipeomorphism between X 1 and X 2 . We also say that X 1 and X 2 are inner bi-Lipschitz equivalent (or inner lipeomorphic ) if there exists an inner lipeomorphism between X 1 and X 2 .

## 1.2. Arcs, tangency orders and H¨lder triangles. o

Definition 1.7. An arc in R n is a germ at the origin of a mapping γ : [0 , ϵ ) -→ R n such that γ (0) = 0 . Unless otherwise specified, we suppose that arcs are parameterized by the distance to the origin, i.e., || γ t ( ) || = t . We usually identify an arc γ with its image Im( γ ) in R n . For a germ at the origin of a set X , the set of all arcs γ ⊂ X is denoted by V ( X ) (known as the Valette link of X , see [17] ).

Definition 1.8. Given two arcs γ , γ 1 2 ∈ V ( X ) , the tangency order of γ 1 , γ 2 , denoted as tord γ , γ ( 1 2 ) , is defined as follows:

̸

̸

- · if γ 1 = γ 2 , then tord γ , γ ( 1 2 ) is the exponent q ∈ F where || γ 1 ( ) t -γ 2 ( ) t || = ct q + ( o t q ) with c = 0 (such exponent q always exists, see [12] );
- · if γ 1 = γ 2 , then tord γ , γ ( 1 2 ) = ∞ .

For an arc γ and a set of arcs Z ⊂ V ( X ) , the tangency order of γ and Z , denoted as tord γ, Z ( ) , is the supremum of tord γ, λ ( ) over all arcs λ ∈ Z . The tangency order of two sets of arcs Z and Z ′ , denoted as tord Z, Z ( ′ ) , is the supremum of tord γ, Z ( ′ ) over all arcs

γ ∈ Z . Similarly, we define the tangency orders in the inner metric, denoted respectively by itord γ , γ ( 1 2 ) , itord γ, Z ( ) and itord Z, Z ( ′ ) .

Definition 1.9. For β ∈ F , β ≥ 1 , the standard β -H¨ older triangle T β ⊂ R 2 is the germ at the origin of the set

$$T _ { \beta } = \{ ( x, y ) \in \mathbb { R } ^ { 2 } \ | \ 0 \leq x \leq 1, \ 0 \leq y \leq x ^ { \beta } \}.$$

The curves { 0 ≤ x ≤ 1 , y = 0 } and { 0 ≤ x ≤ 1 , y = x β } are the boundary arcs of T β .

Definition 1.10. A germ at the origin of a set T ⊂ R n that is inner lipeomorphic to the standard β -H¨ older triangle T β is called a β -H¨ older triangle (see [1] ). The number β ∈ F is called the exponent of T and is denoted by µ T ( ) . The arcs γ 1 and γ 2 of T mapped to the boundary arcs of T β by the lipeomorphism are the boundary arcs of T . All other arcs of T are interior arcs . The H¨ older triangle is denoted by T = T γ , γ ( 1 2 ) and the set of interior arcs of T is denoted by I ( T ) .

Remark 1.11. A H¨ older triangle T is LNE if, and only if, tord γ, γ ( ′ ) = itord γ, γ ( ′ ) for any two arcs γ and γ ′ of T (see [7, Theorem 2.2] ).

̸

Definition 1.12. Let X be a surface (a two-dimensional set). An arc γ ∈ V ( X ) is Lipschitz non-singular if there exists a LNE H¨ older triangle T ⊂ X such that γ ∈ I ( T ) and γ ⊂ X \ T . Otherwise, γ is Lipschitz singular . It follows from pancake decomposition (see Definition 1.21 and Remark 1.22) that a surface X contains finitely many Lipschitz singular arcs. The union of all Lipschitz singular arcs in X is denoted by Lsing X ( ) .

Example 1.13. Boundary arcs or arcs which are self intersection of the surface are trivial examples of Lipschitz singular arcs. An interesting example is obtained considering T = T 1 ∪ T 2 , where T 1 = T γ , λ ( 1 ) = { ( x, y, z ) | x ≥ 0 0 , ≤ y ≤ x , z β = 0 } and T 2 = T λ, γ ( 2 ) = { ( x, y, z ) | x ≥ 0 , 0 ≤ y ≤ x , β z = x α -β y } for γ 1 ( ) t = ( t, t β , 0) , γ 2 ( ) t = ( t, t β , t α ) and λ t ( ) = ( t, 0 0) , , with α, β ∈ F satisfying 1 ≤ β &lt; α . Any H¨ older triangle containing λ as interior arc could not be LNE, therefore λ is Lipschitz singular (see Example 2.11 of [14] ).

Definition 1.14. A H¨ older triangle T is non-singular if all interior arcs of T are Lipschitz non-singular.

Definition 1.15. Let X be a surface germ with connected link. The exponent µ X ( ) of X is defined as µ X ( ) = min γ,γ ′ ∈ V ( X ) { itord γ, γ ( ′ ) } . A surface X with exponent β is called a β -surface. An arc γ ⊂ X \ Lsing X ( ) is generic if itord γ, γ ( ′ ) = µ X ( ) for all arcs γ ′ ⊂ Lsing X ( ) . The set of generic arcs of X is denoted by G X ( ) .

Remark 1.16. Probably, for many readers, the natural way of defining µ X ( ) would be µ X ( ) = inf γ,γ ′ ∈ V ( X ) { itord γ, γ ( ′ ) } . However, it follows from the Arc Selecion Lemma that for a fixed γ ∈ V ( X ) , we have inf γ ′ ∈ V ( X ) { itord γ, γ ( ′ ) } = itord γ, γ ( 0 ) for some γ 0 ∈ V ( X ) .

Remark 1.17. If X = T γ , γ ( 1 2 ) is a non-singular β -H¨ older triangle then an arc γ ⊂ X is generic if, and only if, itord γ , γ ( 1 ) = itord γ, γ ( 2 ) = β .

Definition 1.18. Let γ, γ ′ ∈ V ( R n ) . We define the α -H¨ older triangle

$$\Delta ( \gamma, \gamma ^ { \prime } ) = \bigcup _ { 0 \leq t \ll 1 } [ \gamma ( t ), \gamma ^ { \prime } ( t ) ],$$

where [ γ t , γ ( ) ′ ( )] = t { sγ t ( ) + (1 -s γ ) ′ ( ) t ∈ R n | s ∈ [0 , 1] } and α = itord γ, γ ( ′ ) . Notice that ∆( γ, γ ′ ) is LNE and non-singular.

Definition 1.19. Let X and ˜ X be two β -H¨ older triangles and h : X → ˜ X a homeomorphism. We say h is weakly outer bi-Lipschitz when tord h γ , h γ ( ( ) ( ′ )) &gt; β for any arcs γ and γ ′ of X if, and only if, tord γ, γ ( ′ ) &gt; β . If such a homeomorphism exists, we say that X and ˜ X are weakly outer Lipschitz equivalent .

Remark 1.20. It follows from Theorem 6.28 of [14] that when two β -snakes X and ˜ X are weakly outer equivalent we can write the decomposition of their Valette links as segments and nodal zones, V ( X ) = ⊔ I S i ⊔ ⊔ J N j and V ( ˜ ) = X ⊔ I ˜ S i ⊔ ⊔ J ˜ N j , assuming that S , S i ˜ i and N , N j ˜ j are correspondent for every i ∈ I and j ∈ J , even preserving the correspondent nodes and cluster partitions of segments (see Definition 4.32 in [14] ).

## 1.3. Pancake decomposition.

Definition 1.21. Let X ⊂ R n be the germ at the origin of a closed set. A pancake decomposition of X is a finite collection of closed LNE subsets X k of X with connected links, called pancakes , such that X = ⋃ k ∈ I X k and

$$d i m ( X _ { j } \cap X _ { k } ) < m i n ( d i m ( X _ { j } ), d i m ( X _ { k } ) ) \ \text{ for all } j, k \in I.$$

Remark 1.22. The term 'pancake' was introduced in [9] , but this notion first appeared (with a different name) in [15] and [16] , where the existence of such decomposition was established.

Remark 1.23. If X is a H¨lder triangle then each pancake o X k is also a H¨lder triangle. o

̸

Definition 1.24. A pancake decomposition { X k } of a set X is reduced if the union of any two adjacent pancakes X j and X k (such that X j ∩ X k = { } 0 ) is not LNE.

Remark 1.25. When the union of two adjacent pancakes is LNE, they can be replaced by their union, reducing the number of pancakes. Thus, a reduced pancake decomposition always exists.

1.4. Abnormal surfaces. Some of the definitions below were first introduced in [8].

Definition 1.26. A nonempty set of arcs Z ⊂ V ( X ) is a zone if, for any two distinct arcs γ 1 and γ 2 in Z , there exists a non-singular H¨lder triangle o T = T γ , γ ( 1 2 ) ⊂ X such that V ( T ) ⊂ Z . If Z = { γ } then Z is a singular zone .

Definition 1.27. Let B ⊂ V ( X ) be a nonempty set. A zone Z ⊂ B is maximal in B if, for any H¨ older triangle T such that V ( T ) ⊂ B , one has either Z ∩ V ( T ) = ∅ or V ( T ) ⊂ Z .

Remark 1.28. A zone could be understood as an analog of a connected subset of V ( X ) , and a maximal zone in a set B is an analog of a connected component of B .

Definition 1.29. The order µ Z ( ) of a zone Z is defined as the infimum of tord γ, γ ( ′ ) over all arcs γ and γ ′ in Z . If Z is a singular zone then we define µ Z ( ) = ∞ . A zone Z of order β is called a β -zone.

Remark 1.30. The tangency order can be replaced by the inner tangency order in Definition 1.29. Note that, for any arc γ ∈ Z , inf γ ′ ∈ Z tord γ, γ ( ′ ) = inf γ ′ ∈ Z itord γ, γ ( ′ ) = µ Z ( ) . Moreover, differently from Definition 1.15, the order of a zone could not be a minimum (for a example, see Example 2.46 of [14] ).

Definition 1.31. A zone Z is LNE if, for any two arcs γ and γ ′ in Z , there exists a LNE H¨ older triangle T = T γ, γ ( ′ ) such that V ( T ) ⊂ Z .

Definition 1.32. A Lipschitz non-singular arc γ of a surface germ X is abnormal if there are two LNE H¨lder triangles o T ⊂ X and T ′ ⊂ X such that T ∩ T ′ = γ and T ∪ T ′ is not LNE. Otherwise γ is normal . A zone is abnormal (resp., normal ) if all of its arcs are abnormal (resp., normal). The sets of abnormal and normal arcs of X are denoted by Abn X ( ) and Nor X ( ) , respectively. A surface germ X is called abnormal if Abn X ( ) = G X ( ) .

Definition 1.33. Given an abnormal (resp., normal) arc γ ⊂ X , the maximal abnormal zone (resp., maximal normal zone ) in V ( X ) containing γ is the union of all abnormal (resp., normal) zones in V ( X ) containing γ . Alternatively, the maximal abnormal (resp., normal) zone containing γ is a maximal zone in Abn X ( ) (resp., Nor X ( ) ) containing γ .

Remark 1.34. It follows from Definition 1.32 that the property of an arc to be abnormal (resp., normal) is an outer bi-Lipschitz invariant: if h : X → X ′ is an outer lipeomorphism then h γ ( ) ⊂ X ′ is an abnormal (resp., normal) arc for any abnormal (resp., normal) arc γ ⊂ X . Since the property of an arc to be abnormal (resp., normal) is outer Lipschitz invariant, maximal abnormal (resp., normal) zones in V ( X ) are also outer Lipschitz invariant: if h : X → X ′ is an outer lipeomorphism then h Z ( ) ⊂ V ( X ′ ) is a maximal abnormal (resp., normal) zone for any maximal abnormal (resp., normal) zone Z ⊂ V ( X ) . Here h : V ( X ) → V ( X ′ ) is the natural action of h on arcs in X .

Definition 1.35. A non-singular β -H¨ older triangle T is called a β -snake if T is an abnormal surface (see Definition 1.32).

Remark 1.36. It was proved in [14] that the Valette link of a β -snake X can be decomposed into finitely many disjoint zones called segments and nodal zones (see Definition 4.19). Those zones are LNE, when the β -snake is not a spiral snake (see Proposition 4.55). Using this decomposition, Gabrielov and Souza created a combinatorial object, W X ( ) , associated with X . More specifically, W X ( ) is a word, in some alphabet, say { x , x 1 2 , . . . } , satisfying two conditions (see Definition 6.6). Any word satisfying those conditions a snake name and they proved that, for any snake name W with length m&gt; 3 , there is a snake X in R 2 m -1 such that W = W X ( ) (see Theorem 6.23).

Example 1.37. In this example we illustrate how to associate a word W X ( ) with a snake X = T γ , γ ( 1 2 ) . Let X be a snake with link as in Figure 1. Recall that a node of X is the union of nodal zones with tangency orders higher than µ X ( ) (see Definition 4.31 of [14] ). First, we choose an orientation for X , say from γ 1 to γ 2 . Second, we assign letters to the nodes by moving through the link of X , respecting this orientation, in a way the first node encountered is assigned to the first letter of the alphabet and so on, skipping the nodes already assigned. Finally, we obtain the word associated with X by traversing the link again, accordingly to the orientation, adding a letter every time we pass through a node. In this case, in the alphabet { x , x 1 2 , . . . } , we have W X ( ) = [ x x x x x x 1 2 1 3 2 3 ] .

Figure 1. Example of a snake oriented from γ 1 to γ 2 with the letters x 1 , x 2 and x 3 assigned to its three nodes, each with two nodal zones each. Points inside the shaded disks represent arcs with tangency order higher than β .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-d3359088-142a-482b-abb8-1713b4ed2642.jpg)

̸

Example 1.38. Let us present a concrete example for the construction in Theorem 6.23 of [14] . This understanding will be fundamental for the proof of Theorem 4.7 below. Let us start with a brief recall of the main objects in the construction. For a snake name W = [ w 1 · · · w m ] and exponents α &gt; β ≥ 1 , consider the arcs δ , . . . , δ 1 m and σ , . . . , σ 1 m -1 in R 2 m -1 = ⟨ e , . . . , e 1 2 m -1 ⟩ defined by δ 1 ( ) t = te 1 and, for j &gt; 1 , δ j ( ) t = δ 1 ( ) + t t β e j if w i = w j , for all i &lt; j , and δ j ( ) t = δ r j ( ) + t α e j otherwise, where r j ( ) = min { i &lt; j | w i = w j } . Nevertheless, σ j ( ) t = δ 1 ( ) + t t β e m j + for 1 ≤ j ≤ m -1 . Finally, consider X = ⋃ m -1 j =1 T j , where T j = ∆( δ , σ j j ) ∪ ∆( σ , δ j j +1 ) (see Definition 1.18). We have that X is a β -snake and W X ( ) = W . In Figure 2, black line, we have the geometric scheme of this procedure where W = [ x x x x x x 1 2 1 3 2 3 ] .

Figure 2. Link of a snake X = ⋃ 5 j =1 T j ⊂ R 11 (black line) such that W X ( ) = [ x x x x x x 1 2 1 3 2 3 ]. In blue we have the link of other snake which has the same word associated with it. Points inside the shaded disks represent arcs with tangency order higher than β .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-39af25ab-121c-4fa8-b1b7-5ea4914d1457.jpg)

Remark 1.39. Despite the word associated with a snake is an interesting Lipschitz invariant combinatorial object, it ignores many geometric properties of a snake, for example, the spectra of its nodes (see Definition 4.31 of [14] ).

## 1.5. H¨ older Complex and Inner Classification of Surfaces.

Definition 1.40. Let G a finite graph without loops (by a loop we mean an edge connecting one vertex to itself), V ( G ) the set of its vertices and E G ( ) the set of its edges. An abstract H¨lder complex in o F is a pair ( G,σ ) , where σ : E G ( ) → F is a function. The set of all such abstract H¨lder complexes is denoted by o HC F .

Two H¨ older complexes ( G , σ 1 1 ) , ( G , σ 2 2 ) ∈ HC F are isomorphic if there is a graph isomorphism i : G 1 → G 2 such that, for every g ∈ E G ( ) , we have σ 2 ( ( i g )) = σ 1 ( g ) .

Definition 1.41. Let ( G,σ ) ∈ HC F be a H¨lder complex and o X ⊂ R n . For each set S , let CS be the topological cone over S . We say that X is a geometric H¨lder complex o corresponding to ( G,σ ) if the following holds:

- (1) there is a homeomorphism ψ : CG → X such that ψ a ( ) = 0 , where a is the vertex of CG ;
- (2) for each e ∈ E G ( ) , with vertices u and v , the set T e ( ) = ψ Ce ( ) is a σ e ( ) -H¨ older triangle with boundary arcs γ 0 = ψ Cu ( ) and γ 1 = ψ Cv ( ) . Here, Ce, Cu, Cv ⊂ CG are the subcones over e , u , v , respectively.

The map ψ is a presentation map for ( G,σ ) .

Remark 1.42. For every H¨lder complex o ( G,σ ) ∈ HC Q ≥ 1 , there is n ∈ N and a closed 2-dimensional semialgebraic set germ X ⊂ R n such that X is a geometric H¨lder complex o corresponding to ( G,σ ) (see Realization Theorem in [10] ).

Definition 1.43. Let G be a graph without loops and isolated vertices. Given v ∈ V ( G ) , we say that v is a:

̸

- · loop vertex of G if v is incident with exactly two edges e , e 1 2 ∈ E G ( ) , with e , e 1 2 incident to a vertex v 0 ∈ V ( G ) , v 0 = v .

̸

- · non-critical vertex of G if v is incident with exactly two edges vv , vv 1 2 ∈ E G ( ) , with v , v 1 2 ∈ V ( G ) , v 1 = v 2 .
- · critical vertex of G if v is incident with at least three edges.

Definition 1.44. Let G be a graph with neither loops nor isolated vertices. Given a noncritical vertex v ∈ V ( G ) , a surgery in v is the graph Ω ( v G ) obtained from G by removing v and its two incidents edges vv , vv 1 2 , and connecting v , v 1 2 with a edge e . We say that G is a simplified graph if there are only critical and loop vertices in V ( G ) . We also say that the simplified graph ˜ G is a simplification of G if ˜ G is a simplified graph and ˜ G can be obtained from G by applying a finite number (possibly none) of surgeries.

Definition 1.45. Let ( G,σ ) be a H¨lder Complex. o Given v ∈ V ( G ) , consider the two following operations:

̸

- · Operation Ω v . Let v be a non-critical vertex of G and Ω ( v G ) a surgery in v , with the edges e , e 1 2 replaced by e . The operation Ω v takes ( G,σ ) to the H¨lder complex o (Ω ( v G , σ ) v ) , where σ v ( a ) = σ a ( ) if a = e , and σ v ( e ) = min { σ e ( 1 ) , σ ( e 2 ) } .

̸

- · Operation ∆ v . Let v be a loop vertex of G and e , e 1 2 ∈ E G ( ) be the edges incident in v . The operation ∆ v takes ( G,σ ) to the H¨lder complex o ( G,σ v ) , where σ v ( a ) = σ a ( ) if a = e , e 1 2 , and σ v ( e 1 ) = σ v ( e 2 ) = min { σ e ( 1 ) , σ ( e 2 ) } .

We say that ( G,σ ) is a simplified H¨ older complex if the operations Ω v and ∆ v cannot be applied to ( G,σ ) (in particular, G is a simplified graph). We also say that the simplified H¨lder complex o ( ˜ G,σ ˜) is a simplification of ( G,σ ) if ( ˜ G,σ ˜) can be obtained by ( G,σ ) by applying the operations Ω v or ∆ v a finite number (possibly none) of times.

Remark 1.46. Every finite graph has a simplification, and the simplification is unique up to isomorphisms. Moreover, if G 1 and G 2 are two graphs homeomorphic as topological spaces in the natural graph topology, then the simplifications of G 1 and G 2 are isomorphic (see [1] , Theorem 7.2). In the same line, every abstract H¨ older complex has a simplification, and the simplification is unique up to isomorphisms (see [1] , Proposition 7.3). Moreover, if X is a geometric H¨lder complex corresponding to o ( G,σ ) , and if ( ˜ G,σ ˜) is the simplification of ( G,σ ) , then X is a geometric H¨lder complex corresponding to o ( ˜ G,σ ˜) (see [1] , Lemma 8.1).

Definition 1.47. Let X ⊂ R n be a surface, and suppose X is the geometric H¨ older complex corresponding to ( G,σ ) . If ( ˜ G,σ ˜) is the simplification of ( G,σ ) , the canonical H¨ older complex of X is defined as the H¨lder complex o ( ˜ G,σ ˜) .

Theorem 1.48 (Theorem 8.2 in [1]) . Let X ∈ R n , Y ∈ R m be two closed surfaces. Then, X and X are inner lipeomorphic if, and only if, the canonical H¨lder complexes of o X and Y are isomorphic.

1.6. Moderately discontinuous homology. Since the moderately discontinuous homology is a very recent theory, we briefly recall the main definitions of it. For more details about this theory, we refer the reader to [13]. The theory works for a large class of distances, but here we only consider the outer and inner metrics.

For n ∈ Z ≥ 0 , let ∆ n ⊂ R n +1 be the standard n -simplex , i.e,

$$\Delta _ { n } \coloneqq \left \{ ( p _ { 0 }, \dots, p _ { n } ) \in \mathbb { R } _ { \geq 0 } ^ { n + 1 } \colon \sum _ { i = 0 } ^ { n } p _ { i } = 1 \right \},$$

with the orientation induced by the standard orientation of the convex hull of ∆ n ∪{ } ⊂ 0 R n +1 . For 0 ≤ k ≤ n , define i k n : ∆ n -1 → ∆ as n

$$i _ { n } ^ { k } ( p _ { 0 }, \dots, p _ { n - 1 } ) = ( p _ { 0 }, \dots, p _ { k - 1 }, 0, p _ { k }, \dots, p _ { n - 1 } ).$$

Set

$$\hat { \Delta } _ { n } \coloneqq \{ ( t x, t ) \in \mathbb { R } ^ { n + 1 } \times \mathbb { R } \, \colon x \in \Delta _ { n }, t \in [ 0, 1 ) \}$$

↦

and let ˆ j k n : ˆ ∆ n -1 → ˆ ∆ n , ( tx, t ) → ( ti k n ( x , t ) ). We identify ∆ ˆ n with its germ at (0 , 0).

Definition 1.49. Given a definable germ ( X,x 0 ) ⊂ ( R n , x 0 ) with a metric d , a linearly vertex approaching n -simplex (l.v.a. n -simplex) in ( X,x 0 ) is a subanalytic continuous map germ σ : ˆ ∆ n → ( X,x 0 ) such that there is K ≥ 1 satisfying

$$\frac { t } { K } \leq \| \sigma ( t x, t ) - x _ { 0 } \| \leq K t, \, \forall ( x, t ) \in \hat { \Delta } _ { n }.$$

A linear vertex approaching n -chain in ( X,x 0 ) is a finite formal sum ∑ i ∈ I a σ i i where a i ∈ Z and σ i is a l.v.a. n -simplex in ( X,x 0 ) . Denote by MDC pre n ( X,x 0 ) the abelian group of n -chains. The boundary of σ is a formal sum of ( n -1) -simplices defined as

$$\partial \sigma \coloneqq \sum _ { k = 0 } ^ { n } ( - 1 ) ^ { k } \sigma \circ \hat { j } _ { n } ^ { k }.$$

Definition 1.50. A homological subdivision of ˆ ∆ n is a finite collection { ρ i } i ∈ I of injective l.v.a. map germs ρ i : ˆ ∆ n → ˆ ∆ n such that there is a subanalytic triangulation α : | K | → ˆ ∆ n with the following properties

- · α is compatible with faces of ˆ ∆ n ;
- · the collection { T i } of maximal triangles of α is also indexed by I ;
- · for any i ∈ I , ρ i ( ˆ ∆ ) = n T i and the map α -1 ◦ ρ i takes faces of ˆ ∆ n to faces of K .

The sign of ρ i , denoted by sgn ρ ( i ) , is defined to be 1 if ρ i is orientation preserving, and -1 if it is of the opposite orientation.

Definition 1.51. Let b ∈ (0 , + ∞ ] . Two n -simplices σ 1 and σ 2 in MDC pre n ( X,x 0 ) are called b -equivalent if

- · for b &lt; ∞ :

$$\lim _ { t \to 0 } \frac { \max \{ d ( \sigma _ { 1 } ( t x, t ), \sigma _ { 2 } ( t x, t ) ) \ \colon \, x \in \Delta _ { n } \} } { t ^ { b } } = 0.$$

- · for b = ∞ : σ 1 ( tx, t ) = σ 2 ( tx, t ) , ∀ x ∈ ∆ n .

The b -equivalence between σ 1 and σ 2 is denoted by σ 1 ∼ b σ 2

Remark 1.52. An arc, as in Definition 1.7, could be seen as a 0 -simplex. Therefore, it follows from Definition 1.51 that two arcs γ and γ ′ are b -equivalent if, and only if, tord γ, γ ( ′ ) &gt; b . Consequently, arcs in a same node of a snake X are b -equivalent for b ≤ µ X ( ) .

Definition 1.53. Let b ∈ (0 , + ∞ ] . Let z = ∑ i ∈ I a σ i i and z ′ = ∑ j ∈ J b τ j j be l.v.a. n -complex chains in MDC pre n ( X,x 0 ) . Write I = ⊔ k ∈ K I k and J = ⊔ k ∈ K J k where

- (a) i 1 , i 2 ∈ I belong to the same I k iff σ i 1 ∼ b σ i 2 .
- (b) j , j 1 2 ∈ J belong to the same J k iff τ j 1 ∼ b τ j 2 .
- (c) for k ∈ K i , ∈ I k , j ∈ J k we have σ i ∼ b τ j .

Then, z is called b -equivalent to z ′ , denoted by z ∼ b z ′ , if for any k ,

$$\sum _ { i \in I _ { k } } a _ { i } = \sum _ { j \in J _ { k } } b _ { j }.$$

Definition 1.54. Let b ∈ (0 , + ∞ ] . The b -moderately discontinuous chain complex of ( X,x 0 ) is the quotient group MDC X,x b · ( 0 ) := MDC pre · ( X,x 0 ) / ∼ b . Its homology is called b -moderately discontinuous homology (or b -MD-Homology , for short), denoted by MDH X,x b · ( 0 ) .

Remark 1.55. When we want to emphasize the metric d and the abelian group A we write MDH X,x ,d,A b · ( 0 ) instead of MDH X,x b · ( 0 ) .

Definition 1.56. Let X ⊂ R n be a subanalytic germ with metric d . Let b ∈ (0 , + ∞ ) . The inner b -horn neighborhood of amplitude η of X is the subset

$$\mathcal { H } _ { b, \eta, d _ { i n n } } ( X ) \coloneqq \bigcup _ { x \in X } \{ z \in \mathbb { R } ^ { n } ; d _ { i n n } ( z, x ) < \eta \| x \| ^ { b } \}.$$

The b -horn neighborhood of amplitude η of X is the subset

$$\mathcal { H } _ { b, \eta } ( X ) \coloneqq \bigcup _ { x \in X } \{ z \in \mathbb { R } ^ { n } ; \| x - z \| < \eta \| x \| ^ { b } \}.$$

The ∞ -horn neighborhood H ∞ ,η ( X ) is defined to be X .

Definition 1.57. Let ( X,x 0 ) be a subanalytic germ. An element b ∈ [1 , ∞ ) is called a jumping rate of ( X,x 0 ) if for any small enough ε &gt; 0 the natural homomorphism

$$h _ { * } ^ { b + \varepsilon, b - \varepsilon } \colon M D H _ { * } ^ { b + \varepsilon } ( X, x _ { 0 } ) \to M D H _ { * } ^ { b - \varepsilon } ( X, x _ { 0 } )$$

is not an isomorphism.

We have the following interesting results relating moderately discontinuous homology with the singular homology:

Theorem 1.58 (Theorem 10.1 in [13]) . We have an isomorphism between the singular homology H X ∗ ( \ { x 0 } , x 0 ) and MDH ∞ ∗ ( X,x 0 ) .

Theorem 1.59 (Corollary 11.12 in [13]) . Let X be a subanalytic germ at 0 in R n . Let b ∈ (0 , + ∞ ) and η &gt; 0 . There exists a b ′ satisfying b &lt; b ′ such that the b -MD homology MDH X, b · ( 0) is isomorphic, for any b ′′ ∈ ( b, b ′ ) , to the singular homology of the punctured b ′′ -horn neighborhood H b ′′ ,η ( X ) \ { 0 } .

Theorem 1.60 (Theorem 11.14 in [13]) . Let ( X,x 0 ) ∈ R n be a subanalytic germ. Then, for each b ∈ F and n ∈ N , the Z -modules MDH X,x ,d b n ( 0 inn ) and MDH X,x ,d b n ( 0 out ) are finitely generated over Z .

Theorem 1.61 (Theorem 11.14 in [13]) . The set of jumping rates of ( X,x 0 ) is finite.

1.7. b -maps and Mayer-Vietoris. In this subsection we show some functoriality properties of the b -MD homology for a fixed b by allowing a certain class of non-continuous maps, which we call b -maps. This makes our theory quite flexible. The discontinuities that we allow are moderated in a Lipschitz sense. This may be seen as a motivation for the name of the homology.

Definition 1.62. Let ( X,x 0 ) and ( Y, y 0 ) be subanalytic germs. For b ∈ (0 , ∞ ) , a b -moderately discontinuous subanalytic map from ( X,x 0 ) to ( Y, y 0 ) (or b -map, for short) is a finite collection { ( C , f i i ) } i ∈ I , where { C i } i ∈ I is a finite closed subanalytic cover of X and f i : C i → Y is a l.v.a. subanalytic map satisfying the following: for any b -equivalent pair of arcs γ and γ ′ contained in C i and C j , respectively ( i and j may be equal), the arcs f i ◦ γ and f j ◦ γ ′ are b-equivalent in Y . For b = ∞ , a b -map from X to Y is a l.v.a. subanalytic map from X to Y .

Two b -maps { ( C , f i i ) } i ∈ I and { ( C , f ′ i ′ i ) } i ∈ I ′ are called b -equivalent if for any b -equivalent pair of arcs γ , γ ′ with Im ( γ ) ⊆ C i and Im ( γ ′ ) ⊆ C ′ i ′ , the arcs f i ◦ γ and f ′ i ′ ◦ γ ′ are bequivalent in Y . We make an abuse of language and we also say that a b -map from ( X,x 0 ) to ( Y, y 0 ) is an equivalence class as above.

Remark 1.63. Let { ( C , f i i ) } i ∈ I be a b -map from X to Y and let { ( D , g j j ) } j ∈ J be a b -map from Y to Z . Then the composition of the two b-maps is well defined by { ( f -1 i ( D j ) ∩ C , g i j ◦ f i f | -1 i ( D j ) ∩ C i ) } ( i,j ) ∈ × I J . Then, the category of metric subanalytic germs with b -maps is well defined. Moreover, the b -moderately discontinuous homology is invariant by isomorphisms in the category of b -maps.

Definition 1.64. Let ι : X ↪ → Y be a l.v.a. map of subanalytic germs which on the level of sets is an injection. A b -retraction is a b -map r : Y → X such that r ◦ ι is the identity as a b -map. A b -deformation retraction is a b -retraction such that ι ◦ r is b -homotopic to the identity (for a definition of b -homotopy, see Definition 7.5 of [13] ). In those cases X is called a b -retract or b -deformation retract of Y , respectively.

A metric subanalytic germ is called b -contractible if it admits [0 , ϵ ) as a b -deformation retract.

Remark 1.65. If ι : X ↪ → Y admits a b -deformation retraction, ι induces a quasiisomorphism of b -MD chain complexes. In particular, if X is b -contractible then it has the b -MD-Homology of an arc (see Corollary 7.8 of [13] ).

Definition 1.66. Let ( X,x 0 ) be a germ and let b ∈ (0 , ∞ ] . A finite collection { U i } i ∈ I of subanalytic germs in x 0 is called a b -cover of ( X,x 0 ) if it is a finite cover of X \ { x 0 } and, for any i ∈ I , there is a subanalytic subset ̂ U i ⊆ X such that

- · for any two b -equivalent arcs γ , γ 1 2 : [0 , ϵ ) → ( X,x 0 ) , if γ 1 has image in U i then γ 2 has image in ̂ U i .
- · For any finite J ⊆ I there is a subanalytic map r J : ⋂ i ∈ J ̂ U i → ⋂ i ∈ J U i which induces an inverse in the derived category of the morphism of complexes:

$$M D C _ { \bullet } ^ { b } \left ( \bigcap _ { i \in J } U _ { i }, x _ { 0 } \right ) \to M D C _ { \bullet } ^ { b } \left ( \bigcap _ { i \in J } \widehat { U } _ { i }, x _ { 0 } \right ).$$

We call the collection { ̂ U i } i ∈ I a b -extension of { U i } i ∈ I . A b -cover { U i } i ∈ I of ( X,x 0 ) is said to be closed (resp. open ) if any of the subsets U i is closed (resp. open) in X \{ x 0 } .

Remark 1.67. In the terminology of Definition 1.66, the following two conditions imply the respective two conditions of the definition:

- · there is a b -horn neighborhood H b,η ( U i ) such that H b,η ( U i ) ∩ X ⊆ ̂ U i for any i ∈ I .
- · For any finite J ⊆ I , the intersection ⋂ i ∈ J U i is a b -deformation retract of ⋂ i ∈ J ̂ U i .

Notice also that for b = ∞ , any finite subanalytic cover of X is a b -cover.

Theorem 1.68 (Theorem 8.11 in [13]) . Let ( X,x 0 ) be a subanalytic germ and let { U, V } be either a closed or an open a b -cover of ( X,x 0 ) . Then there is a Mayer-Vietoris long exact sequence as follows:

· · · → MDH b n +1 ( X ) → MDH U b n ( ∩ V ) → MDH U b n ( ) ⊕ MDH V b n ( ) → MDH X b n ( ) →···

̸

## 2. MD-Homology of Surface Germs, Degree n = 1

̸

This section is devoted to calculate the MD-homology of surface germs ( X, 0) for n = 1, for both the inner and outer metrics. We first calculate the MD-Homology of degree n ≥ 1 for H¨lder triangles, and then we use this result to calculate the MD-Homology of degree o n &gt; 1 for any subanalytic surface germ.

In what follows, we consider the abelian group of any MD-Homology as Z and when we omit the base point, it is understood that it is 0. We also consider b ∈ (0 , + ∞ ), since the following results are immediate for b = ∞ , by Theorem 1.58.

Proposition 2.1. Let X be a β -H¨ older triangle. Then, X is b -contractible for the inner metric. In particular, its MD-Homology with respect to the inner metric, for any m ≥ 1 , is MDH b m ( X, 0 , d inn ) = { } 0 .

Proof. Let γ 0 ⊂ X be an arc and consider the inclusion ι : γ 0 → X . Let r : X → γ 0 be the map given by r x ( ) = γ 0 ( ) if, t and only if, d out ( x, 0) = t . Notice that r maps each point of X ∩ S (0 , t ) into γ 0 ( ). t In particular, ι ◦ r : X → X maps x to γ 0 ( | x | ). Let us prove that ι ◦ r is b -homotopic to id X , with respect to the inner metric in X . The result will therefore follow from Proposition 4.4 of [13], since X has the same MD-Homology of an arc, by Remark 1.65.

Consider H : X × I → X , where I = [0 1], , given by H x,s ( ) = (1 -s x ) + sr x ( ). Now, considering ι , r and H as b -maps, for any two arcs θ, θ ′ ⊂ X , we must prove that if itord θ, θ ( ′ ) &gt; b then itord H θ, s , H ( ( ) ( θ , s ′ )) &gt; b for any s ∈ I . Indeed, as the inner tangency order is obtained from the exponent of the pancake metric (see Remark 1.3), it is enough to prove the case where X is a pancake, i.e., X is LNE. In this case, inner tangency order and the tangency order coincide. Thus,

$$d _ { o u t } ( H ( \theta ( t ), s ), H ( \theta ^ { \prime } ( t ), s ) ) = | ( \theta ( t ) - \theta ^ { \prime } ( t ) ) + s ( \theta ^ { \prime } ( t ) - \theta ( t ) + r ( | \theta ( t ) | ) - r ( | \theta ^ { \prime } ( t ) | ) ) |.$$

Since arcs are assumed to be parameterized by the distance to the origin, we have r ( | θ t ( ) ) = | r ( | θ ′ ( ) ) = t | γ 0 ( ). t We finally get

$$d _ { o u t } ( H ( \theta ( t ), s ), H ( \theta ^ { \prime } ( t ), s ) ) = | s - 1 | | \theta ^ { \prime } ( t ) - \theta ( t ) |.$$

Therefore,

$$i t o r d ( \theta, \theta ^ { \prime } ) = i t o r d ( H ( \theta, s ), H ( \theta ^ { \prime }, s ) ).$$

$$\gamma, s ) ). \quad \begin{matrix} \square \end{matrix}$$

As an immediate consequence of Proposition 2.1, we obtain:

Corollary 2.2. Let X be a LNE β -H¨ older triangle. Then, its MD-Homology with respect to the outer metric, for any m ≥ 1 , is

$$M D H _ { m } ^ { b } ( X, 0, d _ { o u t } ) = \{ 0 \}.$$

Theorem 2.3. Let X ∈ R N be a surface germ and m ≥ 2 be an integer. Then, for d ∈ { d inn , d out } , we have

$$M D H _ { m } ^ { b } ( X, 0, d ) \cong \{ 0 \}$$

Proof. Consider a pancake decomposition { T i } 1 ≤ ≤ i n for X , such that each T i is a LNE H¨ older triangle. Such decomposition always exists, since each pancake of X can be subdivided into finitely many H¨lder triangles. o We will prove the theorem by induction on n . The base case n = 1 is trivial by Corollary 2.2. For the inductive step, for each 1 ≤ i ≤ n ,

̸

let σ i : ˆ ∆ 1 → T i be the 1-simplex whose image is the germ T i . For each x ∈ [0 , 1], let the arc γ i,x = γ i,x ( ) = t σ i ( tx, t ). For each η &gt; 0 and i, j ∈ { 1 , . . . , n } , with i = , define j

$$I _ { i, j } ( \eta ) = \left \{ x \in [ 0, 1 ] \ | \ \exists \ y \in [ 0, 1 ] \ \colon \gamma _ { i, x } \subset \overline { \mathcal { H } _ { b, \eta } ( \gamma _ { j, y } ) } \right \} \ ; \ I _ { i, j } = \bigcap _ { \eta > 0 } I ( \eta ).$$

The set I i,j can be equivalently defined as

$$I _ { i, j } = \left \{ x \in [ 0, 1 ] \ | \ \exists \ y \in [ 0, 1 ] \, \colon \lim _ { t \to 0 ^ { + } } \frac { d ( \gamma _ { i, x } ( t ), \gamma _ { j, y } ( t ) ) } { t ^ { b } } = 0 \right \}.$$

̸

Therefore, I i,j is a definable set in [0 , 1], which implies that I i,j is a finite union of points and intervals. Moreover, since η &lt; η ′ implies I i,j ( η ) ⊆ I i,j ( η ′ ), we have that each interval of I i,j is closed. We will now investigate the structure determined by I i,j on T i when I i,j = ∅ . In this case, I i,j is a union of m i,j closed intervals [ a , b 1 1 ] , . . . , [ a m i,j , b m i,j ] (some of them possibly degenerated), with a k ≤ b k (1 ≤ k ≤ m i,j ) and b k &lt; a k +1 (1 ≤ k ≤ m i,j -1).

For 1 ≤ k ≤ m i,j , let T i,j ( k ) = { ⋃ x ∈ [ a k ,b k ] γ i,x } . Each T i,j ( k ) ⊂ T i is either an arc or a LNE H¨ older triangle. In the latter case, each T i,j ( k ) is b -contractible, since T i,j ( k ) has the same b -homotopy type of T i and T i is b -contractible. Now let

$$U = \bigcup _ { k = 1 } ^ { n - 1 } \left ( T _ { k } \cup \left ( \bigcup _ { 1 \leq p \leq m _ { n, k } } T _ { n, k } ( p ) \right ) \right ) \, ; \, V = T _ { n } \cup \left ( \bigcup _ { k = 1 } ^ { n - 1 } \left ( \bigcup _ { 1 \leq p \leq m _ { k, n } } T _ { k, n } ( p ) \right ) \right ).$$

Since γ i,x ∼ b γ j,y if and only if x ∈ I i,j and y ∈ I j,i , we have that { U, V } is a closed b -cover of X (see Definition 1.66). Moreover

$$T _ { k } \cup \left ( \bigcup _ { 1 \leq p \leq m _ { n, k } } T _ { n, k } ( p ) \right ) \sim _ { b } T _ { k } \, ; \, T _ { n } \cup \left ( \bigcup _ { 1 \leq p \leq m _ { k, n } } T _ { k, n } ( p ) \right ) \sim _ { b } T _ { n },$$

implying U ∼ b T 1 ∪ · · · ∪ T n -1 and V ∼ b T n . We also have

$$U \cap V = \left ( \bigcup _ { k = 1 } ^ { n - 1 } \left ( \bigcup _ { 1 \leq p \leq m _ { n, k } } T _ { n, k } ( p ) \right ) \right ) \cup \left ( \bigcup _ { k = 1 } ^ { n - 1 } \left ( \bigcup _ { 1 \leq p \leq m _ { k, n } } T _ { k, n } ( p ) \right ) \right ).$$

Since each T n,k ( p ), T k,n ( p ) is b -contractible, U ∩ V is also b -contractible, and since the MD-Homology of degree m -1 ≥ 1 for an arc is trivial, we have MDH b m -1 ( U ∩ V ) = ∼ { } 0 . Now consider the following Mayer-Vietoris long exact sequence:

$$\cdots \rightarrow M D H ^ { b } _ { m } ( U ) \oplus M D H ^ { b } _ { m } ( V ) \rightarrow M D H ^ { b } _ { m } ( X ) \rightarrow M D H ^ { b } _ { m - 1 } ( U \cap V ) \rightarrow \cdots.$$

By induction hypothesis, we have MDH b m ( U ) ∼ = MDH b m ( T 1 ∪ · · · ∪ T n -1 ) ∼ { } = 0 and MDH b m ( V ) = ∼ MDH b m ( T n ) = ∼ { } 0 . Then, the long exact sequence reduces to

$$\cdots \rightarrow \{ 0 \} \rightarrow M D H _ { m } ^ { b } ( X ) \rightarrow \{ 0 \} \rightarrow \cdots,$$

which implies MDH b m ( X ) = ∼ { } 0 , completing the inductive step.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-2c8bbce4-10dc-4543-8f59-67cfa14eda5d.jpg)

Remark 2.4. By Proposition 9.2 of [13] , the b -MD-Homology of any subanalytic germ ( X,x 0 ) is isomorphic to Z r b,X ( ) , where r b, X ( ) is the number of b -equivalent connected components of X .

## 3. MD-Homology for Surfaces Germs, Degree 1 (Inner Metric)

By the results obtained in the previous section, the most relevant information regarding Lipschitz geometry of surface germs is in this degree, for either the inner or outer metric. This section is devoted to calculate the MD-Homology of degree 1, for the inner metric.

Definition 3.1. Let ( G,σ ) ∈ HC F be a H¨lder complex and o b ∈ F , b ≥ 1 . We define a b -contraction of ( G,σ ) as a H¨lder complex o ( ˜ G,σ ˜) obtained from ( G,σ ) by applying one of the two following operations:

̸

̸

- · Operation A b : Let u, v ∈ V ( G ) connected by a cut-edge ˜ e ∈ E G ( ) (an edge whose removal increase the number of connected components of G ), such that σ e (˜) ≤ b . Let e , . . . , e 1 p = ˜ e the edges incident to u , with e i connecting u to u i , for 1 ≤ i ≤ p (possibly p = 0 ) and f , . . . , f 1 q = ˜ e the edges incident to v , with f i connecting v to v i , for 1 ≤ i ≤ q (possibly q = 0 ). Then, operation A b on { u, v } takes ( G,σ ) to the H¨lder complex o ( ˜ G,σ ˜) , where V ( ˜ ) = ( G V ( G ) \ { u, v } ) ⊔ { w } and

$$E ( \tilde { G } ) = ( E ( G ) \, \sum \{ \tilde { e }, e _ { 1 }, \dots, e _ { p }, f _ { 1 }, \dots, f _ { q } \} ) \sqcup \{ \tilde { e } _ { 1 }, \dots, \tilde { e } _ { p }, \tilde { f } _ { 1 }, \dots, \tilde { f } _ { q } \}$$

Here, ˜ e i is the edge connecting w to u i ( 1 ≤ i ≤ p ) and ˜ f i is the edge connecting w to v i ( 1 ≤ i ≤ q ). Moreover, ˜ σ is defined as:

̸

$$\psi - \psi - \frac { 1 / 2 } { 2 } \cdots \cdots \cdots, \psi - \psi \cdots \cdots \cdots \cdots.$$

Figure 3. Diagram of Operation A b .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-68ea2aa0-5320-4b3b-9ecf-597a4c241dd3.jpg)

̸

- · Operation B b : Let u, v ∈ V ( G ) , m ≥ 1 integer and let a , . . . , a 1 m ∈ E G ( ) be all the edges connecting u and v such that σ a ( i ) &gt; b , for 1 ≤ i ≤ m . Let b , . . . , b 1 n ∈ E G ( ) be the remaining edges connecting u and v (possibly n = 0 ), let e , . . . , e 1 p be the edges incident to u , with e i connecting u to u i = v , for 1 ≤ i ≤ p

̸

(possibly p = 0 ) and let f , . . . , f 1 q be the edges incident to v , with f i connecting v to v i = u , for 1 ≤ i ≤ q (possibly q = 0 ). Then, operation B b on { u, v } takes ( G,σ ) to the H¨lder complex o ( ˜ G,σ ˜) , where V ( ˜ ) = ( G V ( G ) \{ u, v } ) ⊔{ w, w , . . . , w 1 n } and

$$E ( \tilde { G } ) = ( E ( G ) & \, \sum \{ a _ { 1 }, \dots, a _ { m }, b _ { 1 }, \dots, b _ { n }, e _ { 1 }, \dots, e _ { p }, f _ { 1 }, \dots, f _ { q } \} ) \sqcup S \\ & S = \{ \tilde { b } _ { 1 }, \tilde { b } _ { 1 } ^ { \prime }, \dots, \tilde { b } _ { n }, \tilde { b } _ { n } ^ { \prime }, \tilde { e } _ { 1 }, \dots, \tilde { e } _ { p }, \tilde { f } _ { 1 }, \dots, \tilde { f } _ { q } \}$$

Here, ˜ b , b i ˜ ′ i are the edges connecting w to w i ( 1 ≤ i ≤ p ), ˜ e i is the edge connecting w to u i ( 1 ≤ i ≤ p ) and ˜ f i is the edge connecting w to v i ( 1 ≤ i ≤ q ). Moreover, ˜ σ is defined as:

̸

$$o & \text{ is a use } a s. \\ & \begin{cases} \tilde { \sigma } ( e ) = \sigma ( e ), & e \neq \tilde { b } _ { 1 }, \tilde { b } _ { 1 } ^ { \prime }, \dots, \tilde { b } _ { n }, \tilde { b } _ { n } ^ { \prime }, \tilde { e } _ { 1 }, \dots, \tilde { e } _ { p } ; \tilde { f } _ { 1 }, \dots, \tilde { f } _ { q } \\ \tilde { \sigma } ( \tilde { b } _ { i } ) = \tilde { \sigma } ( \tilde { b } _ { i } ^ { \prime } ) = \sigma ( b _ { i } ), & 1 \leq i \leq n \\ \tilde { \sigma } ( \tilde { e } _ { i } ) = \sigma ( e _ { i } ), & 1 \leq i \leq p \\ \tilde { \sigma } ( \tilde { f } _ { i } ) = \sigma ( f _ { i } ), & 1 \leq i \leq q \end{cases}$$

Figure 4. Diagram of Operation B b . Edges inside the shaded disk represent H¨lder triangles with exponent higher than o b .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-d53b2b41-89f1-4e72-84b7-54d2d906bb5d.jpg)

In both operations, we say that w is the merge of u and v . We also say that ( G,σ ) is b -reduced if it is not possible to perform a b -contraction on ( G,σ ) .

Remark 3.2. It is clear that each b -contraction ( ˜ G,σ ˜) of a H¨lder complex o ( G,σ ) ∈ HC F is in fact a well-defined abstract H¨lder complex in o HC F .

Lemma 3.3. Let ( G , σ 0 0 ) ∈ HC F be a canonical H¨lder complex and o b ∈ F , b ≥ 1 . Then, there is n ≥ 0 integer such that ( G , σ n n ) is b -reduced and, for i = 1 , . . . , n , ( G , σ i i ) is a b -contraction of ( G i -1 , σ i -1 ) .

Proof. For each ( G,σ ) ∈ HC F , let f A ( G ) be the number of cut-edges of G and f B ( G ) be the number of edges e ∈ E G ( ) such that σ e ( ) &gt; b . Notice first that, if ( ˜ G,σ ˜) is any b -contraction of ( G,σ ), then f A ( ˜ ) + G f B ( ˜ ) G &lt; f A ( G ) + f B ( G ). Since f A ( G ) + f B ( G ) ≥ 0 for every ( G,σ ) ∈ HC F , we conclude that n is finite.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-ef054259-9685-4b2a-b2bd-eebb9c141202.jpg)

Remark 3.4. The b -contraction obtained in Lemma 3.3 is unique. However, this fact will not be used in this paper. Hence, since its proof is quite long, we have chosen to omit this fact.

Definition 3.5. Let ( G,σ ) ∈ HC F and ( G , σ n n ) as in Lemma 3.3. A b -reduced H¨lder o complex of ( G,σ ) is any H¨lder complex isomorphic to o ( G , σ n n ) .

Proposition 3.6. Let ( G,σ ) ∈ HC F and ( ˜ G,σ ˜) a b -contraction of ( G,σ ) . If X and ˜ X are geometric H¨lder complex germs corresponding to o ( G,σ ) and ( ˜ G,σ ˜) , respectively, then

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { i n n } ) \cong M D H _ { 1 } ^ { b } ( \tilde { X }, 0, d _ { i n n } )$$

Proof. Let ψ, ψ ˜ be presentation maps for ( G,σ ) and ( ˜ G,σ ˜), respectively. In what follows, we consider the same elements and notations as in Definition 3.1, for example, ˜ is the e cut-edge in Operation A b , a , . . . , a 1 m are the edges connecting u and v with exponent higher than b in Operation B b , w is the merge of u and v and so on. Let also γ 0 = ψ Cu ( ), γ 1 = ψ Cv ( ), ˜ = γ ˜ ( ψ Cw ). We have two cases to consider:

Case 1: if ( ˜ G,σ ˜) was obtained from ( G,σ ) from operation A b on { u, v } , then let γ ∈ G T e ( (˜)) be a generic arc, G 0 ⊂ G \{ } ˜ e be the connected component containing u and G 1 = ( G \{ } \ ˜ ) e G 0 (we have v ∈ G 1 , because ˜ is a cut-edge). e Choose η &gt; 0 such that, for any t &gt; 0 small enough, the length of the curves T γ , γ ( 0 ) t , T ( γ , γ 1 ) t are greater than ηt σ e (˜) and the length of each curve ( T e ( )) t is greater than ηt σ e ( ) , for each e ∈ E G ( ) ∪ E G ( ˜ ). If ˜ = E { e , . . . , e 1 p , f 1 , . . . , f q } , define

$$\mathfrak { r } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \in \mathfrak { m } \\ \mathfrak { r } \in \mathfrak { m } \in \mathfrak { H } _ { b, \eta, d _ { i n n } } \left ( \left ( \bigcup _ { e \in E ( G _ { 0 } ) } T ( e ) \right ) \cup T ( \gamma _ { 0 }, \gamma ) \right ) \\ \mathfrak { r } \in \mathfrak { m } \in \mathfrak { H } _ { b, \eta, d _ { i n n } } \left ( \left ( \bigcup _ { e \in E ( G _ { 1 } ) } T ( e ) \right ) \cup T ( \gamma _ { 1 }, \gamma ) \right ) \\ \tilde { U } = \tilde { X } \cap \mathfrak { H } _ { b, \eta, d _ { i n n } } \left ( \bigcup _ { e \in ( E ( \tilde { G } ) \bar { E } ) \cup \{ e _ { 1 }, \dots, e _ { p } \} } T ( e ) \right ) \\ \tilde { V } = \tilde { X } \cap \mathfrak { H } _ { b, \eta, d _ { i n n } } \left ( \bigcup _ { e \in ( E ( \tilde { G } ) \bar { E } ) \cup \{ f _ { 1 }, \dots, f _ { q } \} } T ( e ) \right ) \\ \text{cut-edge and} \, \sigma ( \tilde { e } ) \leq b, \, \text{ by the choice of $\eta$ we have $U\cap V=X\cap$}$$

$$\tilde { V } = \tilde { X } \cap \mathcal { H } _ { b, \eta, d _ { i n n } } \left ( \bigcup _ { e \in ( E ( \tilde { G } ) \langle \tilde { E } ) \cup \{ f _ { 1 }, \dots, f _ { q } \} } ^ { \nu - \nu - \nu - \nu - \nu - \nu - \nu - \nu - \nu - \nu } } T ( e ) \right ) \\. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad.. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad.$$

Since ˜ is a cut-edge and e σ e (˜) ≤ b , by the choice of η we have U ∩ V = X ∩ H b,η,d inn ( γ ), which is a b -H¨ older triangle and therefore b -contractible, by Proposition 2.1. Analogously, ˜ U ∩ ˜ V = ˜ X ∩H b,η,d inn (˜) is γ b -equivalent to a finite union of b -H¨ older triangles, where any two of them have intersection equal to ˜. γ This implies that ˜ is a γ b -deformation retract of ˜ U ∩ ˜ V and therefore

$$& M D H _ { 1 } ^ { b } ( U \cap V, d _ { i n n } ) \cong M D H _ { 1 } ^ { b } ( \tilde { U } \cap \tilde { V }, d _ { i n n } ) \cong \{ 0 \} \\ & M D H _ { 0 } ^ { b } ( U \cap V, d _ { i n n } ) \cong M D H _ { 0 } ^ { b } ( \tilde { U } \cap \tilde { V }, d _ { i n n } ) \cong \mathbb { Z }$$

We also have that U 0 = ⋃ e ∈ E G ( 0 ) T e ( ) is a b -deformation retract of U , V 0 = ⋃ e ∈ E G ( 1 ) T e ( ) is a b -deformation retract of V , ˜ U 0 = ⋃ e ∈ ( E G ( 0 ) \{ e 1 ,...,e p } ∪{ ) ˜ e 1 ,...,e ˜ p } T e ( ) is a b -deformation retract of U and ˜ V 0 = ⋃ e ∈ ( E G ( 1 ) \{ f 1 ,...,f q } ∪{ ) ˜ f 1 ,...,f ˜ q } T e ( ) is a b -deformation retract of V . By Theorem 1.48, U 0 is inner lipeomorphic to ˜ U 0 and V 0 is inner lipeomorphic to ˜ . V 0 Therefore

MDH b ( U, d inn ) = ∼ MDH b ( U , d 0 inn ) = ∼ MDH b ( ˜ U , d 0 inn ) = ∼ MDH b ( ˜ U,d inn m m m m ) MDH b m ( V, d inn ) = ∼ MDH b m ( V , d 0 inn ) = ∼ MDH b m ( ˜ V , d 0 inn ) = ∼ MDH b m ( ˜ V , d inn )

Figure 5. Proof of Proposition 3.6, Case 1.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-e7949526-206a-470e-8aeb-e9e6499d3615.jpg)

By Theorem 1.68, we have the following Mayer-Vietoris exact sequences:

$$\cdots \rightarrow \{ 0 \} \rightarrow M D H _ { 1 } ^ { b } ( U ) \oplus M D H _ { 1 } ^ { b } ( V ) \rightarrow M D H _ { 1 } ^ { b } ( X ) \rightarrow M D H _ { 0 } ^ { b } ( U \cap V ) \rightarrow \mathbb { Z } \oplus \mathbb { Z } \rightarrow \cdots$$

· · · →{ } → 0 MDH U b 1 ( ˜ ) ⊕ MDH V b 1 ( ˜ ) → MDH X b 1 ( ˜ ) → MDH U b 0 ( ˜ ∩ ˜ ) V → Z ⊕ Z →···

By the Five Lemma, we conclude that MDH X b 1 ( ) = ∼ MDH X b 1 ( ˜ ).

Case 2: if ( ˜ G,σ ˜) was obtained from ( G,σ ) from operation B b on { u, v } , then consider M &gt; max { σ e ( ) | e ∈ E G ( ) } and for each 1 ≤ i ≤ n , 1 ≤ j ≤ p , let γ b i ∈ V ( T b ( i )), γ e j ∈ V ( T e ( j )) be arcs such that itord γ , γ ( 0 b i ) = itord γ , γ ( 0 e j ) = M . Let also

$$X ^ { \prime } = X \, \sum \left ( \left ( \bigcup _ { i = 1 } ^ { n } T ( \gamma _ { 0 }, \gamma _ { b _ { i } } ) \right ) \cup \left ( \bigcup _ { j = 1 } ^ { p } T ( \gamma _ { 0 }, \gamma _ { e _ { j } } ) \right ) \cup \left ( \bigcup _ { l = 1 } ^ { m } T ( a _ { l } ) \right ) \right )$$

Since γ 0 ∼ b γ 1 ∼ b γ b i ∼ b γ e j , we have X ∼ b X ′ . Moreover, if ˜ T b i = T γ ( b i , γ 1 ), ˜ T e j = T γ ( e j , γ 1 ) are H¨ older triangles with exponent higher than M (by Remark 1.42, such triangles exists if X ′ is embedded in R N , for N big enough), and if X ′′ = X ′ ∪ (( ∪ n i =1 ˜ T b i ) ∪ ∪ ( p j =1 ˜ T e j )), then X ′ ∼ b X ′′ . But the canonical H¨lder complexes associated o with X ′′ is isomorphic to ( ˜ G,σ ˜) by construction, because γ 1 corresponds to w and the H¨ older triangles ˜ T b i , ˜ T e j have exponent higher than any adjacent H¨lder triangle. o Hence MDH X b 1 ( ) = ∼ MDH X b 1 ( ′′ ) = ∼ MDH X b 1 ( ˜ ).

□

Theorem 3.7 (MD-Homology of Degree 1, Inner Metric) . Let ( X, 0) ⊂ ( R n , 0) be a surface germ and let ( G,σ ) its canonical H¨lder complex. o For b ∈ F , b ≥ 1 , let ( G , σ b b ) be

Figure 6. Proof of Proposition 3.6, Case 2.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-0b93cbad-0be6-4a22-82d1-56ca5e2ae6a8.jpg)

a b -reduced H¨lder complex of o ( G,σ ) . If G b has k connected components, v vertices and e edges, then:

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { i n n }, \mathbb { Z } ) \cong \mathbb { Z } ^ { e - v + k }$$

Proof. Notice first that if G b is a union of connected graphs G , . . . , G 1 k , with G i having v i vertices and e i edges, for each 1 ≤ i ≤ k , then e i -v i + 1 ≥ 0, with equality if, and only if, G i is a tree. Since v = v 1 + · · · + v k and e = e 1 + · · · + e k , we have e -v + k = ∑ k i =1 ( e i -v i +1) ≥ 0, with equality if, and only if, G b is a union of trees. In particular, equality occurs if, and only if, G b does not have any cycle.

We will prove the theorem by induction on e -v + . For the base case k e -v + k = 0, G b is a union of trees, which implies that each edge of G b is a cut-edge. Since ( G , σ b b ) is b -reduced, each edge ˜ of e G b satisfies σ b (˜) e ≤ b , and therefore this edge cannot be a cut-edge (otherwise operation A b can be done). Then G b is a union of isolated vertices and therefore MDH X, ,d b 1 ( 0 inn , Z ) = ∼ { } ∼ 0 = Z e -v + k .

For the inductive step, let ψ be a presentation map for ( G , σ b b ). Since e -v + k &gt; 0, G b has a cycle (otherwise, G b is a union of trees, and this is the base case), and therefore there is an edge e 0 ∈ E G ( b ) in a cycle of G b . Suppose T e ( 0 ) = T γ, γ ( ′ ). Consider η &gt; 0 such that, for any edge ˜ e ∈ E G ( b ) and t &gt; 0 small enough, the length of the curve T e (˜) t is bigger than 2 ηt b ( η exists, since σ b (˜) e ≤ b ). Define

$$U = X \cap \mathcal { H } _ { b, \eta, i n n } \left ( X \, \sum T ( e _ { 0 } ) \right ) \, ; \, V = X \cap \mathcal { H } _ { b, \eta, i n n } \left ( T ( e _ { 0 } ) \right ).$$

We have that { U, V } is a open b -cover of X . By the choice of η , U ∩ V have γ ∪ γ ′ as a b -deformation retract, U has X \ T e ( 0 ) as a b -deformation retract and V have γ (or γ ′ ) as a b -deformation retract. Thus, for every m ≥ 0

$$M D H ^ { b } _ { m } ( U, 0, d _ { i n n }, \mathbb { Z } ) \cong M D H ^ { b } _ { m } ( \psi ( C ( G _ { b } \, \sum \{ e _ { 0 } \} ) ) ), 0, d _ { i n n }, \mathbb { Z } ),$$

$$M D H ^ { b } _ { m } ( V, 0, d _ { i n n }, \mathbb { Z } ) \cong M D H ^ { b } _ { m } ( T ( e _ { 0 } ), 0, d _ { i n n }, \mathbb { Z } ) \cong M D H ^ { b } _ { m } ( \gamma, 0, d _ { i n n }, \mathbb { Z } ),$$

$$M D H ^ { b } _ { m } ( U \cap V, 0, d _ { i n n }, \mathbb { Z } ) \cong M D H ^ { b } _ { m } ( \gamma, 0, d _ { i n n }, \mathbb { Z } ) \oplus M D H ^ { b } _ { m } ( \gamma ^ { \prime }, 0, d _ { i n n }, \mathbb { Z } ).$$

On the other hand, by Theorem 1.68, we have the following Mayer-Vietoris exact sequence:

$$\cdots \to M D H _ { 1 } ^ { b } ( U \cap V ) \to M D H _ { 1 } ^ { b } ( U ) \oplus M D H _ { 1 } ^ { b } ( V ) \to M D H _ { 1 } ^ { b } ( X ) \to$$

$$\to M D H ^ { b } _ { 0 } ( U \cap V ) \to M D H ^ { b } _ { 0 } ( U ) \oplus M D H ^ { b } _ { 0 } ( V ) \to M D H ^ { b } _ { 0 } ( X ) \to 0.$$

By induction hypothesis, we have MDH U b 1 ( ) = ∼ Z ( e -1) -v + k , because operation A b leaves ( e -v + ) invariant and k G b \{ e 0 } does not have any edge e such that σ e ( ) &gt; b , otherwise operation B b would be applicable in G b \ { e 0 } , a contradiction. Since U ∩ V and V have the same MD-Homology of arcs, we also have MDH U b 1 ( ∩ V ) = ∼ MDH V b 1 ( ) = ∼ { } 0 , MDH V b 0 ( ) ∼ = Z and MDH U b 0 ( ∩ V ) ∼ = Z ⊕ Z ∼ = Z 2 . Since G b and G b \ { e 0 } have k connected components, we finally have MDH U b 0 ( ) = ∼ MDH X b 0 ( ) = ∼ Z k . Thus, the exact sequence reduces to

$$\cdots \to 0 \stackrel { f _ { 0 } } { \to } \mathbb { Z } ^ { e - v + k - 1 } \stackrel { f _ { 1 } } { \to } M D H _ { 1 } ^ { b } ( X ) \stackrel { f _ { 2 } } { \to } \mathbb { Z } ^ { 2 } \stackrel { f _ { 3 } } { \to } \mathbb { Z } ^ { k + 1 } \stackrel { f _ { 4 } } { \to } \mathbb { Z } ^ { k } \to 0.$$

Since dim(ker( f 1 )) = dim(im( f 0 )) = 0, if MDH X b 1 ( ) ∼ = Z N , for some N ∈ Z ≥ 0 , by exactness of the sequence we obtain

$$\dim ( \lim ( f _ { 4 } ) ) = k \Rightarrow \dim ( \lim ( f _ { 3 } ) ) = \dim ( \ker ( f _ { 4 } ) ) = ( k + 1 ) - k = 1 = 1 \Rightarrow$$

dim(im( f 2 )) = dim(ker( f 3 )) = 2 -1 = 1 ⇒ dim(im( f 1 )) = dim(ker( f 2 )) = N -1 ⇒

$$e - v + k - 1 = \dim ( \ker ( f _ { 0 } ) ) = \dim ( \lim ( f _ { 1 } ) ) = N - 1 \Rightarrow N = e - v + k.$$

Therefore, MDH X, ,d b 1 ( 0 inn , Z ) = ∼ Z e -v + k and the result follows by induction.

□

## 4. MD-Homology for Surfaces Germs, Degree 1 (Outer Metric)

In this section, we begin the study of the MD-Homology of surfaces, for the outer metric. We begin this section by proving the Gluing Triangles Lemma, then applying it to determine the MD-Homology for bubble snakes and horns. Even in this simple case, the Realization Theorem 4.7 shows that the MD-Homology can be as complicated as we want.

Lemma 4.1. Let β ∈ (0 , + ∞ ) , ˜ β ∈ ( β, + ∞ ) and let X = T γ , γ ( 0 1 ) , T = T γ , γ ( 1 2 ) be H¨ older triangles such that T is a LNE β -H¨ older triangle and

- (i) for every arc γ ⊂ T such that tord γ, γ ( 1 ) = β , we have tord γ, X ( ) = min { ˜ β, tord γ, γ ( 2 ) } (in particular, tord γ , X ( 2 ) = ˜ β );
- (ii) for every arc γ ⊂ T such that tord γ, γ ( 2 ) = β , we have tord γ, X ( ) = tord γ, γ ( 1 ) (in particular, tord γ, X ( ) = β , for every γ ∈ G T ( ) ).

Then we have the following isomorphism of MD-Homology:

$$\ M D H _ { 1 } ^ { b } ( X \cup T, 0, d _ { o u t } ) \cong \begin{cases} \ M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t } ), & b < \beta \\ \ M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t } ) \oplus \mathbb { Z }, & \beta \leq b < \tilde { \beta } \\ \ M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t } ), & \tilde { \beta } \leq b \end{cases}$$

Proof. Consider first the case b &lt; β . For every arc γ ⊂ T we have tord γ , γ ( 1 ) ≥ β &gt; b . This implies that, if σ T , σ γ 1 are simplexes whose images germs are respectively T, γ 1 , then σ T ∼ b σ γ 1 . Therefore, MDH X b 1 ( ∪ T ) = ∼ MDH X b 1 ( ∪ γ 1 ) = ∼ MDH X . b 1 ( )

For the case β ≤ b , given two b -equivalent arcs ˜ γ ⊂ X γ , ⊂ T , by the b -equivalence we have β ≤ b &lt; tord γ, γ (˜ ). Then, γ / ∈ G T ( ), otherwise condition (ii) would imply tord γ, γ (˜ ) ≤ tord γ, X ( ) = β . If tord γ, γ ( 1 ) = β , then by condition (i) we have

$$b < t o r d ( \gamma, \tilde { \gamma } ) \leq t o r d ( \gamma, X ) \leq t o r d ( \gamma, \gamma _ { 2 } ).$$

If tord γ, γ ( 2 ) = β , then by condition (ii) we have

$$b < t o r d ( \gamma, \tilde { \gamma } ) \leq t o r d ( \gamma, X ) = t o r d ( \gamma, \gamma _ { 1 } ).$$

Therefore, γ ∼ b γ 1 or γ ∼ b γ 2 . For b &lt; β ˜ , since tord γ , X ( 2 ) = ˜ , β we conclude that { X,T } is a b -cover of X ∪ T , with X ∩ T being b -equivalent to γ 1 ∪ γ 2 . For ˜ β ≤ b , if tord γ, γ ( 1 ) = β , then by Equation 1 we have ˜ β ≤ b &lt; tord γ, γ ( 2 ) , a contradiction with tord γ, γ ( 2 ) = ˜ . β Therefore, tord γ, γ ( 1 ) &gt; β , which implies tord γ, γ ( 2 ) = β and then γ ∼ b γ 1 . Thus, { X,T } is a b -cover of X ∪ T , with X ∩ T being b -equivalent to γ 1 .

By Theorem 1.68 we have the following exact sequence:

$$\cdots \to M D H _ { 1 } ^ { b } ( X \cap T ) \to M D H _ { 1 } ^ { b } ( X ) \oplus M D H _ { 1 } ^ { b } ( T ) \to M D H _ { 1 } ^ { b } ( X \cup T ) \to$$

$$M D H ^ { b } _ { 0 } ( X \cap T ) \to M D H ^ { b } _ { 0 } ( X ) \oplus M D H ^ { b } _ { 0 } ( T ) \to M D H ^ { b } _ { 0 } ( X \cup T ) \to 0.$$

By Corollary 2.2, we have MDH T b 1 ( ) = ∼ { } 0 , because T is LNE. Since X T , and X ∪ T have connected link, MDH T b 0 ( ) ∼ = MDH X b 0 ( ) ∼ = MDH X b 0 ( ∪ T ) ∼ = Z . Furthermore MDH X b 1 ( ∩ T ) = ∼ { } 0 , because X ∩ T is b -equivalent to a finite union of arcs. Now let k, l ∈ Z ≥ 0 such that MDH X b 1 ( ) = ∼ Z k and MDH X b 1 ( ∪ T ) = ∼ Z l . There are two cases:

Case 1: β ≤ b &lt; β ˜ . Since X ∩ T ∼ b γ 1 ∪ γ 2 , then MDH X b 0 ( ∩ T ) = ∼ Z 2 and the exact sequence reduces to

$$\cdots \to 0 \xrightarrow { f _ { 1 } } \mathbb { Z } ^ { k } \xrightarrow { f _ { 2 } } \mathbb { Z } ^ { l } \xrightarrow { f _ { 3 } } \mathbb { Z } ^ { 2 } \xrightarrow { f _ { 4 } } \mathbb { Z } ^ { 2 } \xrightarrow { f _ { 5 } } \mathbb { Z } \xrightarrow { f _ { 6 } } 0.$$

By exactness of the sequence we obtain

$$0 = \dim ( \lim ( f _ { 1 } ) ) = \dim ( \ker ( f _ { 2 } ) ) \Rightarrow k = \dim ( \lim ( f _ { 2 } ) ) = \dim ( \ker ( f _ { 3 } ) ) \Rightarrow \\ l - k = \dim ( \lim ( f _ { 3 } ) ) = \dim ( \ker ( f _ { 4 } ) ) \Rightarrow 2 - l + k = \dim ( \lim ( f _ { 4 } ) ) = \dim ( \ker ( f _ { 5 } ) ) \Rightarrow \\ l - k = \dim ( \lim ( f _ { 5 } ) ) = \dim ( \ker ( f _ { 6 } ) ). \\ -. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad.$$

Therefore, as dim(ker( f 6 )) = 1, we obtain l = k +1 and the result follows.

$$\Rightarrow$$

Case 2: ˜ β ≤ b . Since X ∩ T ∼ b γ 1 , then MDH X b 1 ( ∩ T ) = ∼ Z and the exact sequence reduces to

$$\cdots \to 0 \xrightarrow { f _ { 1 } } \mathbb { Z } ^ { k } \xrightarrow { f _ { 2 } } \mathbb { Z } ^ { l } \xrightarrow { f _ { 3 } } \mathbb { Z } ^ { \ f _ { 4 } } \mathbb { Z } ^ { 2 } \xrightarrow { f _ { 5 } } \mathbb { Z } ^ { \ f _ { 6 } } 0.$$

By exactness of the sequence we obtain

$$0 = \dim ( \lim ( f _ { 1 } ) ) = \dim ( \ker ( f _ { 2 } ) ) \Rightarrow k = \dim ( \lim ( f _ { 2 } ) ) = \dim ( \ker ( f _ { 3 } ) ) \Rightarrow$$

$$l - k = \dim ( \text{im} ( f _ { 3 } ) ) = \dim ( \ker ( f _ { 4 } ) ) \Rightarrow 1 - l + k = \dim ( \text{im} ( f _ { 4 } ) ) = \dim ( \ker ( f _ { 5 } ) ) \Rightarrow$$

$$1 + l - k = \dim ( \lim ( f _ { 5 } ) ) = \dim ( \ker ( f _ { 6 } ) ).$$

Therefore, as dim(ker( f 6 )) = 1, we obtain l = k and the result follows.

□

Remark 4.2. Notice that, for any surface X , when b &lt; µ X ( ) , every two arcs in V ( X ) are b -equivalent (see Remark 1.52). Therefore, its MD-Homology of degree 1 in this case is the same as of an arc, i.e., { } 0 . Therefore, we will only deal with the case b ≥ µ X ( ) .

Example 4.3. A β -bubble X = T γ , γ ( 1 2 ) is a non-singular β -H¨ older triangle containing an interior arc θ such that both X 1 = T γ , θ ( 1 ) and X 2 = T θ, γ ( 2 ) are LNE and tord γ , γ ( 1 2 ) &gt; β . When X is a snake it is called a β -bubble snake (see Definition 4.45 of [14] ).

The Definition of a β -bubble allows a great variety of bubbles, however, as showed in Theorem 5.9 of [14] , the important ones which emerge when decomposing the Valette link of a surface into normal and abnormal zones are outer Lipschitz equivalent to the ones with link as in Figure 10 of [14] .

For a concrete example of a β -bubble snake consider the set X = T 1 ∪ T 2 with T 1 = ∆( γ , λ 1 1 ) and T 2 = ∆( λ , λ 1 2 ) ∪ ∆( λ , γ 2 2 ) where, for α, β ∈ F , α &gt; β , one has γ i ( ) t = ( t, ( -1) i t α , 0) and λ i ( ) t = ( t, ( -1) i t β , t β ) , for i = 1 2 , , are arcs parameterized by the first coordinate, which is equivalent to the distance to the origin. The H¨ older triangles T 1 , T 2 , T λ , λ ( 1 2 ) and T λ , γ ( 2 2 ) are LNE. In particular, X is non-singular. Notice that tord γ , γ ( 1 2 ) = α &gt; β = itord γ , γ ( 1 2 ) , since d inn ( γ 1 ( ) t , γ 2 ( )) t ≥ 2 t β . Therefore, X is a β -bubble snake.

It easily follows from Remark 1.52, by considering X = T 1 and T = T 2 in Lemma 4.1, that the MD-Homology group of a β -bubble snake X is

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t } ) = \begin{cases} \begin{array} { c c } 0, & \text{for $b<\beta$} \\ \mathbb { Z }, & \text{for $\beta\leq b<\alpha$} \\ 0, & \text{for $\alpha\leq b$} \end{array} \end{cases}$$

However, the MD-Homology group of a non-snake bubble could be wild (see Remark 4.8.)

Remark 4.4. If X is a β -horn, which is any set germ in R n that is outer Lipschitz equivalent to { ( x, y, z ) ∈ R 3 | x β + y β = z 2 β } , it is b -equivalent to a β -bubble snake of

spectra { α } when β ≤ b &lt; α . In particular,

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t } ) = \begin{cases} \ 0, & f o r \, b < \beta \\ \ \mathbb { Z }, & f o r \, \beta \leq b \end{cases}$$

Remark 4.5. Consider the word W = [ w 1 · · · w p ] , in the alphabet { x , x 1 2 , . . . } , where p = 2 k , k ∈ Z ≥ 2 , obtained recursively as follows: if k = 2 then W = W 2 = [ x x x x 1 2 1 2 ] and for k &gt; 2 we have W = W k = [ w 1 · · · w r -1 x w x p r p ] , where W k -1 = [ w 1 · · · w r ] and w r = w r -2 = x k -1 . One can easily check that this word W is a snake name (see Definition 6.6 of [14] ). Hence, by Theorem 6.23 of [14] , for any α, β ∈ F , with α &gt; β , there is a β -snake X ′ ⊂ R 2 p -1 such that W X ( ′ ) = W k (see Example 1.38). Notice that X ′ has exactly k nodes, each with two nodal zones and spectrum { α } (see Figure 7).

Figure 7. The link of a β -snake with k nodes N 1 , . . . , N k as in Remark 4.5. Each δ j belong to a node and σ j ∈ G T δ , δ ( ( j j +1 )), 1 ≤ j &lt; 2 p . Points inside the shaded disks represent arcs with tangency order higher than β .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-524ff3b0-65f2-4745-b4b6-48b15fbbad65.jpg)

Slightly changing the choices of arcs in the construction of X ′ we can obtain a snake X ⊂ R 2 p -1 with the same number of nodes, but with a different spectra. Indeed, if k = ˜ k 1 + · · · + ˜ k m , ˜ k i ∈ Z ≥ 1 , then we could have ˜ k i of the nodes with spectrum { q i } , β &lt; q i , for each i = 1 , . . . , m . In fact, let J = { 1 ≤ j ≤ p | w i = w j for i &lt; j } . By the construction of W we know that we have exactly k distinct letters in W , each one appearing twice. Assume that J = ⊔ m l =1 J l where each J l has exactly ˜ k l elements for 1 ≤ l ≤ m . The changing consists of setting, for each j ∈ J l , set δ j = δ r j ( ) + t q l e j (see Example 1.38). Since we have q l &gt; β for each l , results from 6.18 to 6.23 of [14] still hold. Therefore, X is a β -snake such that W X ( ) = W .

Lemma 4.6. Given α, q 1 , . . . , q m , β ∈ F , with α &gt; β and q l &gt; β for all l , let X ′ and X be β -snakes as in Remark 4.5. Then

(1)

$$M D H _ { 1 } ^ { b } ( X ^ { \prime }, 0, d _ { o u t } ) = \begin{cases} \begin{array} { c c } 0, & \text{for $b<\beta$} \\ \mathbb { Z } ^ { k }, & \text{for $\beta\leq b<\alpha$} \\ 0, & \text{for $\alpha\leq b$} \end{array} \end{cases}$$

(2) If q 1 &lt; q 2 &lt; · · · &lt; q m , then

$$\Lambda ^ { \prime } ( \Lambda ^ { \prime } ) = \begin{cases} 0, & \text{for $b<\beta$} \\ \mathbb { Z } ^ { k }, & \text{for $\beta\leq b<q_{1}$} \\ \mathbb { Z } ^ { k - \bar { k } _ { 1 } }, & \text{for $q_{1}\leq b<q_{2}$} \\ \vdots & \vdots \leq b<\vdots \\ \mathbb { Z } ^ { k - ( \bar { k } _ { 1 } + \cdots + \bar { k } _ { m - 1 } ) }, & \text{for $q_{m-1}\leq b<q_{m}$} \\ 0, & \text{for $q_{m}\leq b$} \end{cases}.$$

Proof. (1) When b &lt; β the result follows from Remark 4.2. If b &gt; α then any two arcs in X ′ which are b -equivalent are necessarily in the same connected component of a H α,η ( X ′ ), for η &gt; 0 sufficiently small. Since H α,η ( X ′ ) admits any arc in V ( X ′ ) as b -deformation retract, b &gt; α implies that X ′ is b -contractible, and then its MD-Homology is { } 0 . Consequently, it only remains to prove the case β ≤ b &lt; α . In this case, X ′ is b -equivalent to the union of k β -horns such that each pair of such horns either do not intersect or intersect along a LNE β -H¨ older triangle (one can visualize the link of this surface considering a link as in Figure 7 where arcs in a same node collapsed to a single arc). Let us prove that each of these horns correspond to a generator, hence its MD-Homology group will be Z k .

Let { X j = T γ ( j -1 , γ j ) } p -1 j =1 be a pancake decomposition as in Proposition 4.56 of [14], i.e., we choose γ 0 = δ 1 , γ p -1 = δ p and each γ j , 0 &lt; j &lt; p -1, to be in the j -th interior nodal zone of X ′ when we are moving along its link with orientation from γ 0 to γ p -1 . Assume that γ 0 ∈ N 1 and γ 2 k ∈ N k , where N 1 and N k are assumed to be the first and last node according to the orientation from γ 0 to γ p -1 (see Figure 7). By the construction of X ′ , for each j = 1 , . . . , p -3, either X j ∪ X j +1 or X j ∪ X j +1 ∪ X j +2 is b equivalent to a β -bubble. The result then follows from recursively applying Lemma 4.1 when adding the pancake X j , for j &gt; 2, to the surface ⋃ i&lt;j X i .

(2) By the same reasons as in item (1) we have the MD-Homology group of X equal to { } 0 when either b &lt; β or b ≥ q m , since q m &gt; max i { q i } . Moreover, q 1 &lt; q 2 &lt; · · · &lt; q m implies that, for β ≤ b &lt; q 1 , MDH X b 1 ( ) ∼ = MDH X b 1 ( ′ ) ∼ = Z k . When q i ≤ b &lt; q i +1 , all the arcs with tangency order higher than or equal to q i +1 are b -equivalent, while the arcs with tangency order at most q i are not (see Remark 1.52). Therefore, in this case, there is l ∈ Z ≥ 1 such that X is b -equivalent to the LNE set ⋃ l i =1 ˜ , where X i ˜ X i ∩ ˜ X j is { } 0 , an arc or a β -H¨ older triangle, for 1 ≤ i &lt; j ≤ l , and where k -( ˜ k 1 + . . . + ˜ ) of the k i ˜ 's are X i β -horns and the remaining ones are β -H¨ older triangles (see Figure 8).

Since each ˜ X i that is a β -H¨ older triangle is b -contractible and each ˜ X i that is a β -horn increase the number of generators by one (by the same recursive application of Lemma 4.1 of the previous case), we conclude that

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t } ) \cong \mathbb { Z } ^ { k - ( \tilde { k } _ { 1 } + \cdots + \tilde { k } _ { i } ) }.$$

Figure 8. Illustration for the proof of item (2) of Lemma 4.6. For the surface which link is part a ), the nodes N 1 , N 5 have spectrum { q 1 } , while N 3 has spectrum { q 2 } and N 2 , N 4 , N 6 have spectrum { q 3 } . The link in part b ) corresponds to a surface which is b -equivalent to the surface in part a ) for q 1 &lt; q 2 ≤ b &lt; q 3 . In part b ), ˜ , X i i = 1 3 5, is the link of a , , β -H¨ older triangle and ˜ , X j j = 2 4 6, is the link of a , , β -horn. Points inside the shaded disks represent arcs with tangency order higher than the surface's exponent.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-6d008a57-bbe5-4046-9bf5-0fa37d0f9879.jpg)

□

Theorem 4.7. For any sequences of non-negative integers, k 1 &lt; k 2 &lt; · · · &lt; k m , and rationals q 1 &lt; q 2 &lt; · · · &lt; q m , with q 1 &gt; β = µ X ( ) ≥ 1 , there exists a surface X such that

$$q _ { 1 } < q _ { 2 } < \dots < q _ { m }, \text{ want } q _ { 1 } > \rho = \mu ( \Lambda ) \leq 1, \text{ unre-exists a surface } \Lambda \\ M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t } ) = \begin{cases} 0, & \text{for } b < \beta \\ \mathbb { Z } ^ { k _ { m } }, & \text{for } \beta \leq b < q _ { 1 } \\ \mathbb { Z } ^ { k _ { m - 1 } }, & \text{for } q _ { 1 } \leq b < q _ { 2 } \\ \vdots & \vdots \leq b < \vdots \\ \mathbb { Z } ^ { k _ { 1 } }, & \text{for } q _ { m - 1 } \leq b < q _ { m } \\ 0, & \text{for } q _ { m } \leq b \end{cases} \\ m - 1 \text{ and } l _ { \cdot } - 1 \text{ than } \text{the common code } l _ { \cdot } > l _ { \cdot } > \dots > l _ { \cdot } \text{ and } \alpha > \alpha.$$

Proof. If m = 1 and k 1 = 1 then the sequences k 1 &lt; k 2 &lt; · · · &lt; k m and q 1 &lt; q 2 &lt; · · · &lt; q m reduce to 1 and q 1 = q . In this case, the result holds as seen in Example 4.3 taking µ X ( ) = β and q = α . Otherwise, the result follows from Lemma 4.6, item (2), where we take k = k m , ˜ k l = k m l -+1 -k m l -, for l = 1 , . . . , m -1, and ˜ k m = k 1 .

□

Remark 4.8. Notice that under the hypothesis of Theorem 4.7 one can obtain a non-snake β -bubble with the same MD-Homology of X . Indeed, given m = 2 k + 1 , where k ≥ 2 ,

we consider the arcs δ , . . . , δ 1 m and σ , . . . , σ 1 m -1 in R 2 m -1 = ⟨ e , . . . , e 1 2 m -1 ⟩ defined by δ 1 ( ) t = te 1 , δ j ( ) t = δ 1 ( ) + t t β e j for 1 &lt; j ≤ k + 1 , δ j ( ) t = δ 2 k +2 -j ( ) + t t α j - -k 1 e j for k +1 &lt; j ≤ m and σ i ( ) = t δ 1 ( ) + t t β e m i + for 1 ≤ i &lt; m . If 1 ≤ β &lt; α 1 &lt; · · · &lt; α k then Corollary 6.20 and Lemma 6.21 of [14] implies that X 1 = ⋃ 1 ≤ ≤ j k T j and X 2 = ⋃ k&lt;j ≤ m T j are two LNE non-singular β -H¨ older triangles. It also follows from those results that δ k +1 is Lipschitz non-singular. Hence, since

̸

$$( 1 ) \text{ for all } 1 \leq i, j \leq m \text{ and } i \neq j, \text{ tor} d ( \delta _ { i }, \delta _ { j } ) = \begin{cases} \alpha _ { i }, \text{ if } j = 2 k + 2 - i \\ \beta, \text{ otherwise} \end{cases} \,,$$

- (2) tord δ , σ ( i j ) = β for all 1 ≤ i ≤ m and 1 ≤ j ≤ m -1 ,

̸

- (3) tord σ , σ ( i j ) = β for all 1 ≤ i, j ≤ m -1 with i = j ,

we have that X = ⋃ 1 ≤ ≤ j m T j is a non-snake β -bubble with θ = δ k +1 (see Example 4.3). Nevertheless, for α i ≤ b &lt; α i +1 , i = 0 1 , , . . . , k -1 , with α 0 = β by convention, X has the same MD-Homology as a set which is the union of k -i β -horns such that each pair of such horns either do not intersect or intersect along a LNE β -H¨ older triangle. Hence, its MD-Homology group is

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t }, \mathbb { Z } ) = \begin{cases} 0, & \text{ for } b < \beta \\ \mathbb { Z } ^ { k }, & \text{ for } \beta \leq b < \alpha _ { 1 } \\ \mathbb { Z } ^ { k - 1 }, & \text{ for } \alpha _ { 1 } \leq b < \alpha _ { 2 } \\ \vdots & \vdots \leq b < \vdots \\ \mathbb { Z }, & \text{ for } \alpha _ { m - 1 } \leq b < \alpha _ { m } \\ 0, & \text{ for } \alpha _ { m } \leq b \end{cases}$$

Slightly adapting this construction, by considering some of the α i equal, one can obtain the MD-Homology as in Theorem 4.7. We illustrate this construction on Figure 9.

Figure 9. The link of a non-snake β -bubble in the construction of Remark 4.8 for k = 2. Points inside the shaded disks represent arcs with tangency order higher than the surface's exponent.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-f9bb72d4-132e-4c00-9da7-b20d4d7a80dc.jpg)

## 5. Surfaces with the same MD-Homology

It is known from the work in [13] that outer Lipschitz equivalent surfaces have the same MD-Homology in the outer metric. A natural question one could formulate is: is there a weaker condition on the surface guaranteeing they have the same MD-Homology? We have a positive answer in the case where the surfaces are simples β -snakes.

Gabrielov and Souza defined in [14] the notion of weakly outer Lipschitz equivalence for β -H¨ older triangles, which is a homeomorphism h : X → Y such that tord γ, γ ( ′ ) &gt; β ⇔ tord h γ , h γ ( ( ) ( ′ )) &gt; β for any arcs γ, γ ′ ⊂ X . In Theorem 6.28 of [14] they establish necessary and sufficient conditions so that two β -snakes are weakly outer equivalent.

One could be initially tempted to imagine that those notions, 'having the same MDHomology' and 'being weakly outer Lipschitz equivalent' could imply one another. However this does not happen as it is shown in Example 5.1.

Example 5.1. Let X and ˜ X be β -snakes with link as in Figure 10, from the left to the right, respectively. The Valette links of those surfaces contain two segments with multiplicity 2 : the ones with adjacent nodal zones in the nodes N N , ′ (say S, S ′ ) and ˜ N N , ˜ ′ (say ˜ S, S ˜ ′ ). Let us further assume that 1 ≤ β &lt; α 1 &lt; α 2 are exponents such that

$$\inf \{ t o r d ( \gamma, \gamma ^ { \prime } ) \ | \ \gamma \in S, \gamma ^ { \prime } \in S ^ { \prime } \} = \alpha _ { 1 } = \inf \{ t o r d ( \gamma, \gamma ^ { \prime } ) \ | \ \gamma \in \tilde { S }, \gamma ^ { \prime } \in \tilde { S } ^ { \prime } \},$$

$$\sup \{ t o r d ( \gamma, \gamma ^ { \prime } ) \ | \ \gamma \in S, \gamma ^ { \prime } \in S ^ { \prime } \} = \alpha _ { 2 } = \sup \{ t o r d ( \gamma, \gamma ^ { \prime } ) \ | \ \gamma \in \tilde { S }, \gamma ^ { \prime } \in \tilde { S } ^ { \prime } \}.$$

Since both the tangency orders between nodal zones in a same node and segments with multiplicity 2 are higher than β , X and ˜ X are weakly outer bi-Lipschitz equivalent by Theorem 6.28 of [14] . However, even in this case, they are not necessarily outer Lipschitz equivalent, because we could have distinct spectra or, less obvious, that β ′ and ˜ β ′ , with β &lt; β ′ &lt; β ˜ ′ , are the supremum of the orders of zones Z ⊂ S and ˜ Z ⊂ ˜ S , respectively, such that tord Z, S ( ′ ) = α 2 = tord Z, S ( ˜ ˜ ) ′ . Nevertheless, assuming that the spectra of the nodes is { α 1 } for both surfaces, it follows from Lemma 4.6 that those surfaces have the same MD-Homology, given as

$$\text{snow} \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col: \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \color \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colot \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col. \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col.: \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col. \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colots \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col on \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colons \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col:: \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colON \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colo \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col.. \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col { \text{snow} \, \, \,$$

Finally, notice that a β -snake with link as in Figure 1, with spectrum of x 1 and x 2 equal to { α 1 } and spectrum of x 3 equal to { α 2 } , has the same MD-Homology as X and ˜ X , but it is not weakly outer Lipschitz equivalent to them, since all of the segments in its Valette link have multiplicity 1 .

Below we will generalize the definition of multiplicity of an arc in a snake present in [14].

Figure 10. The link of two snakes with the same exponent, which are weakly outer Lipschitz equivalent but not outer Lipschitz equivalent. Points inside the shaded disks represent arcs with tangency order higher than the surface's exponent.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-826c0492-ed7c-4a95-b933-64d3456c639e.jpg)

̸

Definition 5.2. Let X be a H¨lder triangle and o γ ⊂ X an arc. For α ∈ F , α ≥ µ X ( ) ≥ 1 , the α -multiplicity of γ , denoted by m X,α ( γ ) , is defined as the number of connected components of H α,η ( γ ) ∩ X for η &gt; 0 small enough (see Remark 4.14 in [14] ). In particular, when Z ⊂ V ( X ) is a zone and γ / Z ∈ , we define m X,α,Z ( γ ) = 2 if ( H α,η ( γ ) ∩ X ) ∩ T = ∅ , for some H¨ older triangle T with V ( T ) ⊂ Z . Otherwise we define m X,α,Z ( γ ) = 1 . Moreover, we define m X,α ( Z, Z ′ ) = 2 , for some zone Z ′ ⊂ V ( X ) , if m X,α,Z ′ ( γ ) = 2 for some arc in γ ∈ Z and we define m X,α ( Z, Z ′ ) = 1 otherwise.

Remark 5.3. When X is a snake and α = µ X ( ) , the α -multiplicity of γ as in Definition 5.2 coincides with the multiplicity of γ as in Definition 4.13 in [14] .

Definition 5.4. Let X be a β -snake and Z, Z ′ ⊂ V ( X ) be disjoint zones such that tord Z, Z ( ′ ) &gt; β . Let α ∈ F , α &gt; β , be such that

$$E _ { Z, Z ^ { \prime } } ^ { \alpha } \coloneqq \{ \gamma ^ { \prime } \in Z \ | \ t o r d ( \gamma ^ { \prime }, Z ^ { \prime } ) = \alpha \} \neq \emptyset.$$

We call the set E α Z,Z ′ an α -subsegment (resp., α -subnodal zone ) of Z if Z, Z ′ is a pair of segments (resp., nodal zones).

The analogs of some results in this Proposition bellow were dealt, with a different notation, for pairs of disjoint normally H¨lder triangles, in Section 4 of [5]. o

Proposition 5.5. Let X be a β -snake and Z, Z ′ ⊂ V ( X ) disjoint zones. If Z and Z ′ are both segments or nodal zones of X , then

- (1) We have β ≤ tord Z, Z ( ′ ) &lt; ∞ . In particular, for any arc γ ∈ Z there exists α ∈ F such that m X,α ( γ ) = 1 .
- (2) Let α = tord γ, Z ( ′ ) , for some γ ∈ Z . Define

$$H _ { \gamma } \coloneqq \{ \gamma ^ { \prime } \in V ( X ) \ | \ i t o r d ( \gamma, \gamma ^ { \prime } ) > \alpha \}.$$

Then tord H , Z ( γ ′ ) = α and H γ ⊂ Z . In particular, if the set E α Z,Z ′ is not empty, for some α ≥ β , then E α Z,Z ′ is a union of zones and µ E ( α Z,Z ′ ) ≤ α .

- (3) For any α &gt; β , we have µ E ( α Z,Z ′ ) = µ E ( α Z ,Z ′ ) .

̸

- (4) If, for α &gt; β , E α Z,Z ′ = ∅ , then it is the union of finitely many disjoint zones. Consequently, for each α &gt; β , there are finitely many α -subsegments and α -subnodal zones.
- Proof. (1) Since Z, Z ′ ⊂ V ( X ) we necessarily have β ≤ tord Z, Z ( ′ ). Moreover, in the case Z and Z ′ are either segments in different clusters (see Definition 4.32 in [14]) or nodal zones in different nodes we would have tord Z, Z ( ′ ) = β . The remaining inequality follows from Propositions 4.20 and 4.27 in [14], since Z ∩ Z ′ = ∅ .
- (2) and (3) are consequences of Lemmas 2.14, 4.24 and Proposition 4.27 of [14]. Indeed, they show that for a segment (or nodal) arc γ , we have that itord γ, γ ( ′ ) &gt; β implies m X,α ( γ ) = m X,α ( γ ′ ). In particular, itord γ, γ ( ′ ) &gt; β implies that γ and γ ′ belong to the same segment (or nodal zone). Therefore, H γ ⊂ Z and µ E ( α Z,Z ′ ) ≤ α .

̸

̸

- (4) Suppose that, for a given α &gt; β , we have E α Z,Z ′ = ⊔ ∞ k =1 Z k . For any two Z , Z j k , j = k , and any arcs γ j ∈ Z j and γ k ∈ Z k , there should exist γ j,k ∈ V ( T γ , γ ( j k )) \ ( Z j ∪ Z k ), otherwise, by the definition of E α Z,Z ′ , we would have Z j ∩ Z k = ∅ , a contradiction. Thus, for any pair j, k there must exist some α j,k = α where γ j,k ∈ E α j,k Z,Z ′ . Let us assume, without loss of generality, that for k ≥ 2 we have Z k ⊂ V ( T γ ( k -1 , γ k +1 )), where γ j ∈ Z j , j = k -1 , k +1. In particular, for each pair j, k there will exist some α j,k = α such that E α j,k Z,Z ′ ⊂ V ( T γ ( k -1 , γ k +1 )), where γ j ∈ Z j , j = k -1 , k + 1. However, this implies that either we will have a certain value of b for which we count infinitely many generators of the MD-homology of degree 1, a contradiction with Theorem 1.60, or we will have infinitely many jumping rates of b , a contradiction with Theorem 1.61.

̸

□

̸

Definition 5.6. Let X be a β -snake and Z, Z ′ ⊂ V ( X ) disjoint zones which are both segments or nodal zones of X with tord Z, Z ( ′ ) &gt; β . Let α Z,Z ′ = tord Z, Z ( ′ ) . We say that Z and Z ′ have simple Lipschitz contact if, for every α , α 1 3 ∈ F , with α 1 ≤ α 3 ≤ α Z,Z ′ , such that there is α 2 ∈ F satisfying E α i Z,Z ′ = ∅ , i = 1 2 3 , , , and E α 2 Z,Z ′ ⊂ V ( T γ , γ ( 1 3 )) , where γ j ∈ E α j Z,Z ′ , j = 1 3 , , we have α 1 ≤ α 2 ≤ α 3 . We say that X is a simple β -snake if any of its pairs of distinct segments or nodal zones with tangency order higher than β has simple Lipschitz contact. A basic β -snake is a simple β -snake where its spectra is a singleton and all of its segments have multiplicity 1 .

Remark 5.7. Notice that a β -snake obtained from the construction of Theorem 6.23 of [14] is a basic β -snake.

̸

Theorem 5.8. Let X be a basic β -snake with spectra { α } . If X contains exactly k nodes and m nodal zones, then

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t }, \mathbb { Z } ) = \begin{cases} 0, & \text{for $b<\beta$} \\ \mathbb { Z } ^ { m - k }, & \text{for $\beta\leq b<\alpha$} \\ 0, & \text{for $\alpha\leq b$} \end{cases}$$

Proof. For β ≤ b &lt; α , Remark 4.2 implies that X is b -equivalent to a surface ˜ X whose canonical H¨lder complex, say ( o G,σ ), satisfies that G is a connected graph with exactly k vertices (the nodes of X ), m -1 edges (the segments of X ) and σ ≡ β (see Proposition 4.30 of [14]). Hence, by Theorem 3.7,

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ \ M D H ^ { b } _ { 1 } ( X, 0, d _ { o u t }, \mathbb { Z } ) = M D H ^ { b } _ { 1 } ( \tilde { X }, 0, d _ { o u t }, \mathbb { Z } ) = \begin{cases} 0, & \text{for $b<\beta$} \\ \mathbb { Z } ^ { ( m - 1 ) - k + 1 }, & \text{for $\beta\leq b<\alpha$} \\ 0, & \text{for $\alpha\leq b$} \end{cases}$$

Corollary 5.9. Let X be a basic β -snake with spectra { α } . Let W = W X ( ) be the snake name associated with X . If W has length m and exactly k distinct letters, then

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t }, \mathbb { Z } ) = \begin{cases} 0, & \text{for $b<\beta$} \\ \mathbb { Z } ^ { m - k }, & \text{for $\beta\leq b<\alpha$} \\ 0, & \text{for $\alpha\leq b$} \end{cases}$$

Proof. Since W has length m and exactly k distinct letters, X has exactly m nodal zones and k nodes. Therefore, the result follows from Theorem 5.8. □

Remark 5.10. In the hypothesis of Corollary 5.9, the number of generators of the MDHomology coincides with the number of distinct semi-primitive subwords of W (see Definition 6.5 of [14] ). Moreover, there are basic snakes with the same MD-Homology which are not weakly outer Lipschitz equivalent, since they have different number of nodes (see Figure 11).

Figure 11. Links of two basic β -snakes which are not weakly outer Lipschitz equivalent but have the same spectra and the same MD-Homology. Points inside the shaded disks represent arcs with tangency order higher than β .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00851v1-figure-d9a776f4-c57a-4edc-9070-2e890ff7add7.jpg)

Lemma 5.11. Let X be a β -snake and γ, γ ′ ∈ V ( X ) . If tord γ, γ ( ′ ) &gt; β = itord γ, γ ( ′ ) then both γ and γ ′ are simultaneously either segment arcs or nodal arcs.

Proof. This is a consequence of Lemma 3.33 in [11], for circular β -snakes, and its proof. □

Theorem 5.12. Let X and ˜ X be two simple β -snakes. If the following conditions simultaneously hold then they have the same MD-Homology.

- (1) they are weakly outer equivalent;
- (2) for any two disjoint zones Z, Z ′ ⊂ V ( X ) , with tord Z, Z ( ′ ) &gt; β , which are both segments or nodal zones and their corresponding segments and nodal zones ˜ Z,Z ˜ ′ ⊂ V ( ˜ ) X , with respect to the weakly outer homeomorphism, we have

̸

$$E _ { Z, Z ^ { \prime } } ^ { \alpha } \neq \emptyset \Leftrightarrow E _ { \tilde { Z }, \tilde { Z } ^ { \prime } } ^ { \alpha } \neq \emptyset,$$

̸

for any α ∈ F , α &gt; β .

̸

Proof. Let X and ˜ X be two simple β -snakes weakly outer equivalent but with different MD-Homologies. In this case, there exists b ∈ ( β, ∞ ) such that X and ˜ , X up to b -equivalence, have different number of generators on the respective MD-homology of degree 1. Thus, denoting by h : X → ˜ X the weakly outer homeomorphism between X and ˜ , X there are b -equivalent arcs γ, γ ′ ∈ V ( X ) such that ˜ γ = h γ ( ) and ˜ γ ′ = h γ ( ′ ) are not b -equivalents. Once h is a weakly outer homeomorphism, by Remark 1.52 and Proposition 4.10 of [14], we must necessarily have tord γ, γ ( ′ ) &gt; b ≥ tord γ, γ (˜ ˜ ) ′ &gt; β and itord γ, γ ( ′ ) = β = itord γ, γ (˜ ˜ ). ′ Therefore, by Lemma 5.11 we may assume that both γ, γ ′ (and consequently ˜ γ, γ ˜ ) ′ are both segment arcs or nodal arcs. In particular, for α = tord γ, γ ( ′ ), we would have E α Z,Z ′ = ∅ but E α ˜ Z,Z ˜ ′ = ∅ , where Z, Z ′ are the segments (resp., nodal zones) containing γ, γ ′ , respectively, and ˜ Z,Z ˜ ′ are the corresponding segments (resp., nodal zones) of ˜ , X a contradiction with condition (2). □

Corollary 5.13. Let X and ˜ X be basic β -snakes. If they are weakly outer equivalent and have the same spectra then they have the same MD-Homology.

Proof. Since X and ˜ X are basic β -snakes, we could only possibly have tord Z, Z ( ′ ) &gt; β (resp., tord Z, Z ( ˜ ˜ ) ′ &gt; β ) when Z and Z ′ are distinct nodal zones of X (resp., ˜ ). X ′ Thus, as X and ˜ have the same spectra, condition (2) of Theorem 5.12 is satisfied. X Therefore, X and ˜ X have the same MD-Homology. □

Remark 5.14. Although we have determined the MD-Homology group of a basic snake from its snake name (see Corollary 5.9), the task is rather complicated when dealing with simple snakes (and consequently way worse for surfaces in general), due to the inherent combinatorics of the cluster partitions of segments containing two or more segments and the spectrum of their nodes. For example, for surfaces which link is as in the left diagram in Figure 11, we will obtain different MD-Homology groups, depending on the choice of the spectrum in each node.

Example 5.15. The converse of Corollary 5.13 (and consequently, the one of Theorem 5.12) is not true. Indeed, given α ∈ F , α &gt; β , let X and ˜ X be the basic β -snakes with spectra { α } , such that W X ( ) = [ x x x x x x x x 1 2 3 1 4 3 2 4 ] and W X ( ˜ ) = [ x x x x x x x 1 2 1 2 3 1 3 ] (such snakes exists by Theorem 6.23 in [14] , see Figure 11 to visualize their links). They are not weakly outer equivalent, since they have a different number of nodes (which is equivalent to their words having a different number of distinct letters), but

$$M D H _ { 1 } ^ { b } ( X, 0, d _ { o u t } ) = M D H _ { 1 } ^ { b } ( \tilde { X }, 0, d _ { o u t } ) = \begin{cases} 0, & \text{for $b<\beta$} \\ \mathbb { Z } ^ { 4 }, & \text{for $\beta\leq b<\alpha$} \\ 0, & \text{for $\alpha\leq b$} \end{cases}$$

Moreover, condition (2) of Theorem 5.12 could not be weakened. For an example, let X and ˜ X be β -snakes with link as in Figure 10, from the left to the right, respectively. The Valette links of those surfaces contain two segments with multiplicity 2 : the ones with adjacent nodal zones in the nodes N N , ′ (say S, S ′ ) and ˜ N N , ˜ ′ (say ˜ S, S ˜ ′ ). Let us further assume that 1 ≤ β &lt; α 1 &lt; α 2 are exponents such that

$$\sup \{ t o r d ( \gamma, \gamma ^ { \prime } ) \ | \ \gamma \in S, \gamma ^ { \prime } \in S ^ { \prime } \} = \alpha _ { 1 } = \sup \{ t o r d ( \gamma, \gamma ^ { \prime } ) \ | \ \gamma \in \tilde { S }, \gamma ^ { \prime } \in \tilde { S } ^ { \prime } \},$$

$$S p e c ( \mathcal { N } ) = S p e c ( \mathcal { N } ^ { \prime } ) = \{ \alpha _ { 1 } \} ; \ S p e c ( \tilde { \mathcal { N } } ) = S p e c ( \tilde { \mathcal { N } } ^ { \prime } ) = \{ \alpha _ { 2 } \},$$

while the spectrum of all the other nodes of X and ˜ X is { α 2 } . Therefore, X and ˜ X are weakly outer Lipschitz equivalent, but since condition (2) of Theorem 5.12 is not satisfied by the corresponding nodal zones in N and ˜ N (or N ′ and ˜ N ′ ), they do not have the same MD-Homology. Indeed, for α 1 ≤ b &lt; α 2 , MDH X, ,d b 1 ( 0 out ) has two generators while MDH X, ,d b 1 ( ˜ 0 out ) has four.

## References

- [1] Birbrair, L. Local bi-Lipschitz classification of 2-dimensional semialgebraic sets. Houston J. Math., vol. 25 (1999), no. 3, 453-472.
- [2] Birbrair, L. Lipschitz geometry of curves and surfaces definable in o-minimal structures . Illinois Journal of Mathematics, vol. 52 (2008), no. 4, 1325-1353.
- [3] Birbrair, L.; Denkowski, M.; Medeiros, D.L. and Sampaio, J.E. Universality Theorem for LNE H¨lder o Triangles. Preprint (2024).
- [4] Birbrair, L.; Fernandes, A. and Jelonek, Z. On the extension of bi-Lipschitz mappings. Selecta Mathematica, vol. 27 (2021), article no. 15.
- [5] Birbrair, L. and Gabrielov, A. Lipschitz geometry of pairs of normally embedded H¨lder triangles. o European Journal of Mathematics, vol. 8 (2022), 766-791.
- [6] Birbrair, L. and Medeiros, D. L. Ambient Lipschitz Geometry of Normally Embedded Surface Germs. Preprint arXiv:2311.18570 (2023).
- [7] Birbrair, L. and Mendes, R. Arc criterion of normal embedding. Singularities and foliations. geometry, topology and applications, 549-553, Springer Proc. Math. Stat., 222, Springer, Cham, 2018.
- [8] Birbrair, L. and Mendes, R. Lipschitz contact equivalence and real analytic functions. Preprint arXiv:1801.05842 (2018).

- [9] Birbrair, L. and Mostowski, T. Normal embeddings of semialgebraic sets. Michigan Math. J., vol. 47 (2000), 125-132.
- [10] Birbrair, L. and Sobolevsky, M. Realization of H¨lder complexes. o Annales de la Facult´ des sciences e de Toulouse: Math´ ematiques, vol. 8 (1999), no. 1, 35-44.
- [11] Costa, A. and Souza, E. Lipschitz contact equivalence and real analytic functions. Preprint arXiv:2101.02302 (2024).
- [12] van den Dries, L. Tame topology and o-minimal structures . London Mathematical Society, Lecture Series, vol. 248, Cambridge University Press, Cambridge, 1998.
- [13] Fern´ndez de Bobadilla, J.; Heinze, S.; Pe-Pereira, M. and Sampaio, J. E. a Moderately discontinuous homology . Communications on Pure and Applied Mathematics, vol. 75 (2022), no. 10, 2123-2200.
- [14] Gabrielov, A. and Souza, E. Lipschitz geometry and combinatorics of abnormal surface germs. Selecta Mathematica, New Series, vol. 28 (2022), article no. 1.
- [15] Kurdyka, K. On a subanalytic stratification satisfying a Whitney property with exponent 1. Real algebraic geometry, Springer, (1992), 316-322
- [16] Kurdyka, K. and Orro, P. Distance g´od´sique sur un sous-analytique. e e Rev. Mat. Univ. Complut. Madrid, vol. 10 (1997), 173-182.
- [17] Valette, G. The link of the germ of a semi-algebraic metric space. Proc. Amer. Math. Soc., vol. 135 (2007), no. 10, 3083-3090

Departamento de Matem´ atica, Universidade Federal do Cear´ (UFC), Campus do Pici, a Bloco 914, Cep. 60455-760. Fortaleza-Ce, Brasil

Email address : profdavilopes@gmail.com

Departamento de Matem´ atica, Universidade Federal do Cear´ (UFC), Campus do Pici, a Bloco 914, Cep. 60455-760. Fortaleza-Ce, Brasil

Email address : edsonsampaio@mat.ufc.br

Departamento de Matem´ atica, Universidade Estadual do Cear´ (UECE), Campus Itapreri, a Av. Dr. Silas Munguba, 1700, Cep. 60714-903. Fortaleza-CE, Brasil

Email address : emanoelfs.cdd@gmail.com
Davi Lopes Medeiros José Edson Sampaio Emanoel Souza
Moderately discontinuous homology of real surfaces
The Moderately Discontinuous Homology (MD-Homology, for short) was created
recently in 2022 by Fern\'andez de Bobadilla at al. and it captures deep
Lipschitz phenomena. However, to become a definitive powerful tool, it must be
widely comprehended.
  In this paper, we investigate the MD-Homology of definable surface germs for
the inner and outer metrics. We completely determine the MD-Homology of
surfaces for the inner metric and we present a great variety of interesting
MD-Homology of surfaces for the outer metric, for instance, we determine the
MD-Homology of some bubbles, snake surfaces, and horns. Furthermore, we
explicit the diversity of MD-Homology of surfaces for the outer metric in
general, showing how hard it is to completely solve the outer classification
problem. On the other hand, we show that, under specific conditions, the weakly
outer Lipschitz equivalence determines completely the MD-Homology of surfaces
for the outer metric, showing that these two subjects are quite related.