Topology of angle valued maps, bar codes and Jordan blocks

In this paper one presents a collection of results about the"bar codes"and"Jordan blocks"introduced by Burghelea-Day as"computer friendly"invariants of a tame angle-valued map and one relates these invariants to the Betti numbers, Novikov Betti numbers and the monodromy of the underlying space and map. Among others, one organizes the bar codes as two configurations of points in C\0 and one establishes their main properties: stability property and when the underlying space is a closed topological manifold, Poincar\'e duality property. One also provides an alternative"computer friendly"definition of the monodromy of an angle valued map based on the algebra of linear relations as well as a refinement of Morse and Morse-Novikov inequalities.

In this paper a nice space is a friendlier name for a locally compact ANR. In particular a metrizable, locally compact, finite dimensional locally contractible space is nice. Finite dimensional simplicial complexes and finite dimensional topological manifolds are nice spaces but the class is considerably larger. A tame map is a Date: February 6, 2014. Part of this work was done while the second author enjoyed the hospitality of the Ohio State University. The present version of this paper was finalized while first author was visiting the Bernoulli Center at EPFL Lausanne and MPIM Bonn. The first author acknowledges partial support from NSF grant MCS 0915996. The second author acknowledges the support of the Austrian Science Fund, grant P19392-N13.
proper continuous map f : X → R or f : X → S 1 , defined on a nice space X which satisfies: (i) each fiber of f is a neighborhood deformation retract, (ii) away from a discrete set Σ ⊂ R or Σ ⊂ S 1 the restriction of f to X \f −1 (Σ) is an Hurewicz fibration, cf. [1].
All proper simplicial maps, and proper smooth generic maps defined on a smooth manifold 1 , in particular proper real or angle valued Morse maps, are tame.
The subspace of tame maps is residual in the space of continuous maps when equipped with the compact open topology and weakly homotopy equivalent to the space of all continuous maps (equipped with compact open topology) 2 .
Since our invariants are based on homology we fix once for all a field κ and write H r (X) for the singular homology of X with coefficients in κ. A vector space without additional specifications will be over the field κ.
We consider a tame map, f : X → S 1 , and as in [1] associate to it: (i) the critical angles 0 < θ 1 < θ 2 < · · · < θ m ≤ 2π, and for any r = 0, 1, . . . , dim X, (ii) four type of intervals of real numbers, subsequently called r-bar codes, r = 0, 1, · · · whose ends mod 2π are the critical angles Each bar code or Jordan block appears in its collection with a multiplicity possibly larger than one. For u ∈ κ \ 0 we denote by J r,u (f ) the sub collection {(V, T ) ∈ J r (f ) | u ∈ spect(T )}.
In the Appendix the reader can see an example. As shown in [1] these invariants are effectively computable.
In this paper the bar codes will be recorded as the finite configurations of points in C \ 0, denoted by C r (f ) and C m r (f ) 3 respectively, see below. A pair (V, T ) as in (iii) above is indecomposable if not isomorphic to the sum of two nontrivial pairs. Note that if T has λ ∈ κ as an eigenvalue all other eigenvalues 1 here "generic" means that for any x ∈ M the quotient algebra of germs of smooth functions at x by the ideal of partial derivatives is a finite dimensional vector space 2 we are unable to locate a reference in literature for this statement, however in case that the space X is homeomorphic to a finite simplicial complex, it is a straightforward consequence of the approximability of continuous maps by pl-maps 3 actually C m r (f ) is a configuration of points in C \ {S 1 0} are equal to λ and (V, T ) is isomorphic to (κ k , T (λ, k)) where In [1] the indecomposable pairs (κ k , T (λ, k)) were called Jordan cells. When κ is algebraically closed all Jordan blocks are Jordan cells.
Each tame map with X compact has finitely many bar codes and Jordan blocks. These type of invariants, are based on changes in the homology of the fibers and have been introduced in [4] and [1] using graph representations (in [4] only for real valued maps).
Let ξ f ∈ H 1 (X; Z) be the integral cohomology class represented by f . The first result we prove in this paper is: Here denotes cardinality of multi set. Item (3) has been already established in [1] and is included in Theorem 1.1 only for the completeness of the topological information derived from bar codes and Jordan blocks.
In view of Theorem 1.1 it is natural to put together B c r (f ) and B o r−1 (f ). For this purpose consider T = C/Z and ∆ T = ∆/Z where the Z-action on C is given by (n, z) = z + (2πn + i2πn) and ∆ = {z = a + ib | a = b}. We will record the collections B c r (f ) B o r−1 (f ) as a finite configuration of points in T, denoted by C r (f ), and the collection B co r (f ) B oc r (f ) as a finite configuration of points in T \ ∆ T , denoted by C m r (f ). Precisely in the first case a closed r-bar code [a, b] will be written as the complex number z = a + ib mod the action of Z and an open (r − 1)-bar code (α, β) as the complex number z = β + iα mod the action of Z. Similarly, in the second case, a closed-open r-bar code [a, b) will be written as the complex number z = a + ib mod the action of Z and an open-closed r-bar code (α, β] as the complex number z = β + iα mod the action of Z. In Section 4 we will provide a direct definition of the configuration C r (f ) of which we derive the r−closed and (r − 1)−open bar codes of f and in Section 7 we will do the same for the configuration C m r (f ). The direct definition of C m r (f ) is essentially a reformulation of the definition of persistence diagrams used in [5] but the one for C r (f ) is not closed to anything considered so far. It should be noticed that the configuration C r (f ) makes sense for any continuous map and implicitly the close and open bar codes can be defined for any such map.
In view of Theorem 1.1 if f is in the homotopy class defined by ξ ∈ H 1 (X; Z) then the configuration C r (f ) has the support of cardinality 4 exactly β N r (X; ξ), see below, and can be regarded as a point in the n-fold symmetric product S n (T), n = β N (X, ξ) of T. Note also that T can be identified to C\0 via the map z → e iz− (z+z) 2 . Therefore each C r (f ), and in fact any element of S n (T), can be regarded as a monic polynomial P f r (z) of degree n with non-vanishing free coefficient, hence S n (T) identifies to C n−1 × (C \ 0). We equip S n (T) with the topology of the symmetric product or equivalently with the topology of C n−1 × (C \ 0). Let C(X, S 1 ) denote the space of all continuous maps equipped with the compact open topology and let C ξ (X, S 1 ) be the connected component corresponding to ξ. Let C ξ,t (X, S 1 ) be the subspace of tame maps in C ξ (X, S 1 ). Our next result and in some sense the least expected is the following theorem.
The configuration C r (f ), equivalently the polynomial P f r (z), can be viewed as a refinement of the r-Novikov-Betti number. The Poincaré duality for closed manifolds extends from Novikov-Betti numbers to these refinements and we have: where S 1 is viewed as the set of complex numbers of absolute value equal to 1, f : X → S 1 ⊂ C denotes the composition of f with the complex conjugation and C r (f ) and C n−r are viewed as configurations of points in C \ 0.
The proofs of Theorems 1.2 and 1.3 we provide use an alternative definition of the configuration C r (f ). More precisely, one defines the function δ f r on T with values in Z ≥0 , one checks that it is equal to the configuration C r (f ) and one verifies Theorems 1.2 and 1.3 for δ f r instead of C r (f ). Similarly, the Jordan blocks introduced in [1] via graph representations, can be recovered in a different manner, more precisely, as the regular part of a linear relation, as stated in Theorem 1.4 below.
Recall that a linear relation R : V V , concept generalizing linear map, discussed in more details in Section 8, has a canonical linear isomorphism R reg : V reg → V reg associated with it, cf. Section 8. We continue to write R reg for the pair (V reg , R reg ).
Given a tame map f : X → S 1 the infinite cyclic coveringf :X → R is defined by the pullback diagramX 4 the cardinality of the support of a configuration is the sum of the multiplicities of its points 5 If κ has characteristic 2 any manifold is κ-orientable if not the manifold should be orientable.
For any θ ∈ S 1 regular angle, one obtains a linear relation R θ r by passing to homology in the diagram Here the real numberθ ∈ R corresponds to the angle θ. We have the following theorem.
Theorem 1.4. If f is a tame map then for any angle θ, and any r, nonnegative integer, the pair (R θ r ) reg is isomorphic to J=(V,T )∈Jr(f ) (V, T ). Finally we note that the collection B co r (f ) can be identified to the collection of persistence intervals considered in [12] or [5] for the mapf :X → R, made equivalent modulo 2π−translation. Similarly the collection B oc r (f ), after changing (a, b] into [−b, −a) can be identified to the collection of persistence intervals of −f . The stability result of [5] can be reformulated as a stability result for the configuration C m r (f ). The configurations C m r (f )s do not have the supports of constant cardinality when f varies in a fixed homotopy class. To give meaning to "stability" the set of finite configurations of points in T \ ∆ T has to be equipped with the topology induced from the bottle neck metric introduced by the authors of [5]. This metric can make arbitrary "close" configurations with supports of different cardinality, provided the difference is caused by points close to ∆ T . A statement of the result in [5] (in a slightly weaker form), in terms of the configuration C m r (f ) is provided in Section 7, see Theorem 7.1. In this case one can not extend the assignment f C m r (f ) continuously to the entire space C ξ (X; S 1 ). Poincaré duality holds for the configuration C m r (f ) but in analogy with the Poincaré duality for the torsion of the integral homology for closed orientable manifolds. Precisely we have the following result.
When f is real valued C r (f ) and C m r (f ) can be considered as a finite configuration of points in R 2 without passing to T. The cardinality of the support of C r (f ) is the standard Betti number β r (X), the Poincaré dualities become and there are no Jordan blocks. These configurations can be recovered from the information derived via zigzag persistence proposed in [4].
We like to regard the elements (i), (ii), (iii) associated to a tame angle valued map f : X → S 1 in analogy to the rest points, the isolated trajectories between rest points and the closed trajectories (actually Poincaré return maps for closed trajectories) of grad g f when (M, g) is a closed Riemannian manifold and f : M → S 1 a Morse map. These are the elements which enter the classical Morse-Novikov theory.
The generality of the class of spaces and maps which our theory can handle, the finiteness of the number of the elements (i), (ii) and (iii), the computability (by implementable algorithms) at least for X simplicial complex and f simplicial map), cf. [1], end especially the robustness of C r (f ) to small perturbations of f, make this theory "computer friendly" and hopefully of some relevance outside mathematics.
The paper contains in addition to the present section, which summarizes the results, seven more sections and one appendix. In Section 2 we review and prove simple results about graph representations of the two relevant graphs for this paper, G 2m and Z. In Sections 3 and 4 we provide the background and intermediate results for the proof of Theorem 1.1 and the verification that δ f r and C r (f ) are equal. We also prove Theorem 1.1. In Section 5 we define the function δ f r and prove Theorem 1.2. In Sections 6 and 7 we discuss the Poincaré duality for the configurations C r (f ) and C m r (f ) and establish Theorems 1.3 and 1.5. In Section 8 we discuss some linear algebra of linear relations and prove Theorem 1.4. The appendix provides an example of tame map and describes its bar codes and Jordan cells. The example is taken from [1].
The algebraic topology-minded reader can easily realize that the collection of bar codes described in this paper can be derived from the Leray spectral sequence of the map f : X → S 1 whose E 2 − term is the homology of S 1 with coefficients in the constructible sheaf defined by the homology of f −1 (U ), U ⊂ S 1 . The interpretation of the stability results (Theorems 1.2 and 7.1) in terms of such spectral sequence is an interesting problem.
Prior work: The approach of relating the topology of a space to the homological behavior of the levels of a real or angle valued map expands the ideas of "persistence theory" introduced in [12]. It also owes to the apparently forgotten efforts and ideas of R. Deheuvels to extend Morse theory to all continuous functions (fonctionelles) cf. [8], ideas which preceded persistence theory. The stability phenomena for bar codes in classical persistence theory was first established in [5]. The first use of graph representations in connection with persistence appears first in [4] under the name of zigzag persistence. The definition of bar codes and of Jordan cells for S 1 -valued tame maps was first provided in [1] based on graph representations.

