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 in Burghelea and Dey (Discret Comput Geom 50: 69–98 2013) 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\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb C{\setminus } 0$$\end{document} and one establishes their main properties: stability property and when the underlying space is a closed topological manifold, Poincaré 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.


The results
In this paper a nice space is a friendlier name for a locally compact ANR (Absolute Neighborhood Retract). 1 Finite dimensional simplicial complexes and finite dimensional topological manifolds are nice spaces but the class is considerably larger. A tame map is a 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, and (ii) away from a discrete set R & R or R & S 1 the restriction of f to Xnf À1 ðRÞ is a fibration, cf. (Burghelea and Dey 2013, Definition 2.1). In particular for t 6 2 Rðf Þ there exists a neighborhood U 3 t such that for any t 0 2 U; the inclusion f À1 ðt 0 Þ & f À1 ðUÞ is a homotopy equivalence.
All proper simplicial maps and proper smooth generic maps defined on a smooth manifold, 2 in particular proper real or angle valued Morse maps, are tame. At least for spaces homeomorphic to simplicial complexes the set of tame maps is residual in the space of all continuous maps and weakly homotopy equivalent to the space of all continuous maps (equipped with compact open topology). 3 Most of the time we will have an a priory fixed field j and homology, Novikov homology, Betti numbers, etc. will be considered with respect to this field. For simplicity in writing, the field j will be omitted from the notations.
In this paper we consider a tame map, f : X ! S 1 , and as in Burghelea and Dey (2013), one associates to the map f: (i) the set of critical angles 0\h 1 \h 2 \ Á Á Á \h m 2p, (ii) for any r ¼ 0; 1; . . .; dim X, four types of intervals of real numbers, subsequently called r-bar codes, whose ends mod 2p are critical angles, with 0\a 2p; (iii) for any r ¼ 0; 1; . . .; dim X, a collection of isomorphism classes of indecomposable pairs J ¼ ðV J ; T J Þ, where T J is a linear automorphism of a finite dimensional j-vector space V J ; subsequently called Jordan blocks.
The bar codes can be also regarded as equivalence classes of intervals as above modulo translation by an integer multiple of 2p, with ends mod 2p critical angles.
Recall that a pair (V, T) is indecomposable if not isomorphic to the sum of two nontrivial pairs. In this case if T has k 2 j as an eigenvalue all other eigenvalues are equal to k, and (V, T) is isomorphic to ðj k ; Tðk; kÞÞ where Tðk; kÞ is the k Â k matrix For brevity we also write B r ðf Þ :¼ B c r ðf Þ t B o r ðf Þ t B co r ðf Þ t B oc r ðf Þ: Each bar code or Jordan block appears with a multiplicity possibly larger than one. All these collections are multisets which means each element appears with multiplicity. For u 2 jn0 we denote by J r;u ðf Þ the sub-collection of r-Jordan blocks with eigenvalue u. In view of the definitions in Sect. 3, cf. also Burghelea and Dey (2013), each tame map has finitely many bar codes and Jordan blocks.
It was shown in (Burghelea and Dey 2013, Sect. 6) that for simplicial maps these invariants are effectively computable and an algorithm for their calculation was proposed. Existence of such algorithms is what we mean by computer friendly invariants. 4 All these invariants are described in Sect. 3.
In order to formulate the results, we recall that any continuous map f : X ! S 1 determines an integral cohomology class n f 2 H 1 ðX; ZÞ via pull back of a fixed generator in H 1 ðS 1 ; ZÞ ffi Z. By homotopy invariance, homotopic maps f 1 ; f 2 : X ! S 1 determine the same class, n f 1 ¼ n f 2 . If X an ANR, then this assignment induces a bijection between the set of homotopy classes of maps X ! S 1 and H 1 ðX; ZÞ. In other words, any class n 2 H 1 ðX; ZÞ is of the form n ¼ n f for some continuous angle-valued map f which is unique up to homotopy. This follows from the fact that the circle S 1 is an Eilenberg-MacLane space KðZ; 1Þ, see (Hatcher 2002, Sect. 4.3).
The basic algebraic topology invariants associated with a pair ðX; nÞ, n 2 H 1 ðX; ZÞ, a field j, and a positive integer r 2 N 0 we consider in this paper are: 1. the singular homology H r ðXÞ, a j-vector space whose dimension, when finite, is called the Betti number b r ðXÞ; 2. the Novikov homology H N r ðX; nÞ, a vector space over the field of Laurent power series j½t À1 ; t with coefficients in j, whose dimension, when finite, is called the Novikov-Betti number b N r ðX; nÞ; and 3. the r-monodromy, an isomorphism class of pairs ðV r ; T r Þ where V r is a j-vector space and T r : V r ! V r is a linear isomorphism.
If X is a compact ANR then b r ðXÞ, b N r ðX; nÞ, and dimðV r Þ are finite. The first result we prove in this paper is Theorem 1.1 below.
Theorem 1.1 (Homotopy invariants) If f : X ! S 1 is a tame map and n f 2 H 1 ðX; ZÞ is the integral cohomology class represented by f then: The definition of Novikov-Betti numbers and of the monodromy are given in Sect. 4 and '']'' denotes the cardinality of a multiset.
Item (c) has been already established in (Burghelea and Dey 2013, Theorem 3.2) 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 ¼ R 2 =Z and D T ¼ D=Z where the Z-action on R 2 is given by ðn; ða; bÞÞ7 !ða þ 2pn; b þ 2pnÞ and D :¼ fða; bÞ 2 R 2 j a ¼ bg. One denotes the Zorbit of ða; bÞ 2 R 2 by ha; bi 2 T. Note that T can be identified to Cn0 via the map ha; bi7 !z :¼ e ðaÀbÞ=2þiðaþbÞ=2 . Via this identification, D T corresponds to the unit circle S 1 ¼ fz 2 C : jzj ¼ 1g.
We will record the collections B c r ðf Þ t B o rÀ1 ðf Þ as a finite configuration of points in T ¼ Cn0, denoted by C r ðf Þ, and the collection B co r ðf Þ t B oc r ðf Þ as a finite configuration of points in TnD T ¼ Cnð0 t S 1 Þ, denoted by C m r ðf Þ. More precisely, in the first case a closed r-bar code [a, b] will be written as ha; bi 2 T or the complex number z ¼ e ðaÀbÞ=2þiðaþbÞ=2 2 Cn0 and an open ðr À 1Þ-bar code ða; bÞ as hb; ai 2 T or the complex number z ¼ e ðbÀaÞ=2þiðbþaÞ=2 2 Cn0. Similarly, in the second case, a closed-open r-bar code [a, b) will be written as ha; bi 2 TnD T or the complex number e ðaÀbÞ=2þiðaþbÞ=2 2 Cnð0 t S 1 Þ and an open-closed r-bar code ða; b as hb; ai 2 TnD T or the complex number e ðbÀaÞ=2þiðbþaÞ=2 2 Cnð0 t S 1 Þ.
In view of Theorem 1.1 (a), if f is in the homotopy class defined by n 2 H 1 ðX; ZÞ, then the configuration C r ðf Þ has the total cardinality of the support 5 exactly b N r ðX; nÞ and can be regarded as a point in the n-fold symmetric product S n ðTÞ of T where n ¼ b N r ðX; nÞ. Identifying T with Cn0 as above, the space S n ðTÞ identifies to the space of monic polynomials of degree n with non-vanishing free coefficient, that is, C nÀ1 Â ðCn0Þ, by assigning to a complex polynomial its configuration of zeros with multiplicities. Hence, each C r ðf Þ can be regarded as a monic polynomial P f r ðzÞ of degree n with non-vanishing free coefficient. We equip S n ðTÞ with the topology of the symmetric product or equivalently with the topology of C nÀ1 Â ðCn0Þ.
Let CðX; S 1 Þ denote the space of all continuous maps equipped with the compact open topology and let C n ðX; S 1 Þ be the connected component corresponding to n. Let C n;t ðX; S 1 Þ be the subspace of tame maps in C n ðX; S 1 Þ. Our next result is the following theorem which will be referred to below as Strong Stability Theorem.
In particular, if X is triangulable, then the configuration C r ðf Þ and therefore the closed and open bar codes, can be defined for any continuous map. It is expected that the triangulability hypothesis can be removed. 6 The configuration C r ðf Þ, equivalently the polynomial P f r ðzÞ, can be viewed as a refinement of the Novikov-Betti number in dimension r. The Poincaré duality for closed manifolds extends from Novikov-Betti numbers to these refinements and we have the following theorem. Theorem 1.3 (Poincaré duality) If M n is a closed j-orientable 7 topological manifold and f : M ! S 1 a tame map, then C r ðf Þðha; biÞ ¼ C nÀr ðf Þðhb; aiÞ: Equivalently, C r ðf ÞðzÞ ¼ C nÀr ðf ÞðsðzÞÞ where sðzÞ :¼ 1= z ¼ z=jzj 2 denotes the inversion across the unit circle, z 2 Cn0.
The proofs of Theorems 1.2 and 1.3 use an alternative definition of the configuration C r ðf Þ. One defines the function d f r on T with values in N 0 , with no 6 Results on Hilbert cube manifolds permit to remove the triangulability hypothesis, cf. Burghelea (2017a). 7 If j has characteristic 2 any manifold is j-orientable if not the manifold should be orientable. reference to ''bar codes'' or to graph representations, and one verifies that it is equal to the configuration C r ðf Þ. One verifies Theorems 1.2 and 1.3 for d f r instead of C r ðf Þ. The Jordan blocks introduced in Burghelea and Dey (2013) via graph representations, can be also recovered in a different manner, more precisely, as the regular part of a linear relation. This makes their computations achievable by an algorithm less expensive than the one presented in Burghelea and Dey (2013), cf. Burghelea (2015).
A linear relation, R : V,V, is a concept generalizing a linear map, V ! V. To every linear relation R on a j-vector space V one can associated canonically a pair, R reg ¼ ðV reg ; T reg Þ, where V reg is a j-vector space and T reg : V reg ! V reg is a linear isomorphism. This construction will be discussed in Sect. 8.1.
To a tame map f : X ! S 1 one associates linear relations R h r : H r ðf À1 ðhÞÞ,H r ðf À1 ðhÞÞ described as follows. Letf :X ! R be the infinite cyclic covering defined by the pullback diagram For t with pðtÞ ¼ h the linear relation R h r is obtained by passing to homology in the sequence, see Sect. 8.2 for more details, f À1 ðhÞ ¼f À1 ðtÞ,!f À1 À ½t; t þ 2p Á -f À1 ðt þ 2pÞ ¼ f À1 ðhÞ: We have the following result. The next results refer to the collections B co r ðf Þ and B oc r ðf Þ of mixed bar codes. First we note that the collection B co r ðf Þ can be identified to the collection of finite persistence intervals considered in Edelsbrunner et al. (2002) or Cohen-Steiner et al. (2007) for the mapf :X ! R made equivalent modulo 2p-translation. Similarly, the collection B oc r ðf Þ, after changing (a, b] into ½Àb; ÀaÞ, can be identified to the collection of finite persistence intervals of the map Àf modulo 2p-translation. The configurations C m r ðf Þ obtained by putting together B co r ðf Þ and B oc r ðf Þ also enjoy a stability property and Poincaré duality, cf. Theorem 1.5 and Theorem 1.6 below, however with different quantitative and qualitative properties. Theorem 1.5 is a reformulation of the famous stability result of (Cohen-Steiner et al. 2007, Main Theorem in Sect. 3.1) and is stated here only for comparison with Theorem 1.2.
Note that for tame angle valued maps in the same homotopy class the configurations C m r ðf Þ do not have the support of the same cardinality therefore a stability property will require a new topology on the set of configuration; in such topology the definition of ''proximity'' ignores the points near the diagonal D T : This topology on the space of configurations of points in TnD T ; called the bottleneck topology, can be derived from a metric proposed in Cohen-Steiner et al. (2007), the bottleneck metric.
Here is an alternative definition of the ''bottleneck topology'' on the set ConfgðXnKÞ of configurations of points in XnK, X locally compact space and K a closed subset of X without involving a metric. Recall that a configuration is a map with finite support, d : XnK ! N 0 . A base for the bottleneck topology is given by the collection of sets UðSÞ indexed by systems S ¼ fðU 1 ; k 1 Þ; . . .; ðU r ; k r Þ; Vg satisfying . . .; k r positive integers. and defined by When X is a complete locally compact metric space and K is a closed subspace the bottleneck metric of ConfgðXnKÞ given by the formulae in (Cohen-Steiner et al. 2007, Sect. 3.1) induces the bottleneck topology described above. The ''main theorem'' in Cohen-Steiner et al. (2007) implies: Theorem 1.5 (CEH stability) The assignment f 7 !C m r ðf Þ is a continuous map from the space C t ðX; S 1 Þ of tame maps to ConfgðTnD 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; D T Þ.
To better realize the differences between Theorems 1.2 and 1.5 we point out that: For the reader familiar with Morse theory we point out that the disappearance of a closed-open r-bar code by a continuous deformation of tame map is similar to the cancellation of a pair of two critical points one of index r one of index ðr À 1Þ in Morse theory as described in (Milnor 1965, Sect. 5). For a closed topological manifold M n the configurations C m r ðf Þ satisfy Poincaré duality but in analogy to the the Poincaré duality for the torsion subgroups of the integral homology groups for closed orientable manifolds. Precisely, we have the following result.
It is interesting to regard the elements (i), (ii), (iii), that is, the critical values, bar codes and Jordan blocks associated to a tame angle valued map f : X ! S 1 , as parallels to the rest points, the isolated trajectories between rest points and the closed trajectories (actually Poincaré return maps for closed trajectories) of a vector field which has a Morse angle-valued map f : M ! S 1 as Lyapunov map. These last ones are the concepts which enter the Morse-Novikov theory, cf. Novikov (1991);Pajitnov (2006), and are related to the topology of ðX; n f Þ, where n f denotes the integral cohomology class defined by f, in a similar way as the elements described in (i), (ii) and (iii) are.
Recall that for a smooth closed manifold M n a smooth real or angle valued map is Morse if all critical points x are non-degenerate, hence have a Morse index, ind f ðxÞ 2 f0; 1; . . .; ng. Recall that a point x 2 M is critical if, with respect to any local coordinates ðt 1 ; t 2 ; . . .; t n Þ with x given by t 1 ¼ t 2 ¼ Á Á Á ¼ t n ¼ 0, all partial derivatives of =ot i ð0Þ vanish. A critical point is non-degenerate if in addition the Hessian, i.e. the symmetric matrix o 2 f ot i ot j ð0Þ, has all eigenvalues non-zero. These eigenvalues are all real, and the Morse index of f at x coincides with the number of negative eigenvalues. The concepts critical points, non-degenerate critical points, and index of a non-degenerate critical points are independent of the local coordinates ðt 1 ; t 2 ; . . .; t n Þ.
Let c i ðf Þ be the number of critical points of index i. The Morse inequalites claim that for any r 2 N 0 , and with respect to any field j, one has (Milnor 1963, Eq. (4 k )).
The following result refines the Morse inequalities: Theorem 1.7 Let M n be closed smooth manifold, 8 consider a field j, and suppose r is a non-negative integer. If f : M ! R is a real-valued Morse map, then Moreover, if f : M ! S 1 is an angle-valued Morse map, then The first equality is implicit in previous work, cf. (Burghelea and Haller 2012, Theorem 2.6(a)) and as it was was pointed out to us in Chazal et al. (2016).
Note that the right side of the above equalities make sense for an arbitrary compact ANR equipped with a tame map rather than compact manifolds equipped with a Morse function, an attractive feature in comparison with the classical Morse-Novikov theory. The first equality follows from the second.
The paper contains, in addition to the present section which summarizes the results, eight more sections which describe the concepts involved in and provide the proofs of the results and three appendices. In Sect. 2 we review simple results about graph representations of the two graphs relevant for this paper, G 2m and Z: In Sect. 3 we define the sets B ... r ðf Þ and J r ðf Þ and provide the preliminaries for the proof of Theorem 1.1. In Sect. 4 we prove Theorem 1.1. In Sect. 5 we define the function d f r and prove Theorem 1.2. In Sects. 6 and 7 we discuss the Poincaré duality for the configurations C r ðf Þ and C m r ðf Þ and prove Theorems 1.3 and 1.6. In Sect. 8 we discuss some linear algebra of linear relations and prove Theorem 1.4. In Sect. 9 we verify Theorem 1.7. Appendix A provides an example of tame map and describes its bar codes and Jordan cells. Appendix B illustrates the behavior of bar codes with respect to a continuous deformation of the map. Appendix C provides a few observations about j½t À1 ; t-modules.
Note that if f : X ! S 1 is not surjective, then the set J r ðf Þ vanishes for all r. Note also that a real-valued f can be viewed as a non-surjective angle-valued map, and the bar codes are essentially the same as the zigzag persistence barcodes cf. Carlsson et al. (2009). In this case there is no need to consider T and TnD T ; the natural place for the support of the configuration C r ðf Þ, consisting of closed rbarcodes and open ðr À 1Þ-barcodes, is C; and the natural place for the support of C m f ðf Þ, consisting of the closed-open r-barcodes and open-closed r-barcodes, is CnD.

