Arxiv:1911.04811V3 [Math.FA] 20 Nov 2020 Hswr a Upre Ytentoa Cec Ete Pola Centre, Science National the by Supported Was Work This Pressure

arXiv:1911.04811v3 [math.FA] 20 Nov 2020 hswr a upre yteNtoa cec ete Pola Centre, Science National the by supported was work This pressure. topological ibr pc eed nyo h mletunital smallest the on only depends th space infer we Hilbert disk, a unit the is spectrum whose shift unilateral B ywihe opsto operators composition weighted by o vr o-netbeisometry non-invertible every for Cn7 rvdahge iesoa eso fCbr’ res 1.1. Coburn’s Example isometries: of weighted version certain for dimensional consequences higher spectral a proved [Cun77] opizalgebra Toeplitz prtr ycniuu functions: continuous by operators := Σ h T fuiomdsrbtoson distributions uniform of ( e od n phrases. and words Key 2010 etakAde eee o ueosdsusoso variati on discussions numerous for Lebedev Andrei thank We h lsia ounsterm[o6]sae hteeyno every that states [Cob67] theorem Coburn’s classical The H = ) { RNFROEAOSADTPLGCLPRESSURE TOPOLOGICAL AND OPERATORS TRANSFER naHletspace Hilbert a on PCRMO EGTDISOMETRIES: WEIGHTED OF SPECTRUM 1 h ahmtc ujc Classiﬁcation. Subject Mathematics where that B ne oainaon zero, around rotation under ae nteaayi fthe of analysis the on Based a Abstract. pn epoefraysc a n otnosmap continuous a and map such any for prove We open. oo-ia nrp,and entropy, gorov-Sinai rllgrtmo ulePro-rbnosoperator Ruelle-Perron-Frobenious a of logarythm tral qa otetplgclpressure topological the to equal mle h aitoa rnil o h pcrlradius: spectral the for principle variational the implies yAtnvc,BktnadLebedev. and Bakhtin Antonevich, by lrf h eainhpbtenteKlooo-ia ent Kolmogorov-Sinai the between relationship the clarify where .,n ..., , ( ◦ ∈ H egttebs eut hnteudryn mapping underlying the when results best the get We ϕ ) A σ , RYZO ADDNADBROZKSAKWAŚNIEWSKI KOSMA BARTOSZ AND BARDADYN KRZYSZTOF egv yaia odtosipyn httespectrum the that implying conditions dynamical give we , ( uhta h formula the that such Erg( T } aT h N sa smtyand isometry an is , ) ∈ osdrtesitmap shift the Consider ,ϕ X, T > n stedisc the is esuytesetu foperators of spectrum the study We H obnn hswt h elkonfc that fact known well the with this Combining . ) sa smty Let isometry. an is , 1 r stesto roi oe rbblt measures, probability Borel ergodic of set the is ( n let and , aT pcrm egtdcmoiinoperator, composition weighted spectrum, H max = ) { C z eeae a generates { ̺ ∗ ∈ µ 1 ( : ∈ .,n ..., , aT C X Erg( a µ σ L : ( → eog oacommutative a to belongs ( C aT | eteBrolimaue-tepoutmaueon measure product the - measure Bernoulli the be : T X,ϕ z 1. a ∗ ≤ | a = ) ( } eew s httesetu fa prtrin operator an of spectrum the that use we Here . aT P [0 -algebra ) ah Let . ) ∈ Introduction (ln , onie ihteesnilspectrum essential the with coincides exp 71,37A55. 47A10, 1] r , )( T ( A C ,ϕ c, a aT steccceascae to associated cocycle the is ∗ x ϕ = ) aT ∗ ∈ = ) ( -algebra ) Z H ) ξ A } 1 X hsetnsRel’ lsia eutand result classical Ruelle’s extends This . C A 1 . ensafihu rnfroeao on operator transfer faithful a deﬁnes C ξ , ∗ ln( = sioopi oteCnzalgebra Cuntz the to isomorphic is , = ∼ a ( ∗ ,T A, 2 ( ( | ... , x L a ,T A, C | ) µ 2 √ h (Σ) aT (Σ) ) =( := ) C ̺ ( d rn ubr2019/35/B/ST1/02684. number grant nd, x eeae yteoperators the by generated ) C ∗ ) L dµ ) B ∈ ( hntecmoiinoperator composition the Then . ∗ ∼ = hnthe Then . c T eteagbao multiplication of algebra the be oyand ropy agbata otisi.Cuntz it. contains that -algebra c f ϕ nlfrua pern ntetext. the in appearing formulas onal C + ) ( : O ξ ( y : ∗ 2 X aoial smrhct the to isomorphic canonically H h = ) -subalgebra X n ξ , ϕ at ) . → 2 ( 3 → µ C naHletspace Hilbert a on ... , P C -netbeisometry n-invertible σ ) l,ta a immediate has that ult, [0 t ∗ h X L etoyintroduced -entropy ∗ agba rnfroperator, transfer -algebra, ( x ϕ , σ T -ALGEBRAS, ) ∈ npriua,we particular, In . ∞ , ( sepnigand expanding is ( ϕ T µ C = ) nteCno space Cantor the on aT − ) ) 1 ∗ httespec- the that sgnrtdb the by generated is ( steKolmo- the is agbagenerated -algebra C ) y ) σ { ( sinvariant is c X ess z ( x ) ∈ ( ) = ∼ aT f C ( x A ) aT ) : A H or ⊆ is | . , z ≤ | O T n 1 : Σ ∈ } 2 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

1 Indeed, the operators si := √n {(i,ξ2,ξ3,...)}T , i = 1, ..., n, are isometries such that n ∗ ∗ ·∗ −1/2 n i=1 sisi = 1 and C (A, T ) = C (s1, ..., sn) (e.g. we have T = n i=1 si). Cuntz proved in [Cun77] that every C∗-algebra generated by n isometries with range projections P ∗ P summing up to 1 is simple and isomorphic to n. Since C (A, T ) ∼= n is simple and inﬁnite it can not contain any compact operators.O Thus the spectrum σO(aT ), for any a A, coincides with the essential spectrum σ (aT ) := λ C : aT λ1 is not Fredholm∈. ess { ∈ − } Moreover, n is equipped with a gauge circle action that scales T and ﬁxes elements in A. This impliesO that σ(aT ) has a circular symmetry. As we explain in the paper, by an ∗ analysis of Riesz projectors and using the fact that A n is a Cartan C -subalgebra [Ren08], one can prove that σ(aT ) is connected and hence⊆ O a disk. In fact we have

a hϕ(µ) σ(aT )= σess(aT )= z C : z max exp ln | | dµ + ∈ | | ≤ µ∈Erg(Σ,ϕ) √n 2 ZΣ where the maximum is taken over the ergodic Borel probability measures and hϕ(µ) is the Kolmogorov-Sinai entropy. The formula for r(aT ) follows from Ruelle’s thermodynamical formalism that relates the spectral radius of the Ruelle-Perron-Frobenious operator with topological pressure [Rue78], [Wal78], [LS88], [Rue89]. The aim of the present paper is to develop a general theory that describes the spectrum of weighted isometries aT , a A B(H), by the analysis similar to that sketched in Example 1.1. In the case that ∈T is a⊆unitary such an analysis was carried out successfully in [O’Don75], [Leb79], [AL94]. More speciﬁcally, let T B(H) be a unitary on a Hilbert space H, and let A (H) be a unital commutative C∈∗-subalgebra such that ⊆ B (1) T AT ∗ = A. ∗ Then α(a) := T aT , a A, is an automorphism of A, and identifying A ∼= C(X) with the algebra of continuous∈ functions on the Gelfand spectrum X of A, α is a composition operator with a homeomorphism ϕ : X X. This motivated the authors of [AL94] to call operators of the form aT , a A→, abstract weighted shifts associated with the automorphism α : A A. By [O’Don75,∈ Theorem 1.2.1], if ϕ : X X is topologically → ∗ → free, i.e. the set of periodic points has empty interior, then C (A, T ) = A ⋊α Z where n ∼ A ⋊α Z is the crossed product of A by Z action α n∈Z. This is a strong tool that allows us to study the spectrum σ(aT ). Combining{ it} with the variational formula for the spectral radius

(2) r(aT ) = max exp ln a dµ, µ∈Erg(X,ϕ) | | ZX proved independently by Kitover [Kit79] and Lebedev [Leb79], see also [KL20], one can obtain the following description of σ(aT ):

Theorem 1.2 ([Leb79], [AL94]). Let aT , a A ∼= C(X), be abstract weighted shifts associated with an automorphism α : A A∈. Suppose that the dual homeomorphism ϕ : X X is topologically free. For every→ a A the spectrum σ(aT ) is a union of annuli → z C : r z r and if a is∈ not invertible also a disk z C : z r∈R{ ∈ − ≤| | ≤ +} { ∈ | | ≤ r0 . Moreover, all Riesz projectors for σ(aT ) belong to A and induce a decomposition X}= XS X into disjoint closed ϕ-invariant sets such that 0 ∪ r∈R r

r−S= min exp ln a dµ, r+ = max exp ln a dµ, µ∈Erg(Xr,ϕ) | | µ∈Erg(Xr,ϕ) | | ZXr ZXr for r R, and r0 = maxµ∈Inv(X ,ϕ) exp ln a dµ , if X0 is non-empty (that is, if a is ∈ 0 X0 | | not invertible). So if X does not containR non-trivial clopen ϕ-invariant sets, then σ(aT ) SPECTRUM OF WEIGHTED ISOMETRIES 3

is connected. If A does not contain non-zero compact operators, which is automatic if X has no isolated points, then σ(aT )= σess(aT ). Theorem 1.2 explains some operator theoretical phenomena observed by a number of authors studying various special cases of weighted composition operators, see [AL94, Notes and Remarks on page 154]. Similar C∗-algebraic arguments apply to other spectral properties of more general non-local operators and have remarkable consequences for functional differential equations with reversible shifts, see for instance, [AL94], [ABL98], [BFK14]. The natural need to develop such a theory for irreversible shifts has so far been blocked by the lack of appropriate C∗-algebraic tools. In the present paper we wish to provide a first meaningful step towards such a generalization. This is non-trivial and only possible because of recent advances in the theory of C∗-algebras. We hope this will renew interest of operator theorists in the modern C∗-algebra theory, as well as strengthen links between these fields and the thermodynamical formalism. There are essentially two ways in which one can generalize abstract weighted shifts to the irreversible case. If T is a unitary, then (1) is equivalent to two inclusions T AT ∗ A and T ∗AT A. If T is a non-unitary isometry, one can not expect (1) to hold.⊆ One natural choice⊆ is to assume that T AT ∗ A, as then α(a) = T aT ∗ defines an endomorphism of A (in essence this boils down⊆ to relations in [AL94, Remark 4.6]). The corresponding analysis is carried out in [Kwa09], [KL20], and the associated C∗-algebras C∗(A, T ) are modeled by crossed products by endomorphisms [KL13], [Kwa17]. However this approach does not cover Example 1.1 and is somewhat easier than what we need. In the present paper we consider the situation where T B(H) is an isometry and A (H) is a unital commutative C∗-subalgebra such that∈ ⊆ B (A1) T ∗AT A; (A2) there is⊆ a unital endomorphism α : A A such that T a = α(a)T , for all a A. → ∈ Then L(a) := T ∗aT , a A, defines a transfer operator for α and we refer to aT , a A, as abstract weighted∈ shifts associated with the transfer operators L : A A. The ∈ → endomorphism α of A ∼= C(X) induces a continuous map ϕ : X X. Our main aim is to generalize Theorem 1.2 to this setting. We achieve it by overcoming→ the following difficulties: 1) Relations. The C∗-algebra C∗(A, T ) generated by the operators aT , a A, sat- ∈ isfying (A1), (A2), can be modeled by the crossed product introduced by Exel [Exe031]. Exel’s crossed product depends only on the associated transfer operator L, see [Kwa17], and therefore we denote it by A ⋊ L. In general, the relations defining A ⋊ L as a universal C∗-algebra are hard to describe explicitly. This makes both the definition and the analysis of the structure of A ⋊ L non-trivial. Indeed, the definition of A ⋊ L was in the air for a long time, starting from Arzumanian and Vershik [AV78], [AV84], through Cuntz and Krieger [CK80], Renault [Ren80], Deaconu [Dea95], Lebedev (unpublished notes) and culminating with Exel [Exe031], whose definition still required some modifi- cations, see [ER07] and [Kwa17]. The most studied and best understood case is when the associated map ϕ : X X is a local homeomorphism and a cocycle ̺ associated to L attains strictly positive values.→ Then A⋊L has a groupoid model and we say that L is of finite type (cf. Proposition 2.13 below). In the finite type case, a ‘Cuntz-Krieger type’ relation that defines A ⋊ L was made explicit by Exel and Vershik [EV06]. In general, we surpass this problem by assuming the following natural nondegeneracy condition: (A3) AT H is linearly dense in H. We verify axioms (A1), (A2), (A3) for large classes of natural examples (cf. Propositions 3.3, 3.5, 3.12). In fact, by using a Cuntz-Pimsner model for A ⋊ L [BR06], [Kwa17] 4 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

and appealing to [H05] we show that every faithful transfer operator is included in our setting (see the last part of Theorem 5.5). Applying results of [CKO19] we find that ∗ ⋊ C (A, T ) ∼= A L whenever (A1), (A2), (A3) hold and ϕ : X X is topologically free (Theorem 5.8). In the finite type case, using a groupoid model→ for A ⋊ L, we find that A C∗(A, T ) is a Cartan inclusion if and only if ϕ : X X is topologically free (Theorem⊆ 5.10), which slightly extends the main result of [CS09].→ Using a version of Ruelle’s Perron-Frobenius Theorem (Theorem 2.4), we show that every finite type transfer operator L : C(X) C(X) for expanding ϕ with no non-wandering points → 2 has a natural representation on Lµ(X) via the composition operator T satisfying (A1), (A2), (A3) (Proposition 3.8). This in particular gives a natural representation of Cuntz- Krieger algebras [CK80] (cf. Remark 7.8). 2) Spectral radius. A somewhat separate problem is how to describe spectral radii of operators aT , a A, associated with a transfer operator L. It reduces to analysis of the spectral radii∈ of (weighted unital) transfer operators on C(X), as we have r(aT ) = r(L a 2). In the full generality we consider, these spectral radii were described by Antonevich,| | Bakhtin, Lebedev [ABL11], [BL17] via variational principles exploiting a newp invariant they introduce - the t-entropy. We push this research further when ϕ : X X is an expanding open map. Then the problem reduces to investigation → of r( ) for a Ruelle-Perron-Frobenious operator f(y) = −1 c(x)f(x) with an Lc Lc x∈ϕ (y) arbitrary continuous ‘potential’ c : X [0, ). One of the fundamental principles of → ∞ P thermodynamical formalism is that ln r( c) coincides with topological pressure P (ln c,ϕ). A number of results in this direction areL known, cf. [Bow75], [Rue78], [Wal78], [LS88], [Rue89], [LM98], [FJ01], [PU10]. However, none of these sources considers a general case. Usually it is assumed that ϕ is topologically mixing, c is Hölder continuous and strictly positive, and the space X is a finite dimensional manifold or a shift space. Here we prove that ln r( c) = P (ln c,ϕ) for an arbitrary open expanding map ϕ : X X on a compact metricL space and an arbitrary continuous c : X [0, ) (Theorem→ 4.6). This result is of independent interest. It reveals the relationship→ between∞ t-entropy and Kolmogorov-Sinai entropy (Corollary 4.9). It also gives efficient formulas for the spectral radius r(aT ) of operators associated to expanding open maps (Corollary 4.8). 3) Riesz Projectors. When T is a unitary satisfying (1), then every Riesz projector for a part of the spectrum σ(aT ), a A belongs to A = C(X) and corresponds to a ∈ ∼ −1 clopen set X0 X, which is ϕ-invariant in the sense that ϕ (X0) = X0, see [AL94]. This is a crucial⊆ step in the proof of Theorem 1.2. In our irreversible setting this fact fails and the analysis of Riesz projectors is much more subtle. It may happen that a Riesz projector P for an abstract weighted shift aT , a A, associated to a transfer operator L, does not belong to A and even if it does it∈ may not correspond to a ϕ- invariant set (see Example 6.2). However, developing new arguments we proved that if a is (close to being) invertible and ϕ is topologically free, then P A and it corresponds to a ϕ-invariant set (Proposition 6.1). In general, P A′ and∈ hence it belongs to A whenever A C∗(A, T ) is a Cartan inclusion. Then either∈ the corresponding set or its complement⊆ is forward ϕ-invariant (Proposition 6.4) Main results. For reasons explained above we prove two versions of Theorem 1.2 for operators aT , a A, associated with a transfer operator. We get the full description of σ(aT ) in the case∈ when a is (close to being) invertible (Theorem 7.1), and for arbitrary a A in the finite type case (Theorem 7.2). We particularly like the results for expanding maps∈ (cf. Corollary 7.6). In general, if ϕ : X X is topologically free, then the spectrum of an operator aT , a A, is rotation invariant→ and if A (H) = 0 then ∈ ∩K { } σ(aT ) = σess(aT ) (Corollary 5.9). We illustrate our results on examples coming from SPECTRUM OF WEIGHTED ISOMETRIES 5

Cuntz-Krieger algebras (Example 7.7), weighted composition operators on L2-spaces (Corollaries 7.11, 7.12) and weighted shifts on directed trees (Example 7.14). The paper is organized as follows. In Section 2 we discuss some basic facts concerning transfer operators and the thermodynamical formalism. Section 3 introduces abstract weighted shifts and discusses model examples. Variational formulas for spectral radii are studied in Section 4. The structure of the associated C∗-algebras and spectral consequences of topological freeness are presented in Section 5. Conditions under which Riesz projectors for aT , a A, belong to A are given in Section 6. Finally, in Section 7 we present the results that∈ describe the whole spectrum of aT and give estimates to a number of its connected components.

2. Preliminaries 2.1. Thermodynamical formalism for expanding open maps. Throughout this paper ϕ : X X is a continuous map on a compact Hausdorﬀ space X. Recall that X is metrizable→ if and only if X is second countable if and only if the C∗-algebra C(X) of continuous complex valued functions is separable. If d is a metric on X, then for any continuous real valued function b C(X, R) the topological pressure of (X,ϕ) with potential b can be deﬁned by the formula∈ 1 n−1 (3) P (ϕ, b) := lim lim sup sup ln exp b(ϕi(y)) , ε→0 n→∞ E⊆X is n y∈E i=0 ! ε-separated in dn X X i i where dn(x, y) = max d(ϕ (x),ϕ (y)) is n-Bowen’s metric. It is crucial that P (ϕ, b) can i=0,...,n be also expressed in terms of the following variational principle:

P (ϕ, b) = sup bdµ + hϕ(µ) , µ∈Inv(X,ϕ) ZX where Inv(X,ϕ) is the set of ϕ-invariant Borel probability measures on X and hϕ(µ) is the Kolmogorov-Sinai entropy, cf. [Wal82], [PU10]. A measure µ Inv(X,ϕ) is called an equilibrium state if P (ϕ, b)= bdµ + h (µ). If the entropy map∈ Inv(X,ϕ) X ϕ ∋ µ h (µ) is upper-semicontinuous, then P (ϕ, b) = max bdµ + h (µ) . If ϕ R µ∈Inv(X,ϕ) X ϕ the7→ set of equilibrium measures is non-empty it contains an ergodic measure (whenever P (ϕ, b) < ) and for a dense subset of functions in b C(X, R) the equilibriumR measure is unique,∞ see [Wal82, 9.13 and 9.15.1]. The study of∈ unique equilibrium measures was initiated by the theory of thermodynamical formalism that works for expanding maps: Deﬁnition 2.1. A continuous map ϕ : X X is expanding (expands small distances or is locally expanding) if X is compact and→ can be equipped with a metric d for which there are ε> 0 and θ> 1 such that d(ϕ(x),ϕ(y)) θd(x, y) whenever d(x, y) <ε. ≥ Being expanding does not depend on the choice of a metric (compatible with the topology). By [Red82], ϕ : X X is expanding if and only if ϕ : X X is positively expansive, i.e. for some metric d→there is δ > 0 such that for any two points→ x = y we have d(ϕn(x),ϕn(y)) > δ for some n N. By Schwartzman’s theorem, see [MS10],6 [KR69], a homeomorphism ϕ : X X is expanding∈ (positively expansive) if and only if X is ﬁnite. Thus being expanding→ is a notion designed for irreversible dynamics. The literature is abundant in the results concerning expansive homeomorphisms, but it is well known that (one-sided) versions of such facts hold for expanding (positively expansive) maps, cf. [Wal82, Remark on page 145], [KR69, page 58]. A counterpart of [Wal82, Theorem 5.24], [KR69, Corollary 3.3] states that any expansive map ϕ : X X is a factor of a → 6 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

one-sided subshift: there is a closed subset Z of Σ = 1, ..., n N with σ(Z)= Z, where n { } σ : Σn Σn is one-sided shift, and a continuous surjective map π : Z X such that π σ =→σ π. Moreover, the one-sided subshifts (Z, σ), as above, can be characterised→ as expanding◦ ◦ maps on zero-dimensional spaces. By [PU10, Theorem 3.5.6], for expanding maps the entropy map Inv(X,ϕ) µ hϕ(µ) is upper-semicontinuous and therefore equilibrium (ergodic) measures for∋ expanding7→ maps always exist. An expanding map is necessarily locally injective and hence if it is open, it is a local homeomorphism. An open expanding map ϕ : X X is topologically mixing if and only if for every non-empty open set U there is n →1 such that ϕn(U)= X, cf. [PU10]. Usually Gibbs measures are considered for topologically≥ mixing maps, cf. [Bow75], [Rue78], [Wal78], [FJ01], However, as shown in [PU10] the theory works well under a slightly weaker assumption that ϕ : X X is topologically transitive, i.e. for any non-empty open sets U, V X there is n→ N such that ϕn(U) V = . If ϕ is open expanding, this is equivalent⊆ to existence of∈N N such that ϕN is∩ topologically6 ∅ mixing. ∈ Definition 2.2. Suppose that (X,d) is a metric compact space. We say that µ Inv(X,ϕ) is a Gibbs distribution for a continuous map ϕ : X X with potential∈ b C(X, R) if for sufficiently small ε > 0 there is P R, and C → 1 such that for all x ∈ X and n 1 we have ∈ ≥ ∈ ≥ µ(B (x, ε)) C−1 n C ≤ exp( n−1 b(ϕi(x)) nP ) ≤ i=0 − i i where Bn(x, r) is the open ball in n-Bowen metric dn(x, y) = max d(ϕ (x),ϕ (y)). P i=0,...,n Theorem 2.3 (Existence and uniqueness of Gibbs measure). Let ϕ : X X be an open expanding map and let b C(X, R) be Hölder continuous. There is a unique→ Gibbs distribution µ Inv(X,ϕ) ∈for ϕ and b and the constant P in Definition 2.2 is the ϕ,b ∈ topological pressure P (ϕ, b). Moreover, µϕ,b is the unique equilibrium state for ϕ and b, and for every y X we have ∈ n−1 1 i P = P (ϕ, b)= bdµϕ,b + h(µϕ,b) = lim ln exp b(ϕ (x)) . n→∞ n X −1 i=0 ! Z x∈Xϕ (y) X Proof. Combine [PU10, Propositions 3.4.3, 4.4.1, 4.1.5 and Theorems 4.3.2, 4.6.2].

Gibbs distributions µϕ,b are usually constructed by means of Ruelle’s Perron-Frobenius Theorem. More specifically, if ϕ : X X is a local homeomorphism, then for every continuous c : X [0, + ) the formula→ → ∞ (4) cf(y)= c(x)f(x) L −1 x∈Xϕ (y) defines a positive linear operator c : C(X) C(X), which is called the Ruelle-Perron- Frobenius transfer operator associatedL to ϕ→and c. By positivity the dual operator ∗ ∗ ∗ c : C(X) C(X) restricts to an affine map on the cone of finite Borel measures. TheL following→ theorem was originally proved for one-sided shifts by Ruelle. Then it was generalized by a number authors to mixing expanding maps [Bow75], [Wal78], [Rue78], [FJ01]. We generalize it a bit further, to topologically transitive expanding maps: Theorem 2.4 (Ruelle’s Perron-Frobenius Theorem). Let ϕ : X X be an open expanding and topologically transitive map on a compact metric space→ X. Suppose that b C(X, R) is Hölder continuous. Put c := exp(b) and let ρ := r( c) be the spectral radius∈ of the associated Ruelle-Perron-Frobenius transfer operator L: C(X) C(X). Lc → SPECTRUM OF WEIGHTED ISOMETRIES 7

(i) There is a unique Borel probability measure ν on X such that ∗ν = ρν. Lc (ii) ρ is a strictly positive eigenvalue of c with a unique strictly positive eigenfunc- tion h C(X)+ satisfying ν(h)=1.L ∈ With h and ν as above, hν(a) := ν(ah), a C(X), is the Gibbs measure µϕ,b for ϕ and b. Moreover, we have P (ϕ, b) = ln r( ). ∈ Lc Proof. For brevity put := c and let (X) be the set of Borel probability measures. (i). Existence of ν L (XL) with ∗(νM)= cν for some c> 0 follows from the Schauder- Tychonoff fixed point∈M theorem, seeL [PU10, Theorem 5.2.8]. Suppose that µ, η (X) ∗ ∗ ∈M are such that (µ)= c1µ and (η)= c2η for some c1,c2 > 0. By [PU10, Propositions L P (ϕ,b)L 5.2.11, 5.1.14], c1 = c2 = e and the measures µ and η are equivalent to the Gibbs measure µϕ,b. We also have P (ϕ, b) = ln r( ) = ln ρ, which under present assumptions could be readily proved using the formula inL Theorem 2.3. We will show it without any assumption on b in Theorem 4.6 below. Hence ∗(µ)= ρµ, ∗(η)= ρη and there is an η- integrable function h such that µ = hη. For everyL a C(X)Lwe have (a)h = (a(h ϕ)) and therefore ∗(hη)=(h ϕ) ∗(η)= ρ(h ϕ)η. Using∈ this we getL L ◦ L ◦ L ◦ hη = µ = ρ−1 ∗(µ)= ρ−1 ∗(hη)=(h ϕ)η. L L ◦ This implies that h = (h ϕ) η-almost everywhere. But since η is equivalent to µϕ,b, which is ϕ-ergodic, cf. [PU10,◦ Corollary 5.2.13], it follows that h is constant η-almost everywhere. Thus η = µ. (ii). Existence of h C(X)+ with ν(h)=1 and (h) = ρh follows from [PU10, ∈ L Proposition 5.3.1]. Then hν = µϕ,b is the Gibbs measure by [PU10, Theorem 5.3.2]. Thus if g C(X)+ is another function with properties of h, then hν = gν, that is g = h, ν-almost∈ everywhere, which implies that g = h because g and h are continuous and supp ν = X. We explain how the above results can be applied in more general situations using a spectral decomposition. We say that a set U X is forward ϕ-invariant if ϕ(U) U and it is ϕ-invariant if ϕ−1(U)= U. A point x⊆ X is non-wandering if for every open⊆ neighborhood V of x we have V ϕn(V ) = for∈ some n N. The set of non-wandering points is denoted by Ω(ϕ). It is closed,∩ forward6 ∅ ϕ-invariant∈ and supp µ Ω(ϕ) for every µ Inv(X,ϕ). If ϕ is open expanding, then Ω(ϕ) is equal to the closure⊆ of the set of all periodic∈ points [PU10, Proposition 4.3.6]. By [PU10, Corollary 4.2.4], the following is a special case of [PU10, Theorem 4.3.8]: Theorem 2.5 (Spectral decomposition). Suppose that ϕ : X X is an open expanding N → map with Ω(ϕ) = X. Then X = j=1 Xj is a union of finitely many ϕ-invariant disjoint clopen sets Xj, j = 1, ..., N, such that for each j, the map ϕ Xj : Xj Xj is F | → k topologically transitive. Moreover, each Xj is the union of k(j) disjoint clopen sets Xj k(j) k k which are cyclically permuted by ϕ and such that ϕ k : X X is topologically |Xj j → j mixing, for all j and k. A n Example 2.6. Let = [A(i, j)]i,j=1 be a matrix of zeros and ones, with no zero rows. The topological Markov shift with states 1, .., n and the transition matrix A is the map { } σA : ΣA ΣA where → N ΣA := (ξ ,ξ , ...) 1, ..., n : A(ξ ,ξ )=1 , σA(ξ ,ξ ,ξ , ...) := (ξ ,ξ , ...). { 1 2 ∈{ } i i+1 } 1 2 3 2 3 Here ΣA is a metrizable compact space equipped with the product topology inherited N from 1, ..., n , and σA is an expanding local homeomorphism. The above data can also be viewed{ as} a directed graph with vertices 1, ..., n and edges (i, j): A(i, j)=1 . { } { } 8 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

Then ΣA is the space of inﬁnite paths in this graph. The number of paths from i to (n) An (n) n j of length n is A(i, j) where = [A(i, j) ]i,j=1 is the n-th power of the matrix A. We write i j if there is a path from i to j, that is A(i, j)(n) > 0 for some n. A state i is→ called essential if i j implies j i for every state j. We have → → Ω(σA) = (ξ ,ξ , ...) ΣA : ξ is essential for every i = 1, 2, ... . Hence Ω(σA) = ΣA if { 1 2 ∈ i } and only if all states are essential. Also σA is topologically transitive if and only if A is irreducible (i.e. for every i and j there is n such that A(i, j)(n) > 0) if and only if i j ↔ for all states i and j. The map σA is topologically mixing if and only if A is aperiodic, n that is there is n N such that all entries in A are non-zero. If Ω(σA) = ΣA, then i j is an equivalence∈ relation and thus 1, ..., n decomposes into disjoint equivalence classes.↔ After possible relabeling, these classes{ are} k +1, ..., k , j =1, ..., N, where { j j+1} A A A A kj+1 k1 =0

(6) L(a)(y)= a(y)dµx(y), a C(X). −1 ∈ Zϕ (x) SPECTRUM OF WEIGHTED ISOMETRIES 9

When ϕ : X X is a local homeomorphism, then every transfer operator for α is of the form → (7) L(a)(y)= ̺(x)a(x), a C(X) −1 ∈ x∈Xϕ (y) where ̺ : X [0, 1] is a continuous function such that −1 ̺(x)=1 for all y X. → x∈ϕ (y) ∈ We call a map ̺ with the above properties a cocycle for the map ϕ : X X. For details P → concerning the above discussion see, for instance, [Kwa122].

Example 2.10. Ruelle’s transfer operator f(y)= −1 c(x)f(x) associated to a Lc x∈ϕ (y) local homeomorphism ϕ : X X and c 0 in general fails to be unital. Nevertheless, → ≥ P −1 if c> 0, then c(1) > 0 is invertible and therefore L := ( c(1)) c is a (unital) transfer L ′ L−1 L operator with the cocycle ̺(x)= c(x)( x′∈ϕ−1(ϕ(x)) c(x )) > 0. We end this section by ‘an algebraicP characterization’ of transfer operators from Ex- ample 2.10. Let B A be a unital C∗-subalgebra of the C∗-algebra A, so that B contains the unit of A⊆. A conditional expectation from A onto B is a linear contractive projection E : A B A onto B. By Tomiyama’s theorem this is equivalent to saying that E : A B→ A⊆is a unit preserving completely positive linear map such that E(ba) = bE(→a) for⊆ all a A and b B. We have the following easy fact, see [Exe03 ], ∈ ∈ 1 [Kwa122]. Lemma 2.11. Let α : A A be a monomorphism. We have a one-to-one correspondence between conditional→ expectations E : A α(A) A and transfer operators L : A A for α. It is given by relations E = α L→and L(a⊆)= α−1(E(a)) for a A. → ◦ ∈ A conditional expectation E : A B A onto B is said to be of finite type if → ⊆ there is a quasi-basis for E, i.e. there exists a finite set u1, ..., uN A such that N { } ⊆ a = u E(u∗a), for all a A, see [Wat90]. i=1 i i ∈ DefinitionP 2.12 (cf. [Exe032] Definition 8.1). Let α : A A be a monomorphism. We say that α is of finite-type if there is a conditional expectation→ of finite type onto the range α(A) of α. Equivalently, in view of Lemma 2.11, α is of finite type if and only if there is a transfer operator L : A A and elements u , ..., u A such that → { 1 N } ⊆ N a = u α L(u∗a) , for all a A. i i ∈ i=1 X In this case we will also say that L is a transfer operator is of finite type. Proposition 2.13. Let α : C(X) C(X) be a unital monomorphism and let ϕ : X X the associated continuous surjective→ map. Then α is of finite-type if and only if ϕ→is a local homeomorphism. Moreover, a transfer operator L : C(X) C(X) for α is of finite type if and only if it is given by (7) where the cocycle ̺ : X →[0, 1] attains strictly positive values. Then the associated quasi-basis can be defined by→

vi(x) (8) ui(x)= , i =1, ..., n s ̺(x) n n where vi i=1 C(X) is a partition of unity subordinated to an open cover Ui i=1 of X, with{ ϕ}: U ⊆ ϕ(U ) is a homeomorphism for each i =1, ..., n. { } i → i Proof. Assume ϕ is a local homeomorphism. Putting ̺(x) := ϕ−1(x) −1 > 0 we get a continuous cocycle for ϕ. Moreover, for any continuous cocycle| ̺ : X| (0, 1], the → 10 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

n transfer operator given by (7) is of finite type. Indeed, for any a C(X) and ui i=1 given by (8) we have ∈ { } N N ∗ uiα L(ui a) (x)= ui(x) ui(y)̺(y)a(y) i=1 i=1 ϕ(y)=ϕ(x) h X i X X N N = u (x) 2̺(x)a(x)= v (x)a(x)= a(x). | i | i i=1 i=1 X X Hence α is of finite type, cf. [EV06, Proposition 8.2]. Now let L be any transfer operator for α which is of finite type. Fix a corresponding quasi-basis u N A. Then L is given by (6) and we have { n}n=1 ⊆ N

(9) a(x)= ui(x) ui(y)a(y)dµϕ(x)(y) for every a C(X) and x X. −1 ∈ ∈ i=1 ϕ (ϕ(x)) X Z This forces ϕ to be at most N-to-one map. Indeed, suppose on the contrary that there −1 are N +1 different points x1, ..., xN+1 ϕ (ϕ(x)) for a certain x X. Then putting N⊆+1,N ∈ cj,i := ui(xj) we get a matrix C = [cj,i]j=1,i=1. Its range is at most N-dimensional. Hence there is a vector y = [y ]N+1 such that for every vector λ = [λ ]N we have Cλ = y. j j=1 i i=1 6 This contradicts (9) by taking a C(X) such that a(x ) = y for all j = 1, ..., N +1, ∈ j j and putting λi := ϕ−1(ϕ(x)) ui(y)a(y)dµϕ(x)(y), for i =1, ..., N. We define ̺(x) := µ ( x ), x X. Since ϕ is at most N-to-one, (9) gives R ϕ(x) { } ∈ N a(x)= a(y)̺(y) u (x)u (y) for every a C(X) and x X. i i ∈ ∈ i=1 ϕ(xX)=ϕ(y) X Plugging into this equation a C(X) such that a(x)=1 and a(ϕ−1(ϕ(x)) x )=0 N 2 ∈ \{ } we get 1 = ̺(x) i=1 ui(x) , for every x X. This implies that ̺ is strictly positive | | ∈ −1 and continuous. In particular, supp µy = ϕ (y) for every y X, and therefore ϕ is an open map,P see, for instance, [Kwa17, Lemma 3.28]. Thus∈ it suffices to show that every point x X has an open neighborhood on which ϕ is injective. Note that X y L(1/̺)(y∈) = ϕ−1(y) is continuous. Hence there is a neighborhood V of ϕ(x∈) such7→ that each point| in V |has exactly M N elements in the pre-image. Let −1 ≤ N −1 ϕ (ϕ(x)) = x1, ..., xM and take disjoint open sets Ui i=1 such that xi Ui ϕ (V ), { ′} M ′ { }−1 ′ ∈ ⊆ i =1, ..., M. Putting V := i=1 ϕ(Ui) and Ui := Ui ϕ (V ), for i =1, ..., M, we find ′ ∩ ′ ′ that ϕ restricted to each Ui is injective. Indeed, for every x Ui , the M-element set −1 ′ T ′ ∈ ϕ (ϕ(x )) intersects each of disjoint sets Uj, j = 1, ..., M. Accordingly, x belongs to ′ some Ui , and hence ϕ is locally injective. Corollary 2.14. If L : C(X) C(X) is a transfer operator of finite type, then it is faithful, there is a unique endomorphism→ α : C(X) C(X) such that L is a transfer operator for α and the map ϕ : X X dual to α is→ a surjective local homeomorphism. → Proof. Combine Proposition 2.13 and Remark 2.9. 3. Abstract weighted shift operators 3.1. The axioms. We denote by (H) the C∗-algebra of all bounded operators on a Hilbert space H. Throughout thisB subsection we assume that A (H) is a unital commutative C∗-subalgebra and T (H) is an isometry. We will consider⊆ B the following conditions that A and T may satisfy:∈ B SPECTRUM OF WEIGHTED ISOMETRIES 11

(A1) T ∗AT A; (A2) there is⊆ a unital endomorphism α : A A such that T a = α(a)T , for all a A; → ∈ (A3) AT H = H, i.e. the closed linear span of elements of AT H is equal to H. Axioms (A1) and (A2) appear, for instance, in [LM98], [ABL11], and are sufficient for the study of the spectral radius r(aT ), a A. The third axiom (A3) will be crucial in the analysis of the C∗-algebra C∗(A, T ) and∈ spectra of the operators aT , a A. ∈ Proposition 3.1. (A1) and (A2) are satisfied if and only if the formula L(a) := T ∗aT defines a transfer operator L : A A for a unital endomorphism of A. If in addition condition (A3) holds, then L is faithful→ and the endomorphism in question is unique. Proof. Condition (A1) is equivalent to that the formula L(a) := T ∗aT , a A, gives a well defined map L : A A. Assume (A1). Then L : A A is positive∈ (because L(a∗a)=(aT )∗aT 0) and→ unit preserving (because T is an isometry).→ Condition (A2) implies that L(bα(a≥)) = T ∗bα(a)T = T ∗bT a = L(b)a, for all a, b A, and hence L is a transfer operator. Conversely, assume that L is a transfer operator∈ for an endomorphism α : A A. Then using the C∗-equality and the transfer identity (5), for every a A, one gets→ T a α(a)T 2 = (T a α(a)T )(T a α(a)T )∗ =0, which is (A2), cf. [Kwa17,∈ Propositionk 4.3].− k k − − k Now assume (A1), (A2), (A3). Let a A be such that L(a∗a)=0. Then aT 2 = T ∗a∗aT = L(a∗a) = 0, that is aT =∈ 0. Since A is commutative this impliesk k that fork everykb kA and hk H we have a(bT h) = b(aT )h = 0. By (A3) elements bT h are linearly dense∈ in H. Hence∈ a =0. This proves faithfulness of L. Uniqueness of α follows now from [Kwa17, Proposition 4.17]. Definition 3.2. Let A (H) be a unital C∗-subalgebra and let T (H) be an isometry satisfying (A1)⊆ and B (A2). We call operators of the form aT , a∈ BA, abstract weighted shift operators associated with the transfer operator L : A A where∈ L(a) := T ∗aT , a A. If in addition (A3) holds, we say that the weighted→ shift operators aT , a A, are∈ well presented. ∈ We will be mostly interested in the case when T is not invertible, as otherwise we land in a situation described in [AL94]: Proposition 3.3. Assume (A1) and (A2) where A is a commutative C∗-algebra. The following are equivalent: (i) T is a unitary; (ii) aT is invertible for some a A; (iii) α : A A is an automorphism∈ and (A3) holds; (iv) T is a→ unitary and T ∗AT = A, i.e. aT , a A, are abstract weighted shifts sense of [AL94, 3.1]. ∈ Accordingly, if T is not invertible, then all operators aT , a A, are not invertible. ∈ Proof. Implications (iii) (iv) (i) (ii) are obvious. If aT is invertible, for some a A, then it follows from Lemma⇐ ⇒ 6.3(iii)⇒ (which we will prove below) that a is invertible.∈ Hence also T is invertible and therefore (i) and (ii) are equivalent. (iii) (i). If α is an automorphism, then L is an automorphism, as a right inverse to α. Multiplicativity⇒ of L is equivalent to T T ∗ A′, see [KL13, Lemma 1.2]. Hence we get AT H = AT T ∗H = T T ∗AH, which by (A3)∈ implies that T is onto, and therefore a unitary. (i) (iv). If T is a unitary, then (A2) implies that α(a)= T aT ∗, for a A. Hence α and L⇒are mutually inverse authomorphisms of A. In particular, T ∗AT =∈A. 12 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

When L is of finite type, then condition (A3) can be expressed in terms of a single algebraic relation that was first discovered in [EV06]: Lemma 3.4. Assume (A1), (A2) and suppose that the associated transfer operator L : A A is of finite type. The following conditions are equivalent: → (i) condition (A3) holds; (ii) we have N u T T ∗u∗ =1 for every quasi-basis u N A for L; i=1 i i { i}i=1 ⊆ (iii) we have N u T T ∗u∗ =1 for some quasi-basis u N A for L. Pi=1 i i { i}i=1 ⊆ N Proof. (i) (ii). LetP ui be a quasi-basis for L. For any a A and h H we have ⇒ { }i=1 ∈ ∈ N N N ∗ ∗ ∗ ∗ uiT T ui aT h = uiT L(ui a)h = uiα(L(ui a))T h = aT h. i=1 ! i=1 i=1 X X X N ∗ ∗ Since elements aT h are linearly dense in H, this implies i=1 uiT T ui =1. N Implication (ii) (iii) is clear. To show (iii) (i), suppose that ui i=1 is a quasi-basis ⇒N ⇒ P { } N for L such that u T T ∗u∗ =1. Then for any h H we have h = u T T ∗u∗h i=1 i i ∈ i=1 i i ∈ AT H, that is AT H = H. P P In this paper we consider the situation where A ∼= C(X) is commutative, α is given by a continuous surjective map ϕ : X X, and L is given by a continuous family of measures µ with supp µ ϕ→−1(x) for all x X. Thus we associate to { x}x∈X x ⊆ ∈ abstract weighted shifts the triple (X, ϕ, µx x∈X ). In finite type case, ϕ is a local homeomorphism and µ is equivalent{ to} a continuous cocycle map ̺ : X [0, 1]. { x}x∈X → 3.2. Weighted shifts associated with topological dynamical systems. Suppose now that we have a Borel probability measure µ (X) on a compact Hausdorff ∈ M 2 space X and that µ has full support, that is supp µ = X. Then putting H := Lµ(X) the C∗-algebra of continuous functions C(X) is naturally isomorphic to the C∗-algebra A (H) of operators of multiplication: (ah)(x) = a(x)h(x), h L2 (X), a C(X). ⊆ B ∈ µ ∈ Therefore in the sequel we will write A = C(X). Let ϕ : X X be a continuous map that preserves µ. Then ϕ is necessarily surjective and the→ composition operator T : L2 (X) L2 (X): µ → µ (10) (T h)(x)= h(ϕ(x)), h L2 (X), ∈ µ is an isometry. We have a unital monomorphism α : A A, α(a) := a ϕ. Clearly, T → 2 ◦ and α satisfy axiom (A2). Note that TH = f ϕ : f Lµ(X) contains the constant { ◦ 2 ∈ } 2 functions. So AT H contains the subspace C(X) Lµ(X) which is dense in H = Lµ(X). Hence axiom (A3) holds. However, axiom (A1) may⊆ fail (see Example 3.7 below). More specifically, suppose that µx x∈X (X) is a disintegration of µ along the fibers of ϕ, { } −1 ⊆M i.e. each µx is supported on ϕ (x) and X h(y)dµ(y) = X ϕ−1(y) h(x)dµy(x) dµ(y) 1 for every h L1 (X). Then ∈ µ R R R ∗ 2 (11) T h(y)= h(x)dµy(x), h Lµ(X), −1 ∈ Zϕ (y) and (A1) holds if and only if µx x∈X is continuous in the sense that the map X x µ (X) is continuous. We{ have} a number of characterisations of this continuity:∋ 7→ x ∈M 1 It is well known that such an disintegration exists when X is second countable. In our set up its existence follows from axiom (A3) without any separability assumptions, see Proposition 3.5 SPECTRUM OF WEIGHTED ISOMETRIES 13

Proposition 3.5. Let ϕ : X X be a continuous map for which there exists µ → ∗ 2 ∈ Inv(X,ϕ) with supp µ = X. For the C -algebra C(X) ∼= A (Lµ(X)) and the isometry 2 ⊆ B T (Lµ(X)) as above, axioms (A2) and (A3) always hold. Moreover, the following statements∈ B are equivalent: (i) axiom (A1) holds; (ii) L∗(µ)= µ for some transfer operator L : C(X) C(X) for α(a)= a ϕ; → ◦ (iii) there is a continuous µx x∈X disintegration of µ along the fibers of ϕ; ∗ { } 2 (iv) the co-isometry T preserves the subspace C(X) Lµ(X); ∗ ⊆ 2 (v) the projection T T preserves the subspace C(X) Lµ(X). n ⊆ If in addition ϕ is a local homeomorphism, and Ui i=1 is an open cover of X such that ϕ : U ϕ(U ) is injective, for i =1, ..., n, then{ the} above conditions are equivalent to i → i d(µ◦ϕ|−1) (vi) there is a continuous function ̺ : X [0, 1] such that ̺(x) = Ui (ϕ(x)) → dµ for µ-almost all x U , and all i =1, ..., n. ∈ i If (vi) holds, then the formula µϕ(x)( x )= ̺(x) determines the continuous disintegration ∗ { } 2 µ , L is given by (7) and T h(y)= −1 ̺(x)h(x), h L (X). { x}x∈X x∈ϕ (y) ∈ µ Proof. (i) (ii). If (A1) holds, then L(a) :=PT ∗aT , a A, is a transfer operator for α, and ⇒ ∈∗ for any a C(X) we have X L(a)(y)dµ(y) = 1, T aT 1 = T 1, aT 1 = X a(y)dµ(y). Hence L∗(∈µ)= µ. h i h i (ii) (iii). The transferR operator L : C(X) C(X) is of the formR (6) where X ⇒x µ (X) is continuous. The relation→ L∗(µ) = µ means that we have ∋ 7→ x ∈ M a(x)dµ (x) dµ(y)= a(y)dµ(y) for all a C(X). Since C(X) is dense in X ϕ−1(y) y X ∈ 1 L (X), µx x∈X is a disintegration of µ along the fibers of ϕ. R µ R { } R (iii) (iv). This immediately follows from (11) and continuity of µx x∈X . ⇒ 2 { } (iv) (v). This is clear because T preserves C(X) Lµ(X). (v) ⇒(i). The restriction T : C(X) C(X) coincides⊆ with the endomorphism α : C(X)⇒ C(X). If the projection T T ∗→preserves C(X) it is a conditional expectation onto the→ range of α. Hence T T ∗ : C(X) C(X) is a α(C(X))-bimodule map, and for any a C(X) there is b C(X) with T T→∗a = α(b). Thus for any h C(X) L2 (X), ∈ ∈ ∈ ⊆ µ treating a as an element of A, and using (A2) we get T T ∗aT h = α(b)T h = T bh. Since 2 ∗ ∗ C(X) is dense in Lµ(X), this shows that T T AT T A. Since T T = 1, this gives T ∗AT A. ⊆ Thus⊆ conditions (i)-(v) are equivalent. If ϕ is a local homeomorphism, then (v) (vi) by [PU10, Proposition 4.2.1]. The remaining part is straightforward or discussed earlier.⇔ Remark 3.6. If ̺ in Proposition 3.5(vi) exists and is strictly positive, then for every −1 open U X on which ϕ is injective we have µ(ϕ(U)) = U ̺(x) dµ(x). Hence 1/̺ is a strong Jacobian⊆ of ϕ with respect to µ, see [PU10, Definition 1.9.4]. R Example 3.7. Let X = [0, 1) (mod 1) and ϕ(x)=2x (mod 1). For any p0,p1 > 0 with p0 + p1 = 1 define ̺ = p01[0,1/2) + p11[1/2,1). Then ̺ > 0 is a cocycle for ϕ but ̺ is 1 continuous if only if p0 = p1 = 2 . Let λ be the Lebesgue measure (length) on [0, 1) and put µ := ̺λ, that is µ(U) := U ̺dλ for all Borel U X. Then µ Inv(X,ϕ), supp µ = X, and the adjoint of the isometry (T h)(x) = h(⊆ϕ(x)) is given by∈ T ∗h(y) = 2 R −1 ̺(x)h(x), h L (X). The corresponding disintegration µ of µ is given x∈ϕ (y) ∈ µ { x}x∈X by µx = p0δ 1 + p1δ 1 , x X. The equivalent conditions in Proposition 3.5 hold if 2 x 2 (x+1) P 1 ∈ and only if p0 = p1 = 2 . 14 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

We may reverse the above problem and ask whether for a given dynamical system (X,ϕ) and a transfer operator L : C(X) C(X) there exists a ϕ-invariant measure such that supp µ = X and L is implemented→ by the isometry (10). Since supp µ Ω(ϕ), then we necessarily have Ω(ϕ)= X. Using methods of the thermodynamical formalism⊆ we give the following positive answer when ϕ is expanding: Proposition 3.8. Let L : C(X) C(X) be a transfer operator of finite type on such that the corresponding local homeomorphism→ ϕ : X X is expanding and Ω(ϕ) = X. Then there exists µ Inv(X,ϕ) with supp µ = X such→ that idntyifying C(X) with the algebra A (L2 (X∈)) of multiplication operators we have ⊆ B µ L(a)= T aT ∗, A = C(X), 2 where T (Lµ(X)) is the operator of composition with ϕ. That is, aT , a A, are well presented∈ weighted B shifts associated with the transfer operator L. If in addition∈ ϕ : X X is topologically transitive and the logarythm of the associated cocycle ̺ : X (0,→1] is Hölder continuous, then the measure µ above is unique and it is the Gibbs measure→ µϕ,ln ̺. Proof. Since L(1) = 1, the dual operator L∗ : C(X)∗ C(X)∗ preserves (X) C(X)∗ which is a compact convex set in weak -topology.→ By the Schauder-TychonoffM ⊆ fixed point theorem, there is µ (X) such∗ that L∗(µ) = µ. This measure is ϕ- invariant as µ(f ϕ)= µ(L(f ϕ∈)) =Mµ(f) for f C(X). In view of Proposition 3.5, it is left to show that◦ supp µ = X◦. ∈ Let us first consider the case when ϕ : X X is topologically transitive. Assume on the contrary that there is non-empty open →U with µ(U)=0. Since the corresponding cocycle ̺ : X (0, 1] is strictly positive this implies that µ(ϕ(U)) = 0 by Remark 3.6. By induction→ we get that ϕn(U)=0 for all n > 0. However, as ϕk for some k is N n topologicaly mixing, we get X = n=0 ϕ (U) for some N. This leads to a contradiction: 1= µ(X) N µ(ϕn(U))=0. Thus µ is the desired measure by Proposition 3.5. If in ≤ n=0 S addition ln ̺ is Hölder continuous, then by Theorem 2.4, the Gibbs measure µ = µϕ,ln ̺ is the uniqueP probability measure for which L∗(µ)= µ. For general ϕ : X X we may use the spectral decomposition X = N X described → j=1 j in Theorem 2.5. We get the desired measure by putting µ := 1 N µ where µ is the N j=1 Fj j measure constructed in the first step for the topologically transitive map ϕ Xj and the transfer operator given by cocycle ̺ . P | |Xj Example 3.9. Let (ΣA, σA) be the topological Markov shift such that all states 1, ..., n { } are essential, see Example 2.6. Then Ω(σA) = ΣA. By Proposition 3.8 for every cocycle ̺ : ΣA (0, 1] for σA there is µ Inv(ΣA, σA) such that −1 ̺(x)a(x)dµ(y)= → ∈ ΣA x∈σA (y) a(y)dµ(y) for all a C(ΣA). To say more about the relationship between ̺ and µ, ΣA ∈ R P recall that elements of Inv(ΣA, σA) with full support are in a one-to-one correspondence R k Z with collections of nonnegative numbers pξ1,ξ2,...ξk : (ξ1,ξ2, ...ξk) 1, ..., n ,k n { ∈ { } ∈ } such that i=1 pi =1, n n P pξ1,ξ2,...ξk+1 = pξ1,ξ2,...ξk,i = pi,ξ2,ξ3,...ξk+1 , i=1 i=1 X X and pξ1,ξ2,...ξk > 0 if and only if (ξ1,ξ2, ...ξk) is a path in the directed graph given A by . This correspondence is given by the equality pξ1,ξ2,...ξk = µ(Cξ1,ξ2,...ξk ) where C ΣA is the cylinder set of sequences that start with ξ ,ξ , ..., ξ . Suppose ξ1,ξ2,...ξk ⊆ 1 2 k that ̺ : ΣA (0, 1] depends only on a finite number of coordinates, i.e. there is N → SPECTRUM OF WEIGHTED ISOMETRIES 15

such that ̺(ξ1,ξ2, ...) = ̺(ξ1,ξ2, ..., ξN ). Every such function is Hölder continuous and pξ1,ξ2,...,ξN+k ̺ is induced by a measure µ if and only if ̺(ξ1,ξ2, ..., ξN ) = for all paths pξ2,...,ξN+k (ξ1,ξ2, ...ξN+k). If A is irreducible, this measure is unique and it is the Gibbs measure A n 1 µσA,ln ̺. For instance, if is irreducible and N = 2, then ̺ = i,j=1 pi,j Cij where n P = [pi,j]i,j=1 is a left stochastic matrix. By the classical Perron-Frobenius theorem n P there exists a unique probability distribution p = [pi]i=1 such that Pp = p. In this case, the Gibbs measure is the Markov distribution with the transition matrix P and the initial distribution p: µσA,ln ̺(Cξ1,...,ξk ) = pξ1ξ2 pξ2ξ3 ... pξk−1ξk pξk . Alternatively, · · · · pi,j pj we could consider the right stochastic matrix Q = [q ]n where q := . Then i,j i,j=1 i,j pi µ (C )= p q q ... q . σA,ln ̺ ξ1,...,ξk ξ1 · ξ1ξ2 · ξ2ξ3 · · ξk−1ξk 3.3. Weighted shifts associated with measure dynamical systems. Let us now consider a situation where (Ω, Σ,µ) is a σ-finite measure space and Φ : Ω Ω is a measurable map, with the measurable range Φ(Ω). We are interested in weighted→ operators of the form (12) (T h)(ω) := ρ(ω)h(Φ(ω)), h L2 (Ω), ∈ µ where ρ : Ω C is a Σ-measurable function. Recall that Φ is µ-almost surjective if and only if µ(Ω →Φ(Ω)) = 0 and then the measure µ Φ : Φ−1(Σ) [0, ] is defined. We write µ Φ \ µ if µ Φ is absolutely continuous with◦ respect to→µ restricted∞ to Φ−1(Σ). If µ(Φ−1◦(U))< for◦ every U Σ with µ(U) < , we say that Φ is µ-proper. If is a σ-subalgebra of ∞Σ, the conditional∈ expectation of ∞ρ with respect to is an -measurableF C F F function E(ρ ) : Ω such that U ρdµ = U E(ρ )dµ for all U . If it exists then E(ρ ) |Fis unique,→ up to equality µ-almost everywhere.|F ∈ F |F R R Lemma 3.10. Formula (12) defines an isometry on L2 (Ω) if and only if ρ 2 dµ = µ Φ−1(U) | | µ(U) for every U Σ. So if this is the case, then Φ is µ-almost surjective, µ Φ µ R and ρ 2 can be considered∈ a generalized Radon-Nikodym derivative of µ Φ with◦ respect to µ.| | ◦ More specifically, if Φ is µ-almost surjective, µ Φ µ and dµ◦Φ exists, which ◦ dµ is always the case when Φ is µ-proper, then (12) defines an isometry if and only if E( ρ 2 Φ−1(Σ)) = dµ◦Φ , so in particular, one can always put ρ := dµ◦Φ . | | | dµ dµ Proof. Plainly, T is a well defined isometry if and only if for everyq U Σ we have µ(U)= T 1 2 = ρ 2(1 Φ) dµ = ρ 2 dµ. If this holds, then µ∈(Ω Φ(Ω)) = k U k | | U ◦ Φ−1(U) | | \ ρ 2 dµ =0, that is Φ is µ-almost surjective. Moreover, since ρ 2 dµ = µ(U)= ∅ | | R R Φ−1(U) | | (µ Φ)(Φ−1(U)), we see that µ Φ µ on Φ−1(Σ). Thus if dµ◦Φ exists then ρ 2 = dµ◦Φ R dµ R dµ ◦ ◦ 2 −1 dµ◦Φ | | µ −1 -almost everywhere, and hence E( ρ Φ (Σ)) = . When Φ is µ-proper, |Φ (Σ) | | | dµ then µ Φ is σ-finite and therefore dµ◦Φ exists. ◦ dµ Remark 3.11. We recall, cf. e.g. [Rid73], that the formula (13) (T h)(ω)= h(Φ(ω)), h L2 (Ω), Φ ∈ µ 2 2 −1 defines the bounded operator TΦ : Lµ(Ω) Lµ(Ω) if and only if µ Φ µ and the d(µ◦Φ−1) → ◦ d(µ◦Φ−1) 1/2 Radon-Nikodym derivative is essentially bounded. Then TΦ = ∞ . dµ k k k dµ kLµ (Ω) ∗ ∞ We identify the C -algebra A := Lµ (Ω) of essentially bounded functions with the 2 algebra of operators of multiplication on Lµ(Ω): (ah)(ω)= a(ω)h(ω), a A = L∞(Ω), h L2 (Ω). ∈ µ ∈ µ 16 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

Thus if (13) defines a bounded operator, then all weighted composition operators aTΦ, a A, are bounded. The formula α(a) = a Φ, a A, gives a well defined map α :∈L∞(Ω) L∞(Ω) if and only if µ Φ−1 µ,◦ and then∈ α is a unital endomorphism. µ → µ ◦ 2 Proposition 3.12. Assume that (12) defines an isometry T (Lµ(Ω)), cf. Lemma 3.10. Assume also that α(a) = a Φ defines an endomorphism∈ of B A := L∞(Ω), that is ◦ µ µ Φ−1 µ. Then axioms (A1), (A2) are satisfied, so aT , a A, are abstract weighted shift◦ operators. Moreover, ∈ (i) (A3) holds if and only if ρ =0 µ-almost everywhere. 6 (ii) Every weighted composition operator aTΦ, a A, is an abstract weighted composition operator bT , b A, if and only if ess∈ inf ρ > 0. ∈ | | Proof. It is immediate that T a = α(a)T , for all a A, which is axiom (A2). Now using (A2) for all a, b A we have ∈ ∈ T ∗aT b = T ∗aα(b)T = T ∗α(b)aT = bT ∗aT.

∗ ′ ∞ ′ ∞ Thus T aT A = (Lµ (Ω)) = Lµ (Ω) = A (here we use the well known fact that ∞ ∈ 2 Lµ (Ω) is a maximal abelian subalgebra of (Lµ(Ω))). Hence (A1) holds. One readily 2 B 2 sees that for a A we have (aT )(Lµ(Ω)) = Lµ( ω Ω: a(ω)ρ(ω) = 0 ). Hence 2 2 ∈ { ∈ 6 } AT Lµ(Ω) = Lµ(Ω) if and only if ρ =0 µ-almost everywhere. This proves (i). Note that −1 6 ∞ ess inf ρ > 0 if and only if ρ exists and belongs to Lµ (Ω). Thus if this holds, then | | −1 for every a A, we have b := aρ A and aTΦ = bT . Conversely, if TΦ = aT for some ∈ ∈ −1 ∞ a A, then aρ =1 µ-almost everywhere. That is, ρ = a A = Lµ (Ω) and therefore ess∈ inf ρ > 0. This proves (ii). ∈ | | Corollary 3.13. Suppose that Φ is µ-almost surjective, µ-proper, µ Φ µ and µ Φ−1 dµ◦Φ ∞ ◦ ◦ µ. Then T := dµ TΦ is an isometry, (Lµ (Ω), T ) satisfies (A1), (A2) and (i) (A3) holdsq if and only if µ is forward quasi-invariant with respect to Φ, in the dµ◦Φ sense that dµ > 0 µ-almost everywhere. (ii) Every weighted composition operator aTΦ, a A, is an abstract weighted composition operator bT , b A, if and only if µ∈is forward quasi-invariant in the strong sense that ( dµ◦Φ )−∈1 L∞(Ω). dµ ∈ µ dµ◦Φ Proof. Apply Proposition 3.12 to ρ := dµ , which is allowed by Lemma 3.10. q Now we specialize to the case where Ω = V is a countable set and µ is the counting measure. So the initial data is just a map Φ: V V . Then µ-surjectivity is just surjectivity, and if dµ◦Φ exists then Φ is finite-to-one→ and dµ◦Φ (v)= Φ−1(v) , for v V . dµ dµ | | ∈ Thus we get the following: Corollary 3.14. Let Φ: V V and ρ : V C be two maps where V is a set. The formula (T h)(v) := ρ(v)h→(Φ(v)) defines an→ isometry on H := ℓ2(V ) if and only if 2 Φ: V V is a surjective map and −1 ρ(w) =1 for every v V. Assume T is → w∈Φ (v) | | ∈ an isometry and let A = ℓ∞(V ) be the algebra of operators of mutiplication on H. Then ∼ P axioms (A1), (A2) are satisfied and hence operators of the form aT , a A, are abstract weighted shift operators. Axiom (A3) holds if and only if ρ> 0. ∈ Remark 3.15. Corollary 3.14 covers a large class of bounded weighted shifts on directed trees introduced and analyzed in [JJS12]. SPECTRUM OF WEIGHTED ISOMETRIES 17

4. Spectral radius In this section we discuss variational formulas for the spectral radii of abstract weighted shift operators. The main new result is Theorem 4.6. The basic fact is that our investi- gations can be reduced to the study of spectral radius of weighted transfer operators: Lemma 4.1. Let A (H) be a unital commutative C∗-subalgebra and let T (H) be an isometry. Assume⊆ (A1), B i.e. T ∗AT A. The spectral radius of the bounded∈ operatorB aT : H H, a A, is equal to the square⊆ root of the spectral radius of the operator → ∈ L a 2 : A A where L a 2(b) := T ∗ a 2bT , b A. That, is r(aT ) = r(L a 2), for a | |A. → | | | | ∈ | | ∈ p 2 n 2 n Proof. Let n N. Since (L a ) : A A is a positive map, (L a ) B(A) = 2 n ∈ | | → k ∗| | k (L a ) (1) A, see for instance [Kwa17, Lemma 2.1]. Thus by the C -equality and kthe| definition| k of L a 2, we get (aT )n 2 = (aT )∗n(aT )n = (L a 2)n(1) = (L a 2)n . | | k k k k k | | k k | | k Hence r(aT ) = lim (aT )n 1/n = lim (L a 2)n 1/2n = r((L a 2)n). n→∞ k k n→∞ k | | k | | The spectral radius of a general weighted transfer operator wasp described in [ABL11] using the following notion of t-entropy (here we recall a definition simplified in [BL17]). Definition 4.2 ([ABL11], [BL17]). Let L : C(X) C(X) be a (unital) transfer operator for an endomorphism whose dual map is ϕ : →X X. The t-entropy of L is the → functional τL : Inv(X,ϕ) R whose value at µ Inv(X,ϕ) is defined by the formula: → ∪ {−∞} ∈ 1 µ(Lng) (14) τL(µ) := inf inf µ(g) ln n∈N n D∈D(X) µ(g) g∈D X where D(X) is the set of all continuous partitions of unity. If we have µ(g)=0 for a certain function g D, then we set the corresponding summand in (14) to be zero. If there exists g D(∈X) such that Lng 0 and µ(g) > 0, then we set τ (µ)= . ∈ ≡ L −∞ If L : C(X) C(X) is a transfer operator and b C(X)+ is a positive function, then → ∈ by [ABL11, Theorem 11.2] we have ln r(Lb) = maxµ∈Inv(X,ϕ) X ln b dµ + τL(µ) where τ (µ) is the t-entropy for L. In particular, ln r(L) = max |τ |(µ). L µ∈Inv(R X,ϕ) L Theorem 4.3 (Antonevich-Bakthin-Lebedev). Let aT , a A, be an abstract weighted ∈ shift associated with a transfer operator L (i.e. assume (A1) and (A2)) where A ∼= C(X). Then τ (µ) ln r(aT ) = max ln a dµ + L , µ∈Inv(X,ϕ) | | 2 ZX where ϕ : X X is the dual map to the endomorphism in (A2) and τL is the t-entropy for L (we adapt→ the convention that ln 0 = ). −∞ Proof. Combine Lemma 4.1 and [ABL11, Theorem 11.2]. Or apply [ABL11, Theorem 13.6]. Remark 4.4. If ϕ : X X is a homeomorphism, then we are in the situation of → Theorem 1.2, see Proposition 3.3. Hence τL(µ)=0 for every µ Inv(X,ϕ), by [ABL11, Proposition 8.3]. Thus the above formula agrees with (2). ∈

When ϕ is an expanding open map, then the t-entropy τL(µ) of L is closely related to the Kolmogorov-Sinai entropy hϕ(µ). This issue was not pursued in [ABL11], [BL17]. We will now clarify this relationship and extend the last part of Theorem 2.4 to arbitrary expanding open maps ϕ and arbitrary continuous weights c 0. ≥ 18 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

4.1. General Ruelle’s formula for expanding local homeomorphisms. Let us ﬁx a local homeomorphism ϕ : X X on a compact metric space and a continuous function → c : X [0, ). Let c : C(X) C(X) be the Ruelle-Perron-Frobenius transfer operator given→ by∞ (4). By TheoremL 2.4,→ if c is strictly positive and Hölder continuous, and ϕ is expanding and topologically transitive, then ln r( c) = supµ∈Inv(X,ϕ) X ln cdµ + hϕ(µ) . In we now show that this formula holds for arbitraryL continuous c and arbitrary expanding open ϕ. The proof is independent of Theorem 2.4. R n n N Using the equalities c = c (1) , n , and the Gelfand formula for spectral radius, in general we havekL k kL k ∈ n−1 1 i (15) ln r( c) = lim max ln c(ϕ (x)). L n→∞ y∈X n −n i=0 x∈Xϕ (y) Y The following lemma is a part of [LM98, Theorem 12], which is stated without a proof and therefore we give a short argument. Lemma 4.5. If ϕ : X X is a local homeomorphism and c : X (0, ) is strictly positive, then → → ∞

(16) ln r( ) P (ϕ, ln c) = sup ln cdµ + h (µ) . Lc ≤ ϕ µ∈Inv(X,ϕ) ZX Proof. In view of formulas (3) and (15) it suﬃces to show that there exists ε > 0 such −n that for each n N and x X the set ϕ (x) is ε-separated in n-Bowen’s metric dn. The latter holds for∈ every local∈ homeomorphism. Indeed, the set ∆ := x : ϕ−1(x) = 1 { | | } is clopen in X. The function d : X ∆ (0, ) given by d(x) = min d(y1,y2): −1 \ → ∞ { y1,y2 ϕ (x),y1 = y2 > 0 is continuous on the compact set X ∆. Thus ε := 1 ∈ 6 } \ 2 min minx∈X\∆ d(x),d(X ∆, ∆) > 0 is non-zero. It is straightforward to check that this is the desired number. \ In general, if ϕ is not expanding, inequality (16) might be sharp. Indeed, if ϕ is a homeomorphism and c 1, then ln r( c)=0 and P (ϕ, 0) = h(ϕ) may be an arbitrary non-negative number, cf.≡ [Wal82, SectionL 7.3]. Theorem 4.6. Suppose that ϕ : X X is an expanding open map on a metrizable compact space X. For any continuous→c : X [0, ) we have → ∞

ln r( c) = max ln cdµ + hϕ(µ) = max ln cdµ + hϕ(µ) , L µ∈Inv(X,ϕ) µ∈Erg(X,ϕ) ZX ZX where h (µ) is the Kolmogorov-Sinai entropy (h (µ) < for all µ Inv(X,ϕ)). ϕ ϕ ∞ ∈ Proof. Since ϕ is expanding the entropy map Inv(X,ϕ) µ h (µ) [0, ) is upper ∋ → ϕ ∈ ∞ semi-continuous, see [PU10, Theorem 3.5.6]. The map Inv(X,ϕ) µ X ln cdµ is always upper semi-continuous, cf. the proof of [Rue89, Lemma 1.4].∋ → Therefore the R supremum supµ∈Inv(X,ϕ) X ln cdµ + hϕ(µ) is in fact a maximum. In addition, using the ergodic decomposition we have R

max ln cdµ + hϕ(µ) = max ln cdµ + hϕ(µ) , µ∈Inv(X,ϕ) µ∈Erg(X,ϕ) ZX ZX cf. [PU10, Corollary 2.4.3] or [Wal82, 9.10.1]. Our proof of the assertion goes by a consecutive relaxing of assumptions. First we assume that c > 0 is strictly positive. Then, in view of Lemma 4.5, we need to show that P (ϕ, ln c) ln r( ). ≤ Lc SPECTRUM OF WEIGHTED ISOMETRIES 19

1) Assume first that ϕ : X X is topologically transitive. By Theorem 2.5, X = k → j=1 Xj is a union of k disjoint clopen sets Xj which are cyclically permuted by ϕ and such that ϕk : X X is topologically mixing. Hence by [FJ01, Proposition 2] for every F j → j j =1, ..., k and every ε> 0 there is p (ε) N such that ϕkpj(ε)(B(x, ε) X )) = X for j ∈ ∩ j j every x X . Thus there is p(ε) max p (ε) such that ϕp(ε)(B(x, ε) X )) = X ∈ j ≥ j=1,...k j ∩ j j for every x Xj and j =1, ..., k. By [FJ01, Proposition 1.5] for sufficiently small ε> 0 n ∈ n we have ϕ (Bn(x, ε)) = B(ϕ (x),ε) for all n N and x X (here Bn(x, ε) is a ball in Bowen’s n-metric). Accordingly, for all x X∈, i =1, ...,∈ k, and n N we get ∈ i ∈ ϕn+p(ε)(B (x, ε)) = ϕp(ε)(B(ϕn(x),ε)) X if ϕn(x) X . n ⊇ i ∈ i This implies that for any elements y X , i = 1, ..., k, the set ϕ−(n+p(ε))( y , ..., y ) i ∈ i { 1 k} is (dn,ε)-spanning. Now recall, cf. [Wal82, 9.3], that apart from (3) the topological pressure is also given by 1 n−1 P (ϕ, ln c) = lim lim sup inf ln c(ϕi(x)). ε→0 n→∞ E⊆X is n (dn,ε)-spanning y∈E i=0 X Y For any finite set E X and any function b : X [0, ) we have ⊆ → ∞ b(x) b(x)= b(x) ϕn(E) sup b(x), ≤ ≤| | y∈X x∈E −n n n −n −n X x∈ϕ X(ϕ (E)) y∈Xϕ (E) x∈Xϕ (y) x∈Xϕ (y) n−1 i which by taking b(x)= i=0 c(ϕ (x)) gives n−1 n−1 1 Qi 1 i n 1 ln c(ϕ (x)) max ln c(ϕ (x)) + ln ϕ (E) n . n ≤ y∈X n | | x∈E i=0 −1 i=0 X Y x∈Xϕ (y) Y Thus, in view of (15) and the above formula for P (ϕ, ln c), it suffices to show that for sufficiently small ε> 0 we have

n 1 lim sup inf ln ϕ (E) n =0. n→∞ E⊆X is | | (dn,ε)-spanning

−(n+p(ε)) But taking E := ϕ ( y1, ..., yk ) to be the (dn,ε)-spanning set constructed above we get { }

n 1 n −(n+p(ε)) 1 −p(ε) 1 ln ϕ (E) n = ln ϕ (ϕ ( y , ..., y )) n = ln ϕ ( y , ..., y ) n , | | | { 1 k} | | { 1 k} | which tends to zero, as n . 2) Now suppose that the→∞ set of periodic points is dense in X (equivalently Ω(ϕ)= X). N −1 By the spectral decomposition (Theorem 2.5) we have X = j=1 Xj where Xj = ϕ (Xj) are compact and the maps ϕ Xj : Xj Xj are topologically transitive (and expanding N | → N F open). Clearly, c = c| and Erg(X,ϕ)= Erg(Xj,ϕ X ). Hence by step 1) L j=1 L Xj j=1 | j we get L F RX ln c dµ+hϕ(µ) ln c dµ+h (µ) r( ) = max r( ) = max e j = max eRX ϕ , c c|Xj L j=1,...,N L µ∈Erg(Xj ,ϕ) µ∈Erg(X,ϕ) j=1,...,N which gives the assertion in this case. 3) Let ϕ : X X be an arbitrary expanding open map. The restriction of ϕ → to Ω(ϕ) = Per(ϕ) is also expanding and it remains open by [PU10, Lemma 3.3.10]. Hence we may consider the transfer operator : C(Ω(ϕ)) C(Ω(ϕ)) associated to Lc|Ω(ϕ) → 20 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

n n ϕ : Ω(ϕ) Ω(ϕ). Since (1) (1) , we have r( c| ) r( c). Thus using → kLc|Ω(ϕ) k≤kLc k L Ω(ϕ) ≤ L step 2) and that every µ Inv(X,ϕ) is supported on Ω(ϕ) we get ∈ ln c dµ+h (µ) RX ln c dµ+hϕ(µ) RΩ(ϕ) ϕ max e = max e = r( c| ϕ ) r( c), µ∈Inv(X,ϕ) µ∈Inv(Ω(ϕ),ϕ) L Ω( ) ≤ L which is the inequality we wanted to prove. Now let us consider the case when c is arbitrary (may have zeros). Choose strictly positive continuous functions c > 0 such that c c. Then r( ) ∞ is a decreasing n n ց { Lcn }n=1 sequence with values not greater than r( c). Hence by the upper semi-continuity of spectral radius we get r( ) r( ). AlsoL putting P := max ln cdµ + h (µ) Lcn ց Lc µ∈Inv(X,ϕ) X ϕ we have max ln c dµ + h (µ) P . Indeed, the sets A := µ : ln c dµ+ µ∈Inv(X,ϕ) X n ϕ ց nR { X n hϕ(µ) P are non-empty and descending. They are compact, as the maps Inv(X,ϕ) ≥ } R ∞ R ∋ µ X ln cn dµ + hϕ(µ) are upper semi-continuous. Hence n=1 An = and for any 7→ ∞ 6 ∅ µ A we have P = ln cdµ + h(µ ). Thus using step 3) we get 0 ∈ R n=1 n X 0 0 T RX ln cn dµ+hϕ(µ) RX ln c dµ+hϕ(µ) rT( c) = lim r( ln cn ) =R lim max e = max e . L n→∞ L n→∞ µ∈Inv(X,ϕ) µ∈Inv(X,ϕ) Corollary 4.7. Suppose that ϕ : X X is an expanding open map on a metrizable compact space X and let c : X [0, →) be a continuous map such that c > 0 and → ∞ |Ω(ϕ) ln c is Hölder continuous. Let Ω(ϕ) = N X be the spectral decomposition for |Ω(ϕ) j=1 j (Ω(ϕ),ϕ). Then for each pair of restrictions ϕ and ln c there is the unique Gibbs F|Xj |Xj measure µj and we have

n−1 1 i ln r( c) = max ln cdµj + h(µj) = max lim ln c(ϕ (x)) L j=1,...,N j=1,...,N n→∞ n Xj −n i=0 Z x∈ϕX(yj ) Y where yj Xj are arbitrary points for j =1, ..., N. In particular, if ϕ : Ω(ϕ) Ω(ϕ) is topologically∈ transitive, then there is a unique measure µ Inv(X,ϕ), the Gibbs→ measure for ϕ and ln c , for which we have ∈ |Ω(ϕ) |Ω(ϕ) n−1 1 i ln r( c)= ln cdµ + hϕ(µ) = lim ln c(ϕ (x)) for all y Ω(ϕ). L n→∞ n ∈ X −n i=0 Z x∈Xϕ (y) Y

Proof. By (the proof of) Theorem 4.6 we have ln r( c) = maxj=1,...,N P (ϕ Xj , ln c Xj ). Combining this with Theorem 2.3 we get the assertion.L | | Corollary 4.8. Let aT , a A, be abstract weighted shifts associated with a transfer ∈ operator L (i.e. assume (A1) and (A2)) where A ∼= C(X) is separable. Suppose also that the map ϕ : X X dual to the endomorphism in (A2) is expanding and open. Then → h (µ) ln r(aT ) = max ln a√̺ dµ + ϕ , a A, µ∈Erg(X,ϕ) | | 2 ∈ ZX where ̺ is the cocycle associated to L, cf. (7). If in addition a 2̺ > 0 and its | | |Ω(ϕ) logarithm is Hölder continuous then for each system (X ,ϕ ) where Ω(ϕ) = N X j |Xj j=1 j is the spectral decomposition for (Ω(ϕ),ϕ), there is the Gibbs measure µ and then j F hϕ(µj) ln r(aT ) = max ln a√̺ dµj + . j=1,...,N | | 2 ZX SPECTRUM OF WEIGHTED ISOMETRIES 21

In particular, if ϕ : Ω(ϕ) Ω(ϕ) is also topologically transitive, then the Gibbs measure µ for ϕ with potential→ln( a 2̺) is the unique measure in Inv(X,ϕ) for which |Ω(ϕ) | | |Ω(ϕ) ln r(aT )= ln a√̺ dµ + hϕ(µ) . X | | 2 2 1/2 1/2 Proof. By LemmaR 4.1, r(aT ) = r(L a ) = r( |a|2̺) . Hence by Theorem 4.6, | | L hϕ(µ) ln r(aT )=1/2 ln r( |a|2̺) = maxµ∈Erg(X,ϕ) maxµ∈Erg(X,ϕ) X ln a√̺ dµ + 2 . To get the second part of theL assertion apply Corollary 4.7. | | R The variational formula in Corollary 4.8 could be also deduced from Theorem 4.3, as we have the following relationship between the t-entropy and the Kolmogorov-Sinai entropy. Corollary 4.9. Let L : C(X) C(X) be a transfer operator for a unital injective endomorphism whose dual map →ϕ : X X is expanding and open. Then for each µ Inv(X,ϕ) the t-entropy τ (µ) of L is→ given by ∈ L

τL(µ)= ln ̺dµ + hϕ(µ), ZX where ̺ is the cocycle associated to L and hϕ(µ) is the Kolmogorov-Sinai entropy of µ. In particular, for every µ Inv(X,ϕ) we have ∈ b b hϕ(µ) = inf ln r(Le ) ln(e ̺) dµ, b∈C(X,R) − ZX where Leb : C(X) C(X) is the weighted transfer operator Leb(a) := L(eba), a C(X). → ∈ Proof. By [ABL11, Proposition 2.2] the functional λ : C(X, R) b ln r(Leb) = ∋ 7→ ∗ ln r( b ln ̺) R is convex and continuous. Hence its Legendre transform λ : L ∗ ∈ ∪ {−∞} ∗ C(X, R) R + , given by λ(µ ) = sup R µ(b) λ(b), is a unique convex → ∪{ ∞} b∈C(X, ) − and lower semicontinuous functional on C(X)∗ such that λ(b) = sup µ(b) λ∗(b), b C(X, R), µ∈C(X)∗ − ∈ cf. [ABL11, Proposition 3.1]. The authors of [ABL11] call S := λ∗ the dual entropy map for L. By [ABL11, Proposition 4.2] the eﬀective domain− of λ∗ is contained in Inv(X,ϕ). Hence λ∗ is determined by its values on Inv(X,ϕ). The map Inv(X,ϕ) µ ln ̺dµ + h (µ) is upper semicontinuous and aﬃne, cf. [Wal82, Theorem 8.1].∋ → X ϕ By Theorem 4.6 we have λ(b) = max ∗ µ(b)+ ln ̺dµ + h (µ). Hence S(µ) = R µ∈C(X) X ϕ λ∗(µ)= ln ̺dµ + h (µ). On the other hand, we have τ = λ∗ by [ABL11, X ϕ R L Inv(X,ϕ) −Theorem 5.6]. This gives the assertion. − | R 5. C∗-algebras generated by abstract weighted shift operators In this section we discuss conditions under which the C∗-algebra C∗(A, T )= C∗( aT : a A ) generated by the abstract weighted shift operators aT , a A, is modeled{ by a crossed∈ } product A ⋊ L, which is a special example of a Cuntz-Pimsner∈ algebra. This allows us to employ some recent results from the general theory of C∗-algebras associated to C∗-correspondences. In this way we get natural dynamical criteria for rotational invariance of the spectrum σ(aT ), a A, and for the coincidence of σ(aT ) with the ∈ ∗ essential spectrum σess(aT ) (Corollary 5.9). We will also explain when A C (A, T ) is a Cartan C∗-subalgebra (Theorem 5.10), which will be crucial in our stu⊆dy of Riesz projectors and description of spectra. The basic algebraic structure inferred from axioms (A1), (A2) is the following: 22 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

Lemma 5.1. Suppose A (H) is a unital C∗-algebra and T (H) is an isometry satisfying (A1) and (A2).⊆B So that we have an endomorphism∈α B: A A and the associated transfer operator L : A A satisfying L(a)= T ∗aT , a A. For→ n,m,k,l N and a,b,c,d A we have → ∈ ∈ 0 ∈ n ∗m−k+l l k n ∗m k ∗l aT T α (L (bc))d m k, (17) (aT T b) (cT T d)= n m k−m+n ∗l ≥ · (aα (L (bc))T T d m < k. In particular, span aT nT ∗mb : a, b A, n, m N is a dense -subalgebra of C∗(A, T ). Moreover, span aT{nT ∗nb : a, b A,∈ n N is∈ a }-subalgebra of∗ C∗(A, T ) and hence its closure { ∈ ∈ } ∗ B := span aT nT ∗nb : a, b A, n N { ∈ ∈ } is a C∗-subalgebra of C∗(A, T )= span aT nT ∗mb : a, b A, n, m N . { ∈ ∈ } Proof. Relation (17) readily follows from the transfer identity (5) and the commutation relation (A2). By the definition span aT nT ∗mb : a, b A, n, m N and span aT nT ∗nb : a, b A, n N are linear spaces which{ are invariant∈ under involution.∈ } By{ (17) these spaces∈ are also∈ } closed under multiplication. This implies the assertion. Definition 5.2. We call the C∗-algebra B defined above the core subalgebra of C∗(A, T ). 5.1. The crossed product and Cuntz-Pimsner picture of C∗(A, T ). In this subsection we fix a (unital) transfer operator L : A A on a unital commutative C∗-algebra A. We recall the construction of the crossed product→ A ⋊ L of A by L from [Kwa17]. We will assume that the transfer operator L : A A is faithful. By Proposition 3.1, in the present paper, we are interested only in this case.→ Then there is a unique endomorphism α : A A for which L is a transfer operator. Also then A⋊L coincides with the crossed → product originally introduced by Exel in [Exe031], see [Kwa17, Proposition 4.9]. The Toeplitz algebra of (A, L) is the universal C∗-algebra (A, L) := C∗(A, t) generated by the C∗-algebra A and an element t subject to relationsT L(a)= t∗at, a A. ∈ Then t∗t = L(1) = 1, so t is an isometry, and we have ta = α(a)t, for a A, by [Kwa17, ∈ Proposition 4.3]. We define a redundancy to be a pair (a, k) where a A and k Att∗A are such that ∈ ∈ abt = kbt, for all b A. ∈ Let be the ideal in (A, L) generated by the set a k :(a, k) is a redundancy . R T { − } Definition 5.3. The crossed product of A by the faithful transfer operator L is the quotient C∗-algebra A ⋊ L := (A, L)/ . Since A = 0 we identify A with its image in A ⋊ L. The image of Tt in A ⋊ RL is denoted∩ by R s. Hence{ } A ⋊ L = C∗(A, s) is generated by A and the isometry s. Lemma 5.4. Suppose that aT (H), a A (H), are well presented abstract weighted shifts associated with a∈ transfer B operator∈ ⊆L B : A A. Then there is a - epimorphism → ∗ Ψ: A ⋊ L C∗(A, T ) where Ψ = id and Ψ(s)= T . → |A Proof. Universality of (A, L) gives a -epimorphism Ψ: (A, L) C∗(A, T ) where T ∗ T → Ψ = id and Ψ(t) = T . Axiom (A3) implies that ker Ψ. Indeed, if (a, k) is a |A R ⊆ redundancy, then for all b A and h H we have eabT h = Ψ(abt)h = Ψ(kbt)h = ∈ ∈ Ψ(e k)bT h, whiche by (A3) means that a = Ψ(k), that is Ψ(a ek)=0. Thus Ψ factors through to the desired epimorphism Ψ. − e e e e e e SPECTRUM OF WEIGHTED ISOMETRIES 23

⋊ To study faithfulness of Ψ we use the isomorphism A L = ML of the crossed ∗ ∼ O product with the Cuntz-Pimsner algebra of a C -correspondence ML deﬁned as follows, see [BR06], [Kwa17]. We make A into an inner product (right) A-module by putting ∗ m a := mα(a) and m, n L := L(m n), for all n, m, a A. The inner product is non-degenerate· becauseh wei assumed that L is faithful.∈ Completing A in the norm n L = n, n L we get a Hilbert A-module ML. For each a A we have an k k kh i k ∈ ∗ adjointable operator φ(a) (ML) where φ(a)m := am, m A ML. Thus ML is a C - correspondencep over A with∈L an injective and nondegenerate∈ left⊆ action φ : A (M ). →L L Theorem 5.5. Suppose L : A A is a faithful transfer operator. The crossed product ⋊ → A L is canonically isomorphic to the Cuntz-Pimsner algebra ML . If aT (H), a A (H), are well presented abstract weighted shifts thatO generate the∈ transfer B operator∈ ⊆L B: A A, then the -epimorphism Ψ: A ⋊ L C∗(A, T ) in Lemma 5.4 restricts to an isomorphism→ of core∗ subalgebras → span asns∗nb : a, b A, n N = span aT nT ∗nb : a, b A, n N { ∈ ∈ } ∼ { ∈ ∈ } and the following conditions are equivalent: ⋊ ∗ (i) Ψ is an isomorphism: A L ∼= C (A, T ); (ii) C∗(A, T ) is equipped with a circle gauge-action, i.e. there is a group homomor- ∗ phism γ : T Aut(C (A, T )) such that γz A = id and γz(T )= zT for z T; (iii) There is a conditional→ expectation E : C∗(|A, T ) B C∗(A, T ) that annihi-∈ lates all the operators of the form T mT ∗n with n =→m. Equivalently,⊆ for all ﬁnite 6 nk ∗mk F N and nk, mk N, ak, bk A for k F we have akT T bk ⊆ ∈ ∈ ∈ k∈F,nk=mk ≤

a T nk T ∗mk b . P k∈F k k Moreover, there is always a faithful representation Ψ: A ⋊ L B(H) such that putting P T := Ψ( s) and identifying A with Ψ(A) the axioms (A1), (A2),→ (A3) hold; that is the operators aT , are well presented abstract weighted shifts associated with L : A A. → Proof. The isomorphism A ⋊ L = is a known fact, see [Kwa17, Theorem 4.7] ∼ OML or [BR06, Proposition 3.10]. Under this isomorphism we may identify ML with the ⋊ closure of As in A L. The core subalgebra of ML which is generated by elements n ∗n N O n ∗n N in ML ML , n , coincides with the core subalgebra span as s b : a, b A, n of A ⋊ L = C∗∈(A, s). Every representation of A ⋊ {L which is faithful∈ on∈A is} ML ∼= faithful on the core subalgebra, see, for instance,O [Kat04, Proposition 6.3]. This gives the isomorphism of Ψ on the core subalgebra. Faithfulness of a representation on the whole algebra A⋊L is known to be equivalent to existence of the canonical circle action ML ∼= or the canonicalO condition expectation onto the core subalgebra, cf. [Kat04, Theorem 6.4] or [CKO19, Lemma 6.2]. This translates to equivalence of conditions (i)-(iii). ∗ The left action on the C -correspondence ML is given by a unital monomorphism. Hence this action is injective and nondegenerate. Thus the main result of [H05] gives a faithful representation Ψ: (H) such that Ψ(M )H = H. Identifying with OML → B L OML A⋊L, A with Ψ(A), and putting T := Ψ(s) the relation Ψ(ML)H = H translates to (A3). Axioms (A1) and (A2) hold because they hold in A ⋊ L (and in fact in (A, L)). T Corollary 5.6. If the equivalent conditions in Theorem 5.5 hold, then for every a A, σ(aT ) is invariant under rotations around zero. ∈ Proof. Using the action γ : T Aut(C∗(A, T )) we get for every λ C and z T that γ (aT λ1) = azT λ1= z(aT→ zλ1). Hence λ σ(aT ) if and only∈ if zλ σ(∈aT ). z − − − ∈ ∈ 24 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

In the second part of Theorem 5.5 we applied the main result of [H05] on representations of Cuntz-Pimsner algebras. Applying the main result of [CKO19] we get that the equivalent conditions in Theorem 5.5 hold automatically when ϕ is topologically free: Definition 5.7. We say that a continuous map ϕ : X X is topologically free if the set of periodic points x X : ϕn(x)= x for some n> 0→ has empty interior in X. { ∈ } Theorem 5.8. Suppose that aT (H), a A (H), are well presented abstract weighted shifts. Assume that the associated∈ B dual∈ map⊆ Bϕ : X X is topologically free. → ⋊ ∗ Then the -epimorphism in Lemma 5.4 is always an isomorphism A L ∼= C (A, T ). In fact, every∗ representation of A ⋊ L which is injective on A is faithful. Proof. As explained in [CKO19, Example 9.14] topological freeness of ϕ implies topo- ∗ logical freeness of the C -correspondence ML (in the sense of [CKO19, Definition 7.1]). Hence the result follows from [CKO19, Theorem 1.1]. Corollary 5.9. Retain the assumptions of Theorem 5.8. Then σ(aT ), a A, is invariant under rotations around zero. If in addition A contains no non-zero∈ compact operators, which is automatic when X has no isolated points, then σess(aT )= σ(aT ). Proof. The first part is a consequence of Theorem 5.8 and Corollary 5.6. For the second part it suffices to show that whenever A (H)= 0 then C∗(A, T ) embeds into the Calkin algebra (H)/ (H) via the quotient∩K map q :{ (}H) (H)/ (H). This follows from Theorem 5.8.B If 0K= a A (H), then a(X)=Bσ(a) →has B a non-zeroK isolated point 6 ∈ ∩K −1 z0 which is an eigenvalue for a with finite multiplicity. This implies that a (z0) X consists of isolated points. ⊆ 5.2. The crossed product and its groupoid picture in the finite type case. We briefly discuss the case when L : C(X) C(X) is a transfer operator of finite type. Then the crossed product C(X)⋊L has a groupoid→ model which has been extensively studied, and the result of previous subsection can be recovered from this groupoid picture, cf. [EV06]. Topological freeness has an important characterisation that will be crucial in our study of Riesz projectors. Recall that, by Proposition 2.13, see also Corollary 2.14, the associated map ϕ : X X is a surjective local homeomorphism, and L is given by a continuous cocycle ̺ : →X (0, 1] with strictly positive values. Let v n C(X) be the partition of unity → { i}i=1 ⊆ subordinated to the open cover U n of X, where ϕ is injective. Put u (x)= vi(x) { i}i=1 |Ui i ̺(x) for i =1, ..., n. Then the crossed product A⋊L can be defined as the universal C∗-algebraq generated by a copy of the C∗-algebra A = C(X) and an isometry s subject to relations n s∗as = L(a), for all a A, and u ss∗u =1. ∈ i i i=1 X This is how Exel’s crossed product is described in [EV06], modulo [EV06, Corollary 7.2]. If aT (H), a A (H), are well presented abstract weighted shifts associated with L∈: BC(X) ∈C(X)⊆, then B the above universal description of A ⋊ L and Lemma 3.4 give a canonical→ epimorphism A ⋊ L C∗(A, T ). In particular, Theorems 5.5 and 5.8 can be deduced from [EV06, Theorems7→ 4.2 and 10.3] in this case. There is a standard groupoid associated to the local homeomorphism ϕ : X X. It is often called the Renault-DeaconuG groupoid, as for topological Bernoulli shifts it→ was studied by Renault [Ren80, page 140], and in general it was popularized by Deaconu [Dea95]. Such groupoids were also considered by Arzumanian and Vershik [AV84] and SPECTRUM OF WEIGHTED ISOMETRIES 25

a number of other authors. We put := (x, n, y) X ⋊ Z ⋊ X : k,l∈N n = k l and ϕk(x)= ϕl(y) and equip it withG algebraic{ operations∈ given by (x, n,∃ y)(y, m, z) :=− (x, n + m, z), (x, n,} y)−1 := (y, n, x). We identify X with the space of units of , via the map x (x, 0, x), and− then the range and source maps are r(x, n, y) = Gx, s(x, n, y)= y. The7→ topology on has a basis consisting of sets of the form Z(U,k,l,V ) := (x, k l,y): x U, y V andG ϕk(x) = ϕl(y) where k,l N, and U, V X are { − ∈ k ∈ l } ∈ ⊆ open sets such that ϕ U and ϕ V are homeomorphisms with open ranges. This makes a locally compact étale| Hausdorff| groupoid. Recall that the C∗-algebra C∗( ) of G ∗ G is defined as the maximal C -completion of the -algebra Cc( ) of continuous and Gcompactly supported functions on G with the standard∗ convolutionG multiplication and ∗ −1 -operation: (fg)(γ) = f(γ1)g(γ2) and f (γ) = f(γ ) for γ,γ1,γ2 and ∗ γ1γ2=γ ∈ G f,g C ( ). One can show that we have ∈ c G P C∗( ) = C(X) ⋊ L G ∼ where the isomorphism is identity on C(X) Cc( ) and maps the function v Cc( ) 1 ⊆ G ∈ G given by v(x, 1,ϕ(x)) = ̺(ϕ(x)) 2 and v(x, n, y) = 0 for n = 1, to the isometry s C(X) ⋊ L, cf. [Ana97, 1.3.4] and [EV06, Theorem 9.1].6 Also it is well known that∈ C∗( ) coincides with the reduced C∗-algebra associated to , and thus we have a faithful conditionalG expectation from C(X)⋊L onto C(X), see [Ren00].G Using the above isomorphism we characterise when C(X) is a maximal abelian subalgebra of C(X) ⋊ L, and hence a Cartan subalgebra in the sense of [Ren80]. This slightly extends a part of the main result of [CS09] proved by different methods.

Theorem 5.10. Let L : C(X) C(X) be a transfer operator of finite type. Then C(X) is a maximal abelian subalgebra→ of C(X) ⋊ L if and only if the associated dual map ϕ : X X is topologically free. → Proof. Our notion of topological freeness of ϕ is equivalent to the one used in [EV06], [CS09] (and to essential principality of ϕ in [Dea95]). The latter is known, and easily seen, to be equivalent to effectiveness (as well as to topological freeness and topological principality) of the associated groupoid , see [Dea95] or [KM1, Lemma 2.21 and Corollary 2.24]. The inclusion C(X) C∗( G) is a Cartan subalgebra if and only if ⊆ G G is effective by [KM2, Corollary 7.6] (which generalizes [Ren08, Theorem 4.2] to non- separable case).

6. When Riesz projectors correspond to invariant sets Let A (H) be a unital commutative C∗-subalgebra of (H). Assume the identiﬁ- ⊆ B B cation A = C(X). For every open set U X we denote by 1U (H) the orthogonal projection that supports the ideal C (U)⊆ C(X). That is, 1 ∈is B the strong limit of a 0 ⊆ U an approximate unit in C0(U): 1U = s- lim µλ where µλ λ C0(U) are functions such that 0 µ 1. One of the aims of this section is to{ prove} ∈ the following: ≤ λ ≤ Proposition 6.1. Suppose that aT , a A ∼= C(X), are well presented abstract weighted shifts, and that the dual map ϕ : X ∈ X is topologically free, or more generally that C∗(A, T ) is canonically isomorphic to→A ⋊ L for the associated transfer operator L : 1 A A. Assume that a A = C(X) is invertible or more generally X\a−1(0) =1. Then every→ Riesz projector corresponding∈ to a clopen part of σ(aT ) belongs to A = C(X) and P = 1 C(X) where X X is a clopen set with ϕ−1(X )= X . X0 ∈ 0 ⊆ 0 0 26 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

When T is unitary the above assertion holds for every (not necessarily invertible) a A, see [AL94, Theorem 7.2]. But when T is not invertible this assertion fails ∈ 1 without the assumption X\a−1(0) =1: Example 6.2. Let V = v : n Z w : n N be a set indexed by Z { n ∈ }⊔{ −n ∈ } ⊔ wn+1 n< 1 N. Let Φ: V V be given by Φ(vn) = vn+1 and Φ(wn) = − . The → (v0 n = 1 ∞ − weighted composition operators (aTΦh)(v) := a(v)h(Φ(v)), a ℓ (V ), acting on H = ℓ2(V ) are bounded (these are weighted shifts on a directed∈ tree [JJS12]). They are also well presented (abstract) weighted shifts aT , a A := ℓ∞(V ), where (T h)(v) := ∈ Φ−1(v) h(Φ(v)), cf. Corollary 3.14. The associated dual map is topologically free, cf. Lemma| 7.9| below. Taking a A such that a(v ) := 2 for n Z, a(w )=1/2 for n> 1 p ∈ n ∈ −n and a(w−1)=0, we ﬁnd that 1 aT =2UZ TN Φ ⊕ 2 where UZ and TN are the classical two-sided shift and one-sided shift, respectively. Hence C 1 1 σ(aTΦ) = z : z 2 or z = 2 does not intersect S . The corresponding Riesz projector P{ is∈ the operator| | ≤ of| multiplication| } by 1 . Hence P A. But the set {w−n:n>1} ∈ w−n : n > 1 is not Φ-invariant and therefore the corresponding set U X is not {invariant under} the map ϕ induced on the spectrum of A. ⊆ Retain the assumptions of Proposition 6.1. In view of Corollary 5.6, σ(aT ) is invariant under rotations around zero. Therefore every Riesz projector is of the form P or P P 1 2 − 1 where P1, P2 are Riesz projectors corresponding to parts of σ(aT ) lying in disks centered at zero. Thus the analysis in this section boils down to considering the case when aT is hyperbolic, i.e. σ(aT ) S1 = , and P is the Riesz projector corresponding to the part of σ(aT ) lying inside the∩ disk∅ z C : z < 1 . For any hyperbolic operator{b ∈ (H|) |the formula} ∈ B 1 P := (λ b)−1dλ (H), 2πi 1 − ∈ B ZS deﬁnes a Riesz projector, cf. [RS90]. The spaces H1 = PH and H2 = ker P are complementary, but might not be orthogonal. They are preserved by b and σ(b H1 ) C C N | ⊆ z : z < 1 and σ(b H2 ) z : z > 1 . Hence there is n0 and ε> 0 such that{ ∈ | | } | ⊆{ ∈ | | } ∈ (18) bnh < (1 ε)n h for all h H , n>n , k 1k − k 1k 1 ∈ 1 0 (19) bnh > (1 + ε)n h for all h H , n>n . k 2k k 2k 2 ∈ 2 0 Every h H has a unique decomposition h = h1 + h2 where hi Hi, i = 1, 2. Since n ∈ n n n ∈ b h = b (h1 + h2) > b h2 b h1 , we see that (18), (19) imply that either k k kn k k k−kn k limn→∞ b h = or limn→∞ b h = 0 depending on whether h2 = 0 or h2 = 0. Accordingly,k k ∞ k k 6 (20) PH = h H : lim bnh =0 . { ∈ n→∞ } Lemma 6.3. Assume conditions (A1), (A2) and that a A = C(X) is such that 1 1 −1 ∈ ∼ σ(aT ) S = . Let P = 2πi S1 (λ aT ) dλ and put H1 = PH and H2 = ker P = (1 P∩)H. Then∅ − − R (i) P A′, i.e. P commutes with elements of A = C(X); (ii) a ∈T commutes with P ; | | SPECTRUM OF WEIGHTED ISOMETRIES 27

(iii) a : H H is invertible; |H2 2 → 2 (iv) TH1 H1 and 1X\a−1(0) TH2 H2. In particular, P commutes with 1X\a−1(0) T . ⊆ 1 ⊆ Hence if X\a−1(0) =1, then T commutes with P . Proof. (i). By (20), H = h H : lim (aT )nh =0 . For any b A and h H 1 { ∈ n→∞ } ∈ ∈ 1 (aT )nbh = αn(b)(aT )nh 6 b (aT )nh 0. k k k k k kk kn −→→∞

Thus bH1 H1 for all b A. Assume that b A is invertible. For any h H2 we ⊆ ∈ ∈ −1 −1∈ have bh = h1 + h2 where hi Hi, i = 1, 2. Thus h = b h1 + h2. Since b h1 H1 and h h H , we must have∈ h =0. Hence bH H for all invertible b A.∈ This − 2 ∈ 2 1 2 ⊆ 2 ∈ implies that bH2 H2 for all b A, as every element in A is a sum of four invertible elements. This proves⊆ that P A∈′. (ii). Using the Tietze theorem∈ we may find functions a C(X), k = 1, 2, ..., such k ∈ that: a (x) 6 1 and a (x) = |a(x)| when a(x) > 1 . Then lim a a = a . Since P | k | k a(x) | | k k→∞ k | | commutes with aT and a C(X) we get k ∈ ( a T )P = lim akaT P = P lim akaT = P ( a T ). | | k→∞ k→∞ | | (iii). Using that aT : H H is surjective and a commutes with (1 P ) we get 2 → 2 − H = aT H = aT (1 P )H = (1 P )aT H = a(1 P )TH aH . 2 2 − − − ⊆ 2 Hence a : H2 H2 is surjective. To see it is injective, it suffices to show that a : H2 → ∗ 2 | | → H2 is injective, because a a = a . Suppose that h H2 is such that a h =0. By the Urysohn lemma we may find functions| | ϕ C(X), k∈=2, 3, ..., such that| | k ∈ 0, when a(x) 6 1 , 0 6 ϕ 6 1, ϕ (x)= | | k k k 1, when a(x) > 1 . ( | | k−1 1 1 6 1 Let us put a k(x) := a(x) , when a(x) > k , and a k(x) := k , when a(x) k . Then a | C| (X) are| invertible| elements| | in C(X) such| | that a ϕ = a| ϕ .| Thus | |k ∈ | |k k | | k a k(ϕkh) = ϕk( a h)=0. This implies that ϕkh = 0, for all k = 2, 3, ... . Since the |restriction| of aT| to| H is invertible there is h H such that aT h = h. From the 2 2 ∈ 2 2 construction of ϕk we have limk→∞ ϕka = a. Accordingly, we get

h = aT h2 = lim ϕkaT h2 = lim ϕkh =0. k→∞ k→∞ (iv). Let h H and let T h = h + h , where h H , i = 1, 2. Then (aT )h = ∈ 1 1 2 i ∈ i ah1 + ah2 H1 and hence ah2 =0. By (iii), a is invertible on H2 and thus h2 =0. This proves that⊆TH H . 1 ⊆ 1 To prove that 1X\a−1(0)TH2 H2, we need to show that uTH2 H2 for any u −1 ⊆ ⊆ ∈ C0(X a (0)) C(X). However, for every ε > 0 the open set x X : u(x) < ε contains\ the compact⊆ set a−1(0) = x X : a(x) < 1 and{ hence∈ it contains| | all} n∈N{ ∈ | | k } the sets x X : a(x) < 1 for sufficiently large k. Thus if ϕ are as in the proof { ∈ | | k } T k of item (iii), then ϕku u < ε for sufficiently large k. That is, ϕku converges to u. Therefore the proofk reduces− k to showing that ϕ TH H for sufficiently large k. k 2 ⊆ 2 However, as in item (ii) we may find functions ak C(X), for k = 1, 2, ..., such that > 1 ∈ ak(x)=1/a(x) when a(x) k . Then akaϕk = ϕk and thus ϕkTH2 = akaϕkTH2 = a ϕ aT H H . | | k k 2 ⊆ 2 Combining Lemma 6.3(i) and Theorem 5.10 we prove a version of Proposition 6.1 in the finite type case that works for arbitrary a A but gives only forward invariant sets: ∈ 28 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

Proposition 6.4. Suppose that aT , a A ∼= C(X), are well presented abstract weighted shifts. Assume the associated transfer∈ operator is of finite type and the dual map ϕ : X X is topologically free. Every Riesz projector P associated to σ(aT ), a A, belongs to A→and hence corresponds to a clopen subset of X. Moreover, if the corresponding∈ part 1 of σ(aT ) does not contain zero, then P = X0 C(X) where X0 X is such that ϕ(X )= X , ϕ : X X is a homeomorphism and∈ a does not vanish⊆ on X . 0 0 0 → 0 0 Proof. Let a A. By Lemma 6.3(i) and Theorem 5.10 every Riesz projector P that corresponds to∈ a part of σ(aT ) lying in a disk centered at origin belongs to A. Therefore 1 1 1 P = X1 and (1 P ) = X2 where X = X1 X2. Putting H2 = X2 H, we get 1 1 − ⊔ 1 that aT X2 = a X2 T is invertible as an element of (H2). By Lemma 6.3(iii), a X2 is 1 B ∗1 invertible in (H2) as well. Hence X2 T is invertible in (H2) and therefore T X2 T = 1 B B L( X2 ) is invertible as an element of C(X2) A = C(X1) C(X2). This means that L(1 )(y) =0 if and only if y X , which implies⊆ that ϕ(X⊕)= X . We claim that the X2 6 ∈ 2 2 2 local homeomorphism ϕ : X2 X2 is in fact a homeomorphism. Indeed, the function −1 → h(y) := ̺(y) ϕ (y) X2 , y X2, is continuous and strictly positive, so it is an invertible | ∩ | ∈ −11 1 element in C(X2). A direct computation shows that L(h X2 ) = X2 . The operator ˜ −1/21 ˜∗ ˜ ∗ −11 T := h X2 T is an invertible isometry in (H2), because T T = T h X2 T = −11 1 B L(h X2 )= X2 . Let α˜ : C(X2) C(X2) be the endomorphism given by composition with ϕ : X X . It may be→ identified with 1 α : C(X ) C(X ). Hence for 2 → 2 X2 2 → 2 every b C(X ), using (A2) for (A, T ), we get (A2) for (C(X ), T˜). Accordingly, bT˜, ∈ 2 2 b C(X ), are abstract weighted shifts with the unitary T˜. So ϕ : X X is a ∈ 2 2 → 2 homeomorphism by Proposition 3.3. In particular, T˜ := ̺−1/21 T and σ(aT ) = X2 |H2 σ(a√̺T˜). Therefore further decomposition of σ(aT H ) using Riesz projectors gives a | 2 decomposition of X2 into clopen ϕ-invariant subsets by Theorem 1.2. This implies the assertion (as by Corollary 5.6, σ(aT ) has the circular symmetry). Finally, Proposition 6.1 follows from Lemma 6.3(iv) and the following lemma: Lemma 6.5. Assume that (A1)-(A3) hold and that C∗(A, T ) is canonically isomorphic to A ⋊ L. Let a A. Every Riesz projector P associated to aT belongs to the core subalgebra B = span∈ bT nT ∗nc : b, c A, n N . If in addition T commutes with P , then P A and P ={1 C(X) where∈ ϕ−1∈(X })= X . ∈ X0 ∈ 0 0 Proof. It suffices to consider the case where σ(aT ) S1 = and P = 1 (λ aT )−1dλ. ∩ ∅ 2πi S1 − We exploit the action γ : T Aut(C∗(A, T )) given by Theorem 5.5. For any z S1, changing variables in the integral,→ we get R ∈ −1 1 −1 1 −1 λ γz(P )= (λ zaT ) dλ = z aT dλ = P. 2πi 1 − 2πi 1 z − ZS ZS Hence P belongs to the fixed point algebra of γ, which is B. Accordingly, for every ε> 0 n k ∗k we have P k=0 akT T bk <ε for some ak, bk A, k =1, ..., n. If we assume that T commutesk − with P , then T ∗Pk T = T ∗TP = P and∈ therefore P n n k−1 ∗k−1 ∗ k ∗k P L(a0b0) L(ak)T T L(bk) = T P akT T bk T < ε. k − − k k − ! k Xk=1 Xk=1 n−1 ′ k ∗k ′ ′ ′ Hence P k=0 akT T bk < ε for some ak, bk A, k = 1, ..., n 1. Proceeding in k − k ∈ − 1 this way, we find b A such that P b <ε. Thus P A. Therefore P = X1 C(X) where X XPis clopen.∈ Put X k= X− kX . As T commutes∈ with P we have L(P∈)= P , 1 ⊆ 2 \ 1 and this implies that ϕ(X1) X1. Since L(1 P )=1 P we also get ϕ(X2) X2. −1 −⊆1 − − ⊆ Hence ϕ (X1)= X1 and ϕ (X2)= X2. SPECTRUM OF WEIGHTED ISOMETRIES 29

7. The spectrum Combining previous results we prove two theorems that describe the spectrum of abstract weighted shift operators aT , a A. The ﬁrst one holds when a is (close to being) invertible and describes σ(aT ) in terms∈ of a decomposition of (X,ϕ) into closed ϕ- invariant sets. The second one holds for arbitrary a but we need to assume that transfer operator is of ﬁnite type, and then the relationship between decomposition of σ(aT ) and (X,ϕ) is slightly more subtle. We end this section with applications to weighted 2 composition operators on Lµ(Ω).

Theorem 7.1 (Invertible weight case). Suppose that aT (H), a A ∼= C(X), are well presented abstract weighted shifts, i.e. T is an isometry∈ B and axioms∈ (A1)-(A3) are satisﬁed. Assume that the corresponding map ϕ : X X is topologically free. Assume → also that a A is invertible or more generally that 1 −1 =1. Then ∈ X\a (0) σ(aT )= z C : z r z C : r z r { ∈ | | ≤ 0} ∪ { ∈ − ≤| | ≤ +} r∈R [ where r0

r− = min exp ln a dµ, r+ = max exp ln a dµ, µ∈Erg(Xr,ϕ) | | µ∈Erg(Xr ,ϕ) | | ZXr ZXr τL(µ) for r R, and r0 = maxµ∈Inv(X ,ϕ) exp ln a dµ + , where τL is the t-entropy ∈ 0 X0 | | 2 −1 for the associated transfer operator L. Moreover, a (0) X0 and for every r R, R ⊆ ∈ ϕ : Xr Xr is a homeomorphism. In particular, if X does not contain a non-empty clopen ϕ→-invariant set on which ϕ is a homeomorphism and a is non-zero, then τ (µ) σ(aT )= z C : z max exp ln a dµ + L . ∈ | | ≤ µ∈Inv(X,ϕ) | | 2 ZX Proof. That σ(aT ) is invariant under rotations over zero follows from Corollary 5.9. Hence σ(aT ) consists of a disk z C : z r0 and possibly a number of annuli C { ∈ | | ≤ } r∈R z : r− z r+ . We may assume that the disk is non-empty, because otherwise{ ∈ we ﬁnd≤ ourselves | | ≤ in} the situation of Theorem 1.2, see Proposition 3.3. For simplicityS suppose ﬁrst that σ(aT ) has exactly two components, so that σ(aT ) = z { ∈ C : z r0 z C : r− z r+ where 0 r

− + σ(aT ) such that r r− and r r+. Let P − + be the Riesz projector corresponding | | n ր n ց rn ,rn to the part of spectrum of aT lying in z C : r− < z < r+ . As above, using { ∈ n | | n } − + 1 Proposition 6.1, we see that Pr ,r = X − + C(X) for a certain non-empty clopen ϕ- n n rn ,rn ∈ − + − + − + invariant set Xr ,r such that ϕ : Xr ,r Xr ,r is a homeomorphism and a X − + =0. n n n n → n n | rn ,rn 6 We put

− + Xr := Xrn ,rn . N n\∈ This is a non-empty closed and ϕ-invariant set, which does not depend on the choice − ∞ + ∞ of the sequences rn n=1, rn n=1. Moreover, ϕ : Xr Xr is a homeomorphism. { } { } ∞ → Similarly, we deﬁne X0 = n∈N X0,rn where rn n=1 is a sequence lying outside σ(aT ) 1 { } | | such that rn r0 and X0,rn C(X) is the Riesz projector corresponding to the part of σ(aT ) lying inց z C : z T

− − + + rn < exp ln a(x) dµn r− r+ exp ln a(x) dµn

Theorem 7.2 (Finite type case). Suppose that aT (H), a A ∼= C(X), are well presented abstract weighted shifts such that the associate∈ Bd transfer∈ operator is of ﬁnite type, so that L(a)(y) = x∈ϕ−1(y) ̺(x)a(x), where ̺ > 0. Assume the corresponding map ϕ : X X is topologically free. For every a A we have → P ∈ σ(aT )= z C : z r z C : r z r { ∈ | | ≤ 0} ∪ { ∈ − ≤| | ≤ +} r∈R [ where r0 < r− r+ for r R and Riesz projectors induce a decomposition X = X X into≤ disjoint closed∈ sets where for each r R, ϕ : X X is a 0 ∪ r∈R r ∈ |Xr r → r homeomorphism, a does not vanish on Xr and S

r− = min exp ln( a √̺) dµ, r+ = max exp ln( a √̺) dµ. µ∈Erg(Xr,ϕ) | | µ∈Erg(Xr,ϕ) | | ZXr ZXr SPECTRUM OF WEIGHTED ISOMETRIES 31

In particular, if X does not contain a non-empty clopen forward ϕ-invariant set on which ϕ is a homeomorphism and a is non-zero, then τ (µ) σ(aT )= z C : z max exp ln a dµ + L . ∈ | | ≤ µ∈Inv(X,ϕ) | | 2 ZX Proof. The proof goes along the same lines as the proof of Theorem 7.1, where instead of Proposition 6.1 we use Proposition 6.4. In particular, in the proof of Proposition 1 6.4 we have seen that if Xr X is a clopen set such that Xr is a Riesz projector corresponding to a part D of⊆σ(aT ) not containing zero, then the operators b̺−1/2T , 1 b C(Xr) A, can be treated as abstract weighted shifts acting on Hr := Xr H ∈ ⊆−1/2 where U := ̺ T Hr is a unitary. Thus the minimal annulus containing D = σ(aT ) 1/2 | ∩ D = σ(a̺ U) lies between the circles or radii r− = minµ∈Erg(X ,ϕ) exp ln( a √̺) dµ, r Xr | | r+ = maxµ∈Erg(X ,ϕ) exp ln( a √̺) dµ. r Xr | | R Remark 7.3. The sets RXr in the assertion of Theorem 7.2 are forward ϕ-invariant. If it happens that they are backward ϕ-invariant, then ̺ 1 and the formulas for r |Xr ≡ − and r above are the same as in Theorem 7.1. Example 6.2 shows that if 1 −1 =1, + X\a (0) 6 then sets Xr may fail to be backward ϕ-invariant. Remark 7.4. In Theorem 7.1 and 7.2 the set z C : z r is empty (equivalently { ∈ | | ≤ 0} r0 < 0) if and only if both a and T are invertible if and only if a is non-zero everywhere and ϕ is a homeomorphism, cf. Proposition 3.3. In this case, Theorem 1.2 also applies. Lemma 7.5. An expanding map ϕ : X X on a compact metrizable space X is topologically free if and only if X has no isolated→ points that are periodic. Proof. If there is a periodic isolated point, then its orbit is a clopen set showing that ϕ : X X is not topologically free. Conversely, suppose that ϕ is not topologically free. Then there→ is a non-empty open set U X such that every point x U is of period n> 0 (i.e. ϕn(x)= x and ϕk(x) = x for ⊆k =1, ..., n 1). Take any non-empty∈ open set 6 n−1 k − V such that V U. Then K = k=0 ϕ (V ) is forward ϕ-invariant and ϕ : K K is an expansive homeomorphism.⊆ Hence K is ﬁnite by Schwartzman’s theorem. Thus→ V is open and ﬁnite, and therefore it consistsS of isolated points.

Corollary 7.6. Suppose that aT (H), a A ∼= C(X), are well presented abstract weighted shifts such that the associated∈ B transfer∈ operator L : A A is of ﬁnite type. If the corresponding map ϕ : X X is expanding and X has no isolated→ points, then → hϕ(µ) σ(aT )= σess(aT )= z C : z max exp ln( a √̺) dµ + . ∈ | | ≤ µ∈Erg(X,ϕ) | | 2 ZX Proof. By Lemma 7.5 the last part of Theorem 7.2, σ(aT ) is a disk. By Corollary 5.9, σ(aT )= σess(aT ), and the formula for r(aT ) is given in Corollary 4.8.

Example 7.7 (Cuntz-Krieger algebras). Let (ΣA, σA) be the one-sided topological Markov shift associated to a matrix A = [A(i, j)]n , n 2, of zeros and ones, with no zero rows i,j=1 ≥ and no zero columns, see Example 2.6. The Cuntz-Krieger algebra A associated to A, ∗ O see [CK80], is deﬁned as the universal C -algebra generated by a family Si : i =1, ..., n of partial isometries subject to the following relations { } n ∗ ∗ ∗ ∗ (21) Si Si = A(i, j)SjSj , Si Sk = δi,kSi Si, i,k =1, ..., n, j=1 X where δ is the Kronecker symbol. The algebra A may be viewed as the crossed i,j O product of C(ΣA) by a transfer operator for σA. More speciﬁcally, for every multiindex 32 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

∗ µ = (i1,...,ik), with ij 1, ..., n, we write Sµ = Si1 Si2 Sik . Then the map SµSµ 1 ∈ ··· 7→ Cµ extends to the isomorphism ∗ A := span S S : µ =(i ,...,i ), k =1,... = C(ΣA), { µ µ 1 k } ∼ ∗ 1 n ∗ given by SµSµ Cµ . Also putting nj := i=1 A(i, j) and Pj := SjSj , j =1, ..., n, we have a canonical7→ isometry given by P n 1 T := S P , n i j i,j=1 √ j X ∗ 1 see [Exe031], [KL121]. Then L(a)= T aT , a A, where L(a)(y)= −1 x∈σ−1(y) a(x) ∈ |σA (y)| A is the classical transfer operator on A ∼= C(ΣA). The isomorphism A ∼= CP(ΣA) extends uniquely to an isomorphism A = C(ΣA) ⋊ L which sends T to the universal isometry O ∼ in C(ΣA) ⋊ L. In particular, by Theorem 5.5 we may always represent A on a Hilbert space H, so that the operators aT (H), a A (H), are well presentedO weighted shifts. By Corollaries 5.6 and 4.8, for∈ Bevery a ∈A, σ⊆(aT B ) has the circular symmetry and ∈ n 1 µ(Cj ) hσA (µ) ln r(aT ) = max ln a dµ ln nj + µ∈Erg(ΣA,σA) | | − 2 2 ΣA j=1 Z Y where Cj is the cylinder set of elements that start with j. In other words, putting −1 −1 σA (y) := σA (y) we get that the spectral logarithm of aT is the square root of the | | | | 2 −1 2 −1 topological pressure for σA with the potential a / σA : ln r(aT )= P a / σA , σA . | | | | | | | | n µ(Cj ) The t-entropy for the canonical transfer operator L is given by τL(µ)=qhϕ(µ) ln n , − j=1 j see Corollary 4.9. If a span S S∗ : µ = (i ,...,i ),k = 1,... is invertible, then ∈ { µ µ 1 k } Q ln( a σ−1 1/2) is Hölder continuous. Thus if A = diag(A , ..., A ) is the decomposition | || A | 1 N into irreducible matrices as in Example 2.6, then denoting by µj the Gibbs measure for −1 1/2 (ΣA , σA ) with potential ln( a σA ) we have j j | || j | hσA (µj) −1 1/2 j ln r(aT ) = max ln( a σA ) dµj + , j=1,...,N j ΣA | || | 2 Z j cf. Corollary 4.8. In general, the shift map σA is topologically free if and only if the space ΣA has no isolated points. This is called condition (I) in [CK80]. Let us assume it. Then by [CK80, Theorem 2.13] every family S : i =1, ..., n of non-zero operators { i } satisfying (21) generates an isomorphic copy of A (this result can be deduced from Theorem 5.8). By Corollary 7.6, under conditionO (I), we have σ(aT )= σ (aT )= z ess { ∈ C : z r(aT ) . If all entries in A are ones then A is the Cuntz algebra n and the above| | description ≤ } gives Example 1.1 as a special case.O The above considerationsO can also be generalized to graph C∗-algebras, cf. [Kwa14], [Kwa17].

Remark 7.8. If all states 1, ..., n are essential (equivalentely Ω(σA) = ΣA), then { } 2 Proposition 3.8 gives a representation of A on a Hilbert space L (ΣA) that sends O µ C(ΣA) to multiplication operators and T to the operator of composition with σA. This representation is faithful if and only if σA is topologically free (condition (I) holds). 7.1. Weighted shifts associated with measure dynamical system. Suppose we 2 are in the situation of subsection 3.3. Hence T is an isometry on H = Lµ(Ω) given by (12) where Φ : Ω Ω is a measurable map with µ Φ−1 µ and the weight C → ∞ ◦ ρ : Ω is a Σ-measurable function. Let A ∼= Lµ (Ω) be the algebra of operators of multiplication.→ Then T generates the transfer operator L : A A, L(a) := T ∗aT , → SPECTRUM OF WEIGHTED ISOMETRIES 33

a A, see Proposition 3.12. The corresponding endomorphism α : A A is given by composition∈ with Φ. → By the Gelfand-Naimark theorem, A = C(X) for a compact Hausdorﬀ space X. Since ∞ ∼ A = Lµ (Ω) is a von Neumann algebra, X is a Stonean space. Thus it corresponds via ∞ the Stone duality to the complete Boolean algebra of projections in Lµ (Ω). This in turn corresponds to measurable sets in Σ modulo the equivalence relation: A B µ(A B)=0. The map Φ : Ω Ω induces a continuous surjective map ϕ :∼X ⇐⇒X such△ that the endomorphism α →: C(X) C(X) is given by composition with ϕ→. We characterise topological freeness of ϕ via→ freeness of α in the sense of [Arv67] which translates to a condition for Φ that we call metrical freeness:

Lemma 7.9. Retain the above assumptions and notation. Let Σ+ be the family of measurable sets with positive measure. The following conditions are equivalent: (i) ϕ is topologically free, that is for each n > 1 the set x X : ϕn(x) = x has empty interior. { ∈ } (ii) α acts freely [Arv67], that is for any non-zero projection p A with p αn(p) and n> 1 there is a non-zero projection q p such that αn∈(q) q. ≤ ≤ ⊥ −n (iii) Φ is metrically free, that is for every P Σ+ and n> 1 with µ(P Φ (P ))=0 there is Q Σ such that Q P and µ∈(Q Φ−n(Q))=0. \ ∈ + ⊆ ∩ n Proof. (i) (ii). Let p A be a non-zero projection with p α (p). Then p = 1V C(X) for⇒ a non-empty∈ clopen V X with V ϕ−n(V ). By≤ topological freeness of ∈ϕ there is a point x V with ϕn(x)⊆= x. Since X⊆is a Stone space we may find a clopen set U V such that∈ x U and U6 ϕn(U) = . This implies that ϕ−n(U) U = . ⊆ ∈ ∩n ∅ ∩ ∅ Hence for q := 1U we get q p and α (q)q =0. (ii) (i). Suppose that x≤ X : ϕn(x)= x has a non-empty interior. Then there is a non-empty⇒ clopen set V { x∈ X : ϕn(x)=}x . Moreover, for every non-empty clopen ⊆{−n ∈ } subset U of V we have ϕ (U) U = U = . Hence p := 1V is a non-zero projection in A such that for every non-zero∩ projection6 q∅ p we have αn(q)q =0. Equivalence (ii) (iii), in view of definition≤ of α, is straightforward.6 ⇔ We further extend the terminology by saying that a set Ω0 Σ is µ-almost Φ-invariant −1 ∈ if µ(Φ (Ω0) Ω0)=0. We say that Φ is µ-almost bijective on a set Ω0 Σ if the map ∆ Φ−1(∆)△Ω induces an automorphism of Σ / where Σ := ∆ ∈ Ω : ∆ Σ . 7→ ∩ 0 Ω0 ∼ Ω0 { ⊆ 0 ∈ } Example 7.10. Let Φ: V V be a surjective map on a set V equipped with the counting measure µ. Then Φ→is metrically free if and only if Φ has no periodic points, so its graph is a direct sum of leafless and rootless directed trees [JJS12]. A set Ω0 V −1 ⊆ is µ-almost Φ-invariant if and only if it is Φ-invariant, i.e. Φ (Ω0) = Ω0. The map Φ is µ-almost bijective on a set Ω0 V if and only if Ω0 is forward Φ-invariant and Φ : Ω Ω is a bijection. The map ⊆Φ is always µ-almost bijective on some non-empty 0 → 0 set. Indeed, for any v V we may find a sequence vn V such that v = Φ(v1) and ∈ { } ∈ n vn = Φ(vn+1), for all n> 0, and then Φ restricted to Ω0 := vn : n> 0 Φ (v): n 0 is bijective. However, there might be no Φ-invariant sets{ on which}∪{Φ is bijective.≥ In} Example 6.2 there are exactly two forward Φ-invariant sets on which Φ is bijective, but none of these sets is (backward) Φ-invariant. 2 Corollary 7.11. Assume that (T h)(ω)= ρ(ω)h(Φ(ω)) defines an isometry T (Lµ(Ω)), see Lemma 3.10. Assume also that ρ = 0 µ-almost everywhere, and that Φ :∈ Ω B Ω is non-singular and metrically free. Then6 → ∞ (i) the spectrum of every weighted composition operator aT , a Lµ (Ω), is invariant under rotation around zero; ∈ 34 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

∞ (ii) If the measure µ is atomless then σ(aT )= σess(aT ) for every a Lµ (Ω). N ∈ (iii) If N is the largest number such that Ω = Ω0 i=1 Ωi decomposes into disjoint µ-almost Φ-invariant sets of positive measure,∪ such that Φ is µ-almost bijective ∞S on Ωi, for i = 1, ..., N, then for every a Lµ (Ω) which is non-zero µ-almost everywhere σ(aT ) has at most N +1 connected∈ components.

∞ Proof. By Proposition 3.12 the operators aT , a Lµ (Ω), are well presented abstract weighted shifts. By Lemma 7.9 the corresponding∈ dual map ϕ : X X is topologically → ∞ free. Hence (i) and (ii) follow from Corollary 5.9, because the algebra Lµ (Ω) ∼= A (H) of multiplication operators contains no non-zero compact operator if and only⊆ if Bµ is atomless. Item (iii) follows from Theorem 7.1. Indeed, in the present setting the condition ∞ 1 −1 = 1 is equivalent to a L (Ω) being non-zero µ-almost everywhere. Clopen X\a (0) ∈ µ subsets X of X are in an one-to-one correspondence with elements [Ω ] in Σ/ . More- 0 0 ∼ over, X0 is ϕ-invariant if and only if Ω0 is µ-almost Φ-invariant, and ϕ restricts to a homeomorphism of X0 if and only if Φ is µ-almost bijective on Ω0. Corollary 7.12. Let Φ : Ω Ω be a metrically free map on a measure space (Ω, Σ,µ) → −1 which can be decomposed into disjoint sets Vi Σ, i = 1, ..., n, such that ∆ Φ (∆) induces an isomorphism Σ / = Σ / ,∈ for every i = 1, ..., n. Assume7→ also that Vi ∼∼ Φ(Ωi) ∼ ess inf( dµ◦Φ ) > 0 and that N is the largest number such that Ω = Ω N Ω decomposes dµ 0 ∪ i=1 i into disjoint sets such that Φ is µ-almost bijective on each Ω and µ(Ω ) > 0, i =1, ..., N. i Si The spectrum of any operator (aT h)(ω)= a(ω)h(Φ(ω)), a L∞(Ω), Φ ∈ µ 2 acting on Lµ(Ω) is of the form N σ(aT )= z C : z r z C : r z r Φ { ∈ | | ≤ 0} ∪ { ∈ i,− ≤| | ≤ i,+} i=1 [ where the unions are not necessarily disjoint. Thus σ(aTΦ) has at most N +1 components, and if there are no sets of positive measure on which Φ is µ-almost bijective, then σ(aTΦ) is a disk. If µ is atomless, then σ(aTΦ)= σess(aTΦ). Proof. In view of Corollary 3.13, operators aT , a L∞(Ω), can be viewed as well Φ ∈ µ presented abstract weighted shifts bT , b L∞(Ω), where T := dµ◦Φ T and b = ∈ µ dµ Φ −1/2 dµ◦Φ q a . As in the proof of Corollary 7.11 we see that the corresponding dual map · dµ ϕ :X X is topologically free and N is the largest number such that X = X N X → 0 ∪ i=1 i decomposes into disjoint clopen sets such that ϕ : Xi Xi is a homeomorphism for → N S each i = 1, ..., n (it corresponds to the decomposition Ω = Ω0 i=1 Ωi). In addition, the assumption that Φ induces isomorphisms Σ / Σ / ∪ for the decomposition Vi ∼= Φ(V ) dµ◦Φ ∼ ∼ S Ω= V ... V and that ess inf( ) > 0 implies that the associated transfer operator 1 ⊔ ⊔ n dµ L(a) = T ∗a dµ◦Φ T , a A L∞(Ω) is of ﬁnite type (with a quasi-basis given by u := Φ dµ ∼= µ i −1/2 ∈ dµ◦Φ 1 dµ Ωi , i = 1, ..., n). Thus the assertion follows from the last part of Theorem 7.2 (and Corollary 7.11). Example 7.13. Suppose that Φ(z)= zn, n> 1, is the map deﬁned on Ω= S1 = z C : z = 1 and let H = L2 (S1) where µ is the normalized Lebesgue measure on{ S1∈. | | } µ SPECTRUM OF WEIGHTED ISOMETRIES 35

∞ 1 Consider the operators aT (H), a Lµ (S ), given by aT h(z)= a(z)h(ϕ(z)), h H. ∈ B ∈ 1∈ By Corollary 7.12 we have σ(aT )= σess(aT )= z C : z r(aT ) . If a C(S ) we may deduce the same from Corollary 7.6. { ∈ | | ≤ } ∈ Example 7.14. Let Φ: V V be a surjective map on a countable set V , which is minimal in the sense that there→ are no non-trivial Φ-invariant subsets of V . Then Φ corresponds to a leafless and rootless directed tree T, see [JJS12]. Assume that this tree has a finite number of branches. Then all the bounded weighted shifts on T are of the form (aT h)(v)= a(v)h(Φ(v)), a ℓ∞(V ), cf. Remark 3.15. Assumptions of Corollary Φ ∈ 7.12 are satisfied with N = 1, cf. Example 7.10. Thus for every weighted shift Sλ on the directed tree T with bounded weights λ = λv v∈V the spectrum σ(Sλ) has at most two connected components. In fact it may have{ two} connected components by Example 6.2. If all weights are non-zero, then σ(Sλ) is connected by Corollary 7.11.

References

[Ana97] C. Anantharaman-Delaroche, Purely infinite C∗-algebras arising from dynamical systems, Bull. Soc. Math. France 125 (1997), 199–225. [ABL11] A. Antonevich, V. I. Bakhtin, A. Lebedev, On t-entropy and variational principle for the spectral radii of transfer and weighted shift operators Ergodic Theory Dynam. Systems 31 (2011), no. 4, 995-1042. [AL94] A. Antonevich, A. Lebedev, Functional differential equations: I. C∗-theory, Longman Scientific & Technical, Pitman Monographs and Surveys in Pure and Applied Mathematics 70, 1994. [ABL98] A. Antonevich, M. Belousov, A. Lebedev, Functional differential equations, Part II. C*- applications, P.1,2, Pitman Monographs and Surveys in Pure and Applied Mathematics vol. 94, 95, Longman, 1998. [Arv67] W. B. Arveson, Operator algebras and measure preserving automorphisms Acta Math. 118 (1967), 95–109. [AV78] V. A. Arzumanian and A. M. Vershik, Factor representations of the crossed product of a commutative C*-algebra and a semigroup of its endomorphisms, Dokl. Akad. Nauk. SSSR, 238 (1978), 513–517. Translated in Soviet Math. Dokl., 19 (1978), No. 1. [AV84] V. Arzumanian and A. Vershik, Star algebras associated with endomorphisms in operator algebras and group representations, Proc. Int. Conf., Vol. I Pitman Boston (1984), 17-27 [BL17] V. I. Bakhtin, A. Lebedev, A new definition of t-entropy for transfer operators, Entropy 19 (2017), 573 [BFK14] M. A. Bastos, C. A. Fernandes, Y. I. Karlovich, A C∗-algebra of singular integral operators with shifts admitting distinct fixed points, J. Math. Anal. Appl. 413 (2014), 502–524. [BR06] N. Brownlowe, I. Raeburn Exel’s crossed product and relative Cuntz-Pimsner algebras, Math. Proc. Camb. Phil. Soc. 141 (2006), 497–508. [Bow75] R. Bowen, Equilibrium states and the ergodic theory of Anosov diffeomorphisms. Lecture Notes in Mathematics, vol.470. Berlin, Heidelberg, New York: Springer 1975. [CS09] T. Carlsen, S. Silvestrov, On the Exel Crossed Product of Topological Covering Maps, Acta Appl Math 108 (2009), 573–583. [CKO19] T. M. Carlsen, B. Kwaśniewski, E. Ortega, Topological freenes for C∗-correspondences, Math. Anal. Appl. 473 (2019) 749–78. [Cob67] L. Coburn, The C∗-algebra of an isometry, Bull. Amer. Math. Soc. 73 (1967), 722–726. [Cun77] J. Cuntz, Simple C∗-algebras generated by isometries, Comm. Math. Phys. 57 (1977), 173–185. [CK80] J. Cuntz and W. Krieger, A class of C∗-algebras and topological markov chains, Inventiones Math. 56 (1980), 251–268. [Dea95] V. Deaconu Groupoids associated with endomorphisms, Trans. Amer. Math. Soc. 347 (1995), no. 5, 1779–1786 ∗ [Exe031] R. Exel, A new look at the crossed-product of a C -algebra by an endomorphism, Ergodic Theory Dynam. Systems, 23 (2003), 1733–1750. [Exe032] R. Exel, Crossed products by finite index endomorphisms and KMS states, J. Funct. Anal. 199 (2003), 153–158. 36 KRZYSZTOFBARDADYNANDBARTOSZKOSMAKWAŚNIEWSKI

[ER07] R. Exel, D. Royer, The crossed product by a partial endomorphism. Bull. Braz. Math. Soc. 38 (2007), 219–261. [EV06] R. Exel, A. Vershik, C∗-algebras of irreversible dynamical systems, Canadian J. Math. 58 (2006), 39-63. [FJ01] A. H. Fan, Y. P. Jiang, On Ruelle-Perron-Frobenius Operators. I. Ruelle’s Theorem, Commun. Math. Phys. 223 (2001), 125–141. [H05] I. Hirshberg, Essential representations of C∗-correspondences, Internat. J. Math. 16, no. 7 (2005), 765–775. [JJS12] Z. J. Jabłoński, I. B. Jung, J. Stochel, Weighted shifts on directed trees. Mem. Am. Math. Soc. 216, 1017 (2012) [Kat04] T. Katsura, On C∗-algebras associated with C∗-correspondences, J. Funct. Anal. 217(2), (2004) 366–401. [Kit79] A. K. Kitover, Spectrum of automorphisms with weight and the Kamowitz–Scheinberg theorem, Funct. Anal. Appl., 13 (1) (1979), 57–58. [Kwa09] B. K. Kwaśniewski, Spectral analysis of operators generating irreversible dynamical systems, Doctoral dissertation (in Polish), IM PAN, 2009, Warsaw. ∗ [KL121] B. K. Kwaśniewski, Uniqueness property for C -algebras given by relations with circular symmetry Geometric Methods in Physics, XXX Workshop, Trends in Mathematics, Birkhauser Verlag, Basel, 2012, pp. 303–312. ∗ [Kwa122] B. K. Kwaśniewski On transfer operators for C -dynamical systems, Rocky J. Math. 42, No 3 (2012), 919–938. [Kwa14] B. K. Kwaśniewski, Crossed products for interactions and graph algebras Integr. Equ. Oper. Theory 80 (2014), no. 3, 415–451. [Kwa17] B. K. Kwaśniewski, Exel’s crossed products and crossed products by completely positive maps, Houston J. Math., 43 (2017), 509–567. [KL13] B. K. Kwaśniewski, A. V. Lebedev, Crossed products by endomorphisms and reduction of relations in relative Cuntz-Pimsner algebras, J. Funct. Anal. 264 (2013), no. 8, 1806-1847. [KL20] B. K. Kwaśniewski, A. V. Lebedev, Variational principles for spectral radius of weighted endomorphisms of C(X,D), Trans. Amer. Math. Soc. 373 (2020), no. 4, 2659–2698. [KM1] B. K. Kwaśniewski, R. Meyer, Essential crossed products for inverse semigroup actions: sim- plicity and pure inﬁniteness, preprint, arXiv:1906.06202 ∗ [KM2] B. K. Kwaśniewski, R. Meyer, Noncommutative Cartan C -subalgebras, Trans. Amer. Math. Soc. 373 (2020), no. 12, 8697-8724 [KR69] H. B. Keynes, J. B. Robertson, Generators for topological entropy and expansiveness, Math. Systems Theory 3 (1969), 51-59. [LS88] Ju. D. Latushkin, A. M. Stepin, Weighted shift operators on a topological Markov chain, Funct. Anal. Its Appl., 22(4) (1988), 330-331. [Leb79] A. V. Lebedev, The invertibility of elements in the C∗-algebras generated by dynamical systems, Russian Math. Surveys 34:4 (1979), 174–175.2 [LM98] A. Lebedev, O. Maslak, The spectral radius of a weighted shift operator, variational principles, entropy and topological pressure, Spectral and evolutionary problems. Proceedings of the Eighth Crimean Autumn Mathematical School Symposium (Simferopol, 1998). Tavria Publishers, Moscow, pp. 26–34. [MS10] J. H. Mai, W. H. Sun, Positively expansive homeomorphisms on compact metric spaces Acta Math. Hungar., 126 (4) (2010), 366-368. [O’Don75] D. P. O’Donovan Weighted shifts and covariance algebras, Trans. Amer. Math. Soc., 208 (1975), p. 1–25. [PU10] F. Przytycki, M. Urbański, Conformal Fractals: Ergodic Theory Methods, London Mathemat- ical Society Lecture Note Series 371, Cambridge University Press, 2010. [Red82] W. L. Reddy, Expanding maps on compact metric spaces, Topology Appl. 13 (1982), no. 3, 327–334. [Ren80] J. Renault, A groupoid approach to C∗-algebras, Lecture Notes in Math. 793, Springer-Verlag, 1980 [Ren00] J. Renault, Cuntz-like Algebras, Proceedings of the 17th International Conference on Operator Theory (Timisoara 98), The Theta Fondation (2000), 371–386.

2English translation from Uspekhi Mat. Nauk 34 (1979), 199–200 SPECTRUM OF WEIGHTED ISOMETRIES 37

[Ren08] J. Renault, Cartan subalgebras in C∗-algebras, Irish Math. Soc. Bull. 61(2008), 29–63. [Rid73] W. C. Ridge, Spectrum of a composition operator, Proc. Amer. Math. Soc. 37 (1973), 121–127. [RS90] F. Riesz, B. Sz.-Nagy, Functional analysis, Dover Publications, 1990. [Rue78] D. Ruelle, Thermodynamic formalism. Encyclopedia of Math. and its Appl., vol.5, Reading, Mass: Addison-Wesley 1978. [Rue89] D. Ruelle, The thermodynamic formalism for expanding maps, Comm. Math. Phys. 125 (1989), 239-262. [Wal78] P. Walters, Invariant measures and equilibrium states for some mappings which expand distances, Trans. Am. Math. Soc. 236 (1978), 121–153. [Wal82] P. Walters, An Introduction to Ergodic Theory. Springer-Verlag, 1982. [Wat90] Y. Watatani, Index for C∗-subalgebras, Memoirs Amer. Math. Soc. 424, 1990. Email address: [email protected] Faculty of Mathematics, University of Białystok, ul. K. Ciołkowskiego 1M, 15-245 Białystok, Poland

Email address: [email protected] Faculty of Mathematics, University of Białystok, ul. K. Ciołkowskiego 1M, 15-245 Białystok, Poland