Graph representations
Let κ be a fixed field and Γ an oriented graph, possibly with infinitely many vertices. A Γ-representation ρ is an assignment which to each vertex x of Γ assigns a finite dimensional vector space V x and to each oriented arrow from the vertex x to the vertex y a linear map V x → V y . The concepts of morphism, isomorphism= equivalence, sum, direct summand, zero and nontrivial representations are obvious.
If ρ α , α ∈ A, is a family of Γ− representations with the property that for any x all but finitely vector spaces V α x are zero dimensional, then one considers α∈A ρ α the Γ−representation whose vector space for the vertex x is the direct sum ⊕ α V α x and for each oriented arrow the linear map is the direct sum regular, if all the linear maps are isomorphisms, with finite support, if V x = 0 for all but finitely many vertices and indecomposable, if not the sum of two nontrivial representations.
In this paper the oriented graph Γ of primary concern will be G 2m and for technical reasons we will need the infinite oriented graph Z. The graph Γ = G 2m has vertices x 1 , x 2 , . . . , x 2m and arrows a i : and arrows a i : x 2i−1 → x 2i and b i : Both G 2m and Z−representations ρ will be recorded as Any regular G 2m -representation ρ = {V r , α i , β i }, not necessary indecomposable, is equivalent = isomorphic to the representation The Z−representations we consider are either with finite support or periodic. The representation is periodic if for some integer N, V r = V r+2N , α i = α i+N , β i = β i+N . Both type of Z−representations, periodic and with finite support, as well as a finite direct sum of of such representations will be referred to as good Z−representations.
Type I (bar codes): They are indexed by the four types of intervals I with integer valued ends r and s, r ≤ s, 1 ≤ r ≤ m, namely [r, s] with r ≤ s, and (r, s), [r, s), (r, s] with r < s, They are denoted by ρ I ({r, s}) with "{" notation for either "[" or "(" and "}" for either "]" or")" and described as follows.
Suppose the vertices x 1 , x 2 , · · · x 2m−1 , x 2m are located counter-clockwise on the unit circle say at the the angles 0 < t 1 < θ 1 < t 2 < θ 2 < · · · < t m < θ m ≤ 2π with the t i angle corresponding to an odd vertices and the θ i to an even vertices.
To describe the representation ρ I ({i, j + mk}), 1 ≤ i, j ≤ m, draw the counterclockwise spiral curve from a = θ i to b = θ j + 2πk with the ends a black or an empty circle if the end is closed or open. Black circle indicates that the end is on our spiral empty circle that the end is not.
Let V i be the vector space generated by the intersection points of the spiral with the radius corresponding to the vertex x i and let α i and β i be defined on bases as follows: a generator e of V 2i±1 is sent to the generator e of V 2i if connected by a piece of spiral and to 0 otherwise. The spiral in Figure 1 below corresponds to k = 2.
Type II (Jordan blocks/cells): They are indexed by Jordan blocks J = (V, T ) and denoted by ρ II (J). Recall that a Jordan block is an isomorphism class of indecomposable pairs (V, T ), V a vector space T : V → V an isomorphism. The representation ρ II (J) has all vector spaces equal to V, α 1 = T and β 1 = α i = β i = Id for 2 ≤ i ≤ m.
One refers to both the interval {r, s} and the representation ρ I ({r, s}) as bar code and to the indecomposable pair J and the representation ρ II (J) as Jordan block.  For λ ∈ κ \ 0 one denotes by J λ (ρ) the collection of Jordan blocks J = (V, T ) with T having λ as an eigenvalue, hence of the form (κ k , T (λ, k)).
By Remak-Schmidt theorem any G 2m −representation ρ can be decomposed as The indecomposable factors and their multiplicity are unique. The above description is implicit in [13] and [10].
Both the labeling interval I and the representation ρ(I) will be referred to as bar codes.
The indecomposable representation ρ ∞ , has all vector spaces V r = κ and all linear maps α i = β i = Id. The Remak-Schmidt decomposition for representations with finite support extends to all good Z−representations. Precisely, any such representation ρ is a sum (in the sense described above) of possibly infinitely many indecomposables either with finite support or isomorphic to ρ ∞ , with indecomposable factors and their multiplicity unique up to isomorphism. Here n ρ ∞ denotes the sum of n copies of ρ ∞ . Each indecomposable ρ(I) or ρ ∞ appears with finite multiplicity.
The statements about G 2m −representations or good Z−representations formulated in this paper will be verified first for the indecomposable representations described above and if hold true, in view of the Remak-Schmidt decomposition theorem, concluded for arbitrary representations.