Prior work
Relating the topology of a space to the homological behavior of the sublevel sets of a real or angle-valued map represents what ''persistence theory'' introduced in Edelsbrunner et al. (2002) intends to do. Prior efforts to extend Morse theory to all continuous real-valued functions (fonctionelles) can be found in the papers of Morse (1940) and Deheuvels (1955), which preceded persistence theory. The work of Deheuvels (1955), permits to derive the barcodes [the support of persistence diagrams as considered in Edelsbrunner et al. (2002) or Edelsbrunner and Harer (2009)] from the differentials of Leray spectral sequence of a real valued tame map. The same observation holds about the barcodes in the zigzag persistence and persistence for circle valued maps but we can not find this in the literature.
A stability phenomena for the persistence diagrams associated to a real valued map in classical persistence theory was first established in Cohen-Steiner et al. (2007).
The first use of graph representations in connection with persistence appears first in Carlsson et al. (2009) under the name of zigzag persistence. The graphs considered are all linear finite graphs whose collection of indecomposable representations is finite and not hard to describe and interpret as bar codes (of four types).
The definition of bar codes and of Jordan cells for S 1 -valued tame maps was first provided in Burghelea and Dey (2013) based on graph representations of the cyclic graph G 2m whose indecomposable representations are more complex and led in addition to bar codes to Jordan cells.
The referee points out a that a number of the results in this paper are reminiscent of behavior of the bar codes in zigzag persistence cf. Carlsson et al. (2009) and this deserves to be mentioned. We are happy to do so. Reminiscences of the work of Cohen-Steiner et al. (2009) in the Poincaré duality Theorems 1.6 should be also acknowledged.

Some more recent work
Using results from topology of Hilbert cube manifolds, it was recently observed that the hypothesis ''X homeomorphic to a simplicial complex'' in Theorem 1.2 can be weaken to ''X compact ANR'', and the hypothesis ''tame map'' in Theorems 1.1, 1.3, and 1.4 can be weaken to ''continuous map'' cf Burghelea (2016Burghelea ( , 2017a. In case of a real valued map and in the presence of a scalar product on H r ðXÞ (the field j being R or C) the configuration C r ðf Þ can be implemented as a configuration d f r of subspacesd f r ðzÞ H r ðXÞ, z in the support of C r ðf Þ, which are mutually orthogonal and have dimd f r ðzÞ equal to the multiplicity of z. The assignment f d f r remains continuous w.r. to the obvious topologies and in case of closed manifolds Poincaré duality between configurations C r ðf Þ extends to the configurationsd f r of vector spaces. This is the case when X is the underlying space of a closed Riemannian manifold M n and j ¼ R with the scalar product on H r ðMÞ provided by the identification with the space of harmonic forms in complementary dimension ðn À rÞ. This will be discussed in details in Burghelea (2017a).
A similar fact remains true for angle valued maps. If j ¼ C the Novikov homology H N r ðX; n f Þ can be replaced by the L 2 -homology H L 2 r ðMÞ of the infinite cyclic coverX defined by the map f. When regarded as a Hilbert module over the von Neumann algebra L 1 ðS 1 Þ this Hilbert module has the von Neumann dimension equal to the Novikov-Betti number b N r ðX; n f Þ. The mutually orthogonal subspaces are in this case mutually orthogonal Hilbert submodules. This will be discussed in Burghelea (2016).
If f : M n ! R or f : M n ! S 1 is a Morse function, Lyapunov for a smooth vector field X on a closed manifold M, the Morse complex resp. the Novikov complex tensored by a field j derived geometrically from the critical points of f and the isolated trajectories of X between critical points, can be recovered up to isomorphism from the closed, open and closed-open bar codes of f via the results discussed in this paper. Actually the closed-open barcodes determine the rank of the boundary maps in these complexes. More about this can be found in the forthcoming book Burghelea (2017b). The precise relation between Reidemeister torsion, closed trajectories for a vector field with an angle valued map f as Lyapunov and the Jordan cells and barcodes is the topic of work in preparation under the name Alternative to Morse-Novikov theory.

Applications and future research
The angle valued maps are as interesting and frequent as the real valued maps. Observing/sampling an environment/shape from a central point in each direction should be as interesting and natural as observing the sublevel sets with respect to a real valued function of a shape.
So far there are pleasant mathematical applications of the results in this paper and of the subsequent work, cf. Burghelea (2015Burghelea ( , 2016Burghelea ( , 2017a, in Computational Topology, Geometric Analysis and Dynamics. The chapters 8 and 9 of the book Burghelea (2017b) collect the applications presented in the subsequent work and describe new vistas of exploration.
-Computational topology Theorems 1.1 and 1.4 imply precise relations between Betti numbers of X, Novikov Betti numbers and the monodromy, i.e., Jordan cells of a pair ðX; n f Þ. They lead to computer implementable algorithms for the calculation of the last two without involving the infinite cyclic cover of n f , a computer unfriendly object (being infinite even when X is a finite simplicial complex), cf. Burghelea and Dey (2013) and Burghelea (2015). In particular, they lead to alternative methods to calculate the Alexander polynomial of knots and some Reidemeister torsions, to recognition of when f : X ! S 1 is homotopic to a fibration with compact fiber, and in this case to the calculation of the Betti numbers of the fiber. A paper on these type of results is in preparation. Of high priority remains the improvement of the existing algorithms, both theoretically (reduce complexity) and practically (shortcutting the steps for the implementation). The work in Burghelea (2015) is on these lines. -Algebraic topology of complements of complex hyper surfaces The complement of a complex hyper surface in C n comes equipped with a natural angle valued map. The relevant algebraic topology invariants of this space are quite important in algebraic geometry. They can be express in therms of bar codes and Jordan cells and then are in principle computable. Results in this direction are available in Burghelea (2015Burghelea ( , 2016Burghelea ( , 2017b. Work for providing exact formulae relating the polynomial defining the complex hypersurface and the barcodes and Jordan cells is in progress. -Geometric analysis The implementation of C r ðf Þ to a configuration of mutually orthogonal spaces provides an orthogonal decomposition of the space of complex harmonic ðn À rÞ-differential forms in subspaces, i.e., components, each subspace corresponding to the complex number represented by a closed rbarcode or an open ðr À 1Þ-barcode. For generic f each component has dimension one. A pleasant consequences of this additional structure is the existence for a generic pair (g, f) g-Riemannian metric, f smooth map of a canonical base in the space of r-differential forms, analogous of the base provided by the trigonometric functions in the space of smooth functions on S 1 . On a different direction one hopes that it is possible to describe analytically the barcodes and the Jordan cells for a compact Riemannian manifold equipped with a smooth function with the help of associated elliptic operators in a manner analogous to the description of the Betti numbers for real or complex coefficients as the multiplicity of the zero eigenvalue of the Laplace-Beltrami operators. This is a topic of future research for us. -Dynamics The presence of Jordan cells (i.e. non-trivial monodromy) for a map f : X ! S 1 implies the existence of closed trajectories for flows on X for which f : X ! S 1 is Lyapunov. The non-triviality of C m r ðf Þ implies existence of instantons between rest points. More precisely, Theorems 1.1 and 1.7 above permit to describe the rank of boundary map o r in the Morse complex or the Novikov complex relevant quantity in the counting of instantons. This is a precise relation between closed-open barcodes and the instantons at least in the case of a real or angle-valued Morse map. More can be found in Chapter 8 of the book Burghelea (2017b). One works on a similarly precise result relating Jordan cells and possibly closed and open barcodes to closed trajectories of a vector field in the case of Morse angle-valued map Lyapunov for the vector field and on the extension of the above from smooth manifolds, vector fields and Morse maps to compact ANRs, flows and tame maps.

Graph representations
Fix a field j. Let C be an oriented graph, possibly with infinitely many vertices. A C-representation q assigns to each vertex x of C a finite dimensional vector space V x and to each arrow a : x ! y between two vertices x and y a linear map / a : V x ! V y . Suppose q 0 is another C-representation with vector spaces V 0 x and linear maps / 0 a : V 0 x ! V 0 y . A morphism from q to q 0 is a collection of linear maps w x : V x ! V 0 x such that / 0 a w x ¼ w y / a for all arrows a : x ! y between any two vertices x and y. More succinctly, a C-representation may be defined as a covariant functor from the (small) category generated by the graph C to the (abelian) category of finite dimensional vector spaces. A morphism of C-representations is just a natural transformation between two such functors. Consequently, C-representations and morphisms between C-representations form an abelian category, see Bucur and Deleanu (1968);Popescu (1973). In particular, the concepts of isomorphism (equivalence), direct sum, kernel, image, and short exact sequence are well defined for (morphisms between) C-representations.
Suppose q a , a 2 A, is a family of C-representations with vector spaces V a x and linear maps / a a : V a x ! V a y . If, for every vertex x, all but finitely many of the vector spaces V a x are trivial, then one considers the C-representation a a2A q a which assigns to a vertex x the vector space a a V a x and to an arrow a : x ! y the linear map a a / a a : a a V a x ! a a V a y . A C-representation q is called: regular, if all the linear maps / a are isomorphisms; with finite support, if V x ¼ 0 for all but finitely many vertices; and indecomposable, if it is not isomorphic to the sum of two non-trivial representations.
A standard result in abelian categories, see (Atiyah 1956, Theorem 1), (Popescu 1973, Chapter 5) or (Bucur and Deleanu 1968, Theorem 6.45), formulated for Crepresentations with finite support, reads: Theorem 2.1 (Krull-Remak-Schmidt) Any C-representation with finite support is isomorphic to a direct sum q 1 È Á Á Á È q n with indecomposable summands q i . Moreover, the components q i are unique up to isomorphism and reordering.
In this paper the oriented graph C of primary concern will be G 2m and for technical reasons we will need the infinite oriented graph Z. The graph C ¼ G 2m has vertices x 1 ; x 2 ; . . .; x 2m and arrows a i : x 2iÀ1 ! x 2i , 1 i m, and b i : x 2iþ1 ! x 2i , 1 i m À 1 and b m : x 1 ! x 2m , see Fig. 1. The graph C ¼ Z has vertices x i , i 2 Z, and arrows a i : x 2iÀ1 ! x 2i and b i : Both G 2m and Z-representations q will be recorded as in the first case with 1 r 2m, 1 i m, with the convention that V 2mþ1 ¼ V 1 , in the second case with r; i 2 Z.
Topology of angle valued maps... 133 Any regular G 2m -representation q ¼ fV r ; a i ; b i g, not necessarily indecomposable, is equivalent i.e. isomorphic to the representation qðV; TÞ : The isomorphism i.e. conjugacy class of the pair (V, T) is called monodromy.
According to the Krull-Remak-Schmidt theorem, every G 2m -representation q decomposes as sum, q ffi q 0 È q 00 , where q 00 is regular and q 0 has no non-trivial regular summand. Moreover, both parts q 0 and q 00 are unique up to isomorphisms. The regular part q 00 provides the monodromy of q which as pointed out above is determined by an isomorphism class of pairs (V, T).
The Z-representations we consider are either with finite support or periodic. The representation is periodic if for some integer 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.

The indecomposable G 2m -representations and the indecomposable good
Z-representations.
The indecomposable G 2m -representations are of two types, cf. (Burghelea and Dey 2013, Sect. 4). In a slightly different formulation the identification below was first established in Nazarova (1973) and Donovan and Freislich (1973). If I is an interval of this form, then the corresponding representation will be denoted by q G ðIÞ. More explicitly, they are denoted by q G ðfr; sgÞ with ''f'' notation for either ''['' or ''('' and ''g'' for either '' ]'' or '' )'' and graphically described as follows. 9 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 t 1 \h 1 \t 2 \h 2 \ Á Á Á \t m \h m , with 0\t 1 and h m 2p.
To describe the representation q G ðfi; j þ mkgÞ, 1 i; j m, draw the counterclockwise spiral curve from a ¼ h i to b ¼ h j þ 2pk with the ends a black or an empty circle to indicate ''closed'' or ''open'' interval. Black circle indicates that the end is on the spiral, empty circle that is not.
The vector space V i is generated by the intersection points of the spiral with the radius corresponding to the vertex x i and a i and b i are defined on generators as follows: A generator e of V 2iAE1 is sent to the generator e 0 of V 2i if connected by a piece of spiral or to 0 if not. The spiral in Fig. 3 below corresponds to k ¼ 2, and defines the representation q G ð½i; j þ 2mÞÞ.

Type II (Jordan blocks/cells)
They are labeled by Jordan blocks J ¼ ðV; TÞ and denoted by q G ð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 q G ðJÞ has all vector spaces 9 A simpler labeling is possible but the one proposed is consistent with the geometric situation the representations are derived from.
Tðk; kÞÞ we also write q G ðJÞ :¼ q G ðk; kÞ. One refers to both the labeling interval fr; sg and the representation q G ðfr; sgÞ as bar code and to the indecomposable pair J and the representation q G ðJÞ as Jordan block.
By the Krull-Remak-Schmidt theorem and the classification of indecomposables, any G 2m -representation q can be decomposed as a sum of indecomposables, q ffi a I2BðqÞ q G ðIÞ È a J2JðqÞ q G ðJÞ: ð2Þ Here BðqÞ denotes the collection of all bar codes (with proper multiplicity) appearing in the decomposition of q, and JðqÞ denotes the collection of all Jordan blocks (with proper multiplicity) appearing in the decomposition of q. We further decompose, The indecomposable Z-representations with finite support are all bar codes indexed by four type of intervals I with ends i and j, [i, j] with i j, or [i, j), (i, j], (i, j) with i\j and denoted by q Z ðIÞ. The only periodic indecomposable representation is denoted by q Z 1 . The representation denoted by q Z ðIÞ has all vector spaces equal to either j or 0, the linear maps a i and b j are equal to the identity if both, the source and the target, are non-trivial and zero otherwise. Precisely, Both, the labeling interval I and the representation q Z ðIÞ, will be referred to as bar code.
The indecomposable representation q Z 1 , has all vector spaces V r ¼ j and all linear maps The Krull-Remak-Schmidt decomposition for representations with finite support extends to all good Z-representations. For the reader's convenience an argument is presented at the end of the next section since it involves the definition of truncation.
Precisely, any such (good) representation q is a sum (in the sense described above) of possibly infinitely many indecomposables with finite support and finitely many copies of q Z 1 , with indecomposable factors and their multiplicity unique up to isomorphism. Here BðqÞ the collection of all bar codes (with multiplicity) appearing in the decomposition, and a n q Z 1 denotes the sum of n copies of q Z 1 . Each indecomposable q Z ðIÞ or q Z 1 appears with finite multiplicity. We let B c ðqÞ, B o ðqÞ, B co ðqÞ and B oc ðqÞ denote the subcollections (with multiplicities) of closed, open, closed-open and open-closed bar codes in BðqÞ. Moreover, J Z ðqÞ denotes the collection of all copies of q Z 1 which appear as independent direct summands in q. The decomposition (3) is discussed in the next subsection.
In view of the above comments, statements about G 2m -representations or about good Z-representations, formulated in this paper, will be verified first for the indecomposable representations described above and if hold true, by the Krull-Remak-Schmidt decomposition theorem, concluded for arbitrary representations.

Two basic constructions
The When applied to indecomposable q G ðIÞ or q G ðJÞ, where I denotes an interval and J ¼ ðV; TÞ is a Jordan block, one obtains: Here I þ r, r 2 Z denotes the translate of the interval I, by r units.
The truncation T k;l ðqÞ of a Z-representation q is defined for any pair of integers k, l with k l. If q is a G 2m -representation, then the truncation T k;l ðqÞ is defined for any pair of integers k, l with 1 k l m. In either case, if q ¼ fV r ; a i ; b i g is a representation then the truncation is defined by T k;l ðqÞ : When applied to indecomposable Z-representations one obtains Topology of angle valued maps... 137 and when applied to indecomposable G 2m -representations one obtains Here I þ rm denotes the translate of the interval I to the right by rm units. Given a G 2m -representation q one writes:JðqÞ for the collection which contains with any Jordan block J ¼ ðV; TÞ 2 JðqÞ, a number of nðJÞ ¼ dimðVÞ copies of q Z 1 hence a total of P J¼ðV;TÞ2JðqÞ dim V copies of q Z 1 , andB À ðqÞ : In terms of this notation it is convenient to keep in mind the following bookkeeping. Proof To see (a) observe that infinite cyclic covering and truncation are both additive constructions, that is to say, g q 1 È q 2 ¼q 1 Èq 2 and T k;l ðq 1 È q 2 Þ ¼ T k;l ðq 1 Þ È T k;l ðq 2 Þ for any two G 2m -representations q 1 and q 2 . The expressions for BðqÞ, B c ðqÞ, B o ðqÞ, B co ðqÞ, B oc ðqÞ, and JðqÞ thus follow immediately from (4). Similarly, the expressions for B c ðT k;l ðqÞÞ, B o ðT k;l ðqÞÞ, and JðT k;l ðqÞÞ follow from (7). Since the truncation is also additive for good Z-representations, part (b) follows from (6). h

Krull-Remak-Schmidt decomposition for good Z-representations:
If q has finite support this is the standard Krull-Remak-Schmidt decomposition theorem in an abelian category.
If q is periodic it is isomorphic to someq 0 with q 0 a G 2m -representation. Neither m nor q 0 is unique. Clearly a decomposition of q 0 as sum of the barcoderepresentations I 0 1 with multiplicity r 0 1 , I 0 2 with multiplicity r 0 2 . . . I 0 N 0 with multiplicity r 0 N 0 1 and Jordan blocks whose total dimension of the underlying vector space n 0 1 provides a decomposition of q as an infinite sum of I 0 1 þ mk with multiplicity r 0 1 , I 0 2 þ mk with multiplicity r 0 2 . . . I 0 N 0 þ mk with multiplicity r 0 N 0 1 for any k 2 Z and n 0 1 copies of q Z 1 : This implies the existence of decomposition as stated in (3).
Note that for any decomposition of type (3) the following holds: -there are only finitely many barcodes up to translation by multiples of m which makes the length of bar codes bounded from above, -each barcode appears with finite multiplicity and -there are finitely many components q Z 1 .
Since a truncation T i;j converts a barcode into a barcode (possibly empty) and q Z 1 into a closed barcode [i, j], comparing the outcome of enough many truncation T i;j (with ðj À iÞ larger than the length of the barcodes of the two representations) and in view of the validity of the Krull-Remak-Schmidt theorem for finite graphs, one obtains the equality in the number of each type of barcodes and of the number of components q Z 1 in any two decompositions (3).

The matrix MðqÞ and the representation q u
For every G 2m -representation q ¼ fV r ; a i ; b i g, 1 r 2m, 1 i m, we introduce a linear map, MðqÞ : a 1 i m V 2iÀ1 ! a 1 i m V 2i , defined by the block matrix: , is defined by the infinite block matrix with entries: if s ¼ r À 1; and 0 otherwise:

<
: If the Z-representationq is the infinite cyclic covering of a G 2m -representation q, Topology of angle valued maps... 139 and t even : a i2Z V 2i ! a i2Z V 2ðiþmÞ such that t even MðqÞ ¼ MðqÞ t odd . The induced automorphisms on ker MðqÞ and coker MðqÞ will be denoted by: t : ker MðqÞ ! ker MðqÞ and t : coker MðqÞ ! coker MðqÞ: For every C-representation q introduce an N 0 -valued function dim q on the set of vertices of C, defined by dim qðxÞ : where V x is the vector space assigned to the vertex x by q. Moreover, for every representation q of G 2m or Z we put dim kerðqÞ :¼ dim ker MðqÞ and dim cokerðqÞ :¼ dim coker MðqÞ.

Moreover:
Proposition 2.1 (Burghelea and Dey (2013)) (a) For indecomposable G 2m -representations of type I we have and for indecomposable Z-representations with finite support: Proof The statements in (a1), (a2), (a3), (a4), (b1), and (b2) can be found in (Burghelea and Dey 2013, Proposition 4.3). Parts (a5), (a6), (a7), (a8), (b3), and (b4) can be proved analogously. Indeed, the calculation of the kernel of MðqÞ reduces to the description of the space of solutions of the linear system: all a i and b i are isomorphisms, then ker MðqÞ ¼ 0, and for every i the canonical inclusion V 2i ! a r2Z V 2r followed by the projection onto coker MðqÞ provides an isomorphism V 2i ffi coker MðqÞ.
Proof By regularity, the system of equations a r ðv 2rÀ1 Þ ¼ b r ðv 2rþ1 Þ does not have a non-trivial solution for which only finitely many of the v 2rÀ1 2 V 2rÀ1 are non-trivial, whence ker MðqÞ ¼ 0. To see that V 2i intersects the image of MðqÞ trivially, then the corresponding element in coker MðqÞ can also be represented by by an element in V 2rþ2 , namely a rþ1 b À1 r ðuÞ. Consequently, each element in coker MðqÞ can be represented by an element in V 2i . h To formulate a refinement of Proposition 2.1 we introduce additional notation: Definition 2.1 For a set S denote by j½S the vector space generated by S, i.e. the vector space of j-valued maps on S with finite support, and by j½½S the vector space of all j-valued maps on S. If S is finite, then j½S ¼ j½½S.
For two subsets S 1 and S 2 of S the canonical linear maps j½S 1 ! j½S 2 , Topology of angle valued maps... 141 j½S 1 ! j½½S 2 , or j½½S 1 ! j½½S 2 are the unique linear maps which restrict to the identity on S 1 \ S 2 and to zero on S 1 nS 2 .
We warn the reader of the ''unfortunate notational similarity'' between j½S and j½T À1 ; T with the last one denoting the ring of Laurent polynomials in one variable T. Fortunately they appear below in contexts which exclude confusion. If commutes, for all integers 1 k 0 k l l 0 m, and we obtain induced linear maps as well as The same holds true if q is a good Z-representation and k 0 k l l 0 . For either representation, the linear maps i and i 0 in (10) are injective since the horizontal inclusions in diagram (9) are injective. The maps j and j 0 in (11) where J is defined as follows. In (12) J ¼ ; if q is a good Z-representation and The linear maps in (12) are injective since, according to Lemma 2.1, we have inclusions Lemma 2.1 also shows that the linear maps in (13) will not be injective in general. Using decompositions as in (2) and (3) and that the ranks of the linear maps in (10) and (11) coincide with the ranks of the corresponding linear maps in (12) and (13), respectively. The following refinement of Proposition 2.1 asserts that these isomorphisms may even be chosen to be compatible with truncation. and commute for all integers 1 k 0 k l l 0 m. We close this section with an observation about the infinite cyclic covering associated with a G 2m -representation. Let q ¼ fV r ; a i ; b i g be a G 2m -representation and letq ¼ fṼ r ;ã i ;b i g denote the associated infinite cyclic covering Z-representation, cf. the beginning of Sect. 2.2. Recall that the shift by m induces automorphisms denoted by t on ker MðqÞ and coker MðqÞ, see (8). These automorphisms turn ker MðqÞ and coker MðqÞ into j½T À1 ; T-modules such that T acts by t and T À1 acts by t À1 . Appendix C contains some basic facts on j½T; T À1modules.
Correspondingly, the translation of intervals, I7 !I þ m, induces bijections on B o ðqÞ and B c ðqÞ, see (4). The induced automorphisms on j½B o ðqÞ and j½B c ðqÞ turn these two vector spaces into j½T À1 ; T-modules. Moreover, identifying j½JðqÞ ¼ a ðV;TÞ2JðqÞ V, we obtain an automorphism a ðV;TÞ2JðqÞ T on j½JðqÞ which we use to turn this vector space into a j½T À1 ; T-module. Via j½B c ðqÞ t JðqÞ ¼ j½B c ðqÞ È j½JðqÞ, we obtain a j½T À1 ; T-module structure on j½B c ðqÞ t JðqÞ.
Lemma 2.4 Let q be a G 2m -representation and letq denote the associated infinite cyclic covering Z-representation. Then the following hold true: (c) The torsion part of the j½T À1 ; T-module coker MðqÞ equipped with the automorphism induced by T is isomorphic to the monodromy of the representation q, that is, j½JðqÞ ffi a J2JðqÞ J.
Proof Since the statement is additive in the G 2m -representation q, it suffices to consider indecomposable G 2m -representations q. Part c) follows from Lemma 2.3. Indeed if q is a barcode representation the result follows from Proposition 2.1. In this case both kerðMðqÞÞ and cokerðMðqÞÞ are free of rank 1 or 0, and there is no regular part of q: If q is a Jordan block, hence q is regular, the result follows from Lemma 2.3. h

Bar codes and Jordan blocks via graph representations
In this section we will describe graph representations associated with a tame circle valued map. Furthermore, we will establish fundamental exact sequences that permit to compute the (twisted) homology of the underlying space in terms of the corresponding barcodes and Jordan blocks. Let f : X ! S 1 be a tame map and 0\h 1 \h 2 \ Á Á Á \h m 2p be the critical angles (the angles of the set R in the definition of tameness). Choose the regular values t 1 \t 2 \ Á Á Á \t m with h iÀ1 \t i \h i and 0\t 1 \h 1 . In order to differentiate between regular and singular fibers we write The tameness of f induces the maps a i : R i ! X i for 1 i m, b i : R iþ1 ! X i for i m À 1 and b m : R 1 ! X m which are unique up to homotopy; this means that different choices of the regular values, say t 0 i instead of t i , lead to homotopy equivalences Indeed the fiber R i identifies up to homotopy to regular fibers f À1 ðtÞ and f À1 ðt 0 Þ, One chooses t and t 0 to make sure that f À1 ðtÞ and f À1 ðt 0 Þ are contained in open sets which retract to X i resp. X iÀ1 . The maps b iÀ1 and a i are the composition of such identifications with the retractions to X iÀ1 resp. X i . 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 q r ¼ q r ðf Þ whose vector spaces are V 2s ¼ H r ðX s Þ and V 2sÀ1 ¼ H r ðR s Þ and the linear maps a i and b i are induced by the continuous maps a i and b i .
The representation q 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 q r ðf Þ but with the ends i and j þ km replaced by h i and h j þ 2pk. Denote by J r ðf Þ the collection of Jordan blocks of the representation q r ðf Þ.
Iff :X ! R is the infinite cyclic covering of f then the real numbers h i þ 2pk are the critical values and t i þ 2pk are regular values (between consecutive critical values) and the tameness off gives the maps a iþkm :X t iþ1 þ2pk !X h i þ2pk and b iþkm :X t i þ2pk !X h i þ2pk . By passing to homology in dimension r one obtains a good Z-representation q r ðf Þ which is exactly the infinite cyclic covering g q r ðfÞ. Given n 2 H 1 ðX; ZÞ and u 2 jn0, the pair ðn; uÞ denotes the rank one representation H 1 ðX; ZÞ ! Z ! jn0, where the first arrow is given by n and the second by the homomorphism hui : Z ! jn0 defined by huiðnÞ ¼ u n . One denotes by H r ðX; ðn; uÞÞ the homology of X with coefficients in the local system defined by the representation ðn; uÞ, see (Hatcher 2002, Sect. 3.H). To describe the latter homology group, recall that the singular chain complex of the infinite cyclic covering, C Ã ðXÞ, can be regarded as a chain complex of j½T À1 ; T-modules where the action of T is induced by the fundamental deck transformation. The homology H r ðX; ðn; uÞÞ is canonically isomorphic to the r-th homology of the j-cochain complex C Ã ðXÞ u j obtained by tensorizing with the representation j½T À1 ; T ! j determined by T7 !u. If u ¼ 1, then we have a canonical isomorphism C Ã ðXÞ u j ¼ C Ã ðXÞ and thus H r ðX; ðn; 1ÞÞ ¼ H r ðXÞ.
Replacing homology by homology with coefficients in the local system ðn; uÞ leads also to the replacement of the representations q r ðf Þ with the representations q r ðf Þ u as explained below. Since the local system becomes trivial over R i and X i , we have isomorphisms H r ðR i ; ðn; uÞÞ ffi H r ðR i Þ and H r ðX i ; ðn; uÞÞ ffi H r ðX i Þ. The maps induced by a i and b i , however, will not all coincide with the maps in the representation q r ðf Þ but with the ones for q r ðf Þ u : More precisely, every trivialization of the infinite cyclic covering over ½h 1 ; t 1 þ 2p, induces isomorphisms / i and / 0 i , 1 i m, such that the diagram commutes for all 1 i\m, and the diagram commutes. The G 2m -representation obtained by using homology with coefficients in ðn; uÞ will thus be isomorphic to ðq r ðf ÞÞ u , see Sect. 2.3.

The relevant exact sequences, cf. Burghelea and Dey (2013)
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. The sequence in (19) has been established in (Burghelea and Dey 2013, Sect. 5).
Proposition 3.1 Let f : X ! S 1 be a tame map andf :X ! R its infinite cyclic covering. Let q r ¼ q r ðf Þ andq r ¼ q r ðf Þ ¼ e q r ðf Þ be the representations associated with f andf . One has the following short exact sequences which for u ¼ 1 becomes 0 ! coker Mðq r Þ ! H r ðXÞ ! ker Mðq rÀ1 Þ ! 0: Moreover, one has a short exact sequence of j½T À1 ; T-modules 0 ! coker Mðq r Þ ! H r ðXÞ ! ker Mðq rÀ1 Þ ! 0: These sequences are all compatible with truncations as explained below, see Diagrams (21) and (22).
Recall that the j½T À1 ; T-module structure on H r ðXÞ is induced by the fundamental deck transformation. The j½T À1 ; T-module structures on kerðq r Þ and cokerðq r Þ have been described at the end of Sect. 2.
Observe that for h i h j critical angles of f, if f ½h i ;h j denotes the restriction of f to Similarly, for c i c j critical values off , iff ½c i ;c j denotes the restriction off tõ X ½c i ;c j ¼f À1 ½c i ; c j ; then q r ðf ½c i ;c j Þ ¼ T i;j ðq r ðf ÞÞ: Since f and thereforef is tame one also has: for any h 0 with h iÀ1 \h 0 h i and h 00 with h j h 00 \h jþ1 q r ðf ½h 0 ;h 00 Þ ¼ q r ðf ½h i ;h j Þ and for any c 0 with c iÀ1 \c 0 c i and c 00 with c j c 00 \c jþ1 q r ðf ½c 0 ;c 00 Þ ¼ q r ðf ½c i ;c j Þ: In the case of the G 2m -representation q r ðf Þ ''compatibility with truncation'' means that for any pairs of critical angles ðh i ; h j Þ and ðh i 0 ; h j 0 Þ, 0\h i h i 0 h j 0 h j 2p the following diagram is commutative: Topology of angle valued maps... 147 In the case of the Z-representationq r , this means that for any pairs of critical values ðc i ; c j Þ and ðc i 0 ; c j 0 Þ with c i c i 0 c j 0 c j the following diagram is commutative: Note that diagrams (21) and (22) imply that any splitting (= right inverse) of p 0 or p 00 extend to a splitting of p 00 or p respectively. Proof of Proposition 3.1 The reader should recognize in the matrices MðT i;j ðq r ÞÞ; Mððq r Þ u Þ and Mðq r Þ the linear maps induced from a i k j H r ðR k Þ to H r ðX ½h i ;h j Þ; from a 1 i m H r ðR i Þ to H r ðX; ðn f ; uÞÞ and from a 1 i m H r ðR i Þ to H r ðXÞ respectively. Denote by R : which remain to be established. The sequence in (19) appears as a special case of the sequence in (18) for u ¼ 1.
Since both long exact sequences (23) and (24) are derived in the same way we will treat only (23) and for simplicity only the case u ¼ 1.
First choose an e [ 0 small enough so that 2e\t 1 and h iÀ1 þ 2e\t i \h i À 2e. To simplify the writing, since i m, and define Observe that in view of the choice of e and of the tameness of f the inclusions X & P 0 , X & P 00 , and X t R & P 0 \ P 00 are homotopy equivalences. The Mayer-Vietoris long exact sequence for X ¼ P 0 [ P 00 gives the commutative diagram where D denotes the diagonal, in 2 the inclusion on the second component, pr 1 the projection on the first component, i r the linear map induced in homology by the inclusion X & X. Recall that the matrix Mðq r ðf ÞÞ is defined by The long exact sequence (23) is the top sequence in the diagram (25). The long exact sequence (24) can be established analogously. The naturality of the Mayer-Vietoris sequence w.r. to maps which preserve the decomposition of a space in two pieces implies that the homomorphisms in the sequence (24) intertwine the automorphisms induced by the fundamental deck transformation on H r ðRÞ, H r ðXÞ, and H r ðXÞ, respectively. Hence, (20) is a short exact sequence of j½T À1 ; Tmodules. Compatibility with truncations follows from the naturality of the Mayer-Vietoris sequence too. h Topology of angle valued maps... 149 4 Proof of Theorem 1.1 and some refinements Let f : X ! S 1 be a tame map on a compact ANR, and let n ¼ n f 2 H 1 ðX; ZÞ denote the corresponding integral cohomology class. Moreover, let p :X ! X denote the associated infinite cyclic covering, that is, the pull back by f of the universal covering p : R ! S 1 . There exists a tame mapf :X ! R which is equivariant with respect to the (principal) Z-actions onX and R such that the following diagram commutes: Recall that the vector space H r ðXÞ is a j½T À1 ; T-module 11 where the multiplication by T is the linear isomorphism induced by the fundamental deck transformation s :X ! X corresponding to the action of 1 2 Z.
Let j½T À1 ; T be the field of Laurent power series and define H N r ðX; nÞ :¼ H r ðXÞ j½T À1 ;T j½T À1 ; T: The j½T À1 ; T-vector spaces H N r ðX; nÞ is called the r-th Novikov homology 12 and its dimension over the field j½T À1 ; T, the Novikov-Betti number b N r ðX; nÞ. Consider H r ðXÞ ! H N r ðX; nÞ the j½T À1 ; T-linear map induced by taking the tensor product with j½T À1 ; T over j½T À1 ; T. The j½T À1 ; T-module V r ðnÞ, when regarded as a j-vector space equipped with the linear isomorphism T r ðnÞ provided by the multiplication by T, is referred to as the r-monodromy of ðX; nÞ. As a j½T À1 ; T-module V r ðnÞ is exactly the torsion of the j½T À1 ; T-module H r ðXÞ.
A base for V r ðnÞ provides a parametrization of the abstract setJ r ðf Þ and therefore an identification of V r ðnÞ to j½J r ðf Þ. We continue to call ''monodromy'' and denote by T r ðnÞ the isomorphism T r ðnÞ : j½J r ðf Þ ! j½J r ðf Þ obtained by using the above identification.
Proof of Theorem 1.1 Part (c) follows from Propositions 3.1 and 2.2 which relate the Betti numbers to the bar codes and Jordan cells via the short exact sequence (19). Similarly one can compute dim H r ðX; ðn f ; uÞÞ in terms of barcodes and Jordan cells using the short exact sequence (18).

More calculations
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 ½h 1 ; h 2 with 0 h 1 h 2 \2p in the case of S 1 , and [a, b] with a b or ðÀ1; a or ½b; 1Þ in the case of R. One denotes by and for u 2 jn0 the sets Recall that J r;u ðf Þ denotes the set of Jordan blocks J ¼ ðV; TÞ 2 J r ðf Þ whose linear isomorphism T has u as eigenvalue. Since u 2 jn0; J is actually a Jordan cell.
Topology of angle valued maps... 151 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;K 1 ;u [ S r;K 2 ;u andS r;K ¼S r;K 1 [S r;K 2 . (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;K 1 ;u \ S r;K 2 ;u andS r;K ¼S r;K 1 \S r;K 2 . (iii) If K 1 ; K 2 closed multi-intervals with K 1 & K 2 then S r;K 1 ;u S r;K 2 ;u and S r;K 1 S r;K 2 .
For K a multi-interval in S 1 or R denote by: commutes, for all À1\i 0 i j j 0 \1. A collection of splittings as above is called a collection of compatible splittings. In view of the fact that the splittings rÀ1;i;j ands rÀ1;j;k can be extended to a splitting s rÀ1;i;k , the existence of collections of compatible splittings is straightforward. The construction being realized inductively from (i, j) to ði; j þ 1Þ and from (i, j) to ði À 1; jÞ. Moreover one can produce collections of compatible splittings which are m-periodic, which means thats r intertwines the isomorphism t r with s r . In other words,s r may be assumed to be a homomorphism of j½T À1 ; T-modules.
Precisely, we consider the surjective maps p r;i;j : H r ðX ½c i ;c j Þ ! j½B o ðT i;j ðq rÀ1 ÞÞ, the composition of H r ðX ½c i ;c j Þ ! kerðMðT i;j ðq rÀ1 ÞÞÞ with the isomorphism ðW o i;j Þ À1 : j½B o ðT i;j ðq rÀ1 ÞÞ ! kerðMðT i;j ðq rÀ1 ÞÞÞ: Hereq rÀ1 abbreviatesq rÀ1 ðf Þ: For any bar code I 2 B o ðq rÀ1 Þ with ends c i and c j call lift of I an element v I 2 H r ðX ½c i ;c j Þ s.t. p r;i;j ðv I Þ ¼ I: It is straightforward to provide a family of lifts v I for any I 2 B o ðq rÀ1 Þ s.t. in view of surjectivity of p r;i;j all v I with I of the same ends linearly independent and in view of the isomorphism t Ã : H r ðX ½c i ;c j Þ ! H r ðX ½c iþm ;c jþm Þ; c iþm ¼ c i þ 2p; with v I satisfying v Iþ2p ¼ t Ã ðv I Þ: Define s rÀ1;i;j : j½B o ðT i;j ðq rÀ1 ÞÞ ! H r ðX ½c i ;c j Þ and s rÀ1 : j½B o ðq rÀ1 Þ ! H r ðXÞ by taking s rÀ1;i;j ðIÞ to be the image of v I in H r ðX ½c i ;c j Þ and s rÀ1 ðW o ðIÞÞ to be the image of v I in H r ðXÞ: Defines rÀ1;i;j ¼ s rÀ1;i;j Á W o i;j and s rÀ1 ¼ s rÀ1 Á W o : A similar definition can be obtained by replacingq rÀ1 ðf Þ and H r ðXÞ by q rÀ1 ðf Þ u and H r ðX; ðn f ; uÞÞ.
With the notations and the definitions above we have the following technical results which calculate I r ðf ; K; uÞ and I r ðf ; KÞ as well as homologies of H r ðX; ðn f ; uÞÞ; H r ðXÞ already described.
The horizontal arrows in the bottom line are induced by the inclusions of the sets in brackets. The isomorphismx r is an isomorphism of j½T À1 ; T-modules. (c) The decompositions and the splittings provide the isomorphisms

Even more calculations
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, the mixed bar codes will appear. For the purpose of definition below we treat a closed interval K 0 ¼ ½h 0 ; h 00 & S 1 ; 0\h 0 h 00 \2p as the closed interval K ¼ ½h 0 ; h 00 & R.
To formulate the result for K a closed interval of R we add to the previous definitions, see formulae (26) We have e S r;K ðf Þ e S 0 r;K ðf Þ: Proposition 4.2 (a) The decompositions and the collections of compatible splittings provide for any pair of angles h 0 , h 00 , 0\h 0 h 00 \2p, the isomorphisms x 0 r;½h 0 ;h 00 : j½S 0 r;½h 0 ;h 00 ðf Þ ! H r ðX ½h 0 ;h 00 Þ such that for 0\h 1 h 2 h 3 h 4 \2p the diagram (33) below is commutative: Proposition 4.2 permits to express the vector spaces H r ðX ½a;b Þ; H r ðX ½c;d nX ða;bÞ Þ and the linear maps H r ðX ½a;b Þ ! H r ðX ½c;d Þ and H r ðX ½c;d nX ða;bÞ Þ ! H r ðX ½c;d Þ in terms of the bar codesB À À ðf Þ andJ À ðf Þ: This will be used in Sect. (6). Proof of Propositions 4.1 and 4.2 In view of the properties of the sets S K;À and S 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 h 1 , h 2 are critical angles and a, b critical values. We treat first the part (a) in both Propositions 4.1 and 4.2.
The compatible splittings lead to the commutative diagram (35) with horizontal arrows isomorphisms.
The isomorphism x r;u (in Proposition 4.1) is the composition of horizontal arrows in the last line of diagrams (35) and (36)  Parts (b) are verified essentially in the same way. More precisely, the decompositions of the representations q r imply decompositions ofq r and T k;l ðq r Þ. Observe that the commutative diagrams (35) and (36) remain valid when one replaces X byX, the representation q r byq r , and h 1 , h 2 , h 3 , h 4 by a, b, c, d. In this casex is defined in the same way as x u , namely as the composition of the horizontal arrows in the last lines of the diagrams which replace diagrams (35) and (36) derived consideringx instead of x u .
To check part (c) in Proposition 4.1, observe first that j½S r ðf Þ ¼ j½B o rÀ1 ðf Þ È j½B c r ðf Þ tJ r ðf Þ and as pointed out by Lemma 2.4 at the end of Sect. 2, both linear maps W o and W c are actually isomorphisms of j½T À1 ; T modules; therefore so isx r . Then one takes x N r ¼x r j½T À1 ;T j½T À1 ; T. Clearly j½S r ðf Þ j½T À1 ;T j½T À1 ; T ¼ j½T À1 ; T½B c r ðf Þ t B o rÀ1 ðf Þ since j½Jðf Þ as a j½T À1 ; T-module is a torsion module, cf. Lemma 2.4. h 5 Stability for configurations C r ðf Þ. Proof of Theorem 1.2 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 d f r which will be defined for a proper real-valued tame map and then, via the infinite cyclic covering for a tame angle-valued map. Ultimately they are defined for any continuous map.

Real valued maps
For f : X ! R a map and a; b 2 R, introduce the notation X f ðaÞ ¼ f À1 ðaÞ,  and f ; then the statement. To check (b), notice that jf À gj\e implies f À e\g\f þ e which implies X f aÀe X g a and X f bþe X g b . These inclusions imply I f aÀe I g a and I bþe f I b g , hence F f ða À e; b þ eÞ F g ða; bÞ. The arguments for G are similar. To check (c), one uses the fact that f À1 ððÀ1; aÞ ¼ ðÀf Þ À1 ð½Àa; 1ÞÞ. h 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 (hence proper) with X not compact despite the fact that dim H r ðXÞ is not necessarily finite.
Proposition 5.1 If f : X ! R is a tame map, then: Proof To ease the writing, we (sometimes) drop f from notation. We start with (a).
In view of the Mayer-Vietoris long exact sequence associated with has finite dimension since dim H r ðX b a Þ is finite. Next we prove (b). If a\b one uses the long exact sequence of the pair ðX; X a t 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 t X b Þ ¼ H r ðX b a ; XðaÞ t XðbÞÞ which is of finite dimension. Indeed, f tame implies that X(a), X(b), and X b a are compact ANRs, hence with finite dimensional homology.
Define the jump function, d f r : R 2 ! Z ! 0 , by d f r ða; bÞ :¼ lim The limit exists since, by Proposition 5.2(c), the right side decreases when e decreases. This function has values in Z ! 0 : Since the critical values of a tame map are discrete, d f r has discrete support and satisfies the following proposition. Proposition 5.3 If X is compact or f is a tame map then: (a) For a\b and c\d one has l f Proof Item (a) follows from Proposition 5.2(c) as shown below. First observe that in in view of (37) if both ðb À aÞ and ðd À cÞ are small enough then Since for a tame map f the set of critical values is discrete we write them as a sequence Á Á Á \c iÀ1 \c i \c iþ1 \ Á Á Á and define Clearly, if f : X ! R is tame with X compact, then eðf Þ [ 0 and if f : X ! S 1 is tame then the infinite cyclic coveringf :X ! R is tame and eðf Þ [ 0.
Proposition 5.5 Let f : X ! R be a tame map with eðf Þ [ 0 and e\eðf Þ=4: For any tame map g with jf À gj\e and any ða; bÞ 2 suppd f r the following holds: (a) suppðd f r Þ \ Bða; b; 2eÞ ða; bÞ In particular, if the cardinality of the supports 13 of d f r and d g r are equal and jg À f j\e, then the support of d g r lies in an e-neighborhood 14 of the support of d f r . This Proposition is closed to Box Lemma in Cohen-Steiner et al. (2007) page 112.
Proof Item (a) follows from the definition of d f r . To prove item (b) observe that if ða; bÞ 2 suppd f both numbers have to be critical values, hence the a ¼ c i , b ¼ c j . In view of Proposition 5.4, for any e 0 ; e 00 \eðf Þ one has: Since jf À gj\e, in view of Observation 5.1 one has: Since e\eðf Þ=4, Eqs. (41) and (42) imply: 13 Recall that the cardinality of the support is the sum of multiplicity of the elements in the support.

Angle valued maps
Let f : X ! S 1 be a tame map andf :X ! R its infinite cyclic covering. Note that eðf Þ [ 0: Observe that Consider the projection 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 þ 2pn; b þ 2pnÞ. Write pða; bÞ ¼ ha; bi: Define In view of (44), d f r : T ! Z ! 0 is a well defined function with finite support and Proposition 5.5 holds true for f : X ! S 1 : For the proof of Theorem 1.2 we also need to show that d f r and C r ðf Þ; when viewed as functions on T; are equal.
Proposition 5.6 If f is a tame real-or angle-valued map defined on X, a compact ANR, then d f r and C r ðf Þ are equal Z ! 0 Àvalued functions defined on R 2 or T.
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 the angle valued map. First note that eðf Þ [ 0. In view of the definition of df r it suffices to check that: (i) If at least one, a or b, is not a critical value then we have df r ða; bÞ ¼ 0.
By Propositions 4.2 (b) when c i ! c j ; one has and when c i [ c j one has of which the above descriptions follow.
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 (46), (47) and (48) one derives the statement (ii), and (iii). h Topology of angle valued maps... 163 To prove Theorem 1.2 one begins with a few observations.
(i) Consider the space of continuous maps CðX; S 1 Þ, X a compact ANR, with the compact open topology. This topology is induced from the metric Dðf ; gÞ :¼ sup x2X dðf ðxÞ; gðxÞÞ with dðh 1 ; h 2 Þ given by dðh 1 ; h 2 Þ ¼ infðjh 1 À h 2 j; 2p À jh 1 À h 2 jÞ, 0 h 1 ; h 2 \2p. Equipped with this metric ðCðX; S 1 Þ; DÞ is a complete metric space. Recall that the set of connected components of the space CðX; S 1 Þ identifies to H 1 ðX; ZÞ. Denote by C n ðX; S 1 Þ the connected component corresponding to the class n 2 H 1 ðX; ZÞ and by C n;t ðX; S 1 Þ the subset of tame maps in this connected component equipped with the induced topology.
(ii) Observe that if f, g are in a connected component C n ðX; S 1 Þ of CðX; S 1 Þ and Dðf ; gÞ\p then for any t 2 ½0; 1 the map h t :¼ h t ðf ; gÞ 2 CðX; S 1 Þ defined below lies in the connected component of C n ðX; S 1 Þ: Moreover for Considering the inclusion of S 1 & R 2 as the unit circle centered at origin, if one regards f and g as R 2 -valued maps, the map h t is defined by h t ðxÞ ¼ tf ðxÞ þ ð1 À tÞgðxÞ ktf ðxÞ þ ð1 À tÞgðxÞk : (iii) Recall that f is a p.l. map on X if with respect to some subdivision is simplicial (i.e. the liftings to R of the restriction of f to simplexes of the subdivision 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. If X is a simplicial complex and U & C n ðX; S 1 Þ denotes the subset of p.l. maps then: (1) U is a dense subset in C n ðX; S 1 Þ.
Indeed (1) follows from approximability of continuous maps by p.l. maps and (2) from the continuity in t of the family h t and the compacity of X.
(iv) For k a positive integer consider S k T ¼ ðT Â Á Á Á Â TÞ=R k , with R k the ksymmetric group acting on the k-fold cartesian product of T by permutations equipped with the metric D induced from the complete metric on T ¼ R 2 =Z. With this metric ðS k T; DÞ is a complete metric space. (v) Proposition 5.5 states that f ; g 2 CðX; S 1 Þ t;n and Dðf ; gÞ\eðf Þ=6 implies Dðd f r ; d g r Þ\2Dðf ; gÞ: Proof of Theorem 1.2 Observation (v) makes the assignment CðX; S 1 Þ t;n 3 f 7 !d f r 2 S b N r ðX;nÞ ðTÞ a continuous map. In order to conclude the existence of a continuous extension of d f r to the entire C n ðX; S 1 Þ, in view of the completeness of the metrics D, and D; stated in observations (i) and (iv) above, it suffices to show that for a Cauchy sequence ff a g, f a 2 U, the sequence d f a r is a Cauchy sequence in S b N r ðX;nÞ ðTÞ: This will follow once we can show that (50) holds for any two f ; g 2 U with dðf ; gÞ\p. To establish this we proceed as in (Cohen-Steiner et al. 2007, Sect. 3.3).
In view of item (iii), jt 2iþ1 À t 2i j\oðt 2i Þ implies and jt 2iþ2 À t 2iþ1 j\oðt 2iþ2 Þ implies Dðh t 2iþ2 ; h t 2iþ1 Þ\eðh t 2iþ2 Þ=6: In view of item (v) the last inequalities imply as well as Therefore, for any 0 k 2L À 1 one has Dðd h t kþ1 r ; d h t k r Þ\2Dðh t kþ1 ; h t k Þ. Then by (50) and (49) cf item (ii), one obtains This finishes the proof of Theorem 1.2. h Topology of angle valued maps... 165 6 Poincaré duality for configurations C r ðf Þ. Proof of Theorem 1.3 For an n-dimensional manifold, not necessarily compact, Poincaré duality can be better formulated using Borel-Moore homology, cf. Borel and Moore (1959), especially tailored for locally compact spaces Y and pairs (Y, K), K closed subset of Y. Borel-Moore homology coincides with the standard homology when Y is compact. In general, for a locally compact space Y, it can be described as the inverse limit of the homology vector spaces H r ðY; YnUÞ for all U open sets with compact closure.
One denotes by H BM r ðÁ Á ÁÞ the Borel-Moore homology in dimension r. For Y an ndimensional topological j-orientable manifold, g : Y ! R a tame map, hence a proper continuous map, and a a regular value of g, 15 Poincaré duality provides the commutative diagrams Recall that Y a ¼ f À1 ððÀ1; aÞ and Y a ¼ f À1 ð½a; 1ÞÞ: The first vertical arrow in each column of the diagrams (51) and (52) is the Poincaré duality isomorphism, the second is the isomorphism between cohomology and the dual of homology with coefficients in a field. The horizontal arrows are induced by the inclusions of Y a or Y a in Y and the inclusion of the pairs ðY; ;Þ in ðY; Y a Þ or ðY; Y a Þ.
We apply diagrams (51) and (52) ForM,M a , andM a the Borel-Moore homology can be described as the following inverse limits: H r ðM;M Àl tM l Þ; The inclusions of pairs ðM;M Àl 0 tM l 0 Þ ðM;M Àl tM l Þ for l 0 [ l induce in homology an inverse system whose limit is H BM r ðMÞ. Similar inclusions of pairs associated with l 0 [ l induce inverse systems whose limits are the remaining Borel-Moore homology vector spaces considered above.
The horizontal arrows in both diagrams are inclusion induced linear maps in Borel-Moore homology, cohomology and homology.

STEP 2:
We first provide below the description of the Borel-Moore homologies considered above in terms of subsets ofB r ðf Þ tB rÀ1 ðf Þ tJ r ðf Þ tJ rÀ1 ðf Þ: This is a little more than we need but is useful for future references. Note that the sets M À À ðrÞ, N À À ðrÞ,J r , andJ rÀ1 are all subsets of S ¼B r t B rÀ1 tJ r tJ rÀ1 : Note also that all inclusions induced linear maps between the homologies involved in the diagrams (61) and (62), via the identifications of these homologies to vector spaces generated by subsets of S, correspond to canonical linear maps.
Recall that if S 1 ; S 2 S then the canonical linear map j½S 1 ! j½S 2 is the unique linear extension of the map which the identity on S 1 \ S 2 and zero on S 1 nS 2 ; cf. Definition 2.1.
To finalize the verification of Step 2 for a; b 2 R one denotes and one considers the commutative diagram (63) below.
16 In view of the hypothesis (a, b) can not contain both Àl and l.
Topology of angle valued maps... 171 In parallelism with the configuration C r ðf Þ; for the proof of Theorem 1.6 one can identify the configuration C m r ðf Þ with the map d m;f r : TnD T ! Z ! 0 : This map can be derived from the function of two variables Tf r : R 2 nD ! Z ! 0 in a similar manner to the description of the configuration C r ðf Þ in Sect. 5. The function Tf r is defined by: If f is tame then so isf and the limit and in view of the calculations of the Borel-Moore homology ofX a ,X a ,X cf Proposition 6.2, and the description of the linear maps from homology to Borel-Moore homology one concludes that Proposition 4.2 permits to describe the vector spaces K a ðrÞ, K a ðrÞ, kerðĩ a;b ðrÞÞ, cokerðĩ a;b ðrÞÞ, kerðĩ b;a ðrÞÞ, cokerðĩ b;a ðrÞÞ in terms of mixed bar codes as in Proposition 7.2 below. The verification is a straightforward reading of Proposition 4.2.
Proposition 7.2 Suppose f : X ! S 1 is a tame map withf :X ! R its infinite cyclic covering, and a, b real numbers with a b. Then: coker Àĩ b;a ðrÞ Á ¼ j Â fI 2B oc r ðf Þ j I 3 a; b 6 2 Ig Ã : Topology of angle valued maps... 175 Note that K a ðrÞ and K a ðrÞ are finite dimensional vector spaces. In view of the tameness of f and of (65), (67) and (68) which, being ''natural'' w.r. to the inclusion of pairs ðX;X b Þ ðX;X a Þ for a b, makes the diagram below commutative.
Proof of Theorem 1.6 Suppose now that X ¼ M is a closed j-orientable ndimensional manifold and a is a regular value off . Poincaré duality for the manifold M and for the pairs ðM;M a Þ and ðM;M a Þ provides the commutative diagram with the bottom vertical arrows PD 1 ; PD 2 ; PD 3 isomorphisms. This is because PD 2 and PD 3 which appear in (53) are isomorphisms as indicated in Sect. 5. The diagram is natural w.r. to the inclusion of pairs ðX; X a Þ ðX; X b Þ, provided a and b are regular values. It leads to the following commutative diagram whose vertical arrows are all isomorphisms: To finalize the proof of Theorem 1.6, recall that the tameness of f implies the tameness off and for a, b critical values and e\eðf Þ, the numbers a AE e; b AE e are regular values, therefore by (75) one has i aAEe;bAEe 0 ðrÞ ¼ Àĩ bAEe;aAEe 0 ðn À 1 À rÞ The Eqs. (70) We begin this section with a discussion of linear relations. To every linear relation R : V,V we associate a linear relation R reg : V reg ,V reg on a subquotient, V reg , of V.
In Proposition 8.1 we show that R reg is a linear isomorphism.
If V is a finite dimensional vector space, then, according to the Krull-Remak-Schmidt theorem, R can be decomposed as a direct sum of indecomposable linear relations, R ffi R 1 È Á Á Á È R N , where the factors R i : V i ,V i are unique up to permutation and isomorphism. In this case, R reg is isomorphic to the direct sum of factors which are indecomposable linear isomorphisms see Proposition 8.2. For linear relations on complex vector spaces R reg can easily be derived using the detailed structure theorem in Sandovici et al. (2005). Here we will be concerned with vector spaces over arbitrary fields. Most of this material can be developed for linear relations on modules over commutative rings, and this is the setting for the basic definitions, although in this paper we are interested only in the case of vector spaces.
In the second part of this section, we consider the level X h ¼ f À1 ðhÞ associated with a continuous map f : X ! S 1 and a value h 2 S 1 s.t. f À1 ðhÞ is an ANR. Using the corresponding infinite cyclic coveringX ! X one obtains a linear relation R h on H Ã ðX h Þ, see Sect. 1 or (81)  In this case R À1 ¼ R y .
For a linear relation R : V,V, we introduce the following submodules: Also note that passing from R to R y , the roles of þ and -get interchanged. Moreover, we introduce a linear relation on the quotient module defined as the composition where i and p 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 related by R. We refer to R reg as the regular part of R.
Proposition 8.1 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, (78) is well defined and injective. To see that it is onto let where k AE 2 K AE and d AE 2 D AE . Thus Topology of angle valued maps... 179 We conclude x 2 D þ K À þ K þ , whence (78) 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 x ¼k À þd þ ¼d À þk þ 2 ðK À þ D þ Þ \ ðD À þ K þ Þ; and k AE ;k AE 2 K AE and d AE ;d AE 2 D AE . Note that there exist k 0 þ 2 K þ andk 0 À 2 K À such that k þ Rk 0 þ andk 0 À Rk À . By linearity of R we obtain ðx À k þ Àk 0 À Þ |fflfflfflfflfflfflfflfflffl ffl{zfflfflfflfflfflfflfflfflffl ffl} We conclude d :¼ x À k þ Àk 0 À 2 D,d :¼x À k 0 þ Àk À 2 D, and dRd. This shows that the relations induced on the two quotients in (78) 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 2 D andd ¼k À þk þ 2 ðK À þ K þ Þ \ D withk AE 2 K AE . Note thatk À ¼d Àk þ 2 K À \ D þ . Thus there exists k À 2 K À \ D þ such that k À Rk À . By linearity of R, we get ðd À k À ÞRk þ , whence d À k À 2 K þ and thus d 2 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. h 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 w : V ! W such that for all x; y 2 V with xRy we also have wðxÞQwð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 Krull-Remak-Schmidt theorem, every linear relation on a finite dimensional vector space can therefore be decomposed into a direct sum of indecomposable ones, R ffi R 1 È Á Á Á È R N , where the factors are unique up to permutation and isomorphism. The decomposition itself, however, is not canonical.
Proposition 8.2 Let R : V,V be a linear relation on a finite dimensional vector space over a field, and let R ffi 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 R reg ffi ðR 1 Þ reg È Á Á Á È ðR N Þ reg : 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.
(b) If R : V,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 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. h In the subsequent discussion we will also make use of the following result: Proposition 8.3 Suppose R : V,V is a linear relation on a finite dimensional vector space. Then: For the proof we first establish two lemmas.
Lemma 8.2 Suppose R : V,W is a linear relation between vector spaces such that dim V ¼ dim W\1. Then the following are equivalent: (a) R is an isomorphism.
is a linear isomorphism, for every k ! 0, where i and p 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ðpi y R k ip y Þ ¼ D þ =K þ and kerðpi y R k ip y Þ ¼ 0. The first assertion thus follows from Lemma 8.2 above. Considering R y 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 2 domðR k Þ, we thus find v 1 2 domðR k Þ such that vRv 1 . Proceeding inductively, we construct v i 2 imgðR k Þ such that vRv 1 Rv 2 R Á Á Á, whence v 2 D þ . This shows domðR k Þ D þ , for sufficiently large k. As the converse inclusion is obvious we Considering R y , we obtain the last statement. h Proof of Proposition 8.3 From Lemma 8.3 we get imgðpi y R k Þ ¼ D þ =K þ , whence D þ imgðR k Þ þ K þ , for every k ! 0, and thus D þ D À þ K þ . This implies Considering R y we obtain the other equality in (79). From Lemma 8.3 we also get mulðpi y R k Þ ¼ 0, whence mulðR k Þ \ D þ K þ , for every k ! 0. This gives K À \ D þ ¼ K À \ K þ . Considering R y we get the other equality in (80). h Let us describe the regular part of a linear transformation u : V ! V on a finite dimensional vector space V more explicitly. In this case, we clearly have K À ¼ 0, (80) in Proposition 8.3. Hence, the regular part of u coincides with the restriction u : T n imgu n ! T n imgu n , see (77). According to Proposition 8.1, the regular part of u can alternatively be described as the induced isomorphism u reg : V= S n ker u n ! V= S n ker u n , for we have V ¼ D À þ K þ in view of (79) in Proposition 8.3.

Monodromy
Suppose f : X ! S 1 is a continuous map and let denote the associated infinite cyclic covering. For r 2 R we putX r ¼f À1 ðrÞ and let H Ã ðX r Þ denote its singular homology with coefficients in any fixed field. If r 1 r 2 we define a linear relation B r 2 r 1 : H Ã ðX r 1 Þ,H Ã ðX r 2 Þ by declaring a 1 2 H Ã ðX r 1 Þ to be in relation with a 2 2 H Ã ðX r 2 Þ iff their images in H Ã ðX ½r 1 ;r 2 Þ coincide, whereX ½r 1 ;r 2 ¼f À1 ð½r 1 ; r 2 Þ. If r 1 r 2 r 3 we clearly have B r 3 r 2 B r 2 r 1 B r 3 r 1 . To formulate a criterion which guarantees equality of relations, B r 3 r 2 B r 2 r 1 ¼ B r 3 r 1 , we introduce the following notation: A number r 2 R is called tame value if, for every e [ 0, there exists a neighborhood U ofX r inX ½rÀe;rþe such that each of the inclusionsX r U,X ½rÀe;r \ U U, and X ½r;rþe \ U U, induces isomorphisms in homology. The crucial point is that in this case the triad ðX ½rÀe;rþe ;X ½r;rþe ;X ½rÀe;r Þ gives rise to a long exact Mayer-Vietoris sequence. Note that for a tame map as considered in Sect. 1, all values are tame.
Lemma 8.4 Suppose r 1 r 2 r 3 and assume r 2 is a tame value. Then, as linear relations, B r 3 r 2 B r 2 r 1 ¼ B r 3 r 1 .
Proof Since r 2 is a tame value, we have an exact Mayer-Vietoris sequence, H Ã ðX r 2 Þ ! H Ã ðX ½r 1 ;r 2 Þ È H Ã ðX ½r 2 ;r 3 Þ ! H Ã ðX ½r 1 ;r 3 Þ: This immediately gives B r 3 r 2 B r 2 r 1 B r 3 r 1 . As the converse inclusion, B r 3 r 2 B r 2 r 1 B r 3 r 1 , is obvious, the lemma follows. h Fix a tame value h 2 S 1 of f and a lifth 2 R, e ih ¼ h. Using the projectioñ X ! X, we may canonically identifyXh ¼ X h ¼ f À1 ðhÞ. Moreover, let s :X !X denote the fundamental deck transformation, i.e.f s ¼f þ 2p. Note that s induces homeomorphisms between levels, s :X r !X rþ2p , and define a linear relation We will continue to use the notation K AE , D AE , and R reg introduced in the previous section for this relation R on H Ã ðX h Þ. Particularly, its regular part, is a module automorphism. Proof We will only show the first equality, the other one can be proved along the same lines. To see the inclusion K þ kerðH Ã ðX h Þ ! H Ã ðX ½h;1Þ ÞÞ, let a 2 K þ . Hence, there exist a k 2 H Ã ðX h Þ, almost all of which vanish, such that aRa 1 Ra 2 R Á Á Á.
In H Ã ðX ½h;hþ2p Þ, we thus have: In H Ã ðX ½h;1Þ Þ, we obtain: Since some a k have to be zero, we conclude that a vanishes in H Ã ðX ½h;1Þ Þ.
To see the converse inclusion, K þ kerðH Ã ðX h Þ ! H Ã ðX ½h;1Þ ÞÞ, set Putting c k :¼ ðÀ1Þ kÀ1 s Àk Ã b k 2 H Ã ðXhÞ, we obtain the following equalities in H Ã ðX ½h;hþ2p Þ: In other words, we have the relations bRc 1 Rc 2 Rc 3 R Á Á Á. Since some c k has to be zero, we conclude b 2 K þ , whence the lemma. h Introduce the upwards Novikov complex as a projective limit of relative singular chain complexes,  (79). Using Lemma 8.8 we thus conclude s k Ã a is contained in the kernel on the right hand side of (82). Since this common kernel is invariant under the isomorphism s Ã : H Ã ðXÞ ! H Ã ðXÞ, we conclude that a has to be contained in the common kernel too, whence the theorem. h We conclude this section with a proof of Theorem 1.4. Suppose X is a compact ANR and let f : X ! S 1 be a tame map as in Sect. 1. Fix regular and critical angles, 0\t 1 \h 1 \ Á Á Á \t m \h m 2p, and consider the associated G 2m -representation q r ¼ fV i ; a i ; b i g, see Sect. 3. Note that the linear relation R h r on H r ðX h Þ introduced in Sect. 1 is just the degree r part of the relation considered in this section, see (81). From Lemma 8.4 we immediately obtain: Lemma 8.10 The following equalities of relations on H r ðX h Þ hold true: Lemma 8.11 Suppose q ¼ fV i ; a i ; b i g is a G 2m -representation with Jordan blocks a J2J TðJÞ. Then, for all 1 i m, the following hold true: Suppose f : X ! S 1 is a tame map. For 0\h 0 h 00 2p we will use the notation X ½h 0 ;h 00 :¼ f À1 ð½h 0 ; h 00 Þ, and write XðhÞ :¼ X ½h;h ¼ f À1 ðhÞ. Let 0\h 1 \h 2 \ Á Á Á \h N 2p be the collection of all critical values and put eðf Þ :¼ minfjh iþ1 À h i j : 1 i Ng where h Nþ1 :¼ h 1 þ 2p. Note that any bar code I 2 e B r ðf Þ has the left end of the form h i þ 2pk and the right end of the form h j þ 2pk 0 where i; j 2 f1; . . .; Ng and k; k 0 2 Z. Put lðIÞ :¼ h i and rðIÞ :¼ h j . The numbers l(I) and r(I) are well defined for barcodes in B r ðf Þ which can be considered as equivalency classes of elements in e B r ðf Þ.
Proposition 9.1 For any tame map f : X ! S 1 and 0\e\eðf Þ we have: Proof By the long exact homology sequence of the pair ðX ½h i Àe;h i þe ; Xðh i À eÞÞ,  [Milnor (1963), Lemma 2.2], asserts that for every non-degenerate critical point x of f there exists an open neighborhood U x of 0 in R n and a diffeomorphism onto its image, u x : U x ! M, such that u x ð0Þ ¼ x and f ðu x ðt 1 ; . . .; t n ÞÞ ¼ f ðxÞ À t 2 1 À Á Á Á À t 2 k þ t 2 kþ1 þ Á Á Á þ t 2 n holds for all ðt 1 ; . . .; t n Þ 2 U x , where k ¼ ind f ðxÞ. In particular, Xðf Þ is finite, for M is assumed to be compact. We fix Morse coordinates u x : U x ! M as above for every critical point x 2 Xðf Þ. Moreover, we assume 0\e\eðf Þ 18 is sufficiently small such that D n ðeÞ :¼ fðt 1 ; . . .; t n Þ : P n iþ1 t 2 i eg U x for all x 2 Xðf Þ. The proof of this proposition can be found in any book in Morse theory, see for instance (Milnor 1963, Sect. 5 As in (Milnor 1963, Sect. 3) one can verify that M ½h i Àe;h i þe retracts by deformation to X(i). The deformation is obtained using the flow of the gradient vector field Àgrad g ðf Þ where g is a conveniently choosen Riemannian metric. Combining this with Theorem 1.1(a), we obtain the statement for angle-valued maps in Theorem 1.7. A real-valued map can be viewed as an angle-valued map after composition with an embedding of R in S 1 . In this case the Novikov-Betti numbers coincide with the Betti numbers, whence the statement for real-valued maps in Theorem 1.7 follows from the statement for angle-valued maps.

Compliance with ethical standards
Conflict of interest On behalf of all authors, the corresponding author states that there is no conflict of interest.

Appendix A: An example
Consider the space X obtained from Y described in Fig. 5 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 3 3 0 2 3 À 1 1 2 3 0 B @ 1 C A: The meaning of this matrix as a map / is the following: circle (1) is divided in 6 parts, circle (2) in 8 parts and and circle (3) in 4 parts; the first three parts of circle (1) wrap clockwise around circle (1) to cover it three times, the next two wrap clockwise around circle (2) to cover it twice and around circle three to cover it three times. Similarly circle (2) and (3) wrap over circles (1), (2) and (3) as indicated by the matrix. The first part of circle (3) wraps counterclockwise around circle (2). The map f : X ! S 1 is induced by the projection of Y on the interval ½0; 2p.

The critical angles
Clearly the critical angles of f are fh 0 ¼ 0 ¼ 2p; h 1 ; h 2 ; h 2 ; h 3 ; h 4 ; h 5 ; h 6 g: The Jordan blocks The r-monodromy of f calculated at h ¼ 0 is given by the regular part of the linear relation RðA r ; B r Þ with A r :¼ / r : H r ðY 1 Þ ! H r ðYÞ induced by / and B r :¼ i r : H r ðY 1 Þ ! H r ðYÞ induced by the inclusion Y 1 & Y. Since H 2 ðY 1 Þ ¼ 0 there is no monodromy for r ¼ 2 and for r ¼ 0 one has R reg ðA 0 ; B 0 Þ ¼ Id which leads to J 0 ðf Þ ¼ fð1; 1Þg: For r ¼ 1 the reader can see from the picture above that H 1 ðY 1 Þ ¼ j 3 generated by the circles 1, 2, 3, and H 1 ðYÞ ¼ j 4 generated by the circles 1, 2, 3, and an additional generator coming from the small cylinder above ½h 2 ; h 3 . In this case Clearly, f e can be made is arbitrary closed to f 0 . For e ¼ 0 there are no barcodes and only one Jordan cell, J 0 ðf 0 Þ ¼ fðj 1 ; idÞg. For 0\e\p we have the same Jordan block, J 0 ðf e Þ ¼ fðj 1 ; idÞg, and in addition two barcodes, B 0 ðf e Þ ¼ f½p À e; p þ eÞ; ðp À e; p þ eg.
Denote by f X 1 e : X 1 ! S 1 and f X 2 e : X 2 ! S 1 the maps f e : X ! S 1 described in Examples B.2 and B.3, respectively. Moreover, let Q denote the Hilbert cube, that is, the product of countably many copies of the unit interval. Note that X 1 Â Q and X 2 Â Q are homeomorphic compact ANRs. Moreover, for i ¼ 1; 2 we have B r ðf X i e : X i ! S 1 Þ ¼ B r ðf X i e p i : X i Â Q ! S 1 Þ where p i : X i Â Q ! X i denotes the canonical projection. Hence, one can clearly provide four homotopic tame maps, h 1 ; h 2 ; h 3 ; h 4 : X 1 Â Q ! S 1 , with B r ðh 1 Þ ¼ B r ðf X 1 0 Þ, B r ðh 2 Þ ¼ B r ðf X 1 p=4 Þ, B r ðh 3 Þ ¼ B r ðf X 2 p=3 Þ, and B r ðh 4 Þ ¼ B r ðf X 2 2p=3 Þ.
Appendix C: Structure of finitely generated modules over principal ideal domains In this appendix we recall basic facts about modules over principal ideal domains, and we provide more specific information about modules over the principal ideal domain of Laurent polynomials, j½t À1 ; t.
Recall that an integral domain is a commutative ring with unit 1 6 ¼ 0 which has no zero divisors. An integral domain R is called principal ideal domain (PID) if every ideal I R is generated by a single element a 2 R, that is, I ¼ Ra. Familiar examples of principal ideal domains are Z, the ring of integers; j½t, the ring of polynomials of one variable t with coefficients in a field j; and j½t À1 ; t, the ring of Laurent polynomials of one variable t with coefficients in the field j.
Let M be a module over a principal ideal domain R. Recall that M is called free if it admits a basis fx i g i2I , i.e. if it is isomorphic to a i2I R for some index set I. In this case, the cardinality of the basis is uniquely determined and referred to as the dimension of the free R-module M, see (Lang 2002, Chapter III §7).
A proof of the following basic fact can be found in (Lang 2002, Theorem III.7.3) or (Hilton and Stammbach 1996, Theorem I.5.1).
Theorem C.1 Suppose M is a submodule of a free module F over a principal ideal domain. Then M is free and its dimension is at most the dimension of F.
The preceeding result readily implies that submodules of finitely generated modules over a principal ideal domain are finitely generated, see (Lang 2002, Corollary III §7.2).
Let M be a module over a principal ideal domain R. The torsion submodule of M is defined to be the submodule of all torsion elements, TorðMÞ :¼ fx 2 M j 9k 2 Rn0 such that kx ¼ 0g. If TorðMÞ ¼ 0, then M is called torsion free. If TorðMÞ ¼ M, then M is called torsion module.
We have the following fundamental structure theorem, see (Lang 2002, Theorem III §7.3 In other words, if M is a finitely generated module over a principal ideal domain R, then there exists a decomposition M ffi T È F where T is a finitely generated Topology of angle valued maps... 195 torsion module and F is a finite dimensional free module. Moreover, the summands T and F are uniquely determined, up to isomorphism. More precisely, T ffi TorðMÞ and F ffi R m where m 2 N 0 denotes the dimension of M=TorðMÞ. Let us now consider the pricipal ideal domain R ¼ j½t À1 ; t where j is a field. A module over this ring is exactly the same thing as a pair (M, T) where M a j-vector space and T : M ! M is a j-linear isomorphism. The vector space M is the underlying vector space of the module and the j-linear isomorphism T is defined by multiplication by t, its inverse being the multiplication by t À1 . Note that M is a finite dimensional j-vector space if and only if the module is a finitely generated torsion module. Hence, finitely generated torsion modules over j½t À1 ; t can equivalent be regarded as pairs (M, T) where M is a finite dimensional j-vector space and T : M ! M is an isomorphism.
If M is a finitely generated module over j½t À1 ; t, then its torsion submodule coincides with the kernel of the homomorphism obtained by tensorizing the natural inclusion j½t À1 ; t j½t À1 ; t with M, that is, Here j½t À1 ; t denotes the field of Laurent series in one variable. Consider a G 2m -representation q and a decomposition q ffi a I2BðqÞ q I È a J2JðqÞ q J as in Sect. 2. Then the infinite cyclic coveringq is a finitely generated module over j½t À1 ; t in a natural way. Its free part is isomorphic to the vector space j½ e BðqÞ equipped with the isomorphism T induced by the translation sðIÞ ¼ I þ 2p. Its torsion part is isomorphic to the pair (V, T) where V ¼ a J2JðqÞ V J and T ¼ a J2JðqÞ T J . Clearly V ¼ j½ e JðqÞ. The underling vector space of this module is j½ e BðqÞ t e JðqÞ: