Let $\sigma :U\to X$  be a local homeomorphism and $U$  an open subset of the compact Hausdorff space $X$  . This local homeomorphism induces the *-homomorphism

$$\begin{array}{cccc}\alpha :& C\left(X\right)& \to & C^b\left(U\right)\end{array}$$

$$\begin{array}{cccc}& f& \mapsto & f\circ \sigma \end{array}$$

. Given a positive function $\rho \in C\left(U\right)$  , for all $f\in C_c\left(U\right)$  we may define $$L_{\rho }\left(f\right)\left(x\right)=\{\begin{array}{cc}{\sum }_{y\in {\sigma }^{-1}\left(x\right)}\rho \left(y\right)f\left(y\right)& \text{if}x\in \sigma \left(U\right)\\ 0& \text{otherwise}\end{array}$$  for each $x\in X$  . Note that $L_{\rho }\left(f\right)=L\left(\rho f\right)$  , and since $\rho f\in C_c\left(U\right)$  and $L\left(\rho f\right)\in C\left(X\right)$  (see [3] ) then $L_{\rho }\left(f\right)$  in fact is an element of $C\left(X\right)$  . In this way we may define the map $L_{\rho }:C_c\left(U\right)\to C\left(X\right)$  , which is linear and positive (by the fact that $\rho$  is positive). It is easy to see that $L_{\rho }\left(f\alpha \right(g\left)\right)=L_{\rho }\left(f\right)g$  for each $f\in C_c\left(U\right)$  and $g\in C\left(X\right)$  . The following proposition shows that if $U$  is clopen in $X$  then every transfer operator for $\alpha$  is of the form $L_{\rho }$  for some $\rho \in C\left(U\right)$  . Proof. Let $\{V_i{\}}_{i=1}^n$  be an open cover of $U$  such that ${\sigma }_{{|}_{V_i}}$  is a homeomorphism. (such cover exists because $U$  is compact and $\sigma$  is a local homeomorphism). For each $i$  take an open subset $U_i\subseteq V_i$  such that $\overline{U_i}\subseteq V_i$  and $\{U_i{\}}_i$  is also a cover for $U$  . Consider the partition of unity $\{{\phi }_i{\}}_i$  subordinated to $\{U_i{\}}_i$  and define ${\xi }_i=\sqrt{{\phi }_i}$  . Since ${\xi }_i$  is positive for each $i$  then $L\left({\xi }_i\right)$  is a positive function. Define $\rho ={\sum }_{i=1}^n\alpha \left(L\right({\xi }_i\left)\right){\xi }_i$  which is also positive. Given $f\in C_c\left(U\right)$  define for each $i$  , $$g_i\left(x\right)=\{\begin{array}{cc}{\xi }_i\left({\sigma }^{-1}\right(x\left)\right)f\left({\sigma }^{-1}\right(x\left)\right)& x\in \sigma \left(V_i\right)\\ 0& \text{otherwise}\end{array}$$  Claim 1: $g_i\in C\left(X\right)$  for all $i$  Let $x_j\to x$  . Suppose $x\in \sigma \left(V_i\right)$  . Since $\sigma \left(V_i\right)$  is open we may suppose that $x_j\in \sigma \left(V_i\right)$  for each $j$  . Since ${\sigma }_{{|}_{V_i}}$  is a homeomorphism then ${\sigma }^{-1}\left(x_j\right)\to {\sigma }^{-1}\left(x\right)$  in $V_i$  and so $g_i\left(x_j\right)=\left({\xi }_{i}f\right)\left({\sigma }^{-1}\right(x_j\left)\right)\to \left({\xi }_{i}f\right)\left({\sigma }^{-1}\right(x\left)\right)=g_i\left(x\right)$  . If $x/\in$  $\sigma \left(V_i\right)$  then $x/\in \sigma \left(\overline{U_i}\right)$  , which is closed. Therefore we may suppose that $x_j/\in \sigma \left(\overline{U_i}\right)$  and so $g_i\left(x_j\right)=0=g_i\left(x\right)$  .

Claim 2: ${\xi }_i\alpha \left(g_i\right)={\phi }_{i}f$  If $x/\in U_i$  then $\left({\xi }_i\alpha \right(g_i\left)\right)\left(x\right)=0=\left({\phi }_{i}f\right)\left(x\right)$  . If $x\in U_i$  then $\alpha \left(g_i\right)\left(x\right)=g_i\left(\sigma \right(x\left)\right)={\xi }_i\left(x\right)f\left(x\right)$  and so ${\xi }_i\left(x\right)\alpha \left(g_i\right)\left(x\right)={\xi }^2\left(x\right)f\left(x\right)=\phi \left(x\right)f\left(x\right)$  .

Since $\phi$  is partition of unity then $f={\sum }_{i=1}^n{\phi }_{i}f={\sum }_{i=1}^n{\xi }_i\alpha \left(g_i\right)$  , where the last equality follows by claim 2. Then $$L\left(f\right)={\sum }_{i=1}^{n}L\left({\xi }_i\alpha \right(g_i\left)\right)={\sum }_{i=1}^{n}L\left({\xi }_i\right)g_i.$$  We show that $L=L_{\rho }$  . If $x/\in \sigma \left(U\right)$  then $L_{\rho }\left(f\right)\left(x\right)=0=L\left(f\right)\left(x\right)$  by definition.

Given $x\in \sigma \left(U\right)$  , $$L_{\rho }\left(f\right)\left(x\right)={\sum }_{y\in {\sigma }^{-1}\left(x\right)}\rho \left(y\right)f\left(y\right)={\sum }_{y\in {\sigma }^{-1}\left(x\right)}{\sum }_{i=1}^n\alpha \left(L\right({\xi }_i\left)\right)\left(y\right){\xi }_i\left(y\right)f\left(y\right)=$$  $$={\sum }_{y\in {\sigma }^{-1}\left(x\right)}{\sum }_{i:y\in U_i}L\left({\xi }_i\right)\left(x\right){\xi }_i\left(y\right)f\left(y\right).$$  On the other hand, $$L\left(f\right)\left(x\right)={\sum }_{i=1}^{n}L\left({\xi }_i\right)\left(x\right)g_i\left(x\right)={\sum }_{i:x\in \sigma \left(U_i\right)}L\left({\xi }_i\right)\left(x\right){\xi }_i\left({\sigma }^{-1}\right(x\left)\right)f\left({\sigma }^{-1}\right(x\left)\right).$$  To see that those two expressions are equal note that the summands are the same.

$\square$  Denote by $M_{\rho }$  the Hilbert bi-module generated by $C_c\left(U\right)$  with the inner product given by $L_{\rho }$  and by $\widehat{K_{1\rho }}$  the algebra generated by $n{m}^{*}$  in $\mathcal{T}(X,\alpha ,L\rho )$  . Moreover, denote by ${\phi }_{\rho }:C\left(X\right)\to L\left(M_{\rho }\right)$  the *-homomorphism given by the left product of $A$  by $M_{\rho }$  .

Lemma 2.2 Let $\rho ,{\rho }^{\prime }\in C\left(U\right)$  positive functions. If $ker\left(\rho \right)=ker\left({\rho }^{\prime }\right)$  then $ker\left({\phi }_{\rho }\right)=ker\left({\phi }_{{\rho }^{\prime }}\right)$  .

Proof. Let $f\in C\left(X\right)$  . Then $f\in ker\left({\phi }_{\rho }\right)\iff fm=0$  for each $m\in M_{\rho }$  $\iff$  $\widetilde{fg}=f\tilde{g}=0$  for each $g\in C_c\left(U\right)$  .

It is easy to check that $\widetilde{fg}=0$  in $M_{\rho }$  if and only if $\rho fg=0$  . Then $f\in ker\left({\phi }_{\rho }\right)$  if and only if $\rho fg=0$  for each $g\in C_c\left(U\right)$  . In the same way, $f\in ker\left({\phi }_{\rho }^{\prime }\right)$  if and only if ${\rho }^{\prime }fg=0$  for each $g\in C_c\left(U\right)$  . Since $ker\left(\rho \right)=ker\left({\rho }^{\prime }\right)$  then $\rho fg=0$  if and only if ${\rho }^{\prime }fg=0$  for each $g\in C_c\left(U\right)$  .

$\square$ 

Proposition 2.3 If $\rho$  and ${\rho }^{\prime }$  are elements of $C\left(U\right)$  such that there exists $r\in C\left(U\right)$  such that $r\left(x\right)\ne 0$  for each $x\in U$  and $\rho =r{\rho }^{\prime }$  then $\mathcal{O}(X,\alpha ,L\rho )$  and $\mathcal{O}(X,\alpha ,L{\rho }^{\prime })$  are *-isomorphic.

Proof. Let us define a *-homomorphism from $\mathcal{O}(X,\alpha ,L\rho )$  to $\mathcal{O}(X,\alpha ,L{\rho }^{\prime })$  . Define

$$\begin{array}{cccc}{\psi }_1:& C\left(X\right)& \to & \mathcal{T}(X,\alpha ,L{\rho }^{\prime })\end{array}$$

$$\begin{array}{cccc}& f& \mapsto & f\end{array}$$

. Let $\xi =\sqrt{r}$  , and note that for each $g\in C_c\left(U\right)$  , $$\parallel \tilde{g}{\parallel }_{\rho }^2=\parallel L_{\rho }\left(g^{*}g\right)\parallel =\parallel L\left(\rho g^{*}g\right)\parallel =\parallel L\left(r{\rho }^{\prime }{g}^{*}g\right)\parallel =\parallel L_{{\rho }^{\prime }}\left(\right(\xi g{)}^{*}\xi g)\parallel =\parallel \widetilde{\xi g}{\parallel }_{{\rho }^{\prime }}^2.$$  So we may define ${\psi }_2:M_{\rho }\to \mathcal{T}(X,\alpha ,L{\rho }^{\prime })$  by ${\psi }_2\left(\tilde{g}\right)=\widetilde{\xi g}$  . Let ${\psi }_3={\psi }_1\cup {\psi }_2$  . We show that ${\psi }_3$  extends to $\mathcal{T}(X,\alpha ,L\rho )$  . For each $f\in C\left(X\right)$  and $g\in C_c\left(U\right)$  we have $${\psi }_3\left(f\right){\psi }_3\left(\tilde{g}\right)=f\widetilde{\xi g}=\widetilde{\xi fg}={\psi }_3\left(\widetilde{fg}\right)$$  and $${\psi }_3\left(\tilde{g}\right){\psi }_3\left(f\right)=\widetilde{\xi g}f=\widetilde{\xi g\alpha \left(f\right)}={\psi }_3\left(\widetilde{g\alpha f}\right).$$  Moreover, if $h\in C_c\left(U\right)$  then $${\psi }_3\left(\tilde{g}{)}^{*}{\psi }_3\right(\tilde{h})={\widetilde{\xi g}}^{*}\widetilde{\xi h}=L_{{\rho }^{\prime }}(\left(\xi g{)}^{*}\xi h\right)=L_{{\rho }^{\prime }r}\left(g^{*}h\right)=L_{\rho }\left(g^{*}h\right)={\psi }_3\left(L_{\rho }\right(g^{*}h\left)\right).$$  So ${\psi }_3$  axtends to $\mathcal{T}(X,\alpha ,L\rho )$  . Let $(f,k)\in C\left(X\right)\times \widehat{K_{1\rho }}$  a redundancy with $f\in ker({\phi }_{\rho }{)}^{\perp }\cap {\phi }_{\rho }^{-1}(K\left(M_{\rho }\right))$  . Since ${\psi }_3\left(M_{\rho }\right)\subseteq M_{{\rho }^{\prime }}$  it follows that ${\psi }_3\left(k\right)\in \widehat{K_{1{\rho }^{\prime }}}$  and so $\left({\psi }_3\right(f),{\psi }_3(k\left)\right)\in C\left(X\right)\times \widehat{K_{1{\rho }^{\prime }}}$  . Moreover, given $g\in C_c\left(U\right)$  then ${\xi }^{-1}g\in C_c\left(U\right)$  and ${\psi }_3\left(\widetilde{{\xi }^{-1}g}\right)=\tilde{g}$  from where ${\psi }_3\left(M_{\rho }\right)$  is dense in $M_{{\rho }^{\prime }}$  , and so, since $fm=km$  for each $m\in M_{\rho }$  then ${\psi }_3\left(f\right)n={\psi }_3\left(k\right)n$  for every $n\in M_{{\rho }^{\prime }}$  . Therefore $\left({\psi }_3\right(f),{\psi }_3(k\left)\right)$  is a redundancy. Since $f\in ker({\phi }_{\rho }{)}^{\perp }$  , by the previous lemma, ${\psi }_3\left(f\right)\in ker({\phi }_{{\rho }^{\prime }}{)}^{\perp }$  . Then, since $\left({\psi }_3\right(f),{\psi }_3(k\left)\right)$  is a redundancy of $\mathcal{T}(X,\alpha ,L)$  then by [ 3 :2.6], ${\psi }_3\left(f\right)\in {\phi }^{-1}\left(K\right(M_{{\rho }^{\prime }}\left)\right)$  . So ${\psi }_3\left(f\right)\in ker({\phi }_{{\rho }^{\prime }}{)}^{\perp }\cap {\phi }_{{\rho }^{\prime }}^{-1}(K\left(M_{{\rho }^{\prime }}\right))$  . This shows that if $\phi$  is the quotient *-homomorphism from $\mathcal{T}(X,\alpha ,L)$  in $\mathcal{O}(X,\alpha ,L)$  then $\phi \circ {\psi }_3:\mathcal{T}(X,\alpha ,L\rho )\to \mathcal{O}(X,\alpha ,L)$  is a homomorphism which vanishes on all the elements of the form $(a-k)$  where $(a,k)$  is a redundancy and $a\in {\phi }_{\rho }^{-1}\left(K\right(M_{\rho }\left)\right)\cap ker({\phi }_{\rho }{)}^{\perp }$  . So we obtain a *-homomorphism

$$\begin{array}{cccc}\psi :& \mathcal{O}(X,\alpha ,L\rho )& \to & \mathcal{O}(X,\alpha ,L{\rho }^{\prime })\end{array}$$

$$\begin{array}{cccc}& f& \mapsto & f\end{array}$$

$$\begin{array}{cccc}& \tilde{g}& \mapsto & \widetilde{\xi g}\end{array}$$

. In the same way we may define the *-homomorphism

$$\begin{array}{cccc}{\psi }_0:& \mathcal{O}(X,\alpha ,L{\rho }^{\prime })& \to & \mathcal{O}(X,\alpha ,L\rho )\end{array}$$

$$\begin{array}{cccc}& f& \mapsto & f\end{array}$$

$$\begin{array}{cccc}& \tilde{g}& \mapsto & \widetilde{{\xi }^{-1}g}\end{array}$$

. Note that ${\psi }_0$  is the inverse of $\psi$  , showing that tha algebras are *-isomorphic.

$\square$ 

Corollary 2.4 If $\rho \in C\left(U\right)$  is a positive function such that $\rho \left(x\right)\ne 0$  for all $x\in U$  then $\mathcal{O}(X,\alpha ,L\rho )$  is *-isomorphic to $\mathcal{O}(X,\alpha ,L)$  .

Proof. Note that the transfer operator $L$  associated to the algebra $\mathcal{O}(X,\alpha ,L)$  is the operator $L_{1_U}$  . Since $\rho =1_U$  is invertible, taking $r={\rho }^{-1}$  , by the previous proposition follows the corollary.

$\square$ 

3 Relationship between the Covariance Algebra and the Crossed Product by Partial Endomorphism

We show here that given a partial dynamical system $\sigma :U\to X$  , where $U$  is clopen, there exists an other partial dynamical system $\tilde{\sigma }:\tilde{U}\to \tilde{X}$  (called in [4] the $\sigma$  -extension of $X$  ) such that $C^{*}(\sigma ,X)=\mathcal{O}(\tilde{X},\alpha ,L)$  . Moreover, if $\sigma$  is injective then $C^{*}(\sigma ,X)=\mathcal{O}(X,\alpha ,L)$  .

3.1 The Covariance Algebra as an Crossed Product by a Partial Endomorphism

Let us start with a summary of the construction of the covariance algebra. Let $\sigma :U\to X$  a continuous map, $U\subseteq X$  clopen, $X$  compact Hausdorff and $\sigma \left(U\right)$  open. Denote $\sigma \left(U\right)=U_{-1}$  . Consider the space $X\cup \left\{0\right\}$  , where $\left\{0\right\}$  is a symbol, which we define to be clopen. So $X\cup \left\{0\right\}$  is a compact and Hausdorff space.

Define $\tilde{X}\subset {\prod }_{i=0}^{\infty }X\cup \left\{0\right\}$  , $$\tilde{X}={\bigcup }_{N=0}^{\infty }{X}_N\cup X_{\infty }$$  onde $$X_N=\left\{\right(x_0,x_1,...,x_N,0,0,...):\sigma (x_i)=x_{i-1}\text{e}{x}_N/\in U_{-1}\}$$  and $$X_{\infty }=\left\{\right(x_0,x_1,...):\sigma (x_i)=x_{i-1}\}.$$  In $\tilde{X}$  we consider the product topology induced from $\prod X\cup \left\{0\right\}$  .

By  4  $[:2.2]$  $\tilde{X}$  is compact. Define

$$\begin{array}{cccc}\Phi :& \tilde{X}& \to & X\end{array}$$

$$\begin{array}{cccc}& (x_0,x_1,...)& \mapsto & x_0\end{array}$$

which is continuous and surjective. Consider the clopen subsets $\tilde{U}={\Phi }^{-1}\left(U\right)$  and $\widetilde{U_{-1}}={\Phi }^{-1}\left(U_{-1}\right)$  and the continuous map

$$\begin{array}{cccc}\tilde{\sigma }:& \tilde{U}& \to & \widetilde{U_{-1}}\end{array}$$

$$\begin{array}{cccc}& (x_0,x_1,...)& \mapsto & \left(\sigma \right(x_0),x_0,x_1,...)\end{array}$$

. Those maps satisfies the relation $$\Phi \left(\tilde{\sigma }\right(\tilde{x}\left)\right)=\sigma (\Phi (\tilde{x}\left)\right).$$  Note that $\tilde{\sigma }$  is in fact an homeomorphism. This homeomorphism induces the *-isomorphism

$$\begin{array}{cccc}\theta :& C\left(\widetilde{U_{-1}}\right)& \to & C\left(\tilde{U}\right)\end{array}$$

$$\begin{array}{cccc}& f& \mapsto & f\circ \tilde{\sigma }\end{array}$$

. So we may consider the partial crossed product $C\left(\tilde{X}\right){\mathbb{\setminus }}_{\theta }\mathbb{Z}$  (see [1] ).

Definition 3.1 ( 4 : 4.2) The covariance algebra associated to the partial system $(X,\sigma )$  is the algebra $C\left(\tilde{X}\right){\mathbb{\setminus }}_{\theta }\mathbb{Z}$  and will be denoted $C^{*}(X,\sigma )$  .

Lemma 3.2 If $\sigma :U\to X$  is injective, $U$  clopen and $U_{-1}$  open then $C\left(X\right){\mathbb{\setminus }}_{\theta }\mathbb{Z}=\mathcal{O}(X,\alpha ,L)$  , where $\theta :C\left(U_{-1}\right)\to C\left(U\right)$  is given by $\theta \left(f\right)=f\circ \sigma$  .

Proof. Define ${\psi }_1:C\left(X\right)\cup M\to C\left(X\right){\mathbb{\setminus }}_{\theta }\mathbb{Z}$  by ${\psi }_1\left(f\right)=f{\delta }_0$  and ${\psi }_1\left(\widetilde{1_U}\right)=1_U{\delta }_1$  . It is easy to check that ${\psi }_1$  axtends to $\mathcal{T}(X,\alpha ,L)$  . We show that ${\Psi }_1$  vanishes on the redundancies. Let $(f,k)$  redundancy with $f\in ker(\phi {)}^{\perp }\cap {\phi }^{-1}(K\left(M\right))$  . By [ 3 : 2.6], $f\in C\left(U\right)$  . Then ${\psi }_1\left(\tilde{f}\right){\psi }_1(\widetilde{1_U}{)}^{*}=f{\delta }_1{1}_{U_{-1}}{\delta }_{-1}=\theta ({\theta }^{-1}\left(f\right)1_{U_{-1}}){\delta }_0={\psi }_1(f)$  . Take $(k_n{)}_n\subseteq \widehat{K_1}$  , $k_n={\sum }_i{m}_{ni}{l}_{ni}^{*}$  where $m_{ni},l_{ni}\in M$  . Then $$\left({\psi }_1\right(f)-\psi (k\left)\right)\left({\psi }_1\right(f)-\psi (k){)}^{*}=({\psi }_1\left(f\right)-{\psi }_1\left(k\right)\left){\psi }_1\right(f-k)={\psi }_1(f-k\left)\right({\psi }_1\left(\tilde{f}{\widetilde{1_U}}^{*}\right)-{\psi }_1\left(k\right){)}^{*}=$$  $$=\psi (f-k)(\widetilde{1_U}{\tilde{f}}^{*}-k)={lim}_{n\to \infty }\psi (f-k)(\widetilde{1_U}{\tilde{f}}^{*}-k_n)=0.$$  The last equality follows by the fact that $(f-k)m=0$  for each $m\in M$  . So, by passage to the quotient we may consider $\psi :\mathcal{O}(X,\alpha ,L)\to C\left(X\right){\mathbb{\setminus }}_{\theta }\mathbb{Z}$  . By the other hand, define

$$\begin{array}{cccc}{\psi }_0:& C\left(X\right)& \to & \mathcal{O}(X,\alpha ,L)\end{array}$$

$$\begin{array}{cccc}& f& \mapsto & f\end{array}$$

which is a *-homomorphism. Note that for each $f\in C\left(U_{-1}\right)$  , $$\widetilde{1_U}{\psi }_0\left(f\right){\widetilde{1_U}}^{*}=\widetilde{1_U\alpha \left(f\right)}{\widetilde{1_U}}^{*}=1_U\alpha \left(f\right)=\theta \left(f\right)={\psi }_0\left(\theta \right(f\left)\right)$$  and moreower $\widetilde{1_U}$  is a partial isometry such that $\widetilde{1_U}{\widetilde{1_U}}^{*}=1_U$  and ${\widetilde{1_U}}^{*}\widetilde{1_U}=1_{U_{-1}}$  . Then, since $({\psi }_0,\widetilde{1_U})$  is a covariant representation of $C\left(X\right)$  in $\mathcal{O}(X,\alpha ,L)$  , there exists a *-homomorphism ${\psi }^{\prime }:C\left(X\right){\mathbb{\setminus }}_{\theta }\mathbb{Z}\to \mathcal{O}(X,\alpha ,L)$  such that ${\psi }^{\prime }\left(f{\delta }_n\right)=f{\widetilde{1_U}}^n$  (see [ 1 : 5]). The *-homomorphisms $\psi$  and ${\psi }^{\prime }$  are inverses of each other, and so the algebras are *-isomorphic.

$\square$ 

Corollary 3.3 $C^{*}(X,\sigma )=\mathcal{O}(\tilde{X},\alpha ,L)$ 

Proof. Follows by the definition of covariance algebras and by the previous lemma.

$\square$  By the following proposition, if $\sigma$  is injective then the constructions of covariance algebra and crossed product by partial endomorphism are equivalent.

Proposition 3.4 If $\sigma :U\to X$  is injective then $C^{*}(X,\sigma )=\mathcal{O}(X,\alpha ,L)$  .

Proof. By [ 4 : 2.3] the map

$$\begin{array}{cccc}\Phi :& \tilde{X}& \to & X\end{array}$$

$$\begin{array}{cccc}& (x_0,x_1,...)& \mapsto & x_0\end{array}$$

is a homeomorphism. Moreover, since $\Phi \circ \tilde{\sigma }=\sigma \circ \Phi$  then $C\left(\tilde{X}\right){\mathbb{\setminus }}_{\tilde{\theta }}\mathbb{Z}=C\left(X\right){\mathbb{\setminus }}_{\theta }\mathbb{Z}$  . By the previous lemma $C\left(X\right){\mathbb{\setminus }}_{\theta }\mathbb{Z}=\mathcal{O}(X,\alpha ,L)$  .

$\square$ 

3.2 Cuntz-Krieger algebras

We show examples of partial dynamical system ${\sigma }_A:U\to X_A$  such that there does not exists an invertible function $\rho \in C\left(U\right)$  such that $\mathcal{O}(X,\alpha ,L\rho )$  and $C^{*}(X,\alpha )$  are *-isomorphic. The examples are based on the Cuntz-Krieger algebras.

Let $A$  be a $n\times n$  matrix with $a_{i,j}\in \{0,1\}$  . Denote by $Gr\left(A\right)$  the directed graph of $A$  , that is, the vertex set is $\{1,...,n\}$  and $A(i,j)$  is the number of oriented edges from $i$  to $j$  . A path is a sequence $x_1,...,x_m$  such that $A(x_i,x_{i+1})=1$  for each $i$  . The graph $Gr\left(A\right)$  is transitive if for each $i$  and $j$  there exists a path from $i$  to $j$  , that is, a path $x_1,...,x_m$  such that $x_1=i$  and $x_m=j$  . The graph is a cicle if for each $i$  there exists only one $j$  such that $A(i,j)=1$  .

Let $$X_A=\{x=(x_1,x_2,..)\in \{1,...n{\}}^{\mathbb{N}}:A(x_i,x_{i+1})=1\forall i\}\subseteq \{1,...,n{\}}^{\mathbb{N}}$$  and

$$\begin{array}{cccc}{\sigma }_A:& X_A& \to & X_A\end{array}$$

$$\begin{array}{cccc}& (x_0,x_1,...)& \mapsto & (x_1,x_2,...)\end{array}$$

. Consider the set $$\overline{X_A}=\left\{\right(x_i{)}_{i\in \mathbb{Z}}\in \{1,...,n{\}}^{\mathbb{Z}}:A(x_i,x_i+1)=1\forall i\}\subseteq \{1,...,n{\}}^{\mathbb{Z}}$$  and the map $\overline{{\sigma }_A}:\overline{X_A}\to \overline{X_A}$  defined by $\overline{{\sigma }_A}\left(\right(x_i{)}_{i\in Z})=(x_{i+1}{)}_{i\in \mathbb{Z}}$  . It is showed in [ 4 : 2.8] that there exists a homeomorphism $\Phi :\widetilde{X_A}\to \overline{X_A}$  such that $\Phi \circ \widetilde{{\sigma }_A}=\overline{{\sigma }_A}\circ \Phi$  . Therefore $\mathcal{O}(\widetilde{X_A},\alpha ,L)=\mathcal{O}(\overline{X_A},\alpha ,L)$  and so $C^{*}(X_A,{\sigma }_A)=\mathcal{O}(\overline{X_A},\alpha ,L)$  . So we may analyze the ideal structure of $C^{*}(X_A,{\sigma }_A)$  by using the theory developed for $\mathcal{O}(\overline{X_A},\alpha ,L)$  in [3] . This theory is based on the $\overline{{\sigma }_A}$  , ${\overline{{\sigma }_A}}^{-1}$  invariant open subsets of $\overline{X_A}$  . (In a system $\sigma :U\to X$  , a subset $V\subseteq X$  is $\sigma ,{\sigma }^{-1}$  invariant if $\sigma (U\cap V)\subseteq V$  and ${\sigma }^{-1}\left(V\right)\subseteq V$  ).

Proposition 3.5 If $Gr\left(A\right)$  is transitive and is not a cicle then there exists at least one open non trivial $\overline{{\sigma }_A}$  , ${\overline{{\sigma }_A}}^{-1}$  invariant subset of $\overline{X_A}$  .

Proof. Let $r=x_1,x_2,...,x_n$  an admissible word (that is, $A(x_i,x_{i+1})=1$  for each $i$  ). Let $V_r=\{x\in \overline{X_A}:r\in x\}$  . Note that $V_r$  is open and $\overline{{\sigma }_A}$  , ${\overline{{\sigma }_A}}^{-1}$  invariant. We show that there exists a such non trivial $V_r$  . Take $x_1\in \{1,...,n\}$  . Consider an admissible word $x_1,...,x_m$  where $x_j\ne x_1$  for each $j>1$  and $A(x_m,x_1)=1$  . Such word exists because $Gr\left(A\right)$  is transitive. Let $r=x_1,...,x_m,x_1$  . Then $$y=(...,x_m,\stackrel{\circ }{x_1},x_2,...,x_m,x_1,x_2,...)\in V_r$$  where $\stackrel{\circ }{x_1}$  means $y_0=x_1$  .

We conclude the proof by showing that $V_r\ne \overline{X_A}$  . Suppose that there exists $y_0\in \{1,...,n\}$  with $y_0/\in \{x_1,...,x_m\}$  . Let $x_1,y_1,...,y_t,y_0,s_1,...,s_l$  an admissible word such that $y_j\ne x_1$  and $s_j\ne x_1$  for each $j$  and $A(s_l,x_1)=1$  . Then $$(...s_l,\stackrel{\circ }{x_1},y_1,...,y_t,y_0,s_1,...,s_l,x_1...)/\in V_r.$$  If $\{x_1,...,x_m\}=\{1,...,n\}$  , since $Gr\left(A\right)$  is not a cicle, for some $x_i$  there exists $x_t$  such that $A(x_i,x_t)=1$  and $x_t\ne x_{i+1}$  . (if $i=m$  consider $x_{i+1}=x_1$  ). If $x_t=x_1$  (and so $i\ne m$  ) consider an admissible word $x_1,...,x_i,x_1$  and note that $$(...,x_i,\stackrel{\circ }{x_1},x_2,...,x_i,x_1,...)/\in V_r.$$  If $x_t\ne x_1$  consider an admissible word $x_1,x_2,...,x_i,x_t,y_1,...,y_l$  such that $y_j\ne x_1$  and $A(y_l,x_1)=1$  (if there does not exists $y_1\ne x_1$  such that $A(x_t,y_1)=1$  then $y_1,...,y_l$  is the empty word) and so $$(...,y_l,\stackrel{\circ }{x_1},x_2,...x_i,x_t,y_1,...,y_l,y_1,...)/\in V_r.$$  So $V_r\ne \overline{X_A}$  .

$\square$  Now we analyse the ${\sigma }_A,{\sigma }_A^{-1}$  invariant subsets of $X_A$  .

Proposition 3.6 If $Gr\left(A\right)$  is transitive and is not a cicle the the unique open ${\sigma }_A$  -invariant subset of $X_A$  are $\varnothing$  and $X_A$  .

Proof. Let $V\subseteq X_A$  an open nonempty ${\sigma }_A$  invariant susbet of $X_A$  . Let $x\in V$  and $V_m$  a open neighbourhood of $x$  , $V_m\subseteq V$  , $$V_m=\{y\in X_A:x_i=y_i\text{for each}1\le i\le m\}.$$  Given $z\in X_A$  take $r=r_1,...,r_t$  a path from $x_m$  to $z_1$  . Then $$s=(x_1,...,x_m,r_2,...,r_{t-1},z_1,z_2,...)\in V_m$$  and since $V$  is ${\sigma }_A$  invariant then $z={\sigma }_A^{m+t-2}\left(s\right)\in V$  . So $V=X_A$  .

$\square$  According [3] a partial dynamical system $\sigma :U\to X$  is topologically free if the closure of $V^{i,j}=\{x\in U:{\sigma }^i(x)={\sigma }^j(x\left)\right\}$  has empty interior for each $i,j\in \mathbb{N}$  , $i\ne j$  .

Proposition 3.7 If $Gr\left(A\right)$  is transitive and is not a cicle then $(X_A,{\sigma }_A)$  is topologically free.

Proof. Suppose that $\overline{V^{i,j}}$  has nonempty interior and $i<j$  , $j=i+k$  . Let $x^{\prime }$  be an interior point of $\overline{V^{i,j}}$  and $V_{x^{\prime }}\subseteq \overline{V^{i,j}}$  open neighbourhood of $x^{\prime }$  . Take $x\in V^{i,j}\cap V_{x^{\prime }}$  . Since ${\sigma }_A^i\left(x\right)={\sigma }_A^j\left(x\right)$  then $z_{i+t}=z_{j+t}$  for each $t\in \mathbb{N}$  and since $j=i+k$  then $x=(x_1,...,x_{i-1},r,r,...)$  where $r=x_i{x}_{i+1}...x_{i+k-1}$  . Consider the open subset $$V_m=\{z\in X_A:z_i=x_i,1\le i\le m\}$$  where $m$  is such that $m\ge i+k$  and $V_m\subseteq V_{x^{\prime }}$  . Then, if $y\in V_m$  with $y\in V^{i,j}$  then $y=x$  . Therefore $V_m=\left\{x\right\}$  . We show that there exists $z\in V_m$  with $z\ne x$  , and that will be a contradiction. Suppose $y_0\in \{1,...,n\}$  and $y_0/\in \{x_i,...,x_{i+k-1}\}$  . Take a path $s=s_1,...,s_t$  from $x_i$  to $x_{i+k-1}$  such that $s_j=y_0$  for some $j$  . Then $z=(x_1,...,x_{i-1},r,r,...,r,s,s,...)\in V_m$  (where $r$  is repeated $m$  times) but $z\ne x$  .

Suppose $\{1,...,n\}=\{x_i,...,x_{i+k-1}\}$  . Since $Gr\left(A\right)$  is not a cicle then for some $x_j$  there exists $x_t\ne x_{j+1}$  (consider $x_{j+1}=x_i$  if $j=i+k-1$  ) such that $A(x_j,x_t)=1$  . Let $s$  be a path from $x_t$  to $x_{i+k-1}$  and define $p=x_i,...,x_j,x_t,s$  . Then $$z=(x_1,...,x_{i-1},r,r,...,r,x_i,...,x_j,x_t,p,p,p,,,...)\in V_m$$  (where $p$  is repeated $m$  times) but $z\ne x$  . So, it is showed that there exists $z\in V_m$  , $z\ne x$  . Therefore, $\overline{V^{i,j}}$  has empty interior for each $i,j$  .

$\square$ 

Theorem 3.8 If $Gr\left(A\right)$  is transitive and is not a cicle then $C^{*}(X_A,{\sigma }_A)$  and $\mathcal{O}(X_A,\alpha ,L)$  are not *-isomorphic $C^{*}$  -algebras.

Proof. By  3.2  $$  , $C^{*}(X_A,{\sigma }_A)=\mathcal{O}(\widetilde{X_A},\alpha ,L)$  and since $\mathcal{O}(\widetilde{X_A},\alpha ,L)=\mathcal{O}(\overline{X_A},\alpha ,L)$  then $C^{*}(X_A,{\sigma }_A)=\mathcal{O}(\overline{X_A},\alpha ,L)$  . By  3.5  $$  , $\overline{X_A}$  has at least one non trivial open $\overline{{\sigma }_A},{\overline{{\sigma }_A}}^{-1}$  invariant subset and by [ 3 : 3.9] $\mathcal{O}(\overline{X_A},\alpha ,L)$  has at least on non trivial ideal. On the other hand, by  3.6  $$  , $(X_A,{\sigma }_A)$  has no open ${\sigma }_A,{\sigma }_A^{-1}$  invariant subsets and by  3.7  $$  , $(X_A,{\sigma }_A)$  is topologically free. By [ 3 : 4.8] $\mathcal{O}(X_A,\alpha ,L)$  is simple. So $C^{*}(X_A,{\sigma }_A)$  and $\mathcal{O}(X_A,\alpha ,L)$  are not *-isomorphic.

$\square$ 

Corollary 3.9 If $Gr\left(A\right)$  is transitive and is not a cicle then there does not exists transfer operator $L_{\rho }$  , with $\rho \left(x\right)\ne 0$  for each $x\in U$  such that $C^{*}(X_A,{\sigma }_A)$  and $\mathcal{O}(X_A,\alpha ,L)$  are *-isomorphic $C^{*}$  -algebras.

Proof. Follows by the previous theorem an by  2.4 .

$\square$  References

1. R. Exel, Circle actions on C ${}^{*}$  -algebras, partial automorphisms and a generalized Pimsner-Voiculescu exact sequence, J. Funct. Anal. 122, (1994), 361-401.
2. R. Exel, A new look at the crossed-product of a $C^{*}$  -algebra by an endomorphism, Ergodic Theory Dynam. Systems, Vol. 23 (2003), pp. 1733-1750.
3. R. Exel and D. Royer, The crossed product by a partial endomorphism, Preprint 2004, math.OA/0410192.
4. B. K. Kwasniewski, Covariance algebra of a partial dynamical system, Preprint 2004, math.OA/0407352

Departamento de Matemática, Universidade Federal de Santa Catarina, Brasil. E-mail: royer@mtm.ufsc.br