Two basic constructions.
The infinite cyclic covering of a G 2m −representation When applied to indecomposable ρ I (I) or ρ II (J) one obtains : where I + a, a ∈ Z denotes translate of the interval I, with a units.
The truncation T k,l of a Z−representation is defined for any pair of integers k, l, k ≤ l and of a G 2m −representation for a any pair of integers k, l, More precisely for the indecomposable Z−representations one obtains and for the indecomposable G 2m −representations one obtains Given a G 2m −representation ρ we write: J (ρ) for the collection which contains with any Jordan block J ∈ J (ρ), a number of n(J) = dim(V ) copies of J = (V, T ) and With the above notation one has : As noticed in [1] and one has To check Proposition 2.3 one notices that the calculation of the kernel of M (ρ) boils down to the description of the space of solutions of the linear system which in the case of indecomposable are easy to do. Proposition 2.3 can be refined. For each indecomposable consider the concrete description presented above and specify a nonzero vector in ker M (ρ) or coker(M (ρ) when the case. For example for Jordan blocks such choice is needed only for the Jordan cells of form (1, k) since the kernels and cokernels are otherwise zero dimensional. This additional specification will be regarded as part of the concrete realization of the indecomposable representation and referred to as the model for the indecomposable.
Recall that for a set S one denotes by κ[S] the vector space generated by S, equivalently the vector space of κ−valued maps on S with finite support.
The construction of Ψ c and Ψ o is tautological for the model of indecomposables as presented above. For an arbitrary representation the decomposition permits to assemble the tautological Ψ c 's and Ψ o 's into isomorphisms as stated. Note that a specified decomposition of ρ provides, in view of Observation 2.1, a decomposition ofρ and of the truncations T k,l (ρ) and T k,l (ρ).
Let us explain in more details what "compatible with the truncations" means.
The linear maps i and i are injective since by Observation 2.1 (2.) we have the inclusions injective. We also have the linear maps which are not necessary injective, defined as follows. As the elements of B c (T k,l (ρ)) are elements of B(ρ), the linear maps in the sequence (12) send a bar code I ∈ B c (T k,l (ρ)) to itself if it belongs to the next set and to zero otherwise and any element of J (1) to itself. The compatibility with truncation means the commutativity of the diagrams.
with the vertical arrows Ψ o s and We finish this section with an observation about the Z−representationsρ when ρ is a G 2k −representation. The shift of indices r → r + 2k for vector spaces and i → i + k for linear maps induces the linear endomorphism τ k on the kernel and cokernel of the associated matrices M (ρ). We will need the compositions It suffices to describe these compositions separately, for G 2k −representations ρ with J (ρ) = ∅ and with B(ρ) = ∅. In the second case ρ is regular, hence isomorphic with the representation

Bar codes and Jordan blocks via graph representations
Let f : X → S 1 be a tame map and 0 < θ 1 < θ 2 < · · · θ m ≤ 2π be the critical angles (the angles of the set Σ in the definition of tameness). Choose the regular values t 1 < t 2 , · · · < t m with θ i−1 < t i < θ i and 0 < t 1 < θ 1 . In order to differentiate between regular and singular fibers we write The tameness of f induces the maps a i : are unique up to homotopy; this means that different choices of the regular values, say t i instead of t i , lead to homotopy equivalences ω i : Indeed the fiber R i identifies up to homotopy to regular fiber f −1 (t) and f −1 (t ) with t a regular value closed enough to θ i and t a regular value closed enough to θ i−1 to insure that f −1 (t) resp. f −1 (t ) is contained in an open set which retracts to X i resp. X i−1 . The maps a i or b i−1 are the composition of such identifications with these retractions to X i resp. X i−1 . We leave the reader to do the tedious verification that the homotopy classes of a i and b i−1 are independent of the choices made. Passing to r−homology one obtains the G 2m −representation ρ r = ρ r (f ) whose vector spaces are V 2s = H r (X s ) and V 2s−1 = H r (R s ) and linear maps α i and β i are induced by the continuous maps a i and b i .
The representation ρ r (f ) has bar codes whose ends are i, j + km, 1 ≤ i, j ≤ m. Denote by B r (f ), the collections of intervals defined by the bar codes of ρ r (f ) with ends i and j + km replaced by θ i and θ j + 2πk. Denote by J r (f ) the collection of Jordan blocks of the representation ρ r (f ).
One can think to these bar codes in a way more consistent with points in the space T. Iff :X → R is the infinite cyclic covering of f then the real numbers θ i + 2πk are the critical values and t i + 2πk are regular values (between consecutive critical values) and the tameness off gives the maps a i+km :X ti+1+2πk →X θi+2πk and b i+km :X ti+2πk →X θi+2πk . By passing to homology in dimension r one obtains a good Z−representation ρ r (f ) which is exactly the infinite cyclic covering where the first arrow is given by ξ and the second by the homomorphism < u >: Z → κ \ 0 defined by < u > (n) = u n . One denotes by H r (X; (ξ, u)) the homology of X with coefficients in the local system defined by the representation (ξ, u), which for u = 1 satisfies H r (X; (ξ, 1)) = H r (X). When restricted to R i and X i the local system is the constant one with fiber κ so by passing to homology the G 2m −representation obtained will have the same vector spaces for all u s but not necessary the same α i s and β i s. The G 2m −representation obtained will be isomorphic to ( with θ 2 − θ 1 < 2π, the restriction of the local system considered above is isomorphic to the constant local system with fiber κ and the inclusion X [θ1,θ2] ⊂ X induces the homomorphism H r (X [θ1,θ2] ) → H r (X; (ξ, u)).
3.1. The relevant exact sequences. (cf. [1]). The tool which permits the calculation of the homology of X,X and various pieces of these spaces is provided by Proposition 3.1 below.
Observe that for θ i ≤ θ j critical angles of f and f [θi,θj ] denoting the restriction Similarly, for c i ≤ c j critical values off andf [ci,cj ] denoting the restrictionf tõ Proposition 3.1. Let f : X → S 1 a tame map,f :X → R its infinite cyclic covering. Let ρ r = ρ r (f ) andρ r = ρ r (f ) = ρ r (f ) be the representations associated with f andf . One has the following short exact sequences: which for u = 1 becomes and The sequences are compatible with the truncations with respect to the pairs of critical In the case of G 2m − representation ρ r (f ) "compatibility with truncation" means the commutativity of the diagram (18) and in the case of the Z−representationρ r the commutativity of the diagram The short exact sequences (15) and (16) follow from the long exact sequence (20) with H r (R) = 1≤i≤m H r (R i ) and H r (X ) = 1≤i≤m H r (X i ) (16 for u = 1) and the short exact sequence (17) from the long exact sequence (21) Since both long exact sequences (20) and (21) are derived in the same way we will work only on (20) and for simplicity only for u = 1.
First choose an > 0 small enough so that 2 < t 1 and θ i−1 + 2 < t i < θ i − 2 . To simplify the writing, since i ≤ m, introduce θ m+1 = θ 1 + 2π and define ) and observe that in view of the choice of and the tameness of f the inclusions X ⊂ P , X ⊂ P" and X R ⊂ P ∩ P are homotopy equivalences.
The Mayer Vietoris long exact sequence for X = P ∪ P gives the diagram The matrix M (ρ r (f )) is defined by Consider the pair (X, ξ ∈ H 1 (X; Z)) with X a compact ANR and denote bỹ X → X the infinite cyclic covering associated to ξ. Recall from Section 1 that for ξ = ξ f the coveringX → X is the pull back by f of the universal covering R → S 1 Since X is a compact ANR all numbers dim H r (X), β N r , dim V (ξ) are finite.
A nonempty subset K of S 1 or R, will be called a closed multi-interval if it is a finite union of disjoint closed intervals [θ 1 , θ 2 ] with 0 ≤ θ 1 ≤ θ 2 < 2π in the case of S 1 , and [a, b] with a ≤ b or (−∞, a] or [b, ∞) in the case of R. One denotes by These sets have the following properties: (i) If K 1 , K 2 , K are closed multi-intervals in S 1 or R with K 1 ∩ K 2 = ∅ and K = K 1 ∪ K 2 then S r,K,u = S r,K1,u ∪ S r,K2,u andS r,K =S r,K1 ∪S r,K2 (ii) If K 1 , K 2 , K are closed multi-intervals in S 1 or R with K 1 ∩ K 2 = K then S r,K,u = S r,K1,u ∩ S r,K2,u andS r,K =S r,K1 ∩S r,K2 , (iii) If K 1 , K 2 closed multi-intervals with K 1 ⊂ K 2 then S r,K1,u ⊆ S r,K2,u and S r,K1 ⊆S r,K2 .
For K a multi-interval in S 1 or R denote by: With the notations and definitions above we have the following result which calculates the homologies of X andX.
Proposition 4.1. Let f : X → S 1 be a tame map and suppose that for each r a decomposition of the representation ρ r (f ) as a sum of bar code representations and Jordan block representations is given. Let u ∈ κ \ 0.
1. One can provide the isomorphism and for any closed multi interval K ⊂ S 1 the isomorphism such that for K , K closed multi-intervals in S 1 with K ⊂ K, the diagram is commutative. The horizontal arrows of the bottom line in the diagram are induced by the inclusions of the sets in brackets. 2. One can provide the isomorphism and for any closed multi interval K ⊂ R the isomorphism such that for K , K closed multi-intervals in R with K ⊂ K, the diagram It is also possible to calculate H r (X K ) for K ⊂ S 1 and H r (X K ) for K ⊂ R. In this case, in addition to closed and open bar codes and to Jordan blocks, mixed bar codes will appear. In this case it suffices to state the result for K consisting of only one interval say [θ 1 , θ 2 ], 0 ≤ θ 1 ≤ θ 2 < 2π in case of S 1 and [a, b] To formulate the result one extends the sets S r,K (f ),S r,K (f ) to S r,K (f ),S r,K (f ), K a closed interval in S 1 or R as follows.
is commutative.
In both cases the horizontal arrows in the top line are inclusion induced linear maps in homology, while in the bottom line are defined as follows: a bar code in the set S r,··· or inS r,··· is sent to itself if continues to belong to the next set or if not to the zero vector in the next vector space.
The isomorphisms claimed in these propositions are uniquely determined by the decomposition of ρ r s and by the choice of a splitting in the short exact sequences (16), (17), (15).  Proof. In view the properties of the sets S K,··· andS K,··· it suffices to prove the statements for K consisting of one single interval and in view the tameness of f one can suppose that θ 1 , θ 2 are critical angles and a, b critical values.
For each r choose a decomposition of ρ r in bar codes and Jordan blocks, which implies decompositions of T k,l (ρ r )s and choose a linear splitting s : ker(M ((ρ r−1 ) u ) → H r (X; (ξ f , u)) of π in diagram (18).
We treat first the item (1.) in both propositions. In view of the injectivity of v r and v r , in diagrams (18) The isomorphism ω u (in Proposition 4.1) is the composition of horizontal arrows in the last line of diagrams (27) (28)  Item (2.) is verified essentially in the same way. More precisely: The decompositions of ρ r s imply decompositions ofρ r s and T k,l (ρ r ) s. Observe that the commutative diagrams (27), (28) remain valid when we replace X byX, the representation ρ r byρ r , and θ 1 , θ 2 , θ 3 , θ 4 by a, b, c, d. In this caseω is defined as ω u was, namely as the composition of the horizontal arrows of the last lines in the replaced diagrams (27) Next we consider the diagram (29), whose horizontal arrows on the second line are induced by inclusion and projection (cf. the definitions of the setsS r (f ) and J r (f )). Observe that the diagram is actually a commutative diagram of κ[T −1 , T ]− modules, with the module structure on the vector spaces located on the last two horizontal lines of the diagram (29) as described in Observation 2.5. The proof of Theorems 1.2 and 1.3 will require an alternative definition of the configurations C r (f ). This will be provided by the integer valued functions δ f r which will be defined for an arbitrary real valued tame map and then, via the infinite cyclic covering for an angle valued tame map.

Real valued maps.
For f : X → R a map and a, b ∈ R denote by: ) and G f r (a, b) := dim H r (X)/(I f a (r) + I b f (r)). and observe that: and then the statement. To check (2.) notice that |f − g| < implies f − < g < f + which implies to X f a− ⊆ X g a and X f b+ ⊆ X g b . These inclusions imply I f a− ⊆ I g a and I b+ a, b). The arguments for G are similar.
To check (3.) one uses the fact that If X is a compact ANR it is immediate that both F f r (a, b) and G f r (a, b) are finite since dim H r (X) is finite. The same remains true for f : X → R a tame map with X not compact but this statement requires arguments since dim H r (X) is not necessary finite. We have the following: Proposition 5.2. For f : X → R a tame map then: 1 Consider and observe that I f a (r) ∩ I b f (r)) = (i a (r) + i b (r))(ker((i a (r) − i b (r))). Then dim(I f a (r) ∩ I b f (r)) ≤ dim(ker((i a (r) − i b (r))).
Since a ≥ b we have X = X a ∪X b . In view of the Mayer-Vietoris long exact sequence associated with X = X a ∪ X b has finite dimension since dim H r (X b a ) is finite. ( 2.): If a < b one uses the exact sequence of the pair (X, X a X b ) to conclude that H r (X)/(I f a (r) + I b f (r)) is isomorphic to a subspace of H r (X, X a X b ) = H r (X b a , X(a) X(b)) which is of finite dimension. Indeed f tame implies X(a), X(b) and X b a , compact ANRs, hence with finite dimensional homology. If a ≥ b one use the Mayer-Vietoris exact sequence associated with X a , X b to conclude that H r (X)/(I f a (r) + I b f (r)) is isomorphic to a subspace of H r (X b a ) which is of finite dimension. This long exact sequence implies item (3.) as well.
Let a < b, c < d. We refer to the set One has Proposition 5.3. If X is compact or f is a tame map then: Proof. To ease the writing, we drop f and r from the notations involving I and f and introduce:  Define the jump function The limit exists since by Proposition 5.3 the right side decreases when decreases.
This function has values in Z ≥0 , since the critical values of a tame map are discrete, has discrete support and satisfies the following proposition. For a tame map f the set of critical values is discrete so they can be written as · · · c i < c i+1 < · · · . Define Clearly if f : X → R is tame with X compact then (f ) > 0 and if f : X → S 1 is tame then the infinite cyclic coveringf :X → R is tame and (f ) > 0.
1. For any , < (f ) one has: Proof. The tameness of f and of the hypothesis the inclusions  Proof. To simplify the writing the index r will be omitted from the notation. Item (1.) follows from definition of δ f . To prove item (2.) observe that if (a, b) ∈ supp δ f both numbers have to be critical values, hence the a = c i , b = c j . In view of Proposition 5.5, for any , < (f )/2 one has Since |f − g| < , in view of Observation 5.1 one has 8 recall that the cardinality of the support is the sum of multiplicity of the elements in the support 9 here −neighborhood of (a, b) means the domain (a − , a + ) Since < (f )/6, (32) and (33) imply that In view of Proposition 5.4 (supp δ g ∩ B(a, b : 2 )) = µ g (B(a, b : 2 )) = which in view of (33) and (34) and Proposition 5.5 (2.) leads to (supp δ g ∩ B(a, b : 2 )) = (supp δ f ∩ B(a, b : 2 )) = δ f (a, b).
Consider the projection Let p : R 2 → T = R 2 /Z, with T the quotient space of R 2 by the action µ : Z × R 2 → R 2 given by µ(n, (a, b)) = (a + 2πn, b + 2πn). Define In view of (35) δ f r is a well defined integer valued function with finite support. and Proposition 5.6 holds for f : X → S 1 with exactly the same conclusion. Proposition 5.6 equally implies that the cardinality of the support of δ g r with g closed enough to f in C 0 topology is larger or equal to the cardinality of the support of δ f r and therefore the cardinality of the supports of tame maps in the same connected components is constant, a fact we already knew by Theorem 1.1.
For the proof of Theorem 1.2 we also need to show that δ f r and C r (f ) when viewed as functions on T are equal.
Proposition 5.7. If f is a tame real or angle valued map defined on X, a compact ANR, then δ f r and C r (f ) are equal as functions.
Proof. We check the case of an angle valued map f : X → S 1 only. The real valued case can be regarded as a particular case of this one.First note that (f ) > 0. In view of the definition of δf r it suffices to check that: (i) If at least one, a or b, is not a critical value then we have δf r (a, b) = 0.
In view of Proposition 5.5 if a is not critical value, for sufficiently small Ff r (a − , · · · ) = Ff r (a + , · · · ) which implies δf r (a, · · · ) = 0, and if b is not critical value for sufficiently small Ff r (· · · , b − ) = Ff r · · · , b + ) which implies δf r (· · · , b) = 0. This establishes statement (i) Suppose that a = c i and b = c j critical values. In view of Proposition 5.5 and of the definition of δf one obtains By Propositions 5.2 and 4.3, when c i ≥ c j , one has and when c i > c j , in view of Proposition 4.1 one has Comparing the collections of bar codes whose cardinality are given by Ff r (c i−1 , c j ), Ff r (c i , c j+1 ), Ff r (c i−1 , c j+1 ) and Ff r (c i , c j ) and using (37) and (38) one derives the statement ii), and using (37) and 39) one derives the statement iii).

5.3.
Proof of Theorem 1.2. We begin with a few observations. (iii) Observe that if f, g are in a connected component C ξ (X, S 1 ) of C(X, S 1 ) and D(f, g) < π then for any t ∈ [0, 1] the map h t := h t (f, g) ∈ C(X; S 1 ) defined by the formulae is continuous and lies in the connected component of C ξ (X, S 1 ) and for any 0 = t 0 < t 1 · · · t N −1 < t N = 1 one has (iv) If X is a simplicial complex and U ⊂ C ξ (X, S 1 ) denotes the subset of p.l-maps then: Recall that f is p.l on X if with respect to some subdivision is simplicial (i.e. the liftings to R of the restriction of f to simplexes are linear) and for any two p.l maps f, g there exists a common subdivision of X which makes f and g simultaneously simplicial, hence any h t is a simplicial map. Item (1.) follows from approximability of continuous maps by p.l maps and item (2.) from the continuity in t of the family h t and of the compacity of X.
The above observations combined imply Theorem 1.2. Indeed, Item (v.) makes δ : C(X; S 1 ) t,ξ → S N (T) a continuous map and establishes the continuity of the assignment C(X, S 1 ) t,ξ f → δ f r ∈ S N (T) N = β N r (X, ξ). To conclude the existence of a continuous extension of δ r to the entire C(X, S 1 ), in view of item (i) and (ii) and (iv), it suffices to show that for a Cauchy sequence {f n }, f n ∈ U, δ fn r is a Cauchy sequence in S N (T). This will follow once we can show that for any two f, g ∈ U with d(f, g) < π we have D(δ f r , δ g ) ≤ 2D(f, g). To establish this last fact we proceed as in [5].
This finishes the proof of Theorem 1.2.

orientable topological manifold and obtain
Note that the exact sequences in Borel-Moore homology of the pairs (M ,M a ) or (M ,M b ), the top lines of the two diagrams, give Looking to the right side corners of the diagrams (44) and (45) one concludes that ker(j BM a (r), j BM,b (r)) ≡ ker(r a (n − r), r b (n − r)). (48) In view of the canonical isomorphism between cohomology the dual of homology one obtains ker((r a (n − r), r b (n − r)) ≡ (coker(i a (n − r) + i b (n − r))) * .
In view of the definition and of the finite dimensionality of Gf (a, b) one obtains Consequently it suffices to show that the function δ BM,f r calculated from F BM,f r using (31) is the same as the function δf r . If so we obtain for z = e ia+(b−a) ,which establishes Theorem 1.3. For this purpose we need the following proposition. Recall that for an interval I we denote byX I :=f −1 (I).
Notice that the long exact sequence of the pair (X,X \X (−a,a) ) and the inclusion of pairs (X,X \X (−a ,a ) ) ⊂ (X, X \X (−a,a) ) for a > a, gives rise to the commutative diagram whose lines are short exact sequences As pointed out in Section 1 for a tame map f : X → S 1 the setB co r (f ) and the collectionB oc r (f ) coincides with the collection of finite persistence bar codes associated to the filtration by the sub-levels and sup-levels off respectively, as defined in [12]. Precisely the multiplicity of the r−persistence barcode ( One can derive the configuration C m r (f ) as the "jump function" of the two variable function Tf r : R 2 \ ∆ → Z ≥0 in the manner described in section 5 for the configuration C r (f ). The function Tf r is defined by: If f is tame then so isf and the limit The definition above is essentially the description of the persistence diagrams off and −f , cf [11], and will not be pursued further in this paper.
The stability phenomena discovered in [5] can be formulated in terms of configuration C m r (f ) when one equips the set of finite configurations of points in T \ ∆ T with the topology induced by the bottle neck distance defined [5].Note that in this case the configurations do not have the same cardinality and, in this topology, the definition of " proximity" largely ignores the points points near the diagonal ∆ T .
Here is the definition for such topology on the space Conf g(X \ K) of finite configurations of points in X \ K, X locally compact space and K a closed subset of X. Recall that a configuration is a map with finite support, δ : Define a base for the topology by specifying a collection of open sets indexed by systems S = {(U 1 , k 1 ), · · · (U r , k r ), V } with: (1) U i , i = 1 · · · r open subsets of X \ K, V open neighborhood of K, (2) k 1 , k 2 , · · · k r positive integers. The "open set" of configurations corresponding to S is U(S) Theorem 7.1. The assignment f C m r (f ) is a continuous map from the space C t (X, S 1 ) of tame maps to Conf g(T \ ∆) when the first space is equipped with the compact open topology and the second with the topology described above in case (X, K) = (T, ∆).
Poincaré duality also holds for the configuration C m r (f ). Theorem 1.5 formulates this duality. We understand that for f a real valued function it is implicit in the work of Edelsbrunner and others. We treat however the angle valued maps rather than real valued maps and derive its proof as a corollary to Proposition 4.2. We provide below the arguments. , i BM a,b (r) and of i b,a (r), i BM,b,a (r) to the respective kernels K ··· ··· (r). Note that in view of the calculations of Borel-Moore homology ofX a ,X a ,X and of the canonical homomorphism H r (M · · · ) → H BM r (M · · · ) one concludes that K(r) = K BM (r) and i(r) = i BM (r). Proposition 4.2 permits to describe the vector spaces K a (r), K a (r), ker i a,b (r), coker i a,b (r), ker i b,a (r), coker i b,a (r) in terms of mixed bar codes as summarized in the next proposition.
Let us review the information we have: (i) The tameness of f implies that for a < b, a, b critical values and < (f ) the inclusionsX a ⊆X a+ andX a− ⊂X a are homotopy equivalences, (ii) Poincaré Duality above and item (i) imply that for 0 ≤ , < (f ) and a < b critical values one has (iii) Proposition 7.2 implies that for a < b critical values and 0 < < (f ) and This section can be read independently on the rest of the paper. For additional future use we describe this piece of linear algebra in a larger generality, of modules over a commutative ring rather than vector spaces over a field. 8.1. Linear relations. Suppose V and W are two modules over a fixed commutative ring in particular field.. Recall that a linear relation from V to W can be considered as a submodule R ⊆ V × W . Notationally, we indicate this situation by R : V W . For v ∈ V and w ∈ W we write vRw iff v is in relation with w, i.e. (v, w) ∈ R. Every module homomorphism V → W can be regarded as a linear relation V W in a natural way. If U is another module, and S : W U is a linear relation, then the composition SR : V U is the linear relation defined by v(SR)u iff there exists w ∈ W such that vRw and wSu. Clearly, this is an associative composition generalizing the ordinary composition of module homomorphisms. For the identical relations we have R id V = R and id W R = R. Modules over a fixed commutative ring and linear relations thus constitute a category. If R : V W is a linear relation we define a linear relation R † : A linear relation R : V W gives rise to the following submodules: Clearly, ker(R) ⊆ dom(R) ⊆ V , and W ⊇ img(R) ⊇ mul(R). Note that R is a homomorphism (map) iff dom(R) = V and mul(R) = 0. One readily verifies: For a linear relation R : V V , we introduce the following submodules: Also note that passing from R to R † , the roles of + and − get interchanged. Moreover, we introduce a linear relation on the quotient module where ι and π denote the canonical inclusion and projection, respectively. In other words, two elements in V reg are related by R reg iff they admit representatives in D which are in related by R. We refer to R reg as the regular part of R.
Proposition 8.2. The relation R reg : V reg V reg is an isomorphism of modules. Moreover, the natural inclusion induces a canonical isomorphism which intertwines R reg with the relation induced on the right hand side quotient.
Proof. Clearly, (67) is well defined and injective. To see that it is onto let where k ± ∈ K ± and d ± ∈ D ± . Thus We conclude x ∈ D + K − + K + , whence (67) is onto. We will next show that this isomorphism intertwines R reg with the relation induced on the right hand side. To do so, suppose xRx where and k ± ,k ± ∈ K ± and d ± ,d ± ∈ D ± . Note that there exist k + ∈ K + andk − ∈ K − such that k + Rk + andk − Rk − . By linearity of R we obtain We conclude d := x−k + −k − ∈ D,d :=x−k + −k − ∈ D, and dRd. This shows that the relations induced on the two quotients in (67) coincide. We complete the proof by showing that R reg is an isomorphism. Clearly, dom(R reg ) = V reg = img(R reg ). We will next show ker(R reg ) = 0. To this end suppose dRd, where d ∈ D andd =k − +k + ∈ (K − + K + ) ∩ D withk ± ∈ K ± . Note thatk − =d−k + ∈ K − ∩D + . Thus there exists k − ∈ K − ∩D + such that k − Rk − . By linearity of R, we get (d − k − )Rk + , whence d − k − ∈ K + and thus d ∈ K − +K + . This shows ker(R reg ) = 0. Analogously, we have mul(R reg ) = 0. In view of Lemma 8.1 we conclude that R reg is an isomorphism of modules.
We will now specialize to linear relations on finite dimensional vector spaces and provide another description of V reg in this case. Consider the category whose objects are finite dimensional vector spaces V equipped with a linear relation R : V V and whose morphisms are linear maps ψ : V → W such that for all x, y ∈ V with xRy we also have ψ(x)Qψ(y), where W is another finite dimensional vector space with linear relation Q : W W . It is readily checked that this is an abelian category. By the Remak-Schmidt theorem, every linear relation on a finite dimensional vector space can therefore be decomposed into a direct sum of indecomposable ones, R ∼ = R 1 ⊕ · · · ⊕ R N , where the factors are unique up to permutation and isomorphism. The decomposition itself, however, is not canonical.
V be a linear relation on a finite dimensional vector space over an algebraic closed field , and let R ∼ = R 1 ⊕ · · · ⊕ R N denote a decomposition into indecomposable linear relations. Then R reg is isomorphic to the direct sum of factors R i whose relations are linear isomorphisms.
Proof. Since the definition of R reg is a natural one, we clearly have Consequently, it suffices to show the following two assertions: (a) If R : V V is an isomorphism of vector spaces, then V reg = V and R reg = R.
V is an indecomposable linear relation on a finite dimensional vector space which is not a linear isomorphism, then V reg = 0. The first statement is obvious, in this case we have K − = K + = 0 and D = D − = D + = V . To see the second assertion, note that an indecomposable linear relation R ⊆ V × V gives rise to an indecomposable representation R → → V of the quiver G 2 . Since R is not an isomorphism, the quiver representation has to be of the bar code type. Using the explicit descriptions of the bar code representations, it is straight forward to conclude V reg = 0.
In the subsequent discussion we will also make use of the following result: V is a linear relation on a finite dimensional vector space. Then: For the proof we first establish two lemmas. Proof. This follows immediately from the dimension formula dim dom(R) + dim mul(R) = dim(R) = dim img(R) + dim ker(R) and Lemma 8.1.
Lemma 8.6. If V is finite dimensional, then the composition of relations is a linear isomorphism, for every k ≥ 0, where ι and π denote the canonical inclusion and projection, respectively. Analogously, the relation induced by R k on D − /K − is an isomorphism, for all k ≥ 0. Moreover, for sufficiently large k, Proof. One readily verifies dom(πι † R k ιπ † ) = D + /K + and ker(πι † R k ιπ † ) = 0. The first assertion thus follows from Lemma 8.5 above. Considering R † we obtain the second statement. Clearly, dom(R k ) ⊇ dom(R k+1 ), for all k ≥ 0. Since V is finite dimensional, we must have dom(R k ) = dom(R k+1 ), for sufficiently large k. Given v ∈ dom(R k ), we thus find v 1 ∈ dom(R k ) such that vRv 1 . Proceeding inductively, we construct v i ∈ img(R k ) such that vRv 1 Rv 2 R · · · , whence v ∈ D + . This shows dom(R k ) ⊆ D + , for sufficiently large k. As the converse inclusion is obvious we get D + = dom(R k ). Considering R † , we obtain the last statement.
G 2m −representations and the associated relations. For a G 2m − representation ρ = {V r , α i , β j } we have m relations R i : V 2i−1 V 2i+1 (considering V 2m+k = V k ) given by the pair of linear maps alpha i : V 2i−1 → V 2i and β i : V 2i+1 → V 2i . One can consider the compositions R i : Proposition 8.7. R i reg = R j reg for any i, j and is conjugate to ⊕ J∈J T (J). Proof. The statement is immediate for indecomposable representations for a general representation implied by Proposition 8.3.

8.2.
Monodromy, Proof of Theorem 1.4. The purpose of this subsection is to establish Theorem 1.4 Suppose f : X → S 1 is a continuous map and let X f / / R X f / / S 1 denote the associated infinite cyclic covering. For r ∈ R we putX r =f −1 (r) and let H * (X r ) denote its singular homology with coefficients in any fixed module. If r 1 ≤ r 2 we define a linear relation B r2 r1 : H * (X r1 ) H * (X r2 ) by declaring a 1 ∈ H * (X r1 ) to be in relation with a 2 ∈ H * (X r2 ) iff their images in H * (X [r1,r2] ) coincide, whereX [r1,r2] = f −1 ([r 1 , r 2 ]). If r 1 ≤ r 2 ≤ r 3 we clearly have B r3 r2 B r2 r1 ⊆ B r3 r1 . If r 2 is a tame value this becomes an equality of relations: Lemma 8.8. Suppose r 1 ≤ r 2 ≤ r 3 and assume r 2 is a tame value. Then, as linear relations, B r3 r2 B r2 r1 = B r3 r1 . Proof. Since r 2 is a tame value, we have an exact Mayer-Vietoris sequence, which immediately implies the statement.
We will continue to use the notation K ± , D ± , and R reg introduced in the previous section for this relation R on H * (X θ ). Particularly, its regular part, is a module automorphism. Lemma 8.10. We have: Both maps are induced by the canonical inclusion X θ =Xθ →X.

Appendix (an example)
Consider the space X is obtained from Y indicated in picture below by identifying its right end Y 1 (a union of three circles) to the left end Y 0 (a union of three circles) following the map φ : Y 1 → Y 0 given by the matrix

Representation theory and r-invariants
The invariants for the circle valued map are derived from the representation theory of quivers. The quivers are directed graphs. The representation theory of simple quivers such as paths with directed edges was described by Gabriel [8] and is at the heart of the derivation of the invariants for zigzag and then level persistence in [4]. For circle valued maps, one needs representation theory for circle graphs with directed edges. This theory appears in the work of Nazarova [14], and Donovan and Ruth-Freislich [10]. The reader can find a refined treatment in Kac [15].
Let G 2m be a directed graph with 2m vertices, x 1 , x 1 , · · · x 2m . Its underlying undirected graph is a simple cycle. The directed edges in G 2m are of two types: forward a i : x 2i−1 → x 2i , 1 ≤ i ≤ m, and backward b i : We think of this graph as being residing on the unit circle centered at the origin o in the plane.
A representation ρ on G 2m is an assignment of a vector space V x to each vertex x and a linear map V e : V x → V y for each oriented The meaning of this matrix is that the first circle is divided in 6 equal parts ; the first part go around the first circle clockwise the next 3 over the second counterclockwise to cover this circle three times and the last two also counterclockwise to cover the third circle twice. Similarly with he other two circles. The map f : X → S 1 is induced by the projection of Y on the interval [0, 2π].
The bar codes and the Jordan blocks are collected in the following table. Their calculation was done in [1] as an illustration of the algorithm proposed in that paper. Simply by looking at the picture the reader can notice the contribution the closed 1−closed bar code [θ 2 , θ 3 ] with one unit to the Betti number β 1 (X) the contribution of the 1−open bar code (θ 4 , θ 5 ) with one unit to the Betti number β 2 (X) and the lack of contribution to homology of the open closed bar code (θ 6 , θ 1 + 2